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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457925-1721877735/watcher-4457925-1721877735 -o /tmp/evaluation-result-4457925-1721877735/solver-4457925-1721877735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214043 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457925-1721877735.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
Current StackSize limit: 8192 KiB

solver pid=214108, runsolver pid=214096

[startup+0.100861 s]*
/proc/loadavg: 2.87 3.07 3.15 7/252 214114
/proc/meminfo: memFree=124802520/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=36412 memory=27144 CPUtime=0.1 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 4920 0 0 0 9 1 0 0 20 0 1 0 23763276 37285888 6786 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 9103 6786 2286 2594 0 5996 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36412 KiB
Current children cumulated memory: 27144 KiB

[startup+0.21503 s]*
/proc/loadavg: 2.87 3.07 3.15 5/252 214114
/proc/meminfo: memFree=124726188/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=64524 memory=54384 CPUtime=0.22 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 11527 0 0 0 19 3 0 0 20 0 1 0 23763276 66072576 13596 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 16131 13596 2510 2594 0 13024 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 64524 KiB
Current children cumulated memory: 54384 KiB

[startup+0.31596 s]*
/proc/loadavg: 2.87 3.07 3.15 7/252 214114
/proc/meminfo: memFree=124664632/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=68736 memory=58608 CPUtime=0.32 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 12599 0 0 0 28 4 0 0 20 0 1 0 23763276 70385664 14652 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 17184 14652 2510 2594 0 14077 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 68736 KiB
Current children cumulated memory: 58608 KiB

[startup+0.700324 s]
/proc/loadavg: 2.87 3.07 3.15 6/252 214116
/proc/meminfo: memFree=124588212/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=99316 memory=85952 CPUtime=0.68 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 18865 0 0 0 63 5 0 0 20 0 1 0 23763276 101699584 21488 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 24829 21488 2542 2594 0 21722 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99316 KiB
Current children cumulated memory: 85952 KiB

[startup+1.5003 s]
/proc/loadavg: 2.87 3.07 3.15 7/252 214116
/proc/meminfo: memFree=124472308/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=166196 memory=152072 CPUtime=1.47 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 37187 0 0 0 138 9 0 0 20 0 1 0 23763276 170184704 38018 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 41549 38018 2654 2594 0 38442 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 166196 KiB
Current children cumulated memory: 152072 KiB

[startup+3.11435 s]
/proc/loadavg: 2.87 3.07 3.15 8/252 214116
/proc/meminfo: memFree=124127148/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=163820 memory=151604 CPUtime=3.09 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 37919 0 0 0 299 10 0 0 20 0 1 0 23763276 167751680 37901 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 40955 37901 2654 2594 0 37848 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 163820 KiB
Current children cumulated memory: 151604 KiB

[startup+6.30025 s]
/proc/loadavg: 2.96 3.08 3.16 8/252 214116
/proc/meminfo: memFree=124110248/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=179244 memory=159520 CPUtime=6.26 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 39891 0 0 0 616 10 0 0 20 0 1 0 23763276 183545856 39880 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 44811 39880 2654 2594 0 41704 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 179244 KiB
Current children cumulated memory: 159520 KiB

[startup+12.7003 s]
/proc/loadavg: 3.05 3.10 3.16 8/252 214117
/proc/meminfo: memFree=124092728/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=180248 memory=160576 CPUtime=12.64 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 40162 0 0 0 1253 11 0 0 20 0 1 0 23763276 184573952 40144 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 45062 40144 2654 2594 0 41955 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 180248 KiB
Current children cumulated memory: 160576 KiB

[startup+25.5003 s]
/proc/loadavg: 3.26 3.14 3.18 8/252 214119
/proc/meminfo: memFree=123758104/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=278716 memory=250364 CPUtime=25.39 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 67115 0 0 0 2523 16 0 0 20 0 1 0 23763276 285405184 62591 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 69679 62591 2654 2594 0 66572 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 278716 KiB
Current children cumulated memory: 250364 KiB

[startup+51.1145 s]
/proc/loadavg: 3.58 3.23 3.21 7/252 214124
/proc/meminfo: memFree=123760764/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=260552 memory=235192 CPUtime=50.9 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 67827 0 0 0 5073 17 0 0 20 0 1 0 23763276 266805248 58798 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 65138 58798 2654 2594 0 62031 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 260552 KiB
Current children cumulated memory: 235192 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.37 3.26 7/252 214133
/proc/meminfo: memFree=123635892/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=278348 memory=259100 CPUtime=101.87 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 82713 0 0 0 10167 20 0 0 20 0 1 0 23763276 285028352 64775 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 69587 64775 2654 2594 0 66480 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 278348 KiB
Current children cumulated memory: 259100 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.50 3.31 7/252 214144
/proc/meminfo: memFree=123525672/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=328036 memory=302188 CPUtime=161.61 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 107145 0 0 0 16136 25 0 0 20 0 1 0 23763276 335908864 75547 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 82009 75547 2654 2594 0 78902 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 328036 KiB
Current children cumulated memory: 302188 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.62 3.37 8/252 214538
/proc/meminfo: memFree=123411724/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=328036 memory=308656 CPUtime=221.34 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 116220 0 0 0 22105 29 0 0 20 0 1 0 23763276 335908864 77164 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 82009 77164 2654 2594 0 78902 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 328036 KiB
Current children cumulated memory: 308656 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 3.75 3.43 7/252 214548
/proc/meminfo: memFree=123238744/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=328036 memory=308656 CPUtime=281.07 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 116234 0 0 0 28076 31 0 0 20 0 1 0 23763276 335908864 77164 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 82009 77164 2654 2594 0 78902 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 328036 KiB
Current children cumulated memory: 308656 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.81 3.47 7/244 214560
/proc/meminfo: memFree=123110700/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=360364 memory=338940 CPUtime=340.78 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 123838 0 0 0 34044 34 0 0 20 0 1 0 23763276 369012736 84735 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 90091 84735 2654 2594 0 86984 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 360364 KiB
Current children cumulated memory: 338940 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.88 3.52 8/246 214740
/proc/meminfo: memFree=122961336/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=360364 memory=338940 CPUtime=400.49 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 123838 0 0 0 40014 35 0 0 20 0 1 0 23763276 369012736 84735 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 90091 84735 2654 2594 0 86984 0
Current children cumulated CPU time: 400.49 s
Current children cumulated vsize: 360364 KiB
Current children cumulated memory: 338940 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.91 3.55 7/246 214750
/proc/meminfo: memFree=122728392/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=367384 memory=348396 CPUtime=460.23 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 127375 0 0 0 45985 38 0 0 20 0 1 0 23763276 376201216 87099 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 91846 87099 2654 2594 0 88739 0

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

Current children cumulated memory: 384852 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.13 7/244 215805
/proc/meminfo: memFree=121382068/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=393032 memory=385884 CPUtime=2850.28 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 169061 0 0 0 284903 125 0 0 20 0 1 0 23763276 402464768 96471 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 98258 96471 2718 2594 0 95151 0
Current children cumulated CPU time: 2850.28 s
Current children cumulated vsize: 393032 KiB
Current children cumulated memory: 385884 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.13 7/245 215818
/proc/meminfo: memFree=121337784/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=400892 memory=393744 CPUtime=2910.09 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 172688 0 0 0 290875 134 0 0 20 0 1 0 23763276 410513408 98436 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 100223 98436 2718 2594 0 97116 0
Current children cumulated CPU time: 2910.09 s
Current children cumulated vsize: 400892 KiB
Current children cumulated memory: 393744 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.13 7/245 215830
/proc/meminfo: memFree=121320864/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=419796 memory=412648 CPUtime=2969.9 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 176346 0 0 0 296847 143 0 0 20 0 1 0 23763276 429871104 103162 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 104949 103162 2718 2594 0 101842 0
Current children cumulated CPU time: 2969.9 s
Current children cumulated vsize: 419796 KiB
Current children cumulated memory: 412648 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 8/245 215840
/proc/meminfo: memFree=121329524/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=405284 memory=398136 CPUtime=3029.7 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 179925 0 0 0 302821 149 0 0 20 0 1 0 23763276 415010816 99534 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 101321 99534 2718 2594 0 98214 0
Current children cumulated CPU time: 3029.7 s
Current children cumulated vsize: 405284 KiB
Current children cumulated memory: 398136 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.13 7/245 215850
/proc/meminfo: memFree=121345448/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=401216 memory=394068 CPUtime=3089.52 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 183472 0 0 0 308794 158 0 0 20 0 1 0 23763276 410845184 98517 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 100304 98517 2718 2594 0 97197 0
Current children cumulated CPU time: 3089.52 s
Current children cumulated vsize: 401216 KiB
Current children cumulated memory: 394068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.12 7/243 215861
/proc/meminfo: memFree=121449740/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=410276 memory=403128 CPUtime=3149.33 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 185882 0 0 0 314765 168 0 0 20 0 1 0 23763276 420122624 100782 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 102569 100782 2718 2594 0 99462 0
Current children cumulated CPU time: 3149.33 s
Current children cumulated vsize: 410276 KiB
Current children cumulated memory: 403128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.12 7/242 215871
/proc/meminfo: memFree=121458832/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=401052 memory=393904 CPUtime=3209.14 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 188772 0 0 0 320738 176 0 0 20 0 1 0 23763276 410677248 98476 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 100263 98476 2718 2594 0 97156 0
Current children cumulated CPU time: 3209.14 s
Current children cumulated vsize: 401052 KiB
Current children cumulated memory: 393904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.12 8/243 215882
/proc/meminfo: memFree=121432984/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=403676 memory=396528 CPUtime=3268.96 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 191067 0 0 0 326712 184 0 0 20 0 1 0 23763276 413364224 99132 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 100919 99132 2718 2594 0 97812 0
Current children cumulated CPU time: 3268.96 s
Current children cumulated vsize: 403676 KiB
Current children cumulated memory: 396528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.17 4.13 7/243 215892
/proc/meminfo: memFree=121482560/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=335612 memory=328464 CPUtime=3328.77 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 191733 0 0 0 332691 186 0 0 20 0 1 0 23763276 343666688 82116 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 83903 82116 2718 2594 0 80796 0
Current children cumulated CPU time: 3328.77 s
Current children cumulated vsize: 335612 KiB
Current children cumulated memory: 328464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.26 4.17 7/243 215903
/proc/meminfo: memFree=121480176/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=335612 memory=328464 CPUtime=3388.58 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 191822 0 0 0 338672 186 0 0 20 0 1 0 23763276 343666688 82116 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 83903 82116 2718 2594 0 80796 0
Current children cumulated CPU time: 3388.58 s
Current children cumulated vsize: 335612 KiB
Current children cumulated memory: 328464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.59 4.33 4.20 8/243 215913
/proc/meminfo: memFree=121343840/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=335612 memory=328464 CPUtime=3448.39 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 191913 0 0 0 344653 186 0 0 20 0 1 0 23763276 343666688 82116 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 83903 82116 2718 2594 0 80796 0
Current children cumulated CPU time: 3448.39 s
Current children cumulated vsize: 335612 KiB
Current children cumulated memory: 328464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.27 4.18 7/246 215928
/proc/meminfo: memFree=121479408/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=335612 memory=328464 CPUtime=3508.2 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 192001 0 0 0 350634 186 0 0 20 0 1 0 23763276 343666688 82116 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 83903 82116 2718 2594 0 80796 0
Current children cumulated CPU time: 3508.2 s
Current children cumulated vsize: 335612 KiB
Current children cumulated memory: 328464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.25 4.18 7/245 215940
/proc/meminfo: memFree=121479200/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=335612 memory=328464 CPUtime=3568 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 192093 0 0 0 356614 186 0 0 20 0 1 0 23763276 343666688 82116 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 83903 82116 2718 2594 0 80796 0
Current children cumulated CPU time: 3568 s
Current children cumulated vsize: 335612 KiB
Current children cumulated memory: 328464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.4 s]
/proc/loadavg: 4.11 4.22 4.17 5/245 216083
/proc/meminfo: memFree=124314804/131655788 swapFree=131057052/131071996
[pid=214108] ppid=214096 vsize=335612 memory=328464 CPUtime=3600 cores=0,2
/proc/214108/stat : 214108 (CASHWMaxSAT-Dis) R 214096 214108 214033 0 -1 4194304 192116 0 0 0 359814 186 0 0 20 0 1 0 23763276 343666688 82116 134679101440 4194304 14817773 140735958410240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53428224 140735958414309 140735958414424 140735958414424 140735958421439 0
/proc/214108/statm: 83903 82116 2718 2594 0 80796 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 335612 KiB
Current children cumulated memory: 328464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.14 s, system=1.86647 s

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

Child status: 10

Real time (s): 3614.4
CPU time (s): 3600.01
CPU user time (s): 3598.14
CPU system time (s): 1.86647
CPU usage (%): 99.6018
Max. virtual memory (cumulated for all children) (KiB): 501864
Max. memory (cumulated for all children) (KiB): 494672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.14
system time used= 1.86647
maximum resident set size= 494672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192119
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= 94
involuntary context switches= 25257


# summary of solver processes directly reported to runsolver:
#   pid: 214108
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3598.14
#   total CPU system time (s): 1.86647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4116 second user time and 36.3413 second system time

The end