runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (59733 MiB free)
  memory of node 1: 64465 MiB (60940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512408-1751525169/watcher-4512408-1751525169 -o /tmp/evaluation-result-4512408-1751525169/solver-4512408-1751525169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751517541-72048 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4512408-1751525169.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
Current StackSize limit: 8192 KiB

solver pid=73212, runsolver pid=73209

[startup+0.100065 s]*
/proc/loadavg: 4.13 4.09 4.09 5/263 73213
/proc/meminfo: memFree=123562300/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=39480 memory=30532 CPUtime=0.09 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 5697 0 0 0 9 0 0 0 20 0 1 0 68195340 40427520 7633 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 9870 7633 2336 2416 0 6972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39480 KiB
Current children cumulated memory: 30532 KiB

[startup+0.205551 s]*
/proc/loadavg: 4.13 4.09 4.09 5/263 73213
/proc/meminfo: memFree=123562300/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=57664 memory=48324 CPUtime=0.2 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 9949 0 0 0 19 1 0 0 20 0 1 0 68195340 59047936 12081 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 14416 12081 2528 2416 0 11518 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57664 KiB
Current children cumulated memory: 48324 KiB

[startup+0.30545 s]*
/proc/loadavg: 4.13 4.09 4.09 5/263 73213
/proc/meminfo: memFree=123562300/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=57664 memory=48324 CPUtime=0.3 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 9950 0 0 0 29 1 0 0 20 0 1 0 68195340 59047936 12081 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 14416 12081 2528 2416 0 11518 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57664 KiB
Current children cumulated memory: 48324 KiB

[startup+0.700172 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 73213
/proc/meminfo: memFree=123562696/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=63456 memory=54340 CPUtime=0.69 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 11469 0 0 0 68 1 0 0 20 0 1 0 68195340 64978944 13585 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 15864 13585 2528 2416 0 12966 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63456 KiB
Current children cumulated memory: 54340 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 73214
/proc/meminfo: memFree=123546820/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=98028 memory=81860 CPUtime=1.48 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 18346 0 0 0 146 2 0 0 20 0 1 0 68195340 100380672 20465 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 24507 20465 2528 2416 0 21609 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98028 KiB
Current children cumulated memory: 81860 KiB

[startup+3.10531 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 73214
/proc/meminfo: memFree=123530796/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=104128 memory=83652 CPUtime=3.08 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 18785 0 0 0 306 2 0 0 20 0 1 0 68195340 106627072 20913 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 26032 20913 2528 2416 0 23134 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104128 KiB
Current children cumulated memory: 83652 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 73214
/proc/meminfo: memFree=123473620/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=113460 memory=91716 CPUtime=6.27 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 20798 0 0 0 624 3 0 0 20 0 1 0 68195340 116183040 22929 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 28365 22929 2528 2416 0 25467 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 113460 KiB
Current children cumulated memory: 91716 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 73214
/proc/meminfo: memFree=123521748/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=113460 memory=91716 CPUtime=12.65 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 20802 0 0 0 1262 3 0 0 20 0 1 0 68195340 116183040 22929 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 28365 22929 2528 2416 0 25467 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 113460 KiB
Current children cumulated memory: 91716 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 73214
/proc/meminfo: memFree=123478120/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=133788 memory=108356 CPUtime=25.42 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 24965 0 0 0 2538 4 0 0 20 0 1 0 68195340 136998912 27089 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 33447 27089 2528 2416 0 30549 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 133788 KiB
Current children cumulated memory: 108356 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 73214
/proc/meminfo: memFree=123483408/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=161012 memory=120132 CPUtime=50.96 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 27925 0 0 0 5092 4 0 0 20 0 1 0 68195340 164876288 30033 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 40253 30033 2528 2416 0 37355 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 161012 KiB
Current children cumulated memory: 120132 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 73216
/proc/meminfo: memFree=123444008/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=181512 memory=136388 CPUtime=102.02 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 32019 0 0 0 10197 5 0 0 20 0 1 0 68195340 185868288 34097 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 45378 34097 2528 2416 0 42480 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 181512 KiB
Current children cumulated memory: 136388 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 73218
/proc/meminfo: memFree=123383044/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=210356 memory=143556 CPUtime=161.86 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 33813 0 0 0 16180 6 0 0 20 0 1 0 68195340 215404544 35889 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 52589 35889 2528 2416 0 49691 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 210356 KiB
Current children cumulated memory: 143556 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 73220
/proc/meminfo: memFree=123354908/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=221184 memory=149572 CPUtime=221.7 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 35323 0 0 0 22163 7 0 0 20 0 1 0 68195340 226492416 37393 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 55296 37393 2528 2416 0 52398 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 221184 KiB
Current children cumulated memory: 149572 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 73222
/proc/meminfo: memFree=123348412/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=259056 memory=182980 CPUtime=281.54 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 43736 0 0 0 28145 9 0 0 20 0 1 0 68195340 265273344 45745 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 64764 45745 2528 2416 0 61866 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 259056 KiB
Current children cumulated memory: 182980 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 73224
/proc/meminfo: memFree=123355092/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=274036 memory=196292 CPUtime=341.39 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 47072 0 0 0 34128 11 0 0 20 0 1 0 68195340 280612864 49073 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 68509 49073 2528 2416 0 65611 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 274036 KiB
Current children cumulated memory: 196292 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 73226
/proc/meminfo: memFree=123332196/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=281092 memory=202436 CPUtime=401.24 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 48639 0 0 0 40111 13 0 0 20 0 1 0 68195340 287838208 50609 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 70273 50609 2528 2416 0 67375 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 281092 KiB
Current children cumulated memory: 202436 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 73233
/proc/meminfo: memFree=123273704/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=281092 memory=203332 CPUtime=461.08 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 48876 0 0 0 46094 14 0 0 20 0 1 0 68195340 287838208 50833 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 70273 50833 2528 2416 0 67375 0
Current children cumulated CPU time: 461.08 s

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

/proc/loadavg: 4.15 4.10 4.09 5/263 73241
/proc/meminfo: memFree=123237008/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=289260 memory=210756 CPUtime=640.61 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 50965 0 0 0 64046 15 0 0 20 0 1 0 68195340 296202240 52689 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 72315 52689 2528 2416 0 69417 0
Current children cumulated CPU time: 640.61 s
Current children cumulated vsize: 289260 KiB
Current children cumulated memory: 210756 KiB

[startup+702.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 73243
/proc/meminfo: memFree=123309060/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=295484 memory=216388 CPUtime=700.45 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 52458 0 0 0 70030 15 0 0 20 0 1 0 68195340 302575616 54097 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 73871 54097 2528 2416 0 70973 0
Current children cumulated CPU time: 700.45 s
Current children cumulated vsize: 295484 KiB
Current children cumulated memory: 216388 KiB

[startup+762.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 73472
/proc/meminfo: memFree=123889744/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=298872 memory=219332 CPUtime=760.31 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 53211 0 0 0 76015 16 0 0 20 0 1 0 68195340 306044928 54833 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 74718 54833 2528 2416 0 71820 0
Current children cumulated CPU time: 760.31 s
Current children cumulated vsize: 298872 KiB
Current children cumulated memory: 219332 KiB

[startup+822.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 73608
/proc/meminfo: memFree=123956384/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=302384 memory=222856 CPUtime=820.15 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 53581 0 0 0 81999 16 0 0 20 0 1 0 68195340 309641216 55714 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 75596 55714 2528 2416 0 72698 0
Current children cumulated CPU time: 820.15 s
Current children cumulated vsize: 302384 KiB
Current children cumulated memory: 222856 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 73610
/proc/meminfo: memFree=123929968/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=302384 memory=222984 CPUtime=880 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 53633 0 0 0 87984 16 0 0 20 0 1 0 68195340 309641216 55746 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 75596 55746 2528 2416 0 72698 0
Current children cumulated CPU time: 880 s
Current children cumulated vsize: 302384 KiB
Current children cumulated memory: 222984 KiB

[startup+942.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 73623
/proc/meminfo: memFree=123879812/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=306452 memory=226696 CPUtime=939.84 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 54616 0 0 0 93968 16 0 0 20 0 1 0 68195340 313806848 56674 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 76613 56674 2528 2416 0 73715 0
Current children cumulated CPU time: 939.84 s
Current children cumulated vsize: 306452 KiB
Current children cumulated memory: 226696 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 73625
/proc/meminfo: memFree=123844840/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316292 memory=235160 CPUtime=999.69 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55211 0 0 0 99953 16 0 0 20 0 1 0 68195340 323883008 58790 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79073 58790 2528 2416 0 76175 0
Current children cumulated CPU time: 999.69 s
Current children cumulated vsize: 316292 KiB
Current children cumulated memory: 235160 KiB

[startup+1062.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 73631
/proc/meminfo: memFree=123792680/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316292 memory=235160 CPUtime=1059.54 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55212 0 0 0 105937 17 0 0 20 0 1 0 68195340 323883008 58790 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79073 58790 2528 2416 0 76175 0
Current children cumulated CPU time: 1059.54 s
Current children cumulated vsize: 316292 KiB
Current children cumulated memory: 235160 KiB

[startup+1122.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123765264/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316292 memory=235160 CPUtime=1119.39 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55213 0 0 0 111922 17 0 0 20 0 1 0 68195340 323883008 58790 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79073 58790 2528 2416 0 76175 0
Current children cumulated CPU time: 1119.39 s
Current children cumulated vsize: 316292 KiB
Current children cumulated memory: 235160 KiB

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

# cumulated CPU time of all completed processes:  user=1133.3 s, system=0.184448 s

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

[startup+1126.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123763828/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316292 memory=235160 CPUtime=1123.48 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55213 0 0 0 112331 17 0 0 20 0 1 0 68195340 323883008 58790 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79073 58790 2528 2416 0 76175 0
Current children cumulated CPU time: 1123.48 s
Current children cumulated vsize: 316292 KiB
Current children cumulated memory: 235160 KiB

[startup+1132.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123747508/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316768 memory=235672 CPUtime=1129.86 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55344 0 0 0 112969 17 0 0 20 0 1 0 68195340 324370432 58918 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79192 58918 2528 2416 0 76294 0
Current children cumulated CPU time: 1129.86 s
Current children cumulated vsize: 316768 KiB
Current children cumulated memory: 235672 KiB

[startup+1134.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123739316/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316768 memory=235672 CPUtime=1131.46 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55344 0 0 0 113129 17 0 0 20 0 1 0 68195340 324370432 58918 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79192 58918 2528 2416 0 76294 0
Current children cumulated CPU time: 1131.46 s
Current children cumulated vsize: 316768 KiB
Current children cumulated memory: 235672 KiB

[startup+1135.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123735472/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316768 memory=235672 CPUtime=1132.26 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55344 0 0 0 113209 17 0 0 20 0 1 0 68195340 324370432 58918 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79192 58918 2528 2416 0 76294 0
Current children cumulated CPU time: 1132.26 s
Current children cumulated vsize: 316768 KiB
Current children cumulated memory: 235672 KiB

[startup+1136 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123727280/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316768 memory=235672 CPUtime=1133.06 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55344 0 0 0 113289 17 0 0 20 0 1 0 68195340 324370432 58918 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79192 58918 2528 2416 0 76294 0
Current children cumulated CPU time: 1133.06 s
Current children cumulated vsize: 316768 KiB
Current children cumulated memory: 235672 KiB

[startup+1136.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 73633
/proc/meminfo: memFree=123727280/131249996 swapFree=33010160/33010684
[pid=73212] ppid=73209 vsize=316768 memory=235672 CPUtime=1133.45 cores=5,7
/proc/73212/stat : 73212 (CASHWMaxSAT-Dis) R 73209 73212 72033 0 -1 4194304 55344 0 0 0 113328 17 0 0 20 0 1 0 68195340 324370432 58918 18446744073709551615 4198400 14093885 140723138909264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37789696 140723138914666 140723138914781 140723138914781 140723138920383 0
/proc/73212/statm: 79192 58918 2528 2416 0 76294 0
Current children cumulated CPU time: 1133.45 s
Current children cumulated vsize: 316768 KiB
Current children cumulated memory: 235672 KiB

Child status: 30

Real time (s): 1136.43
CPU time (s): 1133.48
CPU user time (s): 1133.3
CPU system time (s): 0.184448
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 316768
Max. memory (cumulated for all children) (KiB): 235672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1133.3
system time used= 0.184448
maximum resident set size= 235672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55344
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= 4
involuntary context switches= 856


# summary of solver processes directly reported to runsolver:
#   pid: 73212
#   total CPU time (s): 1133.48
#   total CPU user time (s): 1133.3
#   total CPU system time (s): 0.184448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04943 second user time and 4.81466 second system time

The end