runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1689 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/QG/qg4-08.cnf 

running on 1 cores: 1

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-310.el8.x86_64
solver pid=419144, runsolver pid=419143
Current StackSize limit: 8192 KiB


[startup+0.100688 s]*
/proc/loadavg: 0.00 0.00 0.39 3/439 419148
/proc/meminfo: memFree=1715776/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=0.1 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1962 0 0 0 9 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+0.236699 s]*
/proc/loadavg: 0.00 0.00 0.39 3/439 419148
/proc/meminfo: memFree=1714516/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=0.2 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1962 0 0 0 19 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+0.332701 s]*
/proc/loadavg: 0.00 0.00 0.39 3/439 419148
/proc/meminfo: memFree=1714012/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=0.29 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1962 0 0 0 28 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+0.700702 s]
/proc/loadavg: 0.16 0.03 0.40 3/439 419148
/proc/meminfo: memFree=1713256/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=0.58 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1963 0 0 0 57 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+1.5007 s]
/proc/loadavg: 0.16 0.03 0.40 3/439 419148
/proc/meminfo: memFree=1713256/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=1.35 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1975 0 0 0 134 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+3.12969 s]
/proc/loadavg: 0.16 0.03 0.40 3/439 419148
/proc/meminfo: memFree=1713228/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=2.93 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1977 0 0 0 292 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+6.3007 s]
/proc/loadavg: 0.31 0.07 0.41 3/439 419148
/proc/meminfo: memFree=1713164/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=6.01 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1980 0 0 0 600 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+12.7007 s]
/proc/loadavg: 0.44 0.10 0.42 3/439 419148
/proc/meminfo: memFree=1713164/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=12.23 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1981 0 0 0 1222 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+25.5007 s]
/proc/loadavg: 0.68 0.16 0.44 3/440 419149
/proc/meminfo: memFree=1713248/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=24.67 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1983 0 0 0 2466 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 24.67 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+51.1267 s]
/proc/loadavg: 1.20 0.34 0.49 3/439 419149
/proc/meminfo: memFree=1712712/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=49.56 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1988 0 0 0 4955 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 49.56 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+102.301 s]
/proc/loadavg: 1.66 0.60 0.57 3/440 419160
/proc/meminfo: memFree=1712488/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40092 memory=12524 CPUtime=99.28 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 1999 0 0 0 9927 1 0 0 20 0 1 0 225828113 41054208 3131 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10023 3131 1496 2 0 2432 0
Current children cumulated CPU time: 99.28 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12524 KiB

[startup+162.301 s]
/proc/loadavg: 1.88 0.85 0.66 3/441 419170
/proc/meminfo: memFree=1711952/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=157.58 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2076 0 0 0 15757 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 157.58 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+222.301 s]
/proc/loadavg: 1.96 1.07 0.75 3/440 419182
/proc/meminfo: memFree=1711444/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=215.94 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2077 0 0 0 21593 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 215.94 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+282.301 s]
/proc/loadavg: 1.99 1.24 0.83 3/440 419191
/proc/meminfo: memFree=1711444/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=274.31 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2079 0 0 0 27430 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 274.31 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+342.301 s]
/proc/loadavg: 2.00 1.38 0.91 3/439 419200
/proc/meminfo: memFree=1711412/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=332.68 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2079 0 0 0 33267 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 332.68 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+402.301 s]
/proc/loadavg: 2.05 1.51 0.98 3/439 419211
/proc/meminfo: memFree=1711160/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=391.05 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2079 0 0 0 39104 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 391.05 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+462.301 s]
/proc/loadavg: 2.14 1.63 1.06 4/440 419221
/proc/meminfo: memFree=1711128/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=449.43 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2079 0 0 0 44942 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 449.43 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+522.301 s]
/proc/loadavg: 2.05 1.70 1.12 3/440 419230
/proc/meminfo: memFree=1711096/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=507.79 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2081 0 0 0 50778 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 507.79 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+582.301 s]
/proc/loadavg: 2.02 1.76 1.18 3/440 419239
/proc/meminfo: memFree=1710844/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=566.17 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2081 0 0 0 56616 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 566.17 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+642.302 s]
/proc/loadavg: 2.00 1.81 1.23 3/440 419249
/proc/meminfo: memFree=1711064/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=624.54 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2081 0 0 0 62453 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 624.54 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+702.301 s]
/proc/loadavg: 2.00 1.84 1.28 3/441 419260
/proc/meminfo: memFree=1710560/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=682.91 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2081 0 0 0 68290 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 682.91 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+762.301 s]
/proc/loadavg: 2.00 1.87 1.33 3/442 419271
/proc/meminfo: memFree=1708260/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=741.23 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2081 0 0 0 74122 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 741.23 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+822.301 s]
/proc/loadavg: 2.04 1.92 1.38 3/441 419281
/proc/meminfo: memFree=1708172/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=799.53 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2081 0 0 0 79952 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 799.53 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+882.301 s]
/proc/loadavg: 2.14 1.96 1.43 3/441 419290
/proc/meminfo: memFree=1708480/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=857.85 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2085 0 0 0 85784 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 857.85 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+942.301 s]
/proc/loadavg: 2.22 2.02 1.49 3/441 419310
/proc/meminfo: memFree=1707692/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=916.16 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2085 0 0 0 91615 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 916.16 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1002.3 s]
/proc/loadavg: 2.16 2.03 1.53 3/440 419320
/proc/meminfo: memFree=1708164/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=974.46 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2085 0 0 0 97445 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 974.46 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 1.56 3/438 419329
/proc/meminfo: memFree=1707912/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1032.78 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2085 0 0 0 103277 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1032.78 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.59 3/440 419340
/proc/meminfo: memFree=1708384/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1091.09 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 109108 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1091.09 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.62 3/440 419349
/proc/meminfo: memFree=1707880/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1149.41 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 114940 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1149.41 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.65 3/440 419359
/proc/meminfo: memFree=1708100/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1207.72 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 120771 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1207.72 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/440 419369
/proc/meminfo: memFree=1707848/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1266.04 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 126603 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1266.04 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/441 419379
/proc/meminfo: memFree=1708068/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1324.35 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 132434 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1324.35 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 1.72 3/438 419389
/proc/meminfo: memFree=1708320/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1382.65 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 138264 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1382.65 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 1.75 3/440 419400
/proc/meminfo: memFree=1708036/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1440.97 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 144096 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1440.97 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 1.77 3/440 419409
/proc/meminfo: memFree=1708288/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1499.29 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 149928 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1499.29 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.79 3/440 419419
/proc/meminfo: memFree=1708004/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1557.61 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 155760 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1557.61 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/440 419428
/proc/meminfo: memFree=1708256/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1615.93 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 161592 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1615.93 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/440 419437
/proc/meminfo: memFree=1707972/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1674.24 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 167423 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1674.24 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/439 419447
/proc/meminfo: memFree=1707972/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1732.56 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 173255 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1732.56 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 2.00 2.00 1.83 3/439 419457
/proc/meminfo: memFree=1708224/3726824 swapFree=8388604/8388604
[pid=419144] ppid=419143 vsize=40348 memory=12848 CPUtime=1749.79 cores=1
/proc/419144/stat : 419144 (pigeonPurSampli) R 419143 419144 419136 0 -1 4194304 2086 0 0 0 174978 1 0 0 20 0 1 0 225828113 41316352 3212 18446744073709551615 94644495458304 94644495462416 140732372070112 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94644497562880 94644497563652 94644518957056 140732372075025 140732372075093 140732372075093 140732372078561 0
/proc/419144/statm: 10087 3212 1512 2 0 2496 0
Current children cumulated CPU time: 1749.79 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12848 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-39, -40, -41, -42, -46, -48, -49, -50, -54, -55, -57, -62, -63, -70] -> ph3-2_1 

[-39, -40, -41, -42, -46, -48, 49, -54, -55, -58, 62, -71] -> ph4-3_1 

[-39, -40, -41, 42, -46, -48, -49, -51, -54, -55, 57, -62, -63, 64, -70, -71, -118, -121] -> ph3-2_2 


Detected pigeons:

 ph3-2_1 = [[71, 73], [87, 89], [384, 386]]

 ph4-3_1 = [[108, 111, 113], [315, -90, -460], [412, 415, 417], [428, 429, 431]]

 ph3-2_2 = [[126, 129], [134, 135], [224, 220]]

[startup+1800.05 s]
# the end of solver process 419144 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1749.8 s, system=0.018728 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.05
CPU time (s): 1749.82
CPU user time (s): 1749.8
CPU system time (s): 0.018728
CPU usage (%): 97.2097
Max. virtual memory (cumulated for all children) (KiB): 40348
Max. memory (cumulated for all children) (KiB): 12848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.8
system time used= 0.018728
maximum resident set size= 12848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2089
page faults= 0
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 27273


# summary of solver processes directly reported to runsolver:
#   pid: 419144
#   total CPU time (s): 1749.82
#   total CPU user time (s): 1749.8
#   total CPU system time (s): 0.018728

??? end of timestamper thread
runsolver used 15.3133 second user time and 23.491 second system time

The end
