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: 64059 MiB (58466 MiB free)
  memory of node 1: 64510 MiB (59987 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=897748, runsolver pid=897745

[startup+0.100427 s]*
/proc/loadavg: 4.11 4.09 4.04 5/244 897749
/proc/meminfo: memFree=121283632/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=34092 memory=25012 CPUtime=0.1 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 3965 0 0 0 9 1 0 0 20 0 1 0 173287719 34910208 6253 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 8523 6253 2526 2594 0 5416 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34092 KiB
Current children cumulated memory: 25012 KiB

[startup+0.213226 s]*
/proc/loadavg: 4.11 4.09 4.04 5/244 897749
/proc/meminfo: memFree=121270640/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=45904 memory=37144 CPUtime=0.21 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 7026 0 0 0 20 1 0 0 20 0 1 0 173287719 47005696 9286 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 11476 9286 2654 2594 0 8369 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45904 KiB
Current children cumulated memory: 37144 KiB

[startup+0.312929 s]*
/proc/loadavg: 4.11 4.09 4.04 5/244 897749
/proc/meminfo: memFree=121269856/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=46072 memory=37144 CPUtime=0.31 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 7041 0 0 0 30 1 0 0 20 0 1 0 173287719 47177728 9286 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 11518 9286 2654 2594 0 8411 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46072 KiB
Current children cumulated memory: 37144 KiB

[startup+0.700334 s]
/proc/loadavg: 4.11 4.09 4.04 5/244 897749
/proc/meminfo: memFree=121266028/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=50004 memory=40868 CPUtime=0.68 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 7967 0 0 0 67 1 0 0 20 0 1 0 173287719 51204096 10217 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 12501 10217 2670 2594 0 9394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 40868 KiB

[startup+1.50036 s]
/proc/loadavg: 4.11 4.09 4.04 5/244 897749
/proc/meminfo: memFree=121265864/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=53200 memory=43244 CPUtime=1.48 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 8524 0 0 0 147 1 0 0 20 0 1 0 173287719 54476800 10811 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 13300 10811 2670 2594 0 10193 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53200 KiB
Current children cumulated memory: 43244 KiB

[startup+3.11274 s]
/proc/loadavg: 4.11 4.09 4.04 6/244 897795
/proc/meminfo: memFree=122069268/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=77216 memory=66212 CPUtime=3.09 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 14317 0 0 0 307 2 0 0 20 0 1 0 173287719 79069184 16553 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 19304 16553 2670 2594 0 16197 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77216 KiB
Current children cumulated memory: 66212 KiB

[startup+6.30029 s]
/proc/loadavg: 4.10 4.09 4.04 6/244 897887
/proc/meminfo: memFree=123529936/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=113548 memory=101588 CPUtime=6.27 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 23150 0 0 0 623 4 0 0 20 0 1 0 173287719 116273152 25397 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 28387 25397 2670 2594 0 25280 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 113548 KiB
Current children cumulated memory: 101588 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 4.04 5/244 897889
/proc/meminfo: memFree=123234836/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=141636 memory=126332 CPUtime=12.65 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 30356 0 0 0 1260 5 0 0 20 0 1 0 173287719 145035264 31583 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 35409 31583 2670 2594 0 32302 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141636 KiB
Current children cumulated memory: 126332 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.04 5/244 897890
/proc/meminfo: memFree=123192700/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=143668 memory=130536 CPUtime=25.41 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 31020 0 0 0 2536 5 0 0 20 0 1 0 173287719 147116032 32634 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 35917 32634 2670 2594 0 32810 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 143668 KiB
Current children cumulated memory: 130536 KiB

[startup+51.1125 s]
/proc/loadavg: 4.10 4.09 4.04 5/244 897897
/proc/meminfo: memFree=122904880/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=196864 memory=183916 CPUtime=50.94 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 43160 0 0 0 5087 7 0 0 20 0 1 0 173287719 201588736 45979 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 49216 45979 2670 2594 0 46109 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 196864 KiB
Current children cumulated memory: 183916 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.05 5/241 897906
/proc/meminfo: memFree=122776292/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=225508 memory=212872 CPUtime=101.99 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 52148 0 0 0 10191 8 0 0 20 0 1 0 173287719 230920192 53218 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 56377 53218 2670 2594 0 53270 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 225508 KiB
Current children cumulated memory: 212872 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.05 6/241 897916
/proc/meminfo: memFree=122634300/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=228156 memory=214940 CPUtime=161.86 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 53884 0 0 0 16177 9 0 0 20 0 1 0 173287719 233631744 53735 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 57039 53735 2670 2594 0 53932 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 228156 KiB
Current children cumulated memory: 214940 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/241 897927
/proc/meminfo: memFree=122553152/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=272364 memory=254524 CPUtime=221.71 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 65297 0 0 0 22161 10 0 0 20 0 1 0 173287719 278900736 63631 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 68091 63631 2670 2594 0 64984 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 272364 KiB
Current children cumulated memory: 254524 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/241 897938
/proc/meminfo: memFree=122487036/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=287008 memory=266076 CPUtime=281.57 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 68268 0 0 0 28146 11 0 0 20 0 1 0 173287719 293896192 66519 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 71752 66519 2670 2594 0 68645 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 287008 KiB
Current children cumulated memory: 266076 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/243 897953
/proc/meminfo: memFree=122464868/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=290788 memory=267220 CPUtime=341.42 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 69992 0 0 0 34131 11 0 0 20 0 1 0 173287719 297766912 66805 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 72697 66805 2670 2594 0 69590 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 290788 KiB
Current children cumulated memory: 267220 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/243 897963
/proc/meminfo: memFree=122445144/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=294020 memory=268332 CPUtime=401.28 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 70411 0 0 0 40117 11 0 0 20 0 1 0 173287719 301076480 67083 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 73505 67083 2670 2594 0 70398 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 294020 KiB
Current children cumulated memory: 268332 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.15 4.08 5/244 897975
/proc/meminfo: memFree=122441376/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=295208 memory=268528 CPUtime=461.15 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 70564 0 0 0 46103 12 0 0 20 0 1 0 173287719 302292992 67132 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 73802 67132 2670 2594 0 70695 0

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

Current children cumulated memory: 431468 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/245 899586
/proc/meminfo: memFree=122100796/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431468 CPUtime=2855.63 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 111814 0 0 0 285544 19 0 0 20 0 1 0 173287719 453152768 107867 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107867 2670 2594 0 107526 0
Current children cumulated CPU time: 2855.63 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431468 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 899597
/proc/meminfo: memFree=122100420/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431584 CPUtime=2915.49 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 112021 0 0 0 291530 19 0 0 20 0 1 0 173287719 453152768 107896 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107896 2670 2594 0 107526 0
Current children cumulated CPU time: 2915.49 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431584 KiB

[startup+2982.3 s]
/proc/loadavg: 4.27 4.14 4.11 5/244 899608
/proc/meminfo: memFree=122098176/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431584 CPUtime=2975.35 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 112200 0 0 0 297516 19 0 0 20 0 1 0 173287719 453152768 107896 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107896 2670 2594 0 107526 0
Current children cumulated CPU time: 2975.35 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431584 KiB

[startup+3042.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/244 899618
/proc/meminfo: memFree=122098048/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431584 CPUtime=3035.21 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 112381 0 0 0 303502 19 0 0 20 0 1 0 173287719 453152768 107896 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107896 2670 2594 0 107526 0
Current children cumulated CPU time: 3035.21 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431584 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.17 4.11 6/242 899629
/proc/meminfo: memFree=122097220/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431824 CPUtime=3095.08 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 112625 0 0 0 309489 19 0 0 20 0 1 0 173287719 453152768 107956 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107956 2670 2594 0 107526 0
Current children cumulated CPU time: 3095.08 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431824 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/242 899639
/proc/meminfo: memFree=122096952/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431824 CPUtime=3154.94 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 112800 0 0 0 315475 19 0 0 20 0 1 0 173287719 453152768 107956 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107956 2670 2594 0 107526 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/242 899649
/proc/meminfo: memFree=122095244/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431832 CPUtime=3214.8 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 112983 0 0 0 321461 19 0 0 20 0 1 0 173287719 453152768 107958 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107958 2670 2594 0 107526 0
Current children cumulated CPU time: 3214.8 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/241 899660
/proc/meminfo: memFree=122090728/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431832 CPUtime=3274.66 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 113164 0 0 0 327447 19 0 0 20 0 1 0 173287719 453152768 107958 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107958 2670 2594 0 107526 0
Current children cumulated CPU time: 3274.66 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/243 899674
/proc/meminfo: memFree=122090384/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431832 CPUtime=3334.52 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 113345 0 0 0 333433 19 0 0 20 0 1 0 173287719 453152768 107958 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107958 2670 2594 0 107526 0
Current children cumulated CPU time: 3334.52 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/243 899684
/proc/meminfo: memFree=122090148/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431832 CPUtime=3394.38 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 113524 0 0 0 339419 19 0 0 20 0 1 0 173287719 453152768 107958 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107958 2670 2594 0 107526 0
Current children cumulated CPU time: 3394.38 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.16 4.11 6/243 899695
/proc/meminfo: memFree=122089844/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442532 memory=431832 CPUtime=3454.24 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 113704 0 0 0 345405 19 0 0 20 0 1 0 173287719 453152768 107958 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110633 107958 2670 2594 0 107526 0
Current children cumulated CPU time: 3454.24 s
Current children cumulated vsize: 442532 KiB
Current children cumulated memory: 431832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.77 4.33 4.17 5/243 899705
/proc/meminfo: memFree=122088064/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442504 memory=433168 CPUtime=3514.11 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 115146 0 0 0 351391 20 0 0 20 0 1 0 173287719 453124096 108292 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110626 108292 2670 2594 0 107519 0
Current children cumulated CPU time: 3514.11 s
Current children cumulated vsize: 442504 KiB
Current children cumulated memory: 433168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.28 4.16 5/243 899716
/proc/meminfo: memFree=122087764/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=442504 memory=433244 CPUtime=3573.97 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 115343 0 0 0 357377 20 0 0 20 0 1 0 173287719 453124096 108311 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 110626 108311 2670 2594 0 107519 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 442504 KiB
Current children cumulated memory: 433244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.29 4.27 4.16 5/243 899719
/proc/meminfo: memFree=122347300/131655788 swapFree=131071996/131071996
[pid=897748] ppid=897745 vsize=306992 memory=300028 CPUtime=3600 cores=4,6
/proc/897748/stat : 897748 (CASHWMaxSAT-Dis) R 897745 897748 895751 0 -1 4194304 115381 0 0 0 359979 21 0 0 20 0 1 0 173287719 314359808 75007 134679101440 4194304 14817773 140730312458960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 51556352 140730312467428 140730312467543 140730312467543 140730312474559 0
/proc/897748/statm: 76748 75007 2670 2594 0 73641 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 306992 KiB
Current children cumulated memory: 300028 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.8 s, system=0.220353 s

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

Child status: 10

Real time (s): 3608.4
CPU time (s): 3600.02
CPU user time (s): 3599.8
CPU system time (s): 0.220353
CPU usage (%): 99.7678
Max. virtual memory (cumulated for all children) (KiB): 442532
Max. memory (cumulated for all children) (KiB): 433244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.8
system time used= 0.220353
maximum resident set size= 436824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115384
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= 61
involuntary context switches= 1632


# summary of solver processes directly reported to runsolver:
#   pid: 897748
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.8
#   total CPU system time (s): 0.220353

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2963 second user time and 30.5016 second system time

The end