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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=213505, runsolver pid=213502

[startup+0.100464 s]*
/proc/loadavg: 4.08 4.12 4.13 5/257 213506
/proc/meminfo: memFree=109943764/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=52120 memory=42936 CPUtime=0.09 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 8636 0 0 0 8 1 0 0 20 0 1 0 24481383 53370880 10734 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 13030 10734 2510 2594 0 9923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52120 KiB
Current children cumulated memory: 42936 KiB

[startup+0.205568 s]*
/proc/loadavg: 4.16 4.13 4.14 5/257 213506
/proc/meminfo: memFree=109932880/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=63468 memory=54096 CPUtime=0.19 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 11467 0 0 0 18 1 0 0 20 0 1 0 24481383 64991232 13524 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 15867 13524 2654 2594 0 12760 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63468 KiB
Current children cumulated memory: 54096 KiB

[startup+0.305558 s]*
/proc/loadavg: 4.16 4.13 4.14 5/257 213506
/proc/meminfo: memFree=109932068/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=64292 memory=54884 CPUtime=0.29 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 11696 0 0 0 28 1 0 0 20 0 1 0 24481383 65835008 13721 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 16073 13721 2654 2594 0 12966 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64292 KiB
Current children cumulated memory: 54884 KiB

[startup+0.70023 s]
/proc/loadavg: 4.16 4.13 4.14 5/257 213506
/proc/meminfo: memFree=109901212/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=99272 memory=89296 CPUtime=0.68 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 21440 0 0 0 65 3 0 0 20 0 1 0 24481383 101654528 22324 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 24818 22324 2654 2594 0 21711 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99272 KiB
Current children cumulated memory: 89296 KiB

[startup+1.5002 s]
/proc/loadavg: 4.16 4.13 4.14 5/257 213506
/proc/meminfo: memFree=109873928/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=122796 memory=110680 CPUtime=1.48 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 26780 0 0 0 144 4 0 0 20 0 1 0 24481383 125743104 27670 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 30699 27670 2654 2594 0 27592 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122796 KiB
Current children cumulated memory: 110680 KiB

[startup+3.10544 s]
/proc/loadavg: 4.16 4.13 4.14 5/257 213506
/proc/meminfo: memFree=110077608/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=133352 memory=117280 CPUtime=3.08 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 28479 0 0 0 304 4 0 0 20 0 1 0 24481383 136552448 29320 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 33338 29320 2654 2594 0 30231 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133352 KiB
Current children cumulated memory: 117280 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.13 4.14 5/257 213506
/proc/meminfo: memFree=110060920/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=138604 memory=118580 CPUtime=6.26 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 28750 0 0 0 622 4 0 0 20 0 1 0 24481383 141930496 29645 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 34651 29645 2654 2594 0 31544 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 138604 KiB
Current children cumulated memory: 118580 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 213509
/proc/meminfo: memFree=110037908/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=147560 memory=127600 CPUtime=12.64 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 31351 0 0 0 1259 5 0 0 20 0 1 0 24481383 151101440 31900 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 36890 31900 2654 2594 0 33783 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147560 KiB
Current children cumulated memory: 127600 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.13 5/257 213557
/proc/meminfo: memFree=110381624/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=153088 memory=131812 CPUtime=25.4 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 32433 0 0 0 2534 6 0 0 20 0 1 0 24481383 156762112 32953 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 38272 32953 2654 2594 0 35165 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 153088 KiB
Current children cumulated memory: 131812 KiB

[startup+51.1055 s]
/proc/loadavg: 4.07 4.11 4.13 5/257 213561
/proc/meminfo: memFree=110319984/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=164376 memory=143944 CPUtime=50.93 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 35451 0 0 0 5083 10 0 0 20 0 1 0 24481383 168321024 35986 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 41094 35986 2654 2594 0 37987 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 164376 KiB
Current children cumulated memory: 143944 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/257 213570
/proc/meminfo: memFree=110230452/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=203580 memory=176596 CPUtime=101.96 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 44570 0 0 0 10180 16 0 0 20 0 1 0 24481383 208465920 44149 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 50895 44149 2654 2594 0 47788 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 203580 KiB
Current children cumulated memory: 176596 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/259 213964
/proc/meminfo: memFree=110148728/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=216488 memory=188824 CPUtime=161.76 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 52254 0 0 0 16155 21 0 0 20 0 1 0 24481383 221683712 47206 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 54122 47206 2654 2594 0 51015 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 216488 KiB
Current children cumulated memory: 188824 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 213975
/proc/meminfo: memFree=110078412/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=236688 memory=200340 CPUtime=221.56 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 56469 0 0 0 22131 25 0 0 20 0 1 0 24481383 242368512 50085 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 59172 50085 2654 2594 0 56065 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 236688 KiB
Current children cumulated memory: 200340 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.09 4.11 5/256 213985
/proc/meminfo: memFree=109992320/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=278432 memory=250440 CPUtime=281.35 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 73534 0 0 0 28107 28 0 0 20 0 1 0 24481383 285114368 62610 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 69608 62610 2654 2594 0 66501 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 278432 KiB
Current children cumulated memory: 250440 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/258 214166
/proc/meminfo: memFree=109917244/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=292352 memory=284372 CPUtime=341.15 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 85765 0 0 0 34084 31 0 0 20 0 1 0 24481383 299368448 71093 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 73088 71093 2654 2594 0 69981 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 292352 KiB
Current children cumulated memory: 284372 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/259 214177
/proc/meminfo: memFree=109886024/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=284416 memory=277220 CPUtime=400.95 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 86002 0 0 0 40064 31 0 0 20 0 1 0 24481383 291241984 69305 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 71104 69305 2654 2594 0 67997 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 284416 KiB
Current children cumulated memory: 277220 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/259 214191
/proc/meminfo: memFree=109847220/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=284416 memory=277220 CPUtime=460.76 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 86238 0 0 0 46045 31 0 0 20 0 1 0 24481383 291241984 69305 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 71104 69305 2654 2594 0 67997 0

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

Current children cumulated memory: 368696 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 215305
/proc/meminfo: memFree=107534484/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=2852.52 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124151 0 0 0 285213 39 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 2852.52 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 215316
/proc/meminfo: memFree=107527752/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=2912.32 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124216 0 0 0 291193 39 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 215328
/proc/meminfo: memFree=107526036/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=2972.12 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124288 0 0 0 297173 39 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 2972.12 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 215339
/proc/meminfo: memFree=107523240/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3031.92 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124350 0 0 0 303153 39 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3031.92 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 215349
/proc/meminfo: memFree=107517336/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3091.72 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124414 0 0 0 309132 40 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 215359
/proc/meminfo: memFree=107507676/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3151.52 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124478 0 0 0 315112 40 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 215370
/proc/meminfo: memFree=107340272/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3211.31 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124546 0 0 0 321091 40 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3211.31 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 215380
/proc/meminfo: memFree=107331528/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3271.1 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124613 0 0 0 327070 40 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3271.1 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 215390
/proc/meminfo: memFree=107324296/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3330.9 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124679 0 0 0 333049 41 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3330.9 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/254 215401
/proc/meminfo: memFree=107321692/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3390.69 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124747 0 0 0 339028 41 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3390.69 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 215416
/proc/meminfo: memFree=107300108/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3450.49 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124822 0 0 0 345008 41 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 215426
/proc/meminfo: memFree=107298596/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3510.28 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124906 0 0 0 350987 41 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3510.28 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/256 215437
/proc/meminfo: memFree=107250756/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3570.07 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 124970 0 0 0 356965 42 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/256 215488
/proc/meminfo: memFree=107520664/131524600 swapFree=131054736/131071996
[pid=213505] ppid=213502 vsize=375696 memory=368696 CPUtime=3600.07 cores=0,2
/proc/213505/stat : 213505 (CASHWMaxSAT-Dis) R 213502 213505 211395 0 -1 4194304 125000 0 0 0 359965 42 0 0 20 0 1 0 24481383 384712704 92174 134679101440 4194304 14817773 140726908668704 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30117888 140726908675045 140726908675160 140726908675160 140726908682175 0
/proc/213505/statm: 93924 92174 2718 2594 0 90817 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 368696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.65 s, system=0.422894 s

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

Child status: 10

Real time (s): 3612.4
CPU time (s): 3600.08
CPU user time (s): 3599.65
CPU system time (s): 0.422894
CPU usage (%): 99.6588
Max. virtual memory (cumulated for all children) (KiB): 415108
Max. memory (cumulated for all children) (KiB): 406092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.65
system time used= 0.422894
maximum resident set size= 406092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125003
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= 45
involuntary context switches= 25204


# summary of solver processes directly reported to runsolver:
#   pid: 213505
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.65
#   total CPU system time (s): 0.422894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.6926 second user time and 17.4353 second system time

The end