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: 63931 MiB (59703 MiB free)
  memory of node 1: 64510 MiB (61638 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458083-1721879542/watcher-4458083-1721879542 -o /tmp/evaluation-result-4458083-1721879542/solver-4458083-1721879542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721875931-226579 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4458083-1721879542.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=228682, runsolver pid=228679

[startup+0.101052 s]*
/proc/loadavg: 5.01 4.42 4.20 5/257 228683
/proc/meminfo: memFree=124224968/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=46492 memory=37876 CPUtime=0.09 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 7353 0 0 0 9 0 0 0 20 0 1 0 24482910 47607808 9469 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 11623 9469 2510 2417 0 8725 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46492 KiB
Current children cumulated memory: 37876 KiB

[startup+0.206034 s]*
/proc/loadavg: 5.01 4.42 4.20 5/257 228683
/proc/meminfo: memFree=124221288/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=49900 memory=41104 CPUtime=0.19 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 8155 0 0 0 18 1 0 0 20 0 1 0 24482910 51097600 10276 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 12475 10276 2526 2417 0 9577 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49900 KiB
Current children cumulated memory: 41104 KiB

[startup+0.306035 s]*
/proc/loadavg: 5.01 4.42 4.20 5/257 228683
/proc/meminfo: memFree=124200456/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=72360 memory=61696 CPUtime=0.28 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 13324 0 0 0 27 1 0 0 20 0 1 0 24482910 74096640 15424 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 18090 15424 2526 2417 0 15192 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72360 KiB
Current children cumulated memory: 61696 KiB

[startup+0.701052 s]
/proc/loadavg: 5.01 4.42 4.20 6/257 228683
/proc/meminfo: memFree=124197096/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=85092 memory=74884 CPUtime=0.66 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 16639 0 0 0 64 2 0 0 20 0 1 0 24482910 87134208 18721 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 21273 18721 2526 2417 0 18375 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85092 KiB
Current children cumulated memory: 74884 KiB

[startup+1.50103 s]
/proc/loadavg: 5.01 4.42 4.20 5/257 228683
/proc/meminfo: memFree=124174764/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=111892 memory=98908 CPUtime=1.45 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 22609 0 0 0 142 3 0 0 20 0 1 0 24482910 114577408 24727 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 27973 24727 2526 2417 0 25075 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 111892 KiB
Current children cumulated memory: 98908 KiB

[startup+3.10523 s]
/proc/loadavg: 5.01 4.42 4.20 6/257 228729
/proc/meminfo: memFree=126295324/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=127000 memory=109468 CPUtime=3.04 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 25263 0 0 0 301 3 0 0 20 0 1 0 24482910 130048000 27367 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 31750 27367 2526 2417 0 28852 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 127000 KiB
Current children cumulated memory: 109468 KiB

[startup+6.30014 s]
/proc/loadavg: 4.93 4.41 4.20 5/257 228730
/proc/meminfo: memFree=126291892/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=127152 memory=109720 CPUtime=6.23 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 25313 0 0 0 620 3 0 0 20 0 1 0 24482910 130203648 27430 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 31788 27430 2526 2417 0 28890 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 127152 KiB
Current children cumulated memory: 109720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.93 4.42 4.21 5/257 228730
/proc/meminfo: memFree=126269640/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=140504 memory=123176 CPUtime=12.62 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 28710 0 0 0 1258 4 0 0 20 0 1 0 24482910 143876096 30794 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 35126 30794 2526 2417 0 32228 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 140504 KiB
Current children cumulated memory: 123176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.73 4.40 4.20 5/257 228779
/proc/meminfo: memFree=126478620/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=164224 memory=146144 CPUtime=25.37 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 34466 0 0 0 2532 5 0 0 20 0 1 0 24482910 168165376 36536 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 41056 36536 2526 2417 0 38158 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 164224 KiB
Current children cumulated memory: 146144 KiB

[startup+51.1055 s]
/proc/loadavg: 4.48 4.37 4.20 5/257 228783
/proc/meminfo: memFree=126432856/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=195060 memory=172968 CPUtime=50.91 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 40753 0 0 0 5083 8 0 0 20 0 1 0 24482910 199741440 43242 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 48765 43242 2542 2417 0 45867 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 195060 KiB
Current children cumulated memory: 172968 KiB

[startup+102.3 s]
/proc/loadavg: 4.32 4.34 4.19 5/257 228792
/proc/meminfo: memFree=126335216/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=236892 memory=223096 CPUtime=101.97 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 51899 0 0 0 10185 12 0 0 20 0 1 0 24482910 242577408 55774 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 59223 55774 2542 2417 0 56325 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 236892 KiB
Current children cumulated memory: 223096 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.29 4.18 5/257 228802
/proc/meminfo: memFree=126291080/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=246232 memory=239360 CPUtime=161.79 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 54446 0 0 0 16167 12 0 0 20 0 1 0 24482910 252141568 59840 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 61558 59840 2542 2417 0 58660 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 246232 KiB
Current children cumulated memory: 239360 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.25 4.17 5/257 229198
/proc/meminfo: memFree=126270100/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=248276 memory=239848 CPUtime=221.64 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 54730 0 0 0 22151 13 0 0 20 0 1 0 24482910 254234624 59962 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 62069 59962 2542 2417 0 59171 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 248276 KiB
Current children cumulated memory: 239848 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.23 4.17 5/257 229209
/proc/meminfo: memFree=126243504/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=253080 memory=245212 CPUtime=281.49 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 56145 0 0 0 28136 13 0 0 20 0 1 0 24482910 259153920 61303 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 63270 61303 2542 2417 0 60372 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 253080 KiB
Current children cumulated memory: 245212 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.24 4.18 5/257 229220
/proc/meminfo: memFree=126182664/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=256568 memory=249300 CPUtime=341.34 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 59183 0 0 0 34121 13 0 0 20 0 1 0 24482910 262725632 62325 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 64142 62325 2542 2417 0 61244 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 256568 KiB
Current children cumulated memory: 249300 KiB

[startup+402.3 s]
/proc/loadavg: 4.47 4.31 4.21 5/259 229400
/proc/meminfo: memFree=126147564/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=282076 memory=263428 CPUtime=401.19 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 62875 0 0 0 40105 14 0 0 20 0 1 0 24482910 288845824 65857 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 70519 65857 2542 2417 0 67621 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 282076 KiB
Current children cumulated memory: 263428 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.27 4.20 5/259 229410
/proc/meminfo: memFree=126098764/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=302628 memory=280068 CPUtime=461.05 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 69125 0 0 0 46089 16 0 0 20 0 1 0 24482910 309891072 70017 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 75657 70017 2542 2417 0 72759 0

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

Current children cumulated memory: 460264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 230503
/proc/meminfo: memFree=125571104/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=2914.17 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 116743 0 0 0 291393 24 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 230515
/proc/meminfo: memFree=125566984/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=2974 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 116870 0 0 0 297376 24 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3042.3 s]
/proc/loadavg: 4.21 4.11 4.10 5/257 230525
/proc/meminfo: memFree=125563960/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3033.83 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 116997 0 0 0 303359 24 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 230537
/proc/meminfo: memFree=125563016/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3093.66 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117124 0 0 0 309342 24 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 230547
/proc/meminfo: memFree=125562320/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3153.5 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117251 0 0 0 315325 25 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 230558
/proc/meminfo: memFree=125561576/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3213.33 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117379 0 0 0 321308 25 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 230569
/proc/meminfo: memFree=125560936/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3273.16 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117507 0 0 0 327291 25 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 230579
/proc/meminfo: memFree=125560116/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3332.99 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117634 0 0 0 333274 25 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 230590
/proc/meminfo: memFree=125559528/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=460264 CPUtime=3392.82 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117762 0 0 0 339257 25 0 0 20 0 1 0 24482910 489283584 115066 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 115066 2542 2417 0 116556 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 460264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 230601
/proc/meminfo: memFree=125552408/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=466408 CPUtime=3452.65 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 117885 0 0 0 345240 25 0 0 20 0 1 0 24482910 489283584 116602 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 116602 2542 2417 0 116556 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 466408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 230616
/proc/meminfo: memFree=125551684/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=466408 CPUtime=3512.48 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 118044 0 0 0 351223 25 0 0 20 0 1 0 24482910 489283584 116602 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 116602 2542 2417 0 116556 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 466408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 230627
/proc/meminfo: memFree=125550956/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=466408 CPUtime=3572.31 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 118168 0 0 0 357206 25 0 0 20 0 1 0 24482910 489283584 116602 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 116602 2542 2417 0 116556 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 466408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 230677
/proc/meminfo: memFree=125442220/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=466408 CPUtime=3600.04 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 118217 0 0 0 359979 25 0 0 20 0 1 0 24482910 489283584 116602 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 116602 2542 2417 0 116556 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 466408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.11 s]
# the end of solver process 228682 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.79 s, system=0.256953 s

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

[startup+3610.11 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 230677
/proc/meminfo: memFree=125442220/131524600 swapFree=131059368/131071996
[pid=228682] ppid=228679 vsize=477816 memory=466408 CPUtime=3600.04 cores=4,6
/proc/228682/stat : 228682 (CASHWMaxSAT-Dis) R 228679 228682 226568 0 -1 4194304 118217 0 0 0 359979 25 0 0 20 0 1 0 24482910 489283584 116602 134679101440 4194304 14093885 140727286077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24109056 140727286084581 140727286084696 140727286084696 140727286091711 0
/proc/228682/statm: 119454 116602 2542 2417 0 116556 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 477816 KiB
Current children cumulated memory: 466408 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.05
CPU user time (s): 3599.79
CPU system time (s): 0.256953
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 485568
Max. memory (cumulated for all children) (KiB): 467492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.79
system time used= 0.256953
maximum resident set size= 467492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118221
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= 70
involuntary context switches= 5302


# summary of solver processes directly reported to runsolver:
#   pid: 228682
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.79
#   total CPU system time (s): 0.256953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7737 second user time and 16.3923 second system time

The end