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: 63708 MiB (61109 MiB free)
  memory of node 1: 64465 MiB (59743 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520363-1751568145/watcher-4520363-1751568145 -o /tmp/evaluation-result-4520363-1751568145/solver-4520363-1751568145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751566451-81051 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4520363-1751568145.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81324, runsolver pid=81321
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.11 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123719612/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=66196 memory=55604 CPUtime=0.09 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 12526 0 0 0 9 0 0 0 20 0 1 0 72492035 67784704 13901 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 16549 13901 2272 2593 0 13442 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 55604 KiB

[startup+0.205637 s]*
/proc/loadavg: 4.11 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123647036/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=141624 memory=130484 CPUtime=0.2 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 31097 0 0 0 16 4 0 0 20 0 1 0 72492035 145022976 32621 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 35406 32621 2432 2593 0 32299 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141624 KiB
Current children cumulated memory: 130484 KiB

[startup+0.305672 s]*
/proc/loadavg: 4.11 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123638972/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=151440 memory=137908 CPUtime=0.3 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 32903 0 0 0 26 4 0 0 20 0 1 0 72492035 155074560 34477 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 37860 34477 2496 2593 0 34753 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151440 KiB
Current children cumulated memory: 137908 KiB

[startup+0.700188 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123598652/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=192736 memory=178612 CPUtime=0.69 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 43077 0 0 0 63 6 0 0 20 0 1 0 72492035 197361664 44653 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 48184 44653 2528 2593 0 45077 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192736 KiB
Current children cumulated memory: 178612 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123582776/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=211956 memory=196916 CPUtime=1.49 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 47683 0 0 0 142 7 0 0 20 0 1 0 72492035 217042944 49229 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 52989 49229 2528 2593 0 49882 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 211956 KiB
Current children cumulated memory: 196916 KiB

[startup+3.10571 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123574712/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=213524 memory=198452 CPUtime=3.09 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 48067 0 0 0 302 7 0 0 20 0 1 0 72492035 218648576 49613 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 53381 49613 2528 2593 0 50274 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 213524 KiB
Current children cumulated memory: 198452 KiB

[startup+6.30018 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123575216/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=215108 memory=200116 CPUtime=6.27 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 48463 0 0 0 620 7 0 0 20 0 1 0 72492035 220270592 50029 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 53777 50029 2528 2593 0 50670 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215108 KiB
Current children cumulated memory: 200116 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 81325
/proc/meminfo: memFree=123348792/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=496436 memory=461184 CPUtime=12.64 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 97045 0 0 0 1247 17 0 0 20 0 1 0 72492035 508350464 115296 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 124109 115296 2656 2593 0 121002 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 496436 KiB
Current children cumulated memory: 461184 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.04 5/264 81325
/proc/meminfo: memFree=123251760/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=536200 memory=500764 CPUtime=25.41 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 97856 0 0 0 2523 18 0 0 20 0 1 0 72492035 549068800 125191 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 134050 125191 2656 2593 0 130943 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 536200 KiB
Current children cumulated memory: 500764 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 81326
/proc/meminfo: memFree=123240620/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=615884 memory=505052 CPUtime=50.96 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 97907 0 0 0 5077 19 0 0 20 0 1 0 72492035 630665216 126263 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 153971 126263 2656 2593 0 150864 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 615884 KiB
Current children cumulated memory: 505052 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.04 5/264 81328
/proc/meminfo: memFree=123148420/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=727628 memory=617036 CPUtime=102 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 140824 0 0 0 10175 25 0 0 20 0 1 0 72492035 745091072 154259 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 181907 154259 2656 2593 0 178800 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 727628 KiB
Current children cumulated memory: 617036 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/264 81330
/proc/meminfo: memFree=123208144/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=795624 memory=658448 CPUtime=161.83 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 151567 0 0 0 16155 28 0 0 20 0 1 0 72492035 814718976 164612 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 198906 164612 2656 2593 0 195799 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 795624 KiB
Current children cumulated memory: 658448 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/262 81377
/proc/meminfo: memFree=125359792/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=929804 memory=729088 CPUtime=221.67 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 172385 0 0 0 22136 31 0 0 20 0 1 0 72492035 952119296 182272 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 232451 182272 2656 2593 0 229344 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 929804 KiB
Current children cumulated memory: 729088 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/262 81379
/proc/meminfo: memFree=124935288/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=999324 memory=732424 CPUtime=281.47 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 172718 0 0 0 28116 31 0 0 20 0 1 0 72492035 1023307776 183106 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 249831 183106 2656 2593 0 246724 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 999324 KiB
Current children cumulated memory: 732424 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.04 5/262 81381
/proc/meminfo: memFree=124887364/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=999324 memory=732424 CPUtime=341.28 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 172718 0 0 0 34097 31 0 0 20 0 1 0 72492035 1023307776 183106 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 249831 183106 2656 2593 0 246724 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 999324 KiB
Current children cumulated memory: 732424 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/263 81518
/proc/meminfo: memFree=126598208/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=999324 memory=732424 CPUtime=401.1 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 172718 0 0 0 40079 31 0 0 20 0 1 0 72492035 1023307776 183106 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 249831 183106 2656 2593 0 246724 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 999324 KiB
Current children cumulated memory: 732424 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/265 81526
/proc/meminfo: memFree=126533988/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1020848 memory=734936 CPUtime=460.91 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 172825 0 0 0 46060 31 0 0 20 0 1 0 72492035 1045348352 183734 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 255212 183734 2656 2593 0 252105 0

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

/proc/loadavg: 4.08 4.09 4.07 5/264 81668
/proc/meminfo: memFree=123297184/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1916584 memory=1083504 CPUtime=1357.84 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 271339 0 0 0 135731 53 0 0 20 0 1 0 72492035 1962582016 270876 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 479146 270876 2656 2593 0 476039 0
Current children cumulated CPU time: 1357.84 s
Current children cumulated vsize: 1916584 KiB
Current children cumulated memory: 1083504 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 81670
/proc/meminfo: memFree=123326716/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1916584 memory=1083504 CPUtime=1417.66 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 271344 0 0 0 141713 53 0 0 20 0 1 0 72492035 1962582016 270876 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 479146 270876 2656 2593 0 476039 0
Current children cumulated CPU time: 1417.66 s
Current children cumulated vsize: 1916584 KiB
Current children cumulated memory: 1083504 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/263 81672
/proc/meminfo: memFree=123320728/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1916584 memory=1083504 CPUtime=1477.48 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 271344 0 0 0 147695 53 0 0 20 0 1 0 72492035 1962582016 270876 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 479146 270876 2656 2593 0 476039 0
Current children cumulated CPU time: 1477.48 s
Current children cumulated vsize: 1916584 KiB
Current children cumulated memory: 1083504 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/263 81674
/proc/meminfo: memFree=123245692/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1916584 memory=1084016 CPUtime=1537.28 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 271465 0 0 0 153675 53 0 0 20 0 1 0 72492035 1962582016 271004 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 479146 271004 2656 2593 0 476039 0
Current children cumulated CPU time: 1537.28 s
Current children cumulated vsize: 1916584 KiB
Current children cumulated memory: 1084016 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/262 81676
/proc/meminfo: memFree=123424364/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1942972 memory=1086320 CPUtime=1597.05 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 272047 0 0 0 159652 53 0 0 20 0 1 0 72492035 1989603328 271580 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 485743 271580 2656 2593 0 482636 0
Current children cumulated CPU time: 1597.05 s
Current children cumulated vsize: 1942972 KiB
Current children cumulated memory: 1086320 KiB

[startup+1662.3 s]
/proc/loadavg: 4.40 4.19 4.12 5/262 81768
/proc/meminfo: memFree=124179864/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1994524 memory=1101424 CPUtime=1656.84 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 275807 0 0 0 165630 54 0 0 20 0 1 0 72492035 2042392576 275356 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 498631 275356 2656 2593 0 495524 0
Current children cumulated CPU time: 1656.84 s
Current children cumulated vsize: 1994524 KiB
Current children cumulated memory: 1101424 KiB

[startup+1722.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/263 81775
/proc/meminfo: memFree=124172220/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=2041956 memory=1115140 CPUtime=1716.65 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 278682 0 0 0 171610 55 0 0 20 0 1 0 72492035 2090962944 278785 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 510489 278785 2656 2593 0 507382 0
Current children cumulated CPU time: 1716.65 s
Current children cumulated vsize: 2041956 KiB
Current children cumulated memory: 1115140 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 81779
/proc/meminfo: memFree=124148412/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=2115704 memory=1133084 CPUtime=1776.48 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281262 0 0 0 177591 57 0 0 20 0 1 0 72492035 2166480896 283271 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 528926 283271 2656 2593 0 525819 0
Current children cumulated CPU time: 1776.48 s
Current children cumulated vsize: 2115704 KiB
Current children cumulated memory: 1133084 KiB

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

# cumulated CPU time of all completed processes:  user=1801.91 s, system=0.620864 s

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

[startup+1792 s]*
/proc/loadavg: 4.14 4.16 4.11 5/263 81779
/proc/meminfo: memFree=124147944/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=2127776 memory=1134236 CPUtime=1786.15 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281543 0 0 0 178558 57 0 0 20 0 1 0 72492035 2178842624 283559 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 531944 283559 2656 2593 0 528837 0
Current children cumulated CPU time: 1786.15 s
Current children cumulated vsize: 2127776 KiB
Current children cumulated memory: 1134236 KiB

[startup+1798.4 s]
/proc/loadavg: 4.21 4.17 4.11 5/263 81779
/proc/meminfo: memFree=124143912/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=2133028 memory=1137084 CPUtime=1792.53 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281758 0 0 0 179196 57 0 0 20 0 1 0 72492035 2184220672 284271 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 533257 284271 2656 2593 0 530150 0
Current children cumulated CPU time: 1792.53 s
Current children cumulated vsize: 2133028 KiB
Current children cumulated memory: 1137084 KiB

[startup+1804.8 s]
/proc/loadavg: 4.20 4.17 4.11 5/263 81779
/proc/meminfo: memFree=124549332/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1415636 memory=722872 CPUtime=1798.9 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281819 0 0 0 179832 58 0 0 20 0 1 0 72492035 1449611264 180718 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 353909 180718 2688 2593 0 350802 0
Current children cumulated CPU time: 1798.9 s
Current children cumulated vsize: 1415636 KiB
Current children cumulated memory: 722872 KiB

[startup+1806.4 s]
/proc/loadavg: 4.18 4.17 4.11 5/263 81779
/proc/meminfo: memFree=124549332/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1415636 memory=722872 CPUtime=1800.5 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281819 0 0 0 179991 59 0 0 20 0 1 0 72492035 1449611264 180718 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 353909 180718 2688 2593 0 350802 0
Current children cumulated CPU time: 1800.5 s
Current children cumulated vsize: 1415636 KiB
Current children cumulated memory: 722872 KiB

[startup+1807.2 s]
/proc/loadavg: 4.18 4.17 4.11 5/263 81779
/proc/meminfo: memFree=124549332/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1415636 memory=722872 CPUtime=1801.3 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281819 0 0 0 180071 59 0 0 20 0 1 0 72492035 1449611264 180718 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 353909 180718 2688 2593 0 350802 0
Current children cumulated CPU time: 1801.3 s
Current children cumulated vsize: 1415636 KiB
Current children cumulated memory: 722872 KiB

[startup+1808 s]*
/proc/loadavg: 4.18 4.17 4.11 5/263 81779
/proc/meminfo: memFree=124549332/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1415636 memory=722872 CPUtime=1802.1 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281819 0 0 0 180151 59 0 0 20 0 1 0 72492035 1449611264 180718 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 353909 180718 2688 2593 0 350802 0
Current children cumulated CPU time: 1802.1 s
Current children cumulated vsize: 1415636 KiB
Current children cumulated memory: 722872 KiB

[startup+1808.4 s]
/proc/loadavg: 4.18 4.17 4.11 5/263 81779
/proc/meminfo: memFree=124549332/131249988 swapFree=33010160/33010684
[pid=81324] ppid=81321 vsize=1415636 memory=722872 CPUtime=1802.49 cores=4,6
/proc/81324/stat : 81324 (CASHWMaxSAT-Dis) R 81321 81324 81040 0 -1 4194304 281819 0 0 0 180190 59 0 0 20 0 1 0 72492035 1449611264 180718 18446744073709551615 4198400 14817773 140727662216704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30593024 140727662225770 140727662225885 140727662225885 140727662231487 0
/proc/81324/statm: 353909 180718 2688 2593 0 350802 0
Current children cumulated CPU time: 1802.49 s
Current children cumulated vsize: 1415636 KiB
Current children cumulated memory: 722872 KiB

Child status: 30

Real time (s): 1808.43
CPU time (s): 1802.53
CPU user time (s): 1801.91
CPU system time (s): 0.620864
CPU usage (%): 99.6739
Max. virtual memory (cumulated for all children) (KiB): 2133028
Max. memory (cumulated for all children) (KiB): 1137084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.91
system time used= 0.620864
maximum resident set size= 1137084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281819
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= 20
involuntary context switches= 10157


# summary of solver processes directly reported to runsolver:
#   pid: 81324
#   total CPU time (s): 1802.53
#   total CPU user time (s): 1801.91
#   total CPU system time (s): 0.620864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53007 second user time and 7.66437 second system time

The end