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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521836-1751576110/watcher-4521836-1751576110 -o /tmp/evaluation-result-4521836-1751576110/solver-4521836-1751576110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751566511-80445 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521836-1751576110.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
Starting watchdog thread
solver pid=82374, runsolver pid=82371
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.29 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129223476/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=20796 memory=6728 CPUtime=0.1 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 1231 0 0 0 10 0 0 0 20 0 1 0 73290704 21295104 1682 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 5199 1682 800 2416 0 2301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20796 KiB
Current children cumulated memory: 6728 KiB

[startup+0.212996 s]*
/proc/loadavg: 4.29 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129199536/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=44976 memory=35656 CPUtime=0.21 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 7022 0 0 0 19 2 0 0 20 0 1 0 73290704 46055424 8914 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 11244 8914 2336 2416 0 8346 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44976 KiB
Current children cumulated memory: 35656 KiB

[startup+0.313092 s]*
/proc/loadavg: 4.29 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129191472/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=52488 memory=43464 CPUtime=0.31 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 8900 0 0 0 28 3 0 0 20 0 1 0 73290704 53747712 10866 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 13122 10866 2400 2416 0 10224 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 43464 KiB

[startup+0.70027 s]
/proc/loadavg: 4.29 4.20 4.18 6/252 82375
/proc/meminfo: memFree=129167280/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=76844 memory=66732 CPUtime=0.68 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 14132 0 0 0 64 4 0 0 20 0 1 0 73290704 78688256 16683 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 19211 16683 2528 2416 0 16313 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76844 KiB
Current children cumulated memory: 66732 KiB

[startup+1.50025 s]
/proc/loadavg: 4.29 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129143340/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=106768 memory=94508 CPUtime=1.48 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 21081 0 0 0 142 6 0 0 20 0 1 0 73290704 109330432 23627 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 26692 23627 2528 2416 0 23794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106768 KiB
Current children cumulated memory: 94508 KiB

[startup+3.11292 s]
/proc/loadavg: 4.29 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129119400/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=125456 memory=114348 CPUtime=3.09 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 26055 0 0 0 302 7 0 0 20 0 1 0 73290704 128466944 28587 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 31364 28587 2528 2416 0 28466 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125456 KiB
Current children cumulated memory: 114348 KiB

[startup+6.30028 s]
/proc/loadavg: 4.26 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129103660/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=138240 memory=127148 CPUtime=6.27 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 29259 0 0 0 620 7 0 0 20 0 1 0 73290704 141557760 31787 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 34560 31787 2528 2416 0 31662 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 138240 KiB
Current children cumulated memory: 127148 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129095596/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=147020 memory=135980 CPUtime=12.64 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 31461 0 0 0 1257 7 0 0 20 0 1 0 73290704 150548480 33995 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 36755 33995 2528 2416 0 33857 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147020 KiB
Current children cumulated memory: 135980 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.20 4.18 5/252 82375
/proc/meminfo: memFree=129067648/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=169320 memory=156488 CPUtime=25.41 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 64562 0 0 0 2528 13 0 0 20 0 1 0 73290704 173383680 39122 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 42330 39122 2528 2416 0 39432 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 169320 KiB
Current children cumulated memory: 156488 KiB

[startup+51.1129 s]
/proc/loadavg: 4.18 4.19 4.18 5/252 82376
/proc/meminfo: memFree=129028588/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=208348 memory=195656 CPUtime=50.94 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 74428 0 0 0 5079 15 0 0 20 0 1 0 73290704 213348352 48914 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 52087 48914 2528 2416 0 49189 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 208348 KiB
Current children cumulated memory: 195656 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/252 82377
/proc/meminfo: memFree=128959168/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=289280 memory=272732 CPUtime=101.95 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 92301 0 0 0 10178 17 0 0 20 0 1 0 73290704 296222720 68183 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 72320 68183 2528 2416 0 69422 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 289280 KiB
Current children cumulated memory: 272732 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/252 82424
/proc/meminfo: memFree=127106708/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=348740 memory=334904 CPUtime=161.76 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 107801 0 0 0 16156 20 0 0 20 0 1 0 73290704 357109760 83726 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 87185 83726 2528 2416 0 84287 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 348740 KiB
Current children cumulated memory: 334904 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/251 82426
/proc/meminfo: memFree=122887312/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=416856 memory=398860 CPUtime=221.55 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 123039 0 0 0 22133 22 0 0 20 0 1 0 73290704 426860544 99715 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 104214 99715 2528 2416 0 101316 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 416856 KiB
Current children cumulated memory: 398860 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/250 82428
/proc/meminfo: memFree=122895832/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=472268 memory=453592 CPUtime=281.36 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 135037 0 0 0 28111 25 0 0 20 0 1 0 73290704 483602432 113398 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 118067 113398 2528 2416 0 115169 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 472268 KiB
Current children cumulated memory: 453592 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/249 82430
/proc/meminfo: memFree=122790568/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=551472 memory=525336 CPUtime=341.16 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 146342 0 0 0 34089 27 0 0 20 0 1 0 73290704 564707328 131334 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 137868 131334 2528 2416 0 134970 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 551472 KiB
Current children cumulated memory: 525336 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.10 4.14 5/250 82444
/proc/meminfo: memFree=122731284/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=603116 memory=570536 CPUtime=400.94 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 155434 0 0 0 40065 29 0 0 20 0 1 0 73290704 617590784 142634 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 150779 142634 2528 2416 0 147881 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 603116 KiB
Current children cumulated memory: 570536 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/250 82446
/proc/meminfo: memFree=122282456/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=689740 memory=663184 CPUtime=460.72 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 185262 0 0 0 46039 33 0 0 20 0 1 0 73290704 706293760 165796 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 172435 165796 2528 2416 0 169537 0
Current children cumulated CPU time: 460.72 s

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

/proc/loadavg: 4.15 4.14 4.15 5/250 82490
/proc/meminfo: memFree=120993596/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=1830948 memory=1805032 CPUtime=1357.75 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 658426 0 0 0 135655 120 0 0 20 0 1 0 73290704 1874890752 451258 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 457737 451258 2528 2416 0 454839 0
Current children cumulated CPU time: 1357.75 s
Current children cumulated vsize: 1830948 KiB
Current children cumulated memory: 1805032 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/251 82493
/proc/meminfo: memFree=120999812/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=1925144 memory=1874440 CPUtime=1417.56 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 684786 0 0 0 141631 125 0 0 20 0 1 0 73290704 1971347456 468610 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 481286 468610 2528 2416 0 478388 0
Current children cumulated CPU time: 1417.56 s
Current children cumulated vsize: 1925144 KiB
Current children cumulated memory: 1874440 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/251 82495
/proc/meminfo: memFree=120782228/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=1986996 memory=1948668 CPUtime=1477.37 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 708087 0 0 0 147607 130 0 0 20 0 1 0 73290704 2034683904 487167 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 496749 487167 2528 2416 0 493851 0
Current children cumulated CPU time: 1477.37 s
Current children cumulated vsize: 1986996 KiB
Current children cumulated memory: 1948668 KiB

[startup+1542.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/252 82510
/proc/meminfo: memFree=120787472/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2055560 memory=2021284 CPUtime=1537.19 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 729356 0 0 0 153584 135 0 0 20 0 1 0 73290704 2104893440 505321 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 513890 505321 2528 2416 0 510992 0
Current children cumulated CPU time: 1537.19 s
Current children cumulated vsize: 2055560 KiB
Current children cumulated memory: 2021284 KiB

[startup+1602.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 82512
/proc/meminfo: memFree=120631748/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2155696 memory=2128404 CPUtime=1596.99 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 758292 0 0 0 159559 140 0 0 20 0 1 0 73290704 2207432704 532101 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 538924 532101 2528 2416 0 536026 0
Current children cumulated CPU time: 1596.99 s
Current children cumulated vsize: 2155696 KiB
Current children cumulated memory: 2128404 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 82514
/proc/meminfo: memFree=120610380/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2208028 memory=2184368 CPUtime=1656.81 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 777938 0 0 0 165536 145 0 0 20 0 1 0 73290704 2261020672 546092 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 552007 546092 2528 2416 0 549109 0
Current children cumulated CPU time: 1656.81 s
Current children cumulated vsize: 2208028 KiB
Current children cumulated memory: 2184368 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/253 82517
/proc/meminfo: memFree=120551664/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2288260 memory=2253492 CPUtime=1716.62 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 801259 0 0 0 171512 150 0 0 20 0 1 0 73290704 2343178240 563373 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 572065 563373 2528 2416 0 569167 0
Current children cumulated CPU time: 1716.62 s
Current children cumulated vsize: 2288260 KiB
Current children cumulated memory: 2253492 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/252 82525
/proc/meminfo: memFree=120465004/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2393768 memory=2328424 CPUtime=1776.44 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 824585 0 0 0 177489 155 0 0 20 0 1 0 73290704 2451218432 582106 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 598442 582106 2528 2416 0 595544 0
Current children cumulated CPU time: 1776.44 s
Current children cumulated vsize: 2393768 KiB
Current children cumulated memory: 2328424 KiB

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

# cumulated CPU time of all completed processes:  user=1793.68 s, system=1.61376 s

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

[startup+1792 s]*
/proc/loadavg: 4.15 4.12 4.13 5/252 82525
/proc/meminfo: memFree=120387616/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2402376 memory=2339044 CPUtime=1786.12 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 830398 0 0 0 178456 156 0 0 20 0 1 0 73290704 2460033024 584761 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 600594 584761 2528 2416 0 597696 0
Current children cumulated CPU time: 1786.12 s
Current children cumulated vsize: 2402376 KiB
Current children cumulated memory: 2339044 KiB

[startup+1795.2 s]
/proc/loadavg: 4.14 4.12 4.12 5/252 82525
/proc/meminfo: memFree=120363292/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2406472 memory=2343140 CPUtime=1789.29 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 831434 0 0 0 178773 156 0 0 20 0 1 0 73290704 2464227328 585785 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 601618 585785 2528 2416 0 598720 0
Current children cumulated CPU time: 1789.29 s
Current children cumulated vsize: 2406472 KiB
Current children cumulated memory: 2343140 KiB

[startup+1798.4 s]
/proc/loadavg: 4.14 4.12 4.12 5/252 82525
/proc/meminfo: memFree=120439324/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2409160 memory=2345828 CPUtime=1792.48 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 832209 0 0 0 179092 156 0 0 20 0 1 0 73290704 2466979840 586457 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 602290 586457 2528 2416 0 599392 0
Current children cumulated CPU time: 1792.48 s
Current children cumulated vsize: 2409160 KiB
Current children cumulated memory: 2345828 KiB

[startup+1800 s]*
/proc/loadavg: 4.13 4.12 4.12 5/252 82525
/proc/meminfo: memFree=120439608/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2410696 memory=2349536 CPUtime=1794.09 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 832606 0 0 0 179253 156 0 0 20 0 1 0 73290704 2468552704 587384 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 602674 587384 2528 2416 0 599776 0
Current children cumulated CPU time: 1794.09 s
Current children cumulated vsize: 2410696 KiB
Current children cumulated memory: 2349536 KiB

[startup+1800.8 s]
/proc/loadavg: 4.13 4.12 4.12 5/252 82525
/proc/meminfo: memFree=120439608/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=2410696 memory=2349536 CPUtime=1794.87 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 832676 0 0 0 179331 156 0 0 20 0 1 0 73290704 2468552704 587384 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 602674 587384 2528 2416 0 599776 0
Current children cumulated CPU time: 1794.87 s
Current children cumulated vsize: 2410696 KiB
Current children cumulated memory: 2349536 KiB

[startup+1801 s]*
/proc/loadavg: 4.13 4.12 4.12 5/252 82525
/proc/meminfo: memFree=120808516/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=1979100 memory=1970136 CPUtime=1795.09 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 832679 0 0 0 179352 157 0 0 20 0 1 0 73290704 2026598400 492534 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 494775 492534 2528 2416 0 491877 0
Current children cumulated CPU time: 1795.09 s
Current children cumulated vsize: 1979100 KiB
Current children cumulated memory: 1970136 KiB

[startup+1801.11 s]
/proc/loadavg: 4.13 4.12 4.12 5/252 82525
/proc/meminfo: memFree=120808516/131382112 swapFree=33010416/33010684
[pid=82374] ppid=82371 vsize=1979100 memory=1970136 CPUtime=1795.19 cores=0,2
/proc/82374/stat : 82374 (CASHWMaxSAT-Dis) R 82371 82374 80435 0 -1 4194304 832679 0 0 0 179362 157 0 0 20 0 1 0 73290704 2026598400 492534 18446744073709551615 4198400 14093885 140729868662384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52326400 140729868671338 140729868671453 140729868671453 140729868677055 0
/proc/82374/statm: 494775 492534 2528 2416 0 491877 0
Current children cumulated CPU time: 1795.19 s
Current children cumulated vsize: 1979100 KiB
Current children cumulated memory: 1970136 KiB

Child status: 30

Real time (s): 1801.21
CPU time (s): 1795.3
CPU user time (s): 1793.68
CPU system time (s): 1.61376
CPU usage (%): 99.6716
Max. virtual memory (cumulated for all children) (KiB): 2410696
Max. memory (cumulated for all children) (KiB): 2349536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 1.61376
maximum resident set size= 2349536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 832679
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= 189
involuntary context switches= 4065


# summary of solver processes directly reported to runsolver:
#   pid: 82374
#   total CPU time (s): 1795.3
#   total CPU user time (s): 1793.68
#   total CPU system time (s): 1.61376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49069 second user time and 17.3801 second system time

The end