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

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


[startup+0.100095 s]*
/proc/loadavg: 4.14 4.14 4.10 5/253 268724
/proc/meminfo: memFree=110372652/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=37264 memory=22736 CPUtime=0.1 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 4961 0 0 0 9 1 0 0 20 0 1 0 24841487 38158336 5684 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 9316 5684 878 2594 0 6209 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 22736 KiB

[startup+0.205572 s]*
/proc/loadavg: 4.14 4.14 4.10 5/253 268724
/proc/meminfo: memFree=110335156/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=55592 memory=41240 CPUtime=0.2 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 9540 0 0 0 19 1 0 0 20 0 1 0 24841487 56926208 10310 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 13898 10310 878 2594 0 10791 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55592 KiB
Current children cumulated memory: 41240 KiB

[startup+0.305527 s]*
/proc/loadavg: 4.14 4.14 4.10 4/251 268724
/proc/meminfo: memFree=110378280/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=72712 memory=58136 CPUtime=0.3 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 13800 0 0 0 28 2 0 0 20 0 1 0 24841487 74457088 14534 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 18178 14534 878 2594 0 15071 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72712 KiB
Current children cumulated memory: 58136 KiB

[startup+0.700221 s]
/proc/loadavg: 4.14 4.14 4.10 4/251 268739
/proc/meminfo: memFree=110242004/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=137844 memory=122860 CPUtime=0.69 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 29998 0 0 0 65 4 0 0 20 0 1 0 24841487 141152256 30715 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 34461 30715 878 2594 0 31354 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 137844 KiB
Current children cumulated memory: 122860 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 268771
/proc/meminfo: memFree=110048280/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=369808 memory=360308 CPUtime=1.49 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 89005 0 0 0 136 13 0 0 20 0 1 0 24841487 378683392 90077 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 92452 90077 2446 2594 0 89345 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 369808 KiB
Current children cumulated memory: 360308 KiB

[startup+3.10566 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 268773
/proc/meminfo: memFree=108741124/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=687408 memory=673840 CPUtime=3.09 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 166308 0 0 0 285 24 0 0 20 0 1 0 24841487 703905792 168460 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 171852 168460 2526 2594 0 168745 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 687408 KiB
Current children cumulated memory: 673840 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.13 4.10 5/254 268773
/proc/meminfo: memFree=107724300/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1279136 memory=1219464 CPUtime=6.28 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 213958 0 0 0 586 42 0 0 20 0 1 0 24841487 1309835264 304866 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 319784 304866 2638 2594 0 316677 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1279136 KiB
Current children cumulated memory: 1219464 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.10 5/254 268773
/proc/meminfo: memFree=107704312/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1279136 memory=1220468 CPUtime=12.65 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 214241 0 0 0 1222 43 0 0 20 0 1 0 24841487 1309835264 305117 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 319784 305117 2638 2594 0 316677 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1279136 KiB
Current children cumulated memory: 1220468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 268822
/proc/meminfo: memFree=107666456/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1279136 memory=1221344 CPUtime=25.41 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 214479 0 0 0 2496 45 0 0 20 0 1 0 24841487 1309835264 305336 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 319784 305336 2638 2594 0 316677 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1279136 KiB
Current children cumulated memory: 1221344 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 268825
/proc/meminfo: memFree=107662340/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1279136 memory=1221452 CPUtime=50.92 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 214545 0 0 0 5046 46 0 0 20 0 1 0 24841487 1309835264 305363 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 319784 305363 2638 2594 0 316677 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1279136 KiB
Current children cumulated memory: 1221452 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/254 268879
/proc/meminfo: memFree=107380644/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1282400 memory=1225200 CPUtime=101.95 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 215010 0 0 0 10147 48 0 0 20 0 1 0 24841487 1313177600 306300 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 320600 306300 2638 2594 0 317493 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1282400 KiB
Current children cumulated memory: 1225200 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.23 4.13 5/255 268890
/proc/meminfo: memFree=107371852/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1284080 memory=1226600 CPUtime=161.76 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 215939 0 0 0 16125 51 0 0 20 0 1 0 24841487 1314897920 306650 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 321020 306650 2638 2594 0 317913 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1284080 KiB
Current children cumulated memory: 1226600 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/255 269287
/proc/meminfo: memFree=107364476/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1284080 memory=1226920 CPUtime=221.56 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 216081 0 0 0 22102 54 0 0 20 0 1 0 24841487 1314897920 306730 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 321020 306730 2638 2594 0 317913 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1284080 KiB
Current children cumulated memory: 1226920 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.18 4.12 5/255 269299
/proc/meminfo: memFree=107353384/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1286900 memory=1228508 CPUtime=281.36 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 216567 0 0 0 28079 57 0 0 20 0 1 0 24841487 1317785600 307127 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 321725 307127 2638 2594 0 318618 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1286900 KiB
Current children cumulated memory: 1228508 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/254 269310
/proc/meminfo: memFree=107345784/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1286900 memory=1228672 CPUtime=341.17 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 216645 0 0 0 34057 60 0 0 20 0 1 0 24841487 1317785600 307168 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 321725 307168 2638 2594 0 318618 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1286900 KiB
Current children cumulated memory: 1228672 KiB

[startup+402.3 s]
/proc/loadavg: 4.31 4.20 4.13 5/256 269491
/proc/meminfo: memFree=107201604/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1292492 memory=1230572 CPUtime=400.97 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 217170 0 0 0 40034 63 0 0 20 0 1 0 24841487 1323511808 307643 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 323123 307643 2638 2594 0 320016 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1292492 KiB
Current children cumulated memory: 1230572 KiB

[startup+462.3 s]
/proc/loadavg: 4.43 4.27 4.16 5/256 269501
/proc/meminfo: memFree=107163436/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1336792 memory=1255420 CPUtime=460.78 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 222884 0 0 0 46012 66 0 0 20 0 1 0 24841487 1368875008 313855 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 334198 313855 2670 2594 0 331091 0

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

Current children cumulated memory: 1371104 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/254 270714
/proc/meminfo: memFree=106428264/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1437976 memory=1371104 CPUtime=2912.95 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 289977 0 0 0 291199 96 0 0 20 0 1 0 24841487 1472487424 342776 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 359494 342776 2670 2594 0 356387 0
Current children cumulated CPU time: 2912.95 s
Current children cumulated vsize: 1437976 KiB
Current children cumulated memory: 1371104 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 270727
/proc/meminfo: memFree=106427596/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=1437976 memory=1371104 CPUtime=2972.76 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 290149 0 0 0 297180 96 0 0 20 0 1 0 24841487 1472487424 342776 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 359494 342776 2670 2594 0 356387 0
Current children cumulated CPU time: 2972.76 s
Current children cumulated vsize: 1437976 KiB
Current children cumulated memory: 1371104 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/254 270737
/proc/meminfo: memFree=107820496/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854292 CPUtime=3032.56 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 290610 0 0 0 303158 98 0 0 20 0 1 0 24841487 903282688 213573 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213573 2702 2594 0 217421 0
Current children cumulated CPU time: 3032.56 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/254 270747
/proc/meminfo: memFree=107788236/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3092.36 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 290739 0 0 0 309138 98 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3092.36 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 270757
/proc/meminfo: memFree=107722748/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3152.16 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 290861 0 0 0 315118 98 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3152.16 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/252 270768
/proc/meminfo: memFree=107717356/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3211.97 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 290975 0 0 0 321098 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3211.97 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 270779
/proc/meminfo: memFree=107688936/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3271.77 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291152 0 0 0 327078 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3271.77 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/252 270790
/proc/meminfo: memFree=107673940/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3331.57 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291291 0 0 0 333058 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3331.57 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/252 270801
/proc/meminfo: memFree=107664528/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3391.37 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291426 0 0 0 339038 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3391.37 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.40 4.22 4.13 5/252 270811
/proc/meminfo: memFree=107655028/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3451.17 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291575 0 0 0 345018 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3451.17 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/254 270825
/proc/meminfo: memFree=107631188/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3510.97 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291732 0 0 0 350998 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3510.97 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/254 270837
/proc/meminfo: memFree=107604468/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3570.77 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291883 0 0 0 356978 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.22 4.20 4.13 4/251 270856
/proc/meminfo: memFree=108347592/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3600.07 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291916 0 0 0 359908 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.08 s, system=1.00125 s

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

[startup+3611.7 s]
/proc/loadavg: 4.22 4.20 4.13 4/251 270856
/proc/meminfo: memFree=108347592/131524600 swapFree=131063756/131071996
[pid=268723] ppid=268720 vsize=882112 memory=854356 CPUtime=3600.07 cores=5,7
/proc/268723/stat : 268723 (CASHWMaxSAT-Dis) R 268720 268723 264513 0 -1 4194304 291916 0 0 0 359908 99 0 0 20 0 1 0 24841487 903282688 213589 134679101440 4194304 14817773 140735014940064 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47939584 140735014941673 140735014941788 140735014941788 140735014948799 0
/proc/268723/statm: 220528 213589 2718 2594 0 217421 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 882112 KiB
Current children cumulated memory: 854356 KiB

Child status: 10

Real time (s): 3611.7
CPU time (s): 3600.08
CPU user time (s): 3599.08
CPU system time (s): 1.00125
CPU usage (%): 99.6783
Max. virtual memory (cumulated for all children) (KiB): 1583100
Max. memory (cumulated for all children) (KiB): 1498364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.00125
maximum resident set size= 1498364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291920
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= 19
involuntary context switches= 1071


# summary of solver processes directly reported to runsolver:
#   pid: 268723
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 1.00125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83381 second user time and 17.3102 second system time

The end