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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437854-1722960803/watcher-4437854-1722960803 -o /tmp/evaluation-result-4437854-1722960803/solver-4437854-1722960803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722960803-338445 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437854-1722960803.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
solver pid=338485, runsolver pid=338481
Current StackSize limit: 8192 KiB


[startup+0.100684 s]*
/proc/loadavg: 1.07 1.11 1.52 6/262 338518
/proc/meminfo: memFree=129015868/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=36896 memory=21508 CPUtime=0.09 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 4908 0 0 0 9 0 0 0 20 0 1 0 62682262 37781504 5377 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 9224 5377 1034 2726 0 5972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55488 KiB
Current children cumulated memory: 25348 KiB

[startup+0.206347 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128949560/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=49224 memory=33916 CPUtime=0.19 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 8001 0 0 0 19 0 0 0 20 0 1 0 62682262 50405376 8479 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 12306 8479 1034 2726 0 9054 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67816 KiB
Current children cumulated memory: 37756 KiB

[startup+0.306084 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128912704/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=65652 memory=49532 CPUtime=0.29 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 11928 0 0 0 28 1 0 0 20 0 1 0 62682262 67227648 12383 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 16413 12383 1066 2726 0 13161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84244 KiB
Current children cumulated memory: 53372 KiB

[startup+0.70029 s]
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128798980/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=201636 memory=185388 CPUtime=0.68 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 43388 0 0 0 62 6 0 0 20 0 1 0 62682262 206475264 46347 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 50409 46347 2618 2726 0 47157 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 220228 KiB
Current children cumulated memory: 189228 KiB

[startup+1.50029 s]
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128478444/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=245972 memory=229068 CPUtime=1.47 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 54314 0 0 0 140 7 0 0 20 0 1 0 62682262 251875328 57267 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 61493 57267 2650 2726 0 58241 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 264564 KiB
Current children cumulated memory: 232908 KiB

[startup+3.10556 s]
/proc/loadavg: 1.31 1.16 1.53 4/255 338528
/proc/meminfo: memFree=127575800/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=447672 memory=409604 CPUtime=3.07 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 78313 0 0 0 294 13 0 0 20 0 1 0 62682262 458416128 102401 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 111918 102401 2746 2726 0 108666 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 466264 KiB
Current children cumulated memory: 413444 KiB

[startup+6.30022 s]
/proc/loadavg: 1.31 1.16 1.53 5/262 338571
/proc/meminfo: memFree=127300796/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=448320 memory=409604 CPUtime=6.26 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 78351 0 0 0 613 13 0 0 20 0 1 0 62682262 459079680 102401 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 112080 102401 2746 2726 0 108828 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 466912 KiB
Current children cumulated memory: 413444 KiB

[startup+12.7003 s]
/proc/loadavg: 1.52 1.21 1.54 5/262 338571
/proc/meminfo: memFree=126790368/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=449852 memory=410584 CPUtime=12.64 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 78602 0 0 0 1250 14 0 0 20 0 1 0 62682262 460648448 102646 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 112463 102646 2746 2726 0 109211 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 468444 KiB
Current children cumulated memory: 414424 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 1.34 1.58 5/262 338574
/proc/meminfo: memFree=126651104/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=521276 memory=459660 CPUtime=25.39 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 88852 0 0 0 2524 15 0 0 20 0 1 0 62682262 533786624 114915 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 130319 114915 2762 2726 0 127067 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 539868 KiB
Current children cumulated memory: 463500 KiB

[startup+51.1057 s]
/proc/loadavg: 2.73 1.56 1.65 5/262 338577
/proc/meminfo: memFree=126467996/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=338493] ppid=338485 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/338493/stat : 338493 (timeout) S 338485 338493 338432 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62682262 8867840 243 134679101440 94759144284160 94759144319176 140726708996880 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94759146416592 94759146418724 94759164686336 140726709003266 140726709003425 140726709003425 140726709010407 0
/proc/338493/statm: 2165 243 219 9 0 87 0
[pid=338496] ppid=338493 vsize=644300 memory=530516 CPUtime=50.9 cores=5,7
/proc/338496/stat : 338496 (CASHWMaxSAT-Dis) R 338493 338493 338432 0 -1 4194304 106080 0 0 0 5071 19 0 0 20 0 1 0 62682262 659763200 132629 134679101440 4194304 15356333 140721180878640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 49205248 140721180881927 140721180882073 140721180882073 140721180889055 0
/proc/338496/statm: 161075 132629 2762 2726 0 157823 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 662892 KiB
Current children cumulated memory: 534356 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 1.95 1.78 5/262 338585
/proc/meminfo: memFree=126426388/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=0 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 246 99 0 0 0 0 0 0 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0

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

/proc/339503/statm: 16209 14384 804 745 0 15274 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 61380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.07 5/262 340377
/proc/meminfo: memFree=128765244/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=64836 memory=57536 CPUtime=1658.75 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9393 0 0 0 165873 2 0 0 20 0 1 0 62862063 66392064 14384 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16209 14384 804 745 0 15274 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 61380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/262 340388
/proc/meminfo: memFree=128761972/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=64836 memory=57640 CPUtime=1718.59 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9439 0 0 0 171857 2 0 0 20 0 1 0 62862063 66392064 14410 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16209 14410 804 745 0 15274 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 61484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/262 340398
/proc/meminfo: memFree=128761288/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=64968 memory=57760 CPUtime=1778.43 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9496 0 0 0 177841 2 0 0 20 0 1 0 62862063 66527232 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16242 14440 804 745 0 15307 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 83560 KiB
Current children cumulated memory: 61604 KiB

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

# cumulated CPU time of all completed processes:  user=3584.7 s, system=0.369978 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.07 5/262 340399
/proc/meminfo: memFree=128761032/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=65116 memory=57760 CPUtime=1780.13 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9503 0 0 0 178011 2 0 0 20 0 1 0 62862063 66678784 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16279 14440 804 745 0 15344 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 83708 KiB
Current children cumulated memory: 61604 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.07 5/262 340399
/proc/meminfo: memFree=128761092/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=65116 memory=57760 CPUtime=1786.51 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9512 0 0 0 178649 2 0 0 20 0 1 0 62862063 66678784 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16279 14440 804 745 0 15344 0
Current children cumulated CPU time: 3579.44 s
Current children cumulated vsize: 83708 KiB
Current children cumulated memory: 61604 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.07 5/262 340399
/proc/meminfo: memFree=128761036/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=65116 memory=57760 CPUtime=1789.7 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9512 0 0 0 178968 2 0 0 20 0 1 0 62862063 66678784 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16279 14440 804 745 0 15344 0
Current children cumulated CPU time: 3582.63 s
Current children cumulated vsize: 83708 KiB
Current children cumulated memory: 61604 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.11 4.06 5/262 340401
/proc/meminfo: memFree=128761036/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=65116 memory=57760 CPUtime=1791.3 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9512 0 0 0 179128 2 0 0 20 0 1 0 62862063 66678784 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16279 14440 804 745 0 15344 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 83708 KiB
Current children cumulated memory: 61604 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.11 4.06 5/262 340401
/proc/meminfo: memFree=128761036/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=65116 memory=57760 CPUtime=1791.7 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9512 0 0 0 179168 2 0 0 20 0 1 0 62862063 66678784 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16279 14440 804 745 0 15344 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 83708 KiB
Current children cumulated memory: 61604 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.11 4.06 5/262 340401
/proc/meminfo: memFree=128761008/131524600 swapFree=131071996/131071996
[pid=338485] ppid=338481 vsize=9932 memory=2868 CPUtime=1792.93 cores=5,7
/proc/338485/stat : 338485 (Hybrid-CASHWMax) S 338481 338485 338432 0 -1 4194304 275 181823 0 0 0 0 179260 33 20 0 1 0 62682262 10170368 717 134679101440 94594614120448 94594615199768 140728948639568 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94594617298224 94594617345412 94594644017152 140728948642770 140728948642929 140728948642929 140728948649940 0
/proc/338485/statm: 2483 717 625 264 0 134 0
[pid=339502] ppid=338485 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/339502/stat : 339502 (timeout) S 338485 339502 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862063 8867840 244 134679101440 93921917837312 93921917872328 140734159780608 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93921919969744 93921919971876 93921928028160 140734159782904 140734159783073 140734159783073 140734159790055 0
/proc/339502/statm: 2165 244 220 9 0 87 0
[pid=339503] ppid=339502 vsize=65116 memory=57760 CPUtime=1792.1 cores=5,7
/proc/339503/stat : 339503 (Exact) R 339502 339502 338432 0 -1 4194304 9512 0 0 0 179208 2 0 0 20 0 1 0 62862063 66678784 14440 134679101440 4194304 7243121 140731792573376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25059328 140731792581652 140731792581802 140731792581802 140731792588784 0
/proc/339503/statm: 16279 14440 804 745 0 15344 0
Current children cumulated CPU time: 3585.03 s
Current children cumulated vsize: 83708 KiB
Current children cumulated memory: 61604 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3585.07
CPU user time (s): 3584.7
CPU system time (s): 0.369978
CPU usage (%): 99.6956
Max. virtual memory (cumulated for all children) (KiB): 1197184
Max. memory (cumulated for all children) (KiB): 901928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.7
system time used= 0.369978
maximum resident set size= 898088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194616
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 2114


# summary of solver processes directly reported to runsolver:
#   pid: 338485
#   total CPU time (s): 3585.07
#   total CPU user time (s): 3584.7
#   total CPU system time (s): 0.369978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1736 second user time and 16.7703 second system time

The end