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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439221-1721230067/watcher-4439221-1721230067 -o /tmp/evaluation-result-4439221-1721230067/solver-4439221-1721230067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721230079-913821 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439221-1721230067.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=913883, runsolver pid=913869
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 1.08 1.08 1.39 8/259 913886
/proc/meminfo: memFree=127544488/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=36676 memory=22272 CPUtime=0.1 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 4838 0 0 0 9 1 0 0 20 0 1 0 175175643 37556224 5568 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 9169 5568 878 2594 0 6062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36676 KiB
Current children cumulated memory: 22272 KiB

[startup+0.20617 s]*
/proc/loadavg: 1.08 1.08 1.39 7/259 913886
/proc/meminfo: memFree=127421668/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=84328 memory=74524 CPUtime=0.2 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 16559 0 0 0 18 2 0 0 20 0 1 0 175175643 86351872 18631 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 21082 18631 2430 2594 0 17975 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84328 KiB
Current children cumulated memory: 74524 KiB

[startup+0.305585 s]*
/proc/loadavg: 1.08 1.08 1.39 6/259 913888
/proc/meminfo: memFree=127356904/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=95356 memory=85120 CPUtime=0.3 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 19174 0 0 0 27 3 0 0 20 0 1 0 175175643 97644544 21280 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 23839 21280 2510 2594 0 20732 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95356 KiB
Current children cumulated memory: 85120 KiB

[startup+0.700191 s]
/proc/loadavg: 1.08 1.08 1.39 6/259 913888
/proc/meminfo: memFree=127162324/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=144276 memory=134176 CPUtime=0.68 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 32148 0 0 0 64 4 0 0 20 0 1 0 175175643 147738624 33544 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 36069 33544 2638 2594 0 32962 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144276 KiB
Current children cumulated memory: 134176 KiB

[startup+1.50018 s]
/proc/loadavg: 1.08 1.08 1.39 7/259 913888
/proc/meminfo: memFree=127039380/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=155292 memory=143680 CPUtime=1.49 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 34503 0 0 0 144 5 0 0 20 0 1 0 175175643 159019008 35920 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 38823 35920 2638 2594 0 35716 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 143680 KiB

[startup+3.10656 s]
/proc/loadavg: 1.08 1.08 1.39 7/259 913888
/proc/meminfo: memFree=126903356/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=155292 memory=143680 CPUtime=3.09 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 34503 0 0 0 304 5 0 0 20 0 1 0 175175643 159019008 35920 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 38823 35920 2638 2594 0 35716 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 143680 KiB

[startup+6.30017 s]
/proc/loadavg: 1.31 1.13 1.41 7/259 913888
/proc/meminfo: memFree=126902240/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=155292 memory=143680 CPUtime=6.27 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 34503 0 0 0 622 5 0 0 20 0 1 0 175175643 159019008 35920 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 38823 35920 2638 2594 0 35716 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 143680 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.18 1.42 7/259 913889
/proc/meminfo: memFree=126895908/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=154132 memory=142684 CPUtime=12.65 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 34569 0 0 0 1260 5 0 0 20 0 1 0 175175643 157831168 35671 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 38533 35671 2654 2594 0 35426 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154132 KiB
Current children cumulated memory: 142684 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.34 1.47 7/259 913891
/proc/meminfo: memFree=126840432/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=182876 memory=165524 CPUtime=25.42 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 40252 0 0 0 2536 6 0 0 20 0 1 0 175175643 187265024 41381 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 45719 41381 2654 2594 0 42612 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 182876 KiB
Current children cumulated memory: 165524 KiB

[startup+51.1068 s]
/proc/loadavg: 2.85 1.57 1.54 8/260 914065
/proc/meminfo: memFree=126752296/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=242588 memory=203068 CPUtime=50.95 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 50007 0 0 0 5087 8 0 0 20 0 1 0 175175643 248410112 50767 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 60647 50767 2654 2594 0 57540 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 242588 KiB
Current children cumulated memory: 203068 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.68 7/260 914074
/proc/meminfo: memFree=126738232/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=256976 memory=214648 CPUtime=102 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 57410 0 0 0 10190 10 0 0 20 0 1 0 175175643 263143424 53662 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 64244 53662 2654 2594 0 61137 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 256976 KiB
Current children cumulated memory: 214648 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.35 1.83 7/260 914084
/proc/meminfo: memFree=126690032/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=256976 memory=214696 CPUtime=161.83 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 57471 0 0 0 16173 10 0 0 20 0 1 0 175175643 263143424 53674 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 64244 53674 2654 2594 0 61137 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 256976 KiB
Current children cumulated memory: 214696 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.67 1.97 7/261 914153
/proc/meminfo: memFree=126680796/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=256976 memory=222848 CPUtime=221.68 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 57561 0 0 0 22158 10 0 0 20 0 1 0 175175643 263143424 55712 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 64244 55712 2654 2594 0 61137 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 256976 KiB
Current children cumulated memory: 222848 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.94 2.12 8/261 914164
/proc/meminfo: memFree=126632252/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=264308 memory=255424 CPUtime=281.54 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 58144 0 0 0 28144 10 0 0 20 0 1 0 175175643 270651392 63856 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 66077 63856 2654 2594 0 62970 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 264308 KiB
Current children cumulated memory: 255424 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.14 2.24 8/258 914174
/proc/meminfo: memFree=126623688/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=268756 memory=255500 CPUtime=341.4 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 58264 0 0 0 34130 10 0 0 20 0 1 0 175175643 275206144 63875 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 67189 63875 2654 2594 0 64082 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 255500 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.36 7/258 914186
/proc/meminfo: memFree=126580692/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=316468 memory=271696 CPUtime=401.27 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 62380 0 0 0 40116 11 0 0 20 0 1 0 175175643 324063232 67924 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 79117 67924 2654 2594 0 76010 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 316468 KiB
Current children cumulated memory: 271696 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.47 2.47 7/258 914196
/proc/meminfo: memFree=126526044/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=346556 memory=301956 CPUtime=461.13 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 70037 0 0 0 46101 12 0 0 20 0 1 0 175175643 354873344 75489 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 86639 75489 2654 2594 0 83532 0

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

/proc/loadavg: 4.07 4.08 4.01 6/255 915350
/proc/meminfo: memFree=122287296/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=468328 CPUtime=3154.95 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 98193 0 0 0 315477 18 0 0 20 0 1 0 175175643 533540864 117082 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 117082 2654 2594 0 127152 0
Current children cumulated CPU time: 3154.95 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 468328 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/258 915366
/proc/meminfo: memFree=122284240/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=468576 CPUtime=3214.82 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 98373 0 0 0 321464 18 0 0 20 0 1 0 175175643 533540864 117144 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 117144 2654 2594 0 127152 0
Current children cumulated CPU time: 3214.82 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 468576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/257 915377
/proc/meminfo: memFree=122250624/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=468576 CPUtime=3274.68 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 98555 0 0 0 327450 18 0 0 20 0 1 0 175175643 533540864 117144 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 117144 2654 2594 0 127152 0
Current children cumulated CPU time: 3274.68 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 468576 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/257 915387
/proc/meminfo: memFree=122249556/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=468576 CPUtime=3334.55 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 98744 0 0 0 333437 18 0 0 20 0 1 0 175175643 533540864 117144 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 117144 2654 2594 0 127152 0
Current children cumulated CPU time: 3334.55 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 468576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/257 915399
/proc/meminfo: memFree=122248560/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=468576 CPUtime=3394.42 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 98925 0 0 0 339424 18 0 0 20 0 1 0 175175643 533540864 117144 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 117144 2654 2594 0 127152 0
Current children cumulated CPU time: 3394.42 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 468576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/257 915409
/proc/meminfo: memFree=122247284/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=468628 CPUtime=3454.29 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99122 0 0 0 345411 18 0 0 20 0 1 0 175175643 533540864 117157 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 117157 2654 2594 0 127152 0
Current children cumulated CPU time: 3454.29 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 468628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/255 915802
/proc/meminfo: memFree=122150420/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3514.15 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99318 0 0 0 351397 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3514.15 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/256 915814
/proc/meminfo: memFree=122175152/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3574.02 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99506 0 0 0 357384 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

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

# cumulated CPU time of all completed processes:  user=3592.39 s, system=0.196364 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.03 5/256 915814
/proc/meminfo: memFree=122175160/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3575.72 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99506 0 0 0 357554 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3575.72 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.02 5/256 915814
/proc/meminfo: memFree=122175112/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3582.11 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99536 0 0 0 358193 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3582.11 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 915816
/proc/meminfo: memFree=122174776/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3588.49 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99618 0 0 0 358831 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3588.49 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3598.4 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 915816
/proc/meminfo: memFree=122174756/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3590.09 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99618 0 0 0 358991 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3590.09 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3600 s]*
/proc/loadavg: 4.07 4.09 4.02 5/256 915816
/proc/meminfo: memFree=122174748/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3591.69 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99619 0 0 0 359151 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3591.69 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3600.4 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 915816
/proc/meminfo: memFree=122174748/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=521036 memory=499364 CPUtime=3592.08 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99623 0 0 0 359190 18 0 0 20 0 1 0 175175643 533540864 124841 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 130259 124841 2654 2594 0 127152 0
Current children cumulated CPU time: 3592.08 s
Current children cumulated vsize: 521036 KiB
Current children cumulated memory: 499364 KiB

[startup+3600.8 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 915816
/proc/meminfo: memFree=122174748/131524600 swapFree=131071996/131071996
[pid=913883] ppid=913869 vsize=300732 memory=287668 CPUtime=3592.49 cores=4,6
/proc/913883/stat : 913883 (CASHWMaxSAT-Dis) R 913869 913883 913810 0 -1 4194304 99667 0 0 0 359230 19 0 0 20 0 1 0 175175643 307949568 71917 134679101440 4194304 14817773 140726779643312 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 32600064 140726779646948 140726779647063 140726779647063 140726779654079 0
/proc/913883/statm: 75183 71917 2702 2594 0 72076 0
Current children cumulated CPU time: 3592.49 s
Current children cumulated vsize: 300732 KiB
Current children cumulated memory: 287668 KiB

Child status: 30

Real time (s): 3600.89
CPU time (s): 3592.59
CPU user time (s): 3592.39
CPU system time (s): 0.196364
CPU usage (%): 99.7694
Max. virtual memory (cumulated for all children) (KiB): 521036
Max. memory (cumulated for all children) (KiB): 499364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.39
system time used= 0.196364
maximum resident set size= 499364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99667
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= 23
involuntary context switches= 1813


# summary of solver processes directly reported to runsolver:
#   pid: 913883
#   total CPU time (s): 3592.59
#   total CPU user time (s): 3592.39
#   total CPU system time (s): 0.196364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30136 second user time and 18.8211 second system time

The end