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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458549-1721881607/watcher-4458549-1721881607 -o /tmp/evaluation-result-4458549-1721881607/solver-4458549-1721881607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214044 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458549-1721881607.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=216645, runsolver pid=216642

[startup+0.100793 s]*
/proc/loadavg: 4.18 4.29 4.22 5/243 216646
/proc/meminfo: memFree=124159356/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=30116 memory=15264 CPUtime=0.09 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 3353 0 0 0 9 0 0 0 20 0 1 0 24150416 30838784 3816 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 7529 3816 926 2594 0 4422 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 15264 KiB

[startup+0.212963 s]*
/proc/loadavg: 4.18 4.29 4.22 5/243 216646
/proc/meminfo: memFree=124125924/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=65504 memory=55064 CPUtime=0.21 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 12582 0 0 0 18 3 0 0 20 0 1 0 24150416 67076096 13766 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 16376 13766 2302 2594 0 13269 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65504 KiB
Current children cumulated memory: 55064 KiB

[startup+0.312818 s]*
/proc/loadavg: 4.18 4.29 4.22 5/243 216646
/proc/meminfo: memFree=124094872/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=97904 memory=86744 CPUtime=0.31 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 20481 0 0 0 26 5 0 0 20 0 1 0 24150416 100253696 21686 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 24476 21686 2302 2594 0 21369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97904 KiB
Current children cumulated memory: 86744 KiB

[startup+0.700334 s]
/proc/loadavg: 4.18 4.29 4.22 5/243 216646
/proc/meminfo: memFree=124020804/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=178660 memory=165200 CPUtime=0.68 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 39865 0 0 0 59 9 0 0 20 0 1 0 24150416 182947840 41300 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 44665 41300 2526 2594 0 41558 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178660 KiB
Current children cumulated memory: 165200 KiB

[startup+1.50033 s]
/proc/loadavg: 4.18 4.29 4.22 5/243 216646
/proc/meminfo: memFree=123968984/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=228712 memory=214580 CPUtime=1.48 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 52320 0 0 0 137 11 0 0 20 0 1 0 24150416 234201088 53645 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 57178 53645 2542 2594 0 54071 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228712 KiB
Current children cumulated memory: 214580 KiB

[startup+3.11279 s]
/proc/loadavg: 4.18 4.29 4.22 5/243 216646
/proc/meminfo: memFree=123939112/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=253368 memory=238296 CPUtime=3.08 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 58227 0 0 0 296 12 0 0 20 0 1 0 24150416 259448832 59574 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 63342 59574 2558 2594 0 60235 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 253368 KiB
Current children cumulated memory: 238296 KiB

[startup+6.30031 s]
/proc/loadavg: 4.16 4.28 4.22 5/244 216647
/proc/meminfo: memFree=123935444/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=257484 memory=242520 CPUtime=6.27 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 59256 0 0 0 614 13 0 0 20 0 1 0 24150416 263663616 60630 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 64371 60630 2558 2594 0 61264 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 257484 KiB
Current children cumulated memory: 242520 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.29 4.22 5/244 216649
/proc/meminfo: memFree=123930792/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=261668 memory=246480 CPUtime=12.65 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 60302 0 0 0 1251 14 0 0 20 0 1 0 24150416 267948032 61620 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 65417 61620 2558 2594 0 62310 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 261668 KiB
Current children cumulated memory: 246480 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.28 4.22 5/244 216650
/proc/meminfo: memFree=123606676/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=662424 memory=623468 CPUtime=25.4 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 116744 0 0 0 2514 26 0 0 20 0 1 0 24150416 678322176 155867 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 165606 155867 2670 2594 0 162499 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 662424 KiB
Current children cumulated memory: 623468 KiB

[startup+51.1135 s]
/proc/loadavg: 4.12 4.26 4.21 5/244 216701
/proc/meminfo: memFree=123672116/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=671756 memory=614832 CPUtime=50.96 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 117714 0 0 0 5068 28 0 0 20 0 1 0 24150416 687878144 153708 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 167939 153708 2670 2594 0 164832 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 671756 KiB
Current children cumulated memory: 614832 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.23 4.20 5/245 216880
/proc/meminfo: memFree=123547792/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=742664 memory=616972 CPUtime=102.04 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 117804 0 0 0 10175 29 0 0 20 0 1 0 24150416 760487936 154243 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 185666 154243 2670 2594 0 182559 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 742664 KiB
Current children cumulated memory: 616972 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.20 4.19 5/245 216890
/proc/meminfo: memFree=123383200/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=904600 memory=768848 CPUtime=161.88 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 166554 0 0 0 16150 38 0 0 20 0 1 0 24150416 926310400 192212 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 226150 192212 2670 2594 0 223043 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 904600 KiB
Current children cumulated memory: 768848 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.18 4.18 5/247 216959
/proc/meminfo: memFree=123324024/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=904600 memory=768848 CPUtime=221.75 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 166554 0 0 0 22136 39 0 0 20 0 1 0 24150416 926310400 192212 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 226150 192212 2670 2594 0 223043 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 904600 KiB
Current children cumulated memory: 768848 KiB

[startup+282.3 s]
/proc/loadavg: 4.50 4.27 4.21 5/246 216970
/proc/meminfo: memFree=123321200/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=904600 memory=769260 CPUtime=281.62 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 166558 0 0 0 28122 40 0 0 20 0 1 0 24150416 926310400 192315 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 226150 192315 2670 2594 0 223043 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 904600 KiB
Current children cumulated memory: 769260 KiB

[startup+342.3 s]
/proc/loadavg: 4.58 4.35 4.24 5/245 216980
/proc/meminfo: memFree=123284336/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=904600 memory=771856 CPUtime=341.48 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 166619 0 0 0 34108 40 0 0 20 0 1 0 24150416 926310400 192964 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 226150 192964 2670 2594 0 223043 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 904600 KiB
Current children cumulated memory: 771856 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 4.32 4.24 5/244 216991
/proc/meminfo: memFree=123254416/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=904600 memory=774520 CPUtime=401.35 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 166682 0 0 0 40094 41 0 0 20 0 1 0 24150416 926310400 193630 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 226150 193630 2670 2594 0 223043 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 904600 KiB
Current children cumulated memory: 774520 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.27 4.22 5/244 217001
/proc/meminfo: memFree=123219344/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=904600 memory=775308 CPUtime=461.2 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 166800 0 0 0 46079 41 0 0 20 0 1 0 24150416 926310400 193827 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 226150 193827 2670 2594 0 223043 0

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

/proc/loadavg: 4.13 4.12 4.15 5/242 217163
/proc/meminfo: memFree=117883652/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2168864 memory=1531164 CPUtime=1359.12 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 280728 0 0 0 135851 61 0 0 20 0 1 0 24150416 2220916736 382791 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 542216 382791 2670 2594 0 539109 0
Current children cumulated CPU time: 1359.12 s
Current children cumulated vsize: 2168864 KiB
Current children cumulated memory: 1531164 KiB

[startup+1422.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 217178
/proc/meminfo: memFree=117649732/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2337124 memory=1537712 CPUtime=1418.97 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 280988 0 0 0 141836 61 0 0 20 0 1 0 24150416 2393214976 384428 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 584281 384428 2670 2594 0 581174 0
Current children cumulated CPU time: 1418.97 s
Current children cumulated vsize: 2337124 KiB
Current children cumulated memory: 1537712 KiB

[startup+1482.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 217189
/proc/meminfo: memFree=117414744/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2518748 memory=1581924 CPUtime=1478.82 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 285083 0 0 0 147820 62 0 0 20 0 1 0 24150416 2579197952 395481 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 629687 395481 2670 2594 0 626580 0
Current children cumulated CPU time: 1478.82 s
Current children cumulated vsize: 2518748 KiB
Current children cumulated memory: 1581924 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/244 217199
/proc/meminfo: memFree=117147828/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2674492 memory=1651432 CPUtime=1538.67 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 291958 0 0 0 153804 63 0 0 20 0 1 0 24150416 2738679808 412858 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 668623 412858 2670 2594 0 665516 0
Current children cumulated CPU time: 1538.67 s
Current children cumulated vsize: 2674492 KiB
Current children cumulated memory: 1651432 KiB

[startup+1602.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/244 217210
/proc/meminfo: memFree=116874984/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2786280 memory=1707008 CPUtime=1598.53 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 298908 0 0 0 159789 64 0 0 20 0 1 0 24150416 2853150720 426752 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 696570 426752 2670 2594 0 693463 0
Current children cumulated CPU time: 1598.53 s
Current children cumulated vsize: 2786280 KiB
Current children cumulated memory: 1707008 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/244 217220
/proc/meminfo: memFree=116590576/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2886024 memory=1823716 CPUtime=1658.38 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 325254 0 0 0 165769 69 0 0 20 0 1 0 24150416 2955288576 455929 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 721506 455929 2670 2594 0 718399 0
Current children cumulated CPU time: 1658.38 s
Current children cumulated vsize: 2886024 KiB
Current children cumulated memory: 1823716 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/246 217614
/proc/meminfo: memFree=116352448/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2896272 memory=1850380 CPUtime=1718.24 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326040 0 0 0 171755 69 0 0 20 0 1 0 24150416 2965782528 462595 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 724068 462595 2670 2594 0 720961 0
Current children cumulated CPU time: 1718.24 s
Current children cumulated vsize: 2896272 KiB
Current children cumulated memory: 1850380 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/244 217625
/proc/meminfo: memFree=116124908/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2896272 memory=1884860 CPUtime=1778.11 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326152 0 0 0 177742 69 0 0 20 0 1 0 24150416 2965782528 471215 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 724068 471215 2670 2594 0 720961 0
Current children cumulated CPU time: 1778.11 s
Current children cumulated vsize: 2896272 KiB
Current children cumulated memory: 1884860 KiB

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

# cumulated CPU time of all completed processes:  user=1806.06 s, system=0.740711 s

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

[startup+1792 s]*
/proc/loadavg: 4.11 4.10 4.12 5/244 217628
/proc/meminfo: memFree=116078528/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2896272 memory=1888616 CPUtime=1787.8 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326205 0 0 0 178711 69 0 0 20 0 1 0 24150416 2965782528 472154 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 724068 472154 2670 2594 0 720961 0
Current children cumulated CPU time: 1787.8 s
Current children cumulated vsize: 2896272 KiB
Current children cumulated memory: 1888616 KiB

[startup+1804.8 s]
/proc/loadavg: 4.10 4.09 4.12 5/244 217629
/proc/meminfo: memFree=116285416/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2593272 memory=1632228 CPUtime=1800.56 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326594 0 0 0 179986 70 0 0 20 0 1 0 24150416 2655510528 408057 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 648318 408057 2702 2594 0 645211 0
Current children cumulated CPU time: 1800.56 s
Current children cumulated vsize: 2593272 KiB
Current children cumulated memory: 1632228 KiB

[startup+1808 s]*
/proc/loadavg: 4.09 4.09 4.12 5/244 217629
/proc/meminfo: memFree=116272948/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2593272 memory=1632228 CPUtime=1803.76 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326601 0 0 0 180304 72 0 0 20 0 1 0 24150416 2655510528 408057 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 648318 408057 2702 2594 0 645211 0
Current children cumulated CPU time: 1803.76 s
Current children cumulated vsize: 2593272 KiB
Current children cumulated memory: 1632228 KiB

[startup+1809.6 s]
/proc/loadavg: 4.09 4.09 4.12 5/244 217629
/proc/meminfo: memFree=116272836/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2593272 memory=1632228 CPUtime=1805.35 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326606 0 0 0 180462 73 0 0 20 0 1 0 24150416 2655510528 408057 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 648318 408057 2702 2594 0 645211 0
Current children cumulated CPU time: 1805.35 s
Current children cumulated vsize: 2593272 KiB
Current children cumulated memory: 1632228 KiB

[startup+1810.4 s]
/proc/loadavg: 4.08 4.09 4.12 5/244 217631
/proc/meminfo: memFree=116271772/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2593272 memory=1632228 CPUtime=1806.15 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326609 0 0 0 180542 73 0 0 20 0 1 0 24150416 2655510528 408057 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 648318 408057 2702 2594 0 645211 0
Current children cumulated CPU time: 1806.15 s
Current children cumulated vsize: 2593272 KiB
Current children cumulated memory: 1632228 KiB

[startup+1810.8 s]
/proc/loadavg: 4.08 4.09 4.12 5/244 217631
/proc/meminfo: memFree=116271772/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2593272 memory=1632228 CPUtime=1806.55 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326610 0 0 0 180582 73 0 0 20 0 1 0 24150416 2655510528 408057 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 648318 408057 2702 2594 0 645211 0
Current children cumulated CPU time: 1806.55 s
Current children cumulated vsize: 2593272 KiB
Current children cumulated memory: 1632228 KiB

[startup+1811 s]*
/proc/loadavg: 4.08 4.09 4.12 5/244 217631
/proc/meminfo: memFree=116271756/131655788 swapFree=131057052/131071996
[pid=216645] ppid=216642 vsize=2593272 memory=1632228 CPUtime=1806.76 cores=4,6
/proc/216645/stat : 216645 (CASHWMaxSAT-Dis) R 216642 216645 214033 0 -1 4194304 326611 0 0 0 180603 73 0 0 20 0 1 0 24150416 2655510528 408057 134679101440 4194304 14817773 140728854953088 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26439680 140728854954981 140728854955096 140728854955096 140728854962111 0
/proc/216645/statm: 648318 408057 2702 2594 0 645211 0
Current children cumulated CPU time: 1806.76 s
Current children cumulated vsize: 2593272 KiB
Current children cumulated memory: 1632228 KiB

Child status: 30

Real time (s): 1811.05
CPU time (s): 1806.8
CPU user time (s): 1806.06
CPU system time (s): 0.740711
CPU usage (%): 99.7656
Max. virtual memory (cumulated for all children) (KiB): 2896272
Max. memory (cumulated for all children) (KiB): 1894960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1806.06
system time used= 0.740711
maximum resident set size= 1894960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326611
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= 42
involuntary context switches= 1440


# summary of solver processes directly reported to runsolver:
#   pid: 216645
#   total CPU time (s): 1806.8
#   total CPU user time (s): 1806.06
#   total CPU system time (s): 0.740711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30305 second user time and 17.875 second system time

The end