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: 63968 MiB (60286 MiB free)
  memory of node 1: 64473 MiB (60430 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439371-1721255220/watcher-4439371-1721255220 -o /tmp/evaluation-result-4439371-1721255220/solver-4439371-1721255220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721254594-931158 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439371-1721255220.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=932044, runsolver pid=932041

[startup+0.100233 s]*
/proc/loadavg: 4.13 3.78 2.75 5/256 932045
/proc/meminfo: memFree=123583948/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=48956 memory=39452 CPUtime=0.09 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 7678 0 0 0 8 1 0 0 20 0 1 0 177692577 50130944 9863 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 12239 9863 2526 2594 0 9132 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48956 KiB
Current children cumulated memory: 39452 KiB

[startup+0.20585 s]*
/proc/loadavg: 4.13 3.78 2.75 5/256 932045
/proc/meminfo: memFree=123582184/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=50460 memory=41096 CPUtime=0.2 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 8079 0 0 0 19 1 0 0 20 0 1 0 177692577 51671040 10274 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 12615 10274 2542 2594 0 9508 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50460 KiB
Current children cumulated memory: 41096 KiB

[startup+0.305611 s]*
/proc/loadavg: 4.13 3.78 2.75 5/256 932045
/proc/meminfo: memFree=123581372/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=51556 memory=42152 CPUtime=0.3 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 8359 0 0 0 29 1 0 0 20 0 1 0 177692577 52793344 10538 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 12889 10538 2542 2594 0 9782 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51556 KiB
Current children cumulated memory: 42152 KiB

[startup+0.700185 s]
/proc/loadavg: 4.13 3.78 2.75 5/256 932045
/proc/meminfo: memFree=123580560/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=58688 memory=49096 CPUtime=0.68 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 10365 0 0 0 67 1 0 0 20 0 1 0 177692577 60096512 12274 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 14672 12274 2574 2594 0 11565 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58688 KiB
Current children cumulated memory: 49096 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 3.78 2.75 5/256 932045
/proc/meminfo: memFree=123569444/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=68988 memory=57464 CPUtime=1.48 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 12652 0 0 0 147 1 0 0 20 0 1 0 177692577 70643712 14366 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 17247 14366 2654 2594 0 14140 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68988 KiB
Current children cumulated memory: 57464 KiB

[startup+3.10585 s]
/proc/loadavg: 4.13 3.78 2.75 5/256 932045
/proc/meminfo: memFree=123543044/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=93072 memory=71720 CPUtime=3.08 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 16206 0 0 0 306 2 0 0 20 0 1 0 177692577 95305728 17930 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 23268 17930 2654 2594 0 20161 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93072 KiB
Current children cumulated memory: 71720 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 3.78 2.76 5/256 932045
/proc/meminfo: memFree=123533612/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=102796 memory=80432 CPUtime=6.26 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 19762 0 0 0 624 2 0 0 20 0 1 0 177692577 105263104 20108 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 25699 20108 2654 2594 0 22592 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 102796 KiB
Current children cumulated memory: 80432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 3.79 2.77 5/256 932047
/proc/meminfo: memFree=123521060/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=102796 memory=80432 CPUtime=12.64 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 19763 0 0 0 1262 2 0 0 20 0 1 0 177692577 105263104 20108 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 25699 20108 2654 2594 0 22592 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 102796 KiB
Current children cumulated memory: 80432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 3.82 2.79 5/256 932048
/proc/meminfo: memFree=123506120/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=117264 memory=92292 CPUtime=25.4 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 22750 0 0 0 2537 3 0 0 20 0 1 0 177692577 120078336 23073 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 29316 23073 2654 2594 0 26209 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 117264 KiB
Current children cumulated memory: 92292 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 3.83 2.83 5/256 932053
/proc/meminfo: memFree=123452604/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=190408 memory=146708 CPUtime=50.92 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 36385 0 0 0 5086 6 0 0 20 0 1 0 177692577 194977792 36677 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 47602 36677 2654 2594 0 44495 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 190408 KiB
Current children cumulated memory: 146708 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.87 2.90 6/258 932232
/proc/meminfo: memFree=123365788/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=243412 memory=181780 CPUtime=101.93 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 44675 0 0 0 10183 10 0 0 20 0 1 0 177692577 249253888 45445 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 60853 45445 2654 2594 0 57746 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 243412 KiB
Current children cumulated memory: 181780 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.91 2.97 5/258 932244
/proc/meminfo: memFree=123239404/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=315816 memory=247052 CPUtime=161.73 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 57969 0 0 0 16159 14 0 0 20 0 1 0 177692577 323395584 61763 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 78954 61763 2654 2594 0 75847 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 315816 KiB
Current children cumulated memory: 247052 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.95 3.05 5/259 932314
/proc/meminfo: memFree=123168120/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=359736 memory=300868 CPUtime=221.51 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 64266 0 0 0 22135 16 0 0 20 0 1 0 177692577 368369664 75217 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 89934 75217 2654 2594 0 86827 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 359736 KiB
Current children cumulated memory: 300868 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.99 3.12 5/259 932324
/proc/meminfo: memFree=123049132/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=397152 memory=374236 CPUtime=281.29 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 69316 0 0 0 28111 18 0 0 20 0 1 0 177692577 406683648 93559 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 99288 93559 2654 2594 0 96181 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 397152 KiB
Current children cumulated memory: 374236 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.01 3.18 5/259 932335
/proc/meminfo: memFree=123011912/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=438116 memory=404508 CPUtime=341.08 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 72628 0 0 0 34088 20 0 0 20 0 1 0 177692577 448630784 101127 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 109529 101127 2654 2594 0 106422 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 438116 KiB
Current children cumulated memory: 404508 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.02 3.24 5/257 932345
/proc/meminfo: memFree=122988128/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=456284 memory=421140 CPUtime=400.87 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 74072 0 0 0 40066 21 0 0 20 0 1 0 177692577 467234816 105285 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 114071 105285 2654 2594 0 110964 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 456284 KiB
Current children cumulated memory: 421140 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.04 3.30 5/257 932357
/proc/meminfo: memFree=122897444/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=520456 memory=465896 CPUtime=460.67 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 80319 0 0 0 46044 23 0 0 20 0 1 0 177692577 532946944 116474 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 130114 116474 2654 2594 0 127007 0

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

Current children cumulated memory: 1295984 KiB

[startup+2862.3 s]
/proc/loadavg: 3.15 3.16 3.39 4/250 933398
/proc/meminfo: memFree=122254412/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1389124 memory=1309236 CPUtime=2852.09 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 221007 0 0 0 285139 70 0 0 20 0 1 0 177692577 1422462976 327309 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 347281 327309 2922 2594 0 344174 0
Current children cumulated CPU time: 2852.09 s
Current children cumulated vsize: 1389124 KiB
Current children cumulated memory: 1309236 KiB

[startup+2922.3 s]
/proc/loadavg: 3.12 3.14 3.37 4/248 933409
/proc/meminfo: memFree=122240124/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1399840 memory=1322492 CPUtime=2911.89 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 228676 0 0 0 291117 72 0 0 20 0 1 0 177692577 1433436160 330623 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 349960 330623 2922 2594 0 346853 0
Current children cumulated CPU time: 2911.89 s
Current children cumulated vsize: 1399840 KiB
Current children cumulated memory: 1322492 KiB

[startup+2982.3 s]
/proc/loadavg: 2.93 3.10 3.34 3/241 933451
/proc/meminfo: memFree=122757680/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1412788 memory=1337212 CPUtime=2971.68 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 234611 0 0 0 297095 73 0 0 20 0 1 0 177692577 1446694912 334303 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 353197 334303 2922 2594 0 350090 0
Current children cumulated CPU time: 2971.68 s
Current children cumulated vsize: 1412788 KiB
Current children cumulated memory: 1337212 KiB

[startup+3042.3 s]
/proc/loadavg: 2.44 2.93 3.26 3/241 933462
/proc/meminfo: memFree=122736368/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1434712 memory=1357976 CPUtime=3031.47 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 240425 0 0 0 303073 74 0 0 20 0 1 0 177692577 1469145088 339494 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 358678 339494 2922 2594 0 355571 0
Current children cumulated CPU time: 3031.47 s
Current children cumulated vsize: 1434712 KiB
Current children cumulated memory: 1357976 KiB

[startup+3102.3 s]
/proc/loadavg: 1.82 2.68 3.15 2/234 933502
/proc/meminfo: memFree=123195068/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1445740 memory=1371016 CPUtime=3091.27 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 245885 0 0 0 309051 76 0 0 20 0 1 0 177692577 1480437760 342754 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 361435 342754 2922 2594 0 358328 0
Current children cumulated CPU time: 3091.27 s
Current children cumulated vsize: 1445740 KiB
Current children cumulated memory: 1371016 KiB

[startup+3162.3 s]
/proc/loadavg: 1.34 2.38 3.02 2/234 933512
/proc/meminfo: memFree=123192944/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1446232 memory=1372384 CPUtime=3151.08 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 246873 0 0 0 315031 77 0 0 20 0 1 0 177692577 1480941568 343096 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 361558 343096 2922 2594 0 358451 0
Current children cumulated CPU time: 3151.08 s
Current children cumulated vsize: 1446232 KiB
Current children cumulated memory: 1372384 KiB

[startup+3222.3 s]
/proc/loadavg: 1.18 2.14 2.90 3/235 933527
/proc/meminfo: memFree=123183336/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1452880 memory=1381108 CPUtime=3210.88 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 251176 0 0 0 321010 78 0 0 20 0 1 0 177692577 1487749120 345277 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 363220 345277 2922 2594 0 360113 0
Current children cumulated CPU time: 3210.88 s
Current children cumulated vsize: 1452880 KiB
Current children cumulated memory: 1381108 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.95 2.78 2/235 933537
/proc/meminfo: memFree=123179120/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1457252 memory=1385620 CPUtime=3270.68 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 257459 0 0 0 326989 79 0 0 20 0 1 0 177692577 1492226048 346405 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 364313 346405 2922 2594 0 361206 0
Current children cumulated CPU time: 3270.68 s
Current children cumulated vsize: 1457252 KiB
Current children cumulated memory: 1385620 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.80 2.68 2/235 933548
/proc/meminfo: memFree=123164344/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1468280 memory=1398664 CPUtime=3330.48 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 265322 0 0 0 332968 80 0 0 20 0 1 0 177692577 1503518720 349666 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 367070 349666 2922 2594 0 363963 0
Current children cumulated CPU time: 3330.48 s
Current children cumulated vsize: 1468280 KiB
Current children cumulated memory: 1398664 KiB

[startup+3402.3 s]
/proc/loadavg: 1.05 1.66 2.57 2/235 933558
/proc/meminfo: memFree=123151748/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1477820 memory=1410420 CPUtime=3390.29 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 268318 0 0 0 338947 82 0 0 20 0 1 0 177692577 1513287680 352605 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 369455 352605 2922 2594 0 366348 0
Current children cumulated CPU time: 3390.29 s
Current children cumulated vsize: 1477820 KiB
Current children cumulated memory: 1410420 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.57 2.48 2/236 933570
/proc/meminfo: memFree=123141048/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1488200 memory=1420648 CPUtime=3450.08 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 277127 0 0 0 344925 83 0 0 20 0 1 0 177692577 1523916800 355162 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 372050 355162 2922 2594 0 368943 0
Current children cumulated CPU time: 3450.08 s
Current children cumulated vsize: 1488200 KiB
Current children cumulated memory: 1420648 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.48 2.39 2/238 933965
/proc/meminfo: memFree=123116028/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1504592 memory=1444248 CPUtime=3509.87 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 284550 0 0 0 350902 85 0 0 20 0 1 0 177692577 1540702208 361062 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 376148 361062 2922 2594 0 373041 0
Current children cumulated CPU time: 3509.87 s
Current children cumulated vsize: 1504592 KiB
Current children cumulated memory: 1444248 KiB

[startup+3582.3 s]
/proc/loadavg: 1.16 1.42 2.31 2/236 933975
/proc/meminfo: memFree=123100668/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=1516796 memory=1458952 CPUtime=3569.67 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 293596 0 0 0 356881 86 0 0 20 0 1 0 177692577 1553199104 364738 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 379199 364738 2922 2594 0 376092 0
Current children cumulated CPU time: 3569.67 s
Current children cumulated vsize: 1516796 KiB
Current children cumulated memory: 1458952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 1.09 1.38 2.27 3/236 933980
/proc/meminfo: memFree=123772444/131524596 swapFree=131071996/131071996
[pid=932044] ppid=932041 vsize=795748 memory=789632 CPUtime=3600.08 cores=0,2
/proc/932044/stat : 932044 (CASHWMaxSAT-Dis) R 932041 932044 931148 0 -1 4194304 294525 0 0 0 359920 88 0 0 20 0 1 0 177692577 814845952 197408 134679101440 4194304 14817773 140726487393152 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140726487397348 140726487397463 140726487397463 140726487404479 0
/proc/932044/statm: 198937 197408 2970 2594 0 195830 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 795748 KiB
Current children cumulated memory: 789632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.2 s, system=0.888715 s

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

Child status: 10

Real time (s): 3612.8
CPU time (s): 3600.09
CPU user time (s): 3599.2
CPU system time (s): 0.888715
CPU usage (%): 99.6482
Max. virtual memory (cumulated for all children) (KiB): 1529444
Max. memory (cumulated for all children) (KiB): 1469916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.888715
maximum resident set size= 1469916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294527
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= 115
involuntary context switches= 24687


# summary of solver processes directly reported to runsolver:
#   pid: 932044
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.2
#   total CPU system time (s): 0.888715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44907 second user time and 15.6383 second system time

The end