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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488607-1751338702/watcher-4488607-1751338702 -o /tmp/evaluation-result-4488607-1751338702/solver-4488607-1751338702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751338435-46684 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4488607-1751338702.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=47435, runsolver pid=47432

[startup+0.100069 s]*
/proc/loadavg: 4.10 3.36 3.53 6/254 47436
/proc/meminfo: memFree=126509860/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=33732 memory=24320 CPUtime=0.1 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 3839 0 0 0 9 1 0 0 20 0 1 0 49549613 34541568 6080 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 8433 6080 2496 2593 0 5326 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33732 KiB
Current children cumulated memory: 24320 KiB

[startup+0.213336 s]*
/proc/loadavg: 4.10 3.36 3.53 5/254 47436
/proc/meminfo: memFree=126493856/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=39304 memory=30080 CPUtime=0.21 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 5246 0 0 0 20 1 0 0 20 0 1 0 49549613 40247296 7520 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 9826 7520 2528 2593 0 6719 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 30080 KiB

[startup+0.313215 s]*
/proc/loadavg: 4.10 3.36 3.53 5/254 47436
/proc/meminfo: memFree=126489320/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=45296 memory=36220 CPUtime=0.31 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 6864 0 0 0 29 2 0 0 20 0 1 0 49549613 46383104 9055 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 11324 9055 2624 2593 0 8217 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45296 KiB
Current children cumulated memory: 36220 KiB

[startup+0.700273 s]
/proc/loadavg: 4.10 3.36 3.53 5/254 47436
/proc/meminfo: memFree=126489320/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=46076 memory=37244 CPUtime=0.68 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 7078 0 0 0 66 2 0 0 20 0 1 0 49549613 47181824 9311 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 11519 9311 2656 2593 0 8412 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46076 KiB
Current children cumulated memory: 37244 KiB

[startup+1.50029 s]
/proc/loadavg: 4.10 3.36 3.53 5/254 47436
/proc/meminfo: memFree=126485288/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=50892 memory=41468 CPUtime=1.48 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 8145 0 0 0 146 2 0 0 20 0 1 0 49549613 52113408 10367 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 12723 10367 2656 2593 0 9616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50892 KiB
Current children cumulated memory: 41468 KiB

[startup+3.11298 s]
/proc/loadavg: 4.10 3.36 3.53 5/254 47436
/proc/meminfo: memFree=126481616/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=57660 memory=47356 CPUtime=3.09 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 9602 0 0 0 306 3 0 0 20 0 1 0 49549613 59043840 11839 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 14415 11839 2656 2593 0 11308 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57660 KiB
Current children cumulated memory: 47356 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 3.37 3.53 5/254 47436
/proc/meminfo: memFree=126433736/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=110952 memory=99068 CPUtime=6.27 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 22550 0 0 0 622 5 0 0 20 0 1 0 49549613 113614848 24767 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 27738 24767 2656 2593 0 24631 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 110952 KiB
Current children cumulated memory: 99068 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 3.38 3.53 5/254 47436
/proc/meminfo: memFree=126396372/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=123436 memory=107992 CPUtime=12.65 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 25917 0 0 0 1259 6 0 0 20 0 1 0 49549613 126398464 26998 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 30859 26998 2656 2593 0 27752 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 123436 KiB
Current children cumulated memory: 107992 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 3.41 3.54 5/254 47436
/proc/meminfo: memFree=126388152/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=129808 memory=115160 CPUtime=25.41 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 27683 0 0 0 2535 6 0 0 20 0 1 0 49549613 132923392 28790 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 32452 28790 2656 2593 0 29345 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 129808 KiB
Current children cumulated memory: 115160 KiB

[startup+51.1132 s]
/proc/loadavg: 4.10 3.47 3.56 5/253 47436
/proc/meminfo: memFree=126332752/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=178216 memory=160684 CPUtime=50.94 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 39343 0 0 0 5086 8 0 0 20 0 1 0 49549613 182493184 40171 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 44554 40171 2656 2593 0 41447 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 178216 KiB
Current children cumulated memory: 160684 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 3.57 3.59 5/252 47438
/proc/meminfo: memFree=126262104/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=183324 memory=165976 CPUtime=101.97 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 41134 0 0 0 10188 9 0 0 20 0 1 0 49549613 187723776 41494 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 45831 41494 2656 2593 0 42724 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 183324 KiB
Current children cumulated memory: 165976 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 3.70 3.64 5/250 47451
/proc/meminfo: memFree=126185604/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=222416 memory=198616 CPUtime=161.78 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 49307 0 0 0 16168 10 0 0 20 0 1 0 49549613 227753984 49654 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 55604 49654 2656 2593 0 52497 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 222416 KiB
Current children cumulated memory: 198616 KiB

[startup+222.3 s]
/proc/loadavg: 4.74 3.95 3.73 5/250 47454
/proc/meminfo: memFree=126159396/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=251480 memory=224756 CPUtime=221.59 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 55953 0 0 0 22147 12 0 0 20 0 1 0 49549613 257515520 56189 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 62870 56189 2656 2593 0 59763 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 251480 KiB
Current children cumulated memory: 224756 KiB

[startup+282.3 s]
/proc/loadavg: 4.32 3.98 3.75 5/250 47456
/proc/meminfo: memFree=126146464/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=254052 memory=226116 CPUtime=281.39 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 57769 0 0 0 28127 12 0 0 20 0 1 0 49549613 260149248 56529 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 63513 56529 2656 2593 0 60406 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 254052 KiB
Current children cumulated memory: 226116 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.02 3.78 5/250 47458
/proc/meminfo: memFree=126159964/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=278028 memory=250124 CPUtime=341.21 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 64312 0 0 0 34107 14 0 0 20 0 1 0 49549613 284700672 62531 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 69507 62531 2656 2593 0 66400 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 278028 KiB
Current children cumulated memory: 250124 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.03 3.80 5/251 47461
/proc/meminfo: memFree=126097016/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=278028 memory=250252 CPUtime=401.02 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 64357 0 0 0 40088 14 0 0 20 0 1 0 49549613 284700672 62563 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 69507 62563 2656 2593 0 66400 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 278028 KiB
Current children cumulated memory: 250252 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.02 3.82 5/251 47463
/proc/meminfo: memFree=126039144/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=282364 memory=254092 CPUtime=460.85 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 65316 0 0 0 46070 15 0 0 20 0 1 0 49549613 289140736 63523 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 70591 63523 2656 2593 0 67484 0

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

Current children cumulated memory: 386884 KiB

[startup+2862.3 s]
/proc/loadavg: 4.48 4.26 4.10 5/251 47582
/proc/meminfo: memFree=125326020/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=396140 memory=386884 CPUtime=2853.36 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 96423 0 0 0 285312 24 0 0 20 0 1 0 49549613 405647360 96721 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 99035 96721 2656 2593 0 95928 0
Current children cumulated CPU time: 2853.36 s
Current children cumulated vsize: 396140 KiB
Current children cumulated memory: 386884 KiB

[startup+2922.3 s]
/proc/loadavg: 4.29 4.25 4.10 5/251 47628
/proc/meminfo: memFree=128456088/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=500180 memory=483524 CPUtime=2913.19 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 120606 0 0 0 291291 28 0 0 20 0 1 0 49549613 512184320 120881 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 125045 120881 2656 2593 0 121938 0
Current children cumulated CPU time: 2913.19 s
Current children cumulated vsize: 500180 KiB
Current children cumulated memory: 483524 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.21 4.10 5/251 47630
/proc/meminfo: memFree=128378748/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=541756 memory=521412 CPUtime=2973.01 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 130210 0 0 0 297271 30 0 0 20 0 1 0 49549613 554758144 130353 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 135439 130353 2656 2593 0 132332 0
Current children cumulated CPU time: 2973.01 s
Current children cumulated vsize: 541756 KiB
Current children cumulated memory: 521412 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.19 4.09 5/251 47632
/proc/meminfo: memFree=128262580/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=598784 memory=577988 CPUtime=3032.84 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 144514 0 0 0 303252 32 0 0 20 0 1 0 49549613 613154816 144497 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 149696 144497 2656 2593 0 146589 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 598784 KiB
Current children cumulated memory: 577988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/250 47640
/proc/meminfo: memFree=128207868/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=620416 memory=598852 CPUtime=3092.67 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 149713 0 0 0 309233 34 0 0 20 0 1 0 49549613 635305984 149713 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 155104 149713 2656 2593 0 151997 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 620416 KiB
Current children cumulated memory: 598852 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/251 47643
/proc/meminfo: memFree=128180084/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=635724 memory=615876 CPUtime=3152.5 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 154000 0 0 0 315215 35 0 0 20 0 1 0 49549613 650981376 153969 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 158931 153969 2656 2593 0 155824 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 635724 KiB
Current children cumulated memory: 615876 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/250 47645
/proc/meminfo: memFree=128134820/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=636744 memory=616400 CPUtime=3212.33 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 155826 0 0 0 321198 35 0 0 20 0 1 0 49549613 652025856 154100 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 159186 154100 2656 2593 0 156079 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 636744 KiB
Current children cumulated memory: 616400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 47648
/proc/meminfo: memFree=128136820/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=636744 memory=617296 CPUtime=3272.16 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 156066 0 0 0 327181 35 0 0 20 0 1 0 49549613 652025856 154324 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 159186 154324 2656 2593 0 156079 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 636744 KiB
Current children cumulated memory: 617296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/251 47650
/proc/meminfo: memFree=128088212/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=636744 memory=617552 CPUtime=3331.99 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 156141 0 0 0 333164 35 0 0 20 0 1 0 49549613 652025856 154388 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 159186 154388 2656 2593 0 156079 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 636744 KiB
Current children cumulated memory: 617552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/251 47697
/proc/meminfo: memFree=128872740/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=636744 memory=617552 CPUtime=3391.82 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 156141 0 0 0 339147 35 0 0 20 0 1 0 49549613 652025856 154388 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 159186 154388 2656 2593 0 156079 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 636744 KiB
Current children cumulated memory: 617552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 47744
/proc/meminfo: memFree=128727992/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=641064 memory=620368 CPUtime=3451.64 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 156970 0 0 0 345128 36 0 0 20 0 1 0 49549613 656449536 155092 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 160266 155092 2656 2593 0 157159 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 641064 KiB
Current children cumulated memory: 620368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/252 47747
/proc/meminfo: memFree=128675828/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=641064 memory=620368 CPUtime=3511.44 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 156996 0 0 0 351108 36 0 0 20 0 1 0 49549613 656449536 155092 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 160266 155092 2656 2593 0 157159 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 641064 KiB
Current children cumulated memory: 620368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/251 47749
/proc/meminfo: memFree=128671124/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=641064 memory=620368 CPUtime=3571.24 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 157129 0 0 0 357088 36 0 0 20 0 1 0 49549613 656449536 155092 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 160266 155092 2656 2593 0 157159 0
Current children cumulated CPU time: 3571.24 s
Current children cumulated vsize: 641064 KiB
Current children cumulated memory: 620368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.15 4.13 4.09 5/251 47750
/proc/meminfo: memFree=128892456/131382120 swapFree=33010416/33010684
[pid=47435] ppid=47432 vsize=368996 memory=361088 CPUtime=3600.04 cores=0,2
/proc/47435/stat : 47435 (CASHWMaxSAT-Dis) R 47432 47435 46674 0 -1 4194304 157139 0 0 0 359965 39 0 0 20 0 1 0 49549613 377851904 90272 18446744073709551615 4198400 14817773 140725427145664 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39624704 140725427149162 140725427149277 140725427149277 140725427154879 0
/proc/47435/statm: 92249 90272 2688 2593 0 89142 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 368996 KiB
Current children cumulated memory: 361088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.65 s, system=0.397542 s

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

Child status: 10

Real time (s): 3611.2
CPU time (s): 3600.05
CPU user time (s): 3599.65
CPU system time (s): 0.397542
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 641064
Max. memory (cumulated for all children) (KiB): 622544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.65
system time used= 0.397542
maximum resident set size= 623172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157142
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= 33
involuntary context switches= 9124


# summary of solver processes directly reported to runsolver:
#   pid: 47435
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.65
#   total CPU system time (s): 0.397542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6813 second user time and 33.7536 second system time

The end