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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459563-1721885624/watcher-4459563-1721885624 -o /tmp/evaluation-result-4459563-1721885624/solver-4459563-1721885624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721875910-264523 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4459563-1721885624.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=270631, runsolver pid=270628
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.04 4.08 4.09 5/253 270632
/proc/meminfo: memFree=107132872/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=53632 memory=42904 CPUtime=0.1 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 9337 0 0 0 9 1 0 0 20 0 1 0 25090635 54919168 10726 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 13408 10726 2302 2594 0 10301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53632 KiB
Current children cumulated memory: 42904 KiB

[startup+0.205675 s]*
/proc/loadavg: 4.04 4.08 4.09 5/253 270632
/proc/meminfo: memFree=107070880/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=114132 memory=103372 CPUtime=0.2 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 24327 0 0 0 17 3 0 0 20 0 1 0 25090635 116871168 25843 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 28533 25843 2446 2594 0 25426 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114132 KiB
Current children cumulated memory: 103372 KiB

[startup+0.305696 s]*
/proc/loadavg: 4.04 4.08 4.09 5/253 270632
/proc/meminfo: memFree=107035796/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=149072 memory=136144 CPUtime=0.3 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 32457 0 0 0 25 5 0 0 20 0 1 0 25090635 152649728 34036 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 37268 34036 2526 2594 0 34161 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149072 KiB
Current children cumulated memory: 136144 KiB

[startup+0.700232 s]
/proc/loadavg: 4.04 4.08 4.09 5/253 270632
/proc/meminfo: memFree=107006164/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=188380 memory=176264 CPUtime=0.68 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 42440 0 0 0 62 6 0 0 20 0 1 0 25090635 192901120 44066 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 47095 44066 2542 2594 0 43988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188380 KiB
Current children cumulated memory: 176264 KiB

[startup+1.5002 s]
/proc/loadavg: 4.04 4.08 4.09 5/253 270632
/proc/meminfo: memFree=106990036/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=195492 memory=183132 CPUtime=1.49 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 44205 0 0 0 142 7 0 0 20 0 1 0 25090635 200183808 45783 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 48873 45783 2558 2594 0 45766 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195492 KiB
Current children cumulated memory: 183132 KiB

[startup+3.10568 s]
/proc/loadavg: 4.04 4.08 4.09 5/253 270633
/proc/meminfo: memFree=106983692/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=201380 memory=188676 CPUtime=3.08 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 45557 0 0 0 301 7 0 0 20 0 1 0 25090635 206213120 47169 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 50345 47169 2558 2594 0 47238 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 201380 KiB
Current children cumulated memory: 188676 KiB

[startup+6.30018 s]
/proc/loadavg: 4.04 4.08 4.08 5/253 270633
/proc/meminfo: memFree=106973696/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=211256 memory=198444 CPUtime=6.26 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 48010 0 0 0 618 8 0 0 20 0 1 0 25090635 216326144 49611 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 52814 49611 2558 2594 0 49707 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 211256 KiB
Current children cumulated memory: 198444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.08 4.08 5/253 270635
/proc/meminfo: memFree=106958328/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=228636 memory=215824 CPUtime=12.63 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 52340 0 0 0 1253 10 0 0 20 0 1 0 25090635 234123264 53956 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 57159 53956 2558 2594 0 54052 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 228636 KiB
Current children cumulated memory: 215824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.07 4.08 5/253 270636
/proc/meminfo: memFree=106932388/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=253008 memory=240220 CPUtime=25.38 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 58478 0 0 0 2525 13 0 0 20 0 1 0 25090635 259080192 60055 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 63252 60055 2558 2594 0 60145 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 253008 KiB
Current children cumulated memory: 240220 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.08 4.09 5/253 270639
/proc/meminfo: memFree=106916440/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=268092 memory=255260 CPUtime=50.87 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 62260 0 0 0 5072 15 0 0 20 0 1 0 25090635 274526208 63815 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 67023 63815 2558 2594 0 63916 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 268092 KiB
Current children cumulated memory: 255260 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 270650
/proc/meminfo: memFree=106768360/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=492260 memory=402948 CPUtime=101.86 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 99755 0 0 0 10162 24 0 0 20 0 1 0 25090635 504074240 100737 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 123065 100737 2670 2594 0 119958 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 492260 KiB
Current children cumulated memory: 402948 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/252 270662
/proc/meminfo: memFree=106710276/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=549160 memory=460660 CPUtime=161.61 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 114165 0 0 0 16133 28 0 0 20 0 1 0 25090635 562339840 115165 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 137290 115165 2670 2594 0 134183 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 549160 KiB
Current children cumulated memory: 460660 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 270673
/proc/meminfo: memFree=106543520/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=638376 memory=524244 CPUtime=221.38 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 134674 0 0 0 22105 33 0 0 20 0 1 0 25090635 653697024 131061 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 159594 131061 2670 2594 0 156487 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 638376 KiB
Current children cumulated memory: 524244 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 270683
/proc/meminfo: memFree=106514636/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=726900 memory=552724 CPUtime=281.14 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 140303 0 0 0 28079 35 0 0 20 0 1 0 25090635 744345600 138181 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 181725 138181 2670 2594 0 178618 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 726900 KiB
Current children cumulated memory: 552724 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 270693
/proc/meminfo: memFree=106498488/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=767992 memory=568596 CPUtime=340.89 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 144350 0 0 0 34052 37 0 0 20 0 1 0 25090635 786423808 142149 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 191998 142149 2670 2594 0 188891 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 767992 KiB
Current children cumulated memory: 568596 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 270708
/proc/meminfo: memFree=106428660/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=847328 memory=637432 CPUtime=400.65 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 161544 0 0 0 40024 41 0 0 20 0 1 0 25090635 867663872 159358 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 211832 159358 2670 2594 0 208725 0
Current children cumulated CPU time: 400.65 s
Current children cumulated vsize: 847328 KiB
Current children cumulated memory: 637432 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 270720
/proc/meminfo: memFree=106428044/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=847328 memory=637860 CPUtime=460.39 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 161670 0 0 0 45997 42 0 0 20 0 1 0 25090635 867663872 159465 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 211832 159465 2670 2594 0 208725 0

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

Current children cumulated memory: 1189740 KiB

[startup+2862.3 s]
/proc/loadavg: 1.09 1.11 1.54 2/232 271828
/proc/meminfo: memFree=109604168/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=2852.64 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 276395 0 0 0 285183 81 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 2852.64 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+2922.3 s]
/proc/loadavg: 1.15 1.12 1.51 2/232 271840
/proc/meminfo: memFree=109603980/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=2912.47 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 276531 0 0 0 291166 81 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 2912.47 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+2982.3 s]
/proc/loadavg: 1.11 1.11 1.48 2/232 271850
/proc/meminfo: memFree=109603864/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=2972.3 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 276701 0 0 0 297149 81 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 2972.3 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.10 1.45 2/232 271860
/proc/meminfo: memFree=109603508/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=3032.14 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 276796 0 0 0 303132 82 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 3032.14 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3102.3 s]
/proc/loadavg: 1.13 1.11 1.44 2/231 272255
/proc/meminfo: memFree=109602144/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=3091.97 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 277046 0 0 0 309115 82 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 3091.97 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3162.3 s]
/proc/loadavg: 1.05 1.09 1.41 2/231 272265
/proc/meminfo: memFree=109602336/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=3151.8 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 277211 0 0 0 315098 82 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.10 1.39 2/231 272276
/proc/meminfo: memFree=109602340/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=3211.63 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 277347 0 0 0 321081 82 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 3211.63 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.10 1.37 2/233 272457
/proc/meminfo: memFree=109601660/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=3271.46 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 277533 0 0 0 327064 82 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 3271.46 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.09 1.35 2/233 272467
/proc/meminfo: memFree=109601720/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1199980 CPUtime=3331.3 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 277669 0 0 0 333047 83 0 0 20 0 1 0 25090635 1341120512 299995 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 299995 2718 2594 0 324315 0
Current children cumulated CPU time: 3331.3 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1199980 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.10 1.34 2/236 272538
/proc/meminfo: memFree=109574244/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1226604 CPUtime=3391.13 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 277929 0 0 0 339029 84 0 0 20 0 1 0 25090635 1341120512 306651 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 306651 2718 2594 0 324315 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1226604 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.11 1.32 2/235 272548
/proc/meminfo: memFree=109573988/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1226604 CPUtime=3450.96 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 278091 0 0 0 345012 84 0 0 20 0 1 0 25090635 1341120512 306651 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 306651 2718 2594 0 324315 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1226604 KiB

[startup+3522.3 s]
/proc/loadavg: 1.17 1.12 1.31 2/235 272560
/proc/meminfo: memFree=109573912/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1226604 CPUtime=3510.78 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 278265 0 0 0 350994 84 0 0 20 0 1 0 25090635 1341120512 306651 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 306651 2718 2594 0 324315 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1226604 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.11 1.29 2/233 272570
/proc/meminfo: memFree=109573368/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1226604 CPUtime=3570.61 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 278412 0 0 0 356977 84 0 0 20 0 1 0 25090635 1341120512 306651 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 306651 2718 2594 0 324315 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1226604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 1.14 1.12 1.29 2/233 272575
/proc/meminfo: memFree=109573308/131524600 swapFree=131063756/131071996
[pid=270631] ppid=270628 vsize=1309688 memory=1226604 CPUtime=3600.03 cores=0,2
/proc/270631/stat : 270631 (CASHWMaxSAT-Dis) R 270628 270631 264513 0 -1 4194304 278452 0 0 0 359919 84 0 0 20 0 1 0 25090635 1341120512 306651 134679101440 4194304 14817773 140725101227200 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54046720 140725101233129 140725101233244 140725101233244 140725101240255 0
/proc/270631/statm: 327422 306651 2718 2594 0 324315 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1226604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.19 s, system=0.850889 s

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

Child status: 10

Real time (s): 3611.8
CPU time (s): 3600.04
CPU user time (s): 3599.19
CPU system time (s): 0.850889
CPU usage (%): 99.6744
Max. virtual memory (cumulated for all children) (KiB): 1485956
Max. memory (cumulated for all children) (KiB): 1229024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.850889
maximum resident set size= 1233692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278454
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= 81
involuntary context switches= 24688


# summary of solver processes directly reported to runsolver:
#   pid: 270631
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.19
#   total CPU system time (s): 0.850889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5761 second user time and 14.7481 second system time

The end