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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439891-1721210901/watcher-4439891-1721210901 -o /tmp/evaluation-result-4439891-1721210901/solver-4439891-1721210901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721207304-902399 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439891-1721210901.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
solver pid=904449, runsolver pid=904446
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.21 4.16 4.10 5/257 904450
/proc/meminfo: memFree=124162768/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=45312 memory=36576 CPUtime=0.1 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 6887 0 0 0 9 1 0 0 20 0 1 0 173249284 46399488 9144 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 11328 9144 2510 2417 0 8430 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45312 KiB
Current children cumulated memory: 36576 KiB

[startup+0.205696 s]*
/proc/loadavg: 4.21 4.16 4.10 5/257 904450
/proc/meminfo: memFree=124160220/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=46380 memory=37628 CPUtime=0.2 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 7178 0 0 0 19 1 0 0 20 0 1 0 173249284 47493120 9407 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 11595 9407 2510 2417 0 8697 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46380 KiB
Current children cumulated memory: 37628 KiB

[startup+0.305579 s]*
/proc/loadavg: 4.21 4.16 4.10 5/257 904450
/proc/meminfo: memFree=124159772/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=46380 memory=37628 CPUtime=0.3 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 7180 0 0 0 29 1 0 0 20 0 1 0 173249284 47493120 9407 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 11595 9407 2510 2417 0 8697 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46380 KiB
Current children cumulated memory: 37628 KiB

[startup+0.700236 s]
/proc/loadavg: 4.21 4.16 4.10 5/257 904452
/proc/meminfo: memFree=124155208/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=50784 memory=41352 CPUtime=0.69 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 8122 0 0 0 68 1 0 0 20 0 1 0 173249284 52002816 10338 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 12696 10338 2526 2417 0 9798 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50784 KiB
Current children cumulated memory: 41352 KiB

[startup+1.50017 s]
/proc/loadavg: 4.21 4.16 4.10 5/257 904452
/proc/meminfo: memFree=124152184/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=53012 memory=43200 CPUtime=1.49 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 8587 0 0 0 148 1 0 0 20 0 1 0 173249284 54284288 10800 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 13253 10800 2526 2417 0 10355 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53012 KiB
Current children cumulated memory: 43200 KiB

[startup+3.10531 s]
/proc/loadavg: 4.21 4.16 4.10 5/255 904466
/proc/meminfo: memFree=124808792/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=79576 memory=68808 CPUtime=3.09 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 14954 0 0 0 307 2 0 0 20 0 1 0 173249284 81485824 17202 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 19894 17202 2526 2417 0 16996 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79576 KiB
Current children cumulated memory: 68808 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125493524/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=120856 memory=108936 CPUtime=6.27 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 24978 0 0 0 624 3 0 0 20 0 1 0 173249284 123756544 27234 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 30214 27234 2526 2417 0 27316 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120856 KiB
Current children cumulated memory: 108936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 904545
/proc/meminfo: memFree=125320184/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=163724 memory=147744 CPUtime=12.65 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 34717 0 0 0 1261 4 0 0 20 0 1 0 173249284 167653376 36936 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 40931 36936 2526 2417 0 38033 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 163724 KiB
Current children cumulated memory: 147744 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 904547
/proc/meminfo: memFree=125298024/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=163724 memory=148272 CPUtime=25.41 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 34809 0 0 0 2536 5 0 0 20 0 1 0 173249284 167653376 37068 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 40931 37068 2526 2417 0 38033 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 163724 KiB
Current children cumulated memory: 148272 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 904551
/proc/meminfo: memFree=125099472/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=197016 memory=177816 CPUtime=50.95 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 42218 0 0 0 5086 9 0 0 20 0 1 0 173249284 201744384 44454 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 49254 44454 2526 2417 0 46356 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 197016 KiB
Current children cumulated memory: 177816 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.17 4.11 5/257 904560
/proc/meminfo: memFree=124993332/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=250640 memory=229560 CPUtime=101.99 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 55125 0 0 0 10183 16 0 0 20 0 1 0 173249284 256655360 57390 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 62660 57390 2526 2417 0 59762 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 250640 KiB
Current children cumulated memory: 229560 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/257 904575
/proc/meminfo: memFree=124775188/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=319552 memory=294316 CPUtime=161.81 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 71373 0 0 0 16155 26 0 0 20 0 1 0 173249284 327221248 73579 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 79888 73579 2526 2417 0 76990 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 319552 KiB
Current children cumulated memory: 294316 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 6/257 904585
/proc/meminfo: memFree=124730816/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=319552 memory=298140 CPUtime=221.66 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 71763 0 0 0 22138 28 0 0 20 0 1 0 173249284 327221248 74535 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 79888 74535 2526 2417 0 76990 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 319552 KiB
Current children cumulated memory: 298140 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/257 904595
/proc/meminfo: memFree=124641408/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=323736 memory=308552 CPUtime=281.52 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 73205 0 0 0 28124 28 0 0 20 0 1 0 173249284 331505664 77138 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 80934 77138 2526 2417 0 78036 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 323736 KiB
Current children cumulated memory: 308552 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 904608
/proc/meminfo: memFree=124605028/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=340948 memory=331184 CPUtime=341.38 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 77725 0 0 0 34109 29 0 0 20 0 1 0 173249284 349130752 82796 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 85237 82796 2526 2417 0 82339 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 340948 KiB
Current children cumulated memory: 331184 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 904619
/proc/meminfo: memFree=124568400/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=346520 memory=339480 CPUtime=401.24 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 79110 0 0 0 40095 29 0 0 20 0 1 0 173249284 354836480 84870 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 86630 84870 2526 2417 0 83732 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 346520 KiB
Current children cumulated memory: 339480 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/255 904629
/proc/meminfo: memFree=124554464/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=346520 memory=339500 CPUtime=461.11 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 79262 0 0 0 46082 29 0 0 20 0 1 0 173249284 354836480 84875 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 86630 84875 2526 2417 0 83732 0

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

Current children cumulated memory: 388332 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 906096
/proc/meminfo: memFree=123861864/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=402720 memory=394348 CPUtime=2915.4 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 97267 0 0 0 291509 31 0 0 20 0 1 0 173249284 412385280 98587 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 100680 98587 2526 2417 0 97782 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 402720 KiB
Current children cumulated memory: 394348 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 906107
/proc/meminfo: memFree=123856844/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=402720 memory=394400 CPUtime=2975.23 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 97437 0 0 0 297492 31 0 0 20 0 1 0 173249284 412385280 98600 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 100680 98600 2526 2417 0 97782 0
Current children cumulated CPU time: 2975.23 s
Current children cumulated vsize: 402720 KiB
Current children cumulated memory: 394400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 906287
/proc/meminfo: memFree=123997004/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=402720 memory=395948 CPUtime=3035.06 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 97619 0 0 0 303475 31 0 0 20 0 1 0 173249284 412385280 98987 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 100680 98987 2526 2417 0 97782 0
Current children cumulated CPU time: 3035.06 s
Current children cumulated vsize: 402720 KiB
Current children cumulated memory: 395948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 906297
/proc/meminfo: memFree=123986416/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=413884 memory=405824 CPUtime=3094.88 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 100305 0 0 0 309457 31 0 0 20 0 1 0 173249284 423817216 101456 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 103471 101456 2526 2417 0 100573 0
Current children cumulated CPU time: 3094.88 s
Current children cumulated vsize: 413884 KiB
Current children cumulated memory: 405824 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 906323
/proc/meminfo: memFree=123971480/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419820 CPUtime=3154.72 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 102411 0 0 0 315440 32 0 0 20 0 1 0 173249284 441323520 104955 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104955 2526 2417 0 104847 0
Current children cumulated CPU time: 3154.72 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 906333
/proc/meminfo: memFree=123960784/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419820 CPUtime=3214.55 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 102585 0 0 0 321423 32 0 0 20 0 1 0 173249284 441323520 104955 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104955 2526 2417 0 104847 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 906344
/proc/meminfo: memFree=123958560/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419820 CPUtime=3274.38 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 102760 0 0 0 327406 32 0 0 20 0 1 0 173249284 441323520 104955 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104955 2526 2417 0 104847 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 906356
/proc/meminfo: memFree=123958052/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419840 CPUtime=3334.21 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 102948 0 0 0 333389 32 0 0 20 0 1 0 173249284 441323520 104960 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104960 2526 2417 0 104847 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 906366
/proc/meminfo: memFree=123957244/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419864 CPUtime=3394.04 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 103130 0 0 0 339372 32 0 0 20 0 1 0 173249284 441323520 104966 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104966 2526 2417 0 104847 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 906377
/proc/meminfo: memFree=123956608/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419892 CPUtime=3453.86 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 103301 0 0 0 345354 32 0 0 20 0 1 0 173249284 441323520 104973 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104973 2526 2417 0 104847 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 906387
/proc/meminfo: memFree=123955904/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=430980 memory=419904 CPUtime=3513.69 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 103482 0 0 0 351337 32 0 0 20 0 1 0 173249284 441323520 104976 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 107745 104976 2526 2417 0 104847 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 430980 KiB
Current children cumulated memory: 419904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 906399
/proc/meminfo: memFree=123953188/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=433020 memory=422112 CPUtime=3573.52 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 104247 0 0 0 357320 32 0 0 20 0 1 0 173249284 443412480 105528 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 108255 105528 2526 2417 0 105357 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 433020 KiB
Current children cumulated memory: 422112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.43 4.18 4.12 5/255 906403
/proc/meminfo: memFree=123993104/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=402592 memory=395844 CPUtime=3600.04 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 104929 0 0 0 359971 33 0 0 20 0 1 0 173249284 412254208 98961 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 100648 98961 2526 2417 0 97750 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 402592 KiB
Current children cumulated memory: 395844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.72 s, system=0.340938 s

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

[startup+3608.9 s]
/proc/loadavg: 4.43 4.18 4.12 5/255 906403
/proc/meminfo: memFree=123993104/131524600 swapFree=130797848/131071996
[pid=904449] ppid=904446 vsize=402592 memory=395844 CPUtime=3600.04 cores=1,3
/proc/904449/stat : 904449 (CASHWMaxSAT-Dis) R 904446 904449 902387 0 -1 4194304 104929 0 0 0 359971 33 0 0 20 0 1 0 173249284 412254208 98961 134679101440 4194304 14093885 140735255720032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50708480 140735255725028 140735255725143 140735255725143 140735255732159 0
/proc/904449/statm: 100648 98961 2526 2417 0 97750 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 402592 KiB
Current children cumulated memory: 395844 KiB

Child status: 10

Real time (s): 3608.9
CPU time (s): 3600.06
CPU user time (s): 3599.72
CPU system time (s): 0.340938
CPU usage (%): 99.7549
Max. virtual memory (cumulated for all children) (KiB): 435044
Max. memory (cumulated for all children) (KiB): 424488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 0.340938
maximum resident set size= 424488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104932
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= 48
involuntary context switches= 1553


# summary of solver processes directly reported to runsolver:
#   pid: 904449
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.72
#   total CPU system time (s): 0.340938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32085 second user time and 15.4682 second system time

The end