runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (56035 MiB free)
  memory of node 1: 64473 MiB (56262 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459565-1721887160/watcher-4459565-1721887160 -o /tmp/evaluation-result-4459565-1721887160/solver-4459565-1721887160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721877898-217720 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4459565-1721887160.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=223633, runsolver pid=223630
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.29 4.36 4.22 5/257 223634
/proc/meminfo: memFree=114975268/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=36408 memory=20348 CPUtime=0.1 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 4608 0 0 0 10 0 0 0 20 0 1 0 25245668 37281792 5087 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 9102 5087 798 2417 0 6204 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36408 KiB
Current children cumulated memory: 20348 KiB

[startup+0.205658 s]*
/proc/loadavg: 4.29 4.36 4.22 5/257 223634
/proc/meminfo: memFree=114914108/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=102700 memory=91456 CPUtime=0.2 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 22183 0 0 0 17 3 0 0 20 0 1 0 25245668 105164800 22864 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 25675 22864 2302 2417 0 22777 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102700 KiB
Current children cumulated memory: 91456 KiB

[startup+0.305534 s]*
/proc/loadavg: 4.29 4.36 4.22 6/257 223634
/proc/meminfo: memFree=114885376/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=126712 memory=114076 CPUtime=0.3 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 27761 0 0 0 27 3 0 0 20 0 1 0 25245668 129753088 28519 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 31678 28519 2350 2417 0 28780 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126712 KiB
Current children cumulated memory: 114076 KiB

[startup+0.700223 s]
/proc/loadavg: 4.29 4.36 4.22 5/257 223634
/proc/meminfo: memFree=114851940/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=156696 memory=145888 CPUtime=0.68 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 35679 0 0 0 64 4 0 0 20 0 1 0 25245668 160456704 36472 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 39174 36472 2414 2417 0 36276 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156696 KiB
Current children cumulated memory: 145888 KiB

[startup+1.50023 s]
/proc/loadavg: 4.29 4.36 4.22 5/257 223634
/proc/meminfo: memFree=114849192/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=159124 memory=148264 CPUtime=1.48 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 36296 0 0 0 144 4 0 0 20 0 1 0 25245668 162942976 37066 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 39781 37066 2414 2417 0 36883 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159124 KiB
Current children cumulated memory: 148264 KiB

[startup+3.10553 s]
/proc/loadavg: 4.29 4.36 4.22 5/257 223634
/proc/meminfo: memFree=114824020/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=166156 memory=155128 CPUtime=3.09 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 38047 0 0 0 304 5 0 0 20 0 1 0 25245668 170143744 38782 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 41539 38782 2414 2417 0 38641 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166156 KiB
Current children cumulated memory: 155128 KiB

[startup+6.30022 s]
/proc/loadavg: 4.27 4.35 4.22 5/257 223634
/proc/meminfo: memFree=114789100/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=176380 memory=165424 CPUtime=6.27 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 40610 0 0 0 622 5 0 0 20 0 1 0 25245668 180613120 41356 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 44095 41356 2414 2417 0 41197 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 176380 KiB
Current children cumulated memory: 165424 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.35 4.22 5/257 223636
/proc/meminfo: memFree=114829940/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=194444 memory=183320 CPUtime=12.65 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 45109 0 0 0 1258 7 0 0 20 0 1 0 25245668 199110656 45830 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 48611 45830 2414 2417 0 45713 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 194444 KiB
Current children cumulated memory: 183320 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.33 4.21 5/257 223637
/proc/meminfo: memFree=114657248/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=219784 memory=208660 CPUtime=25.41 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 51443 0 0 0 2531 10 0 0 20 0 1 0 25245668 225058816 52165 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 54946 52165 2414 2417 0 52048 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 219784 KiB
Current children cumulated memory: 208660 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.32 4.21 5/259 223647
/proc/meminfo: memFree=114673864/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=349052 memory=317252 CPUtime=50.95 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 77503 0 0 0 5079 16 0 0 20 0 1 0 25245668 357429248 79313 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 87263 79313 2542 2417 0 84365 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 349052 KiB
Current children cumulated memory: 317252 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.28 4.20 5/258 223667
/proc/meminfo: memFree=114509648/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=472592 memory=403932 CPUtime=102.01 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 98688 0 0 0 10181 20 0 0 20 0 1 0 25245668 483934208 100983 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 118148 100983 2542 2417 0 115250 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 472592 KiB
Current children cumulated memory: 403932 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.26 4.20 5/258 223679
/proc/meminfo: memFree=114548792/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=552312 memory=439788 CPUtime=161.85 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 107437 0 0 0 16164 21 0 0 20 0 1 0 25245668 565567488 109947 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 138078 109947 2542 2417 0 135180 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 552312 KiB
Current children cumulated memory: 439788 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.24 4.19 5/258 223689
/proc/meminfo: memFree=114406040/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=719068 memory=545636 CPUtime=221.69 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 132938 0 0 0 22143 26 0 0 20 0 1 0 25245668 736325632 136409 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 179767 136409 2542 2417 0 176869 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 719068 KiB
Current children cumulated memory: 545636 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/258 223701
/proc/meminfo: memFree=114307452/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=863288 memory=666652 CPUtime=281.52 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 162773 0 0 0 28121 31 0 0 20 0 1 0 25245668 884006912 166663 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 215822 166663 2542 2417 0 212924 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 863288 KiB
Current children cumulated memory: 666652 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.18 4.17 5/258 223711
/proc/meminfo: memFree=114223764/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=863288 memory=667172 CPUtime=341.35 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 162911 0 0 0 34104 31 0 0 20 0 1 0 25245668 884006912 166793 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 215822 166793 2542 2417 0 212924 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 863288 KiB
Current children cumulated memory: 667172 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/255 223722
/proc/meminfo: memFree=114180012/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=981272 memory=753036 CPUtime=401.21 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 184243 0 0 0 40085 36 0 0 20 0 1 0 25245668 1004822528 188259 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 245318 188259 2542 2417 0 242420 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 981272 KiB
Current children cumulated memory: 753036 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/255 223732
/proc/meminfo: memFree=114103984/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1065728 memory=774996 CPUtime=461.04 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 193841 0 0 0 46067 37 0 0 20 0 1 0 25245668 1091305472 193749 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 266432 193749 2542 2417 0 263534 0

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

Current children cumulated memory: 1499372 KiB

[startup+2922.3 s]
/proc/loadavg: 1.14 1.20 1.86 2/233 224886
/proc/meminfo: memFree=124524776/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1631812 memory=1509980 CPUtime=2913.5 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 428066 0 0 0 291114 236 0 0 20 0 1 0 25245668 1670975488 377495 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 407953 377495 2794 2417 0 405055 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 1631812 KiB
Current children cumulated memory: 1509980 KiB

[startup+2982.3 s]
/proc/loadavg: 1.05 1.16 1.80 2/233 224899
/proc/meminfo: memFree=124611836/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1422484 CPUtime=2973.35 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 432169 0 0 0 297087 248 0 0 20 0 1 0 25245668 1537622016 355621 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 355621 2794 2417 0 372498 0
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1422484 KiB

[startup+3042.3 s]
/proc/loadavg: 1.19 1.18 1.77 2/234 224910
/proc/meminfo: memFree=124582288/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1451052 CPUtime=3033.2 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 436274 0 0 0 303060 260 0 0 20 0 1 0 25245668 1537622016 362763 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 362763 2794 2417 0 372498 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1451052 KiB

[startup+3102.3 s]
/proc/loadavg: 1.25 1.19 1.73 2/236 224925
/proc/meminfo: memFree=124577708/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1454880 CPUtime=3093.07 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 440382 0 0 0 309033 274 0 0 20 0 1 0 25245668 1537622016 363720 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 363720 2794 2417 0 372498 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1454880 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.17 1.69 2/236 224936
/proc/meminfo: memFree=124577224/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1454880 CPUtime=3152.92 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 444479 0 0 0 315005 287 0 0 20 0 1 0 25245668 1537622016 363720 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 363720 2794 2417 0 372498 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1454880 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.15 1.65 2/236 224948
/proc/meminfo: memFree=124497472/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1581724 memory=1533932 CPUtime=3212.79 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 448913 0 0 0 320974 305 0 0 20 0 1 0 25245668 1619685376 383483 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 395431 383483 2794 2417 0 392533 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 1581724 KiB
Current children cumulated memory: 1533932 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.14 1.61 2/236 224960
/proc/meminfo: memFree=124575484/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1454880 CPUtime=3272.64 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 452691 0 0 0 326949 315 0 0 20 0 1 0 25245668 1537622016 363720 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 363720 2794 2417 0 372498 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1454880 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.14 1.58 2/236 224972
/proc/meminfo: memFree=124574856/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1454880 CPUtime=3332.5 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 456785 0 0 0 332922 328 0 0 20 0 1 0 25245668 1537622016 363720 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 363720 2794 2417 0 372498 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1454880 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.13 1.55 2/236 225367
/proc/meminfo: memFree=124494664/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1631812 memory=1537068 CPUtime=3392.36 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 461526 0 0 0 338893 343 0 0 20 0 1 0 25245668 1670975488 384267 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 407953 384267 2794 2417 0 405055 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 1631812 KiB
Current children cumulated memory: 1537068 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.13 1.52 2/236 225377
/proc/meminfo: memFree=124572780/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1501584 memory=1454880 CPUtime=3452.22 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 465013 0 0 0 344868 354 0 0 20 0 1 0 25245668 1537622016 363720 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 375396 363720 2794 2417 0 372498 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 1501584 KiB
Current children cumulated memory: 1454880 KiB

[startup+3522.3 s]
/proc/loadavg: 1.16 1.14 1.50 2/236 225389
/proc/meminfo: memFree=124485812/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1631812 memory=1543212 CPUtime=3512.07 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 469139 0 0 0 350839 368 0 0 20 0 1 0 25245668 1670975488 385803 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 407953 385803 2794 2417 0 405055 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 1631812 KiB
Current children cumulated memory: 1543212 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.12 1.47 2/237 225569
/proc/meminfo: memFree=124484940/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1631812 memory=1541164 CPUtime=3571.93 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 473225 0 0 0 356813 380 0 0 20 0 1 0 25245668 1670975488 385291 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 407953 385291 2794 2417 0 405055 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 1631812 KiB
Current children cumulated memory: 1541164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 1.07 1.11 1.45 2/237 225574
/proc/meminfo: memFree=124492000/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1631812 memory=1539116 CPUtime=3600.06 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 475292 0 0 0 359621 385 0 0 20 0 1 0 25245668 1670975488 384779 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 407953 384779 2794 2417 0 405055 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1631812 KiB
Current children cumulated memory: 1539116 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.22 s, system=3.8609 s

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

[startup+3610.5 s]
/proc/loadavg: 1.07 1.11 1.45 2/237 225574
/proc/meminfo: memFree=124492000/131524600 swapFree=131055836/131071996
[pid=223633] ppid=223630 vsize=1631812 memory=1539116 CPUtime=3600.06 cores=1,3
/proc/223633/stat : 223633 (CASHWMaxSAT-Dis) R 223630 223633 217708 0 -1 4194304 475292 0 0 0 359621 385 0 0 20 0 1 0 25245668 1670975488 384779 134679101440 4194304 14093885 140736768594736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30220288 140736768603109 140736768603224 140736768603224 140736768610239 0
/proc/223633/statm: 407953 384779 2794 2417 0 405055 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1631812 KiB
Current children cumulated memory: 1539116 KiB

Child status: 10

Real time (s): 3610.51
CPU time (s): 3600.08
CPU user time (s): 3596.22
CPU system time (s): 3.8609
CPU usage (%): 99.7112
Max. virtual memory (cumulated for all children) (KiB): 1631812
Max. memory (cumulated for all children) (KiB): 1575980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.22
system time used= 3.8609
maximum resident set size= 1576096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475294
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= 115
involuntary context switches= 3254


# summary of solver processes directly reported to runsolver:
#   pid: 223633
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3596.22
#   total CPU system time (s): 3.8609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23158 second user time and 16.8139 second system time

The end