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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458314-1721879584/watcher-4458314-1721879584 -o /tmp/evaluation-result-4458314-1721879584/solver-4458314-1721879584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721875956-207661 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4458314-1721879584.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
Current StackSize limit: 8192 KiB

solver pid=209809, runsolver pid=209806

[startup+0.100701 s]*
/proc/loadavg: 4.04 4.09 4.09 5/256 209810
/proc/meminfo: memFree=123723628/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=60736 memory=50444 CPUtime=0.09 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 10815 0 0 0 8 1 0 0 20 0 1 0 24488651 62193664 12611 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 15184 12611 2618 2726 0 11932 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60736 KiB
Current children cumulated memory: 50444 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.04 4.09 4.09 5/256 209810
/proc/meminfo: memFree=123709172/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=75972 memory=65324 CPUtime=0.19 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 14673 0 0 0 18 1 0 0 20 0 1 0 24488651 77795328 16331 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 18993 16331 2746 2726 0 15741 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75972 KiB
Current children cumulated memory: 65324 KiB

[startup+0.305707 s]*
/proc/loadavg: 4.04 4.09 4.09 5/256 209810
/proc/meminfo: memFree=123707420/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=77048 memory=66104 CPUtime=0.29 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 14905 0 0 0 28 1 0 0 20 0 1 0 24488651 78897152 16526 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 19262 16526 2746 2726 0 16010 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77048 KiB
Current children cumulated memory: 66104 KiB

[startup+0.700183 s]
/proc/loadavg: 4.04 4.09 4.09 5/256 209810
/proc/meminfo: memFree=123707272/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=77048 memory=66368 CPUtime=0.68 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 14933 0 0 0 67 1 0 0 20 0 1 0 24488651 78897152 16592 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 19262 16592 2746 2726 0 16010 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77048 KiB
Current children cumulated memory: 66368 KiB

[startup+1.50023 s]
/proc/loadavg: 4.04 4.09 4.09 5/256 209810
/proc/meminfo: memFree=123705880/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=92240 memory=79560 CPUtime=1.48 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 19693 0 0 0 145 3 0 0 20 0 1 0 24488651 94453760 19890 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 23060 19890 2762 2726 0 19808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92240 KiB
Current children cumulated memory: 79560 KiB

[startup+3.1058 s]
/proc/loadavg: 4.04 4.09 4.08 5/256 209810
/proc/meminfo: memFree=123653692/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=128932 memory=114900 CPUtime=3.08 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 28553 0 0 0 304 4 0 0 20 0 1 0 24488651 132026368 28725 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 32233 28725 2762 2726 0 28981 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128932 KiB
Current children cumulated memory: 114900 KiB

[startup+6.30017 s]
/proc/loadavg: 4.04 4.09 4.08 5/256 209812
/proc/meminfo: memFree=123615280/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=155044 memory=133116 CPUtime=6.27 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 33103 0 0 0 622 5 0 0 20 0 1 0 24488651 158765056 33279 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 38761 33279 2762 2726 0 35509 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155044 KiB
Current children cumulated memory: 133116 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.08 6/256 209812
/proc/meminfo: memFree=123588456/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=158860 memory=135756 CPUtime=12.65 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 33728 0 0 0 1259 6 0 0 20 0 1 0 24488651 162672640 33939 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 39715 33939 2762 2726 0 36463 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158860 KiB
Current children cumulated memory: 135756 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.08 4.08 5/256 209815
/proc/meminfo: memFree=123538512/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=168968 memory=146032 CPUtime=25.43 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 37034 0 0 0 2535 8 0 0 20 0 1 0 24488651 173023232 36508 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 42242 36508 2762 2726 0 38990 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 168968 KiB
Current children cumulated memory: 146032 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 209818
/proc/meminfo: memFree=123485864/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=183556 memory=160460 CPUtime=50.97 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 41193 0 0 0 5086 11 0 0 20 0 1 0 24488651 187961344 40115 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 45889 40115 2762 2726 0 42637 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 183556 KiB
Current children cumulated memory: 160460 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 209826
/proc/meminfo: memFree=123357744/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=231132 memory=205196 CPUtime=102.03 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 53976 0 0 0 10186 17 0 0 20 0 1 0 24488651 236679168 51299 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 57783 51299 2762 2726 0 54531 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 231132 KiB
Current children cumulated memory: 205196 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 210221
/proc/meminfo: memFree=123259708/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=268388 memory=240700 CPUtime=161.88 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 63198 0 0 0 16163 25 0 0 20 0 1 0 24488651 274829312 60175 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 67097 60175 3047 2726 0 63845 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 268388 KiB
Current children cumulated memory: 240700 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 210232
/proc/meminfo: memFree=123203760/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=287232 memory=256532 CPUtime=221.71 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 71329 0 0 0 22138 33 0 0 20 0 1 0 24488651 294125568 64133 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 71808 64133 3047 2726 0 68556 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 287232 KiB
Current children cumulated memory: 256532 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 210242
/proc/meminfo: memFree=123111840/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=318336 memory=282552 CPUtime=281.52 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 77865 0 0 0 28109 43 0 0 20 0 1 0 24488651 325976064 70638 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 79584 70638 3047 2726 0 76332 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 318336 KiB
Current children cumulated memory: 282552 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 210423
/proc/meminfo: memFree=123009952/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=330092 memory=290716 CPUtime=341.33 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 79897 0 0 0 34078 55 0 0 20 0 1 0 24488651 338014208 72679 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 82523 72679 3047 2726 0 79271 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 330092 KiB
Current children cumulated memory: 290716 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/259 210433
/proc/meminfo: memFree=122942692/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=354152 memory=309424 CPUtime=401.13 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 87295 0 0 0 40053 60 0 0 20 0 1 0 24488651 362651648 77356 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 88538 77356 3047 2726 0 85286 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 354152 KiB
Current children cumulated memory: 309424 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 210447
/proc/meminfo: memFree=122898332/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=368568 memory=318776 CPUtime=460.95 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 90767 0 0 0 46034 61 0 0 20 0 1 0 24488651 377413632 79694 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 92142 79694 3047 2726 0 88890 0

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

Current children cumulated memory: 398680 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/257 211573
/proc/meminfo: memFree=121961856/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=2914.35 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178452 0 0 0 291353 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 211583
/proc/meminfo: memFree=121961092/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=2974.18 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178511 0 0 0 297336 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 211594
/proc/meminfo: memFree=121959900/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3034 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178567 0 0 0 303318 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 211604
/proc/meminfo: memFree=121958812/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3093.83 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178623 0 0 0 309301 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 211616
/proc/meminfo: memFree=121938960/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3153.64 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178681 0 0 0 315282 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 211628
/proc/meminfo: memFree=121851216/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3213.45 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178733 0 0 0 321263 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 211638
/proc/meminfo: memFree=121824764/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3273.27 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178800 0 0 0 327245 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 211649
/proc/meminfo: memFree=121795572/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3333.08 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178858 0 0 0 333226 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 211659
/proc/meminfo: memFree=121779620/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3392.89 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178924 0 0 0 339207 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 211674
/proc/meminfo: memFree=121675752/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3452.69 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 178988 0 0 0 345187 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 211685
/proc/meminfo: memFree=121628512/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3512.5 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 179050 0 0 0 351168 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/256 211696
/proc/meminfo: memFree=121566500/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3572.3 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 179113 0 0 0 357148 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 211792
/proc/meminfo: memFree=122024436/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3600.02 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 179151 0 0 0 359920 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.2 s, system=0.826494 s

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

[startup+3610.11 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 211792
/proc/meminfo: memFree=122024436/131524600 swapFree=131054992/131071996
[pid=209809] ppid=209806 vsize=404912 memory=398680 CPUtime=3600.02 cores=1,3
/proc/209809/stat : 209809 (CASHWMaxSAT-Dis) R 209806 209809 207649 0 -1 4194304 179151 0 0 0 359920 82 0 0 20 0 1 0 24488651 414629888 99670 134679101440 4194304 15356333 140737240254656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48988160 140737240257507 140737240257623 140737240257623 140737240264638 0
/proc/209809/statm: 101228 99670 3111 2726 0 97976 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 404912 KiB
Current children cumulated memory: 398680 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.03
CPU user time (s): 3599.2
CPU system time (s): 0.826494
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 725816
Max. memory (cumulated for all children) (KiB): 696396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.826494
maximum resident set size= 696396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179155
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= 52
involuntary context switches= 1627


# summary of solver processes directly reported to runsolver:
#   pid: 209809
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.2
#   total CPU system time (s): 0.826494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64468 second user time and 16.1768 second system time

The end