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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438818-1721225768/watcher-4438818-1721225768 -o /tmp/evaluation-result-4438818-1721225768/solver-4438818-1721225768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721220351-910019 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438818-1721225768.opb -total-t=3600 -no-par -v0 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=913114, runsolver pid=913111

[startup+0.100647 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 913115
/proc/meminfo: memFree=123116216/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=39752 memory=24204 CPUtime=0.09 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 6404 0 0 0 9 0 0 0 20 0 1 0 174747349 40706048 6051 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 9938 6051 954 2726 0 6686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39752 KiB
Current children cumulated memory: 24204 KiB

[startup+0.205899 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123103720/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=53200 memory=38128 CPUtime=0.19 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 10391 0 0 0 18 1 0 0 20 0 1 0 174747349 54476800 9532 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 13300 9532 1034 2726 0 10048 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53200 KiB
Current children cumulated memory: 38128 KiB

[startup+0.305817 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123055940/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=104572 memory=92872 CPUtime=0.29 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 22666 0 0 0 26 3 0 0 20 0 1 0 174747349 107081728 23218 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 26143 23218 2538 2726 0 22891 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104572 KiB
Current children cumulated memory: 92872 KiB

[startup+0.700239 s]
/proc/loadavg: 4.17 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123040008/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=141868 memory=130388 CPUtime=0.68 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 32189 0 0 0 64 4 0 0 20 0 1 0 174747349 145272832 32597 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 35467 32597 2730 2726 0 32215 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141868 KiB
Current children cumulated memory: 130388 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123015124/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=142584 memory=131180 CPUtime=1.48 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 32356 0 0 0 144 4 0 0 20 0 1 0 174747349 146006016 32795 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 35646 32795 2730 2726 0 32394 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 142584 KiB
Current children cumulated memory: 131180 KiB

[startup+3.10577 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123014284/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=143140 memory=131444 CPUtime=3.08 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 32423 0 0 0 304 4 0 0 20 0 1 0 174747349 146575360 32861 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 35785 32861 2730 2726 0 32533 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143140 KiB
Current children cumulated memory: 131444 KiB

[startup+6.30021 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123004644/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=156440 memory=141068 CPUtime=6.27 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 34842 0 0 0 622 5 0 0 20 0 1 0 174747349 160194560 35267 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 39110 35267 2762 2726 0 35858 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 156440 KiB
Current children cumulated memory: 141068 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 913118
/proc/meminfo: memFree=123003860/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=159612 memory=141596 CPUtime=12.66 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 34949 0 0 0 1261 5 0 0 20 0 1 0 174747349 163442688 35399 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 39903 35399 2762 2726 0 36651 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 159612 KiB
Current children cumulated memory: 141596 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 913120
/proc/meminfo: memFree=122975104/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=205884 memory=177764 CPUtime=25.42 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 44021 0 0 0 2535 7 0 0 20 0 1 0 174747349 210825216 44441 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 51471 44441 2762 2726 0 48219 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 205884 KiB
Current children cumulated memory: 177764 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 913124
/proc/meminfo: memFree=122930100/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=264636 memory=213980 CPUtime=50.95 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 52750 0 0 0 5086 9 0 0 20 0 1 0 174747349 270987264 53495 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 66159 53495 2762 2726 0 62907 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 264636 KiB
Current children cumulated memory: 213980 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 913135
/proc/meminfo: memFree=122885188/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=276244 memory=217820 CPUtime=102.01 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 53242 0 0 0 10191 10 0 0 20 0 1 0 174747349 282873856 54455 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 69061 54455 2762 2726 0 65809 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 276244 KiB
Current children cumulated memory: 217820 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 913145
/proc/meminfo: memFree=122859992/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=305832 memory=246440 CPUtime=161.86 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 60438 0 0 0 16174 12 0 0 20 0 1 0 174747349 313171968 61610 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 76458 61610 2762 2726 0 73206 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 305832 KiB
Current children cumulated memory: 246440 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 913155
/proc/meminfo: memFree=122857780/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=305832 memory=246580 CPUtime=221.7 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 60499 0 0 0 22158 12 0 0 20 0 1 0 174747349 313171968 61645 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 76458 61645 2762 2726 0 73206 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 305832 KiB
Current children cumulated memory: 246580 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 913171
/proc/meminfo: memFree=122856236/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=305832 memory=247108 CPUtime=281.55 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 60661 0 0 0 28143 12 0 0 20 0 1 0 174747349 313171968 61777 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 76458 61777 2762 2726 0 73206 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 305832 KiB
Current children cumulated memory: 247108 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 913181
/proc/meminfo: memFree=122835952/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=337180 memory=264000 CPUtime=341.39 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 64838 0 0 0 34126 13 0 0 20 0 1 0 174747349 345272320 66000 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 84295 66000 2762 2726 0 81043 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 337180 KiB
Current children cumulated memory: 264000 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/258 913193
/proc/meminfo: memFree=122818456/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=357904 memory=277988 CPUtime=401.23 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 68366 0 0 0 40109 14 0 0 20 0 1 0 174747349 366493696 69497 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 89476 69497 2762 2726 0 86224 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 357904 KiB
Current children cumulated memory: 277988 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/260 913208
/proc/meminfo: memFree=122807992/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=361148 memory=280892 CPUtime=461.08 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 69074 0 0 0 46094 14 0 0 20 0 1 0 174747349 369815552 70223 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 90287 70223 2762 2726 0 87035 0

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

/proc/loadavg: 4.08 4.11 4.10 5/255 914068
/proc/meminfo: memFree=122823640/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=460648 memory=436648 CPUtime=1358.75 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 91503 0 0 0 135857 18 0 0 20 0 1 0 174747349 471703552 109162 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 115162 109162 2762 2726 0 111910 0
Current children cumulated CPU time: 1358.75 s
Current children cumulated vsize: 460648 KiB
Current children cumulated memory: 436648 KiB

[startup+1422.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/255 914078
/proc/meminfo: memFree=122779704/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=466388 memory=441804 CPUtime=1418.61 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 92990 0 0 0 141842 19 0 0 20 0 1 0 174747349 477581312 110451 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 116597 110451 2762 2726 0 113345 0
Current children cumulated CPU time: 1418.61 s
Current children cumulated vsize: 466388 KiB
Current children cumulated memory: 441804 KiB

[startup+1482.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 914094
/proc/meminfo: memFree=122772272/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=468772 memory=441804 CPUtime=1478.46 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 93171 0 0 0 147827 19 0 0 20 0 1 0 174747349 480022528 110451 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 117193 110451 2762 2726 0 113941 0
Current children cumulated CPU time: 1478.46 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 441804 KiB

[startup+1542.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 914105
/proc/meminfo: memFree=122822852/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=468772 memory=441808 CPUtime=1538.3 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 93349 0 0 0 153811 19 0 0 20 0 1 0 174747349 480022528 110452 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 117193 110452 2762 2726 0 113941 0
Current children cumulated CPU time: 1538.3 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 441808 KiB

[startup+1602.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 914116
/proc/meminfo: memFree=122766416/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=473556 memory=441820 CPUtime=1598.15 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 93514 0 0 0 159796 19 0 0 20 0 1 0 174747349 484921344 110455 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 118389 110455 2762 2726 0 115137 0
Current children cumulated CPU time: 1598.15 s
Current children cumulated vsize: 473556 KiB
Current children cumulated memory: 441820 KiB

[startup+1662.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 914126
/proc/meminfo: memFree=122786940/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443872 CPUtime=1657.99 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 93711 0 0 0 165780 19 0 0 20 0 1 0 174747349 499609600 110968 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110968 2762 2726 0 118723 0
Current children cumulated CPU time: 1657.99 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443872 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 914138
/proc/meminfo: memFree=122816996/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443892 CPUtime=1717.84 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 93887 0 0 0 171765 19 0 0 20 0 1 0 174747349 499609600 110973 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110973 2762 2726 0 118723 0
Current children cumulated CPU time: 1717.84 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443892 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 914148
/proc/meminfo: memFree=122809684/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443892 CPUtime=1777.69 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94067 0 0 0 177750 19 0 0 20 0 1 0 174747349 499609600 110973 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110973 2762 2726 0 118723 0
Current children cumulated CPU time: 1777.69 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443892 KiB

[startup+1800.99 s]
# the end of solver process 913114 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1796.15 s, system=0.195469 s

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

[startup+1792 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 914242
/proc/meminfo: memFree=123819548/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443892 CPUtime=1787.37 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94177 0 0 0 178718 19 0 0 20 0 1 0 174747349 499609600 110973 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110973 2762 2726 0 118723 0
Current children cumulated CPU time: 1787.37 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443892 KiB

[startup+1795.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 914288
/proc/meminfo: memFree=123610404/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443892 CPUtime=1790.56 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94178 0 0 0 179037 19 0 0 20 0 1 0 174747349 499609600 110973 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110973 2762 2726 0 118723 0
Current children cumulated CPU time: 1790.56 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443892 KiB

[startup+1798.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 914288
/proc/meminfo: memFree=123238520/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443892 CPUtime=1793.75 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94178 0 0 0 179356 19 0 0 20 0 1 0 174747349 499609600 110973 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110973 2762 2726 0 118723 0
Current children cumulated CPU time: 1793.75 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443892 KiB

[startup+1800 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 914288
/proc/meminfo: memFree=123061924/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=487900 memory=443892 CPUtime=1795.35 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94178 0 0 0 179516 19 0 0 20 0 1 0 174747349 499609600 110973 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 121975 110973 2762 2726 0 118723 0
Current children cumulated CPU time: 1795.35 s
Current children cumulated vsize: 487900 KiB
Current children cumulated memory: 443892 KiB

[startup+1800.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 914288
/proc/meminfo: memFree=123061924/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=489088 memory=444896 CPUtime=1795.75 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94482 0 0 0 179556 19 0 0 20 0 1 0 174747349 500826112 111224 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 122272 111224 2762 2726 0 119020 0
Current children cumulated CPU time: 1795.75 s
Current children cumulated vsize: 489088 KiB
Current children cumulated memory: 444896 KiB

[startup+1800.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 914288
/proc/meminfo: memFree=123061924/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=448704 memory=434612 CPUtime=1796.15 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94508 0 0 0 179596 19 0 0 20 0 1 0 174747349 459472896 108653 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 112176 108653 2762 2726 0 108924 0
Current children cumulated CPU time: 1796.15 s
Current children cumulated vsize: 448704 KiB
Current children cumulated memory: 434612 KiB

[startup+1800.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 914288
/proc/meminfo: memFree=123061924/131524596 swapFree=131071996/131071996
[pid=913114] ppid=913111 vsize=448704 memory=434612 CPUtime=1796.25 cores=5,7
/proc/913114/stat : 913114 (CASHWMaxSAT-Dis) R 913111 913114 910006 0 -1 4194304 94508 0 0 0 179606 19 0 0 20 0 1 0 174747349 459472896 108653 134679101440 4194304 15356333 140734904585456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45830144 140734904591330 140734904591446 140734904591446 140734904598462 0
/proc/913114/statm: 112176 108653 2762 2726 0 108924 0
Current children cumulated CPU time: 1796.25 s
Current children cumulated vsize: 448704 KiB
Current children cumulated memory: 434612 KiB

Child status: 30

Real time (s): 1800.99
CPU time (s): 1796.34
CPU user time (s): 1796.15
CPU system time (s): 0.195469
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 489088
Max. memory (cumulated for all children) (KiB): 444896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.15
system time used= 0.195469
maximum resident set size= 445100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 927


# summary of solver processes directly reported to runsolver:
#   pid: 913114
#   total CPU time (s): 1796.34
#   total CPU user time (s): 1796.15
#   total CPU system time (s): 0.195469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93566 second user time and 8.20481 second system time

The end