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: 64096 MiB (60086 MiB free)
  memory of node 1: 64473 MiB (60469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458509-1721881588/watcher-4458509-1721881588 -o /tmp/evaluation-result-4458509-1721881588/solver-4458509-1721881588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721877731-262998 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4458509-1721881588.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=265544, runsolver pid=265541

[startup+0.100925 s]*
/proc/loadavg: 4.12 4.09 4.09 5/239 265545
/proc/meminfo: memFree=123432816/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=36420 memory=26892 CPUtime=0.1 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 4882 0 0 0 10 0 0 0 20 0 1 0 24148613 37294080 6723 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 9105 6723 2666 2726 0 5853 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36420 KiB
Current children cumulated memory: 26892 KiB

[startup+0.212984 s]*
/proc/loadavg: 4.12 4.09 4.09 5/239 265547
/proc/meminfo: memFree=123415680/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=52804 memory=41920 CPUtime=0.21 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 9049 0 0 0 19 2 0 0 20 0 1 0 24148613 54071296 10480 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 13201 10480 2762 2726 0 9949 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52804 KiB
Current children cumulated memory: 41920 KiB

[startup+0.31279 s]*
/proc/loadavg: 4.12 4.09 4.09 5/239 265547
/proc/meminfo: memFree=123416644/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=52804 memory=41920 CPUtime=0.31 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 9052 0 0 0 29 2 0 0 20 0 1 0 24148613 54071296 10480 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 13201 10480 2762 2726 0 9949 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52804 KiB
Current children cumulated memory: 41920 KiB

[startup+0.700333 s]
/proc/loadavg: 4.12 4.09 4.09 5/239 265547
/proc/meminfo: memFree=123416644/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=52804 memory=42696 CPUtime=0.69 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 9292 0 0 0 67 2 0 0 20 0 1 0 24148613 54071296 10674 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 13201 10674 2762 2726 0 9949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52804 KiB
Current children cumulated memory: 42696 KiB

[startup+1.50033 s]
/proc/loadavg: 4.12 4.09 4.09 5/239 265547
/proc/meminfo: memFree=123403236/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=65944 memory=55704 CPUtime=1.48 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 13654 0 0 0 146 2 0 0 20 0 1 0 24148613 67526656 13926 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 16486 13926 2762 2726 0 13234 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65944 KiB
Current children cumulated memory: 55704 KiB

[startup+3.11223 s]
/proc/loadavg: 4.11 4.09 4.09 5/239 265547
/proc/meminfo: memFree=123407320/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=77896 memory=67308 CPUtime=3.09 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 16587 0 0 0 306 3 0 0 20 0 1 0 24148613 79765504 16827 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 19474 16827 2762 2726 0 16222 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77896 KiB
Current children cumulated memory: 67308 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.09 4.09 5/239 265547
/proc/meminfo: memFree=123395648/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=82368 memory=71464 CPUtime=6.27 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 18659 0 0 0 624 3 0 0 20 0 1 0 24148613 84344832 17866 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 20592 17866 2778 2726 0 17340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82368 KiB
Current children cumulated memory: 71464 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 5/239 265548
/proc/meminfo: memFree=123366140/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=86648 memory=76424 CPUtime=12.65 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 20366 0 0 0 1262 3 0 0 20 0 1 0 24148613 88727552 19106 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 21662 19106 2778 2726 0 18410 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86648 KiB
Current children cumulated memory: 76424 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 4.09 5/239 265550
/proc/meminfo: memFree=123334844/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=115076 memory=104808 CPUtime=25.41 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 29005 0 0 0 2536 5 0 0 20 0 1 0 24148613 117837824 26202 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 28769 26202 2778 2726 0 25517 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 115076 KiB
Current children cumulated memory: 104808 KiB

[startup+51.1125 s]
/proc/loadavg: 4.12 4.09 4.09 5/239 265555
/proc/meminfo: memFree=123299544/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=124156 memory=113184 CPUtime=50.94 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 34855 0 0 0 5088 6 0 0 20 0 1 0 24148613 127135744 28296 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 31039 28296 2778 2726 0 27787 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 124156 KiB
Current children cumulated memory: 113184 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/240 265778
/proc/meminfo: memFree=123252056/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=158788 memory=146476 CPUtime=101.97 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 43266 0 0 0 10189 8 0 0 20 0 1 0 24148613 162598912 36619 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 39697 36619 2778 2726 0 36445 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 158788 KiB
Current children cumulated memory: 146476 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/240 265789
/proc/meminfo: memFree=123182104/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=210880 memory=196344 CPUtime=161.78 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 55767 0 0 0 16167 11 0 0 20 0 1 0 24148613 215941120 49086 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 52720 49086 2778 2726 0 49468 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 210880 KiB
Current children cumulated memory: 196344 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/242 265858
/proc/meminfo: memFree=123172024/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=241224 memory=224212 CPUtime=221.59 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 62771 0 0 0 22147 12 0 0 20 0 1 0 24148613 247013376 56053 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 60306 56053 2778 2726 0 57054 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 241224 KiB
Current children cumulated memory: 224212 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 265868
/proc/meminfo: memFree=123091180/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=275604 memory=260756 CPUtime=281.36 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 72256 0 0 0 28122 14 0 0 20 0 1 0 24148613 282218496 65189 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 68901 65189 2778 2726 0 65649 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 275604 KiB
Current children cumulated memory: 260756 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 265879
/proc/meminfo: memFree=123018724/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=328708 memory=313052 CPUtime=341.13 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 83660 0 0 0 34097 16 0 0 20 0 1 0 24148613 336596992 78263 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 82177 78263 2778 2726 0 78925 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 328708 KiB
Current children cumulated memory: 313052 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/241 265889
/proc/meminfo: memFree=122970096/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=351624 memory=340128 CPUtime=400.93 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 88744 0 0 0 40076 17 0 0 20 0 1 0 24148613 360062976 85032 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 87906 85032 3063 2726 0 84654 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 351624 KiB
Current children cumulated memory: 340128 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/240 265901
/proc/meminfo: memFree=122924624/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=383260 memory=369224 CPUtime=460.77 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 94954 0 0 0 46058 19 0 0 20 0 1 0 24148613 392458240 92306 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 95815 92306 3063 2726 0 92563 0

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

Current children cumulated memory: 563616 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/240 266960
/proc/meminfo: memFree=121085140/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=2913.84 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195215 0 0 0 291339 45 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/238 266971
/proc/meminfo: memFree=121098936/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=2973.69 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195310 0 0 0 297324 45 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/238 266982
/proc/meminfo: memFree=121098592/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3033.54 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195418 0 0 0 303309 45 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/238 266992
/proc/meminfo: memFree=121082696/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3093.38 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195520 0 0 0 309293 45 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/238 267003
/proc/meminfo: memFree=121073052/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3153.23 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195621 0 0 0 315278 45 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/240 267019
/proc/meminfo: memFree=121078304/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3213.08 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195736 0 0 0 321263 45 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.12 5/240 267029
/proc/meminfo: memFree=121072400/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3272.94 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195837 0 0 0 327248 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.13 5/240 267040
/proc/meminfo: memFree=121070312/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3332.78 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 195935 0 0 0 333232 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/240 267141
/proc/meminfo: memFree=121326084/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3392.6 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 196032 0 0 0 339214 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/240 267152
/proc/meminfo: memFree=121283864/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3452.4 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 196127 0 0 0 345194 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.11 6/245 267536
/proc/meminfo: memFree=121206668/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3512.19 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 196230 0 0 0 351173 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/239 267557
/proc/meminfo: memFree=121088060/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3571.98 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 196334 0 0 0 357152 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.08 4.09 4.10 5/239 267560
/proc/meminfo: memFree=121277600/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3600.09 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 196389 0 0 0 359963 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.63 s, system=0.466359 s

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

[startup+3610.5 s]
/proc/loadavg: 4.08 4.09 4.10 5/239 267560
/proc/meminfo: memFree=121277600/131655788 swapFree=131061684/131071996
[pid=265544] ppid=265541 vsize=569984 memory=563616 CPUtime=3600.09 cores=1,3
/proc/265544/stat : 265544 (CASHWMaxSAT-Dis) R 265541 265544 262986 0 -1 4194304 196389 0 0 0 359963 46 0 0 20 0 1 0 24148613 583663616 140904 134679101440 4194304 15356333 140730165962528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36270080 140730165969895 140730165970011 140730165970011 140730165977022 0
/proc/265544/statm: 142496 140904 3111 2726 0 139244 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 569984 KiB
Current children cumulated memory: 563616 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.1
CPU user time (s): 3599.63
CPU system time (s): 0.466359
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 876220
Max. memory (cumulated for all children) (KiB): 839716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.466359
maximum resident set size= 839716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196392
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= 123
involuntary context switches= 2436


# summary of solver processes directly reported to runsolver:
#   pid: 265544
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.63
#   total CPU system time (s): 0.466359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7359 second user time and 34.2513 second system time

The end