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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484008-1751284747/watcher-4484008-1751284747 -o /tmp/evaluation-result-4484008-1751284747/solver-4484008-1751284747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751281134-40793 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484008-1751284747.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=41181, runsolver pid=41178
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.13 4.09 4.03 5/250 41182
/proc/meminfo: memFree=129657688/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=36828 memory=16808 CPUtime=0.1 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 4241 0 0 0 9 1 0 0 20 0 1 0 44154453 37711872 4202 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 9207 4202 768 2416 0 6309 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36828 KiB
Current children cumulated memory: 16808 KiB

[startup+0.213304 s]*
/proc/loadavg: 4.13 4.09 4.03 5/250 41182
/proc/meminfo: memFree=129631668/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=41600 memory=22652 CPUtime=0.21 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 5111 0 0 0 20 1 0 0 20 0 1 0 44154453 42598400 5663 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 10400 5663 992 2416 0 7502 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 22652 KiB

[startup+0.313429 s]*
/proc/loadavg: 4.13 4.09 4.03 5/250 41182
/proc/meminfo: memFree=129616180/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=51112 memory=34568 CPUtime=0.31 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 7081 0 0 0 29 2 0 0 20 0 1 0 44154453 52338688 8642 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 12778 8642 992 2416 0 9880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51112 KiB
Current children cumulated memory: 34568 KiB

[startup+0.70031 s]
/proc/loadavg: 4.13 4.09 4.03 4/249 41185
/proc/meminfo: memFree=129604084/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=51320 memory=35660 CPUtime=0.68 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 8696 0 0 0 65 3 0 0 20 0 1 0 44154453 52551680 8915 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 12830 8915 992 2416 0 9932 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51320 KiB
Current children cumulated memory: 35660 KiB

[startup+1.50035 s]
/proc/loadavg: 4.13 4.09 4.03 5/246 41204
/proc/meminfo: memFree=129438420/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=280936 memory=266152 CPUtime=1.47 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 65371 0 0 0 128 19 0 0 20 0 1 0 44154453 287678464 66538 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 70234 66538 2560 2416 0 67336 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 280936 KiB
Current children cumulated memory: 266152 KiB

[startup+3.11315 s]
/proc/loadavg: 4.13 4.09 4.03 5/251 41213
/proc/meminfo: memFree=128690588/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=344684 memory=329656 CPUtime=3.07 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 80698 0 0 0 285 22 0 0 20 0 1 0 44154453 352956416 82414 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 86171 82414 2624 2416 0 83273 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 344684 KiB
Current children cumulated memory: 329656 KiB

[startup+6.30033 s]
/proc/loadavg: 4.12 4.09 4.02 5/251 41213
/proc/meminfo: memFree=128463932/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=344684 memory=329656 CPUtime=6.26 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 80698 0 0 0 603 23 0 0 20 0 1 0 44154453 352956416 82414 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 86171 82414 2624 2416 0 83273 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 344684 KiB
Current children cumulated memory: 329656 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.09 4.02 5/251 41213
/proc/meminfo: memFree=128131508/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=686204 memory=653136 CPUtime=12.63 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 126836 0 0 0 1231 32 0 0 20 0 1 0 44154453 702672896 163284 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 171551 163284 2752 2416 0 168653 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 686204 KiB
Current children cumulated memory: 653136 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 4.02 5/251 41213
/proc/meminfo: memFree=127936732/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=692372 memory=659536 CPUtime=25.38 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 128453 0 0 0 2505 33 0 0 20 0 1 0 44154453 708988928 164884 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 173093 164884 2752 2416 0 170195 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 692372 KiB
Current children cumulated memory: 659536 KiB

[startup+51.1131 s]
/proc/loadavg: 4.12 4.09 4.03 5/251 41213
/proc/meminfo: memFree=127409648/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=692532 memory=659792 CPUtime=50.9 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 128514 0 0 0 5057 33 0 0 20 0 1 0 44154453 709152768 164948 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 173133 164948 2752 2416 0 170235 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 692532 KiB
Current children cumulated memory: 659792 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/251 41215
/proc/meminfo: memFree=127405808/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=692808 memory=660048 CPUtime=101.9 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 128603 0 0 0 10156 34 0 0 20 0 1 0 44154453 709435392 165012 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 173202 165012 2752 2416 0 170304 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 692808 KiB
Current children cumulated memory: 660048 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/251 41228
/proc/meminfo: memFree=127414276/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=704528 memory=671120 CPUtime=161.68 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 130850 0 0 0 16133 35 0 0 20 0 1 0 44154453 721436672 167780 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 176132 167780 2752 2416 0 173234 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 704528 KiB
Current children cumulated memory: 671120 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/250 41230
/proc/meminfo: memFree=127413096/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=704528 memory=671120 CPUtime=221.46 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 130877 0 0 0 22110 36 0 0 20 0 1 0 44154453 721436672 167780 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 176132 167780 2752 2416 0 173234 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 704528 KiB
Current children cumulated memory: 671120 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 41232
/proc/meminfo: memFree=127379748/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=704528 memory=671120 CPUtime=281.24 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 130880 0 0 0 28088 36 0 0 20 0 1 0 44154453 721436672 167780 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 176132 167780 2752 2416 0 173234 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 704528 KiB
Current children cumulated memory: 671120 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/250 41235
/proc/meminfo: memFree=127382884/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=704528 memory=671376 CPUtime=341 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 130940 0 0 0 34063 37 0 0 20 0 1 0 44154453 721436672 167844 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 176132 167844 2752 2416 0 173234 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 704528 KiB
Current children cumulated memory: 671376 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/251 41239
/proc/meminfo: memFree=127383580/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=704528 memory=671632 CPUtime=400.76 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 130991 0 0 0 40039 37 0 0 20 0 1 0 44154453 721436672 167908 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 176132 167908 2752 2416 0 173234 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 704528 KiB
Current children cumulated memory: 671632 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/251 41241
/proc/meminfo: memFree=127342868/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=704528 memory=674064 CPUtime=460.52 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 131061 0 0 0 46014 38 0 0 20 0 1 0 44154453 721436672 168516 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 176132 168516 2752 2416 0 173234 0
Current children cumulated CPU time: 460.52 s

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

/proc/loadavg: 4.25 4.17 4.10 5/250 41286
/proc/meminfo: memFree=127116212/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1357.2 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 149488 0 0 0 135669 51 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1357.2 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1422.3 s]
/proc/loadavg: 4.75 4.34 4.16 5/250 41288
/proc/meminfo: memFree=127129180/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1417 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 149492 0 0 0 141648 52 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1417 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1482.3 s]
/proc/loadavg: 4.33 4.29 4.16 5/251 41291
/proc/meminfo: memFree=127057644/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1476.81 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 149741 0 0 0 147629 52 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1476.81 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1542.3 s]
/proc/loadavg: 4.44 4.32 4.18 5/250 41293
/proc/meminfo: memFree=127119012/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1536.61 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 149745 0 0 0 153609 52 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1536.61 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1602.3 s]
/proc/loadavg: 4.68 4.42 4.22 5/250 41295
/proc/meminfo: memFree=127111936/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1596.41 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 149941 0 0 0 159588 53 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1596.41 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1662.3 s]
/proc/loadavg: 4.29 4.36 4.21 5/250 41297
/proc/meminfo: memFree=127104040/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1656.21 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150004 0 0 0 165568 53 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1656.21 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1722.3 s]
/proc/loadavg: 4.21 4.32 4.20 5/250 41299
/proc/meminfo: memFree=127111392/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1716.02 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150007 0 0 0 171548 54 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1716.02 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.28 4.19 5/249 41301
/proc/meminfo: memFree=127105840/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1775.83 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150257 0 0 0 177528 55 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1775.83 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1802.57 s]
# the end of solver process 41181 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1795.49 s, system=0.559355 s

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

[startup+1792 s]*
/proc/loadavg: 4.11 4.27 4.19 5/249 41301
/proc/meminfo: memFree=127106848/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1785.51 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150259 0 0 0 178496 55 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1785.51 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1798.4 s]
/proc/loadavg: 4.10 4.26 4.19 5/249 41301
/proc/meminfo: memFree=127096952/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1791.88 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150261 0 0 0 179133 55 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1791.88 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1800 s]*
/proc/loadavg: 4.10 4.26 4.19 5/249 41301
/proc/meminfo: memFree=127096952/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1793.49 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150261 0 0 0 179294 55 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1793.49 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1801.6 s]
/proc/loadavg: 4.10 4.26 4.19 5/249 41301
/proc/meminfo: memFree=127096952/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1059272 memory=865108 CPUtime=1795.07 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150261 0 0 0 179452 55 0 0 20 0 1 0 44154453 1084694528 216277 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 264818 216277 2752 2416 0 261920 0
Current children cumulated CPU time: 1795.07 s
Current children cumulated vsize: 1059272 KiB
Current children cumulated memory: 865108 KiB

[startup+1802 s]*
/proc/loadavg: 4.10 4.26 4.19 5/249 41301
/proc/meminfo: memFree=127123524/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=1021068 memory=827008 CPUtime=1795.48 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150289 0 0 0 179493 55 0 0 20 0 1 0 44154453 1045573632 206752 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 255267 206752 2752 2416 0 252369 0
Current children cumulated CPU time: 1795.48 s
Current children cumulated vsize: 1021068 KiB
Current children cumulated memory: 827008 KiB

[startup+1802.4 s]
/proc/loadavg: 4.10 4.26 4.19 5/249 41301
/proc/meminfo: memFree=127123524/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=861176 memory=682180 CPUtime=1795.86 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150309 0 0 0 179531 55 0 0 20 0 1 0 44154453 881844224 170545 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 215294 170545 2752 2416 0 212396 0
Current children cumulated CPU time: 1795.86 s
Current children cumulated vsize: 861176 KiB
Current children cumulated memory: 682180 KiB

[startup+1802.5 s]
/proc/loadavg: 4.10 4.26 4.19 5/249 41301
/proc/meminfo: memFree=127123524/131382116 swapFree=33010684/33010684
[pid=41181] ppid=41178 vsize=861176 memory=682180 CPUtime=1795.96 cores=5,7
/proc/41181/stat : 41181 (CASHWMaxSAT-Dis) R 41178 41181 40780 0 -1 4194304 150309 0 0 0 179541 55 0 0 20 0 1 0 44154453 881844224 170545 18446744073709551615 4198400 14093885 140735693568832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22097920 140735693572458 140735693572573 140735693572573 140735693578175 0
/proc/41181/statm: 215294 170545 2752 2416 0 212396 0
Current children cumulated CPU time: 1795.96 s
Current children cumulated vsize: 861176 KiB
Current children cumulated memory: 682180 KiB

Child status: 30

Real time (s): 1802.57
CPU time (s): 1796.04
CPU user time (s): 1795.49
CPU system time (s): 0.559355
CPU usage (%): 99.6381
Max. virtual memory (cumulated for all children) (KiB): 1059272
Max. memory (cumulated for all children) (KiB): 865108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.49
system time used= 0.559355
maximum resident set size= 865108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150309
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= 51
involuntary context switches= 10027


# summary of solver processes directly reported to runsolver:
#   pid: 41181
#   total CPU time (s): 1796.04
#   total CPU user time (s): 1795.49
#   total CPU system time (s): 0.559355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2221 second user time and 18.3858 second system time

The end