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: 63968 MiB (62437 MiB free)
  memory of node 1: 64473 MiB (61188 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438816-1721225403/watcher-4438816-1721225403 -o /tmp/evaluation-result-4438816-1721225403/solver-4438816-1721225403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721218192-909628 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438816-1721225403.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=915216, runsolver pid=915213

[startup+0.100844 s]*
/proc/loadavg: 4.13 4.10 4.09 5/257 915217
/proc/meminfo: memFree=126581388/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=30504 memory=15032 CPUtime=0.09 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 2926 0 0 0 9 0 0 0 20 0 1 0 174706476 31236096 3758 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 7626 3758 922 2726 0 4374 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30504 KiB
Current children cumulated memory: 15032 KiB

[startup+0.205835 s]*
/proc/loadavg: 4.13 4.10 4.09 5/257 915217
/proc/meminfo: memFree=126550596/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=61264 memory=45608 CPUtime=0.18 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 8502 0 0 0 17 1 0 0 20 0 1 0 174706476 62734336 11402 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 15316 11402 954 2726 0 12064 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61264 KiB
Current children cumulated memory: 45608 KiB

[startup+0.305834 s]*
/proc/loadavg: 4.13 4.10 4.09 5/257 915217
/proc/meminfo: memFree=126551500/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=60192 memory=45164 CPUtime=0.28 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 9514 0 0 0 26 2 0 0 20 0 1 0 174706476 61636608 11291 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 15048 11291 1034 2726 0 11796 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 60192 KiB
Current children cumulated memory: 45164 KiB

[startup+0.700837 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 915217
/proc/meminfo: memFree=126513868/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=191188 memory=179636 CPUtime=0.66 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 41755 0 0 0 59 7 0 0 20 0 1 0 174706476 195776512 44909 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 47797 44909 2538 2726 0 44545 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 191188 KiB
Current children cumulated memory: 179636 KiB

[startup+1.50084 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 915217
/proc/meminfo: memFree=126388968/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=280232 memory=268704 CPUtime=1.45 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 63849 0 0 0 135 10 0 0 20 0 1 0 174706476 286957568 67176 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 70058 67176 2698 2726 0 66806 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 280232 KiB
Current children cumulated memory: 268704 KiB

[startup+3.10543 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 915218
/proc/meminfo: memFree=126330780/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=285656 memory=271692 CPUtime=3.04 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 64609 0 0 0 294 10 0 0 20 0 1 0 174706476 292511744 67923 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71414 67923 2730 2726 0 68162 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 285656 KiB
Current children cumulated memory: 271692 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.09 6/257 915218
/proc/meminfo: memFree=126300068/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=285656 memory=271948 CPUtime=6.23 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 64681 0 0 0 613 10 0 0 20 0 1 0 174706476 292511744 67987 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71414 67987 2730 2726 0 68162 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 285656 KiB
Current children cumulated memory: 271948 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 915220
/proc/meminfo: memFree=126298664/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287408 memory=273572 CPUtime=12.62 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 65068 0 0 0 1251 11 0 0 20 0 1 0 174706476 294305792 68393 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71852 68393 2746 2726 0 68600 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 287408 KiB
Current children cumulated memory: 273572 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 6/257 915222
/proc/meminfo: memFree=126299444/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287408 memory=273572 CPUtime=25.38 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 65073 0 0 0 2527 11 0 0 20 0 1 0 174706476 294305792 68393 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71852 68393 2746 2726 0 68600 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 287408 KiB
Current children cumulated memory: 273572 KiB

[startup+51.1056 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 915227
/proc/meminfo: memFree=126329680/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287408 memory=273572 CPUtime=50.91 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 65081 0 0 0 5080 11 0 0 20 0 1 0 174706476 294305792 68393 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71852 68393 2746 2726 0 68600 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 287408 KiB
Current children cumulated memory: 273572 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 915237
/proc/meminfo: memFree=126298168/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287408 memory=273640 CPUtime=101.97 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 65100 0 0 0 10186 11 0 0 20 0 1 0 174706476 294305792 68410 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71852 68410 2746 2726 0 68600 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 287408 KiB
Current children cumulated memory: 273640 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 915247
/proc/meminfo: memFree=126267756/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287408 memory=274512 CPUtime=161.81 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 65163 0 0 0 16169 12 0 0 20 0 1 0 174706476 294305792 68628 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71852 68628 2746 2726 0 68600 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 287408 KiB
Current children cumulated memory: 274512 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/257 915304
/proc/meminfo: memFree=127075072/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287408 memory=276196 CPUtime=221.64 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 65256 0 0 0 22152 12 0 0 20 0 1 0 174706476 294305792 69049 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71852 69049 2746 2726 0 68600 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 287408 KiB
Current children cumulated memory: 276196 KiB

[startup+282.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/256 915315
/proc/meminfo: memFree=127370320/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=311100 memory=294140 CPUtime=281.49 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 68580 0 0 0 28137 12 0 0 20 0 1 0 174706476 318566400 73535 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 77775 73535 2762 2726 0 74523 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 311100 KiB
Current children cumulated memory: 294140 KiB

[startup+342.3 s]
/proc/loadavg: 4.37 4.20 4.13 5/254 915325
/proc/meminfo: memFree=127222684/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=326268 memory=305540 CPUtime=341.34 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 70548 0 0 0 34121 13 0 0 20 0 1 0 174706476 334098432 76385 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 81567 76385 2762 2726 0 78315 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 326268 KiB
Current children cumulated memory: 305540 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.19 4.13 5/254 915335
/proc/meminfo: memFree=127205744/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=326268 memory=305612 CPUtime=401.19 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 70601 0 0 0 40106 13 0 0 20 0 1 0 174706476 334098432 76403 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 81567 76403 2762 2726 0 78315 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 326268 KiB
Current children cumulated memory: 305612 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/254 915346
/proc/meminfo: memFree=127188228/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=326268 memory=305612 CPUtime=461.04 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 70657 0 0 0 46091 13 0 0 20 0 1 0 174706476 334098432 76403 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 81567 76403 2762 2726 0 78315 0

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

/proc/loadavg: 4.09 4.11 4.09 5/258 916121
/proc/meminfo: memFree=127050076/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=381124 memory=338332 CPUtime=1358.77 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 79668 0 0 0 135863 14 0 0 20 0 1 0 174706476 390270976 84583 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 95281 84583 3063 2726 0 92029 0
Current children cumulated CPU time: 1358.77 s
Current children cumulated vsize: 381124 KiB
Current children cumulated memory: 338332 KiB

[startup+1422.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 916132
/proc/meminfo: memFree=127044648/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=381124 memory=338332 CPUtime=1418.62 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 79723 0 0 0 141848 14 0 0 20 0 1 0 174706476 390270976 84583 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 95281 84583 3063 2726 0 92029 0
Current children cumulated CPU time: 1418.62 s
Current children cumulated vsize: 381124 KiB
Current children cumulated memory: 338332 KiB

[startup+1482.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 916143
/proc/meminfo: memFree=127043508/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=381124 memory=338332 CPUtime=1478.46 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 79776 0 0 0 147832 14 0 0 20 0 1 0 174706476 390270976 84583 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 95281 84583 3063 2726 0 92029 0
Current children cumulated CPU time: 1478.46 s
Current children cumulated vsize: 381124 KiB
Current children cumulated memory: 338332 KiB

[startup+1542.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 916153
/proc/meminfo: memFree=127022976/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=353376 CPUtime=1538.31 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82093 0 0 0 153816 15 0 0 20 0 1 0 174706476 405983232 88344 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 88344 3063 2726 0 95865 0
Current children cumulated CPU time: 1538.31 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 353376 KiB

[startup+1602.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 916163
/proc/meminfo: memFree=127005664/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1598.16 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82152 0 0 0 159801 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1598.16 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

[startup+1662.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 916175
/proc/meminfo: memFree=127002008/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1658.01 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82220 0 0 0 165786 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1658.01 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 916185
/proc/meminfo: memFree=126997172/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1717.87 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82283 0 0 0 171772 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1717.87 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 916195
/proc/meminfo: memFree=126992584/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1777.72 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82346 0 0 0 177757 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1777.72 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

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

# cumulated CPU time of all completed processes:  user=1797.4 s, system=0.158519 s

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

[startup+1792 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 916201
/proc/meminfo: memFree=126985164/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1787.4 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82358 0 0 0 178725 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1787.4 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

[startup+1798.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 916202
/proc/meminfo: memFree=126979388/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1793.78 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82359 0 0 0 179363 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1793.78 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

[startup+1800 s]*
/proc/loadavg: 4.07 4.09 4.09 6/257 916202
/proc/meminfo: memFree=126979388/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=396468 memory=366720 CPUtime=1795.38 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 82359 0 0 0 179523 15 0 0 20 0 1 0 174706476 405983232 91680 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 99117 91680 3063 2726 0 95865 0
Current children cumulated CPU time: 1795.38 s
Current children cumulated vsize: 396468 KiB
Current children cumulated memory: 366720 KiB

[startup+1800.8 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 916202
/proc/meminfo: memFree=126979388/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=350992 memory=331976 CPUtime=1796.16 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 84760 0 0 0 179601 15 0 0 20 0 1 0 174706476 359415808 82994 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 87748 82994 3063 2726 0 84496 0
Current children cumulated CPU time: 1796.16 s
Current children cumulated vsize: 350992 KiB
Current children cumulated memory: 331976 KiB

[startup+1801.6 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 916202
/proc/meminfo: memFree=127064112/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287400 memory=280928 CPUtime=1796.96 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 84760 0 0 0 179681 15 0 0 20 0 1 0 174706476 294297600 70232 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71850 70232 3127 2726 0 68598 0
Current children cumulated CPU time: 1796.96 s
Current children cumulated vsize: 287400 KiB
Current children cumulated memory: 280928 KiB

[startup+1802 s]*
/proc/loadavg: 4.07 4.09 4.09 5/257 916204
/proc/meminfo: memFree=127063936/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287400 memory=280928 CPUtime=1797.36 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 84760 0 0 0 179721 15 0 0 20 0 1 0 174706476 294297600 70232 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71850 70232 3127 2726 0 68598 0
Current children cumulated CPU time: 1797.36 s
Current children cumulated vsize: 287400 KiB
Current children cumulated memory: 280928 KiB

[startup+1802.11 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 916204
/proc/meminfo: memFree=127063936/131524600 swapFree=131071996/131071996
[pid=915216] ppid=915213 vsize=287400 memory=280928 CPUtime=1797.46 cores=4,6
/proc/915216/stat : 915216 (CASHWMaxSAT-Dis) R 915213 915216 909617 0 -1 4194304 84760 0 0 0 179731 15 0 0 20 0 1 0 174706476 294297600 70232 134679101440 4194304 15356333 140728372084432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 41738240 140728372085730 140728372085846 140728372085846 140728372092862 0
/proc/915216/statm: 71850 70232 3127 2726 0 68598 0
Current children cumulated CPU time: 1797.46 s
Current children cumulated vsize: 287400 KiB
Current children cumulated memory: 280928 KiB

Child status: 30

Real time (s): 1802.18
CPU time (s): 1797.55
CPU user time (s): 1797.4
CPU system time (s): 0.158519
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 405596
Max. memory (cumulated for all children) (KiB): 375884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.4
system time used= 0.158519
maximum resident set size= 375884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84760
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= 29
involuntary context switches= 549


# summary of solver processes directly reported to runsolver:
#   pid: 915216
#   total CPU time (s): 1797.55
#   total CPU user time (s): 1797.4
#   total CPU system time (s): 0.158519

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.44444 second user time and 8.28583 second system time

The end