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: 63931 MiB (59288 MiB free)
  memory of node 1: 64510 MiB (60346 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=946671, runsolver pid=946668

[startup+0.101056 s]*
/proc/loadavg: 4.01 4.15 4.14 5/255 946672
/proc/meminfo: memFree=122471032/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=54424 memory=44692 CPUtime=0.09 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 9037 0 0 0 8 1 0 0 20 0 1 0 177696018 55730176 11173 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 13606 11173 2510 2594 0 10499 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54424 KiB
Current children cumulated memory: 44692 KiB

[startup+0.205498 s]*
/proc/loadavg: 4.01 4.15 4.14 5/255 946672
/proc/meminfo: memFree=122456572/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=69296 memory=59180 CPUtime=0.19 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 12853 0 0 0 18 1 0 0 20 0 1 0 177696018 70959104 14795 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 17324 14795 2574 2594 0 14217 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69296 KiB
Current children cumulated memory: 59180 KiB

[startup+0.305455 s]*
/proc/loadavg: 4.01 4.15 4.14 5/255 946672
/proc/meminfo: memFree=122453224/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=72948 memory=62780 CPUtime=0.3 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 13733 0 0 0 28 2 0 0 20 0 1 0 177696018 74698752 15695 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 18237 15695 2638 2594 0 15130 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72948 KiB
Current children cumulated memory: 62780 KiB

[startup+0.700235 s]
/proc/loadavg: 4.01 4.15 4.14 5/255 946672
/proc/meminfo: memFree=122451880/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=111544 memory=98692 CPUtime=0.69 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 23254 0 0 0 66 3 0 0 20 0 1 0 177696018 114221056 24673 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 27886 24673 2638 2594 0 24779 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 111544 KiB
Current children cumulated memory: 98692 KiB

[startup+1.50022 s]
/proc/loadavg: 4.01 4.15 4.14 5/255 946672
/proc/meminfo: memFree=122415776/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=113556 memory=100168 CPUtime=1.48 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 25298 0 0 0 145 3 0 0 20 0 1 0 177696018 116281344 25042 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 28389 25042 2654 2594 0 25282 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113556 KiB
Current children cumulated memory: 100168 KiB

[startup+3.10562 s]
/proc/loadavg: 4.01 4.15 4.14 5/255 946672
/proc/meminfo: memFree=122412552/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=113556 memory=103072 CPUtime=3.08 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 26009 0 0 0 305 3 0 0 20 0 1 0 177696018 116281344 25768 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 28389 25768 2654 2594 0 25282 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113556 KiB
Current children cumulated memory: 103072 KiB

[startup+6.30016 s]
/proc/loadavg: 4.01 4.15 4.13 5/255 946672
/proc/meminfo: memFree=122395824/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=132916 memory=118648 CPUtime=6.27 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 29940 0 0 0 623 4 0 0 20 0 1 0 177696018 136105984 29662 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 33229 29662 2654 2594 0 30122 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132916 KiB
Current children cumulated memory: 118648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.16 4.14 5/255 946673
/proc/meminfo: memFree=122369480/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=142504 memory=123924 CPUtime=12.65 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 31238 0 0 0 1261 4 0 0 20 0 1 0 177696018 145924096 30981 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 35626 30981 2654 2594 0 32519 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 142504 KiB
Current children cumulated memory: 123924 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.16 4.14 5/255 946675
/proc/meminfo: memFree=122347944/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=142812 memory=124188 CPUtime=25.42 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 31288 0 0 0 2538 4 0 0 20 0 1 0 177696018 146239488 31047 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 35703 31047 2654 2594 0 32596 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 142812 KiB
Current children cumulated memory: 124188 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.16 4.14 5/257 946849
/proc/meminfo: memFree=122311156/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=154076 memory=134732 CPUtime=50.96 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 34397 0 0 0 5092 4 0 0 20 0 1 0 177696018 157773824 33683 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 38519 33683 2654 2594 0 35412 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 154076 KiB
Current children cumulated memory: 134732 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/257 946858
/proc/meminfo: memFree=122272572/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=154076 memory=134848 CPUtime=102.03 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 34687 0 0 0 10199 4 0 0 20 0 1 0 177696018 157773824 33712 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 38519 33712 2654 2594 0 35412 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 154076 KiB
Current children cumulated memory: 134848 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/257 946868
/proc/meminfo: memFree=122235572/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=155348 memory=134908 CPUtime=161.88 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 34754 0 0 0 16184 4 0 0 20 0 1 0 177696018 159076352 33727 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 38837 33727 2654 2594 0 35730 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 155348 KiB
Current children cumulated memory: 134908 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/260 946939
/proc/meminfo: memFree=122188992/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=167816 memory=146868 CPUtime=221.74 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 37747 0 0 0 22169 5 0 0 20 0 1 0 177696018 171843584 36717 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 41954 36717 2654 2594 0 38847 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 167816 KiB
Current children cumulated memory: 146868 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/260 946950
/proc/meminfo: memFree=122154168/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=167816 memory=146868 CPUtime=281.59 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 37747 0 0 0 28154 5 0 0 20 0 1 0 177696018 171843584 36717 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 41954 36717 2654 2594 0 38847 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 167816 KiB
Current children cumulated memory: 146868 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/260 946960
/proc/meminfo: memFree=122114964/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=167816 memory=147072 CPUtime=341.45 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 37858 0 0 0 34140 5 0 0 20 0 1 0 177696018 171843584 36768 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 41954 36768 2654 2594 0 38847 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 167816 KiB
Current children cumulated memory: 147072 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 946971
/proc/meminfo: memFree=122077628/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=178476 memory=157700 CPUtime=401.3 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 41006 0 0 0 40124 6 0 0 20 0 1 0 177696018 182759424 39425 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 44619 39425 2654 2594 0 41512 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 178476 KiB
Current children cumulated memory: 157700 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/258 946981
/proc/meminfo: memFree=122019040/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=203808 memory=181360 CPUtime=461.16 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 46921 0 0 0 46109 7 0 0 20 0 1 0 177696018 208699392 45340 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 50952 45340 2654 2594 0 47845 0

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

Current children cumulated memory: 306424 KiB

[startup+2922.3 s]
/proc/loadavg: 3.19 3.17 3.41 4/248 948026
/proc/meminfo: memFree=117434424/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=352280 memory=309628 CPUtime=2914.91 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 84616 0 0 0 291473 18 0 0 20 0 1 0 177696018 360734720 77407 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 88070 77407 2654 2594 0 84963 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 352280 KiB
Current children cumulated memory: 309628 KiB

[startup+2982.3 s]
/proc/loadavg: 3.25 3.19 3.40 4/248 948037
/proc/meminfo: memFree=117459436/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=353064 memory=309856 CPUtime=2974.77 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 84736 0 0 0 297459 18 0 0 20 0 1 0 177696018 361537536 77464 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 88266 77464 2654 2594 0 85159 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 353064 KiB
Current children cumulated memory: 309856 KiB

[startup+3042.3 s]
/proc/loadavg: 3.24 3.20 3.39 4/248 948047
/proc/meminfo: memFree=117407784/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=355220 memory=310524 CPUtime=3034.62 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 85079 0 0 0 303444 18 0 0 20 0 1 0 177696018 363745280 77631 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 88805 77631 2654 2594 0 85698 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 355220 KiB
Current children cumulated memory: 310524 KiB

[startup+3102.3 s]
/proc/loadavg: 3.17 3.17 3.37 4/248 948057
/proc/meminfo: memFree=117369140/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=359372 memory=313696 CPUtime=3094.48 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 85997 0 0 0 309429 19 0 0 20 0 1 0 177696018 367996928 78424 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 89843 78424 2654 2594 0 86736 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 359372 KiB
Current children cumulated memory: 313696 KiB

[startup+3162.3 s]
/proc/loadavg: 3.20 3.17 3.35 4/248 948067
/proc/meminfo: memFree=117408288/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=363796 memory=315224 CPUtime=3154.33 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 89600 0 0 0 315414 19 0 0 20 0 1 0 177696018 372527104 78806 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 90949 78806 2654 2594 0 87842 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 363796 KiB
Current children cumulated memory: 315224 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.16 3.34 4/250 948082
/proc/meminfo: memFree=117350240/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=366492 memory=315468 CPUtime=3214.18 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 89726 0 0 0 321399 19 0 0 20 0 1 0 177696018 375287808 78867 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 91623 78867 2654 2594 0 88516 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 366492 KiB
Current children cumulated memory: 315468 KiB

[startup+3282.3 s]
/proc/loadavg: 3.41 3.23 3.35 4/249 948093
/proc/meminfo: memFree=117267836/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=370572 memory=317452 CPUtime=3274.04 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 90339 0 0 0 327385 19 0 0 20 0 1 0 177696018 379465728 79363 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 92643 79363 2654 2594 0 89536 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 370572 KiB
Current children cumulated memory: 317452 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.20 3.34 4/249 948103
/proc/meminfo: memFree=117258432/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=373396 memory=318312 CPUtime=3333.89 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 94152 0 0 0 333369 20 0 0 20 0 1 0 177696018 382357504 79578 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 93349 79578 2654 2594 0 90242 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 373396 KiB
Current children cumulated memory: 318312 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.18 3.32 4/249 948114
/proc/meminfo: memFree=117288676/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=377344 memory=319196 CPUtime=3393.74 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 94493 0 0 0 339354 20 0 0 20 0 1 0 177696018 386400256 79799 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 94336 79799 2654 2594 0 91229 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 377344 KiB
Current children cumulated memory: 319196 KiB

[startup+3462.3 s]
/proc/loadavg: 3.26 3.21 3.32 4/249 948124
/proc/meminfo: memFree=117224104/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=377344 memory=319196 CPUtime=3453.6 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 94613 0 0 0 345340 20 0 0 20 0 1 0 177696018 386400256 79799 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 94336 79799 2654 2594 0 91229 0
Current children cumulated CPU time: 3453.6 s
Current children cumulated vsize: 377344 KiB
Current children cumulated memory: 319196 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.17 3.30 4/248 948516
/proc/meminfo: memFree=117203936/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=381392 memory=322152 CPUtime=3513.45 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 95489 0 0 0 351325 20 0 0 20 0 1 0 177696018 390545408 80538 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 95348 80538 2654 2594 0 92241 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 381392 KiB
Current children cumulated memory: 322152 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.16 3.28 4/248 948527
/proc/meminfo: memFree=117207976/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=384540 memory=323508 CPUtime=3573.3 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 95989 0 0 0 357310 20 0 0 20 0 1 0 177696018 393768960 80877 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 96135 80877 2654 2594 0 93028 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 384540 KiB
Current children cumulated memory: 323508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.1 s]
/proc/loadavg: 2.87 3.10 3.26 2/234 948592
/proc/meminfo: memFree=123634652/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=323112 memory=285352 CPUtime=3600.05 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 97018 0 0 0 359982 23 0 0 20 0 1 0 177696018 330866688 71338 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 80778 71338 2718 2594 0 77671 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 323112 KiB
Current children cumulated memory: 285352 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.11 s]
# the end of solver process 946671 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.82 s, system=0.239382 s

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

[startup+3609.1 s]
/proc/loadavg: 2.87 3.10 3.26 2/234 948592
/proc/meminfo: memFree=123634652/131524600 swapFree=131071996/131071996
[pid=946671] ppid=946668 vsize=323112 memory=285352 CPUtime=3600.05 cores=1,3
/proc/946671/stat : 946671 (CASHWMaxSAT-Dis) R 946668 946671 944888 0 -1 4194304 97018 0 0 0 359982 23 0 0 20 0 1 0 177696018 330866688 71338 134679101440 4194304 14817773 140722327257232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26423296 140722327266276 140722327266391 140722327266391 140722327273407 0
/proc/946671/statm: 80778 71338 2718 2594 0 77671 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 323112 KiB
Current children cumulated memory: 285352 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.06
CPU user time (s): 3599.82
CPU system time (s): 0.239382
CPU usage (%): 99.7494
Max. virtual memory (cumulated for all children) (KiB): 385892
Max. memory (cumulated for all children) (KiB): 330392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.239382
maximum resident set size= 331712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97024
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= 30
involuntary context switches= 1921


# summary of solver processes directly reported to runsolver:
#   pid: 946671
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.82
#   total CPU system time (s): 0.239382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76952 second user time and 16.1188 second system time

The end