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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458082-1721879542/watcher-4458082-1721879542 -o /tmp/evaluation-result-4458082-1721879542/solver-4458082-1721879542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721875930-265221 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4458082-1721879542.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=267311, runsolver pid=267308

[startup+0.100575 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 267312
/proc/meminfo: memFree=117822100/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=45308 memory=36348 CPUtime=0.09 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 7052 0 0 0 9 0 0 0 20 0 1 0 24482492 46395392 9087 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 11327 9087 2618 2550 0 8282 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45308 KiB
Current children cumulated memory: 36348 KiB

[startup+0.20559 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 267312
/proc/meminfo: memFree=117815324/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=52524 memory=43068 CPUtime=0.19 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 8716 0 0 0 19 0 0 0 20 0 1 0 24482492 53784576 10767 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 13131 10767 2650 2550 0 10086 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52524 KiB
Current children cumulated memory: 43068 KiB

[startup+0.305494 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 267312
/proc/meminfo: memFree=117795724/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=72852 memory=62072 CPUtime=0.29 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 13474 0 0 0 28 1 0 0 20 0 1 0 24482492 74600448 15518 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 18213 15518 2650 2550 0 15168 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72852 KiB
Current children cumulated memory: 62072 KiB

[startup+0.700174 s]
/proc/loadavg: 4.08 4.11 4.09 4/253 267312
/proc/meminfo: memFree=120003620/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=84512 memory=74480 CPUtime=0.68 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 16544 0 0 0 67 1 0 0 20 0 1 0 24482492 86540288 18620 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 21128 18620 2650 2550 0 18083 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84512 KiB
Current children cumulated memory: 74480 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 267358
/proc/meminfo: memFree=119970692/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=112332 memory=99560 CPUtime=1.48 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 22831 0 0 0 145 3 0 0 20 0 1 0 24482492 115027968 24890 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 28083 24890 2650 2550 0 25038 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 99560 KiB

[startup+3.10538 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 267358
/proc/meminfo: memFree=119947176/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=124680 memory=108272 CPUtime=3.08 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 25007 0 0 0 305 3 0 0 20 0 1 0 24482492 127672320 27068 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 31170 27068 2650 2550 0 28125 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124680 KiB
Current children cumulated memory: 108272 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 267360
/proc/meminfo: memFree=119935736/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=133040 memory=115664 CPUtime=6.27 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 26850 0 0 0 624 3 0 0 20 0 1 0 24482492 136232960 28916 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 33260 28916 2650 2550 0 30215 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 133040 KiB
Current children cumulated memory: 115664 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 267360
/proc/meminfo: memFree=119917336/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=137816 memory=120152 CPUtime=12.65 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 28019 0 0 0 1262 3 0 0 20 0 1 0 24482492 141123584 30038 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 34454 30038 2650 2550 0 31409 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 137816 KiB
Current children cumulated memory: 120152 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 267408
/proc/meminfo: memFree=120123384/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=160192 memory=142312 CPUtime=25.41 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 33562 0 0 0 2537 4 0 0 20 0 1 0 24482492 164036608 35578 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 40048 35578 2650 2550 0 37003 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 160192 KiB
Current children cumulated memory: 142312 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 267413
/proc/meminfo: memFree=120066320/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=194764 memory=178388 CPUtime=50.94 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 42184 0 0 0 5087 7 0 0 20 0 1 0 24482492 199438336 44597 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 48691 44597 2650 2550 0 45646 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 194764 KiB
Current children cumulated memory: 178388 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 267422
/proc/meminfo: memFree=120011636/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=220284 memory=210096 CPUtime=102.01 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 48494 0 0 0 10192 9 0 0 20 0 1 0 24482492 225570816 52524 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 55071 52524 2650 2550 0 52026 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 220284 KiB
Current children cumulated memory: 210096 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 267432
/proc/meminfo: memFree=119959696/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=241160 memory=233624 CPUtime=161.84 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 53735 0 0 0 16175 9 0 0 20 0 1 0 24482492 246947840 58406 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 60290 58406 2650 2550 0 57245 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 241160 KiB
Current children cumulated memory: 233624 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/253 267824
/proc/meminfo: memFree=119929184/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=249344 memory=241148 CPUtime=221.67 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 55664 0 0 0 22157 10 0 0 20 0 1 0 24482492 255328256 60287 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 62336 60287 2650 2550 0 59291 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 249344 KiB
Current children cumulated memory: 241148 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/253 267835
/proc/meminfo: memFree=119871344/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=273796 memory=264924 CPUtime=281.48 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 59191 0 0 0 28138 10 0 0 20 0 1 0 24482492 280367104 66231 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 68449 66231 2650 2550 0 65404 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 273796 KiB
Current children cumulated memory: 264924 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 267847
/proc/meminfo: memFree=119799056/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=281180 memory=271304 CPUtime=341.28 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 60936 0 0 0 34118 10 0 0 20 0 1 0 24482492 287928320 67826 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 70295 67826 2650 2550 0 67250 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 281180 KiB
Current children cumulated memory: 271304 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 268026
/proc/meminfo: memFree=119772084/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=293648 memory=283016 CPUtime=401.09 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 63561 0 0 0 40098 11 0 0 20 0 1 0 24482492 300695552 70754 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 73412 70754 2650 2550 0 70367 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 293648 KiB
Current children cumulated memory: 283016 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 268036
/proc/meminfo: memFree=119740908/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=302732 memory=292208 CPUtime=460.89 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 65467 0 0 0 46078 11 0 0 20 0 1 0 24482492 309997568 73052 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 75683 73052 2650 2550 0 72638 0

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

Current children cumulated memory: 445124 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/253 269094
/proc/meminfo: memFree=119291968/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=445124 CPUtime=2854.24 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 123405 0 0 0 285403 21 0 0 20 0 1 0 24482492 488353792 111281 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111281 2650 2550 0 116182 0
Current children cumulated CPU time: 2854.24 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 445124 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 269109
/proc/meminfo: memFree=119291504/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=445124 CPUtime=2914.09 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 123532 0 0 0 291388 21 0 0 20 0 1 0 24482492 488353792 111281 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111281 2650 2550 0 116182 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 445124 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 269121
/proc/meminfo: memFree=119291172/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=445124 CPUtime=2973.93 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 123659 0 0 0 297372 21 0 0 20 0 1 0 24482492 488353792 111281 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111281 2650 2550 0 116182 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 445124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/255 269131
/proc/meminfo: memFree=119284128/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=447172 CPUtime=3033.78 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 123787 0 0 0 303357 21 0 0 20 0 1 0 24482492 488353792 111793 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111793 2650 2550 0 116182 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 447172 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 269142
/proc/meminfo: memFree=119283848/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=447172 CPUtime=3093.62 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 123916 0 0 0 309341 21 0 0 20 0 1 0 24482492 488353792 111793 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111793 2650 2550 0 116182 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 447172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 269152
/proc/meminfo: memFree=119283516/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=447172 CPUtime=3153.47 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 124044 0 0 0 315326 21 0 0 20 0 1 0 24482492 488353792 111793 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111793 2650 2550 0 116182 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 447172 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 269162
/proc/meminfo: memFree=119281156/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=476908 memory=447172 CPUtime=3213.32 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 124172 0 0 0 321311 21 0 0 20 0 1 0 24482492 488353792 111793 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 119227 111793 2650 2550 0 116182 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 476908 KiB
Current children cumulated memory: 447172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 269174
/proc/meminfo: memFree=119251848/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=488580 memory=475844 CPUtime=3273.16 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 124835 0 0 0 327295 21 0 0 20 0 1 0 24482492 500305920 118961 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 122145 118961 2650 2550 0 119100 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 488580 KiB
Current children cumulated memory: 475844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 269184
/proc/meminfo: memFree=119278340/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=458232 memory=449216 CPUtime=3333.01 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 125395 0 0 0 333279 22 0 0 20 0 1 0 24482492 469229568 112304 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 114558 112304 2650 2550 0 111513 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 458232 KiB
Current children cumulated memory: 449216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/252 269194
/proc/meminfo: memFree=119259480/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=488580 memory=471744 CPUtime=3392.86 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 125536 0 0 0 339263 23 0 0 20 0 1 0 24482492 500305920 117936 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 122145 117936 2650 2550 0 119100 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 488580 KiB
Current children cumulated memory: 471744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/252 269205
/proc/meminfo: memFree=119255044/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=458232 memory=447072 CPUtime=3452.7 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 126983 0 0 0 345244 26 0 0 20 0 1 0 24482492 469229568 111768 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 114558 111768 2650 2550 0 111513 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 458232 KiB
Current children cumulated memory: 447072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/254 269219
/proc/meminfo: memFree=119221680/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=488580 memory=477892 CPUtime=3512.54 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 127574 0 0 0 351226 28 0 0 20 0 1 0 24482492 500305920 119473 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 122145 119473 2650 2550 0 119100 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 488580 KiB
Current children cumulated memory: 477892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 269231
/proc/meminfo: memFree=119250560/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=488580 memory=477892 CPUtime=3572.39 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 128160 0 0 0 357210 29 0 0 20 0 1 0 24482492 500305920 119473 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 122145 119473 2650 2550 0 119100 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 488580 KiB
Current children cumulated memory: 477892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.06 4.12 4.10 5/254 269282
/proc/meminfo: memFree=119250632/131524600 swapFree=131068900/131071996
[pid=267311] ppid=267308 vsize=488580 memory=477892 CPUtime=3600.03 cores=1,3
/proc/267311/stat : 267311 (CASHWMaxSAT-Dis) R 267308 267311 265209 0 -1 4194304 128232 0 0 0 359974 29 0 0 20 0 1 0 24482492 500305920 119473 134679101440 4194304 14636349 140736450484288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 50712576 140736450487271 140736450487387 140736450487387 140736450494398 0
/proc/267311/statm: 122145 119473 2650 2550 0 119100 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 488580 KiB
Current children cumulated memory: 477892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.75 s, system=0.301104 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.05
CPU user time (s): 3599.75
CPU system time (s): 0.301104
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 488580
Max. memory (cumulated for all children) (KiB): 477892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.75
system time used= 0.301104
maximum resident set size= 477900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128234
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= 56
involuntary context switches= 1916


# summary of solver processes directly reported to runsolver:
#   pid: 267311
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.75
#   total CPU system time (s): 0.301104

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15609 second user time and 17.1948 second system time

The end