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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=953320, runsolver pid=953317

[startup+0.100093 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 953321
/proc/meminfo: memFree=127927040/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=39616 memory=15140 CPUtime=0.09 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 3134 0 0 0 9 0 0 0 20 0 1 0 174892604 40566784 3785 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 9904 3785 794 2550 0 6859 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 15140 KiB

[startup+0.205684 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 953321
/proc/meminfo: memFree=127896088/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=65068 memory=45696 CPUtime=0.2 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 9113 0 0 0 19 1 0 0 20 0 1 0 174892604 66629632 11424 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 16267 11424 842 2550 0 13222 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65068 KiB
Current children cumulated memory: 45696 KiB

[startup+0.305825 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 953321
/proc/meminfo: memFree=127894276/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=67944 memory=48732 CPUtime=0.3 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 11078 0 0 0 29 1 0 0 20 0 1 0 174892604 69574656 12183 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 16986 12183 922 2550 0 13941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67944 KiB
Current children cumulated memory: 48732 KiB

[startup+0.700231 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 953321
/proc/meminfo: memFree=127853560/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=177084 memory=166800 CPUtime=0.69 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 39254 0 0 0 64 5 0 0 20 0 1 0 174892604 181334016 41700 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 44271 41700 2442 2550 0 41226 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 177084 KiB
Current children cumulated memory: 166800 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 953321
/proc/meminfo: memFree=127729220/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=279832 memory=266292 CPUtime=1.49 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 63505 0 0 0 140 9 0 0 20 0 1 0 174892604 286547968 66573 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 69958 66573 2618 2550 0 66913 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 279832 KiB
Current children cumulated memory: 266292 KiB

[startup+3.10548 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 953321
/proc/meminfo: memFree=127665708/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=281008 memory=267136 CPUtime=3.08 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 63699 0 0 0 299 9 0 0 20 0 1 0 174892604 287752192 66784 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70252 66784 2634 2550 0 67207 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 281008 KiB
Current children cumulated memory: 267136 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 953323
/proc/meminfo: memFree=127665064/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=281008 memory=267392 CPUtime=6.27 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 63785 0 0 0 618 9 0 0 20 0 1 0 174892604 287752192 66848 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70252 66848 2634 2550 0 67207 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 281008 KiB
Current children cumulated memory: 267392 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 953323
/proc/meminfo: memFree=127663936/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=282316 memory=268432 CPUtime=12.64 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 64051 0 0 0 1255 9 0 0 20 0 1 0 174892604 289091584 67108 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70579 67108 2634 2550 0 67534 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 268432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 953325
/proc/meminfo: memFree=127637964/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=282316 memory=268432 CPUtime=25.4 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 64057 0 0 0 2530 10 0 0 20 0 1 0 174892604 289091584 67108 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70579 67108 2634 2550 0 67534 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 268432 KiB

[startup+51.1058 s]
/proc/loadavg: 4.28 4.14 4.10 5/258 953329
/proc/meminfo: memFree=127635956/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=282316 memory=268432 CPUtime=50.91 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 64066 0 0 0 5081 10 0 0 20 0 1 0 174892604 289091584 67108 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70579 67108 2634 2550 0 67534 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 268432 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 953338
/proc/meminfo: memFree=127553924/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=282316 memory=268432 CPUtime=101.91 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 64072 0 0 0 10181 10 0 0 20 0 1 0 174892604 289091584 67108 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70579 67108 2634 2550 0 67534 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 268432 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 953350
/proc/meminfo: memFree=127479172/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=282316 memory=268432 CPUtime=161.69 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 64078 0 0 0 16159 10 0 0 20 0 1 0 174892604 289091584 67108 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70579 67108 2634 2550 0 67534 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 268432 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 953362
/proc/meminfo: memFree=127395468/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=282316 memory=268640 CPUtime=221.48 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 64084 0 0 0 22137 11 0 0 20 0 1 0 174892604 289091584 67160 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 70579 67160 2650 2550 0 67534 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 268640 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 953419
/proc/meminfo: memFree=127710476/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=305024 memory=283148 CPUtime=281.25 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 67000 0 0 0 28114 11 0 0 20 0 1 0 174892604 312344576 70787 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 76256 70787 2952 2550 0 73211 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 305024 KiB
Current children cumulated memory: 283148 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 953431
/proc/meminfo: memFree=127637964/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=349032 memory=315208 CPUtime=341.04 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 74026 0 0 0 34091 13 0 0 20 0 1 0 174892604 357408768 78802 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 87258 78802 2952 2550 0 84213 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 349032 KiB
Current children cumulated memory: 315208 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 953442
/proc/meminfo: memFree=127538676/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=389228 memory=339136 CPUtime=400.83 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 79466 0 0 0 40069 14 0 0 20 0 1 0 174892604 398569472 84784 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 97307 84784 2952 2550 0 94262 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 389228 KiB
Current children cumulated memory: 339136 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 953452
/proc/meminfo: memFree=127482212/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=450232 memory=371060 CPUtime=460.59 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 87508 0 0 0 46045 14 0 0 20 0 1 0 174892604 461037568 92765 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 112558 92765 2952 2550 0 109513 0

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

/proc/loadavg: 3.09 3.29 3.66 4/249 954216
/proc/meminfo: memFree=127502476/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482412 CPUtime=1357.51 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 107622 0 0 0 135732 19 0 0 20 0 1 0 174892604 563585024 120603 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120603 2952 2550 0 134549 0
Current children cumulated CPU time: 1357.51 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482412 KiB

[startup+1422.3 s]
/proc/loadavg: 3.14 3.26 3.62 5/249 954227
/proc/meminfo: memFree=127501896/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1417.31 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 107813 0 0 0 141712 19 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1417.31 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1482.3 s]
/proc/loadavg: 3.11 3.23 3.59 4/248 954237
/proc/meminfo: memFree=127501064/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1477.12 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 107997 0 0 0 147693 19 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1477.12 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1542.3 s]
/proc/loadavg: 3.16 3.22 3.56 4/248 954248
/proc/meminfo: memFree=127500532/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1536.92 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108177 0 0 0 153673 19 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1536.92 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1602.3 s]
/proc/loadavg: 3.19 3.21 3.53 4/248 954260
/proc/meminfo: memFree=127499808/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1596.72 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108351 0 0 0 159653 19 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1596.72 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1662.3 s]
/proc/loadavg: 2.51 3.01 3.45 2/234 954331
/proc/meminfo: memFree=128304584/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1656.56 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108527 0 0 0 165637 19 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1656.56 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1722.3 s]
/proc/loadavg: 1.70 2.70 3.31 2/234 954342
/proc/meminfo: memFree=128304120/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1716.41 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108656 0 0 0 171622 19 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1716.41 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1782.3 s]
/proc/loadavg: 1.31 2.40 3.17 2/238 954358
/proc/meminfo: memFree=128303352/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1776.27 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108830 0 0 0 177607 20 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1776.27 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

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

# cumulated CPU time of all completed processes:  user=1795.02 s, system=0.205152 s

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

[startup+1792 s]*
/proc/loadavg: 1.26 2.36 3.14 2/238 954361
/proc/meminfo: memFree=128303312/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1785.94 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108831 0 0 0 178574 20 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1785.94 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1795.2 s]
/proc/loadavg: 1.24 2.33 3.13 2/238 954361
/proc/meminfo: memFree=128303312/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1789.13 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108831 0 0 0 178893 20 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1789.13 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1798.4 s]
/proc/loadavg: 1.24 2.33 3.13 2/238 954363
/proc/meminfo: memFree=128303268/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1792.32 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108838 0 0 0 179212 20 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1792.32 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1800 s]*
/proc/loadavg: 1.30 2.33 3.13 2/238 954363
/proc/meminfo: memFree=128303268/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550376 memory=482616 CPUtime=1793.92 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 108838 0 0 0 179372 20 0 0 20 0 1 0 174892604 563585024 120654 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137594 120654 2952 2550 0 134549 0
Current children cumulated CPU time: 1793.92 s
Current children cumulated vsize: 550376 KiB
Current children cumulated memory: 482616 KiB

[startup+1800.8 s]
/proc/loadavg: 1.30 2.33 3.13 2/238 954363
/proc/meminfo: memFree=128303268/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550872 memory=482984 CPUtime=1794.72 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 109001 0 0 0 179452 20 0 0 20 0 1 0 174892604 564092928 120746 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137718 120746 2952 2550 0 134673 0
Current children cumulated CPU time: 1794.72 s
Current children cumulated vsize: 550872 KiB
Current children cumulated memory: 482984 KiB

[startup+1801.2 s]
/proc/loadavg: 1.30 2.33 3.13 2/238 954363
/proc/meminfo: memFree=128302932/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550872 memory=482984 CPUtime=1795.11 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 109001 0 0 0 179491 20 0 0 20 0 1 0 174892604 564092928 120746 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137718 120746 2952 2550 0 134673 0
Current children cumulated CPU time: 1795.11 s
Current children cumulated vsize: 550872 KiB
Current children cumulated memory: 482984 KiB

[startup+1801.3 s]
/proc/loadavg: 1.30 2.33 3.13 2/238 954363
/proc/meminfo: memFree=128302932/131524600 swapFree=131071996/131071996
[pid=953320] ppid=953317 vsize=550872 memory=482984 CPUtime=1795.21 cores=0,2
/proc/953320/stat : 953320 (CASHWMaxSAT-Dis) R 953317 953320 947909 0 -1 4194304 109001 0 0 0 179501 20 0 0 20 0 1 0 174892604 564092928 120746 134679101440 4194304 14636349 140729600965968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 53661696 140729600971746 140729600971862 140729600971862 140729600978878 0
/proc/953320/statm: 137718 120746 2952 2550 0 134673 0
Current children cumulated CPU time: 1795.21 s
Current children cumulated vsize: 550872 KiB
Current children cumulated memory: 482984 KiB

Child status: 30

Real time (s): 1801.3
CPU time (s): 1795.23
CPU user time (s): 1795.02
CPU system time (s): 0.205152
CPU usage (%): 99.6625
Max. virtual memory (cumulated for all children) (KiB): 569152
Max. memory (cumulated for all children) (KiB): 482984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 0.205152
maximum resident set size= 482984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109001
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= 35
involuntary context switches= 12566


# summary of solver processes directly reported to runsolver:
#   pid: 953320
#   total CPU time (s): 1795.23
#   total CPU user time (s): 1795.02
#   total CPU system time (s): 0.205152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.82807 second user time and 8.43061 second system time

The end