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: 63708 MiB (60977 MiB free)
  memory of node 1: 64465 MiB (43731 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486262-1751311232/watcher-4486262-1751311232 -o /tmp/evaluation-result-4486262-1751311232/solver-4486262-1751311232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751305795-50624 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4486262-1751311232.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=51330, runsolver pid=51327

[startup+0.100064 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107201496/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=36280 memory=17792 CPUtime=0.09 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 3837 0 0 0 9 0 0 0 20 0 1 0 46801983 37150720 4448 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 9070 4448 736 2416 0 6172 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36280 KiB
Current children cumulated memory: 17792 KiB

[startup+0.205355 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107201496/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=48592 memory=30212 CPUtime=0.19 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 7176 0 0 0 19 0 0 0 20 0 1 0 46801983 49758208 7553 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 12148 7553 768 2416 0 9250 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48592 KiB
Current children cumulated memory: 30212 KiB

[startup+0.305332 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107197652/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=66112 memory=46332 CPUtime=0.3 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 10648 0 0 0 29 1 0 0 20 0 1 0 46801983 67698688 11583 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 16528 11583 768 2416 0 13630 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66112 KiB
Current children cumulated memory: 46332 KiB

[startup+0.700188 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107133532/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=161624 memory=149460 CPUtime=0.68 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 34642 0 0 0 63 5 0 0 20 0 1 0 46801983 165502976 37365 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 40406 37365 2336 2416 0 37508 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161624 KiB
Current children cumulated memory: 149460 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107069272/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=208976 memory=195788 CPUtime=1.48 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 45590 0 0 0 141 7 0 0 20 0 1 0 46801983 213991424 48947 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 52244 48947 2496 2416 0 49346 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208976 KiB
Current children cumulated memory: 195788 KiB

[startup+3.10526 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107028568/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=210724 memory=197196 CPUtime=3.08 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 45944 0 0 0 301 7 0 0 20 0 1 0 46801983 215781376 49299 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 52681 49299 2496 2416 0 49783 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210724 KiB
Current children cumulated memory: 197196 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 51331
/proc/meminfo: memFree=107023104/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=210724 memory=197196 CPUtime=6.27 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 45945 0 0 0 619 8 0 0 20 0 1 0 46801983 215781376 49299 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 52681 49299 2496 2416 0 49783 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 210724 KiB
Current children cumulated memory: 197196 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 51331
/proc/meminfo: memFree=107018060/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=211316 memory=197196 CPUtime=12.65 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 45950 0 0 0 1257 8 0 0 20 0 1 0 46801983 216387584 49299 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 52829 49299 2496 2416 0 49931 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 211316 KiB
Current children cumulated memory: 197196 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 51331
/proc/meminfo: memFree=106521244/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=271740 memory=237516 CPUtime=25.41 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 56003 0 0 0 2532 9 0 0 20 0 1 0 46801983 278261760 59379 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 67935 59379 2528 2416 0 65037 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 271740 KiB
Current children cumulated memory: 237516 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 51332
/proc/meminfo: memFree=107475948/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=327868 memory=273876 CPUtime=50.94 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 64579 0 0 0 5083 11 0 0 20 0 1 0 46801983 335736832 68469 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 81967 68469 2528 2416 0 79069 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 327868 KiB
Current children cumulated memory: 273876 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 51334
/proc/meminfo: memFree=107457312/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=328476 memory=273876 CPUtime=102.01 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 64587 0 0 0 10189 12 0 0 20 0 1 0 46801983 336359424 68469 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 82119 68469 2528 2416 0 79221 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 328476 KiB
Current children cumulated memory: 273876 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 51335
/proc/meminfo: memFree=107287960/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=329488 memory=274900 CPUtime=161.85 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 64865 0 0 0 16173 12 0 0 20 0 1 0 46801983 337395712 68725 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 82372 68725 2528 2416 0 79474 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 329488 KiB
Current children cumulated memory: 274900 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 51337
/proc/meminfo: memFree=107279808/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=331940 memory=277332 CPUtime=221.68 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 65482 0 0 0 22156 12 0 0 20 0 1 0 46801983 339906560 69333 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 82985 69333 2528 2416 0 80087 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 331940 KiB
Current children cumulated memory: 277332 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 51340
/proc/meminfo: memFree=107191928/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=397784 memory=342868 CPUtime=281.51 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 81868 0 0 0 28136 15 0 0 20 0 1 0 46801983 407330816 85717 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 99446 85717 2528 2416 0 96548 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 397784 KiB
Current children cumulated memory: 342868 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 51342
/proc/meminfo: memFree=107160396/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=397784 memory=342868 CPUtime=341.35 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 81870 0 0 0 34120 15 0 0 20 0 1 0 46801983 407330816 85717 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 99446 85717 2528 2416 0 96548 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 397784 KiB
Current children cumulated memory: 342868 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 51344
/proc/meminfo: memFree=107114312/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=397784 memory=342868 CPUtime=401.18 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 81874 0 0 0 40103 15 0 0 20 0 1 0 46801983 407330816 85717 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 99446 85717 2528 2416 0 96548 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 397784 KiB
Current children cumulated memory: 342868 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 51353
/proc/meminfo: memFree=107074588/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=397784 memory=342868 CPUtime=461 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 81879 0 0 0 46085 15 0 0 20 0 1 0 46801983 407330816 85717 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 99446 85717 2528 2416 0 96548 0

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

Current children cumulated memory: 651868 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 51616
/proc/meminfo: memFree=124455616/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=2913.78 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127308 0 0 0 291351 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 51618
/proc/meminfo: memFree=124461044/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=2973.58 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127349 0 0 0 297331 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 51620
/proc/meminfo: memFree=124417320/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3033.37 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127400 0 0 0 303310 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 51622
/proc/meminfo: memFree=124406340/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3093.17 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127400 0 0 0 309290 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 51624
/proc/meminfo: memFree=124403864/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3152.96 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127492 0 0 0 315269 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 51626
/proc/meminfo: memFree=124405292/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3212.76 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127492 0 0 0 321249 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 51628
/proc/meminfo: memFree=124399604/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3272.55 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127551 0 0 0 327228 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 51631
/proc/meminfo: memFree=124395708/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3332.35 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127584 0 0 0 333208 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 51633
/proc/meminfo: memFree=124336936/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3392.14 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127626 0 0 0 339187 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 51635
/proc/meminfo: memFree=124304212/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3451.94 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127676 0 0 0 345167 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 51644
/proc/meminfo: memFree=124309728/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3511.73 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127676 0 0 0 351146 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 51646
/proc/meminfo: memFree=124250884/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3571.53 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127768 0 0 0 357126 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 51648
/proc/meminfo: memFree=124601196/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3600.04 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127768 0 0 0 359977 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.78 s, system=0.27389 s

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

[startup+3610.9 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 51648
/proc/meminfo: memFree=124601196/131249992 swapFree=33010684/33010684
[pid=51330] ppid=51327 vsize=726232 memory=651868 CPUtime=3600.04 cores=0,2
/proc/51330/stat : 51330 (CASHWMaxSAT-Dis) R 51327 51330 50614 0 -1 4194304 127768 0 0 0 359977 27 0 0 20 0 1 0 46801983 743661568 162967 18446744073709551615 4198400 14093885 140725981625424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52109312 140725981632874 140725981632989 140725981632989 140725981638591 0
/proc/51330/statm: 181558 162967 2528 2416 0 178660 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 726232 KiB
Current children cumulated memory: 651868 KiB

Child status: 10

Real time (s): 3610.9
CPU time (s): 3600.05
CPU user time (s): 3599.78
CPU system time (s): 0.27389
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 726232
Max. memory (cumulated for all children) (KiB): 651868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.27389
maximum resident set size= 651868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127770
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= 41
involuntary context switches= 4627


# summary of solver processes directly reported to runsolver:
#   pid: 51330
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.78
#   total CPU system time (s): 0.27389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03104 second user time and 15.9132 second system time

The end