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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458315-1721879585/watcher-4458315-1721879585 -o /tmp/evaluation-result-4458315-1721879585/solver-4458315-1721879585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211407 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458315-1721879585.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=213554, runsolver pid=213551

[startup+0.100543 s]*
/proc/loadavg: 4.13 4.13 4.14 5/257 213555
/proc/meminfo: memFree=110484812/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=62260 memory=52420 CPUtime=0.09 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 11213 0 0 0 8 1 0 0 20 0 1 0 24482716 63754240 13105 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 15565 13105 2510 2594 0 12458 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62260 KiB
Current children cumulated memory: 52420 KiB

[startup+0.205511 s]*
/proc/loadavg: 4.13 4.13 4.14 5/257 213555
/proc/meminfo: memFree=110471644/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=75712 memory=65540 CPUtime=0.2 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 14687 0 0 0 18 2 0 0 20 0 1 0 24482716 77529088 16385 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 18928 16385 2574 2594 0 15821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75712 KiB
Current children cumulated memory: 65540 KiB

[startup+0.305596 s]*
/proc/loadavg: 4.13 4.13 4.14 5/257 213555
/proc/meminfo: memFree=110468476/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=79196 memory=68968 CPUtime=0.29 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 15455 0 0 0 27 2 0 0 20 0 1 0 24482716 81096704 17242 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 19799 17242 2654 2594 0 16692 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79196 KiB
Current children cumulated memory: 68968 KiB

[startup+0.700164 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 213555
/proc/meminfo: memFree=110468024/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=79392 memory=69232 CPUtime=0.68 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 15495 0 0 0 66 2 0 0 20 0 1 0 24482716 81297408 17308 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 19848 17308 2654 2594 0 16741 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79392 KiB
Current children cumulated memory: 69232 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 213555
/proc/meminfo: memFree=110467528/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=95056 memory=82728 CPUtime=1.48 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 20387 0 0 0 145 3 0 0 20 0 1 0 24482716 97337344 20682 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 23764 20682 2654 2594 0 20657 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95056 KiB
Current children cumulated memory: 82728 KiB

[startup+3.10544 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 213555
/proc/meminfo: memFree=110443140/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=104072 memory=91368 CPUtime=3.08 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 22556 0 0 0 305 3 0 0 20 0 1 0 24482716 106569728 22842 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 26018 22842 2654 2594 0 22911 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104072 KiB
Current children cumulated memory: 91368 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 213557
/proc/meminfo: memFree=110418604/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=125588 memory=108792 CPUtime=6.27 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 26868 0 0 0 623 4 0 0 20 0 1 0 24482716 128602112 27198 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 31397 27198 2654 2594 0 28290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125588 KiB
Current children cumulated memory: 108792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.13 5/257 213557
/proc/meminfo: memFree=110381632/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=140152 memory=116976 CPUtime=12.65 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 28954 0 0 0 1261 4 0 0 20 0 1 0 24482716 143515648 29244 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 35038 29244 2654 2594 0 31931 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 140152 KiB
Current children cumulated memory: 116976 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.13 5/257 213558
/proc/meminfo: memFree=110340384/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=154912 memory=130944 CPUtime=25.41 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 32413 0 0 0 2536 5 0 0 20 0 1 0 24482716 158629888 32736 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 38728 32736 2654 2594 0 35621 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 154912 KiB
Current children cumulated memory: 130944 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.11 4.13 5/257 213563
/proc/meminfo: memFree=110313588/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=160164 memory=135860 CPUtime=50.94 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 33741 0 0 0 5088 6 0 0 20 0 1 0 24482716 164007936 33965 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 40041 33965 2654 2594 0 36934 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 160164 KiB
Current children cumulated memory: 135860 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/257 213571
/proc/meminfo: memFree=110214304/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=179432 memory=156996 CPUtime=101.97 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 39609 0 0 0 10189 8 0 0 20 0 1 0 24482716 183738368 39249 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 44858 39249 2654 2594 0 41751 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 179432 KiB
Current children cumulated memory: 156996 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 213966
/proc/meminfo: memFree=110133932/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=229252 memory=205840 CPUtime=161.78 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 54451 0 0 0 16166 12 0 0 20 0 1 0 24482716 234754048 51460 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 57313 51460 2654 2594 0 54206 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 229252 KiB
Current children cumulated memory: 205840 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/257 213977
/proc/meminfo: memFree=110060500/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=248712 memory=225112 CPUtime=221.59 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 59226 0 0 0 22145 14 0 0 20 0 1 0 24482716 254681088 56278 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 62178 56278 2654 2594 0 59071 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 248712 KiB
Current children cumulated memory: 225112 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/256 213987
/proc/meminfo: memFree=109973032/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=256356 memory=232240 CPUtime=281.4 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 61004 0 0 0 28124 16 0 0 20 0 1 0 24482716 262508544 58060 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 64089 58060 2654 2594 0 60982 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 256356 KiB
Current children cumulated memory: 232240 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 214168
/proc/meminfo: memFree=109912396/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=290992 memory=263720 CPUtime=341.21 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 69858 0 0 0 34102 19 0 0 20 0 1 0 24482716 297975808 65930 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 72748 65930 2654 2594 0 69641 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 290992 KiB
Current children cumulated memory: 263720 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/259 214179
/proc/meminfo: memFree=109881268/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=293448 memory=270588 CPUtime=401.03 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 72056 0 0 0 40083 20 0 0 20 0 1 0 24482716 300490752 67647 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 73362 67647 2654 2594 0 70255 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 293448 KiB
Current children cumulated memory: 270588 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 214193
/proc/meminfo: memFree=109839012/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=305000 memory=293104 CPUtime=460.87 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 76577 0 0 0 46066 21 0 0 20 0 1 0 24482716 312320000 73276 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 76250 73276 2654 2594 0 73143 0

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

Current children cumulated memory: 463376 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 215307
/proc/meminfo: memFree=107534116/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=2854.39 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200313 0 0 0 285390 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 2854.39 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 215320
/proc/meminfo: memFree=107527596/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=2914.17 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200383 0 0 0 291368 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 215331
/proc/meminfo: memFree=107525900/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=2973.95 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200443 0 0 0 297346 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 215342
/proc/meminfo: memFree=107521260/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3033.74 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200505 0 0 0 303325 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 215352
/proc/meminfo: memFree=107515896/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3093.52 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200565 0 0 0 309303 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 215362
/proc/meminfo: memFree=107507400/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3153.31 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200630 0 0 0 315282 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 215373
/proc/meminfo: memFree=107333708/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3213.11 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200692 0 0 0 321262 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 215383
/proc/meminfo: memFree=107328424/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3272.91 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200758 0 0 0 327242 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/254 215393
/proc/meminfo: memFree=107324056/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3332.69 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200821 0 0 0 333220 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 215403
/proc/meminfo: memFree=107320856/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3392.48 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200885 0 0 0 339199 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 215418
/proc/meminfo: memFree=107299904/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3452.28 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 200954 0 0 0 345179 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 215428
/proc/meminfo: memFree=107297952/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3512.08 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 201019 0 0 0 351159 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 215439
/proc/meminfo: memFree=107125248/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3571.88 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 201084 0 0 0 357139 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 215537
/proc/meminfo: memFree=107736268/131524600 swapFree=131054736/131071996
[pid=213554] ppid=213551 vsize=470236 memory=463376 CPUtime=3600.08 cores=1,3
/proc/213554/stat : 213554 (CASHWMaxSAT-Dis) R 213551 213554 211395 0 -1 4194304 201110 0 0 0 359959 49 0 0 20 0 1 0 24482716 481521664 115844 134679101440 4194304 14817773 140728880478448 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34418688 140728880481253 140728880481368 140728880481368 140728880488383 0
/proc/213554/statm: 117559 115844 2718 2594 0 114452 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 470236 KiB
Current children cumulated memory: 463376 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.6 s, system=0.500535 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.1
CPU user time (s): 3599.6
CPU system time (s): 0.500535
CPU usage (%): 99.7091
Max. virtual memory (cumulated for all children) (KiB): 836620
Max. memory (cumulated for all children) (KiB): 802324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.500535
maximum resident set size= 802324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201115
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= 39
involuntary context switches= 1725


# summary of solver processes directly reported to runsolver:
#   pid: 213554
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.6
#   total CPU system time (s): 0.500535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95911 second user time and 17.4221 second system time

The end