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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439063-1721207680/watcher-4439063-1721207680 -o /tmp/evaluation-result-4439063-1721207680/solver-4439063-1721207680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721207692-895761 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439063-1721207680.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=895813, runsolver pid=895810
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 1.06 1.09 1.32 5/237 895814
/proc/meminfo: memFree=123824380/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=24680 memory=10392 CPUtime=0.1 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 1841 0 0 0 10 0 0 0 20 0 1 0 172926764 25272320 2598 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 6170 2598 878 2594 0 3063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24680 KiB
Current children cumulated memory: 10392 KiB

[startup+0.213269 s]*
/proc/loadavg: 1.06 1.09 1.32 6/243 895824
/proc/meminfo: memFree=123798056/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=29688 memory=15236 CPUtime=0.22 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 3100 0 0 0 20 2 0 0 20 0 1 0 172926764 30400512 3809 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 7422 3809 878 2594 0 4315 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 15236 KiB

[startup+0.313489 s]*
/proc/loadavg: 1.06 1.09 1.32 5/243 895824
/proc/meminfo: memFree=123759016/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=33824 memory=19372 CPUtime=0.31 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 4117 0 0 0 29 2 0 0 20 0 1 0 172926764 34635776 4843 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 8456 4843 878 2594 0 5349 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33824 KiB
Current children cumulated memory: 19372 KiB

[startup+0.700356 s]
/proc/loadavg: 1.06 1.09 1.32 5/243 895824
/proc/meminfo: memFree=123724700/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=57592 memory=43184 CPUtime=0.69 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 10205 0 0 0 64 5 0 0 20 0 1 0 172926764 58974208 10796 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 14398 10796 926 2594 0 11291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57592 KiB
Current children cumulated memory: 43184 KiB

[startup+1.50039 s]
/proc/loadavg: 1.06 1.09 1.32 5/243 895824
/proc/meminfo: memFree=123519896/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=237188 memory=224312 CPUtime=1.48 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 52871 0 0 0 134 14 0 0 20 0 1 0 172926764 242880512 56012 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 59297 56012 2510 2594 0 56190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 237188 KiB
Current children cumulated memory: 224312 KiB

[startup+3.11277 s]
/proc/loadavg: 1.06 1.09 1.32 5/243 895824
/proc/meminfo: memFree=122940152/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=407956 memory=372636 CPUtime=3.09 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 70095 0 0 0 290 19 0 0 20 0 1 0 172926764 417746944 93159 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 101989 93159 2542 2594 0 98882 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 407956 KiB
Current children cumulated memory: 372636 KiB

[startup+6.30031 s]
/proc/loadavg: 1.30 1.14 1.34 5/243 895870
/proc/meminfo: memFree=122350064/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=510716 memory=472704 CPUtime=6.26 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 92808 0 0 0 603 23 0 0 20 0 1 0 172926764 522973184 118176 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 127679 118176 2638 2594 0 124572 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 510716 KiB
Current children cumulated memory: 472704 KiB

[startup+12.7003 s]
/proc/loadavg: 1.51 1.19 1.35 5/243 895872
/proc/meminfo: memFree=121330820/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=514188 memory=475596 CPUtime=12.65 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 93506 0 0 0 1241 24 0 0 20 0 1 0 172926764 526528512 118899 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 128547 118899 2638 2594 0 125440 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 514188 KiB
Current children cumulated memory: 475596 KiB

[startup+25.5004 s]
/proc/loadavg: 2.14 1.34 1.40 5/243 895873
/proc/meminfo: memFree=120540916/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=514916 memory=475796 CPUtime=25.4 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 93586 0 0 0 2516 24 0 0 20 0 1 0 172926764 527273984 118949 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 128729 118949 2638 2594 0 125622 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 514916 KiB
Current children cumulated memory: 475796 KiB

[startup+51.1128 s]
/proc/loadavg: 2.77 1.56 1.47 5/243 895878
/proc/meminfo: memFree=120464416/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=591536 memory=518168 CPUtime=50.91 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 99722 0 0 0 5066 25 0 0 20 0 1 0 172926764 605732864 129542 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 147884 129542 2654 2594 0 144777 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 591536 KiB
Current children cumulated memory: 518168 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 2.02 1.63 5/241 895886
/proc/meminfo: memFree=120386824/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562188 CPUtime=101.92 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109251 0 0 0 10165 27 0 0 20 0 1 0 172926764 712413184 140547 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140547 2654 2594 0 170822 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 562188 KiB

[startup+162.3 s]
/proc/loadavg: 4.56 2.58 1.85 5/241 895897
/proc/meminfo: memFree=120371528/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562384 CPUtime=161.7 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109271 0 0 0 16143 27 0 0 20 0 1 0 172926764 712413184 140596 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140596 2654 2594 0 170822 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 562384 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 2.84 1.99 5/241 895907
/proc/meminfo: memFree=120260372/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562384 CPUtime=221.5 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109282 0 0 0 22122 28 0 0 20 0 1 0 172926764 712413184 140596 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140596 2654 2594 0 170822 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 562384 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 3.08 2.13 5/241 895917
/proc/meminfo: memFree=120193732/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562384 CPUtime=281.28 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109292 0 0 0 28100 28 0 0 20 0 1 0 172926764 712413184 140596 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140596 2654 2594 0 170822 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 562384 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 3.28 2.26 5/242 895928
/proc/meminfo: memFree=119827152/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562384 CPUtime=341.07 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109303 0 0 0 34079 28 0 0 20 0 1 0 172926764 712413184 140596 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140596 2654 2594 0 170822 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 562384 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.46 2.39 5/245 895947
/proc/meminfo: memFree=119954000/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562384 CPUtime=400.86 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109314 0 0 0 40058 28 0 0 20 0 1 0 172926764 712413184 140596 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140596 2654 2594 0 170822 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 562384 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 3.62 2.51 5/245 895957
/proc/meminfo: memFree=119980340/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=695716 memory=562384 CPUtime=460.65 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 109325 0 0 0 46037 28 0 0 20 0 1 0 172926764 712413184 140596 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 173929 140596 2654 2594 0 170822 0

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

Current children cumulated memory: 663488 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.12 4.02 5/243 897567
/proc/meminfo: memFree=117908056/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=2852.6 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161006 0 0 0 285220 40 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 2852.6 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.02 5/244 897578
/proc/meminfo: memFree=117907944/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=2912.37 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161073 0 0 0 291197 40 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 2912.37 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/243 897589
/proc/meminfo: memFree=119716356/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=2972.15 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161202 0 0 0 297175 40 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 2972.15 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.02 5/242 897599
/proc/meminfo: memFree=119246512/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3031.92 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161283 0 0 0 303152 40 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3031.92 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/242 897610
/proc/meminfo: memFree=119075468/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3091.71 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161343 0 0 0 309130 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3091.71 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/242 897620
/proc/meminfo: memFree=119094996/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3151.48 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161438 0 0 0 315107 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3151.48 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/241 897630
/proc/meminfo: memFree=118605064/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3211.26 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161513 0 0 0 321085 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3211.26 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/241 897641
/proc/meminfo: memFree=118170852/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3271.03 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161626 0 0 0 327062 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.11 4.04 5/241 897651
/proc/meminfo: memFree=117766884/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3330.81 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161700 0 0 0 333040 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/244 897666
/proc/meminfo: memFree=117272704/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3390.58 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161795 0 0 0 339017 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3390.58 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/244 897677
/proc/meminfo: memFree=118483004/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3450.36 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161892 0 0 0 344995 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/244 897687
/proc/meminfo: memFree=118208452/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3510.13 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 161996 0 0 0 350972 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3510.13 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/244 897698
/proc/meminfo: memFree=117806368/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3569.91 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 162095 0 0 0 356950 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.11 4.09 4.04 5/244 897795
/proc/meminfo: memFree=122084976/131655788 swapFree=131071996/131071996
[pid=895813] ppid=895810 vsize=708732 memory=663488 CPUtime=3600.09 cores=0,2
/proc/895813/stat : 895813 (CASHWMaxSAT-Dis) R 895810 895813 895751 0 -1 4194304 162125 0 0 0 359968 41 0 0 20 0 1 0 172926764 725741568 165872 134679101440 4194304 14817773 140727483736240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39452672 140727483745252 140727483745367 140727483745367 140727483752383 0
/proc/895813/statm: 177183 165872 2718 2594 0 174076 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 708732 KiB
Current children cumulated memory: 663488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.69 s, system=0.412435 s

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

Child status: 10

Real time (s): 3612.6
CPU time (s): 3600.1
CPU user time (s): 3599.69
CPU system time (s): 0.412435
CPU usage (%): 99.6539
Max. virtual memory (cumulated for all children) (KiB): 1082680
Max. memory (cumulated for all children) (KiB): 790772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.69
system time used= 0.412435
maximum resident set size= 790772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162129
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= 24655


# summary of solver processes directly reported to runsolver:
#   pid: 895813
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.69
#   total CPU system time (s): 0.412435

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6388 second user time and 35.3218 second system time

The end