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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=211467, runsolver pid=211452

[startup+0.100737 s]*
/proc/loadavg: 3.65 4.03 4.07 8/258 211470
/proc/meminfo: memFree=110746940/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=20844 memory=6552 CPUtime=0.1 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 881 0 0 0 10 0 0 0 20 0 1 0 24119974 21344256 1638 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 5211 1638 910 2594 0 2104 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20844 KiB
Current children cumulated memory: 6552 KiB

[startup+0.205285 s]*
/proc/loadavg: 3.65 4.03 4.07 6/258 211470
/proc/meminfo: memFree=110743928/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=20844 memory=6552 CPUtime=0.2 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 881 0 0 0 20 0 0 0 20 0 1 0 24119974 21344256 1638 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 5211 1638 910 2594 0 2104 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20844 KiB
Current children cumulated memory: 6552 KiB

[startup+0.30503 s]*
/proc/loadavg: 3.65 4.03 4.07 7/258 211470
/proc/meminfo: memFree=110721468/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=23396 memory=8844 CPUtime=0.3 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 1521 0 0 0 30 0 0 0 20 0 1 0 24119974 23957504 2211 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 5849 2211 910 2594 0 2742 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23396 KiB
Current children cumulated memory: 8844 KiB

[startup+0.700228 s]
/proc/loadavg: 3.65 4.03 4.07 8/258 211470
/proc/meminfo: memFree=110633944/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=212164 memory=187948 CPUtime=0.69 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 30860 0 0 0 63 6 0 0 20 0 1 0 24119974 217255936 46987 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 53041 46987 926 2594 0 49934 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 212164 KiB
Current children cumulated memory: 187948 KiB

[startup+1.50021 s]
/proc/loadavg: 3.65 4.03 4.07 8/258 211470
/proc/meminfo: memFree=110490432/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=239000 memory=220056 CPUtime=1.48 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 37897 0 0 0 141 7 0 0 20 0 1 0 24119974 244736000 55014 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 59750 55014 990 2594 0 56643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 239000 KiB
Current children cumulated memory: 220056 KiB

[startup+3.10631 s]
/proc/loadavg: 3.65 4.03 4.07 8/258 211472
/proc/meminfo: memFree=110159472/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=239660 memory=220512 CPUtime=3.08 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 38075 0 0 0 301 7 0 0 20 0 1 0 24119974 245411840 55128 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 59915 55128 990 2594 0 56808 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 239660 KiB
Current children cumulated memory: 220512 KiB

[startup+6.30019 s]
/proc/loadavg: 3.68 4.03 4.07 8/258 211472
/proc/meminfo: memFree=109547960/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=240456 memory=221496 CPUtime=6.27 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 38302 0 0 0 619 8 0 0 20 0 1 0 24119974 246226944 55374 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 60114 55374 990 2594 0 57007 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 240456 KiB
Current children cumulated memory: 221496 KiB

[startup+12.7002 s]
/proc/loadavg: 3.70 4.03 4.07 8/258 211472
/proc/meminfo: memFree=109502692/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=240720 memory=221688 CPUtime=12.65 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 38382 0 0 0 1257 8 0 0 20 0 1 0 24119974 246497280 55422 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 60180 55422 990 2594 0 57073 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 240720 KiB
Current children cumulated memory: 221688 KiB

[startup+25.5003 s]
/proc/loadavg: 3.77 4.03 4.06 7/258 211521
/proc/meminfo: memFree=109076240/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=240984 memory=222000 CPUtime=25.41 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 38484 0 0 0 2532 9 0 0 20 0 1 0 24119974 246767616 55500 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 60246 55500 990 2594 0 57139 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 240984 KiB
Current children cumulated memory: 222000 KiB

[startup+51.1061 s]
/proc/loadavg: 3.92 4.04 4.07 7/258 211524
/proc/meminfo: memFree=109050340/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=250908 memory=227176 CPUtime=50.93 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 39100 0 0 0 5083 10 0 0 20 0 1 0 24119974 256929792 56794 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 62727 56794 990 2594 0 59620 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 250908 KiB
Current children cumulated memory: 227176 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.05 4.07 7/258 211533
/proc/meminfo: memFree=109012500/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=254096 memory=229840 CPUtime=101.95 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 39804 0 0 0 10182 13 0 0 20 0 1 0 24119974 260194304 57460 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 63524 57460 990 2594 0 60417 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 254096 KiB
Current children cumulated memory: 229840 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.05 4.07 7/260 211930
/proc/meminfo: memFree=108849240/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=256728 memory=232380 CPUtime=161.75 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 40513 0 0 0 16159 16 0 0 20 0 1 0 24119974 262889472 58095 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 64182 58095 990 2594 0 61075 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 256728 KiB
Current children cumulated memory: 232380 KiB

[startup+222.3 s]
/proc/loadavg: 4.53 4.17 4.11 7/258 211940
/proc/meminfo: memFree=108786680/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=290664 memory=266372 CPUtime=221.54 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 41375 0 0 0 22135 19 0 0 20 0 1 0 24119974 297639936 66593 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 72666 66593 990 2594 0 69559 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 290664 KiB
Current children cumulated memory: 266372 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.17 4.11 7/258 211950
/proc/meminfo: memFree=108728616/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=290664 memory=266372 CPUtime=281.34 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 41382 0 0 0 28113 21 0 0 20 0 1 0 24119974 297639936 66593 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 72666 66593 990 2594 0 69559 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 290664 KiB
Current children cumulated memory: 266372 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.10 7/256 211962
/proc/meminfo: memFree=108671272/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=326500 memory=306976 CPUtime=341.13 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 53575 0 0 0 34085 28 0 0 20 0 1 0 24119974 334336000 76744 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 81625 76744 1006 2594 0 78518 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 326500 KiB
Current children cumulated memory: 306976 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.10 7/258 212142
/proc/meminfo: memFree=108657684/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=326500 memory=306976 CPUtime=400.94 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 53628 0 0 0 40063 31 0 0 20 0 1 0 24119974 334336000 76744 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 81625 76744 1006 2594 0 78518 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 326500 KiB
Current children cumulated memory: 306976 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.10 7/260 212156
/proc/meminfo: memFree=108612112/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=355448 memory=335956 CPUtime=460.74 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 54275 0 0 0 46039 35 0 0 20 0 1 0 24119974 363978752 83989 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0

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

Current children cumulated memory: 1231440 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.21 4.16 7/257 213241
/proc/meminfo: memFree=107017428/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1484192 memory=1430976 CPUtime=2914 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 266379 0 0 0 291137 263 0 0 20 0 1 0 24119974 1519812608 357744 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 371048 357744 1006 2594 0 367941 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 1484192 KiB
Current children cumulated memory: 1430976 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.20 4.16 7/257 213252
/proc/meminfo: memFree=107036304/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1416924 memory=1402140 CPUtime=2973.81 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 285223 0 0 0 297088 293 0 0 20 0 1 0 24119974 1450930176 350535 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 354231 350535 1006 2594 0 351124 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 1416924 KiB
Current children cumulated memory: 1402140 KiB

[startup+3042.3 s]
/proc/loadavg: 4.04 4.16 4.15 7/257 213263
/proc/meminfo: memFree=107037216/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1416924 memory=1402148 CPUtime=3033.65 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 285777 0 0 0 303069 296 0 0 20 0 1 0 24119974 1450930176 350537 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 354231 350537 1006 2594 0 351124 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 1416924 KiB
Current children cumulated memory: 1402148 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.19 4.16 7/256 213273
/proc/meminfo: memFree=106988112/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1465620 memory=1450844 CPUtime=3093.48 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 294509 0 0 0 309044 304 0 0 20 0 1 0 24119974 1500794880 362711 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 366405 362711 1006 2594 0 363298 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 1465620 KiB
Current children cumulated memory: 1450844 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.16 7/254 213284
/proc/meminfo: memFree=106856992/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1623708 memory=1582576 CPUtime=3153.31 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 325727 0 0 0 315011 320 0 0 20 0 1 0 24119974 1662676992 395644 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 405927 395644 1006 2594 0 402820 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 1623708 KiB
Current children cumulated memory: 1582576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.17 4.16 7/254 213295
/proc/meminfo: memFree=106720576/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1655444 memory=1591480 CPUtime=3213.13 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 335612 0 0 0 320968 345 0 0 20 0 1 0 24119974 1695174656 397870 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 413861 397870 1006 2594 0 410754 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 1655444 KiB
Current children cumulated memory: 1591480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.15 7/254 213305
/proc/meminfo: memFree=106728540/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1601348 memory=1586728 CPUtime=3272.96 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 344349 0 0 0 326939 357 0 0 20 0 1 0 24119974 1639780352 396682 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 400337 396682 1006 2594 0 397230 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 1601348 KiB
Current children cumulated memory: 1586728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.15 7/254 213315
/proc/meminfo: memFree=106662768/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1656172 memory=1641372 CPUtime=3332.78 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 351645 0 0 0 332912 366 0 0 20 0 1 0 24119974 1695920128 410343 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 414043 410343 1006 2594 0 410936 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1656172 KiB
Current children cumulated memory: 1641372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.15 7/254 213325
/proc/meminfo: memFree=106662832/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1656172 memory=1641372 CPUtime=3392.6 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 352310 0 0 0 338893 367 0 0 20 0 1 0 24119974 1695920128 410343 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 414043 410343 1006 2594 0 410936 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 1656172 KiB
Current children cumulated memory: 1641372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.14 7/256 213340
/proc/meminfo: memFree=106478996/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1871772 memory=1825160 CPUtime=3452.41 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 394548 0 0 0 344844 397 0 0 20 0 1 0 24119974 1916694528 456290 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 467943 456290 1006 2594 0 464836 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 1871772 KiB
Current children cumulated memory: 1825160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.14 7/256 213350
/proc/meminfo: memFree=106381000/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1850092 memory=1835452 CPUtime=3512.25 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 408709 0 0 0 350795 430 0 0 20 0 1 0 24119974 1894494208 458863 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 462523 458863 1006 2594 0 459416 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 1850092 KiB
Current children cumulated memory: 1835452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.14 7/257 213362
/proc/meminfo: memFree=106466320/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1850740 memory=1836028 CPUtime=3572.06 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 409575 0 0 0 356775 431 0 0 20 0 1 0 24119974 1895157760 459007 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 462685 459007 1006 2594 0 459578 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 1850740 KiB
Current children cumulated memory: 1836028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.08 4.12 4.13 6/257 213413
/proc/meminfo: memFree=107594328/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1852812 memory=1838064 CPUtime=3600 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 410863 0 0 0 359567 433 0 0 20 0 1 0 24119974 1897279488 459516 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 463203 459516 1006 2594 0 460096 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1852812 KiB
Current children cumulated memory: 1838064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.67 s, system=4.33634 s

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

[startup+3610.3 s]
/proc/loadavg: 4.08 4.12 4.13 6/257 213413
/proc/meminfo: memFree=107594328/131524600 swapFree=131054736/131071996
[pid=211467] ppid=211452 vsize=1852812 memory=1838064 CPUtime=3600 cores=5,7
/proc/211467/stat : 211467 (CASHWMaxSAT-Dis) R 211452 211467 211395 0 -1 4194304 410863 0 0 0 359567 433 0 0 20 0 1 0 24119974 1897279488 459516 134679101440 4194304 14817773 140728435906160 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49541120 140728435913701 140728435913816 140728435913816 140728435920831 0
/proc/211467/statm: 463203 459516 1006 2594 0 460096 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1852812 KiB
Current children cumulated memory: 1838064 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.01
CPU user time (s): 3595.67
CPU system time (s): 4.33634
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 1966108
Max. memory (cumulated for all children) (KiB): 1921916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.67
system time used= 4.33634
maximum resident set size= 1940360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410866
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= 252
involuntary context switches= 2447


# summary of solver processes directly reported to runsolver:
#   pid: 211467
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3595.67
#   total CPU system time (s): 4.33634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12522 second user time and 18.4471 second system time

The end