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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459564-1721886062/watcher-4459564-1721886062 -o /tmp/evaluation-result-4459564-1721886062/solver-4459564-1721886062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721877863-276060 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4459564-1721886062.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=281168, runsolver pid=281165

[startup+0.100965 s]*
/proc/loadavg: 4.20 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101689248/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=34672 memory=24932 CPUtime=0.09 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 5184 0 0 0 9 0 0 0 20 0 1 0 25135626 35504128 6233 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 8668 6233 2282 2550 0 5623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34672 KiB
Current children cumulated memory: 24932 KiB

[startup+0.205795 s]*
/proc/loadavg: 4.20 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101626236/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=97724 memory=86168 CPUtime=0.19 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 20332 0 0 0 17 2 0 0 20 0 1 0 25135626 100069376 21542 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 24431 21542 2490 2550 0 21386 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 97724 KiB
Current children cumulated memory: 86168 KiB

[startup+0.305782 s]*
/proc/loadavg: 4.20 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101606300/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=117060 memory=106232 CPUtime=0.3 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 25318 0 0 0 27 3 0 0 20 0 1 0 25135626 119869440 26558 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 29265 26558 2490 2550 0 26220 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117060 KiB
Current children cumulated memory: 106232 KiB

[startup+0.700245 s]
/proc/loadavg: 4.20 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101600500/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=123788 memory=113268 CPUtime=0.68 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 27072 0 0 0 65 3 0 0 20 0 1 0 25135626 126758912 28317 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 30947 28317 2538 2550 0 27902 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123788 KiB
Current children cumulated memory: 113268 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101597812/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=128380 memory=117492 CPUtime=1.48 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 28094 0 0 0 145 3 0 0 20 0 1 0 25135626 131461120 29373 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 32095 29373 2538 2550 0 29050 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 128380 KiB
Current children cumulated memory: 117492 KiB

[startup+3.10602 s]
/proc/loadavg: 4.20 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101588580/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=135704 memory=124864 CPUtime=3.08 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 29922 0 0 0 304 4 0 0 20 0 1 0 25135626 138960896 31216 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 33926 31216 2538 2550 0 30881 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 135704 KiB
Current children cumulated memory: 124864 KiB

[startup+6.3002 s]
/proc/loadavg: 4.18 4.21 4.18 5/257 281169
/proc/meminfo: memFree=101574212/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=145488 memory=134360 CPUtime=6.26 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 32354 0 0 0 622 4 0 0 20 0 1 0 25135626 148979712 33590 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 36372 33590 2538 2550 0 33327 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 145488 KiB
Current children cumulated memory: 134360 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.20 4.18 5/257 281170
/proc/meminfo: memFree=101562828/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=152156 memory=141220 CPUtime=12.64 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 34025 0 0 0 1260 4 0 0 20 0 1 0 25135626 155807744 35305 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 38039 35305 2538 2550 0 34994 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 141220 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.21 4.18 5/257 281172
/proc/meminfo: memFree=101430812/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=297280 memory=263220 CPUtime=25.39 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 62958 0 0 0 2529 10 0 0 20 0 1 0 25135626 304414720 65805 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 74320 65805 2666 2550 0 71275 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 297280 KiB
Current children cumulated memory: 263220 KiB

[startup+51.1061 s]
/proc/loadavg: 4.21 4.21 4.18 5/257 281178
/proc/meminfo: memFree=101431688/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=369248 memory=301480 CPUtime=50.92 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 72532 0 0 0 5079 13 0 0 20 0 1 0 25135626 378109952 75370 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 92312 75370 2666 2550 0 89267 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 369248 KiB
Current children cumulated memory: 301480 KiB

[startup+102.3 s]
/proc/loadavg: 4.68 4.36 4.24 5/256 281188
/proc/meminfo: memFree=101289452/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=446552 memory=352148 CPUtime=101.94 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 84226 0 0 0 10179 15 0 0 20 0 1 0 25135626 457269248 88037 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 111638 88037 2666 2550 0 108593 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 446552 KiB
Current children cumulated memory: 352148 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.31 4.22 5/256 281199
/proc/meminfo: memFree=101127996/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=703672 memory=545712 CPUtime=161.71 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 132110 0 0 0 16148 23 0 0 20 0 1 0 25135626 720560128 136428 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 175918 136428 2666 2550 0 172873 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 703672 KiB
Current children cumulated memory: 545712 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.28 4.22 5/257 281210
/proc/meminfo: memFree=101039228/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=749092 memory=570348 CPUtime=221.48 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 136338 0 0 0 22124 24 0 0 20 0 1 0 25135626 767070208 142587 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 187273 142587 2666 2550 0 184228 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 749092 KiB
Current children cumulated memory: 570348 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.26 4.21 5/255 281221
/proc/meminfo: memFree=100828796/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=781252 memory=595804 CPUtime=281.26 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 140924 0 0 0 28100 26 0 0 20 0 1 0 25135626 800002048 148951 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 195313 148951 2666 2550 0 192268 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 781252 KiB
Current children cumulated memory: 595804 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.22 4.20 5/255 281231
/proc/meminfo: memFree=100860444/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=851620 memory=661708 CPUtime=341.05 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 158708 0 0 0 34076 29 0 0 20 0 1 0 25135626 872058880 165427 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 212905 165427 2666 2550 0 209860 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 851620 KiB
Current children cumulated memory: 661708 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.21 4.20 5/255 281241
/proc/meminfo: memFree=100788276/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=941568 memory=711560 CPUtime=400.85 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 170165 0 0 0 40053 32 0 0 20 0 1 0 25135626 964165632 177890 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 235392 177890 2666 2550 0 232347 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 941568 KiB
Current children cumulated memory: 711560 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/255 281252
/proc/meminfo: memFree=100702732/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=964436 memory=720136 CPUtime=460.62 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 171795 0 0 0 46030 32 0 0 20 0 1 0 25135626 987582464 180034 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 241109 180034 2666 2550 0 238064 0

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

Current children cumulated memory: 1314560 KiB

[startup+2922.3 s]
/proc/loadavg: 1.13 2.17 3.23 2/238 282920
/proc/meminfo: memFree=108179096/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1312456 CPUtime=2912.6 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 321667 0 0 0 290950 310 0 0 20 0 1 0 25135626 1426169856 328114 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 328114 2666 2550 0 345141 0
Current children cumulated CPU time: 2912.6 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1312456 KiB

[startup+2982.3 s]
/proc/loadavg: 1.17 1.98 3.10 2/242 282991
/proc/meminfo: memFree=108158016/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1333012 CPUtime=2972.44 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 323066 0 0 0 296928 316 0 0 20 0 1 0 25135626 1426169856 333253 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 333253 2666 2550 0 345141 0
Current children cumulated CPU time: 2972.44 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1333012 KiB

[startup+3042.3 s]
/proc/loadavg: 1.12 1.82 2.97 2/240 283001
/proc/meminfo: memFree=108169708/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1322772 CPUtime=3032.28 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 324561 0 0 0 302904 324 0 0 20 0 1 0 25135626 1426169856 330693 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 330693 2666 2550 0 345141 0
Current children cumulated CPU time: 3032.28 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1322772 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.68 2.85 2/240 283012
/proc/meminfo: memFree=108168928/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1320724 CPUtime=3092.11 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 326297 0 0 0 308879 332 0 0 20 0 1 0 25135626 1426169856 330181 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 330181 2666 2550 0 345141 0
Current children cumulated CPU time: 3092.11 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1320724 KiB

[startup+3162.3 s]
/proc/loadavg: 1.18 1.60 2.74 2/237 283023
/proc/meminfo: memFree=108178460/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1312532 CPUtime=3151.95 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 327648 0 0 0 314855 340 0 0 20 0 1 0 25135626 1426169856 328133 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 328133 2666 2550 0 345141 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1312532 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.50 2.64 2/237 283033
/proc/meminfo: memFree=108174668/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1313736 CPUtime=3211.78 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 328579 0 0 0 320832 346 0 0 20 0 1 0 25135626 1426169856 328434 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 328434 2666 2550 0 345141 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1313736 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.42 2.54 2/237 283043
/proc/meminfo: memFree=108173068/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1314580 CPUtime=3271.61 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 329723 0 0 0 326808 353 0 0 20 0 1 0 25135626 1426169856 328645 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 328645 2666 2550 0 345141 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1314580 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.38 2.45 2/235 283057
/proc/meminfo: memFree=108166900/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1319880 CPUtime=3331.45 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 330658 0 0 0 332786 359 0 0 20 0 1 0 25135626 1426169856 329970 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 329970 2666 2550 0 345141 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1319880 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.32 2.36 2/235 283068
/proc/meminfo: memFree=108169752/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1316628 CPUtime=3391.28 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 331803 0 0 0 338763 365 0 0 20 0 1 0 25135626 1426169856 329157 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 329157 2666 2550 0 345141 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1316628 KiB

[startup+3462.3 s]
/proc/loadavg: 1.17 1.30 2.29 2/235 283078
/proc/meminfo: memFree=108173852/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1311688 CPUtime=3451.11 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 332733 0 0 0 344739 372 0 0 20 0 1 0 25135626 1426169856 327922 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 327922 2666 2550 0 345141 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1311688 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.26 2.21 2/235 283089
/proc/meminfo: memFree=108174476/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1310484 CPUtime=3510.95 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 333875 0 0 0 350716 379 0 0 20 0 1 0 25135626 1426169856 327621 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 327621 2666 2550 0 345141 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1310484 KiB

[startup+3582.3 s]
/proc/loadavg: 1.17 1.24 2.14 2/237 283103
/proc/meminfo: memFree=108166300/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1317832 CPUtime=3570.78 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 334798 0 0 0 356693 385 0 0 20 0 1 0 25135626 1426169856 329458 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 329458 2666 2550 0 345141 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1317832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 1.10 1.22 2.10 2/237 283107
/proc/meminfo: memFree=108172124/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1313736 CPUtime=3600.09 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 335479 0 0 0 359621 388 0 0 20 0 1 0 25135626 1426169856 328434 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 328434 2666 2550 0 345141 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1313736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.21 s, system=3.89282 s

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

[startup+3611.7 s]
/proc/loadavg: 1.10 1.22 2.10 2/237 283107
/proc/meminfo: memFree=108172124/131524600 swapFree=131071728/131071996
[pid=281168] ppid=281165 vsize=1392744 memory=1313736 CPUtime=3600.09 cores=0,2
/proc/281168/stat : 281168 (CASHWMaxSAT-Dis) R 281165 281168 276050 0 -1 4194304 335479 0 0 0 359621 388 0 0 20 0 1 0 25135626 1426169856 328434 134679101440 4194304 14636349 140723394174512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 38756352 140723394175971 140723394176087 140723394176087 140723394183102 0
/proc/281168/statm: 348186 328434 2666 2550 0 345141 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1392744 KiB
Current children cumulated memory: 1313736 KiB

Child status: 10

Real time (s): 3611.7
CPU time (s): 3600.11
CPU user time (s): 3596.21
CPU system time (s): 3.89282
CPU usage (%): 99.6789
Max. virtual memory (cumulated for all children) (KiB): 1522972
Max. memory (cumulated for all children) (KiB): 1425604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.21
system time used= 3.89282
maximum resident set size= 1427752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335480
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= 142
involuntary context switches= 25112


# summary of solver processes directly reported to runsolver:
#   pid: 281168
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3596.21
#   total CPU system time (s): 3.89282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09545 second user time and 16.6353 second system time

The end