runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62819 MiB free)
  memory of node 1: 64473 MiB (63494 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.1001 s]*
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129304188/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=29284 memory=10320 CPUtime=0.09 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 2278 0 0 0 8 1 0 0 20 0 1 0 62273187 29986816 2580 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 7321 2580 922 2726 0 4069 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47876 KiB
Current children cumulated memory: 14072 KiB

[startup+0.214406 s]*
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129289184/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=31328 memory=15032 CPUtime=0.21 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 2890 0 0 0 19 2 0 0 20 0 1 0 62273187 32079872 3758 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 7832 3758 922 2726 0 4580 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49920 KiB
Current children cumulated memory: 18784 KiB

[startup+0.314617 s]*
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129233128/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=62264 memory=45928 CPUtime=0.3 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 10648 0 0 0 26 4 0 0 20 0 1 0 62273187 63758336 11482 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 15566 11482 954 2726 0 12314 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80856 KiB
Current children cumulated memory: 49680 KiB

[startup+0.700591 s]
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129231800/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=57196 memory=41096 CPUtime=0.67 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 10671 0 0 0 63 4 0 0 20 0 1 0 62273187 58568704 10274 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 14299 10274 1002 2726 0 11047 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75788 KiB
Current children cumulated memory: 44848 KiB

[startup+1.50053 s]
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129116944/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=216636 memory=203116 CPUtime=1.48 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 51650 0 0 0 133 15 0 0 20 0 1 0 62273187 221835264 50779 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 54159 50779 2618 2726 0 50907 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 235228 KiB
Current children cumulated memory: 206868 KiB

[startup+3.11437 s]
/proc/loadavg: 2.90 3.87 4.08 5/253 331799
/proc/meminfo: memFree=128391064/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=521976 memory=483156 CPUtime=3.09 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 85105 0 0 0 285 24 0 0 20 0 1 0 62273187 534503424 120789 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 130494 120789 2730 2726 0 127242 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 540568 KiB
Current children cumulated memory: 486908 KiB

[startup+6.30044 s]
/proc/loadavg: 2.90 3.87 4.08 5/253 331801
/proc/meminfo: memFree=128201436/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=562636 memory=509656 CPUtime=6.26 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 91271 0 0 0 601 25 0 0 20 0 1 0 62273187 576139264 127414 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 140659 127414 2762 2726 0 137407 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 581228 KiB
Current children cumulated memory: 513408 KiB

[startup+12.7004 s]
/proc/loadavg: 2.99 3.87 4.08 5/253 331801
/proc/meminfo: memFree=128141032/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=578980 memory=510960 CPUtime=12.65 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 91566 0 0 0 1240 25 0 0 20 0 1 0 62273187 592875520 127740 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 144745 127740 2762 2726 0 141493 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 597572 KiB
Current children cumulated memory: 514712 KiB

[startup+25.5004 s]
/proc/loadavg: 3.29 3.90 4.08 5/253 331802
/proc/meminfo: memFree=128039204/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=607512 memory=520224 CPUtime=25.42 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 92347 0 0 0 2516 26 0 0 20 0 1 0 62273187 622092288 130056 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 151878 130056 2762 2726 0 148626 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 626104 KiB
Current children cumulated memory: 523976 KiB

[startup+51.1141 s]
/proc/loadavg: 3.60 3.92 4.09 5/253 331807
/proc/meminfo: memFree=127938388/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 691 613 264 0 134 0
[pid=331789] ppid=331786 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/331789/stat : 331789 (timeout) S 331786 331789 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273187 8867840 247 134679101440 94855208382464 94855208417480 140721278223088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94855210514896 94855210517028 94855225712640 140721278231554 140721278231713 140721278231713 140721278238695 0
/proc/331789/statm: 2165 247 223 9 0 87 0
[pid=331790] ppid=331789 vsize=784056 memory=594368 CPUtime=50.97 cores=1,3
/proc/331790/stat : 331790 (CASHWMaxSAT-Dis) R 331789 331789 331710 0 -1 4194304 123848 0 0 0 5065 32 0 0 20 0 1 0 62273187 802873344 148592 134679101440 4194304 15356333 140727552593968 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47853568 140727552599047 140727552599193 140727552599193 140727552606175 0
/proc/331790/statm: 196014 148592 2778 2726 0 192762 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 802648 KiB
Current children cumulated memory: 598120 KiB

[startup+102.301 s]
/proc/loadavg: 3.88 3.95 4.09 5/250 331815
/proc/meminfo: memFree=127765120/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 62273186 10170368 691 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0

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

/proc/332696/statm: 38021 31680 820 745 0 37086 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 130584 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/248 333609
/proc/meminfo: memFree=128839788/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152084 memory=126896 CPUtime=1660.02 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 17772 0 0 0 165980 22 0 0 20 0 1 0 62452988 155734016 31724 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38021 31724 820 745 0 37086 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 130760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/248 333619
/proc/meminfo: memFree=128836212/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152084 memory=126960 CPUtime=1719.87 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 17835 0 0 0 171965 22 0 0 20 0 1 0 62452988 155734016 31740 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38021 31740 820 745 0 37086 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 130824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/248 333631
/proc/meminfo: memFree=128831012/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1779.73 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 177950 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

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

# cumulated CPU time of all completed processes:  user=3585.32 s, system=1.07518 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.15 5/248 333631
/proc/meminfo: memFree=128831040/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1781.43 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 178120 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3574.37 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.16 5/248 333633
/proc/meminfo: memFree=128830608/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1787.8 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 178757 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3580.74 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.13 4.16 5/248 333633
/proc/meminfo: memFree=128830608/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1790.99 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 179076 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3583.93 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.13 4.16 5/248 333633
/proc/meminfo: memFree=128830660/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1792.58 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 179235 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.13 4.16 5/248 333633
/proc/meminfo: memFree=128830660/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1792.98 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 179275 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.13 4.16 3/240 333678
/proc/meminfo: memFree=129090252/131655788 swapFree=131071216/131071996
[pid=331786] ppid=331783 vsize=9932 memory=2820 CPUtime=1792.94 cores=1,3
/proc/331786/stat : 331786 (Hybrid-CASHWMax) S 331783 331786 331710 0 -1 4194304 273 323358 0 0 0 0 179213 81 20 0 1 0 62273186 10170368 705 134679101440 94688914731008 94688915810328 140730335754976 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94688917908784 94688917955972 94688943824896 140730335757266 140730335757425 140730335757425 140730335764436 0
/proc/331786/statm: 2483 705 613 264 0 134 0
[pid=332695] ppid=331786 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/332695/stat : 332695 (timeout) S 331786 332695 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452988 8867840 261 134679101440 94459234017280 94459234052296 140728065428704 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94459236149712 94459236151844 94459249356800 140728065434616 140728065434785 140728065434785 140728065441767 0
/proc/332695/statm: 2165 261 236 9 0 87 0
[pid=332696] ppid=332695 vsize=152952 memory=129812 CPUtime=1793.39 cores=1,3
/proc/332696/stat : 332696 (Exact) R 332695 332695 331710 0 -1 4194304 18115 0 0 0 179316 23 0 0 20 0 1 0 62452988 156622848 32453 134679101440 4194304 7243121 140723885496512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25329664 140723885499412 140723885499562 140723885499562 140723885506544 0
/proc/332696/statm: 38238 32453 820 745 0 37303 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133676 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3586.39
CPU user time (s): 3585.32
CPU system time (s): 1.07518
CPU usage (%): 99.7317
Max. virtual memory (cumulated for all children) (KiB): 1488460
Max. memory (cumulated for all children) (KiB): 1268132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.32
system time used= 1.07519
maximum resident set size= 1264380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153
involuntary context switches= 1673


# summary of solver processes directly reported to runsolver:
#   pid: 331786
#   total CPU time (s): 3586.39
#   total CPU user time (s): 3585.32
#   total CPU system time (s): 1.07518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9027 second user time and 38.8786 second system time

The end