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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439214-1721228196/watcher-4439214-1721228196 -o /tmp/evaluation-result-4439214-1721228196/solver-4439214-1721228196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721220980-904264 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439214-1721228196.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
solver pid=908511, runsolver pid=908508
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.19 4.15 4.10 5/257 908512
/proc/meminfo: memFree=126977860/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=36808 memory=22272 CPUtime=0.09 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 4857 0 0 0 9 0 0 0 20 0 1 0 174986259 37691392 5568 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 9202 5568 878 2594 0 6095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36808 KiB
Current children cumulated memory: 22272 KiB

[startup+0.205628 s]*
/proc/loadavg: 4.19 4.15 4.10 5/257 908512
/proc/meminfo: memFree=126959820/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=54876 memory=40224 CPUtime=0.2 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 9343 0 0 0 19 1 0 0 20 0 1 0 174986259 56193024 10056 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 13719 10056 878 2594 0 10612 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54876 KiB
Current children cumulated memory: 40224 KiB

[startup+0.305527 s]*
/proc/loadavg: 4.19 4.15 4.10 5/257 908512
/proc/meminfo: memFree=126942572/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=72848 memory=58196 CPUtime=0.3 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 13877 0 0 0 28 2 0 0 20 0 1 0 174986259 74596352 14549 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 18212 14549 926 2594 0 15105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72848 KiB
Current children cumulated memory: 58196 KiB

[startup+0.700251 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 908512
/proc/meminfo: memFree=126853372/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=189208 memory=178892 CPUtime=0.68 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 44255 0 0 0 63 5 0 0 20 0 1 0 174986259 193748992 44723 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 47302 44723 2510 2594 0 44195 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189208 KiB
Current children cumulated memory: 178892 KiB

[startup+1.50024 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 908512
/proc/meminfo: memFree=126828060/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=256128 memory=241964 CPUtime=1.48 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 63441 0 0 0 140 8 0 0 20 0 1 0 174986259 262275072 60491 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 64032 60491 2638 2594 0 60925 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 256128 KiB
Current children cumulated memory: 241964 KiB

[startup+3.10535 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 908513
/proc/meminfo: memFree=126757204/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=257276 memory=243072 CPUtime=3.08 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 63677 0 0 0 300 8 0 0 20 0 1 0 174986259 263450624 60768 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 64319 60768 2654 2594 0 61212 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 257276 KiB
Current children cumulated memory: 243072 KiB

[startup+6.30014 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 908513
/proc/meminfo: memFree=126781252/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=257572 memory=243336 CPUtime=6.27 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 63763 0 0 0 619 8 0 0 20 0 1 0 174986259 263753728 60834 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 64393 60834 2654 2594 0 61286 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 257572 KiB
Current children cumulated memory: 243336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 908513
/proc/meminfo: memFree=126780496/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=258932 memory=244632 CPUtime=12.65 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 64056 0 0 0 1256 9 0 0 20 0 1 0 174986259 265146368 61158 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 64733 61158 2654 2594 0 61626 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 258932 KiB
Current children cumulated memory: 244632 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 908516
/proc/meminfo: memFree=126782972/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=258932 memory=244632 CPUtime=25.4 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 64060 0 0 0 2531 9 0 0 20 0 1 0 174986259 265146368 61158 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 64733 61158 2654 2594 0 61626 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 258932 KiB
Current children cumulated memory: 244632 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 908566
/proc/meminfo: memFree=127518028/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=258932 memory=244632 CPUtime=50.91 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 64066 0 0 0 5082 9 0 0 20 0 1 0 174986259 265146368 61158 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 64733 61158 2654 2594 0 61626 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 258932 KiB
Current children cumulated memory: 244632 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/256 908575
/proc/meminfo: memFree=127317588/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=282848 memory=258016 CPUtime=101.91 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 68161 0 0 0 10181 10 0 0 20 0 1 0 174986259 289636352 64504 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 70712 64504 2654 2594 0 67605 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 282848 KiB
Current children cumulated memory: 258016 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/258 908755
/proc/meminfo: memFree=127354572/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=282848 memory=258016 CPUtime=161.68 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 68165 0 0 0 16157 11 0 0 20 0 1 0 174986259 289636352 64504 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 70712 64504 2654 2594 0 67605 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 282848 KiB
Current children cumulated memory: 258016 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/256 908765
/proc/meminfo: memFree=127359168/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=282848 memory=258016 CPUtime=221.44 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 68167 0 0 0 22133 11 0 0 20 0 1 0 174986259 289636352 64504 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 70712 64504 2654 2594 0 67605 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 282848 KiB
Current children cumulated memory: 258016 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/256 908789
/proc/meminfo: memFree=127282292/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=282848 memory=258016 CPUtime=281.2 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 68169 0 0 0 28109 11 0 0 20 0 1 0 174986259 289636352 64504 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 70712 64504 2654 2594 0 67605 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 282848 KiB
Current children cumulated memory: 258016 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 908799
/proc/meminfo: memFree=127341980/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=282848 memory=258016 CPUtime=340.96 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 68205 0 0 0 34085 11 0 0 20 0 1 0 174986259 289636352 64504 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 70712 64504 2654 2594 0 67605 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 282848 KiB
Current children cumulated memory: 258016 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 908812
/proc/meminfo: memFree=127329276/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=298852 memory=270372 CPUtime=400.72 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 71030 0 0 0 40061 11 0 0 20 0 1 0 174986259 306024448 67593 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 74713 67593 2938 2594 0 71606 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 298852 KiB
Current children cumulated memory: 270372 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 908823
/proc/meminfo: memFree=127290908/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=314504 memory=280404 CPUtime=460.49 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 73543 0 0 0 46037 12 0 0 20 0 1 0 174986259 322052096 70101 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 78626 70101 2938 2594 0 75519 0

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

/proc/loadavg: 4.47 4.25 4.15 5/258 909692
/proc/meminfo: memFree=127568532/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=405164 memory=351992 CPUtime=1955.23 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 86924 0 0 0 195508 15 0 0 20 0 1 0 174986259 414887936 87998 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101291 87998 2938 2594 0 98184 0
Current children cumulated CPU time: 1955.23 s
Current children cumulated vsize: 405164 KiB
Current children cumulated memory: 351992 KiB

[startup+2022.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/257 909703
/proc/meminfo: memFree=127567172/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=405164 memory=351996 CPUtime=2015.03 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87050 0 0 0 201488 15 0 0 20 0 1 0 174986259 414887936 87999 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101291 87999 2938 2594 0 98184 0
Current children cumulated CPU time: 2015.03 s
Current children cumulated vsize: 405164 KiB
Current children cumulated memory: 351996 KiB

[startup+2082.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/262 909776
/proc/meminfo: memFree=127542148/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=405164 memory=363972 CPUtime=2074.83 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87113 0 0 0 207468 15 0 0 20 0 1 0 174986259 414887936 90993 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101291 90993 2938 2594 0 98184 0
Current children cumulated CPU time: 2074.83 s
Current children cumulated vsize: 405164 KiB
Current children cumulated memory: 363972 KiB

[startup+2142.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/262 909786
/proc/meminfo: memFree=127539428/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=405164 memory=365880 CPUtime=2134.63 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87169 0 0 0 213448 15 0 0 20 0 1 0 174986259 414887936 91470 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101291 91470 2938 2594 0 98184 0
Current children cumulated CPU time: 2134.63 s
Current children cumulated vsize: 405164 KiB
Current children cumulated memory: 365880 KiB

[startup+2202.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/262 909797
/proc/meminfo: memFree=127539172/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=405164 memory=365880 CPUtime=2194.43 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87226 0 0 0 219428 15 0 0 20 0 1 0 174986259 414887936 91470 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101291 91470 2938 2594 0 98184 0
Current children cumulated CPU time: 2194.43 s
Current children cumulated vsize: 405164 KiB
Current children cumulated memory: 365880 KiB

[startup+2262.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/260 909808
/proc/meminfo: memFree=127538036/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=406120 memory=365884 CPUtime=2254.23 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87428 0 0 0 225408 15 0 0 20 0 1 0 174986259 415866880 91471 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101530 91471 2938 2594 0 98423 0
Current children cumulated CPU time: 2254.23 s
Current children cumulated vsize: 406120 KiB
Current children cumulated memory: 365884 KiB

[startup+2322.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/260 909818
/proc/meminfo: memFree=127529828/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=406120 memory=365884 CPUtime=2314.02 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87483 0 0 0 231387 15 0 0 20 0 1 0 174986259 415866880 91471 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101530 91471 2938 2594 0 98423 0
Current children cumulated CPU time: 2314.02 s
Current children cumulated vsize: 406120 KiB
Current children cumulated memory: 365884 KiB

[startup+2382.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/254 909828
/proc/meminfo: memFree=127526928/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=406120 memory=365884 CPUtime=2373.82 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87549 0 0 0 237367 15 0 0 20 0 1 0 174986259 415866880 91471 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101530 91471 2938 2594 0 98423 0
Current children cumulated CPU time: 2373.82 s
Current children cumulated vsize: 406120 KiB
Current children cumulated memory: 365884 KiB

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

# cumulated CPU time of all completed processes:  user=2397.57 s, system=0.17128 s

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

[startup+2393.6 s]
/proc/loadavg: 4.12 4.14 4.12 5/254 909831
/proc/meminfo: memFree=127526836/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=406120 memory=365884 CPUtime=2385.09 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87549 0 0 0 238494 15 0 0 20 0 1 0 174986259 415866880 91471 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101530 91471 2938 2594 0 98423 0
Current children cumulated CPU time: 2385.09 s
Current children cumulated vsize: 406120 KiB
Current children cumulated memory: 365884 KiB

[startup+2400 s]*
/proc/loadavg: 4.11 4.14 4.12 5/254 909877
/proc/meminfo: memFree=127559592/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=406120 memory=365884 CPUtime=2391.47 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87554 0 0 0 239132 15 0 0 20 0 1 0 174986259 415866880 91471 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 101530 91471 2938 2594 0 98423 0
Current children cumulated CPU time: 2391.47 s
Current children cumulated vsize: 406120 KiB
Current children cumulated memory: 365884 KiB

[startup+2403.2 s]
/proc/loadavg: 4.10 4.14 4.12 5/254 909878
/proc/meminfo: memFree=127685288/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=264084 memory=239712 CPUtime=2394.65 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87662 0 0 0 239449 16 0 0 20 0 1 0 174986259 270422016 59928 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 66021 59928 2986 2594 0 62914 0
Current children cumulated CPU time: 2394.65 s
Current children cumulated vsize: 264084 KiB
Current children cumulated memory: 239712 KiB

[startup+2404.8 s]
/proc/loadavg: 4.10 4.14 4.12 5/252 909892
/proc/meminfo: memFree=127970736/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=264084 memory=239712 CPUtime=2396.24 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87662 0 0 0 239608 16 0 0 20 0 1 0 174986259 270422016 59928 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 66021 59928 2986 2594 0 62914 0
Current children cumulated CPU time: 2396.24 s
Current children cumulated vsize: 264084 KiB
Current children cumulated memory: 239712 KiB

[startup+2405.6 s]
/proc/loadavg: 4.10 4.14 4.12 5/254 909924
/proc/meminfo: memFree=127854660/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=264084 memory=239712 CPUtime=2397.04 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87662 0 0 0 239688 16 0 0 20 0 1 0 174986259 270422016 59928 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 66021 59928 2986 2594 0 62914 0
Current children cumulated CPU time: 2397.04 s
Current children cumulated vsize: 264084 KiB
Current children cumulated memory: 239712 KiB

[startup+2406 s]*
/proc/loadavg: 4.10 4.14 4.12 5/254 909924
/proc/meminfo: memFree=127701960/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=264084 memory=239712 CPUtime=2397.44 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87662 0 0 0 239728 16 0 0 20 0 1 0 174986259 270422016 59928 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 66021 59928 2986 2594 0 62914 0
Current children cumulated CPU time: 2397.44 s
Current children cumulated vsize: 264084 KiB
Current children cumulated memory: 239712 KiB

[startup+2406.2 s]
/proc/loadavg: 4.10 4.14 4.12 5/254 909924
/proc/meminfo: memFree=127701960/131524600 swapFree=131071996/131071996
[pid=908511] ppid=908508 vsize=264084 memory=239712 CPUtime=2397.64 cores=0,2
/proc/908511/stat : 908511 (CASHWMaxSAT-Dis) R 908508 908511 904254 0 -1 4194304 87662 0 0 0 239748 16 0 0 20 0 1 0 174986259 270422016 59928 134679101440 4194304 14817773 140721280703024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 37003264 140721280709604 140721280709719 140721280709719 140721280716735 0
/proc/908511/statm: 66021 59928 2986 2594 0 62914 0
Current children cumulated CPU time: 2397.64 s
Current children cumulated vsize: 264084 KiB
Current children cumulated memory: 239712 KiB

Child status: 30

Real time (s): 2406.28
CPU time (s): 2397.74
CPU user time (s): 2397.57
CPU system time (s): 0.17128
CPU usage (%): 99.6448
Max. virtual memory (cumulated for all children) (KiB): 406120
Max. memory (cumulated for all children) (KiB): 365884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.57
system time used= 0.17128
maximum resident set size= 365884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87662
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= 16502


# summary of solver processes directly reported to runsolver:
#   pid: 908511
#   total CPU time (s): 2397.74
#   total CPU user time (s): 2397.57
#   total CPU system time (s): 0.17128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.85875 second user time and 12.336 second system time

The end