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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457651-1721875757/watcher-4457651-1721875757 -o /tmp/evaluation-result-4457651-1721875757/solver-4457651-1721875757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721875749-271076 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4457651-1721875757.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=271187, runsolver pid=271184
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 2.07 3.31 3.99 5/257 271188
/proc/meminfo: memFree=125887496/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=20864 memory=6552 CPUtime=0.1 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 729 0 0 0 10 0 0 0 20 0 1 0 24098539 21364736 1638 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 5216 1638 1050 2726 0 1964 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20864 KiB
Current children cumulated memory: 6552 KiB

[startup+0.205727 s]*
/proc/loadavg: 2.07 3.31 3.99 5/257 271188
/proc/meminfo: memFree=125866176/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=20864 memory=6552 CPUtime=0.2 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 729 0 0 0 20 0 0 0 20 0 1 0 24098539 21364736 1638 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 5216 1638 1050 2726 0 1964 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20864 KiB
Current children cumulated memory: 6552 KiB

[startup+0.305303 s]*
/proc/loadavg: 2.07 3.31 3.99 5/257 271188
/proc/meminfo: memFree=125845364/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=20864 memory=6552 CPUtime=0.3 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 729 0 0 0 30 0 0 0 20 0 1 0 24098539 21364736 1638 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 5216 1638 1050 2726 0 1964 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20864 KiB
Current children cumulated memory: 6552 KiB

[startup+0.700254 s]
/proc/loadavg: 2.07 3.31 3.99 5/257 271188
/proc/meminfo: memFree=125752328/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=138404 memory=122368 CPUtime=0.69 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 26264 0 0 0 65 4 0 0 20 0 1 0 24098539 141725696 30592 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 34601 30592 1146 2726 0 31349 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138404 KiB
Current children cumulated memory: 122368 KiB

[startup+1.50025 s]
/proc/loadavg: 2.07 3.31 3.99 5/257 271188
/proc/meminfo: memFree=125578448/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=143324 memory=127368 CPUtime=1.49 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 27480 0 0 0 145 4 0 0 20 0 1 0 24098539 146763776 31842 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 35831 31842 1146 2726 0 32579 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 143324 KiB
Current children cumulated memory: 127368 KiB

[startup+3.10581 s]
/proc/loadavg: 2.23 3.32 3.99 5/257 271188
/proc/meminfo: memFree=124906412/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=143588 memory=127612 CPUtime=3.09 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 27878 0 0 0 305 4 0 0 20 0 1 0 24098539 147034112 31903 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 35897 31903 1146 2726 0 32645 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 143588 KiB
Current children cumulated memory: 127612 KiB

[startup+6.30023 s]
/proc/loadavg: 2.23 3.32 3.99 5/257 271188
/proc/meminfo: memFree=124902084/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=143852 memory=127852 CPUtime=6.27 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 27964 0 0 0 623 4 0 0 20 0 1 0 24098539 147304448 31963 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 35963 31963 1146 2726 0 32711 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 143852 KiB
Current children cumulated memory: 127852 KiB

[startup+12.7002 s]
/proc/loadavg: 2.45 3.35 3.99 5/257 271189
/proc/meminfo: memFree=124898412/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=144248 memory=128092 CPUtime=12.66 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 28047 0 0 0 1261 5 0 0 20 0 1 0 24098539 147709952 32023 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 36062 32023 1146 2726 0 32810 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 144248 KiB
Current children cumulated memory: 128092 KiB

[startup+25.5003 s]
/proc/loadavg: 2.79 3.38 3.99 5/257 271191
/proc/meminfo: memFree=124889092/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=147104 memory=130128 CPUtime=25.42 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 28581 0 0 0 2536 6 0 0 20 0 1 0 24098539 150634496 32532 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 36776 32532 1146 2726 0 33524 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 147104 KiB
Current children cumulated memory: 130128 KiB

[startup+51.106 s]
/proc/loadavg: 3.28 3.45 4.00 5/257 271195
/proc/meminfo: memFree=124876964/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=148408 memory=131184 CPUtime=50.94 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 28832 0 0 0 5087 7 0 0 20 0 1 0 24098539 151969792 32796 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 37102 32796 1146 2726 0 33850 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 131184 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 3.55 4.00 5/259 271208
/proc/meminfo: memFree=124762600/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=155356 memory=136044 CPUtime=101.98 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 29443 0 0 0 10189 9 0 0 20 0 1 0 24098539 159084544 34011 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 38839 34011 1146 2726 0 35587 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 155356 KiB
Current children cumulated memory: 136044 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.65 4.00 5/259 271219
/proc/meminfo: memFree=124746416/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=155356 memory=136044 CPUtime=161.78 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 29469 0 0 0 16165 13 0 0 20 0 1 0 24098539 159084544 34011 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 38839 34011 1146 2726 0 35587 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 155356 KiB
Current children cumulated memory: 136044 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.73 4.00 5/259 271230
/proc/meminfo: memFree=124666636/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=229124 memory=212580 CPUtime=221.59 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 45839 0 0 0 22136 23 0 0 20 0 1 0 24098539 234622976 53145 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 57281 53145 1146 2726 0 54029 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 229124 KiB
Current children cumulated memory: 212580 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.81 4.01 5/259 271240
/proc/meminfo: memFree=124649432/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=241684 memory=224972 CPUtime=281.4 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 50354 0 0 0 28113 27 0 0 20 0 1 0 24098539 247484416 56243 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 60421 56243 1146 2726 0 57169 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 241684 KiB
Current children cumulated memory: 224972 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.86 4.01 5/258 271253
/proc/meminfo: memFree=124558236/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=326612 memory=310068 CPUtime=341.21 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 54284 0 0 0 34088 33 0 0 20 0 1 0 24098539 334450688 77517 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 81653 77517 1146 2726 0 78401 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 326612 KiB
Current children cumulated memory: 310068 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.92 4.02 5/258 271647
/proc/meminfo: memFree=124489484/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=392764 memory=376084 CPUtime=401.01 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 58091 0 0 0 40064 37 0 0 20 0 1 0 24098539 402190336 94021 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 98191 94021 1146 2726 0 94939 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 392764 KiB
Current children cumulated memory: 376084 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.95 4.02 5/259 271658
/proc/meminfo: memFree=124433364/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=451224 memory=434688 CPUtime=460.82 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 65504 0 0 0 46040 42 0 0 20 0 1 0 24098539 462053376 108672 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 112806 108672 1146 2726 0 109554 0

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

Current children cumulated memory: 1578540 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 272899
/proc/meminfo: memFree=123448888/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1663164 memory=1648440 CPUtime=2913.53 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 231920 0 0 0 291171 182 0 0 20 0 1 0 24098539 1703079936 412110 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 415791 412110 1146 2726 0 412539 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 1663164 KiB
Current children cumulated memory: 1648440 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 272909
/proc/meminfo: memFree=123469928/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1645636 memory=1625092 CPUtime=2973.38 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 237792 0 0 0 297150 188 0 0 20 0 1 0 24098539 1685131264 406273 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 411409 406273 1146 2726 0 408157 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 1645636 KiB
Current children cumulated memory: 1625092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 272919
/proc/meminfo: memFree=123435160/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1681824 memory=1661280 CPUtime=3033.21 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 238789 0 0 0 303132 189 0 0 20 0 1 0 24098539 1722187776 415320 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 420456 415320 1146 2726 0 417204 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 1681824 KiB
Current children cumulated memory: 1661280 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 272935
/proc/meminfo: memFree=123455152/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1655968 memory=1640924 CPUtime=3093.06 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 240812 0 0 0 309114 192 0 0 20 0 1 0 24098539 1695711232 410231 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 413992 410231 1146 2726 0 410740 0
Current children cumulated CPU time: 3093.06 s
Current children cumulated vsize: 1655968 KiB
Current children cumulated memory: 1640924 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/259 272946
/proc/meminfo: memFree=123375408/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1735024 memory=1719972 CPUtime=3152.89 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 250675 0 0 0 315092 197 0 0 20 0 1 0 24098539 1776664576 429993 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 433756 429993 1146 2726 0 430504 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 1735024 KiB
Current children cumulated memory: 1719972 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 272957
/proc/meminfo: memFree=123376884/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1735024 memory=1720012 CPUtime=3212.74 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 252048 0 0 0 321076 198 0 0 20 0 1 0 24098539 1776664576 430003 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 433756 430003 1146 2726 0 430504 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 1735024 KiB
Current children cumulated memory: 1720012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/259 272967
/proc/meminfo: memFree=123374828/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1735468 memory=1720744 CPUtime=3272.6 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 252872 0 0 0 327061 199 0 0 20 0 1 0 24098539 1777119232 430186 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 433867 430186 1146 2726 0 430615 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 1735468 KiB
Current children cumulated memory: 1720744 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/259 272978
/proc/meminfo: memFree=123311788/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1775284 memory=1760392 CPUtime=3332.46 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 259469 0 0 0 333043 203 0 0 20 0 1 0 24098539 1817890816 440098 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 443821 440098 1146 2726 0 440569 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 1775284 KiB
Current children cumulated memory: 1760392 KiB

[startup+3402.3 s]
/proc/loadavg: 5.06 4.40 4.20 5/259 272988
/proc/meminfo: memFree=123314748/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1769960 memory=1754980 CPUtime=3392.31 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 262000 0 0 0 339026 205 0 0 20 0 1 0 24098539 1812439040 438745 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 442490 438745 1146 2726 0 439238 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 1769960 KiB
Current children cumulated memory: 1754980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.49 4.36 4.19 5/256 272999
/proc/meminfo: memFree=123307540/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1776796 memory=1761800 CPUtime=3452.16 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 268058 0 0 0 345007 209 0 0 20 0 1 0 24098539 1819439104 440450 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 444199 440450 1146 2726 0 440947 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 1776796 KiB
Current children cumulated memory: 1761800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.32 4.19 5/256 273009
/proc/meminfo: memFree=123261700/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1841876 memory=1806660 CPUtime=3512.02 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 275449 0 0 0 350983 219 0 0 20 0 1 0 24098539 1886081024 451665 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 460469 451665 1146 2726 0 457217 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 1841876 KiB
Current children cumulated memory: 1806660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.29 4.18 5/256 273019
/proc/meminfo: memFree=123267884/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1813052 memory=1798328 CPUtime=3571.88 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 282270 0 0 0 356957 231 0 0 20 0 1 0 24098539 1856565248 449582 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 453263 449582 1146 2726 0 450011 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 1813052 KiB
Current children cumulated memory: 1798328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.13 4.26 4.18 5/256 273161
/proc/meminfo: memFree=126599824/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1813052 memory=1798328 CPUtime=3600 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 282532 0 0 0 359768 232 0 0 20 0 1 0 24098539 1856565248 449582 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 453263 449582 1146 2726 0 450011 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1813052 KiB
Current children cumulated memory: 1798328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.68 s, system=2.33211 s

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

[startup+3610.5 s]
/proc/loadavg: 4.13 4.26 4.18 5/256 273161
/proc/meminfo: memFree=126599824/131524600 swapFree=131056028/131071996
[pid=271187] ppid=271184 vsize=1813052 memory=1798328 CPUtime=3600 cores=4,6
/proc/271187/stat : 271187 (CASHWMaxSAT-Dis) R 271184 271187 271065 0 -1 4194304 282532 0 0 0 359768 232 0 0 20 0 1 0 24098539 1856565248 449582 134679101440 4194304 15356333 140732091034912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 55427072 140732091040739 140732091040855 140732091040855 140732091047870 0
/proc/271187/statm: 453263 449582 1146 2726 0 450011 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1813052 KiB
Current children cumulated memory: 1798328 KiB

Child status: 10

Real time (s): 3610.51
CPU time (s): 3600.02
CPU user time (s): 3597.68
CPU system time (s): 2.33211
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 1926216
Max. memory (cumulated for all children) (KiB): 1874228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.68
system time used= 2.33211
maximum resident set size= 1912636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282533
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= 97
involuntary context switches= 2464


# summary of solver processes directly reported to runsolver:
#   pid: 271187
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3597.68
#   total CPU system time (s): 2.33211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15605 second user time and 17.7271 second system time

The end