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: 64096 MiB (59509 MiB free)
  memory of node 1: 64473 MiB (60525 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438813-1721224777/watcher-4438813-1721224777 -o /tmp/evaluation-result-4438813-1721224777/solver-4438813-1721224777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721217567-904289 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438813-1721224777.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=908600, runsolver pid=908597

[startup+0.100486 s]*
/proc/loadavg: 4.21 4.25 4.20 5/244 908601
/proc/meminfo: memFree=122910116/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=26332 memory=11536 CPUtime=0.09 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 2560 0 0 0 9 0 0 0 20 0 1 0 174636546 26963968 2884 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 6583 2884 922 2726 0 3331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26332 KiB
Current children cumulated memory: 11536 KiB

[startup+0.213387 s]*
/proc/loadavg: 4.21 4.25 4.20 5/244 908601
/proc/meminfo: memFree=122905688/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=30428 memory=13588 CPUtime=0.21 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 3076 0 0 0 20 1 0 0 20 0 1 0 174636546 31158272 3397 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 7607 3397 922 2726 0 4355 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30428 KiB
Current children cumulated memory: 13588 KiB

[startup+0.312897 s]*
/proc/loadavg: 4.21 4.25 4.20 5/244 908601
/proc/meminfo: memFree=122893524/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=50604 memory=31460 CPUtime=0.31 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 5023 0 0 0 30 1 0 0 20 0 1 0 174636546 51818496 7865 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 12651 7865 922 2726 0 9399 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50604 KiB
Current children cumulated memory: 31460 KiB

[startup+0.700329 s]
/proc/loadavg: 4.21 4.25 4.20 5/244 908601
/proc/meminfo: memFree=122875512/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=58228 memory=41788 CPUtime=0.69 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 9122 0 0 0 66 3 0 0 20 0 1 0 174636546 59625472 10447 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 14557 10447 1034 2726 0 11305 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58228 KiB
Current children cumulated memory: 41788 KiB

[startup+1.50035 s]
/proc/loadavg: 4.21 4.25 4.20 6/244 908601
/proc/meminfo: memFree=122846932/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=193036 memory=180520 CPUtime=1.48 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 42291 0 0 0 139 9 0 0 20 0 1 0 174636546 197668864 45130 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 48259 45130 2618 2726 0 45007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 193036 KiB
Current children cumulated memory: 180520 KiB

[startup+3.11313 s]
/proc/loadavg: 4.21 4.25 4.20 6/244 908649
/proc/meminfo: memFree=123190600/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=285396 memory=269228 CPUtime=3.09 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 63898 0 0 0 297 12 0 0 20 0 1 0 174636546 292245504 67307 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71349 67307 2730 2726 0 68097 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 285396 KiB
Current children cumulated memory: 269228 KiB

[startup+6.30033 s]
/proc/loadavg: 4.19 4.24 4.20 6/244 908649
/proc/meminfo: memFree=123097364/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=285584 memory=269744 CPUtime=6.26 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64049 0 0 0 614 12 0 0 20 0 1 0 174636546 292438016 67436 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71396 67436 2730 2726 0 68144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285584 KiB
Current children cumulated memory: 269744 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.26 4.20 6/244 908696
/proc/meminfo: memFree=123230412/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=286772 memory=270776 CPUtime=12.65 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64320 0 0 0 1252 13 0 0 20 0 1 0 174636546 293654528 67694 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71693 67694 2730 2726 0 68441 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 286772 KiB
Current children cumulated memory: 270776 KiB

[startup+25.5004 s]
/proc/loadavg: 4.27 4.26 4.20 5/244 908744
/proc/meminfo: memFree=123682568/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=286772 memory=270776 CPUtime=25.4 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64326 0 0 0 2527 13 0 0 20 0 1 0 174636546 293654528 67694 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71693 67694 2730 2726 0 68441 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 286772 KiB
Current children cumulated memory: 270776 KiB

[startup+51.1129 s]
/proc/loadavg: 4.18 4.24 4.20 5/244 908749
/proc/meminfo: memFree=123680016/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=286772 memory=271064 CPUtime=50.93 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64359 0 0 0 5079 14 0 0 20 0 1 0 174636546 293654528 67766 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71693 67766 2746 2726 0 68441 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 286772 KiB
Current children cumulated memory: 271064 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.21 4.19 5/243 908770
/proc/meminfo: memFree=123678320/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=286772 memory=271804 CPUtime=101.97 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64419 0 0 0 10182 15 0 0 20 0 1 0 174636546 293654528 67951 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71693 67951 2746 2726 0 68441 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 286772 KiB
Current children cumulated memory: 271804 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/243 908781
/proc/meminfo: memFree=123629928/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=286772 memory=273836 CPUtime=161.79 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64495 0 0 0 16164 15 0 0 20 0 1 0 174636546 293654528 68459 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71693 68459 2746 2726 0 68441 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 286772 KiB
Current children cumulated memory: 273836 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.16 4.17 5/243 908791
/proc/meminfo: memFree=123625880/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=286772 memory=277212 CPUtime=221.62 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 64604 0 0 0 22147 15 0 0 20 0 1 0 174636546 293654528 69303 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 71693 69303 2746 2726 0 68441 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 286772 KiB
Current children cumulated memory: 277212 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/242 908802
/proc/meminfo: memFree=123607380/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=312984 memory=294444 CPUtime=281.46 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 68500 0 0 0 28131 15 0 0 20 0 1 0 174636546 320495616 73611 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 78246 73611 2762 2726 0 74994 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 312984 KiB
Current children cumulated memory: 294444 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/242 908812
/proc/meminfo: memFree=123578864/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=332224 memory=307816 CPUtime=341.31 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 71961 0 0 0 34115 16 0 0 20 0 1 0 174636546 340197376 76954 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 83056 76954 2762 2726 0 79804 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 332224 KiB
Current children cumulated memory: 307816 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/241 908823
/proc/meminfo: memFree=123543104/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=332224 memory=307816 CPUtime=401.14 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 72013 0 0 0 40098 16 0 0 20 0 1 0 174636546 340197376 76954 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 83056 76954 2762 2726 0 79804 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 332224 KiB
Current children cumulated memory: 307816 KiB

[startup+462.3 s]
/proc/loadavg: 4.55 4.25 4.20 5/242 908834
/proc/meminfo: memFree=123533112/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=332224 memory=307816 CPUtime=460.97 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 72063 0 0 0 46081 16 0 0 20 0 1 0 174636546 340197376 76954 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 83056 76954 2762 2726 0 79804 0

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

/proc/loadavg: 4.61 4.31 4.22 5/245 909012
/proc/meminfo: memFree=123344832/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=376272 memory=342284 CPUtime=1418.37 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 78411 0 0 0 141820 17 0 0 20 0 1 0 174636546 385302528 85571 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 94068 85571 3063 2726 0 90816 0
Current children cumulated CPU time: 1418.37 s
Current children cumulated vsize: 376272 KiB
Current children cumulated memory: 342284 KiB

[startup+1482.3 s]
/proc/loadavg: 4.30 4.28 4.21 5/245 909023
/proc/meminfo: memFree=123334356/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=376272 memory=342284 CPUtime=1478.21 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 78467 0 0 0 147804 17 0 0 20 0 1 0 174636546 385302528 85571 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 94068 85571 3063 2726 0 90816 0
Current children cumulated CPU time: 1478.21 s
Current children cumulated vsize: 376272 KiB
Current children cumulated memory: 342284 KiB

[startup+1542.3 s]
/proc/loadavg: 4.21 4.26 4.20 5/244 909033
/proc/meminfo: memFree=123326204/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350112 CPUtime=1538.03 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80608 0 0 0 153785 18 0 0 20 0 1 0 174636546 399728640 87528 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87528 3063 2726 0 94338 0
Current children cumulated CPU time: 1538.03 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350112 KiB

[startup+1602.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/243 909428
/proc/meminfo: memFree=123314552/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350248 CPUtime=1597.85 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80666 0 0 0 159767 18 0 0 20 0 1 0 174636546 399728640 87562 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87562 3063 2726 0 94338 0
Current children cumulated CPU time: 1597.85 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350248 KiB

[startup+1662.3 s]
/proc/loadavg: 4.21 4.23 4.19 5/243 909438
/proc/meminfo: memFree=123308648/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350248 CPUtime=1657.67 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80729 0 0 0 165749 18 0 0 20 0 1 0 174636546 399728640 87562 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87562 3063 2726 0 94338 0
Current children cumulated CPU time: 1657.67 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350248 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/243 909448
/proc/meminfo: memFree=123298784/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350248 CPUtime=1717.49 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80790 0 0 0 171731 18 0 0 20 0 1 0 174636546 399728640 87562 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87562 3063 2726 0 94338 0
Current children cumulated CPU time: 1717.49 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350248 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/245 909629
/proc/meminfo: memFree=123298252/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350248 CPUtime=1777.31 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80849 0 0 0 177713 18 0 0 20 0 1 0 174636546 399728640 87562 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87562 3063 2726 0 94338 0
Current children cumulated CPU time: 1777.31 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350248 KiB

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

# cumulated CPU time of all completed processes:  user=1799.46 s, system=0.199258 s

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

[startup+1792 s]*
/proc/loadavg: 4.15 4.19 4.18 5/245 909630
/proc/meminfo: memFree=123298244/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350248 CPUtime=1787 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80850 0 0 0 178682 18 0 0 20 0 1 0 174636546 399728640 87562 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87562 3063 2726 0 94338 0
Current children cumulated CPU time: 1787 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350248 KiB

[startup+1798.4 s]
/proc/loadavg: 4.14 4.18 4.18 5/245 909630
/proc/meminfo: memFree=123298384/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=390360 memory=350248 CPUtime=1793.36 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 80850 0 0 0 179318 18 0 0 20 0 1 0 174636546 399728640 87562 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 97590 87562 3063 2726 0 94338 0
Current children cumulated CPU time: 1793.36 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 350248 KiB

[startup+1801.6 s]
/proc/loadavg: 4.13 4.18 4.18 5/245 909630
/proc/meminfo: memFree=123298384/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=340764 memory=322360 CPUtime=1796.56 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 83172 0 0 0 179637 19 0 0 20 0 1 0 174636546 348942336 80590 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 85191 80590 3063 2726 0 81939 0
Current children cumulated CPU time: 1796.56 s
Current children cumulated vsize: 340764 KiB
Current children cumulated memory: 322360 KiB

[startup+1803.2 s]
/proc/loadavg: 4.13 4.18 4.18 5/245 909632
/proc/meminfo: memFree=123316916/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=340764 memory=322360 CPUtime=1798.15 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 83172 0 0 0 179796 19 0 0 20 0 1 0 174636546 348942336 80590 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 85191 80590 3063 2726 0 81939 0
Current children cumulated CPU time: 1798.15 s
Current children cumulated vsize: 340764 KiB
Current children cumulated memory: 322360 KiB

[startup+1804 s]*
/proc/loadavg: 4.13 4.18 4.18 5/245 909632
/proc/meminfo: memFree=123386272/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=340764 memory=322360 CPUtime=1798.96 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 83172 0 0 0 179877 19 0 0 20 0 1 0 174636546 348942336 80590 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 85191 80590 3063 2726 0 81939 0
Current children cumulated CPU time: 1798.96 s
Current children cumulated vsize: 340764 KiB
Current children cumulated memory: 322360 KiB

[startup+1804.4 s]
/proc/loadavg: 4.13 4.18 4.18 5/245 909632
/proc/meminfo: memFree=123386272/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=340764 memory=322360 CPUtime=1799.34 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 83172 0 0 0 179915 19 0 0 20 0 1 0 174636546 348942336 80590 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 85191 80590 3063 2726 0 81939 0
Current children cumulated CPU time: 1799.34 s
Current children cumulated vsize: 340764 KiB
Current children cumulated memory: 322360 KiB

[startup+1804.6 s]
/proc/loadavg: 4.13 4.18 4.18 5/245 909632
/proc/meminfo: memFree=123386272/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=340764 memory=322360 CPUtime=1799.54 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 83172 0 0 0 179935 19 0 0 20 0 1 0 174636546 348942336 80590 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 85191 80590 3063 2726 0 81939 0
Current children cumulated CPU time: 1799.54 s
Current children cumulated vsize: 340764 KiB
Current children cumulated memory: 322360 KiB

[startup+1804.7 s]
/proc/loadavg: 4.13 4.18 4.18 5/245 909632
/proc/meminfo: memFree=123386272/131655788 swapFree=131071996/131071996
[pid=908600] ppid=908597 vsize=340764 memory=322360 CPUtime=1799.64 cores=4,6
/proc/908600/stat : 908600 (CASHWMaxSAT-Dis) R 908597 908600 904278 0 -1 4194304 83172 0 0 0 179945 19 0 0 20 0 1 0 174636546 348942336 80590 134679101440 4194304 15356333 140724313069584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 52604928 140724313072610 140724313072726 140724313072726 140724313079742 0
/proc/908600/statm: 85191 80590 3063 2726 0 81939 0
Current children cumulated CPU time: 1799.64 s
Current children cumulated vsize: 340764 KiB
Current children cumulated memory: 322360 KiB

Child status: 30

Real time (s): 1804.71
CPU time (s): 1799.66
CPU user time (s): 1799.46
CPU system time (s): 0.199258
CPU usage (%): 99.7205
Max. virtual memory (cumulated for all children) (KiB): 399024
Max. memory (cumulated for all children) (KiB): 358948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.199258
maximum resident set size= 358948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83172
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= 36
involuntary context switches= 855


# summary of solver processes directly reported to runsolver:
#   pid: 908600
#   total CPU time (s): 1799.66
#   total CPU user time (s): 1799.46
#   total CPU system time (s): 0.199258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9515 second user time and 15.0086 second system time

The end