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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458081-1721879520/watcher-4458081-1721879520 -o /tmp/evaluation-result-4458081-1721879520/solver-4458081-1721879520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721875910-264525 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458081-1721879520.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
solver pid=266565, runsolver pid=266562
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.15 4.23 4.18 5/254 266566
/proc/meminfo: memFree=108380756/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=49160 memory=39716 CPUtime=0.1 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 7870 0 0 0 9 1 0 0 20 0 1 0 24480292 50339840 9929 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 12290 9929 2574 2594 0 9183 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49160 KiB
Current children cumulated memory: 39716 KiB

[startup+0.205685 s]*
/proc/loadavg: 4.15 4.23 4.18 5/254 266566
/proc/meminfo: memFree=108374848/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=56252 memory=47116 CPUtime=0.2 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 9628 0 0 0 19 1 0 0 20 0 1 0 24480292 57602048 11779 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 14063 11779 2654 2594 0 10956 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56252 KiB
Current children cumulated memory: 47116 KiB

[startup+0.30563 s]*
/proc/loadavg: 4.15 4.23 4.18 5/254 266566
/proc/meminfo: memFree=108364812/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=65712 memory=55468 CPUtime=0.3 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 12510 0 0 0 28 2 0 0 20 0 1 0 24480292 67289088 13867 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 16428 13867 2654 2594 0 13321 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65712 KiB
Current children cumulated memory: 55468 KiB

[startup+0.700233 s]
/proc/loadavg: 4.15 4.23 4.18 5/254 266566
/proc/meminfo: memFree=108352924/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=84468 memory=74456 CPUtime=0.69 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 17249 0 0 0 67 2 0 0 20 0 1 0 24480292 86495232 18614 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 21117 18614 2654 2594 0 18010 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84468 KiB
Current children cumulated memory: 74456 KiB

[startup+1.50017 s]
/proc/loadavg: 4.15 4.23 4.18 5/251 266580
/proc/meminfo: memFree=108806700/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=105152 memory=92144 CPUtime=1.49 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 21717 0 0 0 146 3 0 0 20 0 1 0 24480292 107675648 23036 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 26288 23036 2654 2594 0 23181 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105152 KiB
Current children cumulated memory: 92144 KiB

[startup+3.10574 s]
/proc/loadavg: 4.14 4.22 4.18 5/254 266612
/proc/meminfo: memFree=108774128/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=116908 memory=99536 CPUtime=3.09 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 23582 0 0 0 306 3 0 0 20 0 1 0 24480292 119713792 24884 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 29227 24884 2654 2594 0 26120 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 116908 KiB
Current children cumulated memory: 99536 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.22 4.18 5/254 266614
/proc/meminfo: memFree=108762436/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=125300 memory=106928 CPUtime=6.27 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 25424 0 0 0 624 3 0 0 20 0 1 0 24480292 128307200 26732 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 31325 26732 2654 2594 0 28218 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125300 KiB
Current children cumulated memory: 106928 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.21 4.18 5/254 266660
/proc/meminfo: memFree=110520472/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=135140 memory=118108 CPUtime=12.66 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 28666 0 0 0 1263 3 0 0 20 0 1 0 24480292 138383360 29527 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 33785 29527 2654 2594 0 30678 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 135140 KiB
Current children cumulated memory: 118108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.21 4.18 5/255 266664
/proc/meminfo: memFree=110471572/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=158336 memory=141864 CPUtime=25.43 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 34601 0 0 0 2538 5 0 0 20 0 1 0 24480292 162136064 35466 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 39584 35466 2654 2594 0 36477 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158336 KiB
Current children cumulated memory: 141864 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.20 4.18 5/255 266667
/proc/meminfo: memFree=110392384/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=212564 memory=190644 CPUtime=50.96 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 46766 0 0 0 5088 8 0 0 20 0 1 0 24480292 217665536 47661 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 53141 47661 2654 2594 0 50034 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 212564 KiB
Current children cumulated memory: 190644 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/255 266676
/proc/meminfo: memFree=110354712/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=236636 memory=219476 CPUtime=102.02 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 53420 0 0 0 10192 10 0 0 20 0 1 0 24480292 242315264 54869 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 59159 54869 2654 2594 0 56052 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 236636 KiB
Current children cumulated memory: 219476 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/255 266686
/proc/meminfo: memFree=110299772/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=248868 memory=241316 CPUtime=161.85 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 66164 0 0 0 16173 12 0 0 20 0 1 0 24480292 254840832 60329 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 62217 60329 2654 2594 0 59110 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 248868 KiB
Current children cumulated memory: 241316 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/254 267080
/proc/meminfo: memFree=110290916/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=254556 memory=246852 CPUtime=221.69 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 96505 0 0 0 22151 18 0 0 20 0 1 0 24480292 260665344 61713 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 63639 61713 2654 2594 0 60532 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 254556 KiB
Current children cumulated memory: 246852 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/254 267091
/proc/meminfo: memFree=110228224/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=257708 memory=249820 CPUtime=281.55 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 97324 0 0 0 28136 19 0 0 20 0 1 0 24480292 263892992 62455 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 64427 62455 2654 2594 0 61320 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 257708 KiB
Current children cumulated memory: 249820 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/253 267101
/proc/meminfo: memFree=110243968/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=263876 memory=256152 CPUtime=341.39 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 100952 0 0 0 34120 19 0 0 20 0 1 0 24480292 270209024 64038 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 65969 64038 2654 2594 0 62862 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 263876 KiB
Current children cumulated memory: 256152 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/255 267282
/proc/meminfo: memFree=110196600/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=277604 memory=269980 CPUtime=401.23 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 107106 0 0 0 40103 20 0 0 20 0 1 0 24480292 284266496 67495 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 69401 67495 2654 2594 0 66294 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 277604 KiB
Current children cumulated memory: 269980 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/255 267292
/proc/meminfo: memFree=110162144/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=287244 memory=278268 CPUtime=461.07 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 109873 0 0 0 46086 21 0 0 20 0 1 0 24480292 294137856 69567 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 71811 69567 2654 2594 0 68704 0

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

Current children cumulated memory: 321932 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 268351
/proc/meminfo: memFree=109962692/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=2854.36 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170173 0 0 0 285404 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 2854.36 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 268366
/proc/meminfo: memFree=109939068/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=2914.2 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170232 0 0 0 291388 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 2914.2 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 268380
/proc/meminfo: memFree=109934604/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=2974.04 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170293 0 0 0 297372 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 268390
/proc/meminfo: memFree=109932152/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3033.88 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170343 0 0 0 303356 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 268401
/proc/meminfo: memFree=109931996/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3093.71 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170378 0 0 0 309339 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.39 4.19 4.12 5/255 268412
/proc/meminfo: memFree=109926324/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3153.55 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170437 0 0 0 315323 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/252 268422
/proc/meminfo: memFree=109925172/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3213.39 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170490 0 0 0 321307 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/252 268433
/proc/meminfo: memFree=109897272/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3273.23 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170540 0 0 0 327291 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/252 268443
/proc/meminfo: memFree=109921664/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3333.07 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170581 0 0 0 333275 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/252 268453
/proc/meminfo: memFree=109921496/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3392.9 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170642 0 0 0 339258 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/251 268463
/proc/meminfo: memFree=109918472/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3452.74 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170694 0 0 0 345242 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/253 268478
/proc/meminfo: memFree=109910928/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3512.58 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170766 0 0 0 351226 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/253 268489
/proc/meminfo: memFree=109905508/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3572.42 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170832 0 0 0 357210 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.15 4.14 4.10 5/253 268586
/proc/meminfo: memFree=109989912/131524600 swapFree=131063756/131071996
[pid=266565] ppid=266562 vsize=328736 memory=321932 CPUtime=3600.05 cores=1,3
/proc/266565/stat : 266565 (CASHWMaxSAT-Dis) R 266562 266565 264513 0 -1 4194304 170873 0 0 0 359973 32 0 0 20 0 1 0 24480292 336625664 80483 134679101440 4194304 14817773 140730545069824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38846464 140730545071081 140730545071196 140730545071196 140730545078207 0
/proc/266565/statm: 82184 80483 2718 2594 0 79077 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 328736 KiB
Current children cumulated memory: 321932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.73 s, system=0.3241 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.06
CPU user time (s): 3599.73
CPU system time (s): 0.3241
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 418280
Max. memory (cumulated for all children) (KiB): 403488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.73
system time used= 0.3241
maximum resident set size= 403488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170875
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= 72
involuntary context switches= 1843


# summary of solver processes directly reported to runsolver:
#   pid: 266565
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.73
#   total CPU system time (s): 0.3241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30286 second user time and 16.6742 second system time

The end