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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458862-1721883156/watcher-4458862-1721883156 -o /tmp/evaluation-result-4458862-1721883156/solver-4458862-1721883156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721875930-265221 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4458862-1721883156.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=269511, runsolver pid=269508

[startup+0.100162 s]*
/proc/loadavg: 4.06 4.12 4.10 6/254 269512
/proc/meminfo: memFree=119404940/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=39856 memory=20736 CPUtime=0.09 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 3963 0 0 0 9 0 0 0 20 0 1 0 24843899 40812544 5184 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 9964 5184 794 2550 0 6919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39856 KiB
Current children cumulated memory: 20736 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.06 4.12 4.10 6/254 269512
/proc/meminfo: memFree=119388312/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=48048 memory=26884 CPUtime=0.2 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 4483 0 0 0 19 1 0 0 20 0 1 0 24843899 49201152 6721 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 12012 6721 794 2550 0 8967 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48048 KiB
Current children cumulated memory: 26884 KiB

[startup+0.305713 s]*
/proc/loadavg: 4.06 4.12 4.10 6/254 269512
/proc/meminfo: memFree=119339684/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=100344 memory=66528 CPUtime=0.3 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 7312 0 0 0 28 2 0 0 20 0 1 0 24843899 102752256 16632 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 25086 16632 794 2550 0 22041 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100344 KiB
Current children cumulated memory: 66528 KiB

[startup+0.700231 s]
/proc/loadavg: 4.06 4.12 4.10 6/254 269512
/proc/meminfo: memFree=119169860/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=153152 memory=119996 CPUtime=0.68 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 13647 0 0 0 65 3 0 0 20 0 1 0 24843899 156827648 29999 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 38288 29999 922 2550 0 35243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153152 KiB
Current children cumulated memory: 119996 KiB

[startup+1.50022 s]
/proc/loadavg: 4.05 4.12 4.10 6/254 269512
/proc/meminfo: memFree=118971032/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=290676 memory=264600 CPUtime=1.49 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 47019 0 0 0 141 8 0 0 20 0 1 0 24843899 297652224 66150 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 72669 66150 1738 2550 0 69624 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 290676 KiB
Current children cumulated memory: 264600 KiB

[startup+3.10573 s]
/proc/loadavg: 4.05 4.12 4.10 6/254 269513
/proc/meminfo: memFree=118006344/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=621660 memory=595812 CPUtime=3.08 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 129098 0 0 0 289 19 0 0 20 0 1 0 24843899 636579840 148953 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 155415 148953 2490 2550 0 152370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 621660 KiB
Current children cumulated memory: 595812 KiB

[startup+6.3002 s]
/proc/loadavg: 4.05 4.11 4.10 6/254 269513
/proc/meminfo: memFree=117098944/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1146952 memory=1086148 CPUtime=6.28 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 166065 0 0 0 597 31 0 0 20 0 1 0 24843899 1174478848 271537 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 286738 271537 2586 2550 0 283693 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1146952 KiB
Current children cumulated memory: 1086148 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.10 6/254 269561
/proc/meminfo: memFree=117260468/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1146952 memory=1086464 CPUtime=12.65 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 166151 0 0 0 1234 31 0 0 20 0 1 0 24843899 1174478848 271616 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 286738 271616 2618 2550 0 283693 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1146952 KiB
Current children cumulated memory: 1086464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.10 6/254 269562
/proc/meminfo: memFree=117237272/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1146952 memory=1087064 CPUtime=25.4 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 166352 0 0 0 2508 32 0 0 20 0 1 0 24843899 1174478848 271766 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 286738 271766 2618 2550 0 283693 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1146952 KiB
Current children cumulated memory: 1087064 KiB

[startup+51.106 s]
/proc/loadavg: 4.06 4.11 4.09 6/254 269566
/proc/meminfo: memFree=117218052/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1149812 memory=1090208 CPUtime=50.91 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 167116 0 0 0 5058 33 0 0 20 0 1 0 24843899 1177407488 272552 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 287453 272552 2634 2550 0 284408 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1149812 KiB
Current children cumulated memory: 1090208 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.10 6/254 269576
/proc/meminfo: memFree=117031168/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1150692 memory=1090752 CPUtime=101.9 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 167306 0 0 0 10156 34 0 0 20 0 1 0 24843899 1178308608 272688 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 287673 272688 2634 2550 0 284628 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1150692 KiB
Current children cumulated memory: 1090752 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 269587
/proc/meminfo: memFree=117013436/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1154984 memory=1092268 CPUtime=161.66 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 167748 0 0 0 16131 35 0 0 20 0 1 0 24843899 1182703616 273067 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 288746 273067 2634 2550 0 285701 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1154984 KiB
Current children cumulated memory: 1092268 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.10 6/253 269983
/proc/meminfo: memFree=117081372/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1190600 memory=1114008 CPUtime=221.43 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 172656 0 0 0 22105 38 0 0 20 0 1 0 24843899 1219174400 278502 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 297650 278502 2666 2550 0 294605 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 1190600 KiB
Current children cumulated memory: 1114008 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/253 269995
/proc/meminfo: memFree=117073860/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1190600 memory=1114008 CPUtime=281.2 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 172691 0 0 0 28082 38 0 0 20 0 1 0 24843899 1219174400 278502 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 297650 278502 2666 2550 0 294605 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 1190600 KiB
Current children cumulated memory: 1114008 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.10 6/253 270007
/proc/meminfo: memFree=117064232/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1190600 memory=1114008 CPUtime=340.97 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 172709 0 0 0 34058 39 0 0 20 0 1 0 24843899 1219174400 278502 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 297650 278502 2666 2550 0 294605 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 1190600 KiB
Current children cumulated memory: 1114008 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/255 270187
/proc/meminfo: memFree=116959576/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1373356 memory=1293404 CPUtime=400.73 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 217621 0 0 0 40027 46 0 0 20 0 1 0 24843899 1406316544 323351 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 343339 323351 2666 2550 0 340294 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 1373356 KiB
Current children cumulated memory: 1293404 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/255 270197
/proc/meminfo: memFree=116947060/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=1248228 memory=1171976 CPUtime=460.5 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 217665 0 0 0 46002 48 0 0 20 0 1 0 24843899 1278185472 292994 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 312057 292994 2666 2550 0 309012 0

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

Current children cumulated memory: 887324 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/253 271418
/proc/meminfo: memFree=108468680/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=2852.92 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 221848 0 0 0 285226 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 2852.92 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/255 271433
/proc/meminfo: memFree=108354804/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=2912.73 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 221925 0 0 0 291207 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 2912.73 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.14 6/255 271447
/proc/meminfo: memFree=108325388/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=2972.53 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222004 0 0 0 297187 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 2972.53 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.13 6/255 271457
/proc/meminfo: memFree=108350460/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3032.34 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222079 0 0 0 303168 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.12 6/254 271468
/proc/meminfo: memFree=108296848/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3092.15 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222154 0 0 0 309149 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3092.15 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.12 6/254 271479
/proc/meminfo: memFree=108208324/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3151.96 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222229 0 0 0 315130 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.12 6/252 271489
/proc/meminfo: memFree=108211032/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3211.77 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222310 0 0 0 321111 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.11 6/252 271499
/proc/meminfo: memFree=108154400/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3271.58 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222395 0 0 0 327092 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.11 6/252 271510
/proc/meminfo: memFree=108115148/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3331.39 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222485 0 0 0 333073 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.10 6/252 271521
/proc/meminfo: memFree=107974028/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3391.2 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222569 0 0 0 339054 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.10 6/253 271532
/proc/meminfo: memFree=107996444/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3451.01 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222654 0 0 0 345035 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/255 271546
/proc/meminfo: memFree=108042276/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3510.81 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222742 0 0 0 351015 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/255 271558
/proc/meminfo: memFree=108031616/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3570.62 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222829 0 0 0 356996 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.10 4.09 4.09 6/255 271561
/proc/meminfo: memFree=107941756/131524600 swapFree=131068900/131071996
[pid=269511] ppid=269508 vsize=923172 memory=887324 CPUtime=3600.03 cores=1,3
/proc/269511/stat : 269511 (CASHWMaxSAT-Dis) R 269508 269511 265209 0 -1 4194304 222865 0 0 0 359937 66 0 0 20 0 1 0 24843899 945328128 221831 134679101440 4194304 14636349 140730018587120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22204416 140730018595815 140730018595931 140730018595931 140730018602942 0
/proc/269511/statm: 230793 221831 2666 2550 0 227748 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 923172 KiB
Current children cumulated memory: 887324 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.38 s, system=0.667925 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.38
CPU system time (s): 0.667925
CPU usage (%): 99.6744
Max. virtual memory (cumulated for all children) (KiB): 1373356
Max. memory (cumulated for all children) (KiB): 1293404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.38
system time used= 0.667925
maximum resident set size= 1293404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222868
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= 36
involuntary context switches= 1272


# summary of solver processes directly reported to runsolver:
#   pid: 269511
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.38
#   total CPU system time (s): 0.667925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03096 second user time and 17.3591 second system time

The end