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 (60452 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=913066, runsolver pid=913063

[startup+0.100821 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 913067
/proc/meminfo: memFree=122741356/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=35876 memory=14664 CPUtime=0.09 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 2882 0 0 0 9 0 0 0 20 0 1 0 174746333 36737024 3666 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 8969 3666 922 2726 0 5717 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35876 KiB
Current children cumulated memory: 14664 KiB

[startup+0.205762 s]*
/proc/loadavg: 4.11 4.10 4.09 7/255 913067
/proc/meminfo: memFree=122711292/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=60680 memory=44096 CPUtime=0.2 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 8563 0 0 0 19 1 0 0 20 0 1 0 174746333 62136320 11024 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 15170 11024 954 2726 0 11918 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60680 KiB
Current children cumulated memory: 44096 KiB

[startup+0.306235 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 913069
/proc/meminfo: memFree=122708740/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=64252 memory=48052 CPUtime=0.29 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 10692 0 0 0 28 1 0 0 20 0 1 0 174746333 65794048 12013 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 16063 12013 1034 2726 0 12811 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64252 KiB
Current children cumulated memory: 48052 KiB

[startup+0.700236 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 913069
/proc/meminfo: memFree=122662840/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=190048 memory=177808 CPUtime=0.68 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 41645 0 0 0 63 5 0 0 20 0 1 0 174746333 194609152 44452 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 47512 44452 2618 2726 0 44260 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 190048 KiB
Current children cumulated memory: 177808 KiB

[startup+1.50024 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 913069
/proc/meminfo: memFree=122549280/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=285752 memory=269680 CPUtime=1.48 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 64544 0 0 0 139 9 0 0 20 0 1 0 174746333 292610048 67420 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71438 67420 2730 2726 0 68186 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 285752 KiB
Current children cumulated memory: 269680 KiB

[startup+3.10571 s]
/proc/loadavg: 4.18 4.11 4.10 5/255 913069
/proc/meminfo: memFree=122491368/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=285752 memory=270200 CPUtime=3.08 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 64676 0 0 0 299 9 0 0 20 0 1 0 174746333 292610048 67550 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71438 67550 2730 2726 0 68186 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 285752 KiB
Current children cumulated memory: 270200 KiB

[startup+6.30021 s]
/proc/loadavg: 4.18 4.11 4.10 5/255 913069
/proc/meminfo: memFree=122491108/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=285908 memory=270452 CPUtime=6.27 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 64743 0 0 0 618 9 0 0 20 0 1 0 174746333 292769792 67613 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71477 67613 2730 2726 0 68225 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 285908 KiB
Current children cumulated memory: 270452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 913117
/proc/meminfo: memFree=123014584/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=287276 memory=271476 CPUtime=12.66 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 65031 0 0 0 1256 10 0 0 20 0 1 0 174746333 294170624 67869 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71819 67869 2730 2726 0 68567 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 287276 KiB
Current children cumulated memory: 271476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 913118
/proc/meminfo: memFree=122995356/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=287276 memory=271476 CPUtime=25.42 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 65039 0 0 0 2532 10 0 0 20 0 1 0 174746333 294170624 67869 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71819 67869 2730 2726 0 68567 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 287276 KiB
Current children cumulated memory: 271476 KiB

[startup+51.1058 s]
/proc/loadavg: 4.17 4.11 4.09 5/254 913123
/proc/meminfo: memFree=122930388/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=287276 memory=271476 CPUtime=50.95 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 65048 0 0 0 5085 10 0 0 20 0 1 0 174746333 294170624 67869 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71819 67869 2730 2726 0 68567 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 287276 KiB
Current children cumulated memory: 271476 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 913132
/proc/meminfo: memFree=122903020/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=319848 memory=294404 CPUtime=102.02 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 70319 0 0 0 10191 11 0 0 20 0 1 0 174746333 327524352 73601 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 79962 73601 2762 2726 0 76710 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 319848 KiB
Current children cumulated memory: 294404 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 913143
/proc/meminfo: memFree=122860252/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=341712 memory=310620 CPUtime=161.87 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 73343 0 0 0 16175 12 0 0 20 0 1 0 174746333 349913088 77655 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 85428 77655 2762 2726 0 82176 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 310620 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 913153
/proc/meminfo: memFree=122857892/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=341712 memory=310620 CPUtime=221.71 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 73348 0 0 0 22159 12 0 0 20 0 1 0 174746333 349913088 77655 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 85428 77655 2762 2726 0 82176 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 310620 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 913170
/proc/meminfo: memFree=122856464/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=341712 memory=310620 CPUtime=281.56 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 73353 0 0 0 28144 12 0 0 20 0 1 0 174746333 349913088 77655 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 85428 77655 2762 2726 0 82176 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 310620 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 913180
/proc/meminfo: memFree=122835972/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=347456 memory=310824 CPUtime=341.41 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 73405 0 0 0 34129 12 0 0 20 0 1 0 174746333 355794944 77706 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 86864 77706 2762 2726 0 83612 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 347456 KiB
Current children cumulated memory: 310824 KiB

[startup+402.3 s]
/proc/loadavg: 4.38 4.19 4.12 5/258 913191
/proc/meminfo: memFree=122818596/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=347456 memory=310824 CPUtime=401.25 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 73411 0 0 0 40113 12 0 0 20 0 1 0 174746333 355794944 77706 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 86864 77706 2762 2726 0 83612 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 347456 KiB
Current children cumulated memory: 310824 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/260 913206
/proc/meminfo: memFree=122808020/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=347456 memory=310824 CPUtime=461.1 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 73421 0 0 0 46098 12 0 0 20 0 1 0 174746333 355794944 77706 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 86864 77706 2762 2726 0 83612 0

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

/proc/loadavg: 4.13 4.13 4.11 5/255 914057
/proc/meminfo: memFree=122807524/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=396928 memory=353492 CPUtime=1298.96 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 80941 0 0 0 129883 13 0 0 20 0 1 0 174746333 406454272 88373 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 99232 88373 2762 2726 0 95980 0
Current children cumulated CPU time: 1298.96 s
Current children cumulated vsize: 396928 KiB
Current children cumulated memory: 353492 KiB

[startup+1362.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/255 914067
/proc/meminfo: memFree=122823688/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=396928 memory=353492 CPUtime=1358.81 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 80998 0 0 0 135868 13 0 0 20 0 1 0 174746333 406454272 88373 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 99232 88373 2762 2726 0 95980 0
Current children cumulated CPU time: 1358.81 s
Current children cumulated vsize: 396928 KiB
Current children cumulated memory: 353492 KiB

[startup+1422.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 914077
/proc/meminfo: memFree=122779936/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=410080 memory=360328 CPUtime=1418.66 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 82859 0 0 0 141853 13 0 0 20 0 1 0 174746333 419921920 90082 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 102520 90082 2762 2726 0 99268 0
Current children cumulated CPU time: 1418.66 s
Current children cumulated vsize: 410080 KiB
Current children cumulated memory: 360328 KiB

[startup+1482.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 914092
/proc/meminfo: memFree=122772384/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=410080 memory=360372 CPUtime=1478.51 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 82929 0 0 0 147838 13 0 0 20 0 1 0 174746333 419921920 90093 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 102520 90093 2762 2726 0 99268 0
Current children cumulated CPU time: 1478.51 s
Current children cumulated vsize: 410080 KiB
Current children cumulated memory: 360372 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/257 914103
/proc/meminfo: memFree=122822948/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=410080 memory=360372 CPUtime=1538.35 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 82993 0 0 0 153822 13 0 0 20 0 1 0 174746333 419921920 90093 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 102520 90093 2762 2726 0 99268 0
Current children cumulated CPU time: 1538.35 s
Current children cumulated vsize: 410080 KiB
Current children cumulated memory: 360372 KiB

[startup+1602.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 914114
/proc/meminfo: memFree=122766648/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=410080 memory=360372 CPUtime=1598.2 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 83059 0 0 0 159807 13 0 0 20 0 1 0 174746333 419921920 90093 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 102520 90093 2762 2726 0 99268 0
Current children cumulated CPU time: 1598.2 s
Current children cumulated vsize: 410080 KiB
Current children cumulated memory: 360372 KiB

[startup+1662.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 914124
/proc/meminfo: memFree=122787260/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=410080 memory=360372 CPUtime=1658.05 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 83120 0 0 0 165792 13 0 0 20 0 1 0 174746333 419921920 90093 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 102520 90093 2762 2726 0 99268 0
Current children cumulated CPU time: 1658.05 s
Current children cumulated vsize: 410080 KiB
Current children cumulated memory: 360372 KiB

[startup+1722.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 914137
/proc/meminfo: memFree=122817144/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=420624 memory=365304 CPUtime=1717.9 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 84492 0 0 0 171776 14 0 0 20 0 1 0 174746333 430718976 91326 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 105156 91326 2762 2726 0 101904 0
Current children cumulated CPU time: 1717.9 s
Current children cumulated vsize: 420624 KiB
Current children cumulated memory: 365304 KiB

[startup+1782.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 914147
/proc/meminfo: memFree=122809740/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=420624 memory=365304 CPUtime=1777.75 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 84564 0 0 0 177761 14 0 0 20 0 1 0 174746333 430718976 91326 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 105156 91326 2762 2726 0 101904 0
Current children cumulated CPU time: 1777.75 s
Current children cumulated vsize: 420624 KiB
Current children cumulated memory: 365304 KiB

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

# cumulated CPU time of all completed processes:  user=1796.74 s, system=0.153616 s

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

[startup+1792 s]*
/proc/loadavg: 4.10 4.11 4.09 5/255 914148
/proc/meminfo: memFree=122809684/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=420624 memory=365304 CPUtime=1787.43 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 84571 0 0 0 178729 14 0 0 20 0 1 0 174746333 430718976 91326 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 105156 91326 2762 2726 0 101904 0
Current children cumulated CPU time: 1787.43 s
Current children cumulated vsize: 420624 KiB
Current children cumulated memory: 365304 KiB

[startup+1798.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 914148
/proc/meminfo: memFree=122809704/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=420624 memory=365304 CPUtime=1793.81 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 84574 0 0 0 179367 14 0 0 20 0 1 0 174746333 430718976 91326 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 105156 91326 2762 2726 0 101904 0
Current children cumulated CPU time: 1793.81 s
Current children cumulated vsize: 420624 KiB
Current children cumulated memory: 365304 KiB

[startup+1800 s]*
/proc/loadavg: 4.09 4.11 4.09 5/255 914148
/proc/meminfo: memFree=122809732/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=420624 memory=365304 CPUtime=1795.41 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 84574 0 0 0 179527 14 0 0 20 0 1 0 174746333 430718976 91326 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 105156 91326 2762 2726 0 101904 0
Current children cumulated CPU time: 1795.41 s
Current children cumulated vsize: 420624 KiB
Current children cumulated memory: 365304 KiB

[startup+1800.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 914148
/proc/meminfo: memFree=122809732/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=410572 memory=361584 CPUtime=1796.2 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 86846 0 0 0 179606 14 0 0 20 0 1 0 174746333 420425728 90396 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 102643 90396 2762 2726 0 99391 0
Current children cumulated CPU time: 1796.2 s
Current children cumulated vsize: 410572 KiB
Current children cumulated memory: 361584 KiB

[startup+1801.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 914164
/proc/meminfo: memFree=123603784/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=284896 memory=276052 CPUtime=1796.6 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 86846 0 0 0 179646 14 0 0 20 0 1 0 174746333 291733504 69013 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71224 69013 2826 2726 0 67972 0
Current children cumulated CPU time: 1796.6 s
Current children cumulated vsize: 284896 KiB
Current children cumulated memory: 276052 KiB

[startup+1801.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 914164
/proc/meminfo: memFree=123603784/131524596 swapFree=131071996/131071996
[pid=913066] ppid=913063 vsize=284896 memory=276052 CPUtime=1796.8 cores=1,3
/proc/913066/stat : 913066 (CASHWMaxSAT-Dis) R 913063 913066 910006 0 -1 4194304 86846 0 0 0 179666 14 0 0 20 0 1 0 174746333 291733504 69013 134679101440 4194304 15356333 140732431567392 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52539392 140732431573986 140732431574102 140732431574102 140732431581118 0
/proc/913066/statm: 71224 69013 2826 2726 0 67972 0
Current children cumulated CPU time: 1796.8 s
Current children cumulated vsize: 284896 KiB
Current children cumulated memory: 276052 KiB

Child status: 30

Real time (s): 1801.49
CPU time (s): 1796.9
CPU user time (s): 1796.74
CPU system time (s): 0.153616
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 429368
Max. memory (cumulated for all children) (KiB): 374016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.74
system time used= 0.153616
maximum resident set size= 374032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86846
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= 20
involuntary context switches= 624


# summary of solver processes directly reported to runsolver:
#   pid: 913066
#   total CPU time (s): 1796.9
#   total CPU user time (s): 1796.74
#   total CPU system time (s): 0.153616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8359 second user time and 8.30678 second system time

The end