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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439899-1721210906/watcher-4439899-1721210906 -o /tmp/evaluation-result-4439899-1721210906/solver-4439899-1721210906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721207304-902397 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439899-1721210906.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=904543, runsolver pid=904540

[startup+0.101006 s]*
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125531556/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=44152 memory=35524 CPUtime=0.1 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 6644 0 0 0 9 1 0 0 20 0 1 0 173249768 45211648 8881 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 11038 8881 2510 2417 0 8140 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44152 KiB
Current children cumulated memory: 35524 KiB

[startup+0.20545 s]*
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125529656/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=44956 memory=36308 CPUtime=0.2 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 6860 0 0 0 19 1 0 0 20 0 1 0 173249768 46034944 9077 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 11239 9077 2510 2417 0 8341 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44956 KiB
Current children cumulated memory: 36308 KiB

[startup+0.305347 s]*
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125528844/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=44956 memory=36308 CPUtime=0.3 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 6861 0 0 0 29 1 0 0 20 0 1 0 173249768 46034944 9077 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 11239 9077 2510 2417 0 8341 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44956 KiB
Current children cumulated memory: 36308 KiB

[startup+0.700199 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125522992/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=50224 memory=40836 CPUtime=0.68 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 7978 0 0 0 67 1 0 0 20 0 1 0 173249768 51429376 10209 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 12556 10209 2526 2417 0 9658 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50224 KiB
Current children cumulated memory: 40836 KiB

[startup+1.50017 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125497092/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=50648 memory=41100 CPUtime=1.48 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 8038 0 0 0 147 1 0 0 20 0 1 0 173249768 51863552 10275 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 12662 10275 2526 2417 0 9764 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50648 KiB
Current children cumulated memory: 41100 KiB

[startup+3.10531 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 904544
/proc/meminfo: memFree=125424008/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=71068 memory=60372 CPUtime=3.08 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 12870 0 0 0 307 1 0 0 20 0 1 0 173249768 72773632 15093 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 17767 15093 2526 2417 0 14869 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71068 KiB
Current children cumulated memory: 60372 KiB

[startup+6.30015 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 904545
/proc/meminfo: memFree=125338608/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=105544 memory=93372 CPUtime=6.26 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 21078 0 0 0 624 2 0 0 20 0 1 0 173249768 108077056 23343 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 26386 23343 2526 2417 0 23488 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105544 KiB
Current children cumulated memory: 93372 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 904545
/proc/meminfo: memFree=125310824/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=125628 memory=109740 CPUtime=12.64 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 25217 0 0 0 1261 3 0 0 20 0 1 0 173249768 128643072 27435 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 31407 27435 2526 2417 0 28509 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 125628 KiB
Current children cumulated memory: 109740 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 904547
/proc/meminfo: memFree=125271252/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=132148 memory=117132 CPUtime=25.4 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 27010 0 0 0 2536 4 0 0 20 0 1 0 173249768 135319552 29283 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 33037 29283 2526 2417 0 30139 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 132148 KiB
Current children cumulated memory: 117132 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 904551
/proc/meminfo: memFree=125087600/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=184552 memory=167328 CPUtime=50.91 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 39577 0 0 0 5084 7 0 0 20 0 1 0 173249768 188981248 41832 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 46138 41832 2542 2417 0 43240 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 167328 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.17 4.10 5/257 904560
/proc/meminfo: memFree=124990504/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=194716 memory=177868 CPUtime=101.94 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 42220 0 0 0 10181 13 0 0 20 0 1 0 173249768 199389184 44467 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 48679 44467 2542 2417 0 45781 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 194716 KiB
Current children cumulated memory: 177868 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/257 904575
/proc/meminfo: memFree=124767308/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=209620 memory=193168 CPUtime=161.73 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 46049 0 0 0 16153 20 0 0 20 0 1 0 173249768 214650880 48292 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 52405 48292 2542 2417 0 49507 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 209620 KiB
Current children cumulated memory: 193168 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/257 904585
/proc/meminfo: memFree=124718716/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=242896 memory=225376 CPUtime=221.52 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 54115 0 0 0 22125 27 0 0 20 0 1 0 173249768 248725504 56344 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 60724 56344 2542 2417 0 57826 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 242896 KiB
Current children cumulated memory: 225376 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 904596
/proc/meminfo: memFree=124640960/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=256400 memory=235876 CPUtime=281.31 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 56723 0 0 0 28098 33 0 0 20 0 1 0 173249768 262553600 58969 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 64100 58969 2542 2417 0 61202 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 256400 KiB
Current children cumulated memory: 235876 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 904608
/proc/meminfo: memFree=124596148/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=271356 memory=252084 CPUtime=341.11 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 61111 0 0 0 34071 40 0 0 20 0 1 0 173249768 277868544 63021 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 67839 63021 2542 2417 0 64941 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 271356 KiB
Current children cumulated memory: 252084 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 904619
/proc/meminfo: memFree=124567400/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=273404 memory=253984 CPUtime=400.9 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 61649 0 0 0 40049 41 0 0 20 0 1 0 173249768 279965696 63496 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 68351 63496 2542 2417 0 65453 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 273404 KiB
Current children cumulated memory: 253984 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.16 4.10 5/255 904629
/proc/meminfo: memFree=124547968/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=282684 memory=262816 CPUtime=460.69 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 63876 0 0 0 46027 42 0 0 20 0 1 0 173249768 289468416 65704 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 70671 65704 2542 2417 0 67773 0

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

Current children cumulated memory: 536372 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 906096
/proc/meminfo: memFree=123861864/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=545536 memory=536472 CPUtime=2912.39 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 131685 0 0 0 291181 58 0 0 20 0 1 0 173249768 558628864 134118 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 136384 134118 2542 2417 0 133486 0
Current children cumulated CPU time: 2912.39 s
Current children cumulated vsize: 545536 KiB
Current children cumulated memory: 536472 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 906107
/proc/meminfo: memFree=123853064/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=545536 memory=537068 CPUtime=2972.19 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 132097 0 0 0 297161 58 0 0 20 0 1 0 173249768 558628864 134267 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 136384 134267 2542 2417 0 133486 0
Current children cumulated CPU time: 2972.19 s
Current children cumulated vsize: 545536 KiB
Current children cumulated memory: 537068 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/260 906287
/proc/meminfo: memFree=123997004/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=545536 memory=537152 CPUtime=3031.99 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 132337 0 0 0 303141 58 0 0 20 0 1 0 173249768 558628864 134288 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 136384 134288 2542 2417 0 133486 0
Current children cumulated CPU time: 3031.99 s
Current children cumulated vsize: 545536 KiB
Current children cumulated memory: 537152 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/259 906297
/proc/meminfo: memFree=123985244/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=545536 memory=537152 CPUtime=3091.79 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 132581 0 0 0 309121 58 0 0 20 0 1 0 173249768 558628864 134288 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 136384 134288 2542 2417 0 133486 0
Current children cumulated CPU time: 3091.79 s
Current children cumulated vsize: 545536 KiB
Current children cumulated memory: 537152 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 906323
/proc/meminfo: memFree=123971536/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=545536 memory=537324 CPUtime=3151.59 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 132925 0 0 0 315101 58 0 0 20 0 1 0 173249768 558628864 134331 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 136384 134331 2542 2417 0 133486 0
Current children cumulated CPU time: 3151.59 s
Current children cumulated vsize: 545536 KiB
Current children cumulated memory: 537324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 906333
/proc/meminfo: memFree=123960776/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=556356 memory=547780 CPUtime=3211.39 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 135726 0 0 0 321081 58 0 0 20 0 1 0 173249768 569708544 136945 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139089 136945 2542 2417 0 136191 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 556356 KiB
Current children cumulated memory: 547780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 906344
/proc/meminfo: memFree=123958588/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=559268 memory=547988 CPUtime=3271.19 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 136021 0 0 0 327061 58 0 0 20 0 1 0 173249768 572690432 136997 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139817 136997 2542 2417 0 136919 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 559268 KiB
Current children cumulated memory: 547988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 906356
/proc/meminfo: memFree=123958068/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=559268 memory=547988 CPUtime=3330.98 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 136260 0 0 0 333040 58 0 0 20 0 1 0 173249768 572690432 136997 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139817 136997 2542 2417 0 136919 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 559268 KiB
Current children cumulated memory: 547988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 906366
/proc/meminfo: memFree=123957252/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=559268 memory=548172 CPUtime=3390.79 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 136553 0 0 0 339020 59 0 0 20 0 1 0 173249768 572690432 137043 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139817 137043 2542 2417 0 136919 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 559268 KiB
Current children cumulated memory: 548172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 906377
/proc/meminfo: memFree=123956640/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=559268 memory=548236 CPUtime=3450.58 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 136805 0 0 0 344999 59 0 0 20 0 1 0 173249768 572690432 137059 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139817 137059 2542 2417 0 136919 0
Current children cumulated CPU time: 3450.58 s
Current children cumulated vsize: 559268 KiB
Current children cumulated memory: 548236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 906387
/proc/meminfo: memFree=123955920/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=559268 memory=548236 CPUtime=3510.38 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 137046 0 0 0 350979 59 0 0 20 0 1 0 173249768 572690432 137059 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139817 137059 2542 2417 0 136919 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 559268 KiB
Current children cumulated memory: 548236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 906399
/proc/meminfo: memFree=123950396/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=559268 memory=548488 CPUtime=3570.18 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 137371 0 0 0 356959 59 0 0 20 0 1 0 173249768 572690432 137122 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 139817 137122 2542 2417 0 136919 0
Current children cumulated CPU time: 3570.18 s
Current children cumulated vsize: 559268 KiB
Current children cumulated memory: 548488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.44 4.19 4.12 5/255 906543
/proc/meminfo: memFree=124126452/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=541780 memory=535088 CPUtime=3600.07 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 137489 0 0 0 359948 59 0 0 20 0 1 0 173249768 554782720 133772 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 135445 133772 2542 2417 0 132547 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 541780 KiB
Current children cumulated memory: 535088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.49 s, system=0.593253 s

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

[startup+3612.3 s]
/proc/loadavg: 4.44 4.19 4.12 5/255 906543
/proc/meminfo: memFree=124126452/131524600 swapFree=130797848/131071996
[pid=904543] ppid=904540 vsize=541780 memory=535088 CPUtime=3600.07 cores=0,2
/proc/904543/stat : 904543 (CASHWMaxSAT-Dis) R 904540 904543 902387 0 -1 4194304 137489 0 0 0 359948 59 0 0 20 0 1 0 173249768 554782720 133772 134679101440 4194304 14093885 140728871929632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49713152 140728871932900 140728871933015 140728871933015 140728871940031 0
/proc/904543/statm: 135445 133772 2542 2417 0 132547 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 541780 KiB
Current children cumulated memory: 535088 KiB

Child status: 10

Real time (s): 3612.3
CPU time (s): 3600.08
CPU user time (s): 3599.49
CPU system time (s): 0.593253
CPU usage (%): 99.6617
Max. virtual memory (cumulated for all children) (KiB): 559268
Max. memory (cumulated for all children) (KiB): 549208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.593253
maximum resident set size= 549208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137492
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= 66
involuntary context switches= 25205


# summary of solver processes directly reported to runsolver:
#   pid: 904543
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.49
#   total CPU system time (s): 0.593253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39127 second user time and 14.8565 second system time

The end