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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439280-1721232507/watcher-4439280-1721232507 -o /tmp/evaluation-result-4439280-1721232507/solver-4439280-1721232507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721232520-917476 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439280-1721232507.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=917507, runsolver pid=917504
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 2.77 3.06 3.26 5/249 917530
/proc/meminfo: memFree=128863424/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=33564 memory=19104 CPUtime=0.1 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 4049 0 0 0 10 0 0 0 20 0 1 0 175421598 34369536 4776 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 8391 4776 878 2594 0 5284 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33564 KiB
Current children cumulated memory: 19104 KiB

[startup+0.205904 s]*
/proc/loadavg: 2.77 3.06 3.26 5/254 917539
/proc/meminfo: memFree=128781476/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=47020 memory=32708 CPUtime=0.2 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 7430 0 0 0 19 1 0 0 20 0 1 0 175421598 48148480 8177 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 11755 8177 926 2594 0 8648 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47020 KiB
Current children cumulated memory: 32708 KiB

[startup+0.305458 s]*
/proc/loadavg: 2.77 3.06 3.26 5/254 917539
/proc/meminfo: memFree=128742516/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=47020 memory=32708 CPUtime=0.3 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 7430 0 0 0 29 1 0 0 20 0 1 0 175421598 48148480 8177 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 11755 8177 926 2594 0 8648 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47020 KiB
Current children cumulated memory: 32708 KiB

[startup+0.700218 s]
/proc/loadavg: 2.77 3.06 3.26 5/254 917539
/proc/meminfo: memFree=128626196/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=47020 memory=32708 CPUtime=0.69 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 7430 0 0 0 68 1 0 0 20 0 1 0 175421598 48148480 8177 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 11755 8177 926 2594 0 8648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47020 KiB
Current children cumulated memory: 32708 KiB

[startup+1.50749 s]
/proc/loadavg: 2.77 3.06 3.26 5/254 917539
/proc/meminfo: memFree=128314480/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=112580 memory=97580 CPUtime=1.49 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 16493 0 0 0 146 3 0 0 20 0 1 0 175421598 115281920 24395 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 28145 24395 926 2594 0 25038 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 97580 KiB

[startup+3.10547 s]
/proc/loadavg: 2.77 3.06 3.26 5/254 917540
/proc/meminfo: memFree=127242208/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=196184 memory=168340 CPUtime=3.09 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 25754 0 0 0 303 6 0 0 20 0 1 0 175421598 200892416 42085 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 49046 42085 926 2594 0 45939 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 196184 KiB
Current children cumulated memory: 168340 KiB

[startup+6.30022 s]
/proc/loadavg: 2.95 3.09 3.27 5/254 917540
/proc/meminfo: memFree=125708372/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=372384 memory=326668 CPUtime=6.26 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 41609 0 0 0 615 11 0 0 20 0 1 0 175421598 381321216 81667 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 93096 81667 926 2594 0 89989 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 372384 KiB
Current children cumulated memory: 326668 KiB

[startup+12.7002 s]
/proc/loadavg: 3.03 3.11 3.28 5/254 917542
/proc/meminfo: memFree=121617432/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2209872 memory=2074960 CPUtime=12.64 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 250124 0 0 0 1196 68 0 0 20 0 1 0 175421598 2262908928 518740 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 552468 518740 974 2594 0 549361 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2209872 KiB
Current children cumulated memory: 2074960 KiB

[startup+25.5003 s]
/proc/loadavg: 3.25 3.15 3.29 5/254 917543
/proc/meminfo: memFree=119335104/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2220172 memory=2085300 CPUtime=25.4 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 252804 0 0 0 2471 69 0 0 20 0 1 0 175421598 2273456128 521325 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 555043 521325 974 2594 0 551936 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2220172 KiB
Current children cumulated memory: 2085300 KiB

[startup+51.1057 s]
/proc/loadavg: 3.57 3.24 3.31 5/254 917546
/proc/meminfo: memFree=116401640/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2221760 memory=2086980 CPUtime=50.9 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 253443 0 0 0 5021 69 0 0 20 0 1 0 175421598 2275082240 521745 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 555440 521745 974 2594 0 552333 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2221760 KiB
Current children cumulated memory: 2086980 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 3.37 3.36 5/256 917560
/proc/meminfo: memFree=116076288/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2228248 memory=2093500 CPUtime=101.9 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 255419 0 0 0 10120 70 0 0 20 0 1 0 175421598 2281725952 523375 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 557062 523375 974 2594 0 553955 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 2228248 KiB
Current children cumulated memory: 2093500 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.50 3.40 5/256 917571
/proc/meminfo: memFree=115542496/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2238312 memory=2104312 CPUtime=161.68 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 258398 0 0 0 16096 72 0 0 20 0 1 0 175421598 2292031488 526078 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 559578 526078 974 2594 0 556471 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 2104312 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.63 3.46 5/256 917582
/proc/meminfo: memFree=116009788/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2250164 memory=2112880 CPUtime=221.44 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 259761 0 0 0 22071 73 0 0 20 0 1 0 175421598 2304167936 528220 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 562541 528220 990 2594 0 559434 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 2250164 KiB
Current children cumulated memory: 2112880 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.71 3.50 5/257 917593
/proc/meminfo: memFree=116011120/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2251952 memory=2116632 CPUtime=281.22 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 260549 0 0 0 28048 74 0 0 20 0 1 0 175421598 2305998848 529158 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 562988 529158 990 2594 0 559881 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 2251952 KiB
Current children cumulated memory: 2116632 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.80 3.54 5/257 917604
/proc/meminfo: memFree=116173316/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2254196 memory=2118680 CPUtime=340.99 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 261374 0 0 0 34024 75 0 0 20 0 1 0 175421598 2308296704 529670 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 563549 529670 990 2594 0 560442 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 2254196 KiB
Current children cumulated memory: 2118680 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 3.87 3.58 5/257 917614
/proc/meminfo: memFree=116015820/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2255732 memory=2119860 CPUtime=400.78 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 262123 0 0 0 40002 76 0 0 20 0 1 0 175421598 2309869568 529965 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 563933 529965 990 2594 0 560826 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 2255732 KiB
Current children cumulated memory: 2119860 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.91 3.62 5/255 917624
/proc/meminfo: memFree=116026080/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=2256736 memory=2120732 CPUtime=460.58 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 262744 0 0 0 45981 77 0 0 20 0 1 0 175421598 2310897664 530183 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 564184 530183 990 2594 0 561077 0

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

Current children cumulated memory: 5895504 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 919061
/proc/meminfo: memFree=111669752/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895504 CPUtime=2852.4 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1141887 0 0 0 284771 469 0 0 20 0 1 0 175421598 6271401984 1473876 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473876 1006 2594 0 1527997 0
Current children cumulated CPU time: 2852.4 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895504 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 919071
/proc/meminfo: memFree=111704588/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895504 CPUtime=2912.22 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1143291 0 0 0 290750 472 0 0 20 0 1 0 175421598 6271401984 1473876 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473876 1006 2594 0 1527997 0
Current children cumulated CPU time: 2912.22 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 919253
/proc/meminfo: memFree=111701784/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895504 CPUtime=2972.02 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1144885 0 0 0 296729 473 0 0 20 0 1 0 175421598 6271401984 1473876 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473876 1006 2594 0 1527997 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895504 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 919263
/proc/meminfo: memFree=111683648/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895504 CPUtime=3031.82 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1146202 0 0 0 302708 474 0 0 20 0 1 0 175421598 6271401984 1473876 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473876 1006 2594 0 1527997 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895504 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/259 919276
/proc/meminfo: memFree=111652196/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895504 CPUtime=3091.62 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1147467 0 0 0 308686 476 0 0 20 0 1 0 175421598 6271401984 1473876 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473876 1006 2594 0 1527997 0
Current children cumulated CPU time: 3091.62 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 919298
/proc/meminfo: memFree=111680268/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3151.42 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1149056 0 0 0 314664 478 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3151.42 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 919309
/proc/meminfo: memFree=111677056/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3211.23 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1150122 0 0 0 320643 480 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3211.23 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 919319
/proc/meminfo: memFree=111663000/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3271.03 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1151558 0 0 0 326621 482 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 919330
/proc/meminfo: memFree=111606888/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3330.84 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1153363 0 0 0 332601 483 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/254 919341
/proc/meminfo: memFree=111669536/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3390.64 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1154697 0 0 0 338579 485 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 919351
/proc/meminfo: memFree=111667012/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3450.44 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1155984 0 0 0 344558 486 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3450.44 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 919361
/proc/meminfo: memFree=111679984/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3510.24 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1157386 0 0 0 350536 488 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3510.24 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 919372
/proc/meminfo: memFree=111661552/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3570.05 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1158705 0 0 0 356515 490 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3570.05 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/246 919474
/proc/meminfo: memFree=122552460/131524600 swapFree=131071996/131071996
[pid=917507] ppid=917504 vsize=6124416 memory=5895508 CPUtime=3600.05 cores=0,2
/proc/917507/stat : 917507 (CASHWMaxSAT-Dis) R 917504 917507 917466 0 -1 4194304 1159366 0 0 0 359514 491 0 0 20 0 1 0 175421598 6271401984 1473877 134679101440 4194304 14817773 140723726209760 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 26861568 140723726218212 140723726218327 140723726218327 140723726225343 0
/proc/917507/statm: 1531104 1473877 1006 2594 0 1527997 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6124416 KiB
Current children cumulated memory: 5895508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.15 s, system=5.00351 s

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

Child status: 10

Real time (s): 3612.49
CPU time (s): 3600.15
CPU user time (s): 3595.15
CPU system time (s): 5.00351
CPU usage (%): 99.6583
Max. virtual memory (cumulated for all children) (KiB): 8607792
Max. memory (cumulated for all children) (KiB): 7791524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.15
system time used= 5.00351
maximum resident set size= 7791524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1159369
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= 199
involuntary context switches= 24675


# summary of solver processes directly reported to runsolver:
#   pid: 917507
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3595.15
#   total CPU system time (s): 5.00351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17984 second user time and 18.2402 second system time

The end