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: 64059 MiB (63141 MiB free)
  memory of node 1: 64510 MiB (61412 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439154-1721194629/watcher-4439154-1721194629 -o /tmp/evaluation-result-4439154-1721194629/solver-4439154-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890809 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439154-1721194629.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=890866, runsolver pid=890857
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 0.54 0.29 0.16 6/247 890877
/proc/meminfo: memFree=127510736/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=33916 memory=18868 CPUtime=0.11 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 3790 0 0 0 10 1 0 0 20 0 1 0 171621038 34729984 4717 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 8479 4717 1182 2594 0 5372 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 33916 KiB
Current children cumulated memory: 18868 KiB

[startup+0.215504 s]*
/proc/loadavg: 0.54 0.29 0.16 6/247 890877
/proc/meminfo: memFree=127470596/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=38268 memory=23300 CPUtime=0.22 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 5070 0 0 0 21 1 0 0 20 0 1 0 171621038 39186432 5825 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 9567 5825 1182 2594 0 6460 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38268 KiB
Current children cumulated memory: 23300 KiB

[startup+0.315377 s]*
/proc/loadavg: 0.54 0.29 0.16 6/247 890877
/proc/meminfo: memFree=127434412/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=51008 memory=35988 CPUtime=0.32 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 7763 0 0 0 29 3 0 0 20 0 1 0 171621038 52232192 8997 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 12752 8997 1182 2594 0 9645 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 51008 KiB
Current children cumulated memory: 35988 KiB

[startup+0.700383 s]
/proc/loadavg: 0.54 0.29 0.16 6/247 890877
/proc/meminfo: memFree=127329080/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=166984 memory=155620 CPUtime=0.68 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 37610 0 0 0 58 10 0 0 20 0 1 0 171621038 170991616 38905 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 41746 38905 2686 2594 0 38639 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166984 KiB
Current children cumulated memory: 155620 KiB

[startup+1.50038 s]
/proc/loadavg: 0.54 0.29 0.16 6/247 890877
/proc/meminfo: memFree=126945648/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=314116 memory=299800 CPUtime=1.48 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 73590 0 0 0 131 17 0 0 20 0 1 0 171621038 321654784 74950 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 78529 74950 2766 2594 0 75422 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 314116 KiB
Current children cumulated memory: 299800 KiB

[startup+3.11412 s]
/proc/loadavg: 0.90 0.37 0.19 6/247 890879
/proc/meminfo: memFree=126036188/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=323640 memory=310380 CPUtime=3.09 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 76228 0 0 0 291 18 0 0 20 0 1 0 171621038 331407360 77595 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 80910 77595 2798 2594 0 77803 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 323640 KiB
Current children cumulated memory: 310380 KiB

[startup+6.30032 s]
/proc/loadavg: 0.90 0.37 0.19 6/247 890879
/proc/meminfo: memFree=125940892/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=323640 memory=310380 CPUtime=6.27 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 76228 0 0 0 608 19 0 0 20 0 1 0 171621038 331407360 77595 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 80910 77595 2798 2594 0 77803 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 323640 KiB
Current children cumulated memory: 310380 KiB

[startup+12.7003 s]
/proc/loadavg: 1.15 0.43 0.21 6/247 890879
/proc/meminfo: memFree=125813936/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=473968 memory=458336 CPUtime=12.65 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 112110 0 0 0 1240 25 0 0 20 0 1 0 171621038 485343232 114584 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 118492 114584 2894 2594 0 115385 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 473968 KiB
Current children cumulated memory: 458336 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 0.65 0.29 6/247 890882
/proc/meminfo: memFree=125787460/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=474112 memory=458552 CPUtime=25.42 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 112192 0 0 0 2516 26 0 0 20 0 1 0 171621038 485490688 114638 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 118528 114638 2894 2594 0 115421 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 474112 KiB
Current children cumulated memory: 458552 KiB

[startup+51.1138 s]
/proc/loadavg: 2.82 0.95 0.40 6/247 890885
/proc/meminfo: memFree=125093872/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=477064 memory=461408 CPUtime=50.96 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 112936 0 0 0 5070 26 0 0 20 0 1 0 171621038 488513536 115352 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 119266 115352 2894 2594 0 116159 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 477064 KiB
Current children cumulated memory: 461408 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 1.52 0.62 6/247 890894
/proc/meminfo: memFree=125101504/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=483188 memory=466648 CPUtime=102 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 114235 0 0 0 10173 27 0 0 20 0 1 0 171621038 494784512 116662 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 120797 116662 2894 2594 0 117690 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 466648 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 2.12 0.89 7/247 890905
/proc/meminfo: memFree=124990404/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=483188 memory=466648 CPUtime=161.84 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 114264 0 0 0 16156 28 0 0 20 0 1 0 171621038 494784512 116662 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 120797 116662 2894 2594 0 117690 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 466648 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 2.52 1.11 6/249 890920
/proc/meminfo: memFree=124913008/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=483188 memory=466648 CPUtime=221.66 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 114273 0 0 0 22138 28 0 0 20 0 1 0 171621038 494784512 116662 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 120797 116662 2894 2594 0 117690 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 466648 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 2.82 1.30 6/249 890930
/proc/meminfo: memFree=124928020/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=483188 memory=466648 CPUtime=281.47 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 114282 0 0 0 28118 29 0 0 20 0 1 0 171621038 494784512 116662 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 120797 116662 2894 2594 0 117690 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 466648 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.06 1.48 6/243 890941
/proc/meminfo: memFree=124868600/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=483188 memory=466796 CPUtime=341.27 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 114292 0 0 0 34098 29 0 0 20 0 1 0 171621038 494784512 116699 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 120797 116699 2894 2594 0 117690 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 483188 KiB
Current children cumulated memory: 466796 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.26 1.65 6/244 890953
/proc/meminfo: memFree=124871960/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=597324 memory=552284 CPUtime=401.09 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 122950 0 0 0 40076 33 0 0 20 0 1 0 171621038 611659776 138071 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 149331 138071 2910 2594 0 146224 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 597324 KiB
Current children cumulated memory: 552284 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.43 1.81 6/244 890963
/proc/meminfo: memFree=124825704/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=708884 memory=573604 CPUtime=460.89 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 128378 0 0 0 46055 34 0 0 20 0 1 0 171621038 725897216 143401 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 177221 143401 2910 2594 0 174114 0

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

/proc/loadavg: 4.17 4.30 3.53 7/246 891766
/proc/meminfo: memFree=124430920/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=837580 memory=661128 CPUtime=1478.25 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 132996 0 0 0 147789 36 0 0 20 0 1 0 171621038 857681920 165282 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 209395 165282 2910 2594 0 206288 0
Current children cumulated CPU time: 1478.25 s
Current children cumulated vsize: 837580 KiB
Current children cumulated memory: 661128 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.26 3.57 6/246 891777
/proc/meminfo: memFree=124413016/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=837580 memory=661128 CPUtime=1538.09 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 133233 0 0 0 153773 36 0 0 20 0 1 0 171621038 857681920 165282 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 209395 165282 2910 2594 0 206288 0
Current children cumulated CPU time: 1538.09 s
Current children cumulated vsize: 837580 KiB
Current children cumulated memory: 661128 KiB

[startup+1602.3 s]
/proc/loadavg: 4.22 4.25 3.61 6/243 891788
/proc/meminfo: memFree=124417820/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=839488 memory=661236 CPUtime=1597.93 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 133504 0 0 0 159757 36 0 0 20 0 1 0 171621038 859635712 165309 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 209872 165309 2910 2594 0 206765 0
Current children cumulated CPU time: 1597.93 s
Current children cumulated vsize: 839488 KiB
Current children cumulated memory: 661236 KiB

[startup+1662.3 s]
/proc/loadavg: 4.11 4.22 3.65 6/244 891801
/proc/meminfo: memFree=123975500/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=839488 memory=661252 CPUtime=1657.77 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 133745 0 0 0 165741 36 0 0 20 0 1 0 171621038 859635712 165313 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 209872 165313 2910 2594 0 206765 0
Current children cumulated CPU time: 1657.77 s
Current children cumulated vsize: 839488 KiB
Current children cumulated memory: 661252 KiB

[startup+1722.3 s]
/proc/loadavg: 4.09 4.19 3.68 6/244 891813
/proc/meminfo: memFree=124141508/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=839488 memory=661772 CPUtime=1717.61 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134113 0 0 0 171725 36 0 0 20 0 1 0 171621038 859635712 165443 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 209872 165443 2910 2594 0 206765 0
Current children cumulated CPU time: 1717.61 s
Current children cumulated vsize: 839488 KiB
Current children cumulated memory: 661772 KiB

[startup+1782.3 s]
/proc/loadavg: 4.15 4.19 3.71 6/242 891823
/proc/meminfo: memFree=124097576/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=840500 memory=662432 CPUtime=1777.45 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134525 0 0 0 177709 36 0 0 20 0 1 0 171621038 860672000 165608 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 210125 165608 2910 2594 0 207018 0
Current children cumulated CPU time: 1777.45 s
Current children cumulated vsize: 840500 KiB
Current children cumulated memory: 662432 KiB

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

# cumulated CPU time of all completed processes:  user=1816.6 s, system=0.380549 s

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

[startup+1792 s]*
/proc/loadavg: 4.13 4.18 3.71 6/242 891825
/proc/meminfo: memFree=124096064/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=840500 memory=662456 CPUtime=1787.14 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134641 0 0 0 178678 36 0 0 20 0 1 0 171621038 860672000 165614 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 210125 165614 2910 2594 0 207018 0
Current children cumulated CPU time: 1787.14 s
Current children cumulated vsize: 840500 KiB
Current children cumulated memory: 662456 KiB

[startup+1804.8 s]
/proc/loadavg: 4.10 4.17 3.72 6/242 891828
/proc/meminfo: memFree=124701616/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1799.9 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 179953 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1799.9 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1811.2 s]
/proc/loadavg: 4.09 4.17 3.72 6/242 891829
/proc/meminfo: memFree=124692040/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1806.28 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 180591 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1806.28 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1817.6 s]
/proc/loadavg: 4.08 4.16 3.72 6/242 891831
/proc/meminfo: memFree=124691268/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1812.66 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 181229 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1812.66 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1819.2 s]
/proc/loadavg: 4.08 4.16 3.73 6/242 891831
/proc/meminfo: memFree=124691268/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1814.25 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 181388 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1814.25 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1820.8 s]
/proc/loadavg: 4.08 4.16 3.73 7/242 891831
/proc/meminfo: memFree=124743412/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1815.85 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 181548 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1815.85 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1821.6 s]
/proc/loadavg: 4.08 4.16 3.73 6/242 891831
/proc/meminfo: memFree=124743404/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1816.65 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 181628 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1816.65 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1821.8 s]
/proc/loadavg: 4.08 4.16 3.73 6/242 891831
/proc/meminfo: memFree=124743404/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1816.85 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 181648 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1816.85 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

[startup+1821.9 s]
/proc/loadavg: 4.08 4.16 3.73 6/242 891831
/proc/meminfo: memFree=124743404/131655788 swapFree=131071996/131071996
[pid=890866] ppid=890857 vsize=468128 memory=461000 CPUtime=1816.95 cores=4,6
/proc/890866/stat : 890866 (CASHWMaxSAT-Dis) R 890857 890866 890798 0 -1 4194304 134689 0 0 0 181658 37 0 0 20 0 1 0 171621038 479363072 115250 134679101440 4194304 14817773 140731565535792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 30945280 140731565540324 140731565540439 140731565540439 140731565547455 0
/proc/890866/statm: 117032 115250 2958 2594 0 113925 0
Current children cumulated CPU time: 1816.95 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 461000 KiB

Child status: 30

Real time (s): 1821.92
CPU time (s): 1816.98
CPU user time (s): 1816.6
CPU system time (s): 0.380549
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 840500
Max. memory (cumulated for all children) (KiB): 662456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1816.6
system time used= 0.380549
maximum resident set size= 662456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134689
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= 32
involuntary context switches= 786


# summary of solver processes directly reported to runsolver:
#   pid: 890866
#   total CPU time (s): 1816.98
#   total CPU user time (s): 1816.6
#   total CPU system time (s): 0.380549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.39595 second user time and 19.0692 second system time

The end