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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458512-1721881534/watcher-4458512-1721881534 -o /tmp/evaluation-result-4458512-1721881534/solver-4458512-1721881534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721875936-269730 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4458512-1721881534.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=273176, runsolver pid=273173

[startup+0.100861 s]*
/proc/loadavg: 4.14 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116486476/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=42888 memory=33776 CPUtime=0.09 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 6330 0 0 0 9 0 0 0 20 0 1 0 24675900 43917312 8444 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 10722 8444 2414 2417 0 7824 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42888 KiB
Current children cumulated memory: 33776 KiB

[startup+0.205537 s]*
/proc/loadavg: 4.14 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116485692/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=43324 memory=34040 CPUtime=0.19 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 6437 0 0 0 19 0 0 0 20 0 1 0 24675900 44363776 8510 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 10831 8510 2414 2417 0 7933 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43324 KiB
Current children cumulated memory: 34040 KiB

[startup+0.305053 s]*
/proc/loadavg: 4.14 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116485244/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=43836 memory=34568 CPUtime=0.29 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 6565 0 0 0 29 0 0 0 20 0 1 0 24675900 44888064 8642 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 10959 8642 2414 2417 0 8061 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43836 KiB
Current children cumulated memory: 34568 KiB

[startup+0.700177 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116475696/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=59720 memory=49656 CPUtime=0.69 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 10230 0 0 0 68 1 0 0 20 0 1 0 24675900 61153280 12414 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 14930 12414 2526 2417 0 12032 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59720 KiB
Current children cumulated memory: 49656 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116469288/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=65560 memory=51992 CPUtime=1.49 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 10837 0 0 0 148 1 0 0 20 0 1 0 24675900 67133440 12998 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 16390 12998 2526 2417 0 13492 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65560 KiB
Current children cumulated memory: 51992 KiB

[startup+3.10539 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116441768/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=101704 memory=78392 CPUtime=3.08 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 17431 0 0 0 307 1 0 0 20 0 1 0 24675900 104144896 19598 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 25426 19598 2526 2417 0 22528 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101704 KiB
Current children cumulated memory: 78392 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 273177
/proc/meminfo: memFree=116439904/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=101704 memory=79968 CPUtime=6.26 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 17841 0 0 0 625 1 0 0 20 0 1 0 24675900 104144896 19992 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 25426 19992 2526 2417 0 22528 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 101704 KiB
Current children cumulated memory: 79968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 273178
/proc/meminfo: memFree=116406184/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=136056 memory=113788 CPUtime=12.65 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 26305 0 0 0 1262 3 0 0 20 0 1 0 24675900 139321344 28447 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 34014 28447 2542 2417 0 31116 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 136056 KiB
Current children cumulated memory: 113788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 273180
/proc/meminfo: memFree=116373368/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=173532 memory=151264 CPUtime=25.41 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 35689 0 0 0 2537 4 0 0 20 0 1 0 24675900 177696768 37816 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 43383 37816 2542 2417 0 40485 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 173532 KiB
Current children cumulated memory: 151264 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 273184
/proc/meminfo: memFree=116343516/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=197732 memory=176604 CPUtime=50.95 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 41309 0 0 0 5088 7 0 0 20 0 1 0 24675900 202477568 44151 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 49433 44151 2702 2417 0 46535 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 197732 KiB
Current children cumulated memory: 176604 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 273193
/proc/meminfo: memFree=116296156/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=248252 memory=223708 CPUtime=102 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 50599 0 0 0 10191 9 0 0 20 0 1 0 24675900 254210048 55927 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 62063 55927 2794 2417 0 59165 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 248252 KiB
Current children cumulated memory: 223708 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 273372
/proc/meminfo: memFree=116250052/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=294796 memory=268852 CPUtime=161.81 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 60877 0 0 0 16170 11 0 0 20 0 1 0 24675900 301871104 67213 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 73699 67213 2794 2417 0 70801 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 294796 KiB
Current children cumulated memory: 268852 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 273383
/proc/meminfo: memFree=116228532/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=315624 memory=290616 CPUtime=221.62 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 63982 0 0 0 22150 12 0 0 20 0 1 0 24675900 323198976 72654 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 78906 72654 2794 2417 0 76008 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 315624 KiB
Current children cumulated memory: 290616 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 273394
/proc/meminfo: memFree=116189348/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=341436 memory=329268 CPUtime=281.44 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 70450 0 0 0 28131 13 0 0 20 0 1 0 24675900 349630464 82317 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 85359 82317 2794 2417 0 82461 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 341436 KiB
Current children cumulated memory: 329268 KiB

[startup+342.3 s]
/proc/loadavg: 4.47 4.21 4.12 5/259 273463
/proc/meminfo: memFree=116171480/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=363276 memory=346392 CPUtime=341.27 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 75853 0 0 0 34113 14 0 0 20 0 1 0 24675900 371994624 86598 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 90819 86598 2794 2417 0 87921 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 363276 KiB
Current children cumulated memory: 346392 KiB

[startup+402.3 s]
/proc/loadavg: 4.45 4.23 4.14 5/259 273474
/proc/meminfo: memFree=116138836/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=392904 memory=377192 CPUtime=401.1 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 81910 0 0 0 40095 15 0 0 20 0 1 0 24675900 402333696 94298 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 98226 94298 2794 2417 0 95328 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 392904 KiB
Current children cumulated memory: 377192 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.23 4.14 5/259 273486
/proc/meminfo: memFree=116111904/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=412516 memory=403680 CPUtime=460.94 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 89298 0 0 0 46079 15 0 0 20 0 1 0 24675900 422416384 100920 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 103129 100920 2794 2417 0 100231 0

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

Current children cumulated memory: 766528 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/257 274738
/proc/meminfo: memFree=114013960/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=2913.62 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 297140 0 0 0 291310 52 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 2913.62 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/257 274748
/proc/meminfo: memFree=114011980/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=2973.44 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 297288 0 0 0 297292 52 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 2973.44 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 274805
/proc/meminfo: memFree=111332544/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3033.27 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 297437 0 0 0 303275 52 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/254 274816
/proc/meminfo: memFree=107943572/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3093.1 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 297587 0 0 0 309258 52 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 274826
/proc/meminfo: memFree=108162316/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3152.93 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 297736 0 0 0 315240 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/254 274837
/proc/meminfo: memFree=107988176/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3212.76 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 297895 0 0 0 321223 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 274849
/proc/meminfo: memFree=108033172/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3272.58 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298049 0 0 0 327205 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.52 4.22 4.12 5/257 274863
/proc/meminfo: memFree=108017972/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3332.41 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298206 0 0 0 333188 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.20 4.12 5/257 274873
/proc/meminfo: memFree=107969772/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3392.23 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298363 0 0 0 339170 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/257 274884
/proc/meminfo: memFree=107967400/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3452.06 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298520 0 0 0 345153 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 274895
/proc/meminfo: memFree=107877488/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3511.88 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298677 0 0 0 351135 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/259 275289
/proc/meminfo: memFree=107842136/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3571.71 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298830 0 0 0 357118 53 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 275293
/proc/meminfo: memFree=107921084/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3600.04 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298892 0 0 0 359950 54 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.5 s, system=0.551361 s

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

[startup+3610.7 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 275293
/proc/meminfo: memFree=107921084/131524600 swapFree=131071216/131071996
[pid=273176] ppid=273173 vsize=772384 memory=766528 CPUtime=3600.04 cores=4,6
/proc/273176/stat : 273176 (CASHWMaxSAT-Dis) R 273173 273176 269719 0 -1 4194304 298892 0 0 0 359950 54 0 0 20 0 1 0 24675900 790921216 191632 134679101440 4194304 14093885 140725893427072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53452800 140725893432293 140725893432408 140725893432408 140725893439423 0
/proc/273176/statm: 193096 191632 2794 2417 0 190198 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 772384 KiB
Current children cumulated memory: 766528 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3599.5
CPU system time (s): 0.551361
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 1060740
Max. memory (cumulated for all children) (KiB): 1024236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.5
system time used= 0.551361
maximum resident set size= 1029936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298895
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= 111
involuntary context switches= 2533


# summary of solver processes directly reported to runsolver:
#   pid: 273176
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.5
#   total CPU system time (s): 0.551361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46144 second user time and 14.57 second system time

The end