Trace number 4455071

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat nolog (2)OPT344750 1.41545 1.42636

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
MD5SUM848e47deac6a47526073146630130ada
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark344750
Best CPU time to get the best result obtained on this benchmark0.02447
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables90
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint15
Maximum length of a constraint90
Number of terms in the objective function 90
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 15032909794
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 15032909794
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 90 #constraints 6
0.00/0.00	c bounds - >= 0 @ 0
0.00/0.00	c rational objective 344747
0.00/0.05	c bounds 357367 >= 0 @ 0.002023
0.00/0.05	c bounds 357367 >= 73728 @ 0.002023
0.00/0.05	c bounds 357367 >= 131072 @ 0.002023
0.00/0.05	c bounds 357367 >= 147456 @ 0.00204
0.00/0.05	c bounds 357367 >= 155648 @ 0.002202
0.00/0.05	c bounds 357367 >= 157696 @ 0.002375
0.00/0.05	c bounds 357358 >= 157696 @ 0.002552
0.00/0.05	c bounds 357358 >= 163840 @ 0.002845
0.00/0.05	c bounds 357358 >= 172032 @ 0.002986
0.00/0.05	c bounds 356782 >= 172032 @ 0.00302
0.00/0.05	c bounds 356782 >= 174080 @ 0.00302
0.00/0.05	c bounds 356782 >= 176128 @ 0.00302
0.00/0.05	c bounds 356764 >= 176128 @ 0.003359
0.00/0.05	c bounds 356764 >= 176136 @ 0.004063
0.00/0.05	c bounds 354716 >= 176136 @ 0.004367
0.00/0.05	c bounds 354680 >= 176136 @ 0.005008
0.00/0.05	c bounds 354680 >= 176138 @ 0.005008
0.00/0.05	c bounds 354680 >= 176141 @ 0.00502
0.00/0.05	c bounds 354608 >= 176141 @ 0.005307
0.00/0.05	c bounds 354608 >= 188416 @ 0.005509
0.00/0.05	c bounds 354608 >= 202752 @ 0.00576
0.00/0.05	c bounds 354608 >= 208883 @ 0.00595
0.00/0.05	c bounds 354608 >= 210931 @ 0.00618
0.00/0.05	c bounds 354464 >= 210931 @ 0.006491
0.00/0.05	c bounds 354464 >= 212979 @ 0.006716
0.00/0.05	c bounds 354464 >= 215027 @ 0.006914
0.00/0.05	c bounds 354395 >= 215027 @ 0.0072
0.00/0.05	c bounds 354395 >= 215030 @ 0.007566
0.00/0.05	c bounds 354395 >= 215033 @ 0.007747
0.00/0.05	c bounds 354393 >= 215033 @ 0.008291
0.00/0.05	c bounds 354393 >= 215035 @ 0.008486
0.00/0.05	c bounds 354393 >= 215038 @ 0.008841
0.00/0.05	c bounds 354393 >= 215040 @ 0.00947
0.00/0.05	c bounds 354393 >= 215043 @ 0.009971
0.00/0.05	c bounds 354384 >= 215043 @ 0.010289
0.00/0.05	c bounds 354384 >= 215047 @ 0.010676
0.00/0.05	c bounds 354368 >= 215047 @ 0.010982
0.00/0.05	c bounds 354368 >= 215051 @ 0.011402
0.00/0.05	c bounds 354362 >= 215051 @ 0.011911
0.00/0.05	c bounds 354362 >= 215054 @ 0.011911
0.00/0.05	c bounds 354362 >= 215056 @ 0.012032
0.00/0.05	c bounds 354359 >= 215056 @ 0.012942
0.00/0.05	c bounds 354359 >= 216051 @ 0.012942
0.00/0.05	c bounds 354359 >= 216534 @ 0.012942
0.00/0.05	c bounds 354359 >= 216545 @ 0.012942
0.00/0.05	c bounds 354359 >= 216549 @ 0.012942
0.00/0.05	c bounds 354359 >= 216552 @ 0.012942
0.00/0.05	c bounds 354359 >= 216553 @ 0.012942
0.00/0.05	c bounds 354359 >= 216554 @ 0.012942
0.00/0.05	c bounds 354359 >= 216555 @ 0.013173
0.00/0.05	c bounds 354356 >= 216555 @ 0.013874
0.00/0.05	c bounds 354356 >= 217075 @ 0.014356
0.00/0.05	c bounds 354356 >= 218603 @ 0.014577
0.00/0.05	c bounds 354345 >= 218603 @ 0.014894
0.00/0.05	c bounds 354345 >= 219123 @ 0.014894
0.00/0.05	c bounds 354345 >= 219239 @ 0.014894
0.00/0.05	c bounds 354345 >= 219333 @ 0.014894
0.00/0.05	c bounds 354345 >= 227315 @ 0.014894
0.00/0.05	c bounds 354344 >= 227315 @ 0.015411
0.00/0.05	c bounds 354344 >= 230375 @ 0.015545
0.00/0.05	c bounds 354344 >= 233446 @ 0.015703
0.00/0.05	c bounds 354344 >= 236506 @ 0.015871
0.00/0.05	c bounds 354344 >= 238357 @ 0.015871
0.00/0.05	c bounds 354344 >= 238554 @ 0.015871
0.00/0.05	c bounds 354322 >= 238554 @ 0.016569
0.00/0.05	c bounds 354322 >= 238630 @ 0.016894
0.00/0.05	c bounds 354322 >= 238668 @ 0.017139
0.00/0.05	c bounds 354322 >= 238724 @ 0.017718
0.00/0.05	c bounds 354322 >= 238743 @ 0.017991
0.00/0.05	c bounds 354322 >= 238755 @ 0.018261
0.00/0.05	c bounds 354322 >= 238763 @ 0.018544
0.00/0.05	c bounds 354322 >= 238766 @ 0.018854
0.00/0.05	c bounds 354322 >= 238767 @ 0.018854
0.00/0.05	c bounds 354322 >= 238769 @ 0.018854
0.00/0.05	c bounds 354322 >= 238770 @ 0.019205
0.00/0.05	c bounds 354321 >= 238770 @ 0.019734
0.00/0.05	c bounds 354321 >= 238772 @ 0.019848
0.00/0.05	c bounds 354321 >= 238773 @ 0.019848
0.00/0.05	c bounds 354321 >= 238775 @ 0.019848
0.00/0.05	c bounds 354321 >= 238776 @ 0.02013
0.00/0.05	c bounds 354321 >= 238784 @ 0.020454
0.00/0.05	c bounds 354320 >= 238784 @ 0.021292
0.00/0.05	c bounds 354320 >= 238788 @ 0.021625
0.00/0.05	c bounds 354320 >= 238791 @ 0.022002
0.00/0.05	c bounds 354320 >= 238794 @ 0.022356
0.00/0.05	c bounds 354320 >= 238796 @ 0.022831
0.00/0.05	c bounds 354320 >= 238798 @ 0.022831
0.00/0.05	c bounds 354319 >= 238798 @ 0.022831
0.00/0.05	c bounds 354319 >= 238799 @ 0.022831
0.00/0.05	c bounds 354319 >= 238800 @ 0.022854
0.00/0.05	c bounds 354319 >= 238801 @ 0.023216
0.00/0.05	c bounds 354319 >= 238804 @ 0.02371
0.00/0.05	c bounds 354317 >= 238804 @ 0.024582
0.00/0.05	c bounds 354317 >= 238809 @ 0.024966
0.00/0.05	c bounds 354317 >= 238811 @ 0.02555
0.00/0.05	c bounds 354317 >= 238812 @ 0.026137
0.00/0.05	c bounds 354314 >= 238812 @ 0.026805
0.00/0.05	c bounds 354314 >= 240632 @ 0.026805
0.00/0.05	c bounds 354314 >= 240860 @ 0.026805
0.00/0.05	c bounds 354314 >= 241119 @ 0.02735
0.00/0.05	c bounds 354314 >= 241369 @ 0.027589
0.00/0.05	c bounds 354312 >= 241369 @ 0.028798
0.00/0.05	c bounds 354312 >= 241597 @ 0.028798
0.00/0.05	c bounds 354312 >= 241816 @ 0.028798
0.00/0.05	c bounds 354312 >= 242013 @ 0.028798
0.00/0.05	c bounds 354312 >= 242421 @ 0.028798
0.00/0.05	c bounds 354312 >= 242680 @ 0.028798
0.00/0.05	c bounds 354312 >= 242908 @ 0.028798
0.00/0.05	c bounds 354312 >= 242930 @ 0.028798
0.00/0.05	c bounds 354312 >= 242971 @ 0.028798
0.00/0.05	c bounds 354312 >= 243158 @ 0.028798
0.00/0.05	c bounds 354312 >= 243167 @ 0.028819
0.00/0.11	c bounds 354312 >= 243208 @ 0.029163
0.00/0.11	c bounds 354312 >= 243230 @ 0.029469
0.00/0.11	c bounds 354311 >= 243230 @ 0.030381
0.00/0.11	c bounds 354311 >= 243250 @ 0.030697
0.00/0.11	c bounds 354311 >= 243261 @ 0.030773
0.00/0.11	c bounds 354311 >= 243267 @ 0.030773
0.00/0.11	c bounds 354311 >= 243270 @ 0.030773
0.00/0.11	c bounds 354311 >= 243376 @ 0.030773
0.00/0.11	c bounds 354308 >= 243376 @ 0.03124
0.00/0.11	c bounds 354308 >= 243417 @ 0.031528
0.00/0.11	c bounds 354308 >= 243428 @ 0.031908
0.00/0.11	c bounds 354308 >= 243434 @ 0.032554
0.00/0.11	c bounds 354308 >= 243435 @ 0.032756
0.00/0.11	c bounds 354308 >= 243437 @ 0.032756
0.00/0.11	c bounds 354308 >= 243458 @ 0.033232
0.00/0.11	c bounds 354304 >= 243458 @ 0.033838
0.00/0.11	c bounds 354304 >= 243460 @ 0.034402
0.00/0.11	c bounds 354304 >= 243463 @ 0.034741
0.00/0.11	c bounds 354304 >= 243468 @ 0.034964
0.00/0.11	c bounds 354304 >= 243469 @ 0.035687
0.00/0.11	c bounds 354224 >= 243469 @ 0.035733
0.00/0.11	c bounds 354224 >= 245517 @ 0.035733
0.00/0.11	c bounds 354224 >= 245873 @ 0.035733
0.00/0.11	c bounds 354188 >= 245873 @ 0.035733
0.00/0.11	c bounds 354188 >= 245875 @ 0.035733
0.00/0.11	c bounds 354188 >= 245876 @ 0.035733
0.00/0.11	c bounds 354188 >= 245877 @ 0.035793
0.00/0.11	c bounds 354188 >= 246285 @ 0.036121
0.00/0.11	c bounds 354188 >= 246508 @ 0.036389
0.00/0.11	c bounds 354188 >= 246515 @ 0.036525
0.00/0.11	c bounds 354188 >= 246516 @ 0.036665
0.00/0.11	c bounds 354188 >= 246525 @ 0.036805
0.00/0.11	c bounds 353164 >= 246525 @ 0.037316
0.00/0.11	c bounds 353164 >= 246526 @ 0.037471
0.00/0.11	c bounds 353164 >= 246528 @ 0.037618
0.00/0.11	c bounds 353164 >= 246529 @ 0.037775
0.00/0.11	c bounds 353164 >= 246531 @ 0.037916
0.00/0.11	c bounds 353164 >= 246550 @ 0.038047
0.00/0.11	c bounds 353164 >= 246553 @ 0.038185
0.00/0.11	c bounds 353164 >= 246561 @ 0.038324
0.00/0.11	c bounds 353164 >= 246562 @ 0.038462
0.00/0.11	c bounds 353164 >= 246564 @ 0.038605
0.00/0.11	c bounds 353164 >= 246565 @ 0.038707
0.00/0.11	c bounds 353164 >= 246566 @ 0.038707
0.00/0.11	c bounds 352588 >= 246566 @ 0.038707
0.00/0.11	c bounds 352588 >= 246578 @ 0.038707
0.00/0.11	c bounds 352588 >= 246579 @ 0.038707
0.00/0.11	c bounds 352588 >= 246580 @ 0.038707
0.00/0.11	c bounds 352588 >= 246582 @ 0.038707
0.00/0.11	c bounds 352588 >= 246584 @ 0.038707
0.00/0.11	c bounds 352588 >= 246585 @ 0.038707
0.00/0.11	c bounds 352588 >= 246586 @ 0.038707
0.00/0.11	c bounds 352588 >= 246587 @ 0.038707
0.00/0.11	c bounds 352524 >= 246587 @ 0.039062
0.00/0.11	c bounds 352524 >= 246588 @ 0.03922
0.00/0.11	c bounds 352524 >= 246590 @ 0.039375
0.00/0.11	c bounds 352524 >= 246591 @ 0.039524
0.00/0.11	c bounds 352524 >= 246593 @ 0.039669
0.00/0.11	c bounds 352524 >= 246649 @ 0.039701
0.00/0.11	c bounds 352524 >= 246657 @ 0.039701
0.00/0.11	c bounds 352524 >= 246669 @ 0.039701
0.00/0.11	c bounds 352236 >= 246669 @ 0.039701
0.00/0.11	c bounds 352236 >= 246671 @ 0.039789
0.00/0.11	c bounds 352236 >= 246672 @ 0.039931
0.00/0.11	c bounds 352236 >= 246674 @ 0.040083
0.00/0.11	c bounds 352236 >= 246676 @ 0.04023
0.00/0.11	c bounds 352236 >= 246935 @ 0.04045
0.00/0.11	c bounds 352236 >= 247084 @ 0.040715
0.00/0.11	c bounds 351980 >= 247084 @ 0.04122
0.00/0.11	c bounds 351980 >= 247190 @ 0.041539
0.00/0.11	c bounds 351980 >= 247191 @ 0.0417
0.00/0.11	c bounds 351980 >= 247232 @ 0.041849
0.00/0.11	c bounds 351980 >= 247234 @ 0.042012
0.00/0.11	c bounds 351980 >= 247310 @ 0.042293
0.00/0.11	c bounds 351972 >= 247310 @ 0.042687
0.00/0.11	c bounds 351972 >= 247366 @ 0.042687
0.00/0.11	c bounds 351972 >= 247407 @ 0.042687
0.00/0.11	c bounds 351972 >= 247445 @ 0.042687
0.00/0.11	c bounds 351972 >= 247666 @ 0.042883
0.00/0.11	c bounds 351952 >= 247666 @ 0.043413
0.00/0.11	c bounds 351952 >= 247704 @ 0.04366
0.00/0.11	c bounds 351952 >= 247725 @ 0.044022
0.00/0.11	c bounds 351952 >= 247744 @ 0.044688
0.00/0.11	c bounds 351952 >= 247756 @ 0.045067
0.00/0.11	c bounds 351920 >= 247756 @ 0.045578
0.00/0.11	c bounds 351920 >= 247767 @ 0.045666
0.00/0.11	c bounds 351920 >= 247778 @ 0.045666
0.00/0.11	c bounds 351920 >= 247789 @ 0.045666
0.00/0.11	c bounds 351920 >= 247797 @ 0.04567
0.00/0.11	c bounds 351888 >= 247797 @ 0.04567
0.00/0.11	c bounds 351888 >= 247804 @ 0.04567
0.00/0.11	c bounds 351888 >= 247810 @ 0.04567
0.00/0.11	c bounds 351888 >= 247845 @ 0.045921
0.00/0.11	c bounds 351667 >= 247845 @ 0.046863
0.00/0.11	c bounds 351667 >= 248007 @ 0.047326
0.00/0.11	c bounds 351667 >= 248025 @ 0.04776
0.00/0.11	c bounds 351667 >= 248042 @ 0.04814
0.00/0.11	c bounds 351667 >= 248066 @ 0.048494
0.00/0.11	c bounds 351663 >= 248066 @ 0.049614
0.00/0.11	c bounds 351663 >= 248083 @ 0.050032
0.00/0.11	c bounds 351663 >= 248089 @ 0.05049
0.00/0.11	c bounds 351663 >= 248166 @ 0.050635
0.00/0.11	c bounds 351663 >= 248172 @ 0.050635
0.00/0.11	c bounds 351663 >= 248184 @ 0.050759
0.00/0.11	c bounds 351661 >= 248184 @ 0.051755
0.00/0.11	c bounds 351661 >= 248189 @ 0.052311
0.00/0.11	c bounds 351661 >= 248194 @ 0.052768
0.00/0.11	c bounds 351661 >= 248199 @ 0.053487
0.00/0.11	c bounds 351661 >= 248202 @ 0.054048
0.00/0.11	c bounds 351661 >= 248205 @ 0.05457
0.00/0.11	c bounds 351658 >= 248205 @ 0.055676
0.10/0.17	c bounds 351658 >= 248207 @ 0.056276
0.10/0.17	c bounds 351658 >= 248208 @ 0.056474
0.10/0.17	c bounds 351658 >= 248209 @ 0.056665
0.10/0.17	c bounds 351658 >= 248214 @ 0.05684
0.10/0.17	c bounds 351658 >= 248215 @ 0.057022
0.10/0.17	c bounds 351658 >= 248217 @ 0.057213
0.10/0.17	c bounds 351658 >= 248223 @ 0.057662
0.10/0.17	c bounds 351656 >= 248223 @ 0.058732
0.10/0.17	c bounds 351656 >= 248228 @ 0.059241
0.10/0.17	c bounds 351656 >= 248231 @ 0.059515
0.10/0.17	c bounds 351656 >= 248233 @ 0.059515
0.10/0.17	c bounds 351656 >= 248235 @ 0.060384
0.10/0.17	c bounds 351655 >= 248235 @ 0.060987
0.10/0.17	c bounds 351655 >= 248238 @ 0.061544
0.10/0.17	c bounds 351655 >= 248240 @ 0.062153
0.10/0.17	c bounds 351655 >= 248242 @ 0.062541
0.10/0.17	c bounds 351653 >= 248242 @ 0.062569
0.10/0.17	c bounds 351653 >= 248244 @ 0.063169
0.10/0.17	c bounds 351653 >= 248246 @ 0.063537
0.10/0.17	c bounds 351653 >= 248247 @ 0.064406
0.10/0.17	c bounds 351653 >= 248248 @ 0.064636
0.10/0.17	c bounds 351630 >= 248248 @ 0.065661
0.10/0.17	c bounds 351630 >= 248249 @ 0.065912
0.10/0.17	c bounds 351630 >= 248250 @ 0.06615
0.10/0.17	c bounds 351630 >= 248251 @ 0.066405
0.10/0.17	c bounds 351630 >= 248252 @ 0.066624
0.10/0.17	c bounds 351630 >= 248258 @ 0.066824
0.10/0.17	c bounds 351630 >= 248277 @ 0.067027
0.10/0.17	c bounds 351630 >= 248289 @ 0.067241
0.10/0.17	c bounds 351623 >= 248289 @ 0.068156
0.10/0.17	c bounds 351623 >= 248308 @ 0.068643
0.10/0.17	c bounds 351623 >= 248320 @ 0.069106
0.10/0.17	c bounds 351623 >= 248331 @ 0.069522
0.10/0.17	c bounds 351623 >= 248339 @ 0.069994
0.10/0.17	c bounds 351622 >= 248339 @ 0.070873
0.10/0.17	c bounds 351622 >= 248345 @ 0.070989
0.10/0.17	c bounds 351622 >= 248351 @ 0.070989
0.10/0.17	c bounds 351622 >= 248356 @ 0.071724
0.10/0.17	c bounds 351622 >= 248359 @ 0.071984
0.10/0.17	c bounds 351622 >= 248362 @ 0.071984
0.10/0.17	c bounds 351622 >= 248364 @ 0.071986
0.10/0.17	c bounds 351619 >= 248364 @ 0.072419
0.10/0.17	c bounds 351619 >= 248366 @ 0.073059
0.10/0.17	c bounds 351619 >= 248368 @ 0.073729
0.10/0.17	c bounds 351619 >= 248369 @ 0.074811
0.10/0.17	c bounds 351611 >= 248369 @ 0.075177
0.10/0.17	c bounds 351611 >= 248370 @ 0.075859
0.10/0.17	c bounds 351611 >= 248371 @ 0.075963
0.10/0.17	c bounds 351611 >= 248372 @ 0.075966
0.10/0.17	c bounds 351611 >= 248373 @ 0.075966
0.10/0.17	c bounds 351608 >= 248373 @ 0.07672
0.10/0.17	c bounds 351608 >= 248374 @ 0.077465
0.10/0.17	c bounds 351608 >= 248375 @ 0.078123
0.10/0.17	c bounds 351608 >= 248376 @ 0.078777
0.10/0.17	c bounds 351608 >= 248377 @ 0.079691
0.10/0.17	c bounds 351608 >= 248378 @ 0.079943
0.10/0.17	c bounds 351608 >= 248379 @ 0.080098
0.10/0.17	c bounds 351602 >= 248379 @ 0.081265
0.10/0.17	c bounds 351602 >= 248388 @ 0.08193
0.10/0.17	c bounds 351602 >= 248389 @ 0.083099
0.10/0.17	c bounds 351602 >= 248390 @ 0.084257
0.10/0.17	c bounds 351602 >= 248454 @ 0.085187
0.10/0.17	c bounds 351596 >= 248454 @ 0.086409
0.10/0.17	c bounds 351596 >= 248466 @ 0.086986
0.10/0.17	c bounds 351596 >= 248470 @ 0.087935
0.10/0.17	c bounds 351596 >= 252633 @ 0.089011
0.10/0.17	c bounds 351593 >= 252633 @ 0.090324
0.10/0.17	c bounds 351593 >= 254534 @ 0.09068
0.10/0.17	c bounds 351593 >= 255095 @ 0.090944
0.10/0.17	c bounds 351593 >= 256996 @ 0.091519
0.10/0.17	c bounds 351593 >= 257516 @ 0.091704
0.10/0.17	c bounds 351593 >= 257663 @ 0.091998
0.10/0.17	c bounds 351593 >= 258830 @ 0.092328
0.10/0.17	c bounds 351593 >= 258834 @ 0.092519
0.10/0.17	c bounds 351593 >= 258846 @ 0.092707
0.10/0.17	c bounds 351593 >= 258865 @ 0.092891
0.10/0.17	c bounds 351593 >= 259012 @ 0.093302
0.10/0.17	c bounds 351592 >= 259012 @ 0.094833
0.10/0.17	c bounds 351592 >= 259564 @ 0.094833
0.10/0.17	c bounds 351592 >= 260913 @ 0.094833
0.10/0.17	c bounds 351592 >= 261092 @ 0.095021
0.10/0.17	c bounds 351592 >= 261465 @ 0.095546
0.10/0.17	c bounds 351592 >= 262259 @ 0.095741
0.10/0.17	c bounds 351592 >= 262441 @ 0.095836
0.10/0.17	c bounds 351592 >= 262632 @ 0.095836
0.10/0.17	c bounds 351592 >= 262779 @ 0.095836
0.10/0.17	c bounds 351592 >= 262856 @ 0.095836
0.10/0.17	c bounds 351591 >= 262856 @ 0.096568
0.10/0.17	c bounds 351591 >= 262924 @ 0.096962
0.10/0.17	c bounds 351591 >= 262987 @ 0.097106
0.10/0.17	c bounds 351591 >= 262993 @ 0.097193
0.10/0.17	c bounds 351591 >= 262999 @ 0.097274
0.10/0.17	c bounds 351591 >= 263000 @ 0.097343
0.10/0.17	c bounds 351591 >= 263077 @ 0.097678
0.10/0.17	c bounds 351591 >= 263141 @ 0.097825
0.10/0.17	c bounds 351591 >= 263189 @ 0.097825
0.10/0.17	c bounds 351591 >= 263213 @ 0.097825
0.10/0.17	c bounds 351591 >= 263251 @ 0.098181
0.10/0.17	c bounds 351591 >= 263286 @ 0.098653
0.10/0.17	c bounds 351591 >= 263310 @ 0.098819
0.10/0.17	c bounds 351591 >= 263329 @ 0.098819
0.10/0.17	c bounds 351586 >= 263329 @ 0.099257
0.10/0.17	c bounds 351586 >= 263346 @ 0.099672
0.10/0.17	c bounds 351586 >= 263363 @ 0.099816
0.10/0.17	c bounds 351586 >= 263376 @ 0.099816
0.10/0.17	c bounds 351586 >= 263440 @ 0.099816
0.10/0.17	c bounds 351586 >= 263453 @ 0.099816
0.10/0.17	c bounds 351586 >= 263516 @ 0.099819
0.10/0.17	c bounds 351586 >= 263528 @ 0.099819
0.10/0.17	c bounds 351583 >= 263528 @ 0.101588
0.10/0.17	c bounds 351583 >= 263557 @ 0.101803
0.22/0.25	c bounds 351583 >= 263569 @ 0.101805
0.22/0.25	c bounds 351583 >= 263581 @ 0.101805
0.22/0.25	c bounds 351583 >= 263592 @ 0.102052
0.22/0.25	c bounds 351583 >= 263603 @ 0.102662
0.22/0.25	c bounds 351583 >= 263612 @ 0.102797
0.22/0.25	c bounds 351583 >= 263618 @ 0.102797
0.22/0.25	c bounds 351583 >= 263624 @ 0.102797
0.22/0.25	c bounds 351583 >= 263629 @ 0.102799
0.22/0.25	c bounds 351583 >= 263630 @ 0.102799
0.22/0.25	c bounds 351583 >= 263654 @ 0.1028
0.22/0.25	c bounds 351583 >= 263671 @ 0.1028
0.22/0.25	c bounds 351583 >= 263688 @ 0.1028
0.22/0.25	c bounds 351583 >= 263697 @ 0.103585
0.22/0.25	c bounds 351583 >= 263705 @ 0.103795
0.22/0.25	c bounds 351583 >= 263712 @ 0.103795
0.22/0.25	c bounds 351583 >= 263718 @ 0.103795
0.22/0.25	c bounds 351583 >= 263724 @ 0.103798
0.22/0.25	c bounds 351583 >= 263730 @ 0.103948
0.22/0.25	c bounds 351583 >= 263735 @ 0.104663
0.22/0.25	c bounds 351583 >= 263738 @ 0.104792
0.22/0.25	c bounds 351583 >= 263741 @ 0.104794
0.22/0.25	c bounds 351575 >= 263741 @ 0.105764
0.22/0.25	c bounds 351575 >= 263744 @ 0.106597
0.22/0.25	c bounds 351575 >= 263746 @ 0.106782
0.22/0.25	c bounds 351575 >= 263750 @ 0.10703
0.22/0.25	c bounds 351575 >= 263752 @ 0.107924
0.22/0.25	c bounds 351575 >= 263754 @ 0.108771
0.22/0.25	c bounds 351575 >= 263756 @ 0.10888
0.22/0.25	c bounds 351575 >= 263760 @ 0.109552
0.22/0.25	c bounds 351565 >= 263760 @ 0.110413
0.22/0.25	c bounds 351565 >= 263762 @ 0.111285
0.22/0.25	c bounds 351565 >= 263765 @ 0.111753
0.22/0.25	c bounds 351565 >= 263766 @ 0.111996
0.22/0.25	c bounds 351565 >= 263767 @ 0.112943
0.22/0.25	c bounds 351565 >= 263768 @ 0.11374
0.22/0.25	c bounds 351549 >= 263768 @ 0.114078
0.22/0.25	c bounds 351549 >= 263769 @ 0.114733
0.22/0.25	c bounds 351549 >= 263770 @ 0.114737
0.22/0.25	c bounds 351549 >= 263771 @ 0.114738
0.22/0.25	c bounds 351517 >= 263771 @ 0.115167
0.22/0.25	c bounds 351517 >= 263772 @ 0.115732
0.22/0.25	c bounds 351517 >= 263773 @ 0.116284
0.22/0.25	c bounds 351517 >= 263774 @ 0.116727
0.22/0.25	c bounds 351512 >= 263774 @ 0.117601
0.22/0.25	c bounds 351512 >= 263775 @ 0.117723
0.22/0.25	c bounds 351512 >= 263776 @ 0.117725
0.22/0.25	c bounds 351512 >= 263777 @ 0.117726
0.22/0.25	c bounds 351476 >= 263777 @ 0.118573
0.22/0.25	c bounds 351476 >= 263778 @ 0.118722
0.22/0.25	c bounds 351476 >= 263779 @ 0.119867
0.22/0.25	c bounds 351220 >= 263779 @ 0.120773
0.22/0.25	c bounds 351220 >= 263780 @ 0.121961
0.22/0.25	c bounds 351220 >= 263784 @ 0.122697
0.22/0.25	c bounds 351220 >= 263799 @ 0.122697
0.22/0.25	c bounds 351220 >= 263848 @ 0.12284
0.22/0.25	c bounds 351220 >= 263926 @ 0.123194
0.22/0.25	c bounds 351220 >= 263961 @ 0.123652
0.22/0.25	c bounds 351156 >= 263961 @ 0.124505
0.22/0.25	c bounds 351156 >= 263975 @ 0.124683
0.22/0.25	c bounds 351156 >= 264027 @ 0.124683
0.22/0.25	c bounds 351156 >= 264038 @ 0.125204
0.22/0.25	c bounds 351156 >= 264039 @ 0.125679
0.22/0.25	c bounds 351156 >= 264052 @ 0.125685
0.22/0.25	c bounds 351156 >= 264053 @ 0.126742
0.22/0.25	c bounds 351156 >= 264104 @ 0.127263
0.22/0.25	c bounds 351140 >= 264104 @ 0.127669
0.22/0.25	c bounds 351140 >= 264105 @ 0.12767
0.22/0.25	c bounds 351140 >= 264111 @ 0.12767
0.22/0.25	c bounds 351140 >= 264115 @ 0.127672
0.22/0.25	c bounds 351140 >= 264116 @ 0.128017
0.22/0.25	c bounds 351140 >= 264117 @ 0.128667
0.22/0.25	c bounds 351120 >= 264117 @ 0.129178
0.22/0.25	c bounds 351120 >= 264119 @ 0.129663
0.22/0.25	c bounds 351120 >= 264121 @ 0.129665
0.22/0.25	c bounds 351120 >= 264122 @ 0.129666
0.22/0.25	c bounds 351040 >= 264122 @ 0.130882
0.22/0.25	c bounds 351040 >= 264124 @ 0.132564
0.22/0.25	c bounds 351040 >= 264125 @ 0.133519
0.22/0.25	c bounds 351040 >= 272314 @ 0.133634
0.22/0.25	c bounds 351040 >= 272344 @ 0.133634
0.22/0.25	c bounds 351000 >= 272344 @ 0.134556
0.22/0.25	c bounds 351000 >= 272385 @ 0.13485
0.22/0.25	c bounds 351000 >= 272405 @ 0.135187
0.22/0.25	c bounds 351000 >= 272410 @ 0.135489
0.22/0.25	c bounds 351000 >= 272411 @ 0.135791
0.22/0.25	c bounds 350840 >= 272411 @ 0.137675
0.22/0.25	c bounds 350840 >= 272416 @ 0.138001
0.22/0.25	c bounds 350840 >= 272417 @ 0.138322
0.22/0.25	c bounds 350840 >= 272418 @ 0.138655
0.22/0.25	c bounds 350840 >= 272424 @ 0.139003
0.22/0.25	c bounds 350840 >= 272427 @ 0.13935
0.22/0.25	c bounds 350840 >= 272428 @ 0.1397
0.22/0.25	c bounds 350840 >= 272429 @ 0.140036
0.22/0.25	c bounds 350790 >= 272429 @ 0.140901
0.22/0.25	c bounds 350790 >= 272450 @ 0.141246
0.22/0.25	c bounds 350790 >= 272451 @ 0.14157
0.22/0.25	c bounds 350790 >= 272454 @ 0.141893
0.22/0.25	c bounds 350786 >= 272454 @ 0.144153
0.22/0.25	c bounds 350786 >= 272495 @ 0.144513
0.22/0.25	c bounds 350786 >= 272496 @ 0.144862
0.22/0.25	c bounds 350786 >= 272497 @ 0.145192
0.22/0.25	c bounds 350786 >= 272498 @ 0.145523
0.22/0.25	c bounds 350786 >= 272503 @ 0.145845
0.22/0.25	c bounds 350786 >= 272509 @ 0.146165
0.22/0.25	c bounds 350786 >= 272511 @ 0.146494
0.22/0.25	c bounds 350786 >= 272513 @ 0.146819
0.22/0.25	c bounds 350752 >= 272513 @ 0.148586
0.22/0.25	c bounds 350752 >= 272522 @ 0.149239
0.22/0.25	c bounds 350752 >= 272523 @ 0.149592
0.22/0.25	c bounds 350752 >= 272524 @ 0.149936
0.22/0.25	c bounds 350752 >= 272526 @ 0.150299
0.31/0.33	c bounds 350752 >= 272527 @ 0.150656
0.31/0.33	c bounds 350752 >= 272528 @ 0.151006
0.31/0.33	c bounds 350750 >= 272528 @ 0.152205
0.31/0.33	c bounds 350750 >= 272530 @ 0.152585
0.31/0.33	c bounds 350750 >= 272531 @ 0.152971
0.31/0.33	c bounds 350750 >= 272541 @ 0.153311
0.31/0.33	c bounds 350750 >= 272542 @ 0.153666
0.31/0.33	c bounds 350750 >= 272544 @ 0.154006
0.31/0.33	c bounds 350742 >= 272544 @ 0.154498
0.31/0.33	c bounds 350742 >= 272545 @ 0.154498
0.31/0.33	c bounds 350742 >= 272546 @ 0.154662
0.31/0.33	c bounds 350742 >= 272547 @ 0.155014
0.31/0.33	c bounds 350723 >= 272547 @ 0.157587
0.31/0.33	c bounds 350723 >= 272548 @ 0.158255
0.31/0.33	c bounds 350723 >= 272549 @ 0.158622
0.31/0.33	c bounds 350723 >= 272550 @ 0.158976
0.31/0.33	c bounds 350723 >= 272551 @ 0.159329
0.31/0.33	c bounds 350723 >= 272553 @ 0.159688
0.31/0.33	c bounds 350723 >= 272556 @ 0.160064
0.31/0.33	c bounds 350723 >= 272562 @ 0.160433
0.31/0.33	c bounds 350723 >= 272563 @ 0.160816
0.31/0.33	c bounds 350723 >= 272571 @ 0.161174
0.31/0.33	c bounds 350721 >= 272571 @ 0.162683
0.31/0.33	c bounds 350721 >= 272583 @ 0.163125
0.31/0.33	c bounds 350721 >= 272584 @ 0.163516
0.31/0.33	c bounds 350721 >= 272587 @ 0.163874
0.31/0.33	c bounds 350721 >= 272783 @ 0.164248
0.31/0.33	c bounds 350721 >= 272818 @ 0.16462
0.31/0.33	c bounds 350720 >= 272818 @ 0.165605
0.31/0.33	c bounds 350720 >= 272967 @ 0.166013
0.31/0.33	c bounds 350720 >= 273005 @ 0.166408
0.31/0.33	c bounds 350720 >= 273007 @ 0.166822
0.31/0.33	c bounds 350720 >= 273019 @ 0.167216
0.31/0.33	c bounds 350717 >= 273019 @ 0.168862
0.31/0.33	c bounds 350717 >= 273022 @ 0.169306
0.31/0.33	c bounds 350717 >= 273023 @ 0.169722
0.31/0.33	c bounds 350717 >= 273024 @ 0.17011
0.31/0.33	c bounds 350717 >= 273033 @ 0.170469
0.31/0.33	c bounds 350714 >= 273033 @ 0.171825
0.31/0.33	c bounds 350714 >= 273050 @ 0.172219
0.31/0.33	c bounds 350714 >= 273074 @ 0.172589
0.31/0.33	c bounds 350714 >= 273078 @ 0.172995
0.31/0.33	c bounds 350714 >= 273080 @ 0.173398
0.31/0.33	c bounds 350711 >= 273080 @ 0.174345
0.31/0.33	c bounds 350711 >= 273083 @ 0.174785
0.31/0.33	c bounds 350711 >= 273084 @ 0.175231
0.31/0.33	c bounds 350711 >= 273101 @ 0.175649
0.31/0.33	c bounds 350708 >= 273101 @ 0.178174
0.31/0.33	c bounds 350708 >= 273107 @ 0.178637
0.31/0.33	c bounds 350708 >= 273109 @ 0.179057
0.31/0.33	c bounds 350708 >= 273113 @ 0.179472
0.31/0.33	c bounds 350708 >= 273114 @ 0.179887
0.31/0.33	c bounds 350708 >= 273115 @ 0.180297
0.31/0.33	c bounds 350708 >= 273116 @ 0.180717
0.31/0.33	c bounds 350708 >= 273172 @ 0.181152
0.31/0.33	c bounds 350697 >= 273172 @ 0.183024
0.31/0.33	c bounds 350697 >= 273228 @ 0.183443
0.31/0.33	c bounds 350697 >= 273257 @ 0.18387
0.31/0.33	c bounds 350697 >= 273268 @ 0.184312
0.31/0.33	c bounds 350697 >= 273306 @ 0.184753
0.31/0.33	c bounds 350697 >= 273344 @ 0.185132
0.31/0.33	c bounds 350696 >= 273344 @ 0.186652
0.31/0.33	c bounds 350696 >= 273345 @ 0.187161
0.31/0.33	c bounds 350696 >= 273346 @ 0.187595
0.31/0.33	c bounds 350696 >= 273347 @ 0.188057
0.31/0.33	c bounds 350696 >= 273348 @ 0.188472
0.31/0.33	c bounds 350696 >= 273349 @ 0.18894
0.31/0.33	c bounds 350696 >= 273350 @ 0.189394
0.31/0.33	c bounds 350696 >= 273351 @ 0.189852
0.31/0.33	c bounds 350648 >= 273351 @ 0.191691
0.31/0.33	c bounds 350648 >= 273352 @ 0.192172
0.31/0.33	c bounds 350648 >= 273353 @ 0.192228
0.31/0.33	c bounds 350648 >= 273354 @ 0.192228
0.31/0.33	c bounds 350648 >= 273356 @ 0.192571
0.31/0.33	c bounds 350648 >= 273357 @ 0.192972
0.31/0.33	c bounds 350624 >= 273357 @ 0.195074
0.31/0.33	c bounds 350624 >= 273358 @ 0.195611
0.31/0.33	c bounds 350624 >= 273359 @ 0.196075
0.31/0.33	c bounds 350624 >= 273364 @ 0.196513
0.31/0.33	c bounds 350624 >= 273365 @ 0.196944
0.31/0.33	c bounds 350624 >= 273366 @ 0.197397
0.31/0.33	c bounds 350528 >= 273366 @ 0.199518
0.31/0.33	c bounds 350528 >= 273367 @ 0.200002
0.31/0.33	c bounds 350528 >= 273379 @ 0.200449
0.31/0.33	c bounds 350528 >= 273380 @ 0.200889
0.31/0.33	c bounds 350528 >= 273389 @ 0.201157
0.31/0.33	c bounds 350528 >= 273391 @ 0.201157
0.31/0.33	c bounds 350336 >= 273391 @ 0.20302
0.31/0.33	c bounds 350336 >= 273396 @ 0.203146
0.31/0.33	c bounds 350336 >= 273399 @ 0.203146
0.31/0.33	c bounds 350336 >= 273400 @ 0.203509
0.31/0.33	c bounds 350336 >= 273401 @ 0.203962
0.31/0.33	c bounds 350336 >= 273402 @ 0.204421
0.31/0.33	c bounds 350336 >= 273403 @ 0.204954
0.31/0.33	c bounds 350227 >= 273403 @ 0.207915
0.31/0.33	c bounds 350227 >= 273404 @ 0.208436
0.31/0.33	c bounds 350227 >= 273405 @ 0.208909
0.31/0.33	c bounds 350227 >= 273416 @ 0.209382
0.31/0.33	c bounds 350227 >= 273417 @ 0.209848
0.31/0.33	c bounds 350227 >= 273418 @ 0.210343
0.31/0.33	c bounds 350227 >= 273424 @ 0.210805
0.31/0.33	c bounds 350227 >= 273425 @ 0.211284
0.31/0.33	c bounds 350227 >= 273431 @ 0.211766
0.31/0.33	c bounds 350225 >= 273431 @ 0.213701
0.31/0.33	c bounds 350225 >= 273432 @ 0.21426
0.31/0.33	c bounds 350225 >= 273433 @ 0.21477
0.31/0.33	c bounds 350225 >= 273444 @ 0.215247
0.31/0.33	c bounds 350225 >= 273450 @ 0.215721
0.31/0.33	c bounds 350223 >= 273450 @ 0.21898
0.31/0.33	c bounds 350223 >= 273452 @ 0.219042
0.31/0.33	c bounds 350223 >= 273456 @ 0.219042
0.31/0.42	c bounds 350223 >= 273458 @ 0.219191
0.31/0.42	c bounds 350223 >= 273459 @ 0.219575
0.31/0.42	c bounds 350223 >= 273460 @ 0.219915
0.31/0.42	c bounds 350223 >= 273461 @ 0.220255
0.31/0.42	c bounds 350223 >= 273463 @ 0.220608
0.31/0.42	c bounds 350223 >= 273526 @ 0.220969
0.31/0.42	c bounds 350223 >= 273528 @ 0.221027
0.31/0.42	c bounds 350223 >= 273529 @ 0.221027
0.31/0.42	c bounds 350223 >= 273530 @ 0.221063
0.31/0.42	c bounds 350221 >= 273530 @ 0.222346
0.31/0.42	c bounds 350221 >= 273549 @ 0.222753
0.31/0.42	c bounds 350221 >= 273554 @ 0.223127
0.31/0.42	c bounds 350221 >= 273557 @ 0.223505
0.31/0.42	c bounds 350221 >= 273558 @ 0.223886
0.31/0.42	c bounds 350219 >= 273558 @ 0.227109
0.31/0.42	c bounds 350219 >= 273559 @ 0.227554
0.31/0.42	c bounds 350219 >= 273561 @ 0.227944
0.31/0.42	c bounds 350219 >= 273563 @ 0.228325
0.31/0.42	c bounds 350219 >= 273564 @ 0.228704
0.31/0.42	c bounds 350219 >= 273566 @ 0.229087
0.31/0.42	c bounds 350219 >= 273568 @ 0.229469
0.31/0.42	c bounds 350219 >= 273570 @ 0.229854
0.31/0.42	c bounds 350219 >= 273571 @ 0.230239
0.31/0.42	c bounds 350219 >= 273576 @ 0.230609
0.31/0.42	c bounds 350219 >= 273578 @ 0.231004
0.31/0.42	c bounds 350219 >= 273581 @ 0.231399
0.31/0.42	c bounds 350214 >= 273581 @ 0.232409
0.31/0.42	c bounds 350214 >= 273585 @ 0.232821
0.31/0.42	c bounds 350214 >= 273587 @ 0.233222
0.31/0.42	c bounds 350214 >= 273590 @ 0.233617
0.31/0.42	c bounds 350214 >= 273597 @ 0.234007
0.31/0.42	c bounds 350206 >= 273597 @ 0.235016
0.31/0.42	c bounds 350206 >= 273611 @ 0.23543
0.31/0.42	c bounds 350206 >= 273614 @ 0.235835
0.31/0.42	c bounds 350206 >= 273627 @ 0.236234
0.31/0.42	c bounds 350190 >= 273627 @ 0.237247
0.31/0.42	c bounds 350190 >= 274035 @ 0.23779
0.31/0.42	c bounds 350190 >= 274294 @ 0.238436
0.31/0.42	c bounds 350159 >= 274294 @ 0.238919
0.31/0.42	c bounds 350159 >= 274531 @ 0.239135
0.31/0.42	c bounds 350159 >= 274532 @ 0.23987
0.31/0.42	c bounds 350159 >= 274533 @ 0.240306
0.31/0.42	c bounds 350149 >= 274533 @ 0.240906
0.31/0.42	c bounds 350149 >= 274538 @ 0.241081
0.31/0.42	c bounds 350149 >= 274540 @ 0.241497
0.31/0.42	c bounds 350149 >= 274541 @ 0.241893
0.31/0.42	c bounds 350149 >= 274542 @ 0.242316
0.31/0.42	c bounds 350148 >= 274542 @ 0.24456
0.31/0.42	c bounds 350148 >= 274551 @ 0.24505
0.31/0.42	c bounds 350148 >= 274552 @ 0.245495
0.31/0.42	c bounds 350148 >= 274553 @ 0.245945
0.31/0.42	c bounds 350148 >= 274774 @ 0.246501
0.31/0.42	c bounds 350148 >= 274971 @ 0.247492
0.31/0.42	c bounds 350148 >= 274982 @ 0.247954
0.31/0.42	c bounds 350148 >= 274994 @ 0.248395
0.31/0.42	c bounds 350146 >= 274994 @ 0.249747
0.31/0.42	c bounds 350146 >= 275013 @ 0.250234
0.31/0.42	c bounds 350146 >= 275025 @ 0.250685
0.31/0.42	c bounds 350146 >= 275033 @ 0.25113
0.31/0.42	c bounds 350146 >= 275068 @ 0.251591
0.31/0.42	c bounds 350141 >= 275068 @ 0.252865
0.31/0.42	c bounds 350141 >= 275080 @ 0.253368
0.31/0.42	c bounds 350141 >= 275083 @ 0.254654
0.31/0.42	c bounds 350141 >= 275085 @ 0.255147
0.31/0.42	c bounds 350137 >= 275085 @ 0.258283
0.31/0.42	c bounds 350137 >= 275086 @ 0.258793
0.31/0.42	c bounds 350137 >= 275087 @ 0.259264
0.31/0.42	c bounds 350137 >= 275088 @ 0.259738
0.31/0.42	c bounds 350137 >= 275117 @ 0.260205
0.31/0.42	c bounds 350137 >= 275180 @ 0.260678
0.31/0.42	c bounds 350137 >= 275193 @ 0.260793
0.31/0.42	c bounds 350137 >= 275194 @ 0.260793
0.31/0.42	c bounds 350137 >= 275257 @ 0.261094
0.31/0.42	c bounds 350137 >= 275454 @ 0.261667
0.31/0.42	c bounds 350137 >= 275641 @ 0.262224
0.31/0.42	c bounds 350136 >= 275641 @ 0.265128
0.31/0.42	c bounds 350136 >= 275803 @ 0.265762
0.31/0.42	c bounds 350136 >= 276024 @ 0.265793
0.31/0.42	c bounds 350136 >= 276173 @ 0.266465
0.31/0.42	c bounds 350136 >= 276289 @ 0.267253
0.31/0.42	c bounds 350136 >= 276353 @ 0.26827
0.31/0.42	c bounds 350134 >= 276353 @ 0.269787
0.31/0.42	c bounds 350134 >= 276394 @ 0.270476
0.31/0.42	c bounds 350134 >= 276432 @ 0.271275
0.31/0.42	c bounds 350134 >= 276470 @ 0.271726
0.31/0.42	c bounds 350131 >= 276470 @ 0.272547
0.31/0.42	c bounds 350131 >= 276816 @ 0.273276
0.31/0.42	c bounds 350131 >= 276878 @ 0.274057
0.31/0.42	c bounds 350131 >= 276913 @ 0.274736
0.31/0.42	c bounds 350126 >= 276913 @ 0.27856
0.31/0.42	c bounds 350126 >= 276937 @ 0.278687
0.31/0.42	c bounds 350126 >= 276954 @ 0.278687
0.31/0.42	c bounds 350126 >= 276955 @ 0.279118
0.31/0.42	c bounds 350126 >= 276957 @ 0.279626
0.31/0.42	c bounds 350126 >= 276958 @ 0.280136
0.31/0.42	c bounds 350126 >= 276960 @ 0.280656
0.31/0.42	c bounds 350126 >= 276977 @ 0.28116
0.31/0.42	c bounds 350126 >= 276983 @ 0.281666
0.31/0.42	c bounds 350126 >= 276986 @ 0.282175
0.31/0.42	c bounds 350126 >= 276988 @ 0.282654
0.31/0.42	c bounds 350126 >= 276995 @ 0.282654
0.31/0.42	c bounds 350126 >= 277030 @ 0.282949
0.31/0.42	c bounds 350122 >= 277030 @ 0.284562
0.31/0.42	c bounds 350122 >= 277059 @ 0.284656
0.31/0.42	c bounds 350122 >= 277083 @ 0.285238
0.31/0.42	c bounds 350122 >= 277107 @ 0.285652
0.31/0.42	c bounds 350120 >= 277107 @ 0.290619
0.31/0.42	c bounds 350120 >= 277131 @ 0.29134
0.31/0.42	c bounds 350120 >= 277163 @ 0.291613
0.31/0.42	c bounds 350120 >= 277223 @ 0.291614
0.31/0.42	c bounds 350120 >= 277339 @ 0.292263
0.51/0.55	c bounds 350120 >= 277372 @ 0.292608
0.51/0.55	c bounds 350120 >= 277404 @ 0.293029
0.51/0.55	c bounds 350120 >= 277428 @ 0.293029
0.51/0.55	c bounds 350120 >= 277452 @ 0.293514
0.51/0.55	c bounds 350120 >= 277473 @ 0.29466
0.51/0.55	c bounds 350120 >= 277492 @ 0.295019
0.51/0.55	c bounds 350120 >= 277512 @ 0.295021
0.51/0.55	c bounds 350111 >= 277512 @ 0.295743
0.51/0.55	c bounds 350111 >= 277531 @ 0.296516
0.51/0.55	c bounds 350111 >= 277550 @ 0.297004
0.51/0.55	c bounds 350111 >= 277569 @ 0.297013
0.51/0.55	c bounds 350107 >= 277569 @ 0.297713
0.51/0.55	c bounds 350107 >= 277793 @ 0.298493
0.51/0.55	c bounds 350106 >= 277793 @ 0.302202
0.51/0.55	c bounds 350106 >= 278016 @ 0.303118
0.51/0.55	c bounds 350106 >= 278201 @ 0.303541
0.51/0.55	c bounds 350106 >= 278709 @ 0.304121
0.51/0.55	c bounds 350106 >= 278735 @ 0.304712
0.51/0.55	c bounds 350106 >= 278769 @ 0.304963
0.51/0.55	c bounds 350106 >= 278920 @ 0.305305
0.51/0.55	c bounds 350106 >= 278933 @ 0.305984
0.51/0.55	c bounds 350106 >= 278992 @ 0.306458
0.51/0.55	c bounds 350106 >= 279084 @ 0.306875
0.51/0.55	c bounds 350106 >= 279154 @ 0.307295
0.51/0.55	c bounds 350106 >= 279235 @ 0.308165
0.51/0.55	c bounds 350106 >= 279247 @ 0.309318
0.51/0.55	c bounds 350106 >= 279261 @ 0.309931
0.51/0.55	c bounds 350106 >= 279290 @ 0.310474
0.51/0.55	c bounds 350104 >= 279290 @ 0.311758
0.51/0.55	c bounds 350104 >= 279302 @ 0.31266
0.51/0.55	c bounds 350104 >= 279312 @ 0.312917
0.51/0.55	c bounds 350104 >= 279320 @ 0.313716
0.51/0.55	c bounds 350104 >= 279321 @ 0.313964
0.51/0.55	c bounds 350104 >= 279402 @ 0.314535
0.51/0.55	c bounds 350104 >= 279413 @ 0.315323
0.51/0.55	c bounds 350104 >= 279472 @ 0.315796
0.51/0.55	c bounds 350104 >= 279480 @ 0.315899
0.51/0.55	c bounds 350104 >= 279482 @ 0.315899
0.51/0.55	c bounds 350104 >= 279495 @ 0.315899
0.51/0.55	c bounds 350104 >= 279530 @ 0.316415
0.51/0.55	c bounds 350104 >= 279564 @ 0.316874
0.51/0.55	c bounds 350104 >= 279581 @ 0.317842
0.51/0.55	c bounds 350101 >= 279581 @ 0.319475
0.51/0.55	c bounds 350101 >= 279596 @ 0.319872
0.51/0.55	c bounds 350101 >= 279608 @ 0.319873
0.51/0.55	c bounds 350101 >= 280259 @ 0.319873
0.51/0.55	c bounds 350101 >= 280423 @ 0.320474
0.51/0.55	c bounds 350101 >= 280452 @ 0.320748
0.51/0.55	c bounds 350101 >= 280453 @ 0.321025
0.51/0.55	c bounds 350101 >= 280488 @ 0.321293
0.51/0.55	c bounds 350101 >= 280501 @ 0.321569
0.51/0.55	c bounds 350069 >= 280501 @ 0.325207
0.51/0.55	c bounds 350069 >= 280512 @ 0.325526
0.51/0.55	c bounds 350069 >= 280520 @ 0.325819
0.51/0.55	c bounds 350069 >= 280522 @ 0.326103
0.51/0.55	c bounds 350069 >= 280535 @ 0.326383
0.51/0.55	c bounds 350069 >= 280594 @ 0.326664
0.51/0.55	c bounds 350069 >= 280675 @ 0.326827
0.51/0.55	c bounds 350069 >= 280686 @ 0.326827
0.51/0.55	c bounds 350069 >= 280767 @ 0.326827
0.51/0.55	c bounds 350069 >= 280851 @ 0.326829
0.51/0.55	c bounds 350069 >= 280859 @ 0.327299
0.51/0.55	c bounds 350069 >= 280868 @ 0.328252
0.51/0.55	c bounds 350069 >= 280871 @ 0.328996
0.51/0.55	c bounds 350069 >= 280873 @ 0.329812
0.51/0.55	c bounds 350069 >= 280888 @ 0.329815
0.51/0.55	c bounds 350069 >= 280890 @ 0.330926
0.51/0.55	c bounds 350069 >= 280892 @ 0.332321
0.51/0.55	c bounds 350069 >= 280894 @ 0.333209
0.51/0.55	c bounds 350069 >= 280896 @ 0.333796
0.51/0.55	c bounds 350069 >= 280898 @ 0.333798
0.51/0.55	c bounds 350069 >= 280899 @ 0.333916
0.51/0.55	c bounds 350069 >= 280900 @ 0.335737
0.51/0.55	c bounds 350069 >= 280902 @ 0.336784
0.51/0.55	c bounds 350068 >= 280902 @ 0.338823
0.51/0.55	c bounds 350068 >= 280903 @ 0.340676
0.51/0.55	c bounds 350068 >= 280904 @ 0.341758
0.51/0.55	c bounds 350068 >= 280910 @ 0.341766
0.51/0.55	c bounds 350068 >= 280915 @ 0.342755
0.51/0.55	c bounds 350068 >= 280916 @ 0.342758
0.51/0.55	c bounds 350068 >= 280918 @ 0.342761
0.51/0.55	c bounds 350068 >= 280920 @ 0.344111
0.51/0.55	c bounds 350067 >= 280920 @ 0.346116
0.51/0.55	c bounds 350067 >= 280921 @ 0.346872
0.51/0.55	c bounds 350067 >= 280928 @ 0.347975
0.51/0.55	c bounds 350067 >= 280929 @ 0.34873
0.51/0.55	c bounds 350067 >= 280931 @ 0.349726
0.51/0.55	c bounds 350067 >= 280932 @ 0.349949
0.51/0.55	c bounds 350067 >= 280935 @ 0.350724
0.51/0.55	c bounds 350067 >= 280939 @ 0.351872
0.51/0.55	c bounds 350067 >= 280940 @ 0.352716
0.51/0.55	c bounds 350067 >= 280942 @ 0.35272
0.51/0.55	c bounds 350047 >= 280942 @ 0.354126
0.51/0.55	c bounds 350047 >= 280943 @ 0.355966
0.51/0.55	c bounds 350047 >= 280944 @ 0.356698
0.51/0.55	c bounds 350047 >= 280945 @ 0.357695
0.51/0.55	c bounds 350047 >= 280946 @ 0.357698
0.51/0.55	c bounds 350047 >= 280947 @ 0.3577
0.51/0.55	c bounds 350047 >= 280948 @ 0.357704
0.51/0.55	c bounds 350023 >= 280948 @ 0.360469
0.51/0.55	c bounds 350023 >= 280949 @ 0.361165
0.51/0.55	c bounds 350023 >= 280952 @ 0.362066
0.51/0.55	c bounds 350023 >= 280954 @ 0.362674
0.51/0.55	c bounds 350023 >= 280955 @ 0.362677
0.51/0.55	c bounds 350023 >= 280957 @ 0.36268
0.51/0.55	c bounds 350023 >= 280958 @ 0.362863
0.51/0.55	c bounds 350023 >= 280959 @ 0.363677
0.51/0.55	c bounds 350023 >= 280960 @ 0.363679
0.51/0.55	c bounds 350023 >= 280961 @ 0.365567
0.51/0.55	c bounds 350023 >= 280962 @ 0.365672
0.51/0.55	c bounds 350023 >= 280963 @ 0.365674
0.69/0.70	c bounds 350023 >= 280964 @ 0.365677
0.69/0.70	c bounds 350020 >= 280964 @ 0.367496
0.69/0.70	c bounds 350020 >= 280965 @ 0.368241
0.69/0.70	c bounds 350020 >= 280966 @ 0.368666
0.69/0.70	c bounds 350020 >= 280967 @ 0.368669
0.69/0.70	c bounds 350020 >= 280968 @ 0.370296
0.69/0.70	c bounds 350020 >= 280969 @ 0.371651
0.69/0.70	c bounds 350020 >= 280970 @ 0.371656
0.69/0.70	c bounds 350020 >= 280971 @ 0.371774
0.69/0.70	c bounds 350020 >= 280972 @ 0.372653
0.69/0.70	c bounds 350020 >= 280973 @ 0.372656
0.69/0.70	c bounds 350020 >= 280974 @ 0.3731
0.69/0.70	c bounds 350020 >= 280975 @ 0.373655
0.69/0.70	c bounds 350020 >= 280976 @ 0.373672
0.69/0.70	c bounds 350020 >= 280977 @ 0.374652
0.69/0.70	c bounds 350020 >= 280978 @ 0.374655
0.69/0.70	c bounds 350019 >= 280978 @ 0.37512
0.69/0.70	c bounds 350019 >= 280979 @ 0.375698
0.69/0.70	c bounds 350019 >= 280980 @ 0.377149
0.69/0.70	c bounds 350019 >= 280981 @ 0.378259
0.69/0.70	c bounds 350019 >= 280982 @ 0.378638
0.69/0.70	c bounds 350019 >= 280989 @ 0.378639
0.69/0.70	c bounds 350019 >= 280993 @ 0.378992
0.69/0.70	c bounds 350017 >= 280993 @ 0.381363
0.69/0.70	c bounds 350017 >= 280995 @ 0.382177
0.69/0.70	c bounds 350017 >= 281000 @ 0.383592
0.69/0.70	c bounds 350017 >= 281001 @ 0.385599
0.69/0.70	c bounds 350017 >= 281002 @ 0.38584
0.69/0.70	c bounds 350017 >= 281004 @ 0.386598
0.69/0.70	c bounds 350017 >= 281006 @ 0.388528
0.69/0.70	c bounds 349665 >= 281006 @ 0.389951
0.69/0.70	c bounds 349665 >= 281008 @ 0.391574
0.69/0.70	c bounds 349665 >= 281018 @ 0.391939
0.69/0.70	c bounds 349665 >= 281019 @ 0.39257
0.69/0.70	c bounds 349660 >= 281019 @ 0.393296
0.69/0.70	c bounds 349660 >= 281031 @ 0.394053
0.69/0.70	c bounds 349660 >= 281033 @ 0.394565
0.69/0.70	c bounds 349660 >= 281034 @ 0.394567
0.69/0.70	c bounds 349652 >= 281034 @ 0.395317
0.69/0.70	c bounds 349652 >= 281035 @ 0.395566
0.69/0.70	c bounds 349652 >= 281036 @ 0.396266
0.69/0.70	c bounds 349652 >= 281037 @ 0.396563
0.69/0.70	c bounds 349644 >= 281037 @ 0.396913
0.69/0.70	c bounds 349644 >= 281038 @ 0.397662
0.69/0.70	c bounds 349644 >= 281039 @ 0.398557
0.69/0.70	c bounds 349644 >= 281040 @ 0.399426
0.69/0.70	c bounds 349626 >= 281040 @ 0.400503
0.69/0.70	c bounds 349626 >= 281041 @ 0.401543
0.69/0.70	c bounds 349626 >= 281042 @ 0.402989
0.69/0.70	c bounds 349626 >= 281043 @ 0.403534
0.69/0.70	c bounds 349610 >= 281043 @ 0.404487
0.69/0.70	c bounds 349610 >= 281044 @ 0.404532
0.69/0.70	c bounds 349610 >= 281046 @ 0.404599
0.69/0.70	c bounds 349610 >= 281047 @ 0.405527
0.69/0.70	c bounds 349605 >= 281047 @ 0.406856
0.69/0.70	c bounds 349605 >= 281048 @ 0.407518
0.69/0.70	c bounds 349605 >= 281049 @ 0.408051
0.69/0.70	c bounds 349605 >= 281051 @ 0.409666
0.69/0.70	c bounds 349604 >= 281051 @ 0.411957
0.69/0.70	c bounds 349604 >= 281052 @ 0.4125
0.69/0.70	c bounds 349604 >= 281053 @ 0.412943
0.69/0.70	c bounds 349604 >= 281054 @ 0.414478
0.69/0.70	c bounds 349604 >= 281055 @ 0.416463
0.69/0.70	c bounds 349604 >= 281058 @ 0.417905
0.69/0.70	c bounds 349604 >= 281061 @ 0.419036
0.69/0.70	c bounds 349602 >= 281061 @ 0.421073
0.69/0.70	c bounds 349602 >= 281064 @ 0.422109
0.69/0.70	c bounds 349602 >= 281065 @ 0.423443
0.69/0.70	c bounds 349602 >= 281066 @ 0.423445
0.69/0.70	c bounds 349602 >= 281067 @ 0.424438
0.69/0.70	c bounds 349602 >= 281069 @ 0.424732
0.69/0.70	c bounds 349602 >= 281070 @ 0.425109
0.69/0.70	c bounds 349602 >= 281072 @ 0.425485
0.69/0.70	c bounds 349599 >= 281072 @ 0.427239
0.69/0.70	c bounds 349599 >= 281300 @ 0.42779
0.69/0.70	c bounds 349599 >= 281301 @ 0.428185
0.69/0.70	c bounds 349599 >= 281305 @ 0.428549
0.69/0.70	c bounds 349599 >= 281306 @ 0.428916
0.69/0.70	c bounds 349599 >= 281318 @ 0.429301
0.69/0.70	c bounds 349599 >= 281319 @ 0.42968
0.69/0.70	c bounds 349599 >= 281322 @ 0.430062
0.69/0.70	c bounds 349599 >= 281363 @ 0.430442
0.69/0.70	c bounds 349599 >= 281366 @ 0.430844
0.69/0.70	c bounds 349599 >= 281367 @ 0.431243
0.69/0.70	c bounds 349599 >= 281514 @ 0.431629
0.69/0.70	c bounds 349596 >= 281514 @ 0.432397
0.69/0.70	c bounds 349596 >= 283097 @ 0.432957
0.69/0.70	c bounds 349596 >= 283166 @ 0.433495
0.69/0.70	c bounds 349596 >= 283211 @ 0.433903
0.69/0.70	c bounds 349596 >= 283271 @ 0.434314
0.69/0.70	c bounds 349596 >= 283305 @ 0.43439
0.69/0.70	c bounds 349596 >= 283335 @ 0.434392
0.69/0.70	c bounds 349596 >= 283337 @ 0.434392
0.69/0.70	c bounds 349596 >= 283338 @ 0.434392
0.69/0.70	c bounds 349596 >= 283367 @ 0.434392
0.69/0.70	c bounds 349596 >= 283397 @ 0.434393
0.69/0.70	c bounds 349596 >= 283448 @ 0.434393
0.69/0.70	c bounds 349596 >= 283489 @ 0.434633
0.69/0.70	c bounds 349564 >= 283489 @ 0.437422
0.69/0.70	c bounds 349564 >= 283502 @ 0.437814
0.69/0.70	c bounds 349564 >= 283531 @ 0.438169
0.69/0.70	c bounds 349564 >= 283599 @ 0.438368
0.69/0.70	c bounds 349564 >= 283623 @ 0.438539
0.69/0.70	c bounds 349564 >= 283647 @ 0.439239
0.69/0.70	c bounds 349564 >= 283666 @ 0.439361
0.69/0.70	c bounds 349564 >= 283679 @ 0.439361
0.69/0.70	c bounds 349564 >= 283713 @ 0.439995
0.69/0.70	c bounds 349564 >= 283730 @ 0.44036
0.69/0.70	c bounds 349564 >= 283741 @ 0.44036
0.69/0.70	c bounds 349564 >= 283759 @ 0.440895
0.69/0.70	c bounds 349564 >= 283794 @ 0.441324
0.78/0.84	c bounds 349564 >= 283803 @ 0.44204
0.78/0.84	c bounds 349564 >= 283810 @ 0.442351
0.78/0.84	c bounds 349564 >= 283818 @ 0.442352
0.78/0.84	c bounds 349564 >= 283822 @ 0.443174
0.78/0.84	c bounds 349564 >= 283825 @ 0.443348
0.78/0.84	c bounds 349564 >= 283828 @ 0.44335
0.78/0.84	c bounds 349544 >= 283828 @ 0.443747
0.78/0.84	c bounds 349544 >= 283831 @ 0.444347
0.78/0.84	c bounds 349544 >= 283834 @ 0.444348
0.78/0.84	c bounds 349504 >= 283834 @ 0.444963
0.78/0.84	c bounds 349504 >= 283836 @ 0.445345
0.78/0.84	c bounds 349504 >= 283837 @ 0.445347
0.78/0.84	c bounds 349504 >= 283844 @ 0.445352
0.78/0.84	c bounds 349504 >= 283865 @ 0.446206
0.78/0.84	c bounds 349504 >= 283868 @ 0.446344
0.78/0.84	c bounds 349504 >= 283872 @ 0.447358
0.78/0.84	c bounds 349408 >= 283872 @ 0.44853
0.78/0.84	c bounds 349408 >= 283873 @ 0.45004
0.78/0.84	c bounds 349408 >= 283880 @ 0.450325
0.78/0.84	c bounds 349408 >= 283882 @ 0.450325
0.78/0.84	c bounds 349408 >= 283883 @ 0.450328
0.78/0.84	c bounds 349408 >= 283888 @ 0.45033
0.78/0.84	c bounds 349408 >= 283889 @ 0.45033
0.78/0.84	c bounds 349407 >= 283889 @ 0.451768
0.78/0.84	c bounds 349407 >= 283890 @ 0.452665
0.78/0.84	c bounds 349407 >= 283891 @ 0.454308
0.78/0.84	c bounds 349407 >= 283893 @ 0.455304
0.78/0.84	c bounds 349407 >= 283898 @ 0.455305
0.78/0.84	c bounds 349407 >= 283901 @ 0.455306
0.78/0.84	c bounds 349407 >= 283902 @ 0.455693
0.78/0.84	c bounds 349404 >= 283902 @ 0.457275
0.78/0.84	c bounds 349404 >= 283903 @ 0.458483
0.78/0.84	c bounds 349404 >= 283904 @ 0.460488
0.78/0.84	c bounds 349020 >= 283904 @ 0.462472
0.78/0.84	c bounds 349020 >= 283905 @ 0.463453
0.78/0.84	c bounds 349020 >= 283906 @ 0.46461
0.78/0.84	c bounds 349020 >= 283907 @ 0.466093
0.78/0.84	c bounds 348486 >= 283907 @ 0.467244
0.78/0.84	c bounds 348486 >= 283913 @ 0.467246
0.78/0.84	c bounds 348486 >= 283918 @ 0.467246
0.78/0.84	c bounds 348486 >= 283920 @ 0.468437
0.78/0.84	c bounds 348486 >= 283921 @ 0.469234
0.78/0.84	c bounds 348486 >= 283974 @ 0.47023
0.78/0.84	c bounds 348485 >= 283974 @ 0.471228
0.78/0.84	c bounds 348485 >= 284121 @ 0.471329
0.78/0.84	c bounds 348485 >= 284625 @ 0.471992
0.78/0.84	c bounds 348485 >= 284638 @ 0.472224
0.78/0.84	c bounds 348485 >= 284802 @ 0.472224
0.78/0.84	c bounds 348485 >= 284813 @ 0.472224
0.78/0.84	c bounds 348485 >= 284821 @ 0.472224
0.78/0.84	c bounds 348485 >= 284823 @ 0.472276
0.78/0.84	c bounds 348485 >= 284882 @ 0.472547
0.78/0.84	c bounds 348485 >= 284916 @ 0.472798
0.78/0.84	c bounds 348482 >= 284916 @ 0.474196
0.78/0.84	c bounds 348482 >= 284924 @ 0.474514
0.78/0.84	c bounds 348482 >= 284939 @ 0.474775
0.78/0.84	c bounds 348482 >= 284951 @ 0.475033
0.78/0.84	c bounds 348482 >= 285351 @ 0.475294
0.78/0.84	c bounds 348482 >= 285649 @ 0.475933
0.78/0.84	c bounds 348482 >= 285859 @ 0.476398
0.78/0.84	c bounds 348482 >= 286157 @ 0.477084
0.78/0.84	c bounds 348474 >= 286157 @ 0.478252
0.78/0.84	c bounds 348474 >= 286169 @ 0.478894
0.78/0.84	c bounds 348474 >= 286205 @ 0.479564
0.78/0.84	c bounds 348474 >= 286222 @ 0.480198
0.78/0.84	c bounds 348474 >= 286224 @ 0.481593
0.78/0.84	c bounds 348434 >= 286224 @ 0.48305
0.78/0.84	c bounds 348434 >= 286225 @ 0.48317
0.78/0.84	c bounds 348434 >= 286226 @ 0.48423
0.78/0.84	c bounds 348416 >= 286226 @ 0.485497
0.78/0.84	c bounds 348416 >= 286227 @ 0.48616
0.78/0.84	c bounds 348416 >= 286229 @ 0.486162
0.78/0.84	c bounds 348400 >= 286229 @ 0.48738
0.78/0.84	c bounds 348400 >= 286231 @ 0.488807
0.78/0.84	c bounds 348400 >= 286232 @ 0.489314
0.78/0.84	c bounds 348400 >= 286233 @ 0.490376
0.78/0.84	c bounds 348368 >= 286233 @ 0.491831
0.78/0.84	c bounds 348368 >= 286234 @ 0.492523
0.78/0.84	c bounds 348368 >= 286236 @ 0.493761
0.78/0.84	c bounds 348298 >= 286236 @ 0.495005
0.78/0.84	c bounds 348298 >= 286241 @ 0.496351
0.78/0.84	c bounds 348298 >= 286243 @ 0.497813
0.78/0.84	c bounds 348297 >= 286243 @ 0.49926
0.78/0.84	c bounds 348297 >= 286244 @ 0.500935
0.78/0.84	c bounds 348297 >= 286245 @ 0.501278
0.78/0.84	c bounds 348297 >= 286246 @ 0.503122
0.78/0.84	c bounds 348297 >= 286247 @ 0.504473
0.78/0.84	c bounds 348265 >= 286247 @ 0.506357
0.78/0.84	c bounds 348265 >= 286249 @ 0.509063
0.78/0.84	c bounds 348261 >= 286249 @ 0.511509
0.78/0.84	c bounds 348261 >= 286250 @ 0.513035
0.78/0.84	c bounds 348261 >= 286251 @ 0.514033
0.78/0.84	c bounds 348261 >= 286257 @ 0.514806
0.78/0.84	c bounds 348261 >= 286274 @ 0.515253
0.78/0.84	c bounds 348260 >= 286274 @ 0.516029
0.78/0.84	c bounds 348260 >= 286286 @ 0.516426
0.78/0.84	c bounds 348260 >= 286287 @ 0.51687
0.78/0.84	c bounds 348260 >= 286298 @ 0.51732
0.78/0.84	c bounds 348260 >= 286299 @ 0.517759
0.78/0.84	c bounds 348260 >= 286321 @ 0.518193
0.78/0.84	c bounds 348260 >= 286322 @ 0.518634
0.78/0.84	c bounds 348258 >= 286322 @ 0.520061
0.78/0.84	c bounds 348258 >= 286323 @ 0.520547
0.78/0.84	c bounds 348258 >= 286324 @ 0.521003
0.78/0.84	c bounds 348258 >= 286326 @ 0.521003
0.78/0.84	c bounds 348258 >= 286334 @ 0.521003
0.78/0.84	c bounds 348255 >= 286334 @ 0.522172
0.78/0.84	c bounds 348255 >= 286335 @ 0.522662
0.78/0.84	c bounds 348255 >= 286336 @ 0.523102
0.78/0.84	c bounds 348255 >= 286337 @ 0.523568
0.78/0.84	c bounds 348255 >= 286338 @ 0.524017
0.88/0.92	c bounds 348254 >= 286338 @ 0.527443
0.88/0.92	c bounds 348254 >= 286341 @ 0.527954
0.88/0.92	c bounds 348254 >= 286342 @ 0.528412
0.88/0.92	c bounds 348254 >= 286371 @ 0.528871
0.88/0.92	c bounds 348254 >= 286383 @ 0.528963
0.88/0.92	c bounds 348254 >= 286394 @ 0.528963
0.88/0.92	c bounds 348254 >= 286395 @ 0.529327
0.88/0.92	c bounds 348254 >= 286397 @ 0.529793
0.88/0.92	c bounds 348254 >= 286405 @ 0.530255
0.88/0.92	c bounds 348254 >= 286406 @ 0.530721
0.88/0.92	c bounds 348254 >= 286407 @ 0.531182
0.88/0.92	c bounds 348254 >= 286416 @ 0.531653
0.88/0.92	c bounds 348252 >= 286416 @ 0.533335
0.88/0.92	c bounds 348252 >= 286420 @ 0.533838
0.88/0.92	c bounds 348252 >= 286422 @ 0.534292
0.88/0.92	c bounds 348252 >= 286427 @ 0.534775
0.88/0.92	c bounds 348252 >= 286428 @ 0.535218
0.88/0.92	c bounds 348252 >= 286429 @ 0.535657
0.88/0.92	c bounds 348252 >= 286430 @ 0.536134
0.88/0.92	c bounds 348251 >= 286430 @ 0.537813
0.88/0.92	c bounds 348251 >= 286432 @ 0.538314
0.88/0.92	c bounds 348251 >= 286433 @ 0.538785
0.88/0.92	c bounds 348251 >= 286434 @ 0.539254
0.88/0.92	c bounds 348251 >= 286435 @ 0.539738
0.88/0.92	c bounds 348251 >= 286437 @ 0.540206
0.88/0.92	c bounds 348123 >= 286437 @ 0.541939
0.88/0.92	c bounds 348123 >= 286438 @ 0.542482
0.88/0.92	c bounds 348123 >= 286439 @ 0.542933
0.88/0.92	c bounds 348123 >= 286441 @ 0.54347
0.88/0.92	c bounds 348123 >= 286443 @ 0.543931
0.88/0.92	c bounds 348123 >= 286444 @ 0.544471
0.88/0.92	c bounds 348123 >= 286445 @ 0.545014
0.88/0.92	c bounds 348090 >= 286445 @ 0.546903
0.88/0.92	c bounds 348090 >= 286446 @ 0.547435
0.88/0.92	c bounds 348090 >= 286452 @ 0.54796
0.88/0.92	c bounds 348090 >= 286453 @ 0.54846
0.88/0.92	c bounds 348090 >= 286455 @ 0.548976
0.88/0.92	c bounds 348090 >= 286456 @ 0.549496
0.88/0.92	c bounds 348086 >= 286456 @ 0.551076
0.88/0.92	c bounds 348086 >= 286457 @ 0.551645
0.88/0.92	c bounds 348086 >= 286459 @ 0.552142
0.88/0.92	c bounds 348086 >= 286464 @ 0.552643
0.88/0.92	c bounds 348086 >= 286465 @ 0.55315
0.88/0.92	c bounds 348086 >= 286471 @ 0.553673
0.88/0.92	c bounds 348078 >= 286471 @ 0.554881
0.88/0.92	c bounds 348078 >= 286475 @ 0.555401
0.88/0.92	c bounds 348078 >= 286477 @ 0.555893
0.88/0.92	c bounds 348078 >= 286482 @ 0.556404
0.88/0.92	c bounds 348075 >= 286482 @ 0.558611
0.88/0.92	c bounds 348075 >= 286485 @ 0.559145
0.88/0.92	c bounds 348075 >= 286486 @ 0.55962
0.88/0.92	c bounds 348075 >= 286487 @ 0.560114
0.88/0.92	c bounds 348075 >= 286488 @ 0.560607
0.88/0.92	c bounds 348075 >= 286489 @ 0.561092
0.88/0.92	c bounds 348075 >= 286490 @ 0.561599
0.88/0.92	c bounds 348075 >= 286494 @ 0.562107
0.88/0.92	c bounds 348071 >= 286494 @ 0.564817
0.88/0.92	c bounds 348071 >= 286543 @ 0.565366
0.88/0.92	c bounds 348071 >= 286578 @ 0.56587
0.88/0.92	c bounds 348071 >= 286580 @ 0.566355
0.88/0.92	c bounds 348071 >= 286582 @ 0.566838
0.88/0.92	c bounds 348071 >= 286586 @ 0.567328
0.88/0.92	c bounds 348071 >= 286587 @ 0.567824
0.88/0.92	c bounds 348071 >= 286588 @ 0.568321
0.88/0.92	c bounds 348071 >= 286594 @ 0.568817
0.88/0.92	c bounds 348070 >= 286594 @ 0.571204
0.88/0.92	c bounds 348070 >= 286595 @ 0.571762
0.88/0.92	c bounds 348070 >= 286597 @ 0.572278
0.88/0.92	c bounds 348070 >= 286598 @ 0.572799
0.88/0.92	c bounds 348070 >= 286676 @ 0.57332
0.88/0.92	c bounds 348070 >= 286683 @ 0.573822
0.88/0.92	c bounds 348070 >= 286685 @ 0.574318
0.88/0.92	c bounds 348070 >= 286686 @ 0.574838
0.88/0.92	c bounds 348060 >= 286686 @ 0.576067
0.88/0.92	c bounds 348060 >= 286688 @ 0.576634
0.88/0.92	c bounds 348060 >= 286689 @ 0.57716
0.88/0.92	c bounds 348060 >= 286690 @ 0.577697
0.88/0.92	c bounds 348060 >= 286691 @ 0.578215
0.88/0.92	c bounds 347972 >= 286691 @ 0.580953
0.88/0.92	c bounds 347972 >= 286692 @ 0.581526
0.88/0.92	c bounds 347972 >= 286696 @ 0.582056
0.88/0.92	c bounds 347972 >= 286702 @ 0.582572
0.88/0.92	c bounds 347972 >= 286703 @ 0.582684
0.88/0.92	c bounds 347972 >= 286716 @ 0.582684
0.88/0.92	c bounds 347972 >= 286717 @ 0.582686
0.88/0.92	c bounds 347972 >= 286718 @ 0.582686
0.88/0.92	c bounds 347972 >= 286769 @ 0.583201
0.88/0.92	c bounds 345924 >= 286769 @ 0.586039
0.88/0.92	c bounds 345924 >= 286783 @ 0.586617
0.88/0.92	c bounds 345924 >= 286794 @ 0.587156
0.88/0.92	c bounds 345924 >= 286795 @ 0.587698
0.88/0.92	c bounds 345924 >= 286797 @ 0.588234
0.88/0.92	c bounds 345924 >= 286798 @ 0.588776
0.88/0.92	c bounds 345924 >= 286799 @ 0.589319
0.88/0.92	c bounds 345924 >= 286801 @ 0.589861
0.88/0.92	c bounds 345924 >= 286811 @ 0.590384
0.88/0.92	c bounds 345921 >= 286811 @ 0.594345
0.88/0.92	c bounds 345921 >= 286812 @ 0.594892
0.88/0.92	c bounds 345921 >= 286813 @ 0.595431
0.88/0.92	c bounds 345921 >= 286814 @ 0.595967
0.88/0.92	c bounds 345921 >= 286815 @ 0.596504
0.88/0.92	c bounds 345921 >= 286816 @ 0.596611
0.88/0.92	c bounds 345921 >= 286818 @ 0.596611
0.88/0.92	c bounds 345921 >= 286819 @ 0.59712
0.88/0.92	c bounds 345921 >= 286820 @ 0.597575
0.88/0.92	c bounds 345921 >= 286821 @ 0.598088
0.88/0.92	c bounds 345921 >= 286822 @ 0.5986
0.88/0.92	c bounds 345921 >= 286824 @ 0.599124
0.88/0.92	c bounds 345921 >= 286827 @ 0.599676
0.88/0.92	c bounds 345920 >= 286827 @ 0.600582
0.88/0.92	c bounds 345920 >= 286828 @ 0.601031
0.88/1.01	c bounds 345920 >= 286830 @ 0.601538
0.88/1.01	c bounds 345920 >= 286832 @ 0.602091
0.88/1.01	c bounds 345920 >= 286833 @ 0.602612
0.88/1.01	c bounds 345902 >= 286833 @ 0.603836
0.88/1.01	c bounds 345902 >= 287241 @ 0.604648
0.88/1.01	c bounds 345902 >= 287401 @ 0.605122
0.88/1.01	c bounds 345870 >= 287401 @ 0.608085
0.88/1.01	c bounds 345870 >= 287438 @ 0.608962
0.88/1.01	c bounds 345870 >= 287460 @ 0.609659
0.88/1.01	c bounds 345870 >= 287467 @ 0.611063
0.88/1.01	c bounds 345870 >= 287497 @ 0.611824
0.88/1.01	c bounds 345870 >= 287523 @ 0.612509
0.88/1.01	c bounds 345870 >= 287548 @ 0.613142
0.88/1.01	c bounds 345870 >= 287586 @ 0.613999
0.88/1.01	c bounds 345870 >= 287598 @ 0.615164
0.88/1.01	c bounds 345870 >= 287603 @ 0.616197
0.88/1.01	c bounds 345870 >= 287620 @ 0.617047
0.88/1.01	c bounds 345870 >= 287622 @ 0.617488
0.88/1.01	c bounds 345870 >= 287625 @ 0.618495
0.88/1.01	c bounds 345870 >= 287627 @ 0.618498
0.88/1.01	c bounds 345869 >= 287627 @ 0.620306
0.88/1.01	c bounds 345869 >= 287633 @ 0.621924
0.88/1.01	c bounds 345869 >= 287639 @ 0.62248
0.88/1.01	c bounds 345869 >= 287641 @ 0.623566
0.88/1.01	c bounds 345869 >= 287643 @ 0.625467
0.88/1.01	c bounds 345867 >= 287643 @ 0.627062
0.88/1.01	c bounds 345867 >= 287645 @ 0.628927
0.88/1.01	c bounds 345867 >= 287646 @ 0.630817
0.88/1.01	c bounds 345859 >= 287646 @ 0.632462
0.88/1.01	c bounds 345859 >= 287647 @ 0.633807
0.88/1.01	c bounds 345859 >= 287906 @ 0.634847
0.88/1.01	c bounds 345858 >= 287906 @ 0.637292
0.88/1.01	c bounds 345858 >= 288165 @ 0.637999
0.88/1.01	c bounds 345858 >= 288402 @ 0.63875
0.88/1.01	c bounds 345858 >= 288630 @ 0.639396
0.88/1.01	c bounds 345858 >= 288858 @ 0.640056
0.88/1.01	c bounds 345666 >= 288858 @ 0.641797
0.88/1.01	c bounds 345666 >= 289079 @ 0.642633
0.88/1.01	c bounds 345666 >= 289298 @ 0.643324
0.88/1.01	c bounds 345666 >= 289495 @ 0.644059
0.88/1.01	c bounds 345652 >= 289495 @ 0.646817
0.88/1.01	c bounds 345652 >= 289686 @ 0.647655
0.88/1.01	c bounds 345652 >= 289873 @ 0.648458
0.88/1.01	c bounds 345652 >= 290060 @ 0.649072
0.88/1.01	c bounds 345652 >= 290062 @ 0.649513
0.88/1.01	c bounds 345652 >= 290071 @ 0.649939
0.88/1.01	c bounds 345652 >= 290075 @ 0.650366
0.88/1.01	c bounds 345651 >= 290075 @ 0.652184
0.88/1.01	c bounds 345651 >= 290077 @ 0.652644
0.88/1.01	c bounds 345651 >= 290078 @ 0.653193
0.88/1.01	c bounds 345651 >= 290080 @ 0.653628
0.88/1.01	c bounds 345651 >= 290083 @ 0.654058
0.88/1.01	c bounds 345651 >= 290091 @ 0.654494
0.88/1.01	c bounds 345651 >= 290092 @ 0.654931
0.88/1.01	c bounds 345651 >= 290093 @ 0.655364
0.88/1.01	c bounds 345649 >= 290093 @ 0.657555
0.88/1.01	c bounds 345649 >= 290098 @ 0.657994
0.88/1.01	c bounds 345649 >= 290100 @ 0.658419
0.88/1.01	c bounds 345649 >= 290141 @ 0.658854
0.88/1.01	c bounds 345649 >= 290142 @ 0.659271
0.88/1.01	c bounds 345649 >= 290144 @ 0.659696
0.88/1.01	c bounds 345649 >= 290147 @ 0.660121
0.88/1.01	c bounds 345649 >= 290168 @ 0.66056
0.88/1.01	c bounds 345649 >= 290171 @ 0.660995
0.88/1.01	c bounds 345644 >= 290171 @ 0.662241
0.88/1.01	c bounds 345644 >= 290172 @ 0.662693
0.88/1.01	c bounds 345644 >= 290183 @ 0.663143
0.88/1.01	c bounds 345644 >= 290277 @ 0.66361
0.88/1.01	c bounds 345643 >= 290277 @ 0.667122
0.88/1.01	c bounds 345643 >= 290299 @ 0.667347
0.88/1.01	c bounds 345643 >= 290309 @ 0.667565
0.88/1.01	c bounds 345643 >= 290310 @ 0.667783
0.88/1.01	c bounds 345643 >= 290343 @ 0.667994
0.88/1.01	c bounds 345643 >= 290344 @ 0.668206
0.88/1.01	c bounds 345643 >= 290363 @ 0.66843
0.88/1.01	c bounds 345643 >= 290365 @ 0.668639
0.88/1.01	c bounds 345643 >= 290366 @ 0.668847
0.88/1.01	c bounds 345643 >= 290367 @ 0.669055
0.88/1.01	c bounds 345643 >= 290368 @ 0.669278
0.88/1.01	c bounds 345643 >= 290369 @ 0.669501
0.88/1.01	c bounds 345643 >= 290371 @ 0.669716
0.88/1.01	c bounds 345643 >= 290381 @ 0.669931
0.88/1.01	c bounds 345643 >= 290382 @ 0.670151
0.88/1.01	c bounds 345643 >= 290383 @ 0.670369
0.88/1.01	c bounds 345643 >= 290405 @ 0.670578
0.88/1.01	c bounds 345643 >= 290406 @ 0.670791
0.88/1.01	c bounds 345643 >= 290407 @ 0.670999
0.88/1.01	c bounds 345643 >= 290409 @ 0.671205
0.88/1.01	c bounds 345643 >= 290413 @ 0.671419
0.88/1.01	c bounds 345643 >= 290414 @ 0.671629
0.88/1.01	c bounds 345643 >= 290415 @ 0.671835
0.88/1.01	c bounds 345643 >= 290420 @ 0.672038
0.88/1.01	c bounds 345643 >= 290421 @ 0.672254
0.88/1.01	c bounds 345643 >= 290423 @ 0.672467
0.88/1.01	c bounds 345643 >= 290424 @ 0.672673
0.88/1.01	c bounds 345643 >= 290426 @ 0.672889
0.88/1.01	c bounds 345643 >= 290427 @ 0.673096
0.88/1.01	c bounds 345643 >= 290429 @ 0.673309
0.88/1.01	c bounds 345643 >= 290491 @ 0.673523
0.88/1.01	c bounds 345643 >= 290526 @ 0.673729
0.88/1.01	c bounds 345643 >= 290527 @ 0.673937
0.88/1.01	c bounds 345643 >= 290556 @ 0.674149
0.88/1.01	c bounds 345643 >= 290557 @ 0.674366
0.88/1.01	c bounds 345643 >= 290558 @ 0.674584
0.88/1.01	c bounds 345643 >= 290590 @ 0.674809
0.88/1.01	c bounds 345643 >= 290591 @ 0.675021
0.88/1.01	c bounds 345643 >= 290592 @ 0.675246
0.88/1.01	c bounds 345643 >= 290593 @ 0.675471
0.88/1.01	c bounds 345643 >= 290617 @ 0.676103
0.88/1.01	c bounds 345643 >= 290665 @ 0.676196
0.88/1.01	c bounds 345643 >= 290781 @ 0.676387
1.00/1.07	c bounds 345639 >= 290781 @ 0.677432
1.00/1.07	c bounds 345639 >= 291117 @ 0.67817
1.00/1.07	c bounds 345639 >= 291376 @ 0.678629
1.00/1.07	c bounds 345639 >= 291635 @ 0.680409
1.00/1.07	c bounds 345637 >= 291635 @ 0.682539
1.00/1.07	c bounds 345637 >= 291867 @ 0.683114
1.00/1.07	c bounds 345637 >= 291870 @ 0.68376
1.00/1.07	c bounds 345637 >= 291871 @ 0.684361
1.00/1.07	c bounds 345637 >= 291987 @ 0.684954
1.00/1.07	c bounds 345636 >= 291987 @ 0.686802
1.00/1.07	c bounds 345636 >= 292081 @ 0.687461
1.00/1.07	c bounds 345636 >= 292122 @ 0.688049
1.00/1.07	c bounds 345636 >= 292306 @ 0.68856
1.00/1.07	c bounds 345636 >= 292485 @ 0.689144
1.00/1.07	c bounds 345636 >= 292647 @ 0.689826
1.00/1.07	c bounds 345632 >= 292647 @ 0.691532
1.00/1.07	c bounds 345632 >= 292648 @ 0.691641
1.00/1.07	c bounds 345632 >= 292649 @ 0.691641
1.00/1.07	c bounds 345632 >= 292668 @ 0.691684
1.00/1.07	c bounds 345632 >= 292669 @ 0.692018
1.00/1.07	c bounds 345632 >= 292670 @ 0.692346
1.00/1.07	c bounds 345632 >= 292671 @ 0.692669
1.00/1.07	c bounds 345632 >= 292673 @ 0.692999
1.00/1.07	c bounds 345632 >= 292675 @ 0.693325
1.00/1.07	c bounds 345629 >= 292675 @ 0.694676
1.00/1.07	c bounds 345629 >= 292677 @ 0.695034
1.00/1.07	c bounds 345629 >= 292678 @ 0.695365
1.00/1.07	c bounds 345629 >= 292679 @ 0.695692
1.00/1.07	c bounds 345629 >= 292680 @ 0.696023
1.00/1.07	c bounds 345629 >= 292695 @ 0.696355
1.00/1.07	c bounds 345629 >= 292697 @ 0.696692
1.00/1.07	c bounds 345629 >= 292699 @ 0.697031
1.00/1.07	c bounds 345628 >= 292699 @ 0.699205
1.00/1.07	c bounds 345628 >= 292701 @ 0.699553
1.00/1.07	c bounds 345628 >= 292714 @ 0.699893
1.00/1.07	c bounds 345628 >= 292726 @ 0.70023
1.00/1.07	c bounds 345628 >= 292738 @ 0.700569
1.00/1.07	c bounds 345628 >= 292749 @ 0.700909
1.00/1.07	c bounds 345628 >= 292759 @ 0.701247
1.00/1.07	c bounds 345628 >= 292768 @ 0.701581
1.00/1.07	c bounds 345628 >= 292776 @ 0.701915
1.00/1.07	c bounds 345628 >= 292781 @ 0.70225
1.00/1.07	c bounds 345628 >= 292786 @ 0.702588
1.00/1.07	c bounds 345628 >= 292849 @ 0.702678
1.00/1.07	c bounds 345628 >= 292863 @ 0.702678
1.00/1.07	c bounds 345625 >= 292863 @ 0.703364
1.00/1.07	c bounds 345625 >= 292870 @ 0.703693
1.00/1.07	c bounds 345625 >= 292875 @ 0.704038
1.00/1.07	c bounds 345625 >= 292879 @ 0.704377
1.00/1.07	c bounds 345625 >= 292883 @ 0.704725
1.00/1.07	c bounds 345625 >= 292886 @ 0.705042
1.00/1.07	c bounds 345625 >= 292889 @ 0.705359
1.00/1.07	c bounds 345624 >= 292889 @ 0.706716
1.00/1.07	c bounds 345624 >= 292892 @ 0.707048
1.00/1.07	c bounds 345624 >= 292894 @ 0.707373
1.00/1.07	c bounds 345624 >= 292896 @ 0.707652
1.00/1.07	c bounds 345624 >= 292898 @ 0.707652
1.00/1.07	c bounds 345624 >= 292900 @ 0.707652
1.00/1.07	c bounds 345624 >= 292901 @ 0.707677
1.00/1.07	c bounds 345624 >= 292902 @ 0.708003
1.00/1.07	c bounds 345623 >= 292902 @ 0.709364
1.00/1.07	c bounds 345623 >= 292903 @ 0.709705
1.00/1.07	c bounds 345623 >= 292904 @ 0.710049
1.00/1.07	c bounds 345623 >= 292905 @ 0.710373
1.00/1.07	c bounds 345623 >= 292961 @ 0.71072
1.00/1.07	c bounds 345623 >= 292963 @ 0.711064
1.00/1.07	c bounds 345623 >= 292983 @ 0.711407
1.00/1.07	c bounds 345623 >= 293099 @ 0.71175
1.00/1.07	c bounds 345623 >= 293104 @ 0.712102
1.00/1.07	c bounds 345265 >= 293104 @ 0.715629
1.00/1.07	c bounds 345265 >= 293106 @ 0.716003
1.00/1.07	c bounds 345265 >= 293109 @ 0.716366
1.00/1.07	c bounds 345265 >= 293110 @ 0.716715
1.00/1.07	c bounds 345265 >= 293111 @ 0.717063
1.00/1.07	c bounds 345265 >= 293112 @ 0.71741
1.00/1.07	c bounds 345265 >= 293113 @ 0.717762
1.00/1.07	c bounds 345265 >= 293114 @ 0.718107
1.00/1.07	c bounds 345265 >= 293116 @ 0.718452
1.00/1.07	c bounds 345265 >= 293122 @ 0.718805
1.00/1.07	c bounds 345265 >= 293125 @ 0.719154
1.00/1.07	c bounds 345265 >= 293126 @ 0.719499
1.00/1.07	c bounds 345265 >= 293132 @ 0.719842
1.00/1.07	c bounds 345265 >= 293133 @ 0.720176
1.00/1.07	c bounds 345265 >= 293143 @ 0.720536
1.00/1.07	c bounds 345265 >= 293145 @ 0.720874
1.00/1.07	c bounds 345265 >= 293146 @ 0.72121
1.00/1.07	c bounds 345265 >= 293150 @ 0.721565
1.00/1.07	c bounds 345262 >= 293150 @ 0.723122
1.00/1.07	c bounds 345262 >= 293151 @ 0.723489
1.00/1.07	c bounds 345262 >= 293152 @ 0.72387
1.00/1.07	c bounds 345262 >= 293153 @ 0.724229
1.00/1.07	c bounds 345262 >= 293154 @ 0.724566
1.00/1.07	c bounds 345262 >= 293155 @ 0.724566
1.00/1.07	c bounds 345262 >= 293156 @ 0.724566
1.00/1.07	c bounds 345262 >= 293157 @ 0.724697
1.00/1.07	c bounds 345262 >= 293163 @ 0.725057
1.00/1.07	c bounds 345244 >= 293163 @ 0.726147
1.00/1.07	c bounds 345244 >= 293175 @ 0.726516
1.00/1.07	c bounds 345244 >= 293177 @ 0.726892
1.00/1.07	c bounds 345244 >= 293178 @ 0.727261
1.00/1.07	c bounds 345244 >= 293229 @ 0.727634
1.00/1.07	c bounds 345244 >= 293234 @ 0.727992
1.00/1.07	c bounds 345236 >= 293234 @ 0.72854
1.00/1.07	c bounds 345236 >= 293235 @ 0.72854
1.00/1.07	c bounds 345236 >= 293267 @ 0.728912
1.00/1.07	c bounds 345236 >= 293268 @ 0.729275
1.00/1.07	c bounds 345236 >= 293270 @ 0.72956
1.00/1.07	c bounds 345236 >= 293271 @ 0.729912
1.00/1.07	c bounds 345236 >= 293327 @ 0.730276
1.00/1.07	c bounds 345233 >= 293327 @ 0.732452
1.00/1.07	c bounds 345233 >= 293329 @ 0.732872
1.09/1.13	c bounds 345233 >= 293330 @ 0.733245
1.09/1.13	c bounds 345233 >= 293331 @ 0.733626
1.09/1.13	c bounds 345233 >= 293332 @ 0.734002
1.09/1.13	c bounds 345233 >= 293333 @ 0.734371
1.09/1.13	c bounds 345233 >= 293334 @ 0.73474
1.09/1.13	c bounds 345233 >= 293339 @ 0.735115
1.09/1.13	c bounds 345233 >= 293340 @ 0.735488
1.09/1.13	c bounds 345233 >= 293341 @ 0.73586
1.09/1.13	c bounds 345233 >= 293342 @ 0.736226
1.09/1.13	c bounds 345227 >= 293342 @ 0.738839
1.09/1.13	c bounds 345227 >= 293354 @ 0.739234
1.09/1.13	c bounds 345227 >= 293355 @ 0.739606
1.09/1.13	c bounds 345227 >= 293364 @ 0.739974
1.09/1.13	c bounds 345227 >= 293365 @ 0.740342
1.09/1.13	c bounds 345227 >= 293366 @ 0.740707
1.09/1.13	c bounds 345227 >= 293367 @ 0.741059
1.09/1.13	c bounds 345227 >= 293369 @ 0.741416
1.09/1.13	c bounds 345227 >= 293370 @ 0.741783
1.09/1.13	c bounds 345227 >= 293376 @ 0.742165
1.09/1.13	c bounds 345227 >= 293377 @ 0.742539
1.09/1.13	c bounds 345227 >= 293381 @ 0.74291
1.09/1.13	c bounds 345221 >= 293381 @ 0.745361
1.09/1.13	c bounds 345221 >= 293383 @ 0.745361
1.09/1.13	c bounds 345221 >= 293388 @ 0.745361
1.09/1.13	c bounds 345221 >= 293389 @ 0.745486
1.09/1.13	c bounds 345221 >= 293390 @ 0.745862
1.09/1.13	c bounds 345221 >= 293396 @ 0.746242
1.09/1.13	c bounds 345221 >= 293407 @ 0.746617
1.09/1.13	c bounds 345221 >= 293408 @ 0.746987
1.09/1.13	c bounds 345221 >= 293409 @ 0.74736
1.09/1.13	c bounds 345221 >= 293411 @ 0.747753
1.09/1.13	c bounds 345221 >= 293414 @ 0.748125
1.09/1.13	c bounds 345221 >= 293420 @ 0.748503
1.09/1.13	c bounds 345174 >= 293420 @ 0.751129
1.09/1.13	c bounds 345174 >= 293423 @ 0.75153
1.09/1.13	c bounds 345174 >= 293428 @ 0.751909
1.09/1.13	c bounds 345174 >= 293429 @ 0.752287
1.09/1.13	c bounds 345174 >= 293430 @ 0.752671
1.09/1.13	c bounds 345174 >= 293431 @ 0.753047
1.09/1.13	c bounds 345174 >= 293432 @ 0.753436
1.09/1.13	c bounds 345174 >= 293495 @ 0.753822
1.09/1.13	c bounds 345174 >= 293508 @ 0.754201
1.09/1.13	c bounds 345174 >= 293542 @ 0.754587
1.09/1.13	c bounds 345174 >= 293543 @ 0.754958
1.09/1.13	c bounds 345174 >= 293544 @ 0.755339
1.09/1.13	c bounds 345173 >= 293544 @ 0.756894
1.09/1.13	c bounds 345173 >= 293545 @ 0.757297
1.09/1.13	c bounds 345173 >= 293546 @ 0.75768
1.09/1.13	c bounds 345173 >= 293581 @ 0.758062
1.09/1.13	c bounds 345173 >= 293588 @ 0.75845
1.09/1.13	c bounds 345173 >= 293590 @ 0.758833
1.09/1.13	c bounds 345173 >= 293614 @ 0.759209
1.09/1.13	c bounds 345173 >= 293631 @ 0.759591
1.09/1.13	c bounds 345131 >= 293631 @ 0.761137
1.09/1.13	c bounds 345131 >= 293632 @ 0.761541
1.09/1.13	c bounds 345131 >= 293634 @ 0.761931
1.09/1.13	c bounds 345131 >= 293635 @ 0.762316
1.09/1.13	c bounds 345131 >= 293637 @ 0.762706
1.09/1.13	c bounds 345131 >= 293654 @ 0.763089
1.09/1.13	c bounds 345131 >= 293660 @ 0.763479
1.09/1.13	c bounds 345131 >= 293663 @ 0.763875
1.09/1.13	c bounds 345122 >= 293663 @ 0.766987
1.09/1.13	c bounds 345122 >= 293687 @ 0.767346
1.09/1.13	c bounds 345122 >= 293708 @ 0.767346
1.09/1.13	c bounds 345122 >= 293740 @ 0.767346
1.09/1.13	c bounds 345122 >= 293764 @ 0.767624
1.09/1.13	c bounds 345122 >= 293788 @ 0.768013
1.09/1.13	c bounds 345122 >= 293820 @ 0.768423
1.09/1.13	c bounds 345122 >= 293839 @ 0.768845
1.09/1.13	c bounds 345122 >= 293872 @ 0.769262
1.09/1.13	c bounds 345122 >= 293891 @ 0.769661
1.09/1.13	c bounds 345122 >= 293915 @ 0.77009
1.09/1.13	c bounds 345122 >= 293979 @ 0.770516
1.09/1.13	c bounds 345122 >= 294041 @ 0.770942
1.09/1.13	c bounds 345121 >= 294041 @ 0.77237
1.09/1.13	c bounds 345121 >= 294076 @ 0.772723
1.09/1.13	c bounds 345121 >= 294105 @ 0.773063
1.09/1.13	c bounds 345121 >= 294113 @ 0.773402
1.09/1.13	c bounds 345121 >= 294118 @ 0.773736
1.09/1.13	c bounds 345112 >= 294118 @ 0.77531
1.09/1.13	c bounds 345112 >= 294119 @ 0.775657
1.09/1.13	c bounds 345112 >= 294121 @ 0.775989
1.09/1.13	c bounds 345112 >= 294122 @ 0.776301
1.09/1.13	c bounds 345112 >= 294124 @ 0.776301
1.09/1.13	c bounds 345112 >= 294125 @ 0.776301
1.09/1.13	c bounds 345112 >= 294127 @ 0.776304
1.09/1.13	c bounds 345112 >= 294128 @ 0.776631
1.09/1.13	c bounds 345112 >= 294130 @ 0.776969
1.09/1.13	c bounds 345110 >= 294130 @ 0.777886
1.09/1.13	c bounds 345110 >= 294131 @ 0.778235
1.09/1.13	c bounds 345110 >= 294136 @ 0.778595
1.09/1.13	c bounds 345110 >= 294138 @ 0.778943
1.09/1.13	c bounds 345110 >= 294140 @ 0.779294
1.09/1.13	c bounds 345107 >= 294140 @ 0.780204
1.09/1.13	c bounds 345107 >= 294159 @ 0.780563
1.09/1.13	c bounds 345107 >= 294199 @ 0.780905
1.09/1.13	c bounds 345107 >= 294200 @ 0.78125
1.09/1.13	c bounds 345107 >= 294201 @ 0.781603
1.09/1.13	c bounds 345107 >= 294203 @ 0.781952
1.09/1.13	c bounds 345096 >= 294203 @ 0.783186
1.09/1.13	c bounds 345096 >= 294204 @ 0.783539
1.09/1.13	c bounds 345096 >= 294205 @ 0.783903
1.09/1.13	c bounds 345096 >= 294206 @ 0.784235
1.09/1.13	c bounds 345096 >= 294207 @ 0.784577
1.09/1.13	c bounds 345096 >= 294208 @ 0.784921
1.09/1.13	c bounds 345095 >= 294208 @ 0.785828
1.09/1.13	c bounds 345095 >= 294209 @ 0.786185
1.09/1.13	c bounds 345095 >= 294211 @ 0.786522
1.09/1.13	c bounds 345095 >= 294215 @ 0.786847
1.09/1.13	c bounds 345095 >= 294216 @ 0.787171
1.09/1.13	c bounds 345092 >= 294216 @ 0.788677
1.09/1.19	c bounds 345092 >= 294226 @ 0.78902
1.09/1.19	c bounds 345092 >= 294228 @ 0.789358
1.09/1.19	c bounds 345092 >= 294229 @ 0.789692
1.09/1.19	c bounds 345092 >= 294230 @ 0.790024
1.09/1.19	c bounds 345092 >= 294232 @ 0.79036
1.09/1.19	c bounds 345092 >= 294233 @ 0.790694
1.09/1.19	c bounds 345092 >= 294238 @ 0.791045
1.09/1.19	c bounds 345083 >= 294238 @ 0.79358
1.09/1.19	c bounds 345083 >= 294240 @ 0.7941
1.09/1.19	c bounds 345083 >= 294242 @ 0.794452
1.09/1.19	c bounds 345083 >= 294254 @ 0.794795
1.09/1.19	c bounds 345083 >= 294255 @ 0.795141
1.09/1.19	c bounds 345083 >= 294256 @ 0.795484
1.09/1.19	c bounds 345083 >= 294257 @ 0.795819
1.09/1.19	c bounds 345083 >= 294258 @ 0.796165
1.09/1.19	c bounds 345083 >= 294260 @ 0.796498
1.09/1.19	c bounds 345083 >= 294261 @ 0.796836
1.09/1.19	c bounds 345083 >= 294263 @ 0.797169
1.09/1.19	c bounds 345083 >= 294264 @ 0.797506
1.09/1.19	c bounds 345081 >= 294264 @ 0.799364
1.09/1.19	c bounds 345081 >= 294265 @ 0.79973
1.09/1.19	c bounds 345081 >= 294267 @ 0.800076
1.09/1.19	c bounds 345081 >= 294269 @ 0.800424
1.09/1.19	c bounds 345081 >= 294270 @ 0.800764
1.09/1.19	c bounds 345081 >= 294276 @ 0.80111
1.09/1.19	c bounds 345081 >= 294278 @ 0.801461
1.09/1.19	c bounds 345081 >= 294279 @ 0.801814
1.09/1.19	c bounds 345081 >= 294281 @ 0.802159
1.09/1.19	c bounds 345079 >= 294281 @ 0.804929
1.09/1.19	c bounds 345079 >= 294282 @ 0.805154
1.09/1.19	c bounds 345079 >= 294288 @ 0.805154
1.09/1.19	c bounds 345079 >= 294293 @ 0.805154
1.09/1.19	c bounds 345079 >= 294294 @ 0.805504
1.09/1.19	c bounds 345079 >= 294295 @ 0.805844
1.09/1.19	c bounds 345079 >= 294296 @ 0.806153
1.09/1.19	c bounds 345079 >= 294297 @ 0.806501
1.09/1.19	c bounds 345079 >= 294299 @ 0.806847
1.09/1.19	c bounds 345079 >= 294300 @ 0.80719
1.09/1.19	c bounds 345079 >= 294303 @ 0.807533
1.09/1.19	c bounds 345079 >= 294304 @ 0.807882
1.09/1.19	c bounds 345079 >= 294305 @ 0.808226
1.09/1.19	c bounds 345075 >= 294305 @ 0.809129
1.09/1.19	c bounds 345075 >= 294306 @ 0.809129
1.09/1.19	c bounds 345075 >= 294422 @ 0.809129
1.09/1.19	c bounds 345075 >= 294455 @ 0.809252
1.09/1.19	c bounds 345075 >= 294457 @ 0.809673
1.09/1.19	c bounds 345069 >= 294457 @ 0.810842
1.09/1.19	c bounds 345069 >= 294476 @ 0.811264
1.09/1.19	c bounds 345069 >= 294500 @ 0.811662
1.09/1.19	c bounds 345069 >= 294501 @ 0.812079
1.09/1.19	c bounds 345069 >= 294503 @ 0.81249
1.09/1.19	c bounds 345066 >= 294503 @ 0.813688
1.09/1.19	c bounds 345066 >= 294505 @ 0.814116
1.09/1.19	c bounds 345066 >= 294517 @ 0.814116
1.09/1.19	c bounds 345066 >= 294521 @ 0.814116
1.09/1.19	c bounds 345066 >= 294522 @ 0.814418
1.09/1.19	c #Conflicts:       1000 | #Constraints:       9122
1.09/1.19	c bounds 345063 >= 294522 @ 0.8201
1.09/1.19	c bounds 345063 >= 294524 @ 0.820708
1.09/1.19	c bounds 345063 >= 294527 @ 0.821303
1.09/1.19	c bounds 345063 >= 294586 @ 0.821721
1.09/1.19	c bounds 345063 >= 294621 @ 0.822132
1.09/1.19	c bounds 345063 >= 294634 @ 0.822547
1.09/1.19	c bounds 345063 >= 294645 @ 0.822962
1.09/1.19	c bounds 345063 >= 294690 @ 0.823373
1.09/1.19	c bounds 345063 >= 294723 @ 0.823784
1.09/1.19	c bounds 345063 >= 294726 @ 0.824182
1.09/1.19	c bounds 345063 >= 294731 @ 0.824591
1.09/1.19	c bounds 345063 >= 294732 @ 0.824995
1.09/1.19	c bounds 345063 >= 294737 @ 0.825398
1.09/1.19	c bounds 345063 >= 294738 @ 0.825799
1.09/1.19	c bounds 345063 >= 294740 @ 0.826206
1.09/1.19	c bounds 345063 >= 294741 @ 0.826606
1.09/1.19	c bounds 345063 >= 294746 @ 0.827013
1.09/1.19	c bounds 345063 >= 294748 @ 0.827423
1.09/1.19	c bounds 345062 >= 294748 @ 0.829624
1.09/1.19	c bounds 345062 >= 294750 @ 0.830064
1.09/1.19	c bounds 345062 >= 294780 @ 0.830476
1.09/1.19	c bounds 345062 >= 294782 @ 0.83089
1.09/1.19	c bounds 345062 >= 294783 @ 0.831299
1.09/1.19	c bounds 345062 >= 294796 @ 0.831714
1.09/1.19	c bounds 345062 >= 294825 @ 0.832133
1.09/1.19	c bounds 345062 >= 294845 @ 0.832546
1.09/1.19	c bounds 345062 >= 294864 @ 0.832966
1.09/1.19	c bounds 345033 >= 294864 @ 0.834851
1.09/1.19	c bounds 345033 >= 294867 @ 0.835306
1.09/1.19	c bounds 345033 >= 294871 @ 0.83572
1.09/1.19	c bounds 345033 >= 294879 @ 0.836144
1.09/1.19	c bounds 345033 >= 294882 @ 0.83656
1.09/1.19	c bounds 345033 >= 294885 @ 0.836975
1.09/1.19	c bounds 345033 >= 294888 @ 0.8374
1.09/1.19	c bounds 345032 >= 294888 @ 0.8392
1.09/1.19	c bounds 345032 >= 294891 @ 0.839683
1.09/1.19	c bounds 345032 >= 294893 @ 0.840115
1.09/1.19	c bounds 345032 >= 294897 @ 0.840536
1.09/1.19	c bounds 345032 >= 294898 @ 0.84096
1.09/1.19	c bounds 345032 >= 294905 @ 0.841399
1.09/1.19	c bounds 345032 >= 294906 @ 0.841822
1.09/1.19	c bounds 345031 >= 294906 @ 0.842988
1.09/1.19	c bounds 345031 >= 294907 @ 0.843452
1.09/1.19	c bounds 345031 >= 294913 @ 0.843887
1.09/1.19	c bounds 345031 >= 294918 @ 0.843982
1.09/1.19	c bounds 345031 >= 294919 @ 0.843982
1.09/1.19	c bounds 345023 >= 294919 @ 0.845154
1.09/1.19	c bounds 345023 >= 294925 @ 0.84562
1.09/1.19	c bounds 345023 >= 294963 @ 0.845962
1.09/1.19	c bounds 345023 >= 294969 @ 0.846386
1.09/1.19	c bounds 345023 >= 294971 @ 0.84681
1.09/1.19	c bounds 345022 >= 294971 @ 0.848959
1.09/1.19	c bounds 345022 >= 295007 @ 0.848959
1.09/1.19	c bounds 345022 >= 295010 @ 0.8494
1.18/1.25	c bounds 345022 >= 295182 @ 0.849808
1.18/1.25	c bounds 345022 >= 295184 @ 0.850209
1.18/1.25	c bounds 345022 >= 295220 @ 0.850639
1.18/1.25	c bounds 345022 >= 295232 @ 0.851065
1.18/1.25	c bounds 345022 >= 295233 @ 0.851499
1.18/1.25	c bounds 345022 >= 295239 @ 0.851931
1.18/1.25	c bounds 345020 >= 295239 @ 0.853653
1.18/1.25	c bounds 345020 >= 295256 @ 0.854122
1.18/1.25	c bounds 345020 >= 295259 @ 0.854575
1.18/1.25	c bounds 345020 >= 295261 @ 0.855024
1.18/1.25	c bounds 345020 >= 295274 @ 0.85546
1.18/1.25	c bounds 345020 >= 295438 @ 0.855905
1.18/1.25	c bounds 345020 >= 295449 @ 0.856379
1.18/1.25	c bounds 345017 >= 295449 @ 0.857881
1.18/1.25	c bounds 345017 >= 295457 @ 0.858371
1.18/1.25	c bounds 345017 >= 295459 @ 0.858838
1.18/1.25	c bounds 345017 >= 295493 @ 0.859302
1.18/1.25	c bounds 345017 >= 295501 @ 0.859768
1.18/1.25	c bounds 345014 >= 295501 @ 0.860945
1.18/1.25	c bounds 345014 >= 295502 @ 0.861507
1.18/1.25	c bounds 345014 >= 295503 @ 0.862025
1.18/1.25	c bounds 345014 >= 295504 @ 0.862541
1.18/1.25	c bounds 345013 >= 295504 @ 0.864887
1.18/1.25	c bounds 345013 >= 295505 @ 0.865303
1.18/1.25	c bounds 345013 >= 295506 @ 0.865714
1.18/1.25	c bounds 345013 >= 295507 @ 0.866185
1.18/1.25	c bounds 345013 >= 295508 @ 0.8667
1.18/1.25	c bounds 345013 >= 295509 @ 0.867204
1.18/1.25	c bounds 345013 >= 295510 @ 0.867718
1.18/1.25	c bounds 345013 >= 295511 @ 0.868224
1.18/1.25	c bounds 345013 >= 295512 @ 0.86874
1.18/1.25	c bounds 345001 >= 295512 @ 0.869998
1.18/1.25	c bounds 345001 >= 295513 @ 0.870562
1.18/1.25	c bounds 345001 >= 295514 @ 0.871088
1.18/1.25	c bounds 345001 >= 295515 @ 0.871611
1.18/1.25	c bounds 344999 >= 295515 @ 0.872816
1.18/1.25	c bounds 344999 >= 295516 @ 0.873387
1.18/1.25	c bounds 344999 >= 295517 @ 0.873909
1.18/1.25	c bounds 344999 >= 295518 @ 0.874437
1.18/1.25	c bounds 344998 >= 295518 @ 0.876261
1.18/1.25	c bounds 344998 >= 295519 @ 0.876843
1.18/1.25	c bounds 344998 >= 295534 @ 0.877377
1.18/1.25	c bounds 344998 >= 295546 @ 0.877905
1.18/1.25	c bounds 344998 >= 295547 @ 0.878436
1.18/1.25	c bounds 344993 >= 295547 @ 0.879415
1.18/1.25	c bounds 344993 >= 295586 @ 0.88
1.18/1.25	c bounds 344993 >= 295833 @ 0.880542
1.18/1.25	c bounds 344954 >= 295833 @ 0.881877
1.18/1.25	c bounds 344954 >= 295980 @ 0.88229
1.18/1.25	c bounds 344954 >= 297329 @ 0.882626
1.18/1.25	c bounds 344954 >= 297476 @ 0.882809
1.18/1.25	c bounds 344954 >= 297511 @ 0.882992
1.18/1.25	c bounds 344954 >= 297693 @ 0.883174
1.18/1.25	c bounds 344954 >= 297694 @ 0.883367
1.18/1.25	c bounds 344954 >= 297695 @ 0.88356
1.18/1.25	c bounds 344954 >= 297703 @ 0.883753
1.18/1.25	c bounds 344954 >= 297705 @ 0.883951
1.18/1.25	c bounds 344954 >= 297708 @ 0.88414
1.18/1.25	c bounds 344954 >= 297709 @ 0.884332
1.18/1.25	c bounds 344954 >= 297738 @ 0.88452
1.18/1.25	c bounds 344954 >= 297874 @ 0.884754
1.18/1.25	c bounds 344954 >= 297886 @ 0.884956
1.18/1.25	c bounds 344954 >= 297897 @ 0.885158
1.18/1.25	c bounds 344954 >= 297898 @ 0.885359
1.18/1.25	c bounds 344954 >= 297904 @ 0.885556
1.18/1.25	c bounds 344954 >= 298164 @ 0.885872
1.18/1.25	c bounds 344954 >= 298360 @ 0.886217
1.18/1.25	c bounds 344954 >= 298543 @ 0.886881
1.18/1.25	c bounds 344949 >= 298543 @ 0.8884
1.18/1.25	c bounds 344949 >= 298692 @ 0.888724
1.18/1.25	c bounds 344949 >= 298839 @ 0.889423
1.18/1.25	c bounds 344949 >= 298952 @ 0.889795
1.18/1.25	c bounds 344949 >= 299030 @ 0.89038
1.18/1.25	c bounds 344949 >= 299108 @ 0.890743
1.18/1.25	c bounds 344949 >= 299160 @ 0.891147
1.18/1.25	c bounds 344949 >= 299211 @ 0.891721
1.18/1.25	c bounds 344949 >= 299262 @ 0.892164
1.18/1.25	c bounds 344949 >= 299311 @ 0.892562
1.18/1.25	c bounds 344949 >= 299360 @ 0.892769
1.18/1.25	c bounds 344949 >= 299401 @ 0.892769
1.18/1.25	c bounds 344939 >= 299401 @ 0.893518
1.18/1.25	c bounds 344939 >= 299442 @ 0.893901
1.18/1.25	c bounds 344939 >= 299483 @ 0.894572
1.18/1.25	c bounds 344939 >= 299524 @ 0.895289
1.18/1.25	c bounds 344939 >= 299720 @ 0.895702
1.18/1.25	c bounds 344939 >= 299783 @ 0.896095
1.18/1.25	c bounds 344919 >= 299783 @ 0.897109
1.18/1.25	c bounds 344919 >= 299791 @ 0.897391
1.18/1.25	c bounds 344919 >= 299792 @ 0.897656
1.18/1.25	c bounds 344919 >= 299803 @ 0.897914
1.18/1.25	c bounds 344919 >= 299840 @ 0.898176
1.18/1.25	c bounds 344919 >= 299870 @ 0.898436
1.18/1.25	c bounds 344919 >= 299905 @ 0.898688
1.18/1.25	c bounds 344919 >= 299919 @ 0.898936
1.18/1.25	c bounds 344919 >= 299934 @ 0.899189
1.18/1.25	c bounds 344919 >= 299935 @ 0.899447
1.18/1.25	c bounds 344918 >= 299935 @ 0.90066
1.18/1.25	c bounds 344918 >= 299941 @ 0.900926
1.18/1.25	c bounds 344918 >= 299942 @ 0.901169
1.18/1.25	c bounds 344918 >= 299943 @ 0.90142
1.18/1.25	c bounds 344918 >= 299947 @ 0.901675
1.18/1.25	c bounds 344918 >= 299948 @ 0.901934
1.18/1.25	c bounds 344918 >= 299949 @ 0.902187
1.18/1.25	c bounds 344918 >= 299950 @ 0.902441
1.18/1.25	c bounds 344918 >= 299952 @ 0.902698
1.18/1.25	c bounds 344918 >= 299954 @ 0.902952
1.18/1.25	c bounds 344918 >= 299955 @ 0.903206
1.18/1.25	c bounds 344918 >= 299956 @ 0.903474
1.18/1.25	c bounds 344914 >= 299956 @ 0.904681
1.18/1.25	c bounds 344914 >= 299969 @ 0.90496
1.18/1.25	c bounds 344914 >= 299970 @ 0.905225
1.28/1.33	c bounds 344914 >= 299976 @ 0.905487
1.28/1.33	c bounds 344914 >= 299977 @ 0.905736
1.28/1.33	c bounds 344914 >= 299981 @ 0.905994
1.28/1.33	c bounds 344914 >= 299992 @ 0.90625
1.28/1.33	c bounds 344914 >= 300006 @ 0.906506
1.28/1.33	c bounds 344914 >= 300041 @ 0.906776
1.28/1.33	c bounds 344914 >= 300223 @ 0.907041
1.28/1.33	c bounds 344914 >= 300224 @ 0.907314
1.28/1.33	c bounds 344909 >= 300224 @ 0.908302
1.28/1.33	c bounds 344909 >= 300225 @ 0.908599
1.28/1.33	c bounds 344909 >= 300233 @ 0.908883
1.28/1.33	c bounds 344909 >= 300235 @ 0.909156
1.28/1.33	c bounds 344909 >= 300238 @ 0.90943
1.28/1.33	c bounds 344909 >= 300239 @ 0.909703
1.28/1.33	c bounds 344909 >= 300268 @ 0.909988
1.28/1.33	c bounds 344909 >= 300280 @ 0.910262
1.28/1.33	c bounds 344909 >= 300291 @ 0.910538
1.28/1.33	c bounds 344909 >= 300292 @ 0.910812
1.28/1.33	c bounds 344907 >= 300292 @ 0.91201
1.28/1.33	c bounds 344907 >= 300298 @ 0.912303
1.28/1.33	c bounds 344907 >= 300445 @ 0.912586
1.28/1.33	c bounds 344907 >= 300480 @ 0.912872
1.28/1.33	c bounds 344907 >= 300492 @ 0.913146
1.28/1.33	c bounds 344907 >= 300493 @ 0.913436
1.28/1.33	c bounds 344907 >= 300609 @ 0.913724
1.28/1.33	c bounds 344907 >= 300617 @ 0.914019
1.28/1.33	c bounds 344907 >= 300619 @ 0.914312
1.28/1.33	c bounds 344907 >= 300620 @ 0.914608
1.28/1.33	c bounds 344887 >= 300620 @ 0.915605
1.28/1.33	c bounds 344887 >= 300633 @ 0.915917
1.28/1.33	c bounds 344887 >= 300644 @ 0.916214
1.28/1.33	c bounds 344887 >= 300664 @ 0.916521
1.28/1.33	c bounds 344887 >= 300670 @ 0.916832
1.28/1.33	c bounds 344887 >= 300677 @ 0.917148
1.28/1.33	c bounds 344887 >= 300694 @ 0.91745
1.28/1.33	c bounds 344887 >= 300697 @ 0.917749
1.28/1.33	c bounds 344885 >= 300697 @ 0.919514
1.28/1.33	c bounds 344885 >= 300698 @ 0.919842
1.28/1.33	c bounds 344885 >= 300707 @ 0.920149
1.28/1.33	c bounds 344885 >= 300709 @ 0.920448
1.28/1.33	c bounds 344885 >= 300712 @ 0.920762
1.28/1.33	c bounds 344885 >= 300715 @ 0.921062
1.28/1.33	c bounds 344885 >= 300720 @ 0.921376
1.28/1.33	c bounds 344885 >= 300721 @ 0.92169
1.28/1.33	c bounds 344885 >= 300724 @ 0.922011
1.28/1.33	c bounds 344885 >= 300729 @ 0.922329
1.28/1.33	c bounds 344885 >= 300988 @ 0.922897
1.28/1.33	c bounds 344885 >= 301220 @ 0.923707
1.28/1.33	c bounds 344884 >= 301220 @ 0.924604
1.28/1.33	c bounds 344884 >= 301411 @ 0.92478
1.28/1.33	c bounds 344884 >= 301531 @ 0.925262
1.28/1.33	c bounds 344884 >= 301569 @ 0.925612
1.28/1.33	c bounds 344881 >= 301569 @ 0.92612
1.28/1.33	c bounds 344881 >= 301680 @ 0.92658
1.28/1.33	c bounds 344881 >= 301718 @ 0.927117
1.28/1.33	c bounds 344881 >= 301753 @ 0.927731
1.28/1.33	c bounds 344881 >= 301788 @ 0.928344
1.28/1.33	c bounds 344881 >= 301891 @ 0.92878
1.28/1.33	c bounds 344881 >= 301935 @ 0.929523
1.28/1.33	c bounds 344877 >= 301935 @ 0.930882
1.28/1.33	c bounds 344877 >= 301969 @ 0.931562
1.28/1.33	c bounds 344877 >= 302016 @ 0.932
1.28/1.33	c bounds 344877 >= 302071 @ 0.932864
1.28/1.33	c bounds 344877 >= 302120 @ 0.933366
1.28/1.33	c bounds 344877 >= 302167 @ 0.933578
1.28/1.33	c bounds 344872 >= 302167 @ 0.934445
1.28/1.33	c bounds 344872 >= 302197 @ 0.934576
1.28/1.33	c bounds 344872 >= 302226 @ 0.935015
1.28/1.33	c bounds 344872 >= 302254 @ 0.935935
1.28/1.33	c bounds 344867 >= 302254 @ 0.93718
1.28/1.33	c bounds 344867 >= 302278 @ 0.937566
1.28/1.33	c bounds 344867 >= 302300 @ 0.937847
1.28/1.33	c bounds 344867 >= 302321 @ 0.93868
1.28/1.33	c bounds 344867 >= 302341 @ 0.939401
1.28/1.33	c bounds 344867 >= 302360 @ 0.939559
1.28/1.33	c bounds 344864 >= 302360 @ 0.941046
1.28/1.33	c bounds 344864 >= 302377 @ 0.941551
1.28/1.33	c bounds 344864 >= 302394 @ 0.941904
1.28/1.33	c bounds 344864 >= 302411 @ 0.942756
1.28/1.33	c bounds 344864 >= 302425 @ 0.943671
1.28/1.33	c bounds 344864 >= 302439 @ 0.944649
1.28/1.33	c bounds 344864 >= 302452 @ 0.945519
1.28/1.33	c bounds 344864 >= 302465 @ 0.946515
1.28/1.33	c bounds 344809 >= 302465 @ 0.946945
1.28/1.33	c bounds 344809 >= 302477 @ 0.947776
1.28/1.33	c bounds 344809 >= 302489 @ 0.948758
1.28/1.33	c bounds 344809 >= 302501 @ 0.949796
1.28/1.33	c bounds 344808 >= 302501 @ 0.951095
1.28/1.33	c bounds 344808 >= 302548 @ 0.951658
1.28/1.33	c bounds 344808 >= 302582 @ 0.952489
1.28/1.33	c bounds 344808 >= 302610 @ 0.952489
1.28/1.33	c bounds 344808 >= 302622 @ 0.952491
1.28/1.33	c bounds 344808 >= 302633 @ 0.95335
1.28/1.33	c bounds 344804 >= 302633 @ 0.954997
1.28/1.33	c bounds 344804 >= 302644 @ 0.95548
1.28/1.33	c bounds 344804 >= 302655 @ 0.955481
1.28/1.33	c bounds 344804 >= 302665 @ 0.955482
1.28/1.33	c bounds 344804 >= 302674 @ 0.956135
1.28/1.33	c bounds 344804 >= 302683 @ 0.956479
1.28/1.33	c bounds 344804 >= 302691 @ 0.956481
1.28/1.33	c bounds 344796 >= 302691 @ 0.956998
1.28/1.33	c bounds 344796 >= 302699 @ 0.957478
1.28/1.33	c bounds 344796 >= 302707 @ 0.957479
1.28/1.33	c bounds 344796 >= 302715 @ 0.95748
1.28/1.33	c bounds 344796 >= 302722 @ 0.957689
1.28/1.33	c bounds 344793 >= 302722 @ 0.958802
1.28/1.33	c bounds 344793 >= 302729 @ 0.959472
1.28/1.33	c bounds 344793 >= 302745 @ 0.960042
1.28/1.33	c bounds 344793 >= 302764 @ 0.960467
1.28/1.33	c bounds 344793 >= 302770 @ 0.960855
1.28/1.33	c bounds 344793 >= 302776 @ 0.961465
1.38/1.42	c bounds 344777 >= 302776 @ 0.963114
1.38/1.42	c bounds 344777 >= 302782 @ 0.964369
1.38/1.42	c bounds 344777 >= 302788 @ 0.965621
1.38/1.42	c bounds 344777 >= 302794 @ 0.966906
1.38/1.42	c bounds 344777 >= 302829 @ 0.9676
1.38/1.42	c bounds 344777 >= 302848 @ 0.968763
1.38/1.42	c bounds 344777 >= 302854 @ 0.970245
1.38/1.42	c bounds 344776 >= 302854 @ 0.972296
1.38/1.42	c bounds 344776 >= 302880 @ 0.973088
1.38/1.42	c bounds 344776 >= 302886 @ 0.973619
1.38/1.42	c bounds 344776 >= 302904 @ 0.974345
1.38/1.42	c bounds 344776 >= 302909 @ 0.974543
1.38/1.42	c bounds 344776 >= 302914 @ 0.975731
1.38/1.42	c bounds 344776 >= 302919 @ 0.976409
1.38/1.42	c bounds 344775 >= 302919 @ 0.980455
1.38/1.42	c bounds 344775 >= 302924 @ 0.981389
1.38/1.42	c bounds 344775 >= 302929 @ 0.981402
1.38/1.42	c bounds 344775 >= 302951 @ 0.982286
1.38/1.42	c bounds 344775 >= 302955 @ 0.982679
1.38/1.42	c bounds 344775 >= 302959 @ 0.983385
1.38/1.42	c bounds 344775 >= 302963 @ 0.983385
1.38/1.42	c bounds 344775 >= 302972 @ 0.984337
1.38/1.42	c bounds 344775 >= 302976 @ 0.985839
1.38/1.42	c bounds 344775 >= 302980 @ 0.986374
1.38/1.42	c bounds 344775 >= 302991 @ 0.986375
1.38/1.42	c bounds 344775 >= 302996 @ 0.986386
1.38/1.42	c bounds 344775 >= 303001 @ 0.987428
1.38/1.42	c bounds 344775 >= 303007 @ 0.98861
1.38/1.42	c bounds 344770 >= 303007 @ 0.990126
1.38/1.42	c bounds 344770 >= 303011 @ 0.99171
1.38/1.42	c bounds 344770 >= 303015 @ 0.992596
1.38/1.42	c bounds 344770 >= 303019 @ 0.994033
1.38/1.42	c bounds 344768 >= 303019 @ 0.995379
1.38/1.42	c bounds 344768 >= 303023 @ 0.996336
1.38/1.42	c bounds 344765 >= 303023 @ 0.997243
1.38/1.42	c bounds 344765 >= 303048 @ 0.997334
1.38/1.42	c bounds 344765 >= 303081 @ 0.997336
1.38/1.42	c bounds 344765 >= 303091 @ 0.997336
1.38/1.42	c bounds 344765 >= 303096 @ 0.997532
1.38/1.42	c bounds 344763 >= 303096 @ 0.998873
1.38/1.42	c bounds 344763 >= 303101 @ 1.00002
1.38/1.42	c bounds 344763 >= 303105 @ 1.00051
1.38/1.42	c bounds 344763 >= 303114 @ 1.00132
1.38/1.42	c bounds 344763 >= 303122 @ 1.00133
1.38/1.42	c bounds 344759 >= 303122 @ 1.00253
1.38/1.42	c bounds 344759 >= 303125 @ 1.00374
1.38/1.42	c bounds 344759 >= 303128 @ 1.00431
1.38/1.42	c bounds 344759 >= 303131 @ 1.00432
1.38/1.42	c bounds 344759 >= 303134 @ 1.00455
1.38/1.42	c bounds 344759 >= 303137 @ 1.00531
1.38/1.42	c bounds 344759 >= 303145 @ 1.00531
1.38/1.42	c bounds 344759 >= 303148 @ 1.00548
1.38/1.42	c bounds 344754 >= 303148 @ 1.00672
1.38/1.42	c bounds 344754 >= 303151 @ 1.00822
1.38/1.42	c bounds 344754 >= 303154 @ 1.00989
1.38/1.42	c bounds 344750 >= 303154 @ 1.01173
1.38/1.42	c bounds 344750 >= 303157 @ 1.01228
1.38/1.42	c bounds 344750 >= 303159 @ 1.01264
1.38/1.42	c bounds 344750 >= 303161 @ 1.01406
1.38/1.42	c bounds 344750 >= 303163 @ 1.01446
1.38/1.42	c bounds 344750 >= 303170 @ 1.01545
1.38/1.42	c bounds 344750 >= 303172 @ 1.01739
1.38/1.42	c bounds 344750 >= 303172 @ 1.02081
1.38/1.42	c cpu time 1.02081 s
1.38/1.42	c deterministic time 32367999 3.24e+07
1.38/1.42	c optimization time 0.163657 s
1.38/1.42	c total solve time 0.857158 s
1.38/1.42	c core-guided solve time 0.492825 s
1.38/1.42	c propagation time 0.494331 s
1.38/1.42	c conflict analysis time 0.115546 s
1.38/1.42	c propagations 1720114
1.38/1.42	c resolve steps 1289
1.38/1.42	c decisions 285967
1.38/1.42	c conflicts 1228
1.38/1.42	c restarts 8
1.38/1.42	c inprocessing phases 0
1.38/1.42	c input clauses 2522
1.38/1.42	c input cardinalities 1538
1.38/1.42	c input general constraints 4878
1.38/1.42	c input average constraint length 14.84
1.38/1.42	c input average constraint degree 1094023.04
1.38/1.42	c learned clauses 153
1.38/1.42	c learned cardinalities 41
1.38/1.42	c learned general constraints 1930
1.38/1.42	c learned average constraint length 17.03
1.38/1.42	c learned average constraint degree 3803358.93
1.38/1.42	c watched constraints 2660
1.38/1.42	c counting constraints 4148
1.38/1.42	c gcd simplifications 275
1.38/1.42	c detected cardinalities 9
1.38/1.42	c weakened non-implied lits 2113
1.38/1.42	c weakened non-implying lits 62
1.38/1.42	c original variables 90
1.38/1.42	c clausal propagations 182884
1.38/1.42	c cardinality propagations 246085
1.38/1.42	c watched propagations 22550
1.38/1.42	c counting propagations 662139
1.38/1.42	c watch lookups 8891701
1.38/1.42	c watch backjump lookups 7869565
1.38/1.42	c watch checks 4699939
1.38/1.42	c propagation checks 6683219
1.38/1.42	c constraint additions 211922
1.38/1.42	c trail pops 2004336
1.38/1.42	c formula constraints 6
1.38/1.42	c learned constraints 2118
1.38/1.42	c bound constraints 1838
1.38/1.42	c core-guided constraints 7094
1.38/1.42	c encountered formula constraints 606
1.38/1.42	c encountered learned constraints 609
1.38/1.42	c encountered bound constraints 419
1.38/1.42	c encountered core-guided constraints 867
1.38/1.42	c LP total time 0.035932 s
1.38/1.42	c LP solve time 0.03 s
1.38/1.42	c LP constraints added 8
1.38/1.42	c LP constraints removed 0
1.38/1.42	c LP pivots internal 1231
1.38/1.42	c LP pivots root 4
1.38/1.42	c LP calls 218
1.38/1.42	c LP optimalities 215
1.38/1.42	c LP no pivot count 24
1.38/1.42	c LP infeasibilities 3
1.38/1.42	c LP valid Farkas constraints 2
1.38/1.42	c LP learned Farkas constraints 2
1.38/1.42	c LP basis resets 0
1.38/1.42	c LP cycling count 0
1.38/1.42	c LP singular count 0
1.38/1.42	c LP no primal count 0
1.38/1.42	c LP no farkas count 0
1.38/1.42	c LP other issue count 0
1.38/1.42	c LP Gomory cuts 2
1.38/1.42	c LP learned cuts 0
1.38/1.42	c LP deleted cuts 0
1.38/1.42	c LP encountered Gomory constraints 8
1.38/1.42	c LP encountered Farkas constraints 4
1.38/1.42	c LP encountered learned Farkas constraints 1
1.38/1.42	c CG auxiliary variables introduced 2892
1.38/1.42	c CG solutions found 261
1.38/1.42	c CG cores constructed 1577
1.38/1.42	c CG core cardinality constraints returned 0
1.38/1.42	c CG unit cores 5
1.38/1.42	c CG single cores 1528
1.38/1.42	c CG blocks removed during cardinality reduction 208
1.38/1.42	c CG first core best 0
1.38/1.42	c CG decision core best 6
1.38/1.42	c CG core reduction tie 38
1.38/1.42	c CG core degree average 1.00
1.38/1.42	c CG core slack average 2.63
1.38/1.42	o 344750
1.38/1.42	s OPTIMUM FOUND
1.38/1.42	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90

Verifier Data 

OK	344750

Watcher Data 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455071-1721457264/watcher-4455071-1721457264 -o /tmp/evaluation-result-4455071-1721457264/solver-4455071-1721457264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049242 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455071-1721457264.opb 

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=1049283, runsolver pid=1049276

[startup+0.100661 s]*
/proc/loadavg: 1.13 1.13 1.67 5/244 1049304
/proc/meminfo: memFree=124750644/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=37800 memory=8592 CPUtime=0.1 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 524 0 0 0 6 4 0 0 20 0 1 0 197885144 38707200 2148 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 9450 2148 1846 922 0 1402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37800 KiB
Current children cumulated memory: 8592 KiB

[startup+0.214862 s]*
/proc/loadavg: 1.13 1.13 1.67 4/242 1049304
/proc/meminfo: memFree=124748268/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=38232 memory=9120 CPUtime=0.22 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 663 0 0 0 13 9 0 0 20 0 1 0 197885144 39149568 2280 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 9558 2280 1846 922 0 1510 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38232 KiB
Current children cumulated memory: 9120 KiB

[startup+0.314369 s]*
/proc/loadavg: 1.13 1.13 1.67 5/241 1049308
/proc/meminfo: memFree=124736956/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=38356 memory=11504 CPUtime=0.31 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 736 0 0 0 21 10 0 0 20 0 1 0 197885144 39276544 2876 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 9589 2876 1846 922 0 1541 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 11504 KiB

[startup+0.700322 s]
/proc/loadavg: 1.13 1.13 1.67 4/241 1049318
/proc/meminfo: memFree=124701788/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=39152 memory=12168 CPUtime=0.69 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 922 0 0 0 44 25 0 0 20 0 1 0 197885144 40091648 3042 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 9788 3042 1846 922 0 1740 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 12168 KiB

[startup+1.4263 s]
# the end of solver process 1049283 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1.02509 s, system=0.390358 s

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

[startup+0.800386 s]
/proc/loadavg: 1.13 1.13 1.67 4/241 1049318
/proc/meminfo: memFree=124701788/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=39272 memory=12424 CPUtime=0.78 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 937 0 0 0 49 29 0 0 20 0 1 0 197885144 40214528 3106 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 9818 3106 1846 922 0 1770 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 39272 KiB
Current children cumulated memory: 12424 KiB

[startup+1.20029 s]
/proc/loadavg: 1.13 1.13 1.67 5/240 1049362
/proc/meminfo: memFree=124665704/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=40424 memory=13504 CPUtime=1.18 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 1207 0 0 0 85 33 0 0 20 0 1 0 197885144 41394176 3376 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 10106 3376 1846 922 0 2058 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 40424 KiB
Current children cumulated memory: 13504 KiB

[startup+1.40022 s]
/proc/loadavg: 1.13 1.13 1.67 5/240 1049362
/proc/meminfo: memFree=124665704/131655788 swapFree=131071996/131071996
[pid=1049283] ppid=1049276 vsize=40852 memory=13764 CPUtime=1.38 cores=4,6
/proc/1049283/stat : 1049283 (roundingsat) R 1049276 1049283 1049231 0 -1 4194304 1302 0 0 0 100 38 0 0 20 0 1 0 197885144 41832448 3441 134679101440 4194304 7968373 140731992978400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 25370624 140731992982460 140731992982624 140731992982624 140731992989641 0
/proc/1049283/statm: 10213 3441 1846 922 0 2165 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13764 KiB

Child status: 0

Real time (s): 1.42636
CPU time (s): 1.41545
CPU user time (s): 1.02509
CPU system time (s): 0.390358
CPU usage (%): 99.2353
Max. virtual memory (cumulated for all children) (KiB): 40852
Max. memory (cumulated for all children) (KiB): 13764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.02509
system time used= 0.390358
maximum resident set size= 13764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1310
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= 4
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 1049283
#   total CPU time (s): 1.41545
#   total CPU user time (s): 1.02509
#   total CPU system time (s): 0.390358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03852 second user time and 0.091746 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-20 08:34:36
IDJOB=4455071
IDBENCH=146898
IDSOLVER=3084
FILE ID=nodeC006/4455071-1721457264
RUNJOBID= nodeC006-1721457276-1049242
SLURM_JOB_ID= 7545696
Free space on /tmp= 723776 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455071-1721457264/watcher-4455071-1721457264 -o /tmp/evaluation-result-4455071-1721457264/solver-4455071-1721457264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049242 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455071-1721457264.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 848e47deac6a47526073146630130ada
RANDOM SEED=468348692

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.251
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.289
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.258
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.247
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.256
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.248
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.252
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124812336 kB
MemAvailable:   129853480 kB
Buffers:          559332 kB
Cached:          5267532 kB
SwapCached:            0 kB
Active:          1046612 kB
Inactive:        5105004 kB
Active(anon):       1372 kB
Inactive(anon):   369272 kB
Active(file):    1045240 kB
Inactive(file):  4735732 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17972 kB
Writeback:            20 kB
AnonPages:        324500 kB
Mapped:           106672 kB
Shmem:             45896 kB
KReclaimable:     200408 kB
Slab:             316480 kB
SReclaimable:     200408 kB
SUnreclaim:       116072 kB
KernelStack:        3648 kB
PageTables:         9852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     747068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC006 at 2024-07-20 08:34:38