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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=907308, runsolver pid=907305

[startup+0.100098 s]*
/proc/loadavg: 4.86 4.35 4.23 5/241 907309
/proc/meminfo: memFree=127792744/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=46272 memory=25236 CPUtime=0.11 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 5634 0 0 0 10 1 0 0 20 0 1 0 174865856 47382528 6309 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 11568 6309 794 2550 0 8523 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 46272 KiB
Current children cumulated memory: 25236 KiB

[startup+0.212992 s]*
/proc/loadavg: 4.86 4.35 4.23 5/241 907309
/proc/meminfo: memFree=127730436/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=64192 memory=43440 CPUtime=0.21 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 9021 0 0 0 20 1 0 0 20 0 1 0 174865856 65732608 10860 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 16048 10860 842 2550 0 13003 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64192 KiB
Current children cumulated memory: 43440 KiB

[startup+0.31298 s]*
/proc/loadavg: 4.86 4.35 4.23 6/241 907309
/proc/meminfo: memFree=127727700/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=69084 memory=48720 CPUtime=0.32 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 11484 0 0 0 30 2 0 0 20 0 1 0 174865856 70742016 12180 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 17271 12180 922 2550 0 14226 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 48720 KiB

[startup+0.700288 s]
/proc/loadavg: 4.86 4.35 4.23 5/241 907309
/proc/meminfo: memFree=127688412/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=174516 memory=162764 CPUtime=0.69 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 38859 0 0 0 63 6 0 0 20 0 1 0 174865856 178704384 40691 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 43629 40691 2442 2550 0 40584 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 174516 KiB
Current children cumulated memory: 162764 KiB

[startup+1.50035 s]
/proc/loadavg: 4.86 4.35 4.23 5/241 907309
/proc/meminfo: memFree=127597776/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=274228 memory=259084 CPUtime=1.49 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 63301 0 0 0 139 10 0 0 20 0 1 0 174865856 280809472 64771 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 68557 64771 2618 2550 0 65512 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 274228 KiB
Current children cumulated memory: 259084 KiB

[startup+3.11264 s]
/proc/loadavg: 4.79 4.35 4.22 5/241 907309
/proc/meminfo: memFree=127550276/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=275520 memory=260200 CPUtime=3.1 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 63559 0 0 0 300 10 0 0 20 0 1 0 174865856 282132480 65050 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 68880 65050 2634 2550 0 65835 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 275520 KiB
Current children cumulated memory: 260200 KiB

[startup+6.30028 s]
/proc/loadavg: 4.79 4.35 4.22 5/241 907309
/proc/meminfo: memFree=127549788/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=276048 memory=260720 CPUtime=6.28 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 63674 0 0 0 618 10 0 0 20 0 1 0 174865856 282673152 65180 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 69012 65180 2634 2550 0 65967 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 276048 KiB
Current children cumulated memory: 260720 KiB

[startup+12.7003 s]
/proc/loadavg: 4.67 4.34 4.22 5/241 907310
/proc/meminfo: memFree=127548668/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=277000 memory=261756 CPUtime=12.66 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 63924 0 0 0 1256 10 0 0 20 0 1 0 174865856 283648000 65439 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 69250 65439 2634 2550 0 66205 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 277000 KiB
Current children cumulated memory: 261756 KiB

[startup+25.5004 s]
/proc/loadavg: 4.64 4.34 4.22 5/241 907312
/proc/meminfo: memFree=127548648/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=277000 memory=261756 CPUtime=25.42 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 63928 0 0 0 2532 10 0 0 20 0 1 0 174865856 283648000 65439 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 69250 65439 2634 2550 0 66205 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 277000 KiB
Current children cumulated memory: 261756 KiB

[startup+51.1126 s]
/proc/loadavg: 4.42 4.31 4.22 5/241 907317
/proc/meminfo: memFree=127410148/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=310500 memory=285244 CPUtime=50.96 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 69282 0 0 0 5085 11 0 0 20 0 1 0 174865856 317952000 71311 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 77625 71311 2666 2550 0 74580 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 310500 KiB
Current children cumulated memory: 285244 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.27 4.21 5/241 907326
/proc/meminfo: memFree=127502368/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=344984 memory=307576 CPUtime=102.02 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 74401 0 0 0 10189 13 0 0 20 0 1 0 174865856 353263616 76894 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 86246 76894 2666 2550 0 83201 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 344984 KiB
Current children cumulated memory: 307576 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.25 4.20 5/243 907340
/proc/meminfo: memFree=127425532/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=374476 memory=326204 CPUtime=161.86 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 78368 0 0 0 16172 14 0 0 20 0 1 0 174865856 383463424 81551 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 93619 81551 2666 2550 0 90574 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 374476 KiB
Current children cumulated memory: 326204 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/243 907350
/proc/meminfo: memFree=127397776/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=418408 memory=353960 CPUtime=221.7 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 84885 0 0 0 22155 15 0 0 20 0 1 0 174865856 428449792 88490 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 104602 88490 2666 2550 0 101557 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 418408 KiB
Current children cumulated memory: 353960 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.22 4.19 5/243 907362
/proc/meminfo: memFree=127425652/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=489380 memory=381096 CPUtime=281.54 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 90536 0 0 0 28138 16 0 0 20 0 1 0 174865856 501125120 95274 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 122345 95274 2666 2550 0 119300 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 489380 KiB
Current children cumulated memory: 381096 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/243 907372
/proc/meminfo: memFree=127319444/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=491380 memory=399172 CPUtime=341.39 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 90984 0 0 0 34123 16 0 0 20 0 1 0 174865856 503173120 99793 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 122845 99793 2666 2550 0 119800 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 491380 KiB
Current children cumulated memory: 399172 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/243 907383
/proc/meminfo: memFree=127345464/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=491380 memory=430184 CPUtime=401.24 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 91045 0 0 0 40108 16 0 0 20 0 1 0 174865856 503173120 107546 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 122845 107546 2666 2550 0 119800 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 491380 KiB
Current children cumulated memory: 430184 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/243 907394
/proc/meminfo: memFree=127356804/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=491856 memory=430660 CPUtime=461.09 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 91297 0 0 0 46093 16 0 0 20 0 1 0 174865856 503660544 107665 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0

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

/proc/loadavg: 4.22 4.30 4.22 5/245 908097
/proc/meminfo: memFree=127328228/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=452248 CPUtime=1299.01 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 108995 0 0 0 129882 19 0 0 20 0 1 0 174865856 524455936 113062 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113062 2952 2550 0 124996 0
Current children cumulated CPU time: 1299.01 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 452248 KiB

[startup+1362.3 s]
/proc/loadavg: 4.27 4.29 4.22 5/244 908121
/proc/meminfo: memFree=127297176/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1358.86 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109062 0 0 0 135867 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1358.86 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1422.3 s]
/proc/loadavg: 4.16 4.25 4.21 5/244 908131
/proc/meminfo: memFree=127268024/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1418.7 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109125 0 0 0 141851 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1418.7 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1482.3 s]
/proc/loadavg: 4.21 4.25 4.21 6/244 908142
/proc/meminfo: memFree=127268776/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1478.56 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109189 0 0 0 147837 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1478.56 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.22 4.19 5/244 908152
/proc/meminfo: memFree=127236656/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1538.41 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109252 0 0 0 153822 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1538.41 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1602.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/243 908163
/proc/meminfo: memFree=127214528/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1598.25 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109417 0 0 0 159806 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1598.25 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1662.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/241 908174
/proc/meminfo: memFree=127196700/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1658.11 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109589 0 0 0 165792 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1658.11 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/241 908184
/proc/meminfo: memFree=127203816/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1717.96 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109763 0 0 0 171777 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1717.96 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/241 908194
/proc/meminfo: memFree=127256940/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1777.81 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109929 0 0 0 177762 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1777.81 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

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

# cumulated CPU time of all completed processes:  user=1796.96 s, system=0.199392 s

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

[startup+1792 s]*
/proc/loadavg: 4.15 4.17 4.18 5/241 908196
/proc/meminfo: memFree=127210572/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1787.5 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 109975 0 0 0 178731 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1787.5 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1798.4 s]
/proc/loadavg: 4.13 4.17 4.17 5/241 908197
/proc/meminfo: memFree=127208552/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1793.87 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 110037 0 0 0 179368 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1793.87 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1800 s]*
/proc/loadavg: 4.13 4.17 4.17 5/241 908197
/proc/meminfo: memFree=127212620/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1795.48 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 110037 0 0 0 179529 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1795.48 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1800.8 s]
/proc/loadavg: 4.13 4.17 4.17 5/241 908197
/proc/meminfo: memFree=127212620/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1796.27 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 110063 0 0 0 179608 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1796.27 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1801.2 s]
/proc/loadavg: 4.13 4.17 4.17 5/241 908197
/proc/meminfo: memFree=127206476/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1796.67 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 110074 0 0 0 179648 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1796.67 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

[startup+1801.6 s]
/proc/loadavg: 4.13 4.17 4.17 5/241 908197
/proc/meminfo: memFree=127206476/131655788 swapFree=131071996/131071996
[pid=907308] ppid=907305 vsize=512164 memory=453264 CPUtime=1797.06 cores=5,7
/proc/907308/stat : 907308 (CASHWMaxSAT-Dis) R 907305 907308 900672 0 -1 4194304 110074 0 0 0 179687 19 0 0 20 0 1 0 174865856 524455936 113316 134679101440 4194304 14636349 140728986590960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 42565632 140728986596322 140728986596438 140728986596438 140728986603454 0
/proc/907308/statm: 128041 113316 2952 2550 0 124996 0
Current children cumulated CPU time: 1797.06 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 453264 KiB

Child status: 30

Real time (s): 1801.68
CPU time (s): 1797.16
CPU user time (s): 1796.96
CPU system time (s): 0.199392
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 558024
Max. memory (cumulated for all children) (KiB): 495824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.96
system time used= 0.199392
maximum resident set size= 495824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110074
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= 34
involuntary context switches= 692


# summary of solver processes directly reported to runsolver:
#   pid: 907308
#   total CPU time (s): 1797.16
#   total CPU user time (s): 1796.96
#   total CPU system time (s): 0.199392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.74216 second user time and 17.3263 second system time

The end