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: 63794 MiB (62692 MiB free)
  memory of node 1: 64507 MiB (62931 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519029-1751548415/watcher-4519029-1751548415 -o /tmp/evaluation-result-4519029-1751548415/solver-4519029-1751548415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751541185-78159 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519029-1751548415.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=78978, runsolver pid=78975
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.23 4.11 4.10 5/252 78979
/proc/meminfo: memFree=128636620/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=29276 memory=20320 CPUtime=0.1 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 3167 0 0 0 10 0 0 0 20 0 1 0 70520386 29978624 5080 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 7319 5080 2272 2593 0 4212 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29276 KiB
Current children cumulated memory: 20320 KiB

[startup+0.21332 s]*
/proc/loadavg: 4.23 4.11 4.10 5/252 78979
/proc/meminfo: memFree=128612932/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=48492 memory=38880 CPUtime=0.22 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 7619 0 0 0 20 2 0 0 20 0 1 0 70520386 49655808 9720 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 12123 9720 2496 2593 0 9016 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 38880 KiB

[startup+0.313352 s]*
/proc/loadavg: 4.23 4.11 4.10 5/252 78979
/proc/meminfo: memFree=128604868/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=54224 memory=44640 CPUtime=0.31 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 9006 0 0 0 29 2 0 0 20 0 1 0 70520386 55525376 11128 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 13556 11160 2528 2593 0 10449 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54224 KiB
Current children cumulated memory: 44640 KiB

[startup+0.700278 s]
/proc/loadavg: 4.23 4.11 4.10 5/252 78979
/proc/meminfo: memFree=128599324/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=66684 memory=56832 CPUtime=0.68 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 12134 0 0 0 65 3 0 0 20 0 1 0 70520386 68284416 14208 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 16671 14208 2624 2593 0 13564 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66684 KiB
Current children cumulated memory: 56832 KiB

[startup+1.50031 s]
/proc/loadavg: 4.23 4.11 4.10 5/252 78979
/proc/meminfo: memFree=128561204/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=109284 memory=98180 CPUtime=1.48 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 23393 0 0 0 142 6 0 0 20 0 1 0 70520386 111906816 24545 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 27321 24545 2624 2593 0 24214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109284 KiB
Current children cumulated memory: 98180 KiB

[startup+3.11276 s]
/proc/loadavg: 4.29 4.13 4.10 5/252 78979
/proc/meminfo: memFree=128489132/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=158348 memory=142212 CPUtime=3.09 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 34400 0 0 0 300 9 0 0 20 0 1 0 70520386 162148352 35553 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 39587 35553 2624 2593 0 36480 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158348 KiB
Current children cumulated memory: 142212 KiB

[startup+6.30024 s]
/proc/loadavg: 4.29 4.13 4.10 5/252 78979
/proc/meminfo: memFree=128474820/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=163044 memory=143108 CPUtime=6.27 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 34639 0 0 0 618 9 0 0 20 0 1 0 70520386 166957056 35777 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 40761 35777 2624 2593 0 37654 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163044 KiB
Current children cumulated memory: 143108 KiB

[startup+12.7003 s]
/proc/loadavg: 4.35 4.14 4.11 5/252 78979
/proc/meminfo: memFree=128450816/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=173920 memory=152836 CPUtime=12.65 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 37060 0 0 0 1256 9 0 0 20 0 1 0 70520386 178094080 38209 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 43480 38209 2624 2593 0 40373 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 173920 KiB
Current children cumulated memory: 152836 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.14 4.11 5/252 78979
/proc/meminfo: memFree=128422652/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=178140 memory=157956 CPUtime=25.42 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 38410 0 0 0 2532 10 0 0 20 0 1 0 70520386 182415360 39489 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 44535 39489 2624 2593 0 41428 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 178140 KiB
Current children cumulated memory: 157956 KiB

[startup+51.1127 s]
/proc/loadavg: 4.26 4.14 4.11 5/252 78980
/proc/meminfo: memFree=128345808/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=204536 memory=185092 CPUtime=50.96 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 45196 0 0 0 5085 11 0 0 20 0 1 0 70520386 209444864 46273 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 51134 46273 2624 2593 0 48027 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 204536 KiB
Current children cumulated memory: 185092 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/252 78982
/proc/meminfo: memFree=128222208/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=257128 memory=236460 CPUtime=102.01 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 58474 0 0 0 10187 14 0 0 20 0 1 0 70520386 263299072 59115 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 64282 59115 2624 2593 0 61175 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 257128 KiB
Current children cumulated memory: 236460 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 78988
/proc/meminfo: memFree=128164068/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=271576 memory=248416 CPUtime=161.82 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 61937 0 0 0 16167 15 0 0 20 0 1 0 70520386 278093824 62104 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 67894 62104 2624 2593 0 64787 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 271576 KiB
Current children cumulated memory: 248416 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 78990
/proc/meminfo: memFree=128154180/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=288008 memory=253152 CPUtime=221.62 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 63138 0 0 0 22147 15 0 0 20 0 1 0 70520386 294920192 63288 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 72002 63288 2624 2593 0 68895 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 288008 KiB
Current children cumulated memory: 253152 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 78992
/proc/meminfo: memFree=128092488/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=305040 memory=271908 CPUtime=281.43 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 68126 0 0 0 28126 17 0 0 20 0 1 0 70520386 312360960 67977 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 76260 67977 2624 2593 0 73153 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 305040 KiB
Current children cumulated memory: 271908 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 78994
/proc/meminfo: memFree=128034812/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=327372 memory=301188 CPUtime=341.24 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 74478 0 0 0 34106 18 0 0 20 0 1 0 70520386 335228928 75297 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 81843 75297 2624 2593 0 78736 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 327372 KiB
Current children cumulated memory: 301188 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 78996
/proc/meminfo: memFree=127980440/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=346980 memory=329896 CPUtime=401.06 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 85553 0 0 0 40086 20 0 0 20 0 1 0 70520386 355307520 82474 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 86745 82474 2624 2593 0 83638 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 346980 KiB
Current children cumulated memory: 329896 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 79001
/proc/meminfo: memFree=127988384/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=368024 memory=347048 CPUtime=460.89 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 85966 0 0 0 46068 21 0 0 20 0 1 0 70520386 376856576 86762 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 92006 86762 2624 2593 0 88899 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 427184 KiB

[startup+2862.3 s]
/proc/loadavg: 4.62 4.40 4.22 5/251 79122
/proc/meminfo: memFree=127707272/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=2853.93 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157499 0 0 0 285352 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 2853.93 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+2922.3 s]
/proc/loadavg: 4.28 4.34 4.21 5/250 79124
/proc/meminfo: memFree=127709540/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=2913.75 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157510 0 0 0 291334 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.29 4.20 5/250 79126
/proc/meminfo: memFree=127696180/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=2973.58 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157551 0 0 0 297317 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.25 4.18 5/250 79128
/proc/meminfo: memFree=127693792/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3033.39 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157575 0 0 0 303298 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.22 4.18 5/250 79129
/proc/meminfo: memFree=127698904/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3093.21 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157575 0 0 0 309280 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.19 4.17 5/252 79138
/proc/meminfo: memFree=127683356/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3153.04 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157635 0 0 0 315263 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.17 4.16 5/252 79140
/proc/meminfo: memFree=127701448/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3212.86 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157636 0 0 0 321245 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.16 5/251 79142
/proc/meminfo: memFree=127695116/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3272.67 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157675 0 0 0 327226 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/251 79144
/proc/meminfo: memFree=127694080/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3332.5 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157701 0 0 0 333209 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.19 4.17 5/251 79146
/proc/meminfo: memFree=127682548/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3392.32 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157714 0 0 0 339191 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.67 4.32 4.22 5/250 79152
/proc/meminfo: memFree=127685680/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3452.14 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157777 0 0 0 345173 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.27 4.21 5/250 79154
/proc/meminfo: memFree=127683772/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3511.96 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157789 0 0 0 351155 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.24 4.19 5/250 79156
/proc/meminfo: memFree=127685932/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3571.78 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157829 0 0 0 357137 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.09 4.21 4.19 4/242 79174
/proc/meminfo: memFree=128163768/131382112 swapFree=33009904/33010684
[pid=78978] ppid=78975 vsize=434476 memory=427184 CPUtime=3600 cores=4,6
/proc/78978/stat : 78978 (CASHWMaxSAT-Dis) R 78975 78978 78148 0 -1 4194304 157856 0 0 0 359959 41 0 0 20 0 1 0 70520386 444903424 106796 18446744073709551615 4198400 14817773 140724960199408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 34242560 140724960201066 140724960201181 140724960201181 140724960206783 0
/proc/78978/statm: 108619 106796 2688 2593 0 105512 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 434476 KiB
Current children cumulated memory: 427184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.59 s, system=0.421268 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.01
CPU user time (s): 3599.59
CPU system time (s): 0.421268
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 496208
Max. memory (cumulated for all children) (KiB): 484656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.421268
maximum resident set size= 484928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157859
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= 47
involuntary context switches= 1657


# summary of solver processes directly reported to runsolver:
#   pid: 78978
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.59
#   total CPU system time (s): 0.421268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5166 second user time and 33.7489 second system time

The end