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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=81767, runsolver pid=81764

[startup+0.100064 s]*
/proc/loadavg: 4.38 4.18 4.11 5/262 81768
/proc/meminfo: memFree=126121856/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=36176 memory=21760 CPUtime=0.09 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 4728 0 0 0 9 0 0 0 20 0 1 0 72657165 37044224 5440 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 9044 5440 864 2593 0 5937 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36176 KiB
Current children cumulated memory: 21760 KiB

[startup+0.205542 s]*
/proc/loadavg: 4.38 4.18 4.11 5/262 81768
/proc/meminfo: memFree=126106448/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=53784 memory=39296 CPUtime=0.2 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 9095 0 0 0 19 1 0 0 20 0 1 0 72657165 55074816 9824 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 13446 9824 864 2593 0 10339 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53784 KiB
Current children cumulated memory: 39296 KiB

[startup+0.305537 s]*
/proc/loadavg: 4.38 4.18 4.11 5/262 81768
/proc/meminfo: memFree=126090320/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=70444 memory=55808 CPUtime=0.3 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 13239 0 0 0 28 2 0 0 20 0 1 0 72657165 72134656 13952 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 17611 13952 864 2593 0 14504 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70444 KiB
Current children cumulated memory: 55808 KiB

[startup+0.700164 s]
/proc/loadavg: 4.38 4.18 4.11 5/262 81768
/proc/meminfo: memFree=126058064/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=134000 memory=119168 CPUtime=0.69 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 29067 0 0 0 64 5 0 0 20 0 1 0 72657165 137216000 29792 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 33500 29792 864 2593 0 30393 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134000 KiB
Current children cumulated memory: 119168 KiB

[startup+1.50017 s]
/proc/loadavg: 4.38 4.18 4.11 5/262 81768
/proc/meminfo: memFree=125977424/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=261700 memory=247296 CPUtime=1.48 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 61098 0 0 0 136 12 0 0 20 0 1 0 72657165 267980800 61824 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 65425 61824 864 2593 0 62318 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 261700 KiB
Current children cumulated memory: 247296 KiB

[startup+3.10543 s]
/proc/loadavg: 4.38 4.18 4.11 5/262 81768
/proc/meminfo: memFree=125359356/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=873500 memory=860912 CPUtime=3.08 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 211992 0 0 0 272 36 0 0 20 0 1 0 72657165 894464000 215228 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 218375 215228 2496 2593 0 215268 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 873500 KiB
Current children cumulated memory: 860912 KiB

[startup+6.30016 s]
/proc/loadavg: 4.35 4.17 4.11 5/262 81768
/proc/meminfo: memFree=125126632/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1047060 memory=1032904 CPUtime=6.27 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 252941 0 0 0 584 43 0 0 20 0 1 0 72657165 1072189440 258226 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 261765 258226 2496 2593 0 258658 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1047060 KiB
Current children cumulated memory: 1032904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 4.19 4.12 5/262 81768
/proc/meminfo: memFree=124167768/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2031196 memory=1933880 CPUtime=12.65 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 324276 0 0 0 1196 69 0 0 20 0 1 0 72657165 2079944704 483470 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 507799 483470 2624 2593 0 504692 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2031196 KiB
Current children cumulated memory: 1933880 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.18 4.11 5/262 81768
/proc/meminfo: memFree=124151900/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2031196 memory=1933880 CPUtime=25.4 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 324279 0 0 0 2470 70 0 0 20 0 1 0 72657165 2079944704 483470 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 507799 483470 2624 2593 0 504692 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2031196 KiB
Current children cumulated memory: 1933880 KiB

[startup+51.1054 s]
/proc/loadavg: 4.20 4.16 4.11 5/262 81769
/proc/meminfo: memFree=124177068/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2031196 memory=1935928 CPUtime=50.92 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 324281 0 0 0 5022 70 0 0 20 0 1 0 72657165 2079944704 483982 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 507799 483982 2624 2593 0 504692 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2031196 KiB
Current children cumulated memory: 1935928 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.18 4.11 5/263 81776
/proc/meminfo: memFree=124162160/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2035824 memory=1941880 CPUtime=101.92 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 324775 0 0 0 10122 70 0 0 20 0 1 0 72657165 2084683776 485470 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 508956 485470 2624 2593 0 505849 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2035824 KiB
Current children cumulated memory: 1941880 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 81824
/proc/meminfo: memFree=124806056/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2035824 memory=1941880 CPUtime=161.71 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 324775 0 0 0 16101 70 0 0 20 0 1 0 72657165 2084683776 485470 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 508956 485470 2624 2593 0 505849 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2035824 KiB
Current children cumulated memory: 1941880 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/263 81826
/proc/meminfo: memFree=124581252/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2035824 memory=1941880 CPUtime=221.5 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 324802 0 0 0 22079 71 0 0 20 0 1 0 72657165 2084683776 485470 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 508956 485470 2624 2593 0 505849 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 2035824 KiB
Current children cumulated memory: 1941880 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 81828
/proc/meminfo: memFree=124494724/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2039460 memory=1944056 CPUtime=281.29 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 325363 0 0 0 28058 71 0 0 20 0 1 0 72657165 2088407040 486014 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 509865 486014 2624 2593 0 506758 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 2039460 KiB
Current children cumulated memory: 1944056 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 81830
/proc/meminfo: memFree=124499272/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2040408 memory=1945464 CPUtime=341.05 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 325726 0 0 0 34034 71 0 0 20 0 1 0 72657165 2089377792 486366 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 510102 486366 2624 2593 0 506995 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 2040408 KiB
Current children cumulated memory: 1945464 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/262 81832
/proc/meminfo: memFree=124501840/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2040408 memory=1945592 CPUtime=400.82 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 325781 0 0 0 40011 71 0 0 20 0 1 0 72657165 2089377792 486398 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 510102 486398 2624 2593 0 506995 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 2040408 KiB
Current children cumulated memory: 1945592 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 81834
/proc/meminfo: memFree=124527912/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=2041588 memory=1946104 CPUtime=460.59 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 325892 0 0 0 45988 71 0 0 20 0 1 0 72657165 2090586112 486526 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 510397 486526 2624 2593 0 507290 0
Current children cumulated CPU time: 460.59 s

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

Current children cumulated memory: 1553276 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/263 82214
/proc/meminfo: memFree=125935344/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=2852.8 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 420933 0 0 0 285182 98 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 2852.8 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/263 82216
/proc/meminfo: memFree=125928140/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=2912.63 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421078 0 0 0 291165 98 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 2912.63 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 82218
/proc/meminfo: memFree=125920664/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=2972.47 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421209 0 0 0 297149 98 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 2972.47 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 82220
/proc/meminfo: memFree=125919536/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3032.32 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421360 0 0 0 303133 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3032.32 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/263 82233
/proc/meminfo: memFree=125930884/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3092.16 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421559 0 0 0 309117 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/263 82280
/proc/meminfo: memFree=126975268/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3152 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421723 0 0 0 315101 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3152 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 82287
/proc/meminfo: memFree=126925544/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3211.85 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421838 0 0 0 321086 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3211.85 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 82291
/proc/meminfo: memFree=126913112/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3271.67 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 421969 0 0 0 327068 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3271.67 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 82293
/proc/meminfo: memFree=126901488/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3331.45 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 422185 0 0 0 333046 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 82295
/proc/meminfo: memFree=126872584/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3391.24 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 422372 0 0 0 339025 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3391.24 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 82297
/proc/meminfo: memFree=126838768/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3451.03 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 422501 0 0 0 345004 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3451.03 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 82299
/proc/meminfo: memFree=126855020/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3510.81 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 422619 0 0 0 350982 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 82301
/proc/meminfo: memFree=126871296/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3570.6 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 422843 0 0 0 356961 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3570.6 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 82303
/proc/meminfo: memFree=126864344/131249988 swapFree=33010160/33010684
[pid=81767] ppid=81764 vsize=1560868 memory=1553276 CPUtime=3600 cores=1,3
/proc/81767/stat : 81767 (CASHWMaxSAT-Dis) R 81764 81767 81040 0 -1 4194304 422860 0 0 0 359901 99 0 0 20 0 1 0 72657165 1598328832 388319 18446744073709551615 4198400 14817773 140730682685104 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52973568 140730682689898 140730682690013 140730682690013 140730682695615 0
/proc/81767/statm: 390217 388319 2688 2593 0 387110 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1560868 KiB
Current children cumulated memory: 1553276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=0.997098 s

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

Child status: 10

Real time (s): 3611.8
CPU time (s): 3600.01
CPU user time (s): 3599.01
CPU system time (s): 0.997098
CPU usage (%): 99.6734
Max. virtual memory (cumulated for all children) (KiB): 2491516
Max. memory (cumulated for all children) (KiB): 2354828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 0.997098
maximum resident set size= 2354828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422865
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= 22
involuntary context switches= 4610


# summary of solver processes directly reported to runsolver:
#   pid: 81767
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 0.997098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87765 second user time and 15.8116 second system time

The end