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: 63708 MiB (62676 MiB free)
  memory of node 1: 64465 MiB (63889 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=40173, runsolver pid=40170

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.13 4.09 5/265 40174
/proc/meminfo: memFree=129598744/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=28004 memory=9204 CPUtime=0.1 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 1989 0 0 0 10 0 0 0 20 0 1 0 46670739 28676096 2301 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 7001 2301 768 2416 0 4103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28004 KiB
Current children cumulated memory: 9204 KiB

[startup+0.205434 s]*
/proc/loadavg: 4.13 4.13 4.09 5/265 40174
/proc/meminfo: memFree=129598744/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=29340 memory=10100 CPUtime=0.2 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 2224 0 0 0 20 0 0 0 20 0 1 0 46670739 30044160 2525 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 7335 2525 768 2416 0 4437 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29340 KiB
Current children cumulated memory: 10100 KiB

[startup+0.305046 s]*
/proc/loadavg: 4.13 4.13 4.09 5/265 40174
/proc/meminfo: memFree=129582868/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=41344 memory=24396 CPUtime=0.3 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 5623 0 0 0 29 1 0 0 20 0 1 0 46670739 42336256 6099 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 10336 6099 768 2416 0 7438 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41344 KiB
Current children cumulated memory: 24396 KiB

[startup+0.700171 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 40174
/proc/meminfo: memFree=129582868/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=42104 memory=26140 CPUtime=0.69 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 6616 0 0 0 68 1 0 0 20 0 1 0 46670739 43114496 6535 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 10526 6535 800 2416 0 7628 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42104 KiB
Current children cumulated memory: 26140 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 40174
/proc/meminfo: memFree=129581356/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=46456 memory=30200 CPUtime=1.48 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 7092 0 0 0 147 1 0 0 20 0 1 0 46670739 47570944 7550 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 11614 7550 800 2416 0 8716 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46456 KiB
Current children cumulated memory: 30200 KiB

[startup+3.1053 s]
/proc/loadavg: 4.28 4.16 4.10 5/265 40174
/proc/meminfo: memFree=129581692/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=46456 memory=30840 CPUtime=3.09 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 7274 0 0 0 307 2 0 0 20 0 1 0 46670739 47570944 7710 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 11614 7710 800 2416 0 8716 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46456 KiB
Current children cumulated memory: 30840 KiB

[startup+6.30017 s]
/proc/loadavg: 4.28 4.16 4.10 5/265 40174
/proc/meminfo: memFree=129509744/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=92992 memory=68040 CPUtime=6.27 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 14210 0 0 0 623 4 0 0 20 0 1 0 46670739 95223808 17010 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 23248 17010 800 2416 0 20350 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 92992 KiB
Current children cumulated memory: 68040 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.15 4.10 5/265 40174
/proc/meminfo: memFree=128954400/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=193984 memory=159952 CPUtime=12.66 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 30244 0 0 0 1256 10 0 0 20 0 1 0 46670739 198639616 39988 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 48496 39988 800 2416 0 45598 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 193984 KiB
Current children cumulated memory: 159952 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.15 4.10 5/266 40223
/proc/meminfo: memFree=128921432/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=297140 memory=250796 CPUtime=25.41 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 42568 0 0 0 2526 15 0 0 20 0 1 0 46670739 304271360 62699 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 74285 62699 800 2416 0 71387 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 297140 KiB
Current children cumulated memory: 250796 KiB

[startup+51.1054 s]
/proc/loadavg: 4.21 4.15 4.10 5/265 40268
/proc/meminfo: memFree=127345820/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=449532 memory=373684 CPUtime=50.95 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 61893 0 0 0 5067 28 0 0 20 0 1 0 46670739 460320768 93421 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 112383 93421 800 2416 0 109485 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 449532 KiB
Current children cumulated memory: 373684 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 40275
/proc/meminfo: memFree=125977700/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=576492 memory=533552 CPUtime=101.99 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 77208 0 0 0 10151 48 0 0 20 0 1 0 46670739 590327808 133388 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 144123 133388 800 2416 0 141225 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 576492 KiB
Current children cumulated memory: 533552 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 40288
/proc/meminfo: memFree=122515400/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=680212 memory=622008 CPUtime=161.82 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 96803 0 0 0 16108 74 0 0 20 0 1 0 46670739 696537088 155502 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 170053 155502 800 2416 0 167155 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 680212 KiB
Current children cumulated memory: 622008 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 40290
/proc/meminfo: memFree=122902292/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=805788 memory=713644 CPUtime=221.66 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 112348 0 0 0 22068 98 0 0 20 0 1 0 46670739 825126912 178411 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 201447 178411 800 2416 0 198549 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 805788 KiB
Current children cumulated memory: 713644 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 40292
/proc/meminfo: memFree=122873800/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=812776 memory=700864 CPUtime=281.5 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 124124 0 0 0 28020 130 0 0 20 0 1 0 46670739 832282624 175216 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 203194 175216 800 2416 0 200296 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 812776 KiB
Current children cumulated memory: 700864 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 40294
/proc/meminfo: memFree=122787152/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=846336 memory=787896 CPUtime=341.35 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 130198 0 0 0 33977 158 0 0 20 0 1 0 46670739 866648064 196974 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 211584 196974 800 2416 0 208686 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 846336 KiB
Current children cumulated memory: 787896 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 40296
/proc/meminfo: memFree=122782888/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=850084 memory=776784 CPUtime=401.19 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 136784 0 0 0 39923 196 0 0 20 0 1 0 46670739 870486016 194196 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 212521 194196 800 2416 0 209623 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 850084 KiB
Current children cumulated memory: 776784 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 40299
/proc/meminfo: memFree=122699896/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=853004 memory=790060 CPUtime=461.03 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 144588 0 0 0 45868 235 0 0 20 0 1 0 46670739 873476096 197515 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 213251 197515 800 2416 0 210353 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 1121792 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 40419
/proc/meminfo: memFree=121798164/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1291128 memory=1156668 CPUtime=2913.68 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 228179 0 0 0 290610 758 0 0 20 0 1 0 46670739 1322115072 289167 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 322782 289167 800 2416 0 319884 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 1291128 KiB
Current children cumulated memory: 1156668 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 40421
/proc/meminfo: memFree=121847368/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1291404 memory=1146840 CPUtime=2973.49 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 228899 0 0 0 296585 764 0 0 20 0 1 0 46670739 1322397696 286710 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 322851 286710 800 2416 0 319953 0
Current children cumulated CPU time: 2973.49 s
Current children cumulated vsize: 1291404 KiB
Current children cumulated memory: 1146840 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 40426
/proc/meminfo: memFree=121831860/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1292108 memory=1147336 CPUtime=3033.3 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 229749 0 0 0 302561 769 0 0 20 0 1 0 46670739 1323118592 286834 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323027 286834 800 2416 0 320129 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 1292108 KiB
Current children cumulated memory: 1147336 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 40432
/proc/meminfo: memFree=121796592/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1292788 memory=1129632 CPUtime=3093.11 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 230505 0 0 0 308536 775 0 0 20 0 1 0 46670739 1323814912 282408 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323197 282408 800 2416 0 320299 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 1292788 KiB
Current children cumulated memory: 1129632 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 40436
/proc/meminfo: memFree=121784032/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1292920 memory=1107048 CPUtime=3152.93 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 231133 0 0 0 314514 779 0 0 20 0 1 0 46670739 1323950080 276762 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323230 276762 800 2416 0 320332 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 1292920 KiB
Current children cumulated memory: 1107048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 40438
/proc/meminfo: memFree=121866504/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1293328 memory=1158712 CPUtime=3212.73 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 231420 0 0 0 320493 780 0 0 20 0 1 0 46670739 1324367872 289678 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323332 289678 800 2416 0 320434 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 1293328 KiB
Current children cumulated memory: 1158712 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 40440
/proc/meminfo: memFree=121854404/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1294072 memory=1151320 CPUtime=3272.54 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 232202 0 0 0 326468 786 0 0 20 0 1 0 46670739 1325129728 287830 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323518 287830 800 2416 0 320620 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 1294072 KiB
Current children cumulated memory: 1151320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/264 40442
/proc/meminfo: memFree=121837224/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1294400 memory=1139176 CPUtime=3332.35 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 232922 0 0 0 332443 792 0 0 20 0 1 0 46670739 1325465600 284794 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323600 284794 800 2416 0 320702 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 1294400 KiB
Current children cumulated memory: 1139176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/264 40444
/proc/meminfo: memFree=121815800/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1294400 memory=1122992 CPUtime=3392.17 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 233656 0 0 0 338419 798 0 0 20 0 1 0 46670739 1325465600 280748 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323600 280748 800 2416 0 320702 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 1294400 KiB
Current children cumulated memory: 1122992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/263 40446
/proc/meminfo: memFree=121768864/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1294824 memory=1106812 CPUtime=3451.98 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 234318 0 0 0 344393 805 0 0 20 0 1 0 46670739 1325899776 276703 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323706 276703 800 2416 0 320808 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 1294824 KiB
Current children cumulated memory: 1106812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 40449
/proc/meminfo: memFree=121781504/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1295328 memory=1107380 CPUtime=3511.79 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 235058 0 0 0 350368 811 0 0 20 0 1 0 46670739 1326415872 276845 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323832 276845 800 2416 0 320934 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 1295328 KiB
Current children cumulated memory: 1107380 KiB

[startup+3582.3 s]
/proc/loadavg: 3.84 4.08 4.08 3/252 40512
/proc/meminfo: memFree=127400920/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1295328 memory=1146292 CPUtime=3571.59 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 235152 0 0 0 356348 811 0 0 20 0 1 0 46670739 1326415872 286573 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323832 286573 800 2416 0 320934 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 1295328 KiB
Current children cumulated memory: 1146292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 3.21 3.91 4.02 3/252 40512
/proc/meminfo: memFree=127388592/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1295328 memory=1105332 CPUtime=3600.08 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 235845 0 0 0 359193 815 0 0 20 0 1 0 46670739 1326415872 276333 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323832 276333 800 2416 0 320934 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1295328 KiB
Current children cumulated memory: 1105332 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.93 s, system=8.17512 s

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

[startup+3610.9 s]
/proc/loadavg: 3.21 3.91 4.02 3/252 40512
/proc/meminfo: memFree=127388592/131250000 swapFree=33007332/33010684
[pid=40173] ppid=40170 vsize=1295328 memory=1105332 CPUtime=3600.08 cores=5,7
/proc/40173/stat : 40173 (CASHWMaxSAT-Dis) R 40170 40173 39242 0 -1 4194304 235845 0 0 0 359193 815 0 0 20 0 1 0 46670739 1326415872 276333 18446744073709551615 4198400 14093885 140725207169552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26509312 140725207177578 140725207177693 140725207177693 140725207183295 0
/proc/40173/statm: 323832 276333 800 2416 0 320934 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1295328 KiB
Current children cumulated memory: 1105332 KiB

Child status: 10

Real time (s): 3610.92
CPU time (s): 3600.11
CPU user time (s): 3591.93
CPU system time (s): 8.17512
CPU usage (%): 99.7006
Max. virtual memory (cumulated for all children) (KiB): 1639204
Max. memory (cumulated for all children) (KiB): 1405404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.93
system time used= 8.17512
maximum resident set size= 1421248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235849
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= 20
involuntary context switches= 5284


# summary of solver processes directly reported to runsolver:
#   pid: 40173
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3591.93
#   total CPU system time (s): 8.17512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70691 second user time and 15.5915 second system time

The end