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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522065-1751574341/watcher-4522065-1751574341 -o /tmp/evaluation-result-4522065-1751574341/solver-4522065-1751574341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751566451-81051 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4522065-1751574341.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=82480, runsolver pid=82477
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 82481
/proc/meminfo: memFree=128046936/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=47004 memory=38528 CPUtime=0.1 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 7477 0 0 0 10 0 0 0 20 0 1 0 73111678 48132096 9632 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 11751 9632 2432 2593 0 8644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47004 KiB
Current children cumulated memory: 38528 KiB

[startup+0.205508 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 82481
/proc/meminfo: memFree=128022744/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=67668 memory=57280 CPUtime=0.19 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 12845 0 0 0 19 0 0 0 20 0 1 0 73111678 69292032 14320 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 16917 14320 2496 2593 0 13810 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67668 KiB
Current children cumulated memory: 57280 KiB

[startup+0.305404 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 82481
/proc/meminfo: memFree=128022744/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=74396 memory=62912 CPUtime=0.3 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 14115 0 0 0 29 1 0 0 20 0 1 0 73111678 76181504 15728 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 18599 15728 2656 2593 0 15492 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74396 KiB
Current children cumulated memory: 62912 KiB

[startup+0.700126 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 82481
/proc/meminfo: memFree=128018964/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=82636 memory=70976 CPUtime=0.69 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 16121 0 0 0 68 1 0 0 20 0 1 0 73111678 84619264 17744 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 20659 17744 2656 2593 0 17552 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 82636 KiB
Current children cumulated memory: 70976 KiB

[startup+1.5001 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 82481
/proc/meminfo: memFree=128006868/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=92672 memory=78400 CPUtime=1.48 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 17990 0 0 0 147 1 0 0 20 0 1 0 73111678 94896128 19600 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 23168 19600 2656 2593 0 20061 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92672 KiB
Current children cumulated memory: 78400 KiB

[startup+3.10524 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 82481
/proc/meminfo: memFree=127998848/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=101036 memory=84416 CPUtime=3.08 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 19498 0 0 0 307 1 0 0 20 0 1 0 73111678 103460864 21104 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 25259 21104 2656 2593 0 22152 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101036 KiB
Current children cumulated memory: 84416 KiB

[startup+6.30014 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 82481
/proc/meminfo: memFree=127974656/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=121388 memory=100684 CPUtime=6.27 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 24051 0 0 0 625 2 0 0 20 0 1 0 73111678 124301312 25171 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 30347 25171 2656 2593 0 27240 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 121388 KiB
Current children cumulated memory: 100684 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 82481
/proc/meminfo: memFree=127955684/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=138420 memory=113868 CPUtime=12.65 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 27343 0 0 0 1262 3 0 0 20 0 1 0 73111678 141742080 28467 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 34605 28467 2656 2593 0 31498 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138420 KiB
Current children cumulated memory: 113868 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 82481
/proc/meminfo: memFree=127927480/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=140308 memory=122316 CPUtime=25.41 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 29477 0 0 0 2538 3 0 0 20 0 1 0 73111678 143675392 30579 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 35077 30579 2656 2593 0 31970 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 140308 KiB
Current children cumulated memory: 122316 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 82484
/proc/meminfo: memFree=127879952/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=177380 memory=149060 CPUtime=50.94 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 37147 0 0 0 5090 4 0 0 20 0 1 0 73111678 181637120 37265 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 44345 37265 2656 2593 0 41238 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 177380 KiB
Current children cumulated memory: 149060 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 82485
/proc/meminfo: memFree=127766888/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=248596 memory=206648 CPUtime=101.99 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 53961 0 0 0 10192 7 0 0 20 0 1 0 73111678 254562304 51662 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 62149 51662 2656 2593 0 59042 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 248596 KiB
Current children cumulated memory: 206648 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/264 82487
/proc/meminfo: memFree=127652448/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=281400 memory=248848 CPUtime=161.82 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 67270 0 0 0 16172 10 0 0 20 0 1 0 73111678 288153600 62212 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 70350 62212 2656 2593 0 67243 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 281400 KiB
Current children cumulated memory: 248848 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 82489
/proc/meminfo: memFree=127568228/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=294908 memory=266640 CPUtime=221.65 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 71739 0 0 0 22155 10 0 0 20 0 1 0 73111678 301985792 66660 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 73727 66660 2656 2593 0 70620 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 294908 KiB
Current children cumulated memory: 266640 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 82537
/proc/meminfo: memFree=127074972/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=324828 memory=294424 CPUtime=281.47 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 79296 0 0 0 28135 12 0 0 20 0 1 0 73111678 332623872 73606 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 81207 73606 2656 2593 0 78100 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 324828 KiB
Current children cumulated memory: 294424 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 82540
/proc/meminfo: memFree=123401620/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=371904 memory=316184 CPUtime=341.29 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 84756 0 0 0 34116 13 0 0 20 0 1 0 73111678 380829696 79046 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 92976 79046 2656 2593 0 89869 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 371904 KiB
Current children cumulated memory: 316184 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 82542
/proc/meminfo: memFree=123287136/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=392992 memory=332516 CPUtime=401.08 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 97622 0 0 0 40092 16 0 0 20 0 1 0 73111678 402423808 83129 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 98248 83129 2656 2593 0 95141 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 392992 KiB
Current children cumulated memory: 332516 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 82544
/proc/meminfo: memFree=123178664/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=402292 memory=353764 CPUtime=460.88 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 100896 0 0 0 46070 18 0 0 20 0 1 0 73111678 411947008 88441 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 100573 88441 2656 2593 0 97466 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 768588 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/262 82797
/proc/meminfo: memFree=114541532/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=955416 memory=769612 CPUtime=2913.57 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 214696 0 0 0 291311 46 0 0 20 0 1 0 73111678 978345984 192403 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 238854 192403 2656 2593 0 235747 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 955416 KiB
Current children cumulated memory: 769612 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 82806
/proc/meminfo: memFree=114451980/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=959884 memory=774388 CPUtime=2973.39 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 215386 0 0 0 297293 46 0 0 20 0 1 0 73111678 982921216 193597 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 239971 193597 2656 2593 0 236864 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 959884 KiB
Current children cumulated memory: 774388 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 82808
/proc/meminfo: memFree=114398508/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=756592 CPUtime=3033.23 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 218659 0 0 0 303274 49 0 0 20 0 1 0 73111678 959590400 189148 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 189148 2688 2593 0 231168 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 756592 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 82810
/proc/meminfo: memFree=114390340/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=756592 CPUtime=3093.05 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 218659 0 0 0 309256 49 0 0 20 0 1 0 73111678 959590400 189148 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 189148 2688 2593 0 231168 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 756592 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 82812
/proc/meminfo: memFree=114386588/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=760304 CPUtime=3152.89 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 219659 0 0 0 315239 50 0 0 20 0 1 0 73111678 959590400 190076 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 190076 2688 2593 0 231168 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 760304 KiB

[startup+3222.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/263 82814
/proc/meminfo: memFree=114330324/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=760304 CPUtime=3212.72 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 219677 0 0 0 321221 51 0 0 20 0 1 0 73111678 959590400 190076 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 190076 2688 2593 0 231168 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 760304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/263 82816
/proc/meminfo: memFree=115460788/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=769392 CPUtime=3272.55 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 222039 0 0 0 327204 51 0 0 20 0 1 0 73111678 959590400 192348 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 192348 2688 2593 0 231168 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 769392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/263 82830
/proc/meminfo: memFree=115511844/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=769392 CPUtime=3332.38 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 222057 0 0 0 333187 51 0 0 20 0 1 0 73111678 959590400 192348 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 192348 2688 2593 0 231168 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 769392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/263 82832
/proc/meminfo: memFree=115455716/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=769392 CPUtime=3392.21 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 222128 0 0 0 339169 52 0 0 20 0 1 0 73111678 959590400 192348 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 192348 2688 2593 0 231168 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 769392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 82834
/proc/meminfo: memFree=115734544/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=769392 CPUtime=3452.05 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 222191 0 0 0 345153 52 0 0 20 0 1 0 73111678 959590400 192348 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 192348 2688 2593 0 231168 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 769392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 82837
/proc/meminfo: memFree=115582032/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=772720 CPUtime=3511.87 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 223022 0 0 0 351135 52 0 0 20 0 1 0 73111678 959590400 193180 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 193180 2688 2593 0 231168 0
Current children cumulated CPU time: 3511.87 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 772720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 82845
/proc/meminfo: memFree=115561664/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=775664 CPUtime=3571.7 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 223837 0 0 0 357118 52 0 0 20 0 1 0 73111678 959590400 193916 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 193916 2688 2593 0 231168 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 775664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 82846
/proc/meminfo: memFree=115577448/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=775664 CPUtime=3600.02 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 223839 0 0 0 359949 53 0 0 20 0 1 0 73111678 959590400 193916 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 193916 2688 2593 0 231168 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 775664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.5 s, system=0.557874 s

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

[startup+3610.7 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 82846
/proc/meminfo: memFree=115577448/131249988 swapFree=33010160/33010684
[pid=82480] ppid=82477 vsize=937100 memory=775664 CPUtime=3600.02 cores=4,6
/proc/82480/stat : 82480 (CASHWMaxSAT-Dis) R 82477 82480 81040 0 -1 4194304 223839 0 0 0 359949 53 0 0 20 0 1 0 73111678 959590400 193916 18446744073709551615 4198400 14817773 140727603907088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36323328 140727603911018 140727603911133 140727603911133 140727603916735 0
/proc/82480/statm: 234275 193916 2688 2593 0 231168 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 937100 KiB
Current children cumulated memory: 775664 KiB

Child status: 10

Real time (s): 3610.73
CPU time (s): 3600.06
CPU user time (s): 3599.5
CPU system time (s): 0.557874
CPU usage (%): 99.7045
Max. virtual memory (cumulated for all children) (KiB): 968520
Max. memory (cumulated for all children) (KiB): 782324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.5
system time used= 0.557874
maximum resident set size= 782324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223842
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= 69
involuntary context switches= 19627


# summary of solver processes directly reported to runsolver:
#   pid: 82480
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.5
#   total CPU system time (s): 0.557874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77622 second user time and 16.1897 second system time

The end