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: 63665 MiB (60457 MiB free)
  memory of node 1: 64507 MiB (62978 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502391-1751427083/watcher-4502391-1751427083 -o /tmp/evaluation-result-4502391-1751427083/solver-4502391-1751427083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751427042-59164 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4502391-1751427083.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=59584, runsolver pid=59581

[startup+0.100067 s]*
/proc/loadavg: 2.39 1.40 1.19 5/266 59585
/proc/meminfo: memFree=126383548/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=38508 memory=22532 CPUtime=0.09 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 5505 0 0 0 9 0 0 0 20 0 1 0 58387858 39432192 5633 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 9627 5633 896 2593 0 6520 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38508 KiB
Current children cumulated memory: 22532 KiB

[startup+0.20554 s]*
/proc/loadavg: 2.39 1.40 1.19 5/266 59585
/proc/meminfo: memFree=126331888/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=88508 memory=76836 CPUtime=0.19 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 17923 0 0 0 17 2 0 0 20 0 1 0 58387858 90632192 19209 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 22127 19209 2304 2593 0 19020 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88508 KiB
Current children cumulated memory: 76836 KiB

[startup+0.305506 s]*
/proc/loadavg: 2.39 1.40 1.19 5/266 59585
/proc/meminfo: memFree=126265360/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=153172 memory=141604 CPUtime=0.28 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 33982 0 0 0 24 4 0 0 20 0 1 0 58387858 156848128 35401 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 38293 35401 2464 2593 0 35186 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 153172 KiB
Current children cumulated memory: 141604 KiB

[startup+0.70018 s]
/proc/loadavg: 2.39 1.40 1.19 5/266 59585
/proc/meminfo: memFree=126261328/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=207668 memory=194340 CPUtime=0.67 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 47115 0 0 0 61 6 0 0 20 0 1 0 58387858 212652032 48585 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 51917 48585 2528 2593 0 48810 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 207668 KiB
Current children cumulated memory: 194340 KiB

[startup+1.50017 s]
/proc/loadavg: 2.39 1.40 1.19 5/266 59585
/proc/meminfo: memFree=126193224/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=218104 memory=204836 CPUtime=1.48 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 49727 0 0 0 141 7 0 0 20 0 1 0 58387858 223338496 51209 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 54526 51209 2560 2593 0 51419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 218104 KiB
Current children cumulated memory: 204836 KiB

[startup+3.10537 s]
/proc/loadavg: 2.39 1.40 1.19 5/266 59585
/proc/meminfo: memFree=126055884/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=314456 memory=296944 CPUtime=3.08 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 75200 0 0 0 297 11 0 0 20 0 1 0 58387858 322002944 74236 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 78614 74236 2656 2593 0 75507 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 314456 KiB
Current children cumulated memory: 296944 KiB

[startup+6.30016 s]
/proc/loadavg: 2.59 1.46 1.21 5/266 59585
/proc/meminfo: memFree=125962348/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=316756 memory=299376 CPUtime=6.26 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 75813 0 0 0 615 11 0 0 20 0 1 0 58387858 324358144 74844 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 79189 74844 2656 2593 0 76082 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 316756 KiB
Current children cumulated memory: 299376 KiB

[startup+12.7002 s]
/proc/loadavg: 2.79 1.52 1.23 5/266 59631
/proc/meminfo: memFree=125541992/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=320016 memory=301808 CPUtime=12.64 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 76436 0 0 0 1253 11 0 0 20 0 1 0 58387858 327696384 75452 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 80004 75452 2656 2593 0 76897 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 320016 KiB
Current children cumulated memory: 301808 KiB

[startup+25.5002 s]
/proc/loadavg: 3.06 1.64 1.28 5/266 59631
/proc/meminfo: memFree=124726008/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=320436 memory=302960 CPUtime=25.4 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 76728 0 0 0 2529 11 0 0 20 0 1 0 58387858 328126464 75740 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 80109 75740 2656 2593 0 77002 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 320436 KiB
Current children cumulated memory: 302960 KiB

[startup+51.1058 s]
/proc/loadavg: 3.38 1.83 1.35 5/266 59631
/proc/meminfo: memFree=118667440/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=320436 memory=303216 CPUtime=50.92 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 76773 0 0 0 5081 11 0 0 20 0 1 0 58387858 328126464 75804 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 80109 75804 2656 2593 0 77002 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 320436 KiB
Current children cumulated memory: 303216 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 2.20 1.50 5/266 59633
/proc/meminfo: memFree=112417028/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=382496 memory=353436 CPUtime=101.93 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 84645 0 0 0 10181 12 0 0 20 0 1 0 58387858 391675904 88359 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 95624 88359 2656 2593 0 92517 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 382496 KiB
Current children cumulated memory: 353436 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.55 1.67 5/266 59635
/proc/meminfo: memFree=112257056/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=387120 memory=353964 CPUtime=161.72 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 85498 0 0 0 16160 12 0 0 20 0 1 0 58387858 396410880 88491 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 96780 88491 2656 2593 0 93673 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 387120 KiB
Current children cumulated memory: 353964 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.83 1.82 5/264 59637
/proc/meminfo: memFree=112130220/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=396764 memory=362596 CPUtime=221.52 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 86105 0 0 0 22139 13 0 0 20 0 1 0 58387858 406286336 90649 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 99191 90649 2656 2593 0 96084 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 396764 KiB
Current children cumulated memory: 362596 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.07 1.97 5/265 59640
/proc/meminfo: memFree=112229960/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=396764 memory=362596 CPUtime=281.3 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 86105 0 0 0 28117 13 0 0 20 0 1 0 58387858 406286336 90649 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 99191 90649 2656 2593 0 96084 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 396764 KiB
Current children cumulated memory: 362596 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.26 2.11 5/264 59642
/proc/meminfo: memFree=112282616/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=396764 memory=362596 CPUtime=341.09 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 86110 0 0 0 34096 13 0 0 20 0 1 0 58387858 406286336 90649 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 99191 90649 2656 2593 0 96084 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 396764 KiB
Current children cumulated memory: 362596 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.41 2.23 5/264 59648
/proc/meminfo: memFree=112325704/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=400944 memory=362596 CPUtime=400.88 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 86129 0 0 0 40075 13 0 0 20 0 1 0 58387858 410566656 90649 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 100236 90649 2656 2593 0 97129 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 400944 KiB
Current children cumulated memory: 362596 KiB

[startup+462.3 s]
/proc/loadavg: 4.34 3.62 2.38 5/263 59650
/proc/meminfo: memFree=112308236/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=400944 memory=362596 CPUtime=460.67 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 86134 0 0 0 46054 13 0 0 20 0 1 0 58387858 410566656 90649 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 100236 90649 2656 2593 0 97129 0

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

Current children cumulated memory: 335020 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.08 4.00 5/262 59780
/proc/meminfo: memFree=111936084/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=2912.27 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91167 0 0 0 291210 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 2912.27 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/263 59783
/proc/meminfo: memFree=111939516/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=2972.08 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91169 0 0 0 297191 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 2972.08 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/264 59788
/proc/meminfo: memFree=111927480/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3031.89 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91201 0 0 0 303172 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3031.89 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/264 59790
/proc/meminfo: memFree=111862416/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3091.69 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91201 0 0 0 309152 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3091.69 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/264 59792
/proc/meminfo: memFree=111777168/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3151.5 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91202 0 0 0 315133 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3151.5 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3222.3 s]
/proc/loadavg: 4.34 4.18 4.05 5/264 59794
/proc/meminfo: memFree=111778044/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3211.3 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91206 0 0 0 321113 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.05 5/263 59796
/proc/meminfo: memFree=112454012/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3271.11 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91206 0 0 0 327094 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3271.11 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.05 5/262 59798
/proc/meminfo: memFree=112406992/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3330.91 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91213 0 0 0 333074 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/263 59805
/proc/meminfo: memFree=111443664/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3390.72 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91213 0 0 0 339055 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/263 59807
/proc/meminfo: memFree=111986840/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3450.52 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91214 0 0 0 345035 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3450.52 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/263 59809
/proc/meminfo: memFree=110872996/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3510.32 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91218 0 0 0 351015 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3510.32 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/265 59859
/proc/meminfo: memFree=125341144/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3570.13 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91218 0 0 0 356996 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/265 59904
/proc/meminfo: memFree=119770960/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3600.02 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91221 0 0 0 359985 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.86 s, system=0.191381 s

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

[startup+3612.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/265 59904
/proc/meminfo: memFree=119770960/131249996 swapFree=33010416/33010684
[pid=59584] ppid=59581 vsize=346456 memory=335020 CPUtime=3600.02 cores=4,6
/proc/59584/stat : 59584 (CASHWMaxSAT-Dis) R 59581 59584 59153 0 -1 4194304 91221 0 0 0 359985 17 0 0 20 0 1 0 58387858 354770944 83755 18446744073709551615 4198400 14817773 140730395872976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32530432 140730395875690 140730395875805 140730395875805 140730395881407 0
/proc/59584/statm: 86614 83755 2688 2593 0 83507 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 346456 KiB
Current children cumulated memory: 335020 KiB

Child status: 10

Real time (s): 3612.31
CPU time (s): 3600.05
CPU user time (s): 3599.86
CPU system time (s): 0.191381
CPU usage (%): 99.6605
Max. virtual memory (cumulated for all children) (KiB): 495292
Max. memory (cumulated for all children) (KiB): 405404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.191381
maximum resident set size= 405404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91224
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= 3
involuntary context switches= 1162


# summary of solver processes directly reported to runsolver:
#   pid: 59584
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.191381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67255 second user time and 17.1224 second system time

The end