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: 64059 MiB (56862 MiB free)
  memory of node 1: 64510 MiB (61430 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439215-1721227822/watcher-4439215-1721227822 -o /tmp/evaluation-result-4439215-1721227822/solver-4439215-1721227822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904500 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439215-1721227822.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=910290, runsolver pid=910287

[startup+0.1001 s]*
/proc/loadavg: 4.14 4.15 4.15 5/241 910291
/proc/meminfo: memFree=121114540/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=37136 memory=22536 CPUtime=0.1 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 4924 0 0 0 10 0 0 0 20 0 1 0 174940222 38027264 5634 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 9284 5634 878 2594 0 6177 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 22536 KiB

[startup+0.212847 s]*
/proc/loadavg: 4.14 4.15 4.15 5/241 910291
/proc/meminfo: memFree=121098580/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=52576 memory=38112 CPUtime=0.21 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 8762 0 0 0 20 1 0 0 20 0 1 0 174940222 53837824 9528 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 13144 9528 878 2594 0 10037 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52576 KiB
Current children cumulated memory: 38112 KiB

[startup+0.312835 s]*
/proc/loadavg: 4.14 4.15 4.15 5/241 910291
/proc/meminfo: memFree=121086344/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=64200 memory=49728 CPUtime=0.31 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 11713 0 0 0 29 2 0 0 20 0 1 0 174940222 65740800 12432 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 16050 12432 878 2594 0 12943 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64200 KiB
Current children cumulated memory: 49728 KiB

[startup+0.700332 s]
/proc/loadavg: 4.14 4.15 4.15 5/241 910291
/proc/meminfo: memFree=121020332/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=166052 memory=155344 CPUtime=0.69 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 36805 0 0 0 63 6 0 0 20 0 1 0 174940222 170037248 38836 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 41513 38836 2510 2594 0 38406 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 166052 KiB
Current children cumulated memory: 155344 KiB

[startup+1.50033 s]
/proc/loadavg: 4.14 4.15 4.15 5/241 910293
/proc/meminfo: memFree=120968364/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=198908 memory=188656 CPUtime=1.48 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 48985 0 0 0 140 8 0 0 20 0 1 0 174940222 203681792 47164 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 49727 47164 2542 2594 0 46620 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 198908 KiB
Current children cumulated memory: 188656 KiB

[startup+3.11265 s]
/proc/loadavg: 4.21 4.16 4.16 5/241 910293
/proc/meminfo: memFree=120898424/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=256792 memory=242864 CPUtime=3.09 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 65671 0 0 0 298 11 0 0 20 0 1 0 174940222 262955008 60716 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64198 60716 2654 2594 0 61091 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 256792 KiB
Current children cumulated memory: 242864 KiB

[startup+6.3003 s]
/proc/loadavg: 4.21 4.16 4.16 5/241 910293
/proc/meminfo: memFree=120898048/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=257704 memory=243388 CPUtime=6.27 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 65806 0 0 0 616 11 0 0 20 0 1 0 174940222 263888896 60847 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64426 60847 2654 2594 0 61319 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 257704 KiB
Current children cumulated memory: 243388 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.16 4.16 5/244 910300
/proc/meminfo: memFree=120896600/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258672 memory=244436 CPUtime=12.66 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 66088 0 0 0 1254 12 0 0 20 0 1 0 174940222 264880128 61109 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64668 61109 2654 2594 0 61561 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 258672 KiB
Current children cumulated memory: 244436 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.15 4.15 5/244 910301
/proc/meminfo: memFree=120896376/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258948 memory=244692 CPUtime=25.42 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 66137 0 0 0 2530 12 0 0 20 0 1 0 174940222 265162752 61173 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64737 61173 2654 2594 0 61630 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 258948 KiB
Current children cumulated memory: 244692 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.14 4.15 5/244 910306
/proc/meminfo: memFree=121101708/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258948 memory=244692 CPUtime=50.96 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 66146 0 0 0 5084 12 0 0 20 0 1 0 174940222 265162752 61173 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64737 61173 2654 2594 0 61630 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 258948 KiB
Current children cumulated memory: 244692 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.16 4.16 5/244 910315
/proc/meminfo: memFree=121067560/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258948 memory=244692 CPUtime=102.01 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 66148 0 0 0 10189 12 0 0 20 0 1 0 174940222 265162752 61173 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64737 61173 2654 2594 0 61630 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 258948 KiB
Current children cumulated memory: 244692 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/244 910326
/proc/meminfo: memFree=121038936/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258948 memory=244692 CPUtime=161.85 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 66150 0 0 0 16172 13 0 0 20 0 1 0 174940222 265162752 61173 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64737 61173 2654 2594 0 61630 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 258948 KiB
Current children cumulated memory: 244692 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/244 910382
/proc/meminfo: memFree=121792436/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=283716 memory=259692 CPUtime=221.69 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 70343 0 0 0 22155 14 0 0 20 0 1 0 174940222 290525184 64923 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 70929 64923 2654 2594 0 67822 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 283716 KiB
Current children cumulated memory: 259692 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/244 910394
/proc/meminfo: memFree=121750480/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=283716 memory=259692 CPUtime=281.53 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 70344 0 0 0 28139 14 0 0 20 0 1 0 174940222 290525184 64923 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 70929 64923 2654 2594 0 67822 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 283716 KiB
Current children cumulated memory: 259692 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.13 5/241 910789
/proc/meminfo: memFree=120825028/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=283716 memory=259692 CPUtime=341.37 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 70345 0 0 0 34123 14 0 0 20 0 1 0 174940222 290525184 64923 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 70929 64923 2654 2594 0 67822 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 283716 KiB
Current children cumulated memory: 259692 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/242 910801
/proc/meminfo: memFree=120476196/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=290820 memory=263564 CPUtime=401.21 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 70837 0 0 0 40107 14 0 0 20 0 1 0 174940222 297799680 65891 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 72705 65891 2654 2594 0 69598 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 290820 KiB
Current children cumulated memory: 263564 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/242 910812
/proc/meminfo: memFree=120635896/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=290820 memory=263564 CPUtime=461.05 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 70844 0 0 0 46091 14 0 0 20 0 1 0 174940222 297799680 65891 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 72705 65891 2654 2594 0 69598 0

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

/proc/loadavg: 3.39 3.79 3.98 4/236 911310
/proc/meminfo: memFree=126439156/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=398588 memory=325712 CPUtime=1957.09 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86346 0 0 0 195688 21 0 0 20 0 1 0 174940222 408154112 81428 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 99647 81428 2938 2594 0 96540 0
Current children cumulated CPU time: 1957.09 s
Current children cumulated vsize: 398588 KiB
Current children cumulated memory: 325712 KiB

[startup+2022.3 s]
/proc/loadavg: 3.19 3.66 3.92 4/236 911320
/proc/meminfo: memFree=126435824/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=399752 memory=326460 CPUtime=2016.95 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86538 0 0 0 201674 21 0 0 20 0 1 0 174940222 409346048 81615 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 99938 81615 2938 2594 0 96831 0
Current children cumulated CPU time: 2016.95 s
Current children cumulated vsize: 399752 KiB
Current children cumulated memory: 326460 KiB

[startup+2082.3 s]
/proc/loadavg: 3.13 3.56 3.87 4/236 911331
/proc/meminfo: memFree=126425568/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=399752 memory=326460 CPUtime=2076.8 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86539 0 0 0 207659 21 0 0 20 0 1 0 174940222 409346048 81615 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 99938 81615 2938 2594 0 96831 0
Current children cumulated CPU time: 2076.8 s
Current children cumulated vsize: 399752 KiB
Current children cumulated memory: 326460 KiB

[startup+2142.3 s]
/proc/loadavg: 3.78 3.67 3.89 4/235 911725
/proc/meminfo: memFree=126537936/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=399752 memory=326460 CPUtime=2136.65 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86540 0 0 0 213644 21 0 0 20 0 1 0 174940222 409346048 81615 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 99938 81615 2938 2594 0 96831 0
Current children cumulated CPU time: 2136.65 s
Current children cumulated vsize: 399752 KiB
Current children cumulated memory: 326460 KiB

[startup+2202.3 s]
/proc/loadavg: 3.43 3.59 3.85 4/235 911735
/proc/meminfo: memFree=126533976/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=400320 memory=326712 CPUtime=2196.51 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86604 0 0 0 219630 21 0 0 20 0 1 0 174940222 409927680 81678 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100080 81678 2938 2594 0 96973 0
Current children cumulated CPU time: 2196.51 s
Current children cumulated vsize: 400320 KiB
Current children cumulated memory: 326712 KiB

[startup+2262.3 s]
/proc/loadavg: 3.16 3.48 3.79 4/235 911745
/proc/meminfo: memFree=126727096/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=400320 memory=326712 CPUtime=2256.36 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86605 0 0 0 225615 21 0 0 20 0 1 0 174940222 409927680 81678 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100080 81678 2938 2594 0 96973 0
Current children cumulated CPU time: 2256.36 s
Current children cumulated vsize: 400320 KiB
Current children cumulated memory: 326712 KiB

[startup+2322.3 s]
/proc/loadavg: 3.15 3.42 3.75 4/237 911927
/proc/meminfo: memFree=126724764/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=400320 memory=326712 CPUtime=2316.21 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86606 0 0 0 231600 21 0 0 20 0 1 0 174940222 409927680 81678 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100080 81678 2938 2594 0 96973 0
Current children cumulated CPU time: 2316.21 s
Current children cumulated vsize: 400320 KiB
Current children cumulated memory: 326712 KiB

[startup+2382.3 s]
/proc/loadavg: 3.15 3.37 3.71 4/237 911937
/proc/meminfo: memFree=126722580/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=401376 memory=327464 CPUtime=2376.08 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86809 0 0 0 237586 22 0 0 20 0 1 0 174940222 411009024 81866 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100344 81866 2938 2594 0 97237 0
Current children cumulated CPU time: 2376.08 s
Current children cumulated vsize: 401376 KiB
Current children cumulated memory: 327464 KiB

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

# cumulated CPU time of all completed processes:  user=2394.49 s, system=0.243096 s

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

[startup+2393.6 s]
/proc/loadavg: 3.13 3.36 3.70 3/230 911970
/proc/meminfo: memFree=128027088/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=401376 memory=327464 CPUtime=2387.35 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86809 0 0 0 238713 22 0 0 20 0 1 0 174940222 411009024 81866 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100344 81866 2938 2594 0 97237 0
Current children cumulated CPU time: 2387.35 s
Current children cumulated vsize: 401376 KiB
Current children cumulated memory: 327464 KiB

[startup+2396.8 s]
/proc/loadavg: 3.04 3.34 3.70 3/230 911970
/proc/meminfo: memFree=128027096/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=401376 memory=327468 CPUtime=2390.54 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86816 0 0 0 239032 22 0 0 20 0 1 0 174940222 411009024 81867 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100344 81867 2938 2594 0 97237 0
Current children cumulated CPU time: 2390.54 s
Current children cumulated vsize: 401376 KiB
Current children cumulated memory: 327468 KiB

[startup+2398.4 s]
/proc/loadavg: 3.04 3.34 3.70 3/230 911970
/proc/meminfo: memFree=128027104/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=401376 memory=327468 CPUtime=2392.14 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86816 0 0 0 239192 22 0 0 20 0 1 0 174940222 411009024 81867 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100344 81867 2938 2594 0 97237 0
Current children cumulated CPU time: 2392.14 s
Current children cumulated vsize: 401376 KiB
Current children cumulated memory: 327468 KiB

[startup+2400 s]*
/proc/loadavg: 2.95 3.31 3.69 3/230 911970
/proc/meminfo: memFree=128027104/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=401376 memory=327468 CPUtime=2393.74 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86816 0 0 0 239352 22 0 0 20 0 1 0 174940222 411009024 81867 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100344 81867 2938 2594 0 97237 0
Current children cumulated CPU time: 2393.74 s
Current children cumulated vsize: 401376 KiB
Current children cumulated memory: 327468 KiB

[startup+2400.4 s]
/proc/loadavg: 2.95 3.31 3.69 3/230 911970
/proc/meminfo: memFree=128027104/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=401376 memory=327468 CPUtime=2394.13 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86816 0 0 0 239391 22 0 0 20 0 1 0 174940222 411009024 81867 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 100344 81867 2938 2594 0 97237 0
Current children cumulated CPU time: 2394.13 s
Current children cumulated vsize: 401376 KiB
Current children cumulated memory: 327468 KiB

[startup+2400.8 s]
/proc/loadavg: 2.95 3.31 3.69 3/230 911970
/proc/meminfo: memFree=128027104/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258792 memory=216840 CPUtime=2394.53 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86846 0 0 0 239430 23 0 0 20 0 1 0 174940222 265003008 54210 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64698 54210 2986 2594 0 61591 0
Current children cumulated CPU time: 2394.53 s
Current children cumulated vsize: 258792 KiB
Current children cumulated memory: 216840 KiB

[startup+2400.9 s]
/proc/loadavg: 2.95 3.31 3.69 3/230 911970
/proc/meminfo: memFree=128027104/131655788 swapFree=131071996/131071996
[pid=910290] ppid=910287 vsize=258792 memory=217100 CPUtime=2394.63 cores=4,6
/proc/910290/stat : 910290 (CASHWMaxSAT-Dis) R 910287 910290 904489 0 -1 4194304 86915 0 0 0 239440 23 0 0 20 0 1 0 174940222 265003008 54275 134679101440 4194304 14817773 140737383491152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25776128 140737383494628 140737383494743 140737383494743 140737383501759 0
/proc/910290/statm: 64698 54275 2986 2594 0 61591 0
Current children cumulated CPU time: 2394.63 s
Current children cumulated vsize: 258792 KiB
Current children cumulated memory: 217100 KiB

Child status: 30

Real time (s): 2401
CPU time (s): 2394.73
CPU user time (s): 2394.49
CPU system time (s): 0.243096
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 401376
Max. memory (cumulated for all children) (KiB): 327468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.49
system time used= 0.243096
maximum resident set size= 327468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86918
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= 8
involuntary context switches= 815


# summary of solver processes directly reported to runsolver:
#   pid: 910290
#   total CPU time (s): 2394.73
#   total CPU user time (s): 2394.49
#   total CPU system time (s): 0.243096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6669 second user time and 22.2636 second system time

The end