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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440023-1721228357/watcher-4440023-1721228357 -o /tmp/evaluation-result-4440023-1721228357/solver-4440023-1721228357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721220042-902329 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440023-1721228357.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

Current StackSize limit: 8192 KiB

solver pid=908230, runsolver pid=908227

[startup+0.100764 s]*
/proc/loadavg: 4.09 4.08 4.09 5/258 908231
/proc/meminfo: memFree=125946432/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=39524 memory=21084 CPUtime=0.09 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 4634 0 0 0 9 0 0 0 20 0 1 0 175002783 40472576 5271 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 9881 5271 750 2417 0 6983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39524 KiB
Current children cumulated memory: 21084 KiB

[startup+0.205493 s]*
/proc/loadavg: 4.09 4.08 4.09 5/258 908231
/proc/meminfo: memFree=125929044/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=57588 memory=39056 CPUtime=0.2 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 9122 0 0 0 18 2 0 0 20 0 1 0 175002783 58970112 9764 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 14397 9764 750 2417 0 11499 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57588 KiB
Current children cumulated memory: 39056 KiB

[startup+0.305528 s]*
/proc/loadavg: 4.09 4.08 4.09 5/258 908231
/proc/meminfo: memFree=125911768/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=73672 memory=55264 CPUtime=0.29 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 13313 0 0 0 27 2 0 0 20 0 1 0 175002783 75440128 13816 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 18418 13816 782 2417 0 15520 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73672 KiB
Current children cumulated memory: 55264 KiB

[startup+0.700231 s]
/proc/loadavg: 4.09 4.08 4.09 5/258 908231
/proc/meminfo: memFree=125840228/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=192604 memory=180728 CPUtime=0.69 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 44255 0 0 0 62 7 0 0 20 0 1 0 175002783 197226496 45182 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 48151 45182 2350 2417 0 45253 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192604 KiB
Current children cumulated memory: 180728 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.08 4.09 5/258 908231
/proc/meminfo: memFree=125781944/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=252780 memory=239112 CPUtime=1.48 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 58235 0 0 0 139 9 0 0 20 0 1 0 175002783 258846720 59778 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 63195 59778 2510 2417 0 60297 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252780 KiB
Current children cumulated memory: 239112 KiB

[startup+3.10576 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 908233
/proc/meminfo: memFree=125733468/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=252780 memory=239632 CPUtime=3.08 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 58404 0 0 0 299 9 0 0 20 0 1 0 175002783 258846720 59908 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 63195 59908 2510 2417 0 60297 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 252780 KiB
Current children cumulated memory: 239632 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 908233
/proc/meminfo: memFree=125733512/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=252780 memory=239888 CPUtime=6.26 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 58418 0 0 0 617 9 0 0 20 0 1 0 175002783 258846720 59972 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 63195 59972 2510 2417 0 60297 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 252780 KiB
Current children cumulated memory: 239888 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 908233
/proc/meminfo: memFree=125731988/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=253816 memory=240988 CPUtime=12.65 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 58716 0 0 0 1255 10 0 0 20 0 1 0 175002783 259907584 60247 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 63454 60247 2526 2417 0 60556 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 253816 KiB
Current children cumulated memory: 240988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 908236
/proc/meminfo: memFree=125734100/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=253816 memory=240988 CPUtime=25.41 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 58720 0 0 0 2531 10 0 0 20 0 1 0 175002783 259907584 60247 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 63454 60247 2526 2417 0 60556 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 253816 KiB
Current children cumulated memory: 240988 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 908241
/proc/meminfo: memFree=125732688/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=253816 memory=240988 CPUtime=50.93 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 58726 0 0 0 5083 10 0 0 20 0 1 0 175002783 259907584 60247 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 63454 60247 2526 2417 0 60556 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 253816 KiB
Current children cumulated memory: 240988 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 908262
/proc/meminfo: memFree=125695116/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=306212 memory=277616 CPUtime=101.98 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 67358 0 0 0 10186 12 0 0 20 0 1 0 175002783 313561088 69404 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 76553 69404 2542 2417 0 73655 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 306212 KiB
Current children cumulated memory: 277616 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 908272
/proc/meminfo: memFree=126217632/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=340080 memory=299188 CPUtime=161.79 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 72266 0 0 0 16166 13 0 0 20 0 1 0 175002783 348241920 74797 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 85020 74797 2542 2417 0 82122 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 340080 KiB
Current children cumulated memory: 299188 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 908329
/proc/meminfo: memFree=127731208/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=361756 memory=308936 CPUtime=221.58 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 74667 0 0 0 22145 13 0 0 20 0 1 0 175002783 370438144 77234 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 90439 77234 2542 2417 0 87541 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 361756 KiB
Current children cumulated memory: 308936 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 908340
/proc/meminfo: memFree=127636752/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=416220 memory=339016 CPUtime=281.34 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 82210 0 0 0 28119 15 0 0 20 0 1 0 175002783 426209280 84754 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 104055 84754 2542 2417 0 101157 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 416220 KiB
Current children cumulated memory: 339016 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 908350
/proc/meminfo: memFree=127591292/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=471900 memory=345836 CPUtime=341.11 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 83910 0 0 0 34096 15 0 0 20 0 1 0 175002783 483225600 86459 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 117975 86459 2542 2417 0 115077 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 471900 KiB
Current children cumulated memory: 345836 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/254 908361
/proc/meminfo: memFree=127546708/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=472468 memory=346100 CPUtime=400.88 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 83977 0 0 0 40073 15 0 0 20 0 1 0 175002783 483807232 86525 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 118117 86525 2542 2417 0 115219 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 472468 KiB
Current children cumulated memory: 346100 KiB

[startup+462.3 s]
/proc/loadavg: 4.63 4.29 4.16 5/254 908371
/proc/meminfo: memFree=127507496/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=474728 memory=347432 CPUtime=460.65 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 84410 0 0 0 46050 15 0 0 20 0 1 0 175002783 486121472 86858 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 118682 86858 2542 2417 0 115784 0

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

/proc/loadavg: 4.12 4.12 4.09 5/257 909360
/proc/meminfo: memFree=126465340/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=423660 CPUtime=2494.28 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 103457 0 0 0 249409 19 0 0 20 0 1 0 175002783 513875968 105915 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 105915 2542 2417 0 122560 0
Current children cumulated CPU time: 2494.28 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 423660 KiB

[startup+2562.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 909370
/proc/meminfo: memFree=126465044/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=423660 CPUtime=2554.13 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 103530 0 0 0 255394 19 0 0 20 0 1 0 175002783 513875968 105915 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 105915 2542 2417 0 122560 0
Current children cumulated CPU time: 2554.13 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 423660 KiB

[startup+2622.3 s]
/proc/loadavg: 3.21 3.88 4.01 3/243 909442
/proc/meminfo: memFree=128330388/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=423660 CPUtime=2613.98 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 103597 0 0 0 261379 19 0 0 20 0 1 0 175002783 513875968 105915 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 105915 2542 2417 0 122560 0
Current children cumulated CPU time: 2613.98 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 423660 KiB

[startup+2682.3 s]
/proc/loadavg: 2.50 3.55 3.89 3/242 909453
/proc/meminfo: memFree=128330308/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=2673.84 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 103790 0 0 0 267365 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 2673.84 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+2742.3 s]
/proc/loadavg: 2.22 3.28 3.77 3/241 909464
/proc/meminfo: memFree=128330004/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=2733.71 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 103915 0 0 0 273352 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 2733.71 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+2802.3 s]
/proc/loadavg: 2.11 3.06 3.66 3/241 909475
/proc/meminfo: memFree=128329684/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=2793.57 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104027 0 0 0 279338 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 2793.57 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+2862.3 s]
/proc/loadavg: 2.08 2.88 3.56 3/241 909485
/proc/meminfo: memFree=128329232/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=2853.44 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104095 0 0 0 285325 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 2853.44 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+2922.3 s]
/proc/loadavg: 2.14 2.75 3.47 3/241 909496
/proc/meminfo: memFree=128329124/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=2913.31 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104331 0 0 0 291312 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 2913.31 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+2982.3 s]
/proc/loadavg: 2.11 2.63 3.38 3/241 909506
/proc/meminfo: memFree=128328804/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=2973.17 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104403 0 0 0 297298 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+3042.3 s]
/proc/loadavg: 1.52 2.36 3.24 2/235 909551
/proc/meminfo: memFree=128783064/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=3033.04 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104628 0 0 0 303285 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 3033.04 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

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

# cumulated CPU time of all completed processes:  user=3035.33 s, system=0.201379 s

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

[startup+3043.2 s]
/proc/loadavg: 1.48 2.33 3.23 2/235 909552
/proc/meminfo: memFree=128783064/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=3033.94 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104628 0 0 0 303375 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+3044 s]*
/proc/loadavg: 1.48 2.33 3.23 2/235 909552
/proc/meminfo: memFree=128783064/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=3034.74 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104628 0 0 0 303455 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+3044.4 s]
/proc/loadavg: 1.48 2.33 3.23 2/235 909552
/proc/meminfo: memFree=128783064/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=3035.14 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104628 0 0 0 303495 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 3035.14 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+3044.6 s]
/proc/loadavg: 1.48 2.33 3.23 2/235 909552
/proc/meminfo: memFree=128783064/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=3035.34 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104628 0 0 0 303515 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 3035.34 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

[startup+3044.7 s]
/proc/loadavg: 1.48 2.33 3.23 2/235 909552
/proc/meminfo: memFree=128783064/131524600 swapFree=131071996/131071996
[pid=908230] ppid=908227 vsize=501832 memory=424732 CPUtime=3035.44 cores=1,3
/proc/908230/stat : 908230 (CASHWMaxSAT-Dis) R 908227 908230 902317 0 -1 4194304 104628 0 0 0 303525 19 0 0 20 0 1 0 175002783 513875968 106183 134679101440 4194304 14093885 140721669098880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53301248 140721669100516 140721669100631 140721669100631 140721669107647 0
/proc/908230/statm: 125458 106183 2810 2417 0 122560 0
Current children cumulated CPU time: 3035.44 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 424732 KiB

Child status: 30

Real time (s): 3044.79
CPU time (s): 3035.53
CPU user time (s): 3035.33
CPU system time (s): 0.201379
CPU usage (%): 99.6959
Max. virtual memory (cumulated for all children) (KiB): 539288
Max. memory (cumulated for all children) (KiB): 424732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3035.33
system time used= 0.201379
maximum resident set size= 424732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104630
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= 25
involuntary context switches= 945


# summary of solver processes directly reported to runsolver:
#   pid: 908230
#   total CPU time (s): 3035.53
#   total CPU user time (s): 3035.33
#   total CPU system time (s): 0.201379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39692 second user time and 13.4013 second system time

The end