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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439085-1721210896/watcher-4439085-1721210896 -o /tmp/evaluation-result-4439085-1721210896/solver-4439085-1721210896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897991 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439085-1721210896.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=900254, runsolver pid=900250

[startup+0.100527 s]*
/proc/loadavg: 3.89 4.13 4.12 5/238 900259
/proc/meminfo: memFree=127994632/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=33400 memory=24484 CPUtime=0.1 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 3809 0 0 0 9 1 0 0 20 0 1 0 173247676 34201600 6121 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 8350 6121 2526 2594 0 5243 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33400 KiB
Current children cumulated memory: 24484 KiB

[startup+0.21232 s]*
/proc/loadavg: 3.89 4.13 4.12 5/241 900265
/proc/meminfo: memFree=127974416/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=42968 memory=34192 CPUtime=0.21 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 6324 0 0 0 19 2 0 0 20 0 1 0 173247676 43999232 8548 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 10742 8548 2590 2594 0 7635 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 34192 KiB

[startup+0.313207 s]*
/proc/loadavg: 3.89 4.13 4.12 5/241 900265
/proc/meminfo: memFree=127961508/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=46444 memory=37580 CPUtime=0.31 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 7161 0 0 0 29 2 0 0 20 0 1 0 173247676 47558656 9395 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 11611 9395 2654 2594 0 8504 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46444 KiB
Current children cumulated memory: 37580 KiB

[startup+0.700285 s]
/proc/loadavg: 3.89 4.13 4.12 5/241 900265
/proc/meminfo: memFree=127952584/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=47336 memory=38688 CPUtime=0.68 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 7380 0 0 0 66 2 0 0 20 0 1 0 173247676 48472064 9672 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 11834 9672 2670 2594 0 8727 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47336 KiB
Current children cumulated memory: 38688 KiB

[startup+1.50031 s]
/proc/loadavg: 3.89 4.13 4.12 5/241 900265
/proc/meminfo: memFree=127943700/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=51608 memory=42084 CPUtime=1.47 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 8288 0 0 0 145 2 0 0 20 0 1 0 173247676 52846592 10521 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 12902 10521 2670 2594 0 9795 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51608 KiB
Current children cumulated memory: 42084 KiB

[startup+3.11242 s]
/proc/loadavg: 3.89 4.13 4.12 5/241 900265
/proc/meminfo: memFree=127909480/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=63904 memory=53436 CPUtime=3.09 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 11085 0 0 0 306 3 0 0 20 0 1 0 173247676 65437696 13359 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 15976 13359 2670 2594 0 12869 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63904 KiB
Current children cumulated memory: 53436 KiB

[startup+6.30031 s]
/proc/loadavg: 3.89 4.12 4.12 5/241 900265
/proc/meminfo: memFree=127832388/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=115152 memory=102540 CPUtime=6.26 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 23413 0 0 0 622 4 0 0 20 0 1 0 173247676 117915648 25635 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 28788 25635 2670 2594 0 25681 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115152 KiB
Current children cumulated memory: 102540 KiB

[startup+12.7002 s]
/proc/loadavg: 3.98 4.14 4.12 5/241 900266
/proc/meminfo: memFree=127753212/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=158808 memory=142876 CPUtime=12.65 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 34867 0 0 0 1259 6 0 0 20 0 1 0 173247676 162619392 35719 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 39702 35719 2670 2594 0 36595 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158808 KiB
Current children cumulated memory: 142876 KiB

[startup+25.5003 s]
/proc/loadavg: 3.99 4.13 4.12 5/241 900268
/proc/meminfo: memFree=127751556/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=159672 memory=143664 CPUtime=25.41 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 35054 0 0 0 2535 6 0 0 20 0 1 0 173247676 163504128 35916 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 39918 35916 2670 2594 0 36811 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 159672 KiB
Current children cumulated memory: 143664 KiB

[startup+51.1125 s]
/proc/loadavg: 4.06 4.14 4.12 5/241 900273
/proc/meminfo: memFree=127673152/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=192328 memory=173072 CPUtime=50.96 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 43306 0 0 0 5087 9 0 0 20 0 1 0 173247676 196943872 43268 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 48082 43268 2670 2594 0 44975 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 192328 KiB
Current children cumulated memory: 173072 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/242 900283
/proc/meminfo: memFree=127602576/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=248320 memory=226196 CPUtime=102.02 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 60324 0 0 0 10189 13 0 0 20 0 1 0 173247676 254279680 56549 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 62080 56549 2670 2594 0 58973 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 248320 KiB
Current children cumulated memory: 226196 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.15 4.12 5/245 900299
/proc/meminfo: memFree=127518628/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=295660 memory=270652 CPUtime=161.84 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 71618 0 0 0 16169 15 0 0 20 0 1 0 173247676 302755840 67663 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 73915 67663 2670 2594 0 70808 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 270652 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/245 900309
/proc/meminfo: memFree=127478792/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=313728 memory=288620 CPUtime=221.67 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 76376 0 0 0 22150 17 0 0 20 0 1 0 173247676 321257472 72155 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 78432 72155 2670 2594 0 75325 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 313728 KiB
Current children cumulated memory: 288620 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/245 900320
/proc/meminfo: memFree=127434124/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=326768 memory=301780 CPUtime=281.47 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 80058 0 0 0 28130 17 0 0 20 0 1 0 173247676 334610432 75445 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 81692 75445 2670 2594 0 78585 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 301780 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 4.18 4.13 5/245 900331
/proc/meminfo: memFree=127384092/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=333040 memory=318560 CPUtime=341.32 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 82832 0 0 0 34114 18 0 0 20 0 1 0 173247676 341032960 79640 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 83260 79640 2670 2594 0 80153 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 333040 KiB
Current children cumulated memory: 318560 KiB

[startup+402.3 s]
/proc/loadavg: 4.59 4.30 4.17 5/244 900342
/proc/meminfo: memFree=127333800/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=333600 memory=324672 CPUtime=401.16 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 83006 0 0 0 40098 18 0 0 20 0 1 0 173247676 341606400 81168 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 83400 81168 2670 2594 0 80293 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 333600 KiB
Current children cumulated memory: 324672 KiB

[startup+462.3 s]
/proc/loadavg: 4.31 4.27 4.17 5/244 900354
/proc/meminfo: memFree=127311508/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=349816 memory=339860 CPUtime=460.99 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 86840 0 0 0 46080 19 0 0 20 0 1 0 173247676 358211584 84965 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 87454 84965 2670 2594 0 84347 0

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

Current children cumulated memory: 415824 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.22 4.20 5/243 901855
/proc/meminfo: memFree=126643580/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=416088 CPUtime=2913.71 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 110696 0 0 0 291347 24 0 0 20 0 1 0 173247676 439095296 104022 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 104022 2670 2594 0 104094 0
Current children cumulated CPU time: 2913.71 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 416088 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.20 4.19 5/243 901866
/proc/meminfo: memFree=126624440/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=416124 CPUtime=2973.52 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 110908 0 0 0 297328 24 0 0 20 0 1 0 173247676 439095296 104031 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 104031 2670 2594 0 104094 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 416124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.17 4.18 5/245 902047
/proc/meminfo: memFree=126750328/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=416284 CPUtime=3033.34 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 111078 0 0 0 303310 24 0 0 20 0 1 0 173247676 439095296 104071 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 104071 2670 2594 0 104094 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 416284 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/244 902057
/proc/meminfo: memFree=126747312/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=418196 CPUtime=3093.17 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 111252 0 0 0 309293 24 0 0 20 0 1 0 173247676 439095296 104549 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 104549 2670 2594 0 104094 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 418196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 902082
/proc/meminfo: memFree=126743512/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=420072 CPUtime=3153.02 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 111436 0 0 0 315278 24 0 0 20 0 1 0 173247676 439095296 105018 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 105018 2670 2594 0 104094 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 420072 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/245 902093
/proc/meminfo: memFree=126742988/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=420072 CPUtime=3212.87 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 111615 0 0 0 321263 24 0 0 20 0 1 0 173247676 439095296 105018 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 105018 2670 2594 0 104094 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 420072 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/246 902108
/proc/meminfo: memFree=126738828/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=420072 CPUtime=3272.72 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 111798 0 0 0 327248 24 0 0 20 0 1 0 173247676 439095296 105018 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 105018 2670 2594 0 104094 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 420072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/245 902118
/proc/meminfo: memFree=126736872/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=420072 CPUtime=3332.57 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 111985 0 0 0 333233 24 0 0 20 0 1 0 173247676 439095296 105018 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 105018 2670 2594 0 104094 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 420072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/245 902131
/proc/meminfo: memFree=126729496/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=420072 CPUtime=3392.41 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 112168 0 0 0 339217 24 0 0 20 0 1 0 173247676 439095296 105018 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 105018 2670 2594 0 104094 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 420072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/244 902142
/proc/meminfo: memFree=126860184/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428804 memory=420072 CPUtime=3452.25 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 112351 0 0 0 345201 24 0 0 20 0 1 0 173247676 439095296 105018 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107201 105018 2670 2594 0 104094 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 428804 KiB
Current children cumulated memory: 420072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/244 902197
/proc/meminfo: memFree=126733388/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428636 memory=420004 CPUtime=3512.09 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 113194 0 0 0 351185 24 0 0 20 0 1 0 173247676 438923264 105001 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107159 105001 2670 2594 0 104052 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 428636 KiB
Current children cumulated memory: 420004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/241 902208
/proc/meminfo: memFree=126625440/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=428636 memory=420580 CPUtime=3571.93 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 113523 0 0 0 357169 24 0 0 20 0 1 0 173247676 438923264 105145 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 107159 105145 2670 2594 0 104052 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 428636 KiB
Current children cumulated memory: 420580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.11 4.11 4.14 5/237 902248
/proc/meminfo: memFree=127220968/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=326468 memory=319504 CPUtime=3600.06 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 113655 0 0 0 359980 26 0 0 20 0 1 0 173247676 334303232 79876 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 81617 79876 2670 2594 0 78510 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 326468 KiB
Current children cumulated memory: 319504 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.81 s, system=0.263064 s

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

[startup+3610.5 s]
/proc/loadavg: 4.11 4.11 4.14 5/237 902248
/proc/meminfo: memFree=127220968/131655788 swapFree=131071996/131071996
[pid=900254] ppid=900250 vsize=326468 memory=319504 CPUtime=3600.06 cores=5,7
/proc/900254/stat : 900254 (CASHWMaxSAT-Dis) R 900250 900254 897978 0 -1 4194304 113655 0 0 0 359980 26 0 0 20 0 1 0 173247676 334303232 79876 134679101440 4194304 14817773 140722298119536 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51294208 140722298123236 140722298123351 140722298123351 140722298130367 0
/proc/900254/statm: 81617 79876 2670 2594 0 78510 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 326468 KiB
Current children cumulated memory: 319504 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.07
CPU user time (s): 3599.81
CPU system time (s): 0.263064
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 428804
Max. memory (cumulated for all children) (KiB): 420580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.263064
maximum resident set size= 422496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113658
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= 62
involuntary context switches= 1656


# summary of solver processes directly reported to runsolver:
#   pid: 900254
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.81
#   total CPU system time (s): 0.263064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2267 second user time and 34.7107 second system time

The end