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: 63665 MiB (62696 MiB free)
  memory of node 1: 64507 MiB (63918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488930-1751349176/watcher-4488930-1751349176 -o /tmp/evaluation-result-4488930-1751349176/solver-4488930-1751349176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751349176-54354 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4488930-1751349176.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54404, runsolver pid=54395
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 0.86 1.13 2.03 6/265 54413
/proc/meminfo: memFree=129589132/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=41984 memory=33408 CPUtime=0.09 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 6143 0 0 0 8 1 0 0 20 0 1 0 50597897 42991616 8352 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 10496 8352 2464 2416 0 7598 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41984 KiB
Current children cumulated memory: 33408 KiB

[startup+0.204708 s]*
/proc/loadavg: 0.86 1.13 2.03 6/265 54413
/proc/meminfo: memFree=129565448/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=44444 memory=35840 CPUtime=0.19 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 6737 0 0 0 18 1 0 0 20 0 1 0 50597897 45510656 8960 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 11111 8960 2496 2416 0 8213 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44444 KiB
Current children cumulated memory: 35840 KiB

[startup+0.304558 s]*
/proc/loadavg: 0.86 1.13 2.03 6/265 54413
/proc/meminfo: memFree=129478508/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=44444 memory=35840 CPUtime=0.28 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 6738 0 0 0 27 1 0 0 20 0 1 0 50597897 45510656 8960 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 11111 8960 2496 2416 0 8213 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44444 KiB
Current children cumulated memory: 35840 KiB

[startup+0.700079 s]
/proc/loadavg: 0.86 1.13 2.03 6/265 54413
/proc/meminfo: memFree=129438440/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=49716 memory=40576 CPUtime=0.66 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 7918 0 0 0 65 1 0 0 20 0 1 0 50597897 50909184 10144 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 12429 10144 2496 2416 0 9531 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 49716 KiB
Current children cumulated memory: 40576 KiB

[startup+1.50011 s]
/proc/loadavg: 0.86 1.13 2.03 6/265 54413
/proc/meminfo: memFree=129292024/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=51596 memory=41728 CPUtime=1.45 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 8206 0 0 0 144 1 0 0 20 0 1 0 50597897 52834304 10432 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 12899 10432 2496 2416 0 10001 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 51596 KiB
Current children cumulated memory: 41728 KiB

[startup+3.10441 s]
/proc/loadavg: 1.11 1.17 2.04 6/265 54413
/proc/meminfo: memFree=129212040/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=86784 memory=75648 CPUtime=3.05 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 16677 0 0 0 303 2 0 0 20 0 1 0 50597897 88866816 18912 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 21696 18912 2496 2416 0 18798 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 86784 KiB
Current children cumulated memory: 75648 KiB

[startup+6.30011 s]
/proc/loadavg: 1.11 1.17 2.04 6/265 54414
/proc/meminfo: memFree=129131904/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=121644 memory=110080 CPUtime=6.24 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 25296 0 0 0 621 3 0 0 20 0 1 0 50597897 124563456 27520 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 30411 27520 2496 2416 0 27513 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 121644 KiB
Current children cumulated memory: 110080 KiB

[startup+12.7001 s]
/proc/loadavg: 1.35 1.22 2.05 6/265 54414
/proc/meminfo: memFree=128958544/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=149344 memory=133760 CPUtime=12.63 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 31201 0 0 0 1258 5 0 0 20 0 1 0 50597897 152928256 33440 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 37336 33440 2496 2416 0 34438 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 149344 KiB
Current children cumulated memory: 133760 KiB

[startup+25.5001 s]
/proc/loadavg: 2.00 1.37 2.09 6/265 54414
/proc/meminfo: memFree=128829664/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=154712 memory=139392 CPUtime=25.4 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 32634 0 0 0 2535 5 0 0 20 0 1 0 50597897 158425088 34848 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 38678 34848 2496 2416 0 35780 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 154712 KiB
Current children cumulated memory: 139392 KiB

[startup+51.1044 s]
/proc/loadavg: 2.69 1.59 2.14 6/265 54414
/proc/meminfo: memFree=128619652/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=199260 memory=178304 CPUtime=50.94 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 42387 0 0 0 5087 7 0 0 20 0 1 0 50597897 204042240 44576 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 49815 44576 2496 2416 0 46917 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 199260 KiB
Current children cumulated memory: 178304 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.98 2.25 6/264 54418
/proc/meminfo: memFree=128608476/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=203152 memory=183296 CPUtime=102.02 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 43651 0 0 0 10195 7 0 0 20 0 1 0 50597897 208027648 45824 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 50788 45824 2496 2416 0 47890 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 203152 KiB
Current children cumulated memory: 183296 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.36 2.37 6/264 54420
/proc/meminfo: memFree=128544324/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=222200 memory=199936 CPUtime=161.87 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 47791 0 0 0 16179 8 0 0 20 0 1 0 50597897 227532800 49984 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 55550 49984 2496 2416 0 52652 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 222200 KiB
Current children cumulated memory: 199936 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.68 2.48 6/264 54422
/proc/meminfo: memFree=128476556/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=261452 memory=240256 CPUtime=221.72 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 57948 0 0 0 22161 11 0 0 20 0 1 0 50597897 267726848 60064 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 65363 60064 2496 2416 0 62465 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 261452 KiB
Current children cumulated memory: 240256 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 2.93 2.58 6/265 54430
/proc/meminfo: memFree=128400376/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=283320 memory=262144 CPUtime=281.58 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 63447 0 0 0 28145 13 0 0 20 0 1 0 50597897 290119680 65536 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 70830 65536 2496 2416 0 67932 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 283320 KiB
Current children cumulated memory: 262144 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.68 6/265 54433
/proc/meminfo: memFree=128355992/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=297024 memory=277120 CPUtime=341.43 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 66733 0 0 0 34128 15 0 0 20 0 1 0 50597897 304152576 69280 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 74256 69280 2496 2416 0 71358 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 297024 KiB
Current children cumulated memory: 277120 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.34 2.77 6/265 54435
/proc/meminfo: memFree=128302816/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=335372 memory=320128 CPUtime=401.28 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 76218 0 0 0 40111 17 0 0 20 0 1 0 50597897 343420928 80032 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 83843 80032 2496 2416 0 80945 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 335372 KiB
Current children cumulated memory: 320128 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.48 2.86 6/265 54437
/proc/meminfo: memFree=128248248/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=335372 memory=324992 CPUtime=461.14 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 76553 0 0 0 46097 17 0 0 20 0 1 0 50597897 343420928 81248 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 83843 81248 2496 2416 0 80945 0
Current children cumulated CPU time: 461.14 s

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

Current children cumulated memory: 554584 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/264 54563
/proc/meminfo: memFree=127323820/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=564240 memory=554840 CPUtime=2915.33 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 130573 0 0 0 291506 27 0 0 20 0 1 0 50597897 577781760 138710 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 141060 138710 2496 2416 0 138162 0
Current children cumulated CPU time: 2915.33 s
Current children cumulated vsize: 564240 KiB
Current children cumulated memory: 554840 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.01 6/264 54565
/proc/meminfo: memFree=127323816/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=564240 memory=554840 CPUtime=2975.19 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 130817 0 0 0 297492 27 0 0 20 0 1 0 50597897 577781760 138710 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 141060 138710 2496 2416 0 138162 0
Current children cumulated CPU time: 2975.19 s
Current children cumulated vsize: 564240 KiB
Current children cumulated memory: 554840 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/264 54567
/proc/meminfo: memFree=127323592/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=564240 memory=555736 CPUtime=3035.04 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 131281 0 0 0 303477 27 0 0 20 0 1 0 50597897 577781760 138934 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 141060 138934 2496 2416 0 138162 0
Current children cumulated CPU time: 3035.04 s
Current children cumulated vsize: 564240 KiB
Current children cumulated memory: 555736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/263 54571
/proc/meminfo: memFree=127324196/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=564240 memory=556120 CPUtime=3094.9 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 131525 0 0 0 309463 27 0 0 20 0 1 0 50597897 577781760 139030 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 141060 139030 2496 2416 0 138162 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 564240 KiB
Current children cumulated memory: 556120 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.08 4.01 6/262 54573
/proc/meminfo: memFree=127323404/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=566264 memory=556504 CPUtime=3154.76 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 131711 0 0 0 315449 27 0 0 20 0 1 0 50597897 579854336 139126 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 141566 139126 2496 2416 0 138668 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 566264 KiB
Current children cumulated memory: 556504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/262 54575
/proc/meminfo: memFree=127272028/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=618588 memory=607064 CPUtime=3214.62 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 144620 0 0 0 321432 30 0 0 20 0 1 0 50597897 633434112 151766 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 154647 151766 2496 2416 0 151749 0
Current children cumulated CPU time: 3214.62 s
Current children cumulated vsize: 618588 KiB
Current children cumulated memory: 607064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/263 54582
/proc/meminfo: memFree=127265816/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=628756 memory=613720 CPUtime=3274.46 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 146520 0 0 0 327416 30 0 0 20 0 1 0 50597897 643846144 153430 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 157189 153430 2496 2416 0 154291 0
Current children cumulated CPU time: 3274.46 s
Current children cumulated vsize: 628756 KiB
Current children cumulated memory: 613720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/264 54585
/proc/meminfo: memFree=127258492/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=628756 memory=614104 CPUtime=3334.32 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 146625 0 0 0 333402 30 0 0 20 0 1 0 50597897 643846144 153526 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 157189 153526 2496 2416 0 154291 0
Current children cumulated CPU time: 3334.32 s
Current children cumulated vsize: 628756 KiB
Current children cumulated memory: 614104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/264 54587
/proc/meminfo: memFree=127258824/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=628756 memory=614360 CPUtime=3394.18 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 146697 0 0 0 339388 30 0 0 20 0 1 0 50597897 643846144 153590 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 157189 153590 2496 2416 0 154291 0
Current children cumulated CPU time: 3394.18 s
Current children cumulated vsize: 628756 KiB
Current children cumulated memory: 614360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/264 54589
/proc/meminfo: memFree=127258580/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=628756 memory=614744 CPUtime=3454.04 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 146787 0 0 0 345374 30 0 0 20 0 1 0 50597897 643846144 153686 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 157189 153686 2496 2416 0 154291 0
Current children cumulated CPU time: 3454.04 s
Current children cumulated vsize: 628756 KiB
Current children cumulated memory: 614744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/264 54591
/proc/meminfo: memFree=127259264/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=628756 memory=615256 CPUtime=3513.89 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 146920 0 0 0 351359 30 0 0 20 0 1 0 50597897 643846144 153814 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 157189 153814 2496 2416 0 154291 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 628756 KiB
Current children cumulated memory: 615256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/263 54593
/proc/meminfo: memFree=127258708/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=628756 memory=615640 CPUtime=3573.75 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 147138 0 0 0 357345 30 0 0 20 0 1 0 50597897 643846144 153910 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 157189 153910 2496 2416 0 154291 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 628756 KiB
Current children cumulated memory: 615640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.07 4.08 4.01 6/263 54594
/proc/meminfo: memFree=127320032/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=591428 memory=581832 CPUtime=3600.09 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 147252 0 0 0 359978 31 0 0 20 0 1 0 50597897 605622272 145458 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 147857 145458 2496 2416 0 144959 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 591428 KiB
Current children cumulated memory: 581832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.79 s, system=0.31908 s

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

[startup+3608.7 s]
/proc/loadavg: 4.07 4.08 4.01 6/263 54594
/proc/meminfo: memFree=127320032/131250000 swapFree=33010684/33010684
[pid=54404] ppid=54395 vsize=591428 memory=581832 CPUtime=3600.09 cores=4,6
/proc/54404/stat : 54404 (CASHWMaxSAT-Dis) R 54395 54404 54343 0 -1 4194304 147252 0 0 0 359978 31 0 0 20 0 1 0 50597897 605622272 145458 18446744073709551615 4198400 14093885 140726925872736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 34398208 140726925879658 140726925879773 140726925879773 140726925885375 0
/proc/54404/statm: 147857 145458 2496 2416 0 144959 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 591428 KiB
Current children cumulated memory: 581832 KiB

Child status: 10

Real time (s): 3608.71
CPU time (s): 3600.11
CPU user time (s): 3599.79
CPU system time (s): 0.31908
CPU usage (%): 99.7617
Max. virtual memory (cumulated for all children) (KiB): 628756
Max. memory (cumulated for all children) (KiB): 615640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.79
system time used= 0.31908
maximum resident set size= 615640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147255
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= 43
involuntary context switches= 2123


# summary of solver processes directly reported to runsolver:
#   pid: 54404
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.79
#   total CPU system time (s): 0.31908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95445 second user time and 11.4953 second system time

The end