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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (58536 MiB free)
  memory of node 1: 64510 MiB (59715 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440177-1721254325/watcher-4440177-1721254325 -o /tmp/evaluation-result-4440177-1721254325/solver-4440177-1721254325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721252425-919194 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440177-1721254325.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100103 s]*
/proc/loadavg: 4.11 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121084172/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=26332 memory=8276 CPUtime=0.1 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 1476 0 0 0 10 0 0 0 20 0 1 0 177588662 26963968 2069 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 6583 2069 782 2417 0 3685 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26332 KiB
Current children cumulated memory: 8276 KiB

[startup+0.213229 s]*
/proc/loadavg: 4.11 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121069416/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=37688 memory=28784 CPUtime=0.21 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) D 921015 921018 919181 0 -1 4194304 5190 0 0 0 20 1 0 0 20 0 1 0 177588662 38592512 7196 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 9422 7196 2350 2417 0 6524 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37688 KiB
Current children cumulated memory: 28784 KiB

[startup+0.313372 s]*
/proc/loadavg: 4.11 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121067820/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=39356 memory=30252 CPUtime=0.3 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 5538 0 0 0 29 1 0 0 20 0 1 0 177588662 40300544 7563 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 9839 7563 2398 2417 0 6941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 30252 KiB

[startup+0.70034 s]
/proc/loadavg: 4.11 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121067008/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=48200 memory=39316 CPUtime=0.67 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 7741 0 0 0 65 2 0 0 20 0 1 0 177588662 49356800 9829 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 12050 9829 2510 2417 0 9152 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 48200 KiB
Current children cumulated memory: 39316 KiB

[startup+1.50034 s]
/proc/loadavg: 4.11 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121056228/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=54908 memory=45136 CPUtime=1.47 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 9161 0 0 0 145 2 0 0 20 0 1 0 177588662 56225792 11284 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 13727 11284 2526 2417 0 10829 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 54908 KiB
Current children cumulated memory: 45136 KiB

[startup+3.11317 s]
/proc/loadavg: 4.11 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121041584/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=69740 memory=55168 CPUtime=3.08 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 11678 0 0 0 305 3 0 0 20 0 1 0 177588662 71413760 13792 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 17435 13792 2526 2417 0 14537 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69740 KiB
Current children cumulated memory: 55168 KiB

[startup+6.30032 s]
/proc/loadavg: 4.10 4.11 3.83 5/246 921019
/proc/meminfo: memFree=121021668/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=89876 memory=71000 CPUtime=6.26 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 15621 0 0 0 623 3 0 0 20 0 1 0 177588662 92033024 17750 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 22469 17750 2526 2417 0 19571 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89876 KiB
Current children cumulated memory: 71000 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 3.84 5/246 921021
/proc/meminfo: memFree=121018976/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=89876 memory=71000 CPUtime=12.64 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 15621 0 0 0 1261 3 0 0 20 0 1 0 177588662 92033024 17750 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 22469 17750 2526 2417 0 19571 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89876 KiB
Current children cumulated memory: 71000 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 3.84 5/245 921023
/proc/meminfo: memFree=120991552/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=94568 memory=71260 CPUtime=25.4 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 15705 0 0 0 2537 3 0 0 20 0 1 0 177588662 96837632 17815 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 23642 17815 2526 2417 0 20744 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 94568 KiB
Current children cumulated memory: 71260 KiB

[startup+51.113 s]
/proc/loadavg: 4.09 4.11 3.85 5/245 921028
/proc/meminfo: memFree=120917400/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=163648 memory=132504 CPUtime=50.93 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 29359 0 0 0 5087 6 0 0 20 0 1 0 177588662 167575552 33126 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 40912 33126 2542 2417 0 38014 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 163648 KiB
Current children cumulated memory: 132504 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.12 3.87 5/243 921037
/proc/meminfo: memFree=120857948/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=211248 memory=178172 CPUtime=101.95 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 37785 0 0 0 10187 8 0 0 20 0 1 0 177588662 216317952 44543 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 52812 44543 2542 2417 0 49914 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 211248 KiB
Current children cumulated memory: 178172 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 3.89 5/243 921049
/proc/meminfo: memFree=120771852/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=266996 memory=226008 CPUtime=161.78 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 47170 0 0 0 16167 11 0 0 20 0 1 0 177588662 273403904 56502 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 66749 56502 2542 2417 0 63851 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 266996 KiB
Current children cumulated memory: 226008 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 3.91 5/241 921060
/proc/meminfo: memFree=120691724/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=328392 memory=284832 CPUtime=221.6 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 56776 0 0 0 22147 13 0 0 20 0 1 0 177588662 336273408 71208 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 82098 71208 2542 2417 0 79200 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 328392 KiB
Current children cumulated memory: 284832 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.13 3.93 5/241 921070
/proc/meminfo: memFree=120622724/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=393120 memory=342592 CPUtime=281.42 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 62571 0 0 0 28127 15 0 0 20 0 1 0 177588662 402554880 85648 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 98280 85648 2542 2417 0 95382 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 393120 KiB
Current children cumulated memory: 342592 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.12 3.94 5/241 921081
/proc/meminfo: memFree=120571708/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=430744 memory=383880 CPUtime=341.24 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 64726 0 0 0 34108 16 0 0 20 0 1 0 177588662 441081856 95970 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 107686 95970 2542 2417 0 104788 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 430744 KiB
Current children cumulated memory: 383880 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 3.95 5/241 921092
/proc/meminfo: memFree=120522148/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=475392 memory=424684 CPUtime=401.05 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 67758 0 0 0 40088 17 0 0 20 0 1 0 177588662 486801408 106171 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 118848 106171 2542 2417 0 115950 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 475392 KiB
Current children cumulated memory: 424684 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 3.96 5/241 921103
/proc/meminfo: memFree=120459248/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=524932 memory=467352 CPUtime=460.87 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 70309 0 0 0 46068 19 0 0 20 0 1 0 177588662 537530368 116838 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 131233 116838 2542 2417 0 128335 0

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

Current children cumulated memory: 1377588 KiB

[startup+2862.3 s]
/proc/loadavg: 4.21 4.23 4.16 5/244 922754
/proc/meminfo: memFree=119246672/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1469440 memory=1387260 CPUtime=2853.67 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 139053 0 0 0 285310 57 0 0 20 0 1 0 177588662 1504706560 346815 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 367360 346815 2794 2417 0 364462 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 1469440 KiB
Current children cumulated memory: 1387260 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/246 922769
/proc/meminfo: memFree=119273568/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1478148 memory=1396504 CPUtime=2913.5 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 141938 0 0 0 291292 58 0 0 20 0 1 0 177588662 1513623552 349126 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 369537 349126 2794 2417 0 366639 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 1478148 KiB
Current children cumulated memory: 1396504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/246 922793
/proc/meminfo: memFree=119228536/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1481500 memory=1399316 CPUtime=2973.33 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 143238 0 0 0 297274 59 0 0 20 0 1 0 177588662 1517056000 349829 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 370375 349829 2794 2417 0 367477 0
Current children cumulated CPU time: 2973.33 s
Current children cumulated vsize: 1481500 KiB
Current children cumulated memory: 1399316 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/246 922805
/proc/meminfo: memFree=119193176/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1496680 memory=1414388 CPUtime=3033.17 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 147677 0 0 0 303257 60 0 0 20 0 1 0 177588662 1532600320 353597 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 374170 353597 2794 2417 0 371272 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 1496680 KiB
Current children cumulated memory: 1414388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/244 922815
/proc/meminfo: memFree=119211976/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1500152 memory=1418012 CPUtime=3093 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 149157 0 0 0 309240 60 0 0 20 0 1 0 177588662 1536155648 354503 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 375038 354503 2794 2417 0 372140 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 1500152 KiB
Current children cumulated memory: 1418012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.16 4.14 5/244 922826
/proc/meminfo: memFree=119189600/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1507748 memory=1425600 CPUtime=3152.83 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 151677 0 0 0 315223 60 0 0 20 0 1 0 177588662 1543933952 356400 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 376937 356400 2794 2417 0 374039 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 1507748 KiB
Current children cumulated memory: 1425600 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/241 922837
/proc/meminfo: memFree=119209276/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1515232 memory=1434120 CPUtime=3212.67 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 154431 0 0 0 321206 61 0 0 20 0 1 0 177588662 1551597568 358530 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 378808 358530 2794 2417 0 375910 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 1515232 KiB
Current children cumulated memory: 1434120 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/241 922847
/proc/meminfo: memFree=119213000/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1524668 memory=1442396 CPUtime=3272.49 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 157122 0 0 0 327188 61 0 0 20 0 1 0 177588662 1561260032 360599 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 381167 360599 2794 2417 0 378269 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 1524668 KiB
Current children cumulated memory: 1442396 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/241 922857
/proc/meminfo: memFree=119210408/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1533576 memory=1451324 CPUtime=3332.33 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 159976 0 0 0 333171 62 0 0 20 0 1 0 177588662 1570381824 362831 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 383394 362831 2794 2417 0 380496 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 1533576 KiB
Current children cumulated memory: 1451324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/241 922867
/proc/meminfo: memFree=119213860/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1537916 memory=1455848 CPUtime=3392.16 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 161731 0 0 0 339154 62 0 0 20 0 1 0 177588662 1574825984 363962 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 384479 363962 2794 2417 0 381581 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 1537916 KiB
Current children cumulated memory: 1455848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/241 922878
/proc/meminfo: memFree=119174280/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1539208 memory=1457636 CPUtime=3452 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 162800 0 0 0 345137 63 0 0 20 0 1 0 177588662 1576148992 364409 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 384802 364409 2794 2417 0 381904 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 1539208 KiB
Current children cumulated memory: 1457636 KiB

[startup+3522.3 s]
/proc/loadavg: 3.81 4.05 4.09 3/230 922956
/proc/meminfo: memFree=121675740/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1556132 memory=1473656 CPUtime=3511.83 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 167456 0 0 0 351120 63 0 0 20 0 1 0 177588662 1593479168 368414 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 389033 368414 2794 2417 0 386135 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 1556132 KiB
Current children cumulated memory: 1473656 KiB

[startup+3582.3 s]
/proc/loadavg: 2.74 3.69 3.97 3/230 922966
/proc/meminfo: memFree=121668120/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=1556132 memory=1473928 CPUtime=3571.64 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 168117 0 0 0 357100 64 0 0 20 0 1 0 177588662 1593479168 368482 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 389033 368482 2794 2417 0 386135 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 1556132 KiB
Current children cumulated memory: 1473928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 2.55 3.56 3.91 3/230 922970
/proc/meminfo: memFree=122581840/131655788 swapFree=131071996/131071996
[pid=921018] ppid=921015 vsize=562652 memory=555544 CPUtime=3600.06 cores=5,7
/proc/921018/stat : 921018 (CASHWMaxSAT-Dis) R 921015 921018 919181 0 -1 4194304 168359 0 0 0 359942 64 0 0 20 0 1 0 177588662 576155648 138886 134679101440 4194304 14093885 140727535354112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 15976432 16051504 50135040 140727535363044 140727535363159 140727535363159 140727535370175 0
/proc/921018/statm: 140663 138886 2794 2417 0 137765 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 562652 KiB
Current children cumulated memory: 555544 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.42 s, system=0.657678 s

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

Child status: 10

Real time (s): 3610.81
CPU time (s): 3600.08
CPU user time (s): 3599.42
CPU system time (s): 0.657678
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 1556132
Max. memory (cumulated for all children) (KiB): 1473932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.657678
maximum resident set size= 1473932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168362
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= 85
involuntary context switches= 2513


# summary of solver processes directly reported to runsolver:
#   pid: 921018
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.42
#   total CPU system time (s): 0.657678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9391 second user time and 35.8424 second system time

The end