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: 63968 MiB (62834 MiB free)
  memory of node 1: 64473 MiB (63151 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438358-1722959025/watcher-4438358-1722959025 -o /tmp/evaluation-result-4438358-1722959025/solver-4438358-1722959025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722959025-340666 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438358-1722959025.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=340716, runsolver pid=340705

[startup+0.10104 s]*
/proc/loadavg: 2.66 3.91 4.14 7/268 340741
/proc/meminfo: memFree=128931680/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=40516 memory=21556 CPUtime=0.07 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 5467 0 0 0 6 1 0 0 20 0 1 0 62504560 41488384 5389 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 10129 5389 782 2417 0 7231 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 59108 KiB
Current children cumulated memory: 25280 KiB

[startup+0.206667 s]*
/proc/loadavg: 2.66 3.91 4.14 7/268 340741
/proc/meminfo: memFree=128783244/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=63052 memory=52280 CPUtime=0.18 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 12231 0 0 0 16 2 0 0 20 0 1 0 62504560 64565248 13070 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 15763 13070 2142 2417 0 12865 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 81644 KiB
Current children cumulated memory: 56004 KiB

[startup+0.306849 s]*
/proc/loadavg: 2.66 3.91 4.14 7/268 340741
/proc/meminfo: memFree=128688900/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=125408 memory=112724 CPUtime=0.27 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 27132 0 0 0 23 4 0 0 20 0 1 0 62504560 128417792 28181 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 31352 28181 2350 2417 0 28454 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 144000 KiB
Current children cumulated memory: 116448 KiB

[startup+0.700282 s]
/proc/loadavg: 2.66 3.91 4.14 7/268 340741
/proc/meminfo: memFree=128590500/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=166380 memory=154236 CPUtime=0.66 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 37544 0 0 0 60 6 0 0 20 0 1 0 62504560 170373120 38559 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 41595 38559 2398 2417 0 38697 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 184972 KiB
Current children cumulated memory: 157960 KiB

[startup+1.5003 s]
/proc/loadavg: 2.66 3.91 4.14 7/268 340741
/proc/meminfo: memFree=128552412/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=352304 memory=309692 CPUtime=1.46 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 41886 0 0 0 136 10 0 0 20 0 1 0 62504560 360759296 77423 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 88076 77423 2414 2417 0 85178 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 370896 KiB
Current children cumulated memory: 313416 KiB

[startup+3.10652 s]
/proc/loadavg: 2.66 3.91 4.14 7/268 340741
/proc/meminfo: memFree=128071696/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=509408 memory=464392 CPUtime=3.06 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 65853 0 0 0 292 14 0 0 20 0 1 0 62504560 521633792 116098 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 127352 116098 2526 2417 0 124454 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 528000 KiB
Current children cumulated memory: 468116 KiB

[startup+6.30027 s]
/proc/loadavg: 2.77 3.91 4.14 7/268 340743
/proc/meminfo: memFree=128019400/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=515672 memory=470704 CPUtime=6.24 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 67439 0 0 0 610 14 0 0 20 0 1 0 62504560 528048128 117676 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 128918 117676 2526 2417 0 126020 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 534264 KiB
Current children cumulated memory: 474428 KiB

[startup+12.7003 s]
/proc/loadavg: 2.87 3.91 4.14 7/268 340743
/proc/meminfo: memFree=128006872/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=521684 memory=475960 CPUtime=12.62 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 68740 0 0 0 1247 15 0 0 20 0 1 0 62504560 534204416 118990 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 130421 118990 2526 2417 0 127523 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 540276 KiB
Current children cumulated memory: 479684 KiB

[startup+25.5003 s]
/proc/loadavg: 3.12 3.92 4.13 7/268 340746
/proc/meminfo: memFree=127949912/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=524744 memory=476476 CPUtime=25.38 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 68881 0 0 0 2523 15 0 0 20 0 1 0 62504560 537337856 119119 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 131186 119119 2526 2417 0 128288 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 543336 KiB
Current children cumulated memory: 480200 KiB

[startup+51.1068 s]
/proc/loadavg: 3.50 3.94 4.14 7/268 340749
/proc/meminfo: memFree=127908932/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 672 594 264 0 134 0
[pid=340725] ppid=340716 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/340725/stat : 340725 (timeout) S 340716 340725 340653 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62504558 8867840 259 134679101440 94515272187904 94515272222920 140722328620240 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94515274320336 94515274322468 94515294928896 140722328626188 140722328626333 140722328626333 140722328633319 0
/proc/340725/statm: 2165 259 234 9 0 87 0
[pid=340726] ppid=340725 vsize=528716 memory=482220 CPUtime=50.9 cores=5,7
/proc/340726/stat : 340726 (CASHWMaxSAT-Dis) R 340725 340725 340653 0 -1 4194304 69665 0 0 0 5075 15 0 0 20 0 1 0 62504560 541405184 120555 134679101440 4194304 14093885 140731873908096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32739328 140731873915922 140731873916054 140731873916054 140731873923040 0
/proc/340726/statm: 132179 120555 2526 2417 0 129281 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 547308 KiB
Current children cumulated memory: 485944 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 3.97 4.13 7/268 340758
/proc/meminfo: memFree=127803008/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62504558 10170368 672 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0

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

/proc/341707/statm: 212738 175770 748 737 0 211826 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 869544 KiB
Current children cumulated memory: 706856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.19 4.16 7/266 342641
/proc/meminfo: memFree=127188596/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=704128 CPUtime=1660.56 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 82383 0 0 0 166019 37 0 0 20 0 1 0 62684360 872685568 176032 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 176032 748 737 0 212146 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 707904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.16 7/266 342651
/proc/meminfo: memFree=127183008/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=704132 CPUtime=1720.42 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 82688 0 0 0 172005 37 0 0 20 0 1 0 62684360 872685568 176033 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 176033 748 737 0 212146 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 707908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.16 7/266 342662
/proc/meminfo: memFree=127175328/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=710880 CPUtime=1780.29 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 82995 0 0 0 177992 37 0 0 20 0 1 0 62684360 872685568 177720 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 177720 748 737 0 212146 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 714656 KiB

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

# cumulated CPU time of all completed processes:  user=3585.79 s, system=0.953487 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.18 4.16 9/267 342663
/proc/meminfo: memFree=127175328/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=710880 CPUtime=1781.99 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 82997 0 0 0 178162 37 0 0 20 0 1 0 62684360 872685568 177720 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 177720 748 737 0 212146 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 714656 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.17 4.16 7/266 342664
/proc/meminfo: memFree=127175432/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=710880 CPUtime=1788.38 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 83000 0 0 0 178801 37 0 0 20 0 1 0 62684360 872685568 177720 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 177720 748 737 0 212146 0
Current children cumulated CPU time: 3581.08 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 714656 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.17 4.16 7/266 342664
/proc/meminfo: memFree=127170132/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=716148 CPUtime=1791.57 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 83003 0 0 0 179120 37 0 0 20 0 1 0 62684360 872685568 179037 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 179037 748 737 0 212146 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 719924 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.17 4.16 7/266 342667
/proc/meminfo: memFree=127170076/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=716148 CPUtime=1793.16 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 83004 0 0 0 179279 37 0 0 20 0 1 0 62684360 872685568 179037 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 179037 748 737 0 212146 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 719924 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.17 4.16 7/266 342667
/proc/meminfo: memFree=127170076/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=716148 CPUtime=1793.56 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 83004 0 0 0 179319 37 0 0 20 0 1 0 62684360 872685568 179037 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 179037 748 737 0 212146 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 719924 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.17 4.16 7/266 342667
/proc/meminfo: memFree=127170060/131524600 swapFree=131071996/131071996
[pid=340716] ppid=340705 vsize=9932 memory=2748 CPUtime=1792.7 cores=5,7
/proc/340716/stat : 340716 (Hybrid-CASHWMax) S 340705 340716 340653 0 -1 4194304 276 97695 0 0 0 0 179215 55 20 0 1 0 62504558 10170368 687 134679101440 94157294460928 94157295540248 140734748121600 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94157297638704 94157297685892 94157304233984 140734748124112 140734748124270 140734748124270 140734748131285 0
/proc/340716/statm: 2483 687 594 264 0 134 0
[pid=341704] ppid=340716 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/341704/stat : 341704 (timeout) S 340716 341704 340653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62684360 8867840 257 134679101440 94005050802176 94005050837192 140726867017520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94005052934608 94005052936740 94005063405568 140726867022836 140726867023005 140726867023005 140726867029991 0
/proc/341704/statm: 2165 257 232 9 0 87 0
[pid=341707] ppid=341704 vsize=852232 memory=716148 CPUtime=1793.97 cores=5,7
/proc/341707/stat : 341707 (Exact) R 341704 341704 340653 0 -1 4194304 83005 0 0 0 179360 37 0 0 20 0 1 0 62684360 872685568 179037 134679101440 4194304 7210733 140724549858160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 16637952 140724549862416 140724549862566 140724549862566 140724549869552 0
/proc/341707/statm: 213058 179037 748 737 0 212146 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 870824 KiB
Current children cumulated memory: 719924 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3586.75
CPU user time (s): 3585.79
CPU system time (s): 0.953487
CPU usage (%): 99.7408
Max. virtual memory (cumulated for all children) (KiB): 1057000
Max. memory (cumulated for all children) (KiB): 719924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.79
system time used= 0.953487
maximum resident set size= 783824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184009
page faults= 1
swaps= 0
block input operations= 48
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 2209


# summary of solver processes directly reported to runsolver:
#   pid: 340716
#   total CPU time (s): 3586.75
#   total CPU user time (s): 3585.79
#   total CPU system time (s): 0.953487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22921 second user time and 21.3649 second system time

The end