runsolver version 3.4.2 (svn: 4680) 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: 2
  memory of node 0: 64096 MiB (61406 MiB free)
  memory of node 1: 64473 MiB (57255 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437885-1722962564/watcher-4437885-1722962564 -o /tmp/evaluation-result-4437885-1722962564/solver-4437885-1722962564 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722958965-337139 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437885-1722962564.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=339351, runsolver pid=339348
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.14 4.20 4.18 5/253 339355
/proc/meminfo: memFree=121492220/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=36440 memory=27208 CPUtime=0.09 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 4672 0 0 0 9 0 0 0 20 0 1 0 62626532 37314560 6802 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 9110 6802 2634 2726 0 5858 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55032 KiB
Current children cumulated memory: 30848 KiB

[startup+0.213566 s]*
/proc/loadavg: 4.14 4.20 4.18 5/253 339355
/proc/meminfo: memFree=121485500/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=43268 memory=34392 CPUtime=0.21 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 6408 0 0 0 20 1 0 0 20 0 1 0 62626532 44306432 8598 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 10817 8598 2746 2726 0 7565 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61860 KiB
Current children cumulated memory: 38032 KiB

[startup+0.313563 s]*
/proc/loadavg: 4.14 4.20 4.18 5/253 339355
/proc/meminfo: memFree=121484820/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=43404 memory=34392 CPUtime=0.31 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 6445 0 0 0 30 1 0 0 20 0 1 0 62626532 44445696 8598 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 10851 8598 2746 2726 0 7599 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61996 KiB
Current children cumulated memory: 38032 KiB

[startup+0.700504 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 339355
/proc/meminfo: memFree=121481292/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=46516 memory=37336 CPUtime=0.68 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 7175 0 0 0 67 1 0 0 20 0 1 0 62626532 47632384 9334 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 11629 9334 2762 2726 0 8377 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65108 KiB
Current children cumulated memory: 40976 KiB

[startup+1.50071 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 339355
/proc/meminfo: memFree=121476528/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=50232 memory=40240 CPUtime=1.48 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 7848 0 0 0 147 1 0 0 20 0 1 0 62626532 51437568 10060 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 12558 10060 2762 2726 0 9306 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68824 KiB
Current children cumulated memory: 43880 KiB

[startup+3.11315 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 339356
/proc/meminfo: memFree=121439924/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=64656 memory=53968 CPUtime=3.09 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 11311 0 0 0 308 1 0 0 20 0 1 0 62626532 66207744 13492 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 16164 13492 2762 2726 0 12912 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 83248 KiB
Current children cumulated memory: 57608 KiB

[startup+6.30046 s]
/proc/loadavg: 4.13 4.19 4.17 5/253 339356
/proc/meminfo: memFree=121325524/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=144048 memory=131848 CPUtime=6.27 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 30751 0 0 0 623 4 0 0 20 0 1 0 62626532 147505152 32962 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 36012 32962 2762 2726 0 32760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 162640 KiB
Current children cumulated memory: 135488 KiB

[startup+12.7005 s]
/proc/loadavg: 4.12 4.19 4.17 5/253 339356
/proc/meminfo: memFree=121271268/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=155256 memory=141668 CPUtime=12.65 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 34362 0 0 0 1261 4 0 0 20 0 1 0 62626532 158982144 35417 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 38814 35417 2762 2726 0 35562 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 173848 KiB
Current children cumulated memory: 145308 KiB

[startup+25.5005 s]
/proc/loadavg: 4.09 4.18 4.17 5/253 339359
/proc/meminfo: memFree=121213520/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=156108 memory=142456 CPUtime=25.42 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 34540 0 0 0 2537 5 0 0 20 0 1 0 62626532 159854592 35614 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 39027 35614 2762 2726 0 35775 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 174700 KiB
Current children cumulated memory: 146096 KiB

[startup+51.1133 s]
/proc/loadavg: 4.12 4.18 4.17 5/253 339362
/proc/meminfo: memFree=121032972/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 682 604 264 0 134 0
[pid=339354] ppid=339351 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/339354/stat : 339354 (timeout) S 339351 339354 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62626532 8867840 228 134679101440 94206266744832 94206266779848 140734484059888 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94206268877264 94206268879396 94206269599744 140734484067326 140734484067485 140734484067485 140734484074471 0
/proc/339354/statm: 2165 228 204 9 0 87 0
[pid=339355] ppid=339354 vsize=220568 memory=202500 CPUtime=50.97 cores=1,3
/proc/339355/stat : 339355 (CASHWMaxSAT-Dis) R 339354 339354 337127 0 -1 4194304 51072 0 0 0 5086 11 0 0 20 0 1 0 62626532 225861632 50625 134679101440 4194304 15356333 140721339312016 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37298176 140721339319299 140721339319445 140721339319445 140721339326431 0
/proc/339355/statm: 55142 50625 2762 2726 0 51890 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 239160 KiB
Current children cumulated memory: 206140 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/253 339371
/proc/meminfo: memFree=120624200/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62626532 10170368 682 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0

################
# More data... #
################

/proc/340636/statm: 52489 48394 820 745 0 51554 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 228548 KiB
Current children cumulated memory: 197384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/250 341558
/proc/meminfo: memFree=121947324/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=211648 memory=194900 CPUtime=1658.99 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 29241 0 0 0 165889 10 0 0 20 0 1 0 62806334 216727552 48725 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 52912 48725 820 745 0 51977 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 230240 KiB
Current children cumulated memory: 198708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/253 341575
/proc/meminfo: memFree=121058788/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=213636 memory=196656 CPUtime=1718.85 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 29746 0 0 0 171875 10 0 0 20 0 1 0 62806334 218763264 49164 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 53409 49164 820 745 0 52474 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 232228 KiB
Current children cumulated memory: 200464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/253 341585
/proc/meminfo: memFree=120729512/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=215912 memory=197928 CPUtime=1778.7 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30179 0 0 0 177860 10 0 0 20 0 1 0 62806334 221093888 49482 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 53978 49482 820 745 0 53043 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 234504 KiB
Current children cumulated memory: 201736 KiB

[startup+3596.04 s]
# the end of solver process 339351 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3585.03 s, system=0.503984 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.17 4.17 5/253 341587
/proc/meminfo: memFree=120729064/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=216296 memory=198184 CPUtime=1780.41 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30263 0 0 0 178031 10 0 0 20 0 1 0 62806334 221487104 49546 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 54074 49546 820 745 0 53139 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 234888 KiB
Current children cumulated memory: 201992 KiB

[startup+3590.4 s]
/proc/loadavg: 4.17 4.17 4.17 5/253 341587
/proc/meminfo: memFree=120726348/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=216772 memory=200724 CPUtime=1786.78 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30388 0 0 0 178668 10 0 0 20 0 1 0 62806334 221974528 50181 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 54193 50181 820 745 0 53258 0
Current children cumulated CPU time: 3579.87 s
Current children cumulated vsize: 235364 KiB
Current children cumulated memory: 204532 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.16 4.17 5/253 341588
/proc/meminfo: memFree=120725760/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=216772 memory=200724 CPUtime=1789.98 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30388 0 0 0 178988 10 0 0 20 0 1 0 62806334 221974528 50181 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 54193 50181 820 745 0 53258 0
Current children cumulated CPU time: 3583.07 s
Current children cumulated vsize: 235364 KiB
Current children cumulated memory: 204532 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.16 4.17 4/249 341610
/proc/meminfo: memFree=120943112/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=216772 memory=200724 CPUtime=1791.57 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30388 0 0 0 179147 10 0 0 20 0 1 0 62806334 221974528 50181 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 54193 50181 820 745 0 53258 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 235364 KiB
Current children cumulated memory: 204532 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.16 4.17 4/249 341610
/proc/meminfo: memFree=120943112/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=216772 memory=200724 CPUtime=1791.97 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30388 0 0 0 179187 10 0 0 20 0 1 0 62806334 221974528 50181 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 54193 50181 820 745 0 53258 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 235364 KiB
Current children cumulated memory: 204532 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.16 4.17 5/253 341659
/proc/meminfo: memFree=120864000/131655788 swapFree=131071472/131071996
[pid=339351] ppid=339348 vsize=9932 memory=2788 CPUtime=1793.09 cores=1,3
/proc/339351/stat : 339351 (Hybrid-CASHWMax) S 339348 339351 337127 0 -1 4194304 272 118504 0 0 0 0 179272 37 20 0 1 0 62626532 10170368 697 134679101440 94321994612736 94321995692056 140730772000304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94321997790512 94321997837700 94322011299840 140730772005838 140730772005997 140730772005997 140730772013012 0
/proc/339351/statm: 2483 697 604 264 0 134 0
[pid=340635] ppid=339351 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340635/stat : 340635 (timeout) S 339351 340635 337127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62806334 8867840 255 134679101440 94526516674560 94526516709576 140730130805456 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94526518806992 94526518809124 94526537269248 140730130813940 140730130814109 140730130814109 140730130821095 0
/proc/340635/statm: 2165 255 231 9 0 87 0
[pid=340636] ppid=340635 vsize=216772 memory=200724 CPUtime=1792.38 cores=1,3
/proc/340636/stat : 340636 (Exact) R 340635 340635 337127 0 -1 4194304 30388 0 0 0 179228 10 0 0 20 0 1 0 62806334 221974528 50181 134679101440 4194304 7243121 140729748091744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7942632 8006904 26587136 140729748100112 140729748100262 140729748100262 140729748107248 0
/proc/340636/statm: 54193 50181 820 745 0 53258 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 235364 KiB
Current children cumulated memory: 204532 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3585.53
CPU user time (s): 3585.03
CPU system time (s): 0.503984
CPU usage (%): 99.7077
Max. virtual memory (cumulated for all children) (KiB): 467236
Max. memory (cumulated for all children) (KiB): 418708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.03
system time used= 0.503984
maximum resident set size= 415068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 5410


# summary of solver processes directly reported to runsolver:
#   pid: 339351
#   total CPU time (s): 3585.53
#   total CPU user time (s): 3585.03
#   total CPU system time (s): 0.503984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9743 second user time and 38.38 second system time

The end