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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439497-1721201851/watcher-4439497-1721201851 -o /tmp/evaluation-result-4439497-1721201851/solver-4439497-1721201851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721194641-893032 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439497-1721201851.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=897150, runsolver pid=897147
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 897151
/proc/meminfo: memFree=122226300/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=41740 memory=33196 CPUtime=0.09 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 6172 0 0 0 9 0 0 0 20 0 1 0 172348908 42741760 8299 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 10435 8299 2634 2550 0 7390 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 33196 KiB

[startup+0.205527 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 897151
/proc/meminfo: memFree=122224788/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=42436 memory=33720 CPUtime=0.2 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 6348 0 0 0 20 0 0 0 20 0 1 0 172348908 43454464 8430 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 10609 8430 2634 2550 0 7564 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 33720 KiB

[startup+0.305441 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 897151
/proc/meminfo: memFree=122221988/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=45628 memory=36656 CPUtime=0.3 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 7076 0 0 0 30 0 0 0 20 0 1 0 172348908 46723072 9164 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 11407 9164 2650 2550 0 8362 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45628 KiB
Current children cumulated memory: 36656 KiB

[startup+0.700231 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 897151
/proc/meminfo: memFree=122214792/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=46584 memory=37448 CPUtime=0.68 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 7246 0 0 0 68 0 0 0 20 0 1 0 172348908 47702016 9362 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 11646 9362 2650 2550 0 8601 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46584 KiB
Current children cumulated memory: 37448 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 897151
/proc/meminfo: memFree=122208800/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=51560 memory=41408 CPUtime=1.48 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 8238 0 0 0 148 0 0 0 20 0 1 0 172348908 52797440 10352 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 12890 10352 2650 2550 0 9845 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51560 KiB
Current children cumulated memory: 41408 KiB

[startup+3.10536 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 897153
/proc/meminfo: memFree=122159276/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=72400 memory=61736 CPUtime=3.08 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 13300 0 0 0 307 1 0 0 20 0 1 0 172348908 74137600 15434 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 18100 15434 2650 2550 0 15055 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72400 KiB
Current children cumulated memory: 61736 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 897153
/proc/meminfo: memFree=122047960/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=139492 memory=125624 CPUtime=6.28 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 29296 0 0 0 625 3 0 0 20 0 1 0 172348908 142839808 31406 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 34873 31406 2650 2550 0 31828 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 125624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 897200
/proc/meminfo: memFree=122441300/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=149444 memory=134600 CPUtime=12.65 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 31563 0 0 0 1262 3 0 0 20 0 1 0 172348908 153030656 33650 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 37361 33650 2650 2550 0 34316 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 149444 KiB
Current children cumulated memory: 134600 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 897202
/proc/meminfo: memFree=122170772/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=170104 memory=153344 CPUtime=25.41 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 36208 0 0 0 2537 4 0 0 20 0 1 0 172348908 174186496 38336 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 42526 38336 2650 2550 0 39481 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 170104 KiB
Current children cumulated memory: 153344 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 897205
/proc/meminfo: memFree=121779864/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=228248 memory=210364 CPUtime=50.94 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 50489 0 0 0 5085 9 0 0 20 0 1 0 172348908 233725952 52591 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 57062 52591 2650 2550 0 54017 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 228248 KiB
Current children cumulated memory: 210364 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 897215
/proc/meminfo: memFree=121738940/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=228248 memory=211044 CPUtime=101.96 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 51038 0 0 0 10184 12 0 0 20 0 1 0 172348908 233725952 52761 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 57062 52761 2650 2550 0 54017 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 228248 KiB
Current children cumulated memory: 211044 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 897230
/proc/meminfo: memFree=121625560/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=348724 memory=326576 CPUtime=161.77 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 80198 0 0 0 16159 18 0 0 20 0 1 0 172348908 357093376 81644 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 87181 81644 2650 2550 0 84136 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 348724 KiB
Current children cumulated memory: 326576 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 897241
/proc/meminfo: memFree=121678820/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=355740 memory=332316 CPUtime=221.57 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 81669 0 0 0 22138 19 0 0 20 0 1 0 172348908 364277760 83079 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 88935 83079 2650 2550 0 85890 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 355740 KiB
Current children cumulated memory: 332316 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 897251
/proc/meminfo: memFree=121651060/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=359092 memory=334504 CPUtime=281.38 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 82310 0 0 0 28118 20 0 0 20 0 1 0 172348908 367710208 83626 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 89773 83626 2650 2550 0 86728 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 359092 KiB
Current children cumulated memory: 334504 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 897263
/proc/meminfo: memFree=121673856/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=363644 memory=338212 CPUtime=341.18 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 83299 0 0 0 34098 20 0 0 20 0 1 0 172348908 372371456 84553 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 90911 84553 2650 2550 0 87866 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 363644 KiB
Current children cumulated memory: 338212 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 897274
/proc/meminfo: memFree=121489276/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=363644 memory=338704 CPUtime=400.99 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 83437 0 0 0 40078 21 0 0 20 0 1 0 172348908 372371456 84676 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 90911 84676 2650 2550 0 87866 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 363644 KiB
Current children cumulated memory: 338704 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 897284
/proc/meminfo: memFree=121527864/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=366704 memory=342096 CPUtime=460.79 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 84300 0 0 0 46058 21 0 0 20 0 1 0 172348908 375504896 85524 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 91676 85524 2650 2550 0 88631 0

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

Current children cumulated memory: 381424 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/257 898734
/proc/meminfo: memFree=123158076/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=2853.58 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 134702 0 0 0 285319 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 2853.58 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/255 898744
/proc/meminfo: memFree=123192548/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=2913.42 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 134769 0 0 0 291303 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 2913.42 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/255 898755
/proc/meminfo: memFree=123161848/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=2973.26 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 134836 0 0 0 297287 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/256 898936
/proc/meminfo: memFree=123060004/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3033.1 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 134904 0 0 0 303271 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/257 898948
/proc/meminfo: memFree=123184944/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3092.94 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 134972 0 0 0 309255 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/260 899017
/proc/meminfo: memFree=123235812/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3152.78 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135049 0 0 0 315239 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/260 899028
/proc/meminfo: memFree=123289808/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3212.62 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135120 0 0 0 321223 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/260 899039
/proc/meminfo: memFree=123000296/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3272.46 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135191 0 0 0 327207 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/259 899050
/proc/meminfo: memFree=123018100/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3332.3 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135262 0 0 0 333191 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 899061
/proc/meminfo: memFree=122888504/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3392.14 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135333 0 0 0 339175 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/254 899071
/proc/meminfo: memFree=123213376/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3451.98 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135404 0 0 0 345159 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/254 899082
/proc/meminfo: memFree=123138952/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3511.82 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135475 0 0 0 351143 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/254 899092
/proc/meminfo: memFree=123299972/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3571.66 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135546 0 0 0 357127 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.10 4.10 4/247 899129
/proc/meminfo: memFree=123619192/131524600 swapFree=131071996/131071996
[pid=897150] ppid=897147 vsize=388164 memory=381424 CPUtime=3600.08 cores=5,7
/proc/897150/stat : 897150 (CASHWMaxSAT-Dis) R 897147 897150 893019 0 -1 4194304 135606 0 0 0 359969 39 0 0 20 0 1 0 172348908 397479936 95356 134679101440 4194304 14636349 140734969725312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 26902528 140734969730018 140734969730134 140734969730134 140734969737150 0
/proc/897150/statm: 97041 95356 2650 2550 0 93996 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 381424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.7 s, system=0.397642 s

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

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.09
CPU user time (s): 3599.7
CPU system time (s): 0.397642
CPU usage (%): 99.7034
Max. virtual memory (cumulated for all children) (KiB): 567772
Max. memory (cumulated for all children) (KiB): 541484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.7
system time used= 0.397642
maximum resident set size= 541552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135609
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= 40
involuntary context switches= 1723


# summary of solver processes directly reported to runsolver:
#   pid: 897150
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.7
#   total CPU system time (s): 0.397642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66092 second user time and 16.337 second system time

The end