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: 63837 MiB (62667 MiB free)
  memory of node 1: 64465 MiB (61925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499555-1751413536/watcher-4499555-1751413536 -o /tmp/evaluation-result-4499555-1751413536/solver-4499555-1751413536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751405727-57150 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499555-1751413536.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=58257, runsolver pid=58254
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 4.06 4.08 4.09 5/251 58258
/proc/meminfo: memFree=127575652/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=25340 memory=10880 CPUtime=0.1 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 1984 0 0 0 10 0 0 0 20 0 1 0 57033021 25948160 2720 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 6335 2720 864 2593 0 3228 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25340 KiB
Current children cumulated memory: 10880 KiB

[startup+0.212999 s]*
/proc/loadavg: 4.06 4.08 4.09 5/251 58258
/proc/meminfo: memFree=127563556/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=31680 memory=17280 CPUtime=0.22 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 3584 0 0 0 21 1 0 0 20 0 1 0 57033021 32440320 4320 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 7920 4320 864 2593 0 4813 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 31680 KiB
Current children cumulated memory: 17280 KiB

[startup+0.312653 s]*
/proc/loadavg: 4.06 4.08 4.09 6/251 58258
/proc/meminfo: memFree=127563556/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=37268 memory=22912 CPUtime=0.31 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 5011 0 0 0 30 1 0 0 20 0 1 0 57033021 38162432 5728 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 9317 5728 864 2593 0 6210 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37268 KiB
Current children cumulated memory: 22912 KiB

[startup+0.700261 s]
/proc/loadavg: 4.06 4.08 4.09 6/251 58258
/proc/meminfo: memFree=127547428/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=66632 memory=52224 CPUtime=0.68 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 12337 0 0 0 66 2 0 0 20 0 1 0 57033021 68231168 13056 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 16658 13056 864 2593 0 13551 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66632 KiB
Current children cumulated memory: 52224 KiB

[startup+1.5003 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58258
/proc/meminfo: memFree=127441364/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=185616 memory=175448 CPUtime=1.48 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 44972 0 0 0 139 9 0 0 20 0 1 0 57033021 190070784 43862 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 46404 43862 2496 2593 0 43297 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 185616 KiB
Current children cumulated memory: 175448 KiB

[startup+3.11377 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58258
/proc/meminfo: memFree=127353076/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=255972 memory=241696 CPUtime=3.1 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64380 0 0 0 297 13 0 0 20 0 1 0 57033021 262115328 60424 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 63993 60424 2624 2593 0 60886 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 255972 KiB
Current children cumulated memory: 241696 KiB

[startup+6.30023 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58258
/proc/meminfo: memFree=127353140/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=257048 memory=242464 CPUtime=6.27 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64569 0 0 0 614 13 0 0 20 0 1 0 57033021 263217152 60616 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64262 60616 2624 2593 0 61155 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 257048 KiB
Current children cumulated memory: 242464 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 58258
/proc/meminfo: memFree=127353188/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=257996 memory=243488 CPUtime=12.65 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64824 0 0 0 1252 13 0 0 20 0 1 0 57033021 264187904 60872 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64499 60872 2624 2593 0 61392 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 257996 KiB
Current children cumulated memory: 243488 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.07 4.08 5/251 58258
/proc/meminfo: memFree=127352884/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=257996 memory=243488 CPUtime=25.41 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64824 0 0 0 2528 13 0 0 20 0 1 0 57033021 264187904 60872 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64499 60872 2624 2593 0 61392 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 257996 KiB
Current children cumulated memory: 243488 KiB

[startup+51.113 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 58259
/proc/meminfo: memFree=127352784/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=258192 memory=243744 CPUtime=50.95 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64890 0 0 0 5082 13 0 0 20 0 1 0 57033021 264388608 60936 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64548 60936 2624 2593 0 61441 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 243744 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 58261
/proc/meminfo: memFree=127342948/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=258192 memory=243744 CPUtime=101.98 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64891 0 0 0 10185 13 0 0 20 0 1 0 57033021 264388608 60936 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64548 60936 2624 2593 0 61441 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 243744 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 58263
/proc/meminfo: memFree=127335144/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=258192 memory=243744 CPUtime=161.8 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64892 0 0 0 16167 13 0 0 20 0 1 0 57033021 264388608 60936 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64548 60936 2624 2593 0 61441 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 243744 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 58311
/proc/meminfo: memFree=127923656/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=258192 memory=243744 CPUtime=221.62 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 64893 0 0 0 22149 13 0 0 20 0 1 0 57033021 264388608 60936 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 64548 60936 2624 2593 0 61441 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 243744 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 58318
/proc/meminfo: memFree=127889596/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=280752 memory=255524 CPUtime=281.45 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 68241 0 0 0 28131 14 0 0 20 0 1 0 57033021 287490048 63881 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 70188 63881 2624 2593 0 67081 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 280752 KiB
Current children cumulated memory: 255524 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 58322
/proc/meminfo: memFree=127881540/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=297156 memory=266924 CPUtime=341.26 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 71162 0 0 0 34112 14 0 0 20 0 1 0 57033021 304287744 66731 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 74289 66731 2624 2593 0 71182 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 297156 KiB
Current children cumulated memory: 266924 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 58324
/proc/meminfo: memFree=127864780/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=297156 memory=266924 CPUtime=401.08 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 71162 0 0 0 40094 14 0 0 20 0 1 0 57033021 304287744 66731 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 74289 66731 2624 2593 0 71182 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 297156 KiB
Current children cumulated memory: 266924 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.10 4.10 5/252 58326
/proc/meminfo: memFree=127864544/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=297156 memory=266924 CPUtime=460.9 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 71163 0 0 0 46076 14 0 0 20 0 1 0 57033021 304287744 66731 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 74289 66731 2624 2593 0 71182 0
Current children cumulated CPU time: 460.9 s

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

/proc/loadavg: 4.12 4.10 4.10 5/251 58497
/proc/meminfo: memFree=128117308/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=365224 memory=325548 CPUtime=1896.71 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 79876 0 0 0 189655 16 0 0 20 0 1 0 57033021 373989376 81387 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91306 81387 2624 2593 0 88199 0
Current children cumulated CPU time: 1896.71 s
Current children cumulated vsize: 365224 KiB
Current children cumulated memory: 325548 KiB

[startup+1962.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/249 58499
/proc/meminfo: memFree=128095536/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=366648 memory=325932 CPUtime=1956.5 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80119 0 0 0 195634 16 0 0 20 0 1 0 57033021 375447552 81483 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91662 81483 2624 2593 0 88555 0
Current children cumulated CPU time: 1956.5 s
Current children cumulated vsize: 366648 KiB
Current children cumulated memory: 325932 KiB

[startup+2022.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/250 58502
/proc/meminfo: memFree=128074884/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=366648 memory=325932 CPUtime=2016.29 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80119 0 0 0 201613 16 0 0 20 0 1 0 57033021 375447552 81483 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91662 81483 2624 2593 0 88555 0
Current children cumulated CPU time: 2016.29 s
Current children cumulated vsize: 366648 KiB
Current children cumulated memory: 325932 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 58506
/proc/meminfo: memFree=128022840/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=366648 memory=325932 CPUtime=2076.08 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80119 0 0 0 207592 16 0 0 20 0 1 0 57033021 375447552 81483 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91662 81483 2624 2593 0 88555 0
Current children cumulated CPU time: 2076.08 s
Current children cumulated vsize: 366648 KiB
Current children cumulated memory: 325932 KiB

[startup+2142.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 58513
/proc/meminfo: memFree=127999168/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=366648 memory=325932 CPUtime=2135.88 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80172 0 0 0 213572 16 0 0 20 0 1 0 57033021 375447552 81483 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91662 81483 2624 2593 0 88555 0
Current children cumulated CPU time: 2135.88 s
Current children cumulated vsize: 366648 KiB
Current children cumulated memory: 325932 KiB

[startup+2202.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 58515
/proc/meminfo: memFree=127966736/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=366648 memory=325932 CPUtime=2195.66 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80174 0 0 0 219550 16 0 0 20 0 1 0 57033021 375447552 81483 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91662 81483 2624 2593 0 88555 0
Current children cumulated CPU time: 2195.66 s
Current children cumulated vsize: 366648 KiB
Current children cumulated memory: 325932 KiB

[startup+2262.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 58517
/proc/meminfo: memFree=127918224/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=367216 memory=326444 CPUtime=2255.46 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80361 0 0 0 225530 16 0 0 20 0 1 0 57033021 376029184 81611 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91804 81611 2624 2593 0 88697 0
Current children cumulated CPU time: 2255.46 s
Current children cumulated vsize: 367216 KiB
Current children cumulated memory: 326444 KiB

[startup+2322.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 58519
/proc/meminfo: memFree=127885232/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=367216 memory=326444 CPUtime=2315.25 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80361 0 0 0 231509 16 0 0 20 0 1 0 57033021 376029184 81611 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91804 81611 2624 2593 0 88697 0
Current children cumulated CPU time: 2315.25 s
Current children cumulated vsize: 367216 KiB
Current children cumulated memory: 326444 KiB

[startup+2382.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 58521
/proc/meminfo: memFree=127886964/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=367216 memory=326444 CPUtime=2375.04 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80413 0 0 0 237488 16 0 0 20 0 1 0 57033021 376029184 81611 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91804 81611 2624 2593 0 88697 0
Current children cumulated CPU time: 2375.04 s
Current children cumulated vsize: 367216 KiB
Current children cumulated memory: 326444 KiB

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

# cumulated CPU time of all completed processes:  user=2396.18 s, system=0.176394 s

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

[startup+2393.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 58521
/proc/meminfo: memFree=127887476/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=367216 memory=326444 CPUtime=2386.3 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80417 0 0 0 238614 16 0 0 20 0 1 0 57033021 376029184 81611 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91804 81611 2624 2593 0 88697 0
Current children cumulated CPU time: 2386.3 s
Current children cumulated vsize: 367216 KiB
Current children cumulated memory: 326444 KiB

[startup+2400 s]*
/proc/loadavg: 4.15 4.11 4.09 5/250 58521
/proc/meminfo: memFree=127887728/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=367216 memory=326444 CPUtime=2392.69 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80417 0 0 0 239253 16 0 0 20 0 1 0 57033021 376029184 81611 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 91804 81611 2624 2593 0 88697 0
Current children cumulated CPU time: 2392.69 s
Current children cumulated vsize: 367216 KiB
Current children cumulated memory: 326444 KiB

[startup+2401.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 58522
/proc/meminfo: memFree=128040028/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=173032 memory=165800 CPUtime=2394.27 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80501 0 0 0 239410 17 0 0 20 0 1 0 57033021 177184768 41450 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 43258 41450 2688 2593 0 40151 0
Current children cumulated CPU time: 2394.27 s
Current children cumulated vsize: 173032 KiB
Current children cumulated memory: 165800 KiB

[startup+2402.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 58522
/proc/meminfo: memFree=128040532/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=173032 memory=165800 CPUtime=2395.07 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80501 0 0 0 239490 17 0 0 20 0 1 0 57033021 177184768 41450 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 43258 41450 2688 2593 0 40151 0
Current children cumulated CPU time: 2395.07 s
Current children cumulated vsize: 173032 KiB
Current children cumulated memory: 165800 KiB

[startup+2403.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 58522
/proc/meminfo: memFree=128040532/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=173032 memory=165800 CPUtime=2395.87 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80501 0 0 0 239570 17 0 0 20 0 1 0 57033021 177184768 41450 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 43258 41450 2688 2593 0 40151 0
Current children cumulated CPU time: 2395.87 s
Current children cumulated vsize: 173032 KiB
Current children cumulated memory: 165800 KiB

[startup+2403.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 58522
/proc/meminfo: memFree=128040532/131382116 swapFree=33010684/33010684
[pid=58257] ppid=58254 vsize=173032 memory=165800 CPUtime=2396.27 cores=0,2
/proc/58257/stat : 58257 (CASHWMaxSAT-Dis) R 58254 58257 57137 0 -1 4194304 80501 0 0 0 239610 17 0 0 20 0 1 0 57033021 177184768 41450 18446744073709551615 4198400 14817773 140732780215360 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32931840 140732780218730 140732780218845 140732780218845 140732780224447 0
/proc/58257/statm: 43258 41450 2688 2593 0 40151 0
Current children cumulated CPU time: 2396.27 s
Current children cumulated vsize: 173032 KiB
Current children cumulated memory: 165800 KiB

Child status: 30

Real time (s): 2403.68
CPU time (s): 2396.35
CPU user time (s): 2396.18
CPU system time (s): 0.176394
CPU usage (%): 99.6953
Max. virtual memory (cumulated for all children) (KiB): 367216
Max. memory (cumulated for all children) (KiB): 326444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.18
system time used= 0.176394
maximum resident set size= 326444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80501
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= 5423


# summary of solver processes directly reported to runsolver:
#   pid: 58257
#   total CPU time (s): 2396.35
#   total CPU user time (s): 2396.18
#   total CPU system time (s): 0.176394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.075 second user time and 22.5588 second system time

The end