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: 63931 MiB (61197 MiB free)
  memory of node 1: 64510 MiB (59118 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=344359, runsolver pid=344356

[startup+0.100426 s]*
/proc/loadavg: 4.00 4.03 4.02 5/264 344363
/proc/meminfo: memFree=123196100/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=25268 memory=10956 CPUtime=0.09 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 2086 0 0 0 9 0 0 0 20 0 1 0 62560525 25874432 2739 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 6317 2739 1066 2726 0 3065 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43860 KiB
Current children cumulated memory: 14656 KiB

[startup+0.205948 s]*
/proc/loadavg: 4.00 4.03 4.02 5/264 344363
/proc/meminfo: memFree=123134588/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=90404 memory=81120 CPUtime=0.19 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 18579 0 0 0 17 2 0 0 20 0 1 0 62560525 92573696 20280 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 22601 20280 2522 2726 0 19349 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108996 KiB
Current children cumulated memory: 84820 KiB

[startup+0.306171 s]*
/proc/loadavg: 4.00 4.03 4.02 5/264 344363
/proc/meminfo: memFree=123103832/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=120884 memory=108408 CPUtime=0.3 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 25351 0 0 0 26 4 0 0 20 0 1 0 62560525 123785216 27102 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 30221 27102 2618 2726 0 26969 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139476 KiB
Current children cumulated memory: 112108 KiB

[startup+0.700311 s]
/proc/loadavg: 4.00 4.03 4.02 5/264 344363
/proc/meminfo: memFree=123072996/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=164904 memory=151196 CPUtime=0.68 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 36027 0 0 0 63 5 0 0 20 0 1 0 62560525 168861696 37799 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 41226 37799 2634 2726 0 37974 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183496 KiB
Current children cumulated memory: 154896 KiB

[startup+1.50032 s]
/proc/loadavg: 4.00 4.03 4.02 5/264 344363
/proc/meminfo: memFree=123058184/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=168812 memory=154952 CPUtime=1.47 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 36992 0 0 0 142 5 0 0 20 0 1 0 62560525 172863488 38738 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 42203 38738 2650 2726 0 38951 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187404 KiB
Current children cumulated memory: 158652 KiB

[startup+3.10624 s]
/proc/loadavg: 4.00 4.03 4.02 5/264 344363
/proc/meminfo: memFree=123053092/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=172736 memory=159176 CPUtime=3.08 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 37987 0 0 0 302 6 0 0 20 0 1 0 62560525 176881664 39794 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 43184 39794 2650 2726 0 39932 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 191328 KiB
Current children cumulated memory: 162876 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.05 4.02 5/264 344363
/proc/meminfo: memFree=123041736/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=179480 memory=166304 CPUtime=6.26 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 39828 0 0 0 620 6 0 0 20 0 1 0 62560525 183787520 41576 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 44870 41576 2650 2726 0 41618 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 198072 KiB
Current children cumulated memory: 170004 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.04 4.02 5/264 344365
/proc/meminfo: memFree=123036060/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=185568 memory=172640 CPUtime=12.64 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 41350 0 0 0 1257 7 0 0 20 0 1 0 62560525 190021632 43160 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 46392 43160 2650 2726 0 43140 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 204160 KiB
Current children cumulated memory: 176340 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.04 4.02 5/264 344366
/proc/meminfo: memFree=122862464/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=347332 memory=318640 CPUtime=25.4 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 64885 0 0 0 2527 13 0 0 20 0 1 0 62560525 355667968 79660 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 86833 79660 2746 2726 0 83581 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 365924 KiB
Current children cumulated memory: 322340 KiB

[startup+51.1061 s]
/proc/loadavg: 4.12 4.05 4.02 5/264 344371
/proc/meminfo: memFree=122843616/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 672 592 264 0 134 0
[pid=344362] ppid=344359 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344362/stat : 344362 (timeout) S 344359 344362 343972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62560525 8867840 253 134679101440 94123562033152 94123562068168 140726051924608 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94123564165584 94123564167716 94123586519040 140726051931134 140726051931293 140726051931293 140726051938279 0
/proc/344362/statm: 2165 253 229 9 0 87 0
[pid=344363] ppid=344362 vsize=347468 memory=318904 CPUtime=50.92 cores=5,7
/proc/344363/stat : 344363 (CASHWMaxSAT-Dis) R 344362 344362 343972 0 -1 4194304 64933 0 0 0 5078 14 0 0 20 0 1 0 62560525 355807232 79726 134679101440 4194304 15356333 140728115874560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40161280 140728115880963 140728115881109 140728115881109 140728115888095 0
/proc/344363/statm: 86867 79726 2746 2726 0 83615 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 366060 KiB
Current children cumulated memory: 322604 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.06 4.02 5/264 344379
/proc/meminfo: memFree=122685908/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62560524 10170368 672 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0

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

/proc/345269/statm: 14688 12558 804 745 0 13753 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 77344 KiB
Current children cumulated memory: 54012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 346403
/proc/meminfo: memFree=119670496/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=58860 memory=50448 CPUtime=1659.92 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21096 0 0 0 165988 4 0 0 20 0 1 0 62740325 60272640 12612 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14715 12612 804 745 0 13780 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 54228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 346414
/proc/meminfo: memFree=119618364/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59524 memory=52756 CPUtime=1719.76 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21318 0 0 0 171972 4 0 0 20 0 1 0 62740325 60952576 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14881 13189 804 745 0 13946 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 78116 KiB
Current children cumulated memory: 56536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 346425
/proc/meminfo: memFree=119772244/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1779.6 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21691 0 0 0 177956 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

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

# cumulated CPU time of all completed processes:  user=3585.51 s, system=0.409796 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 346425
/proc/meminfo: memFree=119772184/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1781.3 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21691 0 0 0 178126 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3573.9 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 346427
/proc/meminfo: memFree=119977916/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1787.68 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21788 0 0 0 178764 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3580.28 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 346427
/proc/meminfo: memFree=120183496/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1790.87 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21788 0 0 0 179083 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 346427
/proc/meminfo: memFree=120183764/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1792.46 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21788 0 0 0 179242 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 346427
/proc/meminfo: memFree=120183764/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1792.86 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21788 0 0 0 179282 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 346427
/proc/meminfo: memFree=120183764/131524600 swapFree=131071996/131071996
[pid=344359] ppid=344356 vsize=9932 memory=2736 CPUtime=1792.6 cores=5,7
/proc/344359/stat : 344359 (Hybrid-CASHWMax) S 344356 344359 343972 0 -1 4194304 270 117811 0 0 0 0 179225 35 20 0 1 0 62560524 10170368 684 134679101440 94746801664000 94746802743320 140732184223184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94746804841776 94746804888964 94746828554240 140732184224718 140732184224877 140732184224877 140732184231892 0
/proc/344359/statm: 2483 684 592 264 0 134 0
[pid=345268] ppid=344359 vsize=8660 memory=1044 CPUtime=0 cores=5,7
/proc/345268/stat : 345268 (timeout) S 344359 345268 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62740325 8867840 261 134679101440 94501332381696 94501332416712 140731275952768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94501334514128 94501334516260 94501347426304 140731275961332 140731275961501 140731275961501 140731275968487 0
/proc/345268/statm: 2165 261 236 9 0 87 0
[pid=345269] ppid=345268 vsize=59244 memory=52756 CPUtime=1793.27 cores=5,7
/proc/345269/stat : 345269 (Exact) R 345268 345268 343972 0 -1 4194304 21788 0 0 0 179323 4 0 0 20 0 1 0 62740325 60665856 13189 134679101440 4194304 7243121 140721303789744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 31330304 140721303798800 140721303798950 140721303798950 140721303805936 0
/proc/345269/statm: 14811 13189 804 745 0 13876 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 56536 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3585.92
CPU user time (s): 3585.51
CPU system time (s): 0.409796
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 657152
Max. memory (cumulated for all children) (KiB): 530992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.51
system time used= 0.409796
maximum resident set size= 527292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 3380


# summary of solver processes directly reported to runsolver:
#   pid: 344359
#   total CPU time (s): 3585.92
#   total CPU user time (s): 3585.51
#   total CPU system time (s): 0.409796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00722 second user time and 17.525 second system time

The end