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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=77709, runsolver pid=77694
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.57 1.17 2.00 6/267 77710
/proc/meminfo: memFree=128859672/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=59836 memory=50068 CPUtime=0.1 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 10815 0 0 0 9 1 0 0 20 0 1 0 70110242 61272064 12517 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 14959 12517 2336 2416 0 12061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59836 KiB
Current children cumulated memory: 50068 KiB

[startup+0.205459 s]*
/proc/loadavg: 0.57 1.17 2.00 6/267 77710
/proc/meminfo: memFree=128831448/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=74532 memory=64404 CPUtime=0.2 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 14327 0 0 0 19 1 0 0 20 0 1 0 70110242 76320768 16101 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 18633 16101 2400 2416 0 15735 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74532 KiB
Current children cumulated memory: 64404 KiB

[startup+0.305276 s]*
/proc/loadavg: 0.57 1.17 2.00 6/267 77710
/proc/meminfo: memFree=128808264/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=117432 memory=99676 CPUtime=0.3 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 19797 0 0 0 28 2 0 0 20 0 1 0 70110242 120250368 24919 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 29358 24919 2400 2416 0 26460 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117432 KiB
Current children cumulated memory: 99676 KiB

[startup+0.700122 s]
/proc/loadavg: 0.57 1.17 2.00 6/267 77710
/proc/meminfo: memFree=128707996/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=192176 memory=172876 CPUtime=0.69 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 35456 0 0 0 64 5 0 0 20 0 1 0 70110242 196788224 43219 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 48044 43219 2496 2416 0 45146 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192176 KiB
Current children cumulated memory: 172876 KiB

[startup+1.50012 s]
/proc/loadavg: 0.57 1.17 2.00 6/267 77710
/proc/meminfo: memFree=128691868/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=193024 memory=175436 CPUtime=1.49 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 36093 0 0 0 144 5 0 0 20 0 1 0 70110242 197656576 43859 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 48256 43859 2528 2416 0 45358 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 193024 KiB
Current children cumulated memory: 175436 KiB

[startup+3.10493 s]
/proc/loadavg: 0.84 1.22 2.01 6/267 77710
/proc/meminfo: memFree=128579516/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=195080 memory=177612 CPUtime=3.08 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 36625 0 0 0 303 5 0 0 20 0 1 0 70110242 199761920 44403 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 48770 44403 2528 2416 0 45872 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 195080 KiB
Current children cumulated memory: 177612 KiB

[startup+6.30012 s]
/proc/loadavg: 0.84 1.22 2.01 6/268 77711
/proc/meminfo: memFree=128555520/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=218536 memory=189772 CPUtime=6.27 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 39686 0 0 0 621 6 0 0 20 0 1 0 70110242 223780864 47443 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 54634 47443 2528 2416 0 51736 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 218536 KiB
Current children cumulated memory: 189772 KiB

[startup+12.7001 s]
/proc/loadavg: 1.10 1.27 2.02 6/268 77711
/proc/meminfo: memFree=128474972/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=308636 memory=276084 CPUtime=12.65 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 63503 0 0 0 1256 9 0 0 20 0 1 0 70110242 316043264 69021 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 77159 69021 2528 2416 0 74261 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 308636 KiB
Current children cumulated memory: 276084 KiB

[startup+25.5001 s]
/proc/loadavg: 1.74 1.40 2.05 6/268 77712
/proc/meminfo: memFree=128362172/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=360220 memory=328180 CPUtime=25.42 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 76562 0 0 0 2530 12 0 0 20 0 1 0 70110242 368865280 82045 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 90055 82045 2528 2416 0 87157 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 360220 KiB
Current children cumulated memory: 328180 KiB

[startup+51.1049 s]
/proc/loadavg: 2.51 1.61 2.11 6/268 77712
/proc/meminfo: memFree=128298088/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=360220 memory=329332 CPUtime=50.95 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 76842 0 0 0 5083 12 0 0 20 0 1 0 70110242 368865280 82333 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 90055 82333 2528 2416 0 87157 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 360220 KiB
Current children cumulated memory: 329332 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.01 2.22 6/268 77714
/proc/meminfo: memFree=128198160/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=360220 memory=329460 CPUtime=101.99 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 76901 0 0 0 10187 12 0 0 20 0 1 0 70110242 368865280 82365 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 90055 82365 2528 2416 0 87157 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 360220 KiB
Current children cumulated memory: 329460 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.39 2.34 6/267 77716
/proc/meminfo: memFree=128055280/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=397768 memory=368700 CPUtime=161.81 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 93818 0 0 0 16165 16 0 0 20 0 1 0 70110242 407314432 92175 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 99442 92175 2528 2416 0 96544 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 397768 KiB
Current children cumulated memory: 368700 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.70 2.45 6/267 77722
/proc/meminfo: memFree=127956336/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=382960 memory=355044 CPUtime=221.62 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 103366 0 0 0 22144 18 0 0 20 0 1 0 70110242 392151040 88761 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 95740 88761 2528 2416 0 92842 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 382960 KiB
Current children cumulated memory: 355044 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.96 2.56 6/267 77724
/proc/meminfo: memFree=127853672/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=436776 memory=406500 CPUtime=281.43 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 116274 0 0 0 28124 19 0 0 20 0 1 0 70110242 447258624 101625 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 109194 101625 2528 2416 0 106296 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 436776 KiB
Current children cumulated memory: 406500 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.16 2.65 6/263 77726
/proc/meminfo: memFree=127694528/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=472332 memory=442468 CPUtime=341.25 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 125289 0 0 0 34103 22 0 0 20 0 1 0 70110242 483667968 110617 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 118083 110617 2528 2416 0 115185 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 472332 KiB
Current children cumulated memory: 442468 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.33 2.75 6/263 77728
/proc/meminfo: memFree=127649200/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=433732 memory=405920 CPUtime=401.04 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 125436 0 0 0 40082 22 0 0 20 0 1 0 70110242 444141568 101480 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 108433 101480 2528 2416 0 105535 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 433732 KiB
Current children cumulated memory: 405920 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.47 2.83 6/263 77730
/proc/meminfo: memFree=127550944/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=433732 memory=405920 CPUtime=460.84 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 125447 0 0 0 46062 22 0 0 20 0 1 0 70110242 444141568 101480 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 108433 101480 2528 2416 0 105535 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 607144 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.02 6/264 77847
/proc/meminfo: memFree=127343748/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=2854.15 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 391020 0 0 0 284972 443 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.13 4.03 6/263 77849
/proc/meminfo: memFree=127347856/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=2914 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 406616 0 0 0 290929 471 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.03 6/264 77854
/proc/meminfo: memFree=127330972/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=631388 memory=609192 CPUtime=2973.84 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 412349 0 0 0 296902 482 0 0 20 0 1 0 70110242 646541312 152298 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 157847 152298 2528 2416 0 154949 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 631388 KiB
Current children cumulated memory: 609192 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.04 6/264 77856
/proc/meminfo: memFree=127339852/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=631388 memory=611240 CPUtime=3033.68 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 436734 0 0 0 302837 531 0 0 20 0 1 0 70110242 646541312 152810 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 157847 152810 2528 2416 0 154949 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 631388 KiB
Current children cumulated memory: 611240 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/264 77859
/proc/meminfo: memFree=127325992/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=631388 memory=613288 CPUtime=3093.52 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 440477 0 0 0 308813 539 0 0 20 0 1 0 70110242 646541312 153322 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 157847 153322 2528 2416 0 154949 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 631388 KiB
Current children cumulated memory: 613288 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/265 77862
/proc/meminfo: memFree=127320160/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=631388 memory=619432 CPUtime=3153.37 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 463765 0 0 0 314745 592 0 0 20 0 1 0 70110242 646541312 154858 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 157847 154858 2528 2416 0 154949 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 631388 KiB
Current children cumulated memory: 619432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.05 6/265 77868
/proc/meminfo: memFree=127360612/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3213.21 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 472042 0 0 0 320711 610 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.05 6/265 77870
/proc/meminfo: memFree=127345168/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3273.05 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 490496 0 0 0 326659 646 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.05 6/265 77872
/proc/meminfo: memFree=127355244/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3332.89 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 508444 0 0 0 332607 682 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/264 77885
/proc/meminfo: memFree=127363440/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=631388 memory=609192 CPUtime=3392.73 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 514865 0 0 0 338579 694 0 0 20 0 1 0 70110242 646541312 152298 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 157847 152298 2528 2416 0 154949 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 631388 KiB
Current children cumulated memory: 609192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/264 77887
/proc/meminfo: memFree=127361964/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3452.57 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 539934 0 0 0 344513 744 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.05 6/263 77889
/proc/meminfo: memFree=127363504/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3512.41 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 548158 0 0 0 350480 761 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.05 6/262 77893
/proc/meminfo: memFree=127355980/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3572.25 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 561723 0 0 0 356438 787 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.09 4.09 4.06 6/258 77902
/proc/meminfo: memFree=127657600/131249996 swapFree=33010416/33010684
[pid=77709] ppid=77694 vsize=582068 memory=575000 CPUtime=3600.08 cores=5,7
/proc/77709/stat : 77709 (CASHWMaxSAT-Dis) R 77694 77709 77638 0 -1 4194304 573655 0 0 0 359198 810 0 0 20 0 1 0 70110242 596037632 143750 18446744073709551615 4198400 14093885 140724193248448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26529792 140724193253738 140724193253853 140724193253853 140724193259455 0
/proc/77709/statm: 145517 143750 2528 2416 0 142619 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 582068 KiB
Current children cumulated memory: 575000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.98 s, system=8.10941 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.09
CPU user time (s): 3591.98
CPU system time (s): 8.10941
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 662208
Max. memory (cumulated for all children) (KiB): 629940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.98
system time used= 8.10941
maximum resident set size= 629940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573658
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= 98
involuntary context switches= 1912


# summary of solver processes directly reported to runsolver:
#   pid: 77709
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3591.98
#   total CPU system time (s): 8.10941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16243 second user time and 13.7648 second system time

The end