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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439557-1721194629/watcher-4439557-1721194629 -o /tmp/evaluation-result-4439557-1721194629/solver-4439557-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721194641-893031 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439557-1721194629.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=893093, runsolver pid=893078

[startup+0.100931 s]*
/proc/loadavg: 0.38 0.15 0.11 8/257 893095
/proc/meminfo: memFree=126110072/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=46368 memory=28360 CPUtime=0.09 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 6405 0 0 0 8 1 0 0 20 0 1 0 171626813 47480832 7090 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 11592 7090 1226 2550 0 8547 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46368 KiB
Current children cumulated memory: 28360 KiB

[startup+0.206162 s]*
/proc/loadavg: 0.38 0.15 0.11 8/257 893095
/proc/meminfo: memFree=125975380/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=53396 memory=36984 CPUtime=0.2 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 9387 0 0 0 19 1 0 0 20 0 1 0 171626813 54677504 9246 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 13349 9246 1226 2550 0 10304 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53396 KiB
Current children cumulated memory: 36984 KiB

[startup+0.306305 s]*
/proc/loadavg: 0.38 0.15 0.11 8/257 893095
/proc/meminfo: memFree=125953292/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=58240 memory=40616 CPUtime=0.29 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 9777 0 0 0 28 1 0 0 20 0 1 0 171626813 59637760 10154 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 14560 10154 1226 2550 0 11515 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58240 KiB
Current children cumulated memory: 40616 KiB

[startup+0.700224 s]
/proc/loadavg: 0.38 0.15 0.11 9/257 893095
/proc/meminfo: memFree=125773344/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=279232 memory=264428 CPUtime=0.68 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 65374 0 0 0 59 9 0 0 20 0 1 0 171626813 285933568 66107 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 69808 66107 2746 2550 0 66763 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 279232 KiB
Current children cumulated memory: 264428 KiB

[startup+1.50023 s]
/proc/loadavg: 0.38 0.15 0.11 9/257 893095
/proc/meminfo: memFree=125256240/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=342392 memory=327524 CPUtime=1.48 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 81153 0 0 0 137 11 0 0 20 0 1 0 171626813 350609408 81881 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 85598 81881 2746 2550 0 82553 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 342392 KiB
Current children cumulated memory: 327524 KiB

[startup+3.10637 s]
/proc/loadavg: 0.38 0.15 0.11 9/257 893097
/proc/meminfo: memFree=124421628/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=342392 memory=327524 CPUtime=3.08 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 81155 0 0 0 297 11 0 0 20 0 1 0 171626813 350609408 81881 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 85598 81881 2746 2550 0 82553 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342392 KiB
Current children cumulated memory: 327524 KiB

[startup+6.30022 s]
/proc/loadavg: 0.67 0.21 0.13 8/257 893097
/proc/meminfo: memFree=123601512/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=342392 memory=327524 CPUtime=6.27 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 81155 0 0 0 615 12 0 0 20 0 1 0 171626813 350609408 81881 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 85598 81881 2746 2550 0 82553 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 342392 KiB
Current children cumulated memory: 327524 KiB

[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 8/257 893097
/proc/meminfo: memFree=123182004/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=683992 memory=652028 CPUtime=12.65 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 126329 0 0 0 1242 23 0 0 20 0 1 0 171626813 700407808 163007 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 170998 163007 2906 2550 0 167953 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 683992 KiB
Current children cumulated memory: 652028 KiB

[startup+25.5002 s]
/proc/loadavg: 1.41 0.40 0.19 8/257 893100
/proc/meminfo: memFree=121974184/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=691104 memory=656420 CPUtime=25.4 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 127490 0 0 0 2517 23 0 0 20 0 1 0 171626813 707690496 164105 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 172776 164105 2906 2550 0 169731 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 691104 KiB
Current children cumulated memory: 656420 KiB

[startup+51.1064 s]
/proc/loadavg: 2.49 0.76 0.32 9/257 893103
/proc/meminfo: memFree=121902600/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=691104 memory=656676 CPUtime=50.93 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 127527 0 0 0 5069 24 0 0 20 0 1 0 171626813 707690496 164169 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 172776 164169 2906 2550 0 169731 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 691104 KiB
Current children cumulated memory: 656676 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 9/257 893112
/proc/meminfo: memFree=121883128/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=693720 memory=660448 CPUtime=101.97 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 128517 0 0 0 10172 25 0 0 20 0 1 0 171626813 710369280 165112 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 173430 165112 2906 2550 0 170385 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 693720 KiB
Current children cumulated memory: 660448 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 9/259 893127
/proc/meminfo: memFree=121827440/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=698076 memory=665400 CPUtime=161.79 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 129781 0 0 0 16153 26 0 0 20 0 1 0 171626813 714829824 166350 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 174519 166350 2906 2550 0 171474 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 698076 KiB
Current children cumulated memory: 665400 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.22 0.96 9/259 893137
/proc/meminfo: memFree=121771728/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=698076 memory=665564 CPUtime=221.61 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 129809 0 0 0 22135 26 0 0 20 0 1 0 171626813 714829824 166391 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 174519 166391 2906 2550 0 171474 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 698076 KiB
Current children cumulated memory: 665564 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.56 1.16 9/259 893147
/proc/meminfo: memFree=121770048/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=698076 memory=665564 CPUtime=281.44 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 129834 0 0 0 28117 27 0 0 20 0 1 0 171626813 714829824 166391 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 174519 166391 2906 2550 0 171474 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 698076 KiB
Current children cumulated memory: 665564 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 2.86 1.35 8/256 893158
/proc/meminfo: memFree=121757176/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=698076 memory=665564 CPUtime=341.27 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 129852 0 0 0 34100 27 0 0 20 0 1 0 171626813 714829824 166391 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 174519 166391 2906 2550 0 171474 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 698076 KiB
Current children cumulated memory: 665564 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.08 1.53 9/256 893170
/proc/meminfo: memFree=121746744/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=698076 memory=665564 CPUtime=401.08 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 129878 0 0 0 40080 28 0 0 20 0 1 0 171626813 714829824 166391 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 174519 166391 2906 2550 0 171474 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 698076 KiB
Current children cumulated memory: 665564 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.69 9/256 893180
/proc/meminfo: memFree=121661740/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=846076 memory=748352 CPUtime=460.9 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 139740 0 0 0 46059 31 0 0 20 0 1 0 171626813 866381824 187088 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 211519 187088 2922 2550 0 208474 0

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

/proc/loadavg: 4.12 4.07 3.17 9/257 893889
/proc/meminfo: memFree=121536116/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1298.42 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147074 0 0 0 129806 36 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1298.42 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1362.3 s]
/proc/loadavg: 4.08 4.07 3.23 8/259 893903
/proc/meminfo: memFree=121527360/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1358.24 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147090 0 0 0 135788 36 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1358.24 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1422.3 s]
/proc/loadavg: 4.13 4.09 3.29 9/257 893925
/proc/meminfo: memFree=121520300/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1418.07 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147110 0 0 0 141771 36 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1418.07 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.09 3.34 9/257 893936
/proc/meminfo: memFree=121524028/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1477.91 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147138 0 0 0 147754 37 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1477.91 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1542.3 s]
/proc/loadavg: 4.15 4.10 3.39 9/258 893948
/proc/meminfo: memFree=121484320/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1537.74 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147154 0 0 0 153737 37 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1537.74 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.09 3.44 8/257 893959
/proc/meminfo: memFree=121479736/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1597.56 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147174 0 0 0 159719 37 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1597.56 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.09 3.48 8/257 893971
/proc/meminfo: memFree=121478604/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1657.4 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147202 0 0 0 165702 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1657.4 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 4.10 3.53 9/255 893982
/proc/meminfo: memFree=121478088/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1717.23 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147218 0 0 0 171685 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1717.23 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.09 3.57 9/255 893992
/proc/meminfo: memFree=121455808/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1777.06 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147238 0 0 0 177668 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1777.06 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

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

# cumulated CPU time of all completed processes:  user=1795.6 s, system=0.408848 s

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

[startup+1792 s]*
/proc/loadavg: 4.08 4.09 3.57 9/255 893994
/proc/meminfo: memFree=121453220/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1786.74 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147246 0 0 0 178636 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1786.74 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1795.2 s]
/proc/loadavg: 4.08 4.09 3.57 8/255 893995
/proc/meminfo: memFree=121453164/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1789.92 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147250 0 0 0 178954 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1789.92 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1798.4 s]
/proc/loadavg: 4.16 4.10 3.58 9/255 893995
/proc/meminfo: memFree=121453200/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1793.12 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147250 0 0 0 179274 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1793.12 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1800 s]*
/proc/loadavg: 4.16 4.10 3.58 9/255 893995
/proc/meminfo: memFree=121453228/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=1025632 memory=786764 CPUtime=1794.72 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147250 0 0 0 179434 38 0 0 20 0 1 0 171626813 1050247168 196691 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 256408 196691 2922 2550 0 253363 0
Current children cumulated CPU time: 1794.72 s
Current children cumulated vsize: 1025632 KiB
Current children cumulated memory: 786764 KiB

[startup+1800.8 s]
/proc/loadavg: 4.16 4.10 3.58 9/255 893995
/proc/meminfo: memFree=121453228/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=987432 memory=748564 CPUtime=1795.51 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147250 0 0 0 179513 38 0 0 20 0 1 0 171626813 1011130368 187141 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 246858 187141 2922 2550 0 243813 0
Current children cumulated CPU time: 1795.51 s
Current children cumulated vsize: 987432 KiB
Current children cumulated memory: 748564 KiB

[startup+1801.2 s]
/proc/loadavg: 4.14 4.10 3.58 9/255 893996
/proc/meminfo: memFree=121729740/131524600 swapFree=131071996/131071996
[pid=893093] ppid=893078 vsize=710516 memory=582500 CPUtime=1795.9 cores=1,3
/proc/893093/stat : 893093 (CASHWMaxSAT-Dis) R 893078 893093 893019 0 -1 4194304 147343 0 0 0 179552 38 0 0 20 0 1 0 171626813 727568384 145625 134679101440 4194304 14636349 140721823690560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44810240 140721823695842 140721823695958 140721823695958 140721823702974 0
/proc/893093/statm: 177629 145625 2922 2550 0 174584 0
Current children cumulated CPU time: 1795.9 s
Current children cumulated vsize: 710516 KiB
Current children cumulated memory: 582500 KiB

Child status: 30

Real time (s): 1801.29
CPU time (s): 1796.01
CPU user time (s): 1795.6
CPU system time (s): 0.408848
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 1025632
Max. memory (cumulated for all children) (KiB): 786764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.6
system time used= 0.408848
maximum resident set size= 786764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147353
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= 1
involuntary context switches= 1495


# summary of solver processes directly reported to runsolver:
#   pid: 893093
#   total CPU time (s): 1796.01
#   total CPU user time (s): 1795.6
#   total CPU system time (s): 0.408848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.36769 second user time and 9.653 second system time

The end