Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.06 | 1800.94 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_12.opb |
MD5SUM | d262db503fd284bdfe2b43790fda8490 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 91 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 91 |
Optimality of the best value was proved | NO |
Number of variables | 1807 |
Total number of constraints | 3444 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3443 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 66 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 193 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1320 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.22 c ...done 0.19/0.22 c #vars=1807 #constraints=3445 hasObjective=yes 0.19/0.27 c res. mode=mod 0.19/0.27 c VSIDS like heuristics 0.19/0.27 c complete search running 0.29/0.30 c restart after 401 decisions 0.29/0.32 c nbDecision=500 #constraints=3445 0.29/0.34 c restart after 801 decisions 0.29/0.37 c nbDecision=1000 #constraints=3445 0.29/0.40 c nbDecision=1500 #constraints=3445 0.39/0.40 c restart after 1601 decisions 0.39/0.44 c nbDecision=2000 #constraints=3445 0.39/0.47 c nbDecision=2500 #constraints=3445 0.39/0.49 c nbDecision=3000 #constraints=3446 0.39/0.50 c restart after 3201 decisions 0.49/0.53 c nbDecision=3500 #constraints=3447 0.49/0.56 c nbDecision=4000 #constraints=3447 0.49/0.58 c nbDecision=4500 #constraints=3448 0.59/0.60 c nbDecision=5000 #constraints=3448 0.59/0.64 c nbDecision=5500 #constraints=3449 0.59/0.66 c nbDecision=6000 #constraints=3449 0.59/0.69 c restart after 6401 decisions 0.69/0.70 c nbDecision=6500 #constraints=3450 0.69/0.74 c nbDecision=7000 #constraints=3450 0.69/0.76 c nbDecision=7500 #constraints=3450 0.69/0.79 c nbDecision=8000 #constraints=3451 0.79/0.81 c nbDecision=8500 #constraints=3451 0.79/0.84 c nbDecision=9000 #constraints=3452 0.79/0.87 c nbDecision=9500 #constraints=3452 0.79/0.89 c nbDecision=10000 #constraints=3453 0.89/0.92 c nbDecision=10500 #constraints=3453 0.89/0.94 c nbDecision=11000 #constraints=3454 0.89/0.97 c nbDecision=11500 #constraints=3454 0.89/1.00 c nbDecision=12000 #constraints=3455 0.99/1.02 c nbDecision=12500 #constraints=3455 0.99/1.04 c restart after 12801 decisions 0.99/1.06 c nbDecision=13000 #constraints=3455 0.99/1.09 c nbDecision=13500 #constraints=3455 1.09/1.11 c nbDecision=14000 #constraints=3455 1.09/1.15 c nbDecision=14500 #constraints=3456 1.09/1.17 c nbDecision=15000 #constraints=3456 1.19/1.20 c nbDecision=15500 #constraints=3457 1.19/1.22 c nbDecision=16000 #constraints=3457 1.19/1.25 c nbDecision=16500 #constraints=3458 1.19/1.27 c nbDecision=17000 #constraints=3459 1.29/1.30 c nbDecision=17500 #constraints=3459 1.29/1.32 c nbDecision=18000 #constraints=3460 1.29/1.34 c nbDecision=18500 #constraints=3460 1.29/1.37 c nbDecision=19000 #constraints=3461 1.29/1.38 c nbDecision=19500 #constraints=3462 1.39/1.40 c nbDecision=20000 #constraints=3463 1.39/1.44 c nbDecision=20500 #constraints=3464 1.39/1.47 c nbDecision=21000 #constraints=3464 1.49/1.50 c nbDecision=21500 #constraints=3465 1.49/1.53 c nbDecision=22000 #constraints=3465 1.49/1.55 c nbDecision=22500 #constraints=3466 1.49/1.58 c nbDecision=23000 #constraints=3466 1.59/1.61 c nbDecision=23500 #constraints=3466 1.59/1.64 c nbDecision=24000 #constraints=3467 1.59/1.67 c nbDecision=24500 #constraints=3467 1.69/1.70 c nbDecision=25000 #constraints=3468 1.69/1.73 c nbDecision=25500 #constraints=3468 1.69/1.73 c restart after 25601 decisions 1.69/1.77 c nbDecision=26000 #constraints=3468 1.79/1.80 c nbDecision=26500 #constraints=3468 1.79/1.83 c nbDecision=27000 #constraints=3469 1.79/1.86 c nbDecision=27500 #constraints=3469 1.79/1.89 c nbDecision=28000 #constraints=3470 1.89/1.92 c nbDecision=28500 #constraints=3470 1.89/1.94 c nbDecision=29000 #constraints=3470 1.89/1.98 c nbDecision=29500 #constraints=3471 1.99/2.00 c nbDecision=30000 #constraints=3471 1.99/2.03 c nbDecision=30500 #constraints=3472 1.99/2.06 c nbDecision=31000 #constraints=3472 1.99/2.08 c nbDecision=31500 #constraints=3472 2.09/2.12 c nbDecision=32000 #constraints=3473 2.09/2.14 c nbDecision=32500 #constraints=3473 2.09/2.17 c nbDecision=33000 #constraints=3474 2.09/2.20 c nbDecision=33500 #constraints=3474 2.19/2.22 c nbDecision=34000 #constraints=3475 2.19/2.25 c nbDecision=34500 #constraints=3475 2.19/2.28 c nbDecision=35000 #constraints=3476 2.29/2.30 c nbDecision=35500 #constraints=3476 2.29/2.33 c nbDecision=36000 #constraints=3477 2.29/2.35 c nbDecision=36500 #constraints=3477 2.29/2.38 c nbDecision=37000 #constraints=3478 2.39/2.41 c nbDecision=37500 #constraints=3478 2.39/2.43 c nbDecision=38000 #constraints=3479 2.39/2.46 c nbDecision=38500 #constraints=3479 2.39/2.48 c nbDecision=39000 #constraints=3480 2.49/2.51 c nbDecision=39500 #constraints=3480 2.49/2.53 c nbDecision=40000 #constraints=3481 2.49/2.56 c nbDecision=40500 #constraints=3481 2.49/2.59 c nbDecision=41000 #constraints=3482 2.59/2.61 c nbDecision=41500 #constraints=3482 2.59/2.64 c nbDecision=42000 #constraints=3483 2.59/2.67 c nbDecision=42500 #constraints=3484 2.69/2.70 c nbDecision=43000 #constraints=3485 2.69/2.72 c nbDecision=43500 #constraints=3485 2.69/2.76 c nbDecision=44000 #constraints=3487 2.69/2.78 c nbDecision=44500 #constraints=3488 2.79/2.82 c nbDecision=45000 #constraints=3489 2.79/2.84 c nbDecision=45500 #constraints=3489 2.79/2.87 c nbDecision=46000 #constraints=3490 2.89/2.90 c nbDecision=46500 #constraints=3490 2.89/2.92 c nbDecision=47000 #constraints=3490 2.89/2.96 c nbDecision=47500 #constraints=3491 2.89/2.98 c nbDecision=48000 #constraints=3491 2.99/3.01 c nbDecision=48500 #constraints=3492 2.99/3.04 c nbDecision=49000 #constraints=3492 2.99/3.07 c nbDecision=49500 #constraints=3493 3.09/3.10 c nbDecision=50000 #constraints=3493 3.09/3.12 c nbDecision=50500 #constraints=3493 3.09/3.16 c nbDecision=51000 #constraints=3494 3.09/3.17 c restart after 51201 decisions 3.19/3.20 c nbDecision=51500 #constraints=3494 3.19/3.23 c nbDecision=52000 #constraints=3494 3.19/3.26 c nbDecision=52500 #constraints=3495 3.19/3.29 c nbDecision=53000 #constraints=3495 3.29/3.31 c nbDecision=53500 #constraints=3495 3.29/3.35 c nbDecision=54000 #constraints=3496 3.29/3.37 c nbDecision=54500 #constraints=3496 3.39/3.40 c nbDecision=55000 #constraints=3497 3.39/3.43 c nbDecision=55500 #constraints=3497 3.39/3.45 c nbDecision=56000 #constraints=3497 3.39/3.49 c nbDecision=56500 #constraints=3498 3.49/3.51 c nbDecision=57000 #constraints=3498 3.49/3.55 c nbDecision=57500 #constraints=3499 3.49/3.58 c nbDecision=58000 #constraints=3499 3.59/3.61 c nbDecision=58500 #constraints=3501 3.59/3.64 c nbDecision=59000 #constraints=3501 3.59/3.66 c nbDecision=59500 #constraints=3502 3.59/3.69 c nbDecision=60000 #constraints=3502 3.69/3.71 c nbDecision=60500 #constraints=3502 3.69/3.75 c nbDecision=61000 #constraints=3503 3.69/3.77 c nbDecision=61500 #constraints=3503 3.79/3.80 c nbDecision=62000 #constraints=3504 3.79/3.82 c nbDecision=62500 #constraints=3504 4.19/4.24 c nbDecision=63000 #constraints=3544 4.69/4.75 c nbDecision=63500 #constraints=3588 4.79/4.80 c nbDecision=64000 #constraints=3590 4.79/4.82 c nbDecision=64500 #constraints=3590 4.79/4.88 c nbDecision=65000 #constraints=3593 4.89/4.91 c nbDecision=65500 #constraints=3593 4.89/4.93 c nbDecision=66000 #constraints=3594 4.89/4.96 c nbDecision=66500 #constraints=3594 4.89/4.99 c nbDecision=67000 #constraints=3595 4.99/5.01 c nbDecision=67500 #constraints=3595 4.99/5.03 c nbDecision=68000 #constraints=3595 4.99/5.07 c nbDecision=68500 #constraints=3596 4.99/5.09 c nbDecision=69000 #constraints=3596 5.09/5.12 c nbDecision=69500 #constraints=3597 5.09/5.14 c nbDecision=70000 #constraints=3597 5.09/5.17 c nbDecision=70500 #constraints=3599 5.19/5.20 c nbDecision=71000 #constraints=3599 5.19/5.23 c nbDecision=71500 #constraints=3600 5.19/5.26 c nbDecision=72000 #constraints=3600 5.19/5.28 c nbDecision=72500 #constraints=3600 5.29/5.31 c nbDecision=73000 #constraints=3601 5.29/5.33 c nbDecision=73500 #constraints=3601 5.29/5.36 c nbDecision=74000 #constraints=3602 5.29/5.39 c nbDecision=74500 #constraints=3602 5.39/5.42 c nbDecision=75000 #constraints=3603 5.39/5.44 c nbDecision=75500 #constraints=3603 5.39/5.49 c nbDecision=76000 #constraints=3606 5.49/5.58 c nbDecision=76500 #constraints=3617 5.59/5.61 c nbDecision=77000 #constraints=3617 5.59/5.63 c nbDecision=77500 #constraints=3618 5.59/5.66 c nbDecision=78000 #constraints=3618 5.59/5.68 c nbDecision=78500 #constraints=3618 5.69/5.72 c nbDecision=79000 #constraints=3619 5.69/5.74 c nbDecision=79500 #constraints=3619 5.69/5.78 c nbDecision=80000 #constraints=3622 5.79/5.81 c nbDecision=80500 #constraints=3622 5.79/5.83 c nbDecision=81000 #constraints=3623 5.79/5.86 c nbDecision=81500 #constraints=3623 5.79/5.88 c nbDecision=82000 #constraints=3623 5.89/5.93 c nbDecision=82500 #constraints=3627 5.89/5.95 c nbDecision=83000 #constraints=3627 5.89/5.99 c nbDecision=83500 #constraints=3628 5.99/6.02 c nbDecision=84000 #constraints=3629 5.99/6.04 c nbDecision=84500 #constraints=3629 5.99/6.07 c nbDecision=85000 #constraints=3630 5.99/6.09 c nbDecision=85500 #constraints=3630 6.09/6.12 c nbDecision=86000 #constraints=3631 6.09/6.14 c nbDecision=86500 #constraints=3631 6.09/6.18 c nbDecision=87000 #constraints=3632 6.19/6.20 c nbDecision=87500 #constraints=3633 6.19/6.23 c nbDecision=88000 #constraints=3634 6.19/6.26 c nbDecision=88500 #constraints=3635 6.19/6.27 c nbDecision=89000 #constraints=3635 6.29/6.31 c nbDecision=89500 #constraints=3636 6.29/6.33 c nbDecision=90000 #constraints=3637 6.29/6.35 c nbDecision=90500 #constraints=3637 6.29/6.39 c nbDecision=91000 #constraints=3639 6.39/6.41 c nbDecision=91500 #constraints=3640 6.39/6.44 c nbDecision=92000 #constraints=3640 6.39/6.46 c nbDecision=92500 #constraints=3641 6.39/6.49 c nbDecision=93000 #constraints=3641 6.49/6.51 c nbDecision=93500 #constraints=3641 6.49/6.54 c nbDecision=94000 #constraints=3642 6.49/6.56 c nbDecision=94500 #constraints=3642 6.59/6.61 c nbDecision=95000 #constraints=3645 6.59/6.64 c nbDecision=95500 #constraints=3645 6.59/6.67 c nbDecision=96000 #constraints=3646 6.59/6.69 c nbDecision=96500 #constraints=3646 6.68/6.73 c nbDecision=97000 #constraints=3648 6.68/6.76 c nbDecision=97500 #constraints=3648 6.78/6.84 c nbDecision=98000 #constraints=3655 6.88/6.91 c nbDecision=98500 #constraints=3660 6.88/6.93 c nbDecision=99000 #constraints=3660 6.88/6.98 c nbDecision=99500 #constraints=3664 6.98/7.00 c nbDecision=100000 #constraints=3664 6.98/7.03 c nbDecision=100500 #constraints=3665 6.98/7.06 c nbDecision=101000 #constraints=3665 7.08/7.10 c nbDecision=101500 #constraints=3667 7.08/7.13 c nbDecision=102000 #constraints=3667 7.08/7.14 c restart after 102401 decisions 7.08/7.16 c nbDecision=102500 #constraints=3667 7.08/7.19 c nbDecision=103000 #constraints=3667 7.18/7.21 c nbDecision=103500 #constraints=3667 7.18/7.26 c nbDecision=104000 #constraints=3669 7.18/7.28 c nbDecision=104500 #constraints=3669 7.28/7.32 c nbDecision=105000 #constraints=3671 7.28/7.34 c nbDecision=105500 #constraints=3671 7.38/7.40 c nbDecision=106000 #constraints=3677 7.38/7.45 c nbDecision=106500 #constraints=3681 7.38/7.47 c nbDecision=107000 #constraints=3681 7.48/7.50 c nbDecision=107500 #constraints=3682 7.48/7.52 c nbDecision=108000 #constraints=3682 7.48/7.55 c nbDecision=108500 #constraints=3683 7.48/7.59 c nbDecision=109000 #constraints=3684 7.59/7.61 c nbDecision=109500 #constraints=3685 7.59/7.64 c nbDecision=110000 #constraints=3686 7.59/7.68 c nbDecision=110500 #constraints=3688 7.69/7.71 c nbDecision=111000 #constraints=3689 7.78/7.82 c nbDecision=111500 #constraints=3700 7.78/7.86 c nbDecision=112000 #constraints=3702 7.78/7.88 c nbDecision=112500 #constraints=3702 7.88/7.90 c nbDecision=113000 #constraints=3703 7.88/7.92 c nbDecision=113500 #constraints=3703 7.88/7.98 c nbDecision=114000 #constraints=3708 7.98/8.00 c nbDecision=114500 #constraints=3708 7.98/8.04 c nbDecision=115000 #constraints=3711 7.98/8.06 c nbDecision=115500 #constraints=3711 8.08/8.10 c nbDecision=116000 #constraints=3714 8.08/8.12 c nbDecision=116500 #constraints=3714 8.08/8.15 c nbDecision=117000 #constraints=3715 8.08/8.19 c nbDecision=117500 #constraints=3718 8.18/8.21 c nbDecision=118000 #constraints=3718 8.18/8.25 c nbDecision=118500 #constraints=3720 8.18/8.27 c nbDecision=119000 #constraints=3720 8.28/8.34 c nbDecision=119500 #constraints=3727 8.38/8.42 c nbDecision=120000 #constraints=3734 8.38/8.44 c nbDecision=120500 #constraints=3735 8.38/8.48 c nbDecision=121000 #constraints=3737 8.48/8.52 c nbDecision=121500 #constraints=3741 8.48/8.55 c nbDecision=122000 #constraints=3742 8.48/8.56 c nbDecision=122500 #constraints=3743 8.48/8.58 c nbDecision=123000 #constraints=3744 8.58/8.60 c nbDecision=123500 #constraints=3745 8.58/8.63 c nbDecision=124000 #constraints=3747 8.58/8.65 c nbDecision=124500 #constraints=3748 8.58/8.67 c nbDecision=125000 #constraints=3748 8.69/8.71 c nbDecision=125500 #constraints=3751 8.69/8.75 c nbDecision=126000 #constraints=3756 8.79/8.80 c nbDecision=126500 #constraints=3761 8.79/8.83 c nbDecision=127000 #constraints=3764 8.79/8.87 c nbDecision=127500 #constraints=3768 8.88/8.93 c nbDecision=128000 #constraints=3776 8.88/8.98 c nbDecision=128500 #constraints=3782 8.98/9.04 c nbDecision=129000 #constraints=3789 9.08/9.11 c nbDecision=129500 #constraints=3797 9.08/9.18 c nbDecision=130000 #constraints=3805 9.28/9.39 c nbDecision=130500 #constraints=3825 9.48/9.53 c nbDecision=131000 #constraints=3844 9.58/9.61 c nbDecision=131500 #constraints=3851 9.58/9.64 c nbDecision=132000 #constraints=3855 9.68/9.78 c nbDecision=132500 #constraints=3871 9.79/9.89 c nbDecision=133000 #constraints=3888 9.89/9.93 c nbDecision=133500 #constraints=3893 9.89/9.95 c nbDecision=134000 #constraints=3896 9.98/10.04 c nbDecision=134500 #constraints=3909 9.98/10.09 c nbDecision=135000 #constraints=3916 10.08/10.17 c nbDecision=135500 #constraints=3924 10.18/10.23 c nbDecision=136000 #constraints=3928 10.18/10.26 c nbDecision=136500 #constraints=3928 10.18/10.28 c nbDecision=137000 #constraints=3928 10.38/10.46 c nbDecision=137500 #constraints=3945 10.48/10.57 c nbDecision=138000 #constraints=3953 10.58/10.60 c nbDecision=138500 #constraints=3953 10.58/10.63 c nbDecision=139000 #constraints=3954 10.58/10.66 c nbDecision=139500 #constraints=3954 10.58/10.68 c nbDecision=140000 #constraints=3954 10.68/10.70 c nbDecision=140500 #constraints=3955 10.68/10.73 c nbDecision=141000 #constraints=3957 10.68/10.75 c nbDecision=141500 #constraints=3958 10.68/10.76 c nbDecision=142000 #constraints=3959 10.68/10.80 c nbDecision=142500 #constraints=3961 10.78/10.82 c nbDecision=143000 #constraints=3961 10.78/10.85 c nbDecision=143500 #constraints=3962 10.78/10.88 c nbDecision=144000 #constraints=3962 10.78/10.90 c nbDecision=144500 #constraints=3962 10.89/10.93 c nbDecision=145000 #constraints=3963 10.89/10.96 c nbDecision=145500 #constraints=3963 10.89/10.98 c nbDecision=146000 #constraints=3964 10.99/11.01 c nbDecision=146500 #constraints=3964 10.99/11.03 c nbDecision=147000 #constraints=3965 10.99/11.07 c nbDecision=147500 #constraints=3965 10.99/11.09 c nbDecision=148000 #constraints=3965 11.08/11.12 c nbDecision=148500 #constraints=3966 11.08/11.15 c nbDecision=149000 #constraints=3966 11.08/11.17 c nbDecision=149500 #constraints=3967 11.18/11.20 c nbDecision=150000 #constraints=3967 11.18/11.22 c nbDecision=150500 #constraints=3967 11.18/11.25 c nbDecision=151000 #constraints=3968 11.18/11.28 c nbDecision=151500 #constraints=3968 11.28/11.30 c nbDecision=152000 #constraints=3969 11.28/11.32 c nbDecision=152500 #constraints=3970 11.28/11.35 c nbDecision=153000 #constraints=3970 11.28/11.37 c nbDecision=153500 #constraints=3970 11.38/11.41 c nbDecision=154000 #constraints=3972 11.38/11.43 c nbDecision=154500 #constraints=3972 11.48/11.56 c nbDecision=155000 #constraints=3982 11.48/11.59 c nbDecision=155500 #constraints=3982 11.58/11.62 c nbDecision=156000 #constraints=3985 11.58/11.69 c nbDecision=156500 #constraints=3990 11.68/11.71 c nbDecision=157000 #constraints=3990 11.68/11.75 c nbDecision=157500 #constraints=3991 11.68/11.78 c nbDecision=158000 #constraints=3991 11.78/11.80 c nbDecision=158500 #constraints=3993 11.88/11.97 c nbDecision=159000 #constraints=4006 12.09/12.12 c nbDecision=159500 #constraints=4020 12.09/12.15 c nbDecision=160000 #constraints=4020 12.09/12.17 c nbDecision=160500 #constraints=4020 12.09/12.19 c nbDecision=161000 #constraints=4022 12.18/12.25 c nbDecision=161500 #constraints=4024 12.18/12.27 c nbDecision=162000 #constraints=4024 12.28/12.30 c nbDecision=162500 #constraints=4025 12.28/12.33 c nbDecision=163000 #constraints=4025 12.28/12.35 c nbDecision=163500 #constraints=4026 12.28/12.38 c nbDecision=164000 #constraints=4026 12.38/12.40 c nbDecision=164500 #constraints=4026 12.49/12.51 c nbDecision=165000 #constraints=4039 12.49/12.56 c nbDecision=165500 #constraints=4044 12.59/12.63 c nbDecision=166000 #constraints=4053 12.59/12.70 c nbDecision=166500 #constraints=4056 12.69/12.72 c nbDecision=167000 #constraints=4056 12.69/12.76 c nbDecision=167500 #constraints=4058 12.69/12.79 c nbDecision=168000 #constraints=4058 12.79/12.81 c nbDecision=168500 #constraints=4059 12.79/12.84 c nbDecision=169000 #constraints=4059 12.79/12.86 c nbDecision=169500 #constraints=4060 12.79/12.89 c nbDecision=170000 #constraints=4060 12.89/12.91 c nbDecision=170500 #constraints=4060 12.89/12.94 c nbDecision=171000 #constraints=4061 12.89/12.96 c nbDecision=171500 #constraints=4061 12.89/12.99 c nbDecision=172000 #constraints=4062 12.99/13.02 c nbDecision=172500 #constraints=4067 12.99/13.05 c nbDecision=173000 #constraints=4067 12.99/13.09 c nbDecision=173500 #constraints=4070 13.09/13.11 c nbDecision=174000 #constraints=4070 13.09/13.14 c nbDecision=174500 #constraints=4072 13.09/13.15 c nbDecision=175000 #constraints=4072 13.09/13.19 c nbDecision=175500 #constraints=4073 13.19/13.21 c nbDecision=176000 #constraints=4075 13.19/13.25 c nbDecision=176500 #constraints=4077 13.19/13.27 c nbDecision=177000 #constraints=4077 13.29/13.31 c nbDecision=177500 #constraints=4082 13.29/13.33 c nbDecision=178000 #constraints=4082 13.29/13.37 c nbDecision=178500 #constraints=4086 13.39/13.40 c nbDecision=179000 #constraints=4086 13.39/13.41 c nbDecision=179500 #constraints=4086 13.39/13.46 c nbDecision=180000 #constraints=4090 13.39/13.48 c nbDecision=180500 #constraints=4090 13.49/13.51 c nbDecision=181000 #constraints=4091 13.49/13.54 c nbDecision=181500 #constraints=4091 13.49/13.57 c nbDecision=182000 #constraints=4094 13.49/13.60 c nbDecision=182500 #constraints=4094 13.59/13.61 c nbDecision=183000 #constraints=4094 13.59/13.65 c nbDecision=183500 #constraints=4095 13.59/13.66 c nbDecision=184000 #constraints=4095 13.59/13.69 c nbDecision=184500 #constraints=4096 13.69/13.72 c nbDecision=185000 #constraints=4097 13.69/13.74 c nbDecision=185500 #constraints=4097 13.69/13.77 c nbDecision=186000 #constraints=4098 13.69/13.79 c nbDecision=186500 #constraints=4098 13.79/13.82 c nbDecision=187000 #constraints=4103 13.79/13.85 c nbDecision=187500 #constraints=4103 13.79/13.88 c nbDecision=188000 #constraints=4104 13.88/13.91 c nbDecision=188500 #constraints=4104 13.88/13.93 c nbDecision=189000 #constraints=4104 13.88/13.96 c nbDecision=189500 #constraints=4105 13.88/13.98 c nbDecision=190000 #constraints=4105 13.98/14.03 c nbDecision=190500 #constraints=4115 13.98/14.05 c nbDecision=191000 #constraints=4115 13.98/14.09 c nbDecision=191500 #constraints=4116 14.08/14.11 c nbDecision=192000 #constraints=4116 14.08/14.14 c nbDecision=192500 #constraints=4118 14.08/14.17 c nbDecision=193000 #constraints=4118 14.08/14.18 c nbDecision=193500 #constraints=4118 14.19/14.22 c nbDecision=194000 #constraints=4119 14.19/14.24 c nbDecision=194500 #constraints=4119 14.19/14.26 c nbDecision=195000 #constraints=4120 14.19/14.28 c nbDecision=195500 #constraints=4120 14.29/14.31 c nbDecision=196000 #constraints=4121 14.29/14.34 c nbDecision=196500 #constraints=4121 14.29/14.37 c nbDecision=197000 #constraints=4123 14.29/14.39 c nbDecision=197500 #constraints=4123 14.38/14.42 c nbDecision=198000 #constraints=4124 14.38/14.44 c nbDecision=198500 #constraints=4124 14.38/14.47 c nbDecision=199000 #constraints=4125 14.38/14.49 c nbDecision=199500 #constraints=4125 14.48/14.51 c nbDecision=200000 #constraints=4125 14.48/14.54 c nbDecision=200500 #constraints=4126 14.48/14.56 c nbDecision=201000 #constraints=4126 14.48/14.59 c nbDecision=201500 #constraints=4127 14.58/14.61 c nbDecision=202000 #constraints=4127 14.58/14.65 c nbDecision=202500 #constraints=4134 14.58/14.68 c nbDecision=203000 #constraints=4137 14.68/14.70 c nbDecision=203500 #constraints=4137 14.78/14.82 c nbDecision=204000 #constraints=4149 14.78/14.87 c nbDecision=204500 #constraints=4155 14.78/14.89 c restart after 204801 decisions 14.88/14.92 c nbDecision=205000 #constraints=4158 14.88/14.95 c nbDecision=205500 #constraints=4158 14.88/14.96 c nbDecision=206000 #constraints=4158 14.98/15.00 c nbDecision=206500 #constraints=4161 15.08/15.11 c nbDecision=207000 #constraints=4173 15.08/15.18 c nbDecision=207500 #constraints=4182 15.18/15.25 c nbDecision=208000 #constraints=4189 15.29/15.36 c nbDecision=208500 #constraints=4199 15.39/15.43 c nbDecision=209000 #constraints=4208 15.48/15.50 c nbDecision=209500 #constraints=4217 15.58/15.63 c nbDecision=210000 #constraints=4233 15.68/15.74 c nbDecision=210500 #constraints=4247 15.78/15.85 c nbDecision=211000 #constraints=4258 15.98/16.01 c nbDecision=211500 #constraints=4278 16.08/16.11 c nbDecision=212000 #constraints=4291 16.18/16.27 c nbDecision=212500 #constraints=4310 16.38/16.41 c nbDecision=213000 #constraints=4329 16.48/16.58 c nbDecision=213500 #constraints=4354 16.58/16.67 c nbDecision=214000 #constraints=4369 16.78/16.83 c nbDecision=214500 #constraints=4387 16.88/16.98 c nbDecision=215000 #constraints=4403 17.18/17.29 c nbDecision=215500 #constraints=4438 17.28/17.32 c nbDecision=216000 #constraints=4441 17.38/17.42 c nbDecision=216500 #constraints=4454 17.48/17.51 c nbDecision=217000 #constraints=4462 17.48/17.52 c nbDecision=217500 #constraints=4462 17.48/17.60 c nbDecision=218000 #constraints=4473 17.58/17.62 c nbDecision=218500 #constraints=4473 17.58/17.67 c nbDecision=219000 #constraints=4474 17.58/17.69 c nbDecision=219500 #constraints=4474 17.68/17.71 c nbDecision=220000 #constraints=4474 17.68/17.77 c nbDecision=220500 #constraints=4484 17.78/17.81 c nbDecision=221000 #constraints=4489 17.88/17.93 c nbDecision=221500 #constraints=4502 17.98/18.04 c nbDecision=222000 #constraints=4513 18.18/18.25 c nbDecision=222500 #constraints=4534 18.38/18.42 c nbDecision=223000 #constraints=4551 18.48/18.57 c nbDecision=223500 #constraints=4569 18.58/18.62 c nbDecision=224000 #constraints=4576 18.58/18.66 c nbDecision=224500 #constraints=4581 18.78/18.82 c nbDecision=225000 #constraints=4596 18.88/18.90 c nbDecision=225500 #constraints=4606 18.88/18.96 c nbDecision=226000 #constraints=4613 18.98/19.02 c nbDecision=226500 #constraints=4619 19.08/19.12 c nbDecision=227000 #constraints=4628 19.18/19.20 c nbDecision=227500 #constraints=4638 19.28/19.32 c nbDecision=228000 #constraints=4650 19.38/19.49 c nbDecision=228500 #constraints=4661 19.58/19.65 c nbDecision=229000 #constraints=4673 19.78/19.83 c nbDecision=229500 #constraints=4685 19.97/20.02 c nbDecision=230000 #constraints=4700 20.07/20.16 c nbDecision=230500 #constraints=4712 20.27/20.34 c nbDecision=231000 #constraints=4724 20.47/20.52 c nbDecision=231500 #constraints=4740 20.68/20.72 c nbDecision=232000 #constraints=4756 20.78/20.87 c nbDecision=232500 #constraints=4768 20.97/21.04 c nbDecision=233000 #constraints=4781 21.07/21.16 c nbDecision=233500 #constraints=4789 21.27/21.36 c nbDecision=234000 #constraints=4804 21.57/21.65 c nbDecision=234500 #constraints=4826 21.88/21.98 c nbDecision=235000 #constraints=4850 22.07/22.17 c nbDecision=235500 #constraints=4871 22.37/22.40 c nbDecision=236000 #constraints=4887 22.57/22.61 c nbDecision=236500 #constraints=4901 22.67/22.79 c nbDecision=237000 #constraints=4916 22.98/23.04 c nbDecision=237500 #constraints=4934 23.27/23.30 c nbDecision=238000 #constraints=4951 23.37/23.45 c nbDecision=238500 #constraints=4967 23.47/23.51 c nbDecision=239000 #constraints=4975 23.57/23.63 c nbDecision=239500 #constraints=4986 23.67/23.73 c nbDecision=240000 #constraints=4999 23.67/23.79 c nbDecision=240500 #constraints=5009 23.77/23.89 c nbDecision=241000 #constraints=5018 23.97/24.05 c nbDecision=241500 #constraints=5031 24.08/24.16 c nbDecision=242000 #constraints=5045 24.18/24.21 c nbDecision=242500 #constraints=5053 24.27/24.38 c nbDecision=243000 #constraints=5066 24.47/24.54 c nbDecision=243500 #constraints=5078 24.67/24.73 c nbDecision=244000 #constraints=5092 24.77/24.87 c nbDecision=244500 #constraints=5102 24.97/25.09 c nbDecision=245000 #constraints=5120 25.28/25.33 c nbDecision=245500 #constraints=5142 25.47/25.53 c nbDecision=246000 #constraints=5155 25.67/25.72 c nbDecision=246500 #constraints=5166 25.77/25.86 c nbDecision=247000 #constraints=5174 26.07/26.19 c nbDecision=247500 #constraints=5198 26.17/26.29 c nbDecision=248000 #constraints=5211 26.38/26.42 c nbDecision=248500 #constraints=5225 26.47/26.54 c nbDecision=249000 #constraints=5233 26.57/26.66 c nbDecision=249500 #constraints=5241 26.77/26.86 c nbDecision=250000 #constraints=5256 26.87/26.98 c nbDecision=250500 #constraints=5266 27.17/27.25 c nbDecision=251000 #constraints=5286 27.27/27.32 c nbDecision=251500 #constraints=5290 27.27/27.35 c nbDecision=252000 #constraints=5292 27.38/27.48 c nbDecision=252500 #constraints=5304 27.57/27.63 c nbDecision=253000 #constraints=5316 27.67/27.72 c nbDecision=253500 #constraints=5322 27.67/27.74 c nbDecision=254000 #constraints=5322 27.77/27.80 c nbDecision=254500 #constraints=5325 27.87/27.94 c nbDecision=255000 #constraints=5337 27.97/28.07 c nbDecision=255500 #constraints=5350 28.17/28.24 c nbDecision=256000 #constraints=5365 28.37/28.41 c nbDecision=256500 #constraints=5380 28.47/28.54 c nbDecision=257000 #constraints=5389 28.67/28.70 c nbDecision=257500 #constraints=5401 28.67/28.77 c nbDecision=258000 #constraints=5406 28.77/28.85 c nbDecision=258500 #constraints=5413 28.87/28.93 c nbDecision=259000 #constraints=5419 28.97/29.08 c nbDecision=259500 #constraints=5432 29.17/29.26 c nbDecision=260000 #constraints=5446 29.27/29.35 c nbDecision=260500 #constraints=5453 29.37/29.40 c nbDecision=261000 #constraints=5457 29.47/29.50 c nbDecision=261500 #constraints=5464 29.58/29.64 c nbDecision=262000 #constraints=5474 29.68/29.70 c nbDecision=262500 #constraints=5479 29.78/29.80 c nbDecision=263000 #constraints=5486 29.88/29.93 c nbDecision=263500 #constraints=5495 29.98/30.06 c nbDecision=264000 #constraints=5504 30.08/30.18 c nbDecision=264500 #constraints=5513 30.18/30.26 c nbDecision=265000 #constraints=5520 30.28/30.34 c nbDecision=265500 #constraints=5525 30.38/30.44 c nbDecision=266000 #constraints=5533 30.48/30.52 c nbDecision=266500 #constraints=5541 30.68/30.72 c nbDecision=267000 #constraints=5559 30.88/30.94 c nbDecision=267500 #constraints=5577 30.98/31.09 c nbDecision=268000 #constraints=5587 31.08/31.18 c nbDecision=268500 #constraints=5591 31.18/31.20 c nbDecision=269000 #constraints=5591 31.18/31.29 c nbDecision=269500 #constraints=5600 31.38/31.49 c nbDecision=270000 #constraints=5617 31.68/31.72 c nbDecision=270500 #constraints=5635 31.88/31.95 c nbDecision=271000 #constraints=5652 32.08/32.19 c nbDecision=271500 #constraints=5673 32.38/32.42 c nbDecision=272000 #constraints=5689 32.58/32.65 c nbDecision=272500 #constraints=5707 32.78/32.86 c nbDecision=273000 #constraints=5725 32.98/33.03 c nbDecision=273500 #constraints=5742 33.18/33.24 c nbDecision=274000 #constraints=5760 33.38/33.49 c nbDecision=274500 #constraints=5779 33.68/33.78 c nbDecision=275000 #constraints=5803 33.88/33.97 c nbDecision=275500 #constraints=5817 34.08/34.18 c nbDecision=276000 #constraints=5833 34.28/34.33 c nbDecision=276500 #constraints=5843 34.37/34.42 c nbDecision=277000 #constraints=5850 34.57/34.69 c nbDecision=277500 #constraints=5869 34.87/34.96 c nbDecision=278000 #constraints=5885 35.18/35.27 c nbDecision=278500 #constraints=5904 35.47/35.56 c nbDecision=279000 #constraints=5922 35.77/35.84 c nbDecision=279500 #constraints=5939 36.18/36.25 c nbDecision=280000 #constraints=5964 36.37/36.44 c nbDecision=280500 #constraints=5975 36.47/36.57 c nbDecision=281000 #constraints=5984 36.87/36.94 c nbDecision=281500 #constraints=6006 37.07/37.10 c nbDecision=282000 #constraints=6020 37.17/37.27 c nbDecision=282500 #constraints=6036 37.28/37.36 c nbDecision=283000 #constraints=6044 37.47/37.52 c nbDecision=283500 #constraints=6055 37.77/37.82 c nbDecision=284000 #constraints=6072 37.97/38.03 c nbDecision=284500 #constraints=6090 38.07/38.11 c nbDecision=285000 #constraints=6096 38.27/38.37 c nbDecision=285500 #constraints=6112 38.57/38.66 c nbDecision=286000 #constraints=6129 38.97/39.02 c nbDecision=286500 #constraints=6150 39.17/39.25 c nbDecision=287000 #constraints=6163 39.37/39.50 c nbDecision=287500 #constraints=6177 39.77/39.88 c nbDecision=288000 #constraints=6199 40.17/40.28 c nbDecision=288500 #constraints=6222 40.67/40.73 c nbDecision=289000 #constraints=6248 41.07/41.14 c nbDecision=289500 #constraints=6276 41.47/41.58 c nbDecision=290000 #constraints=6304 41.77/41.81 c nbDecision=290500 #constraints=6318 42.07/42.14 c nbDecision=291000 #constraints=6337 42.37/42.45 c nbDecision=291500 #constraints=6355 42.67/42.74 c nbDecision=292000 #constraints=6372 42.97/43.08 c nbDecision=292500 #constraints=6392 43.37/43.48 c nbDecision=293000 #constraints=6418 43.77/43.85 c nbDecision=293500 #constraints=6444 44.27/44.30 c nbDecision=294000 #constraints=6472 44.67/44.70 c nbDecision=294500 #constraints=6495 44.97/45.07 c nbDecision=295000 #constraints=6517 45.37/45.47 c nbDecision=295500 #constraints=6540 45.77/45.81 c nbDecision=296000 #constraints=6560 46.07/46.17 c nbDecision=296500 #constraints=6582 46.66/46.72 c nbDecision=297000 #constraints=6618 47.06/47.12 c nbDecision=297500 #constraints=6642 47.56/47.68 c nbDecision=298000 #constraints=6676 47.96/48.07 c nbDecision=298500 #constraints=6699 48.16/48.30 c nbDecision=299000 #constraints=6713 48.66/48.72 c nbDecision=299500 #constraints=6736 49.16/49.20 c nbDecision=300000 #constraints=6761 49.56/49.69 c nbDecision=300500 #constraints=6787 50.06/50.16 c nbDecision=301000 #constraints=6815 50.56/50.63 c nbDecision=301500 #constraints=6841 50.76/50.87 c nbDecision=302000 #constraints=6855 51.06/51.12 c nbDecision=302500 #constraints=6869 51.46/51.51 c nbDecision=303000 #constraints=6890 51.86/51.96 c nbDecision=303500 #constraints=6914 52.26/52.33 c nbDecision=304000 #constraints=6934 52.66/52.72 c nbDecision=304500 #constraints=6958 53.06/53.12 c nbDecision=305000 #constraints=6981 53.46/53.58 c nbDecision=305500 #constraints=7005 53.86/53.94 c nbDecision=306000 #constraints=7027 54.37/54.45 c nbDecision=306500 #constraints=7055 54.57/54.69 c nbDecision=307000 #constraints=7067 54.77/54.88 c nbDecision=307500 #constraints=7077 54.97/55.09 c nbDecision=308000 #constraints=7089 55.27/55.30 c nbDecision=308500 #constraints=7102 55.47/55.56 c nbDecision=309000 #constraints=7118 55.77/55.82 c nbDecision=309500 #constraints=7134 55.87/55.95 c nbDecision=310000 #constraints=7142 56.17/56.21 c nbDecision=310500 #constraints=7155 56.27/56.34 c nbDecision=311000 #constraints=7161 56.47/56.53 c nbDecision=311500 #constraints=7172 56.57/56.66 c nbDecision=312000 #constraints=7179 56.66/56.76 c nbDecision=312500 #constraints=7186 56.96/57.03 c nbDecision=313000 #constraints=7203 57.16/57.28 c nbDecision=313500 #constraints=7217 57.46/57.60 c nbDecision=314000 #constraints=7233 57.76/57.82 c nbDecision=314500 #constraints=7245 57.96/58.01 c nbDecision=315000 #constraints=7257 58.16/58.28 c nbDecision=315500 #constraints=7270 58.36/58.49 c nbDecision=316000 #constraints=7282 58.56/58.66 c nbDecision=316500 #constraints=7292 58.76/58.84 c nbDecision=317000 #constraints=7302 59.06/59.15 c nbDecision=317500 #constraints=7317 59.46/59.51 c nbDecision=318000 #constraints=7336 59.66/59.75 c nbDecision=318500 #constraints=7349 59.86/59.93 c nbDecision=319000 #constraints=7358 60.16/60.23 c nbDecision=319500 #constraints=7373 60.36/60.42 c nbDecision=320000 #constraints=7384 60.56/60.61 c nbDecision=320500 #constraints=7395 60.86/60.97 c nbDecision=321000 #constraints=7413 61.06/61.16 c nbDecision=321500 #constraints=7424 61.36/61.46 c nbDecision=322000 #constraints=7441 61.86/61.91 c nbDecision=322500 #constraints=7466 62.16/62.20 c nbDecision=323000 #constraints=7481 62.36/62.48 c nbDecision=323500 #constraints=7499 62.76/62.86 c nbDecision=324000 #constraints=7522 63.05/63.14 c nbDecision=324500 #constraints=7540 63.25/63.36 c nbDecision=325000 #constraints=7556 63.45/63.50 c nbDecision=325500 #constraints=7565 63.66/63.74 c nbDecision=326000 #constraints=7578 63.95/64.02 c nbDecision=326500 #constraints=7596 64.35/64.41 c nbDecision=327000 #constraints=7619 64.55/64.62 c nbDecision=327500 #constraints=7628 64.65/64.79 c nbDecision=328000 #constraints=7637 64.86/64.99 c nbDecision=328500 #constraints=7647 65.15/65.27 c nbDecision=329000 #constraints=7662 65.45/65.50 c nbDecision=329500 #constraints=7675 65.75/65.86 c nbDecision=330000 #constraints=7694 66.15/66.20 c nbDecision=330500 #constraints=7712 66.45/66.54 c nbDecision=331000 #constraints=7731 66.75/66.89 c nbDecision=331500 #constraints=7749 67.25/67.32 c nbDecision=332000 #constraints=7772 67.65/67.77 c nbDecision=332500 #constraints=7796 67.85/67.96 c nbDecision=333000 #constraints=7807 67.95/68.06 c nbDecision=333500 #constraints=7814 68.05/68.18 c nbDecision=334000 #constraints=7822 68.25/68.37 c nbDecision=334500 #constraints=7831 68.75/68.82 c nbDecision=335000 #constraints=7854 69.05/69.15 c nbDecision=335500 #constraints=7871 69.15/69.30 c nbDecision=336000 #constraints=7878 69.25/69.38 c nbDecision=336500 #constraints=7881 69.35/69.40 c nbDecision=337000 #constraints=7881 69.45/69.56 c nbDecision=337500 #constraints=7888 69.95/70.06 c nbDecision=338000 #constraints=7917 70.15/70.29 c nbDecision=338500 #constraints=7928 70.35/70.47 c nbDecision=339000 #constraints=7938 70.75/70.83 c nbDecision=339500 #constraints=7959 71.15/71.25 c nbDecision=340000 #constraints=7984 71.45/71.59 c nbDecision=340500 #constraints=8003 71.75/71.89 c nbDecision=341000 #constraints=8018 72.05/72.18 c nbDecision=341500 #constraints=8035 72.45/72.55 c nbDecision=342000 #constraints=8059 72.74/72.87 c nbDecision=342500 #constraints=8077 72.84/72.99 c nbDecision=343000 #constraints=8082 73.14/73.26 c nbDecision=343500 #constraints=8094 73.75/73.81 c nbDecision=344000 #constraints=8126 74.35/74.44 c nbDecision=344500 #constraints=8160 74.95/75.00 c nbDecision=345000 #constraints=8188 75.35/75.42 c nbDecision=345500 #constraints=8208 75.85/75.98 c nbDecision=346000 #constraints=8239 76.25/76.33 c nbDecision=346500 #constraints=8255 76.55/76.61 c nbDecision=347000 #constraints=8272 77.05/77.18 c nbDecision=347500 #constraints=8301 77.45/77.54 c nbDecision=348000 #constraints=8319 77.75/77.82 c nbDecision=348500 #constraints=8333 78.05/78.11 c nbDecision=349000 #constraints=8348 78.35/78.40 c nbDecision=349500 #constraints=8363 78.55/78.65 c nbDecision=350000 #constraints=8374 78.75/78.87 c nbDecision=350500 #constraints=8385 79.15/79.21 c nbDecision=351000 #constraints=8406 79.35/79.40 c nbDecision=351500 #constraints=8415 79.55/79.61 c nbDecision=352000 #constraints=8428 79.85/79.95 c nbDecision=352500 #constraints=8443 80.05/80.15 c nbDecision=353000 #constraints=8453 80.35/80.49 c nbDecision=353500 #constraints=8469 80.64/80.79 c nbDecision=354000 #constraints=8486 80.94/81.01 c nbDecision=354500 #constraints=8501 81.14/81.26 c nbDecision=355000 #constraints=8519 81.44/81.55 c nbDecision=355500 #constraints=8534 81.84/81.93 c nbDecision=356000 #constraints=8554 82.14/82.22 c nbDecision=356500 #constraints=8572 82.45/82.51 c nbDecision=357000 #constraints=8588 82.64/82.79 c nbDecision=357500 #constraints=8603 82.94/83.01 c nbDecision=358000 #constraints=8615 83.14/83.26 c nbDecision=358500 #constraints=8629 83.34/83.46 c nbDecision=359000 #constraints=8640 83.64/83.79 c nbDecision=359500 #constraints=8657 83.84/83.96 c nbDecision=360000 #constraints=8670 84.04/84.14 c nbDecision=360500 #constraints=8681 84.24/84.37 c nbDecision=361000 #constraints=8696 84.64/84.75 c nbDecision=361500 #constraints=8715 84.84/84.98 c nbDecision=362000 #constraints=8727 85.24/85.31 c nbDecision=362500 #constraints=8741 85.54/85.69 c nbDecision=363000 #constraints=8759 86.04/86.16 c nbDecision=363500 #constraints=8783 86.54/86.63 c nbDecision=364000 #constraints=8805 86.94/87.05 c nbDecision=364500 #constraints=8824 87.34/87.47 c nbDecision=365000 #constraints=8843 87.74/87.86 c nbDecision=365500 #constraints=8861 88.14/88.25 c nbDecision=366000 #constraints=8879 88.64/88.78 c nbDecision=366500 #constraints=8906 89.04/89.18 c nbDecision=367000 #constraints=8923 89.54/89.62 c nbDecision=367500 #constraints=8941 89.84/89.93 c nbDecision=368000 #constraints=8954 90.34/90.44 c nbDecision=368500 #constraints=8980 90.64/90.75 c nbDecision=369000 #constraints=8995 90.94/91.06 c nbDecision=369500 #constraints=9009 91.34/91.42 c nbDecision=370000 #constraints=9029 91.64/91.75 c nbDecision=370500 #constraints=9046 92.24/92.35 c nbDecision=371000 #constraints=9074 92.83/92.93 c nbDecision=371500 #constraints=9104 93.35/93.44 c nbDecision=372000 #constraints=9139 93.64/93.74 c nbDecision=372500 #constraints=9158 94.24/94.33 c nbDecision=373000 #constraints=9190 94.74/94.87 c nbDecision=373500 #constraints=9217 95.24/95.35 c nbDecision=374000 #constraints=9239 95.55/95.69 c nbDecision=374500 #constraints=9255 95.94/96.06 c nbDecision=375000 #constraints=9272 96.24/96.37 c nbDecision=375500 #constraints=9286 96.64/96.73 c nbDecision=376000 #constraints=9304 97.04/97.11 c nbDecision=376500 #constraints=9325 97.44/97.50 c nbDecision=377000 #constraints=9344 97.74/97.90 c nbDecision=377500 #constraints=9366 98.04/98.18 c nbDecision=378000 #constraints=9379 98.44/98.55 c nbDecision=378500 #constraints=9395 98.74/98.86 c nbDecision=379000 #constraints=9409 99.14/99.21 c nbDecision=379500 #constraints=9427 99.34/99.43 c nbDecision=380000 #constraints=9438 99.84/99.97 c nbDecision=380500 #constraints=9462 100.34/100.43 c nbDecision=381000 #constraints=9489 100.64/100.77 c nbDecision=381500 #constraints=9506 101.04/101.15 c nbDecision=382000 #constraints=9523 101.43/101.50 c nbDecision=382500 #constraints=9537 101.73/101.81 c nbDecision=383000 #constraints=9551 101.94/102.06 c nbDecision=383500 #constraints=9562 102.43/102.58 c nbDecision=384000 #constraints=9587 102.83/102.90 c nbDecision=384500 #constraints=9601 103.24/103.36 c nbDecision=385000 #constraints=9624 103.63/103.70 c nbDecision=385500 #constraints=9639 103.93/104.08 c nbDecision=386000 #constraints=9657 104.34/104.40 c nbDecision=386500 #constraints=9671 104.63/104.80 c nbDecision=387000 #constraints=9689 104.93/105.08 c nbDecision=387500 #constraints=9702 105.33/105.40 c nbDecision=388000 #constraints=9716 105.63/105.70 c nbDecision=388500 #constraints=9729 105.93/106.04 c nbDecision=389000 #constraints=9744 106.23/106.38 c nbDecision=389500 #constraints=9762 106.63/106.72 c nbDecision=390000 #constraints=9780 106.83/106.96 c nbDecision=390500 #constraints=9792 107.13/107.29 c nbDecision=391000 #constraints=9806 107.43/107.53 c nbDecision=391500 #constraints=9819 107.83/107.92 c nbDecision=392000 #constraints=9842 108.23/108.35 c nbDecision=392500 #constraints=9863 108.53/108.67 c nbDecision=393000 #constraints=9880 108.83/108.94 c nbDecision=393500 #constraints=9894 109.13/109.30 c nbDecision=394000 #constraints=9914 109.63/109.73 c nbDecision=394500 #constraints=9938 109.93/110.06 c nbDecision=395000 #constraints=9955 110.22/110.38 c nbDecision=395500 #constraints=9973 110.62/110.79 c nbDecision=396000 #constraints=9992 111.03/111.12 c nbDecision=396500 #constraints=10007 111.42/111.53 c nbDecision=397000 #constraints=10029 111.82/111.94 c nbDecision=397500 #constraints=10051 112.22/112.39 c nbDecision=398000 #constraints=10073 112.62/112.76 c nbDecision=398500 #constraints=10092 112.92/113.09 c nbDecision=399000 #constraints=10110 113.32/113.42 c nbDecision=399500 #constraints=10125 113.62/113.79 c nbDecision=400000 #constraints=10142 114.12/114.23 c nbDecision=400500 #constraints=10161 114.33/114.47 c nbDecision=401000 #constraints=10171 114.62/114.76 c nbDecision=401500 #constraints=10186 115.12/115.21 c nbDecision=402000 #constraints=10211 115.62/115.73 c nbDecision=402500 #constraints=10239 115.92/116.05 c nbDecision=403000 #constraints=10253 116.22/116.38 c nbDecision=403500 #constraints=10268 116.72/116.81 c nbDecision=404000 #constraints=10294 117.12/117.29 c nbDecision=404500 #constraints=10317 117.62/117.75 c nbDecision=405000 #constraints=10339 118.02/118.14 c nbDecision=405500 #constraints=10357 118.42/118.53 c nbDecision=406000 #constraints=10374 118.82/118.91 c nbDecision=406500 #constraints=10390 119.32/119.49 c nbDecision=407000 #constraints=10419 119.82/119.98 c nbDecision=407500 #constraints=10441 120.22/120.39 c nbDecision=408000 #constraints=10458 120.72/120.80 c nbDecision=408500 #constraints=10479 120.92/121.05 c nbDecision=409000 #constraints=10492 121.32/121.47 c nbDecision=409500 #constraints=10511 121.42/121.55 c restart after 409601 decisions 121.63/121.77 c nbDecision=410000 #constraints=10514 121.73/121.80 c nbDecision=410500 #constraints=10514 121.93/122.09 c nbDecision=411000 #constraints=10526 122.22/122.36 c nbDecision=411500 #constraints=10536 122.62/122.70 c nbDecision=412000 #constraints=10550 122.62/122.73 c nbDecision=412500 #constraints=10550 122.72/122.87 c nbDecision=413000 #constraints=10555 123.22/123.31 c nbDecision=413500 #constraints=10572 123.42/123.58 c nbDecision=414000 #constraints=10581 123.62/123.72 c nbDecision=414500 #constraints=10585 123.82/123.91 c nbDecision=415000 #constraints=10591 123.82/123.94 c nbDecision=415500 #constraints=10591 123.92/124.09 c nbDecision=416000 #constraints=10596 124.72/124.82 c nbDecision=416500 #constraints=10622 125.32/125.42 c nbDecision=417000 #constraints=10647 125.62/125.78 c nbDecision=417500 #constraints=10664 126.12/126.23 c nbDecision=418000 #constraints=10682 126.42/126.56 c nbDecision=418500 #constraints=10697 126.82/126.96 c nbDecision=419000 #constraints=10715 127.32/127.42 c nbDecision=419500 #constraints=10735 127.72/127.83 c nbDecision=420000 #constraints=10757 128.02/128.11 c nbDecision=420500 #constraints=10767 128.02/128.13 c nbDecision=421000 #constraints=10767 128.32/128.42 c nbDecision=421500 #constraints=10779 128.52/128.69 c nbDecision=422000 #constraints=10792 129.02/129.10 c nbDecision=422500 #constraints=10815 129.32/129.46 c nbDecision=423000 #constraints=10829 129.62/129.77 c nbDecision=423500 #constraints=10842 130.22/130.30 c nbDecision=424000 #constraints=10864 130.32/130.49 c nbDecision=424500 #constraints=10871 130.62/130.78 c nbDecision=425000 #constraints=10883 131.02/131.12 c nbDecision=425500 #constraints=10897 131.42/131.57 c nbDecision=426000 #constraints=10916 131.61/131.75 c nbDecision=426500 #constraints=10923 132.01/132.13 c nbDecision=427000 #constraints=10938 132.31/132.44 c nbDecision=427500 #constraints=10950 132.61/132.79 c nbDecision=428000 #constraints=10965 133.02/133.10 c nbDecision=428500 #constraints=10979 133.21/133.39 c nbDecision=429000 #constraints=10989 133.81/133.90 c nbDecision=429500 #constraints=11008 134.01/134.16 c nbDecision=430000 #constraints=11019 134.31/134.43 c nbDecision=430500 #constraints=11029 134.61/134.79 c nbDecision=431000 #constraints=11042 134.91/135.06 c nbDecision=431500 #constraints=11052 135.21/135.37 c nbDecision=432000 #constraints=11065 135.51/135.63 c nbDecision=432500 #constraints=11074 135.81/135.92 c nbDecision=433000 #constraints=11085 136.11/136.22 c nbDecision=433500 #constraints=11096 136.41/136.56 c nbDecision=434000 #constraints=11106 136.61/136.77 c nbDecision=434500 #constraints=11113 137.01/137.10 c nbDecision=435000 #constraints=11124 137.31/137.44 c nbDecision=435500 #constraints=11136 137.71/137.86 c nbDecision=436000 #constraints=11149 138.01/138.13 c nbDecision=436500 #constraints=11159 138.31/138.45 c nbDecision=437000 #constraints=11174 138.61/138.71 c nbDecision=437500 #constraints=11185 138.81/138.98 c nbDecision=438000 #constraints=11196 139.11/139.28 c nbDecision=438500 #constraints=11207 139.41/139.55 c nbDecision=439000 #constraints=11217 139.81/139.90 c nbDecision=439500 #constraints=11233 139.91/140.06 c nbDecision=440000 #constraints=11240 140.21/140.30 c nbDecision=440500 #constraints=11252 140.41/140.56 c nbDecision=441000 #constraints=11264 140.81/140.92 c nbDecision=441500 #constraints=11280 141.11/141.28 c nbDecision=442000 #constraints=11295 141.41/141.53 c nbDecision=442500 #constraints=11308 141.61/141.79 c nbDecision=443000 #constraints=11323 142.01/142.12 c nbDecision=443500 #constraints=11338 142.31/142.47 c nbDecision=444000 #constraints=11354 142.71/142.85 c nbDecision=444500 #constraints=11371 143.11/143.29 c nbDecision=445000 #constraints=11389 143.51/143.61 c nbDecision=445500 #constraints=11401 143.91/144.05 c nbDecision=446000 #constraints=11419 144.41/144.51 c nbDecision=446500 #constraints=11438 144.71/144.89 c nbDecision=447000 #constraints=11456 145.21/145.39 c nbDecision=447500 #constraints=11478 145.81/145.99 c nbDecision=448000 #constraints=11501 146.11/146.28 c nbDecision=448500 #constraints=11511 146.71/146.81 c nbDecision=449000 #constraints=11531 147.21/147.37 c nbDecision=449500 #constraints=11552 147.61/147.73 c nbDecision=450000 #constraints=11565 147.91/148.09 c nbDecision=450500 #constraints=11578 148.41/148.58 c nbDecision=451000 #constraints=11596 148.91/149.08 c nbDecision=451500 #constraints=11614 149.31/149.48 c nbDecision=452000 #constraints=11628 149.81/149.96 c nbDecision=452500 #constraints=11645 150.31/150.49 c nbDecision=453000 #constraints=11663 150.91/151.05 c nbDecision=453500 #constraints=11685 151.40/151.51 c nbDecision=454000 #constraints=11701 151.80/151.96 c nbDecision=454500 #constraints=11718 152.30/152.43 c nbDecision=455000 #constraints=11733 152.71/152.89 c nbDecision=455500 #constraints=11746 152.81/152.93 c nbDecision=456000 #constraints=11746 152.90/153.03 c nbDecision=456500 #constraints=11747 152.90/153.08 c nbDecision=457000 #constraints=11747 153.00/153.10 c nbDecision=457500 #constraints=11747 153.10/153.26 c nbDecision=458000 #constraints=11753 153.50/153.63 c nbDecision=458500 #constraints=11777 153.70/153.86 c nbDecision=459000 #constraints=11787 154.20/154.31 c nbDecision=459500 #constraints=11808 154.60/154.73 c nbDecision=460000 #constraints=11826 155.01/155.12 c nbDecision=460500 #constraints=11840 155.50/155.60 c nbDecision=461000 #constraints=11862 155.70/155.87 c nbDecision=461500 #constraints=11874 156.20/156.38 c nbDecision=462000 #constraints=11891 156.60/156.77 c nbDecision=462500 #constraints=11904 157.11/157.24 c nbDecision=463000 #constraints=11920 157.60/157.72 c nbDecision=463500 #constraints=11940 158.00/158.19 c nbDecision=464000 #constraints=11957 158.40/158.51 c nbDecision=464500 #constraints=11974 158.70/158.88 c nbDecision=465000 #constraints=11990 159.00/159.18 c nbDecision=465500 #constraints=11999 159.40/159.55 c nbDecision=466000 #constraints=12014 159.70/159.88 c nbDecision=466500 #constraints=12027 160.10/160.23 c nbDecision=467000 #constraints=12040 160.30/160.43 c nbDecision=467500 #constraints=12049 160.60/160.72 c nbDecision=468000 #constraints=12061 160.80/160.92 c nbDecision=468500 #constraints=12069 161.10/161.29 c nbDecision=469000 #constraints=12083 161.40/161.51 c nbDecision=469500 #constraints=12091 161.70/161.82 c nbDecision=470000 #constraints=12100 162.00/162.18 c nbDecision=470500 #constraints=12113 162.30/162.41 c nbDecision=471000 #constraints=12121 162.50/162.68 c nbDecision=471500 #constraints=12130 163.10/163.26 c nbDecision=472000 #constraints=12148 163.70/163.84 c nbDecision=472500 #constraints=12167 164.20/164.39 c nbDecision=473000 #constraints=12186 164.50/164.60 c nbDecision=473500 #constraints=12194 164.69/164.87 c nbDecision=474000 #constraints=12204 164.99/165.19 c nbDecision=474500 #constraints=12217 165.49/165.61 c nbDecision=475000 #constraints=12237 165.90/166.02 c nbDecision=475500 #constraints=12256 166.19/166.39 c nbDecision=476000 #constraints=12269 166.49/166.64 c nbDecision=476500 #constraints=12277 166.89/167.02 c nbDecision=477000 #constraints=12292 167.39/167.52 c nbDecision=477500 #constraints=12313 167.89/168.00 c nbDecision=478000 #constraints=12334 168.10/168.23 c nbDecision=478500 #constraints=12342 168.69/168.80 c nbDecision=479000 #constraints=12365 169.09/169.22 c nbDecision=479500 #constraints=12380 169.39/169.51 c nbDecision=480000 #constraints=12388 169.69/169.87 c nbDecision=480500 #constraints=12399 170.19/170.31 c nbDecision=481000 #constraints=12414 170.69/170.84 c nbDecision=481500 #constraints=12433 171.09/171.22 c nbDecision=482000 #constraints=12447 171.49/171.69 c nbDecision=482500 #constraints=12464 171.89/172.08 c nbDecision=483000 #constraints=12476 172.39/172.50 c nbDecision=483500 #constraints=12492 172.69/172.83 c nbDecision=484000 #constraints=12504 172.89/173.09 c nbDecision=484500 #constraints=12513 173.29/173.48 c nbDecision=485000 #constraints=12528 173.79/173.96 c nbDecision=485500 #constraints=12547 174.19/174.38 c nbDecision=486000 #constraints=12561 174.59/174.70 c nbDecision=486500 #constraints=12572 175.09/175.22 c nbDecision=487000 #constraints=12591 175.19/175.39 c nbDecision=487500 #constraints=12596 175.59/175.77 c nbDecision=488000 #constraints=12611 175.99/176.18 c nbDecision=488500 #constraints=12626 176.39/176.54 c nbDecision=489000 #constraints=12641 176.89/177.07 c nbDecision=489500 #constraints=12662 177.29/177.45 c nbDecision=490000 #constraints=12679 177.59/177.75 c nbDecision=490500 #constraints=12690 178.09/178.21 c nbDecision=491000 #constraints=12707 178.58/178.74 c nbDecision=491500 #constraints=12727 178.98/179.17 c nbDecision=492000 #constraints=12743 179.48/179.63 c nbDecision=492500 #constraints=12765 179.98/180.10 c nbDecision=493000 #constraints=12783 180.28/180.45 c nbDecision=493500 #constraints=12796 180.68/180.85 c nbDecision=494000 #constraints=12812 180.97/181.17 c nbDecision=494500 #constraints=12822 181.26/181.43 c nbDecision=495000 #constraints=12832 181.66/181.82 c nbDecision=495500 #constraints=12848 182.06/182.23 c nbDecision=496000 #constraints=12865 182.55/182.70 c nbDecision=496500 #constraints=12884 183.05/183.25 c nbDecision=497000 #constraints=12904 183.46/183.61 c nbDecision=497500 #constraints=12917 183.65/183.89 c nbDecision=498000 #constraints=12927 184.16/184.30 c nbDecision=498500 #constraints=12943 184.46/184.64 c nbDecision=499000 #constraints=12956 184.76/184.97 c nbDecision=499500 #constraints=12969 185.16/185.35 c nbDecision=500000 #constraints=12985 185.66/185.87 c nbDecision=500500 #constraints=13003 186.15/186.35 c nbDecision=501000 #constraints=13019 186.65/186.88 c nbDecision=501500 #constraints=13037 186.95/187.20 c nbDecision=502000 #constraints=13048 187.25/187.44 c nbDecision=502500 #constraints=13055 187.55/187.70 c nbDecision=503000 #constraints=13064 187.85/188.09 c nbDecision=503500 #constraints=13076 188.25/188.41 c nbDecision=504000 #constraints=13091 188.75/188.90 c nbDecision=504500 #constraints=13109 189.15/189.33 c nbDecision=505000 #constraints=13125 189.55/189.72 c nbDecision=505500 #constraints=13140 189.95/190.14 c nbDecision=506000 #constraints=13155 190.24/190.45 c nbDecision=506500 #constraints=13168 190.74/190.92 c nbDecision=507000 #constraints=13187 191.04/191.23 c nbDecision=507500 #constraints=13197 191.44/191.66 c nbDecision=508000 #constraints=13211 191.94/192.12 c nbDecision=508500 #constraints=13227 192.35/192.51 c nbDecision=509000 #constraints=13240 192.74/192.93 c nbDecision=509500 #constraints=13254 193.13/193.30 c nbDecision=510000 #constraints=13266 193.52/193.77 c nbDecision=510500 #constraints=13282 194.12/194.35 c nbDecision=511000 #constraints=13302 194.53/194.72 c nbDecision=511500 #constraints=13314 194.92/195.14 c nbDecision=512000 #constraints=13326 195.22/195.47 c nbDecision=512500 #constraints=13336 195.72/195.92 c nbDecision=513000 #constraints=13353 196.32/196.51 c nbDecision=513500 #constraints=13373 196.62/196.88 c nbDecision=514000 #constraints=13387 197.02/197.25 c nbDecision=514500 #constraints=13400 197.42/197.63 c nbDecision=515000 #constraints=13414 197.62/197.86 c nbDecision=515500 #constraints=13423 198.22/198.42 c nbDecision=516000 #constraints=13442 198.52/198.76 c nbDecision=516500 #constraints=13452 199.21/199.48 c nbDecision=517000 #constraints=13478 199.81/200.10 c nbDecision=517500 #constraints=13496 200.11/200.36 c nbDecision=518000 #constraints=13504 200.51/200.79 c nbDecision=518500 #constraints=13518 201.02/201.26 c nbDecision=519000 #constraints=13536 201.41/201.66 c nbDecision=519500 #constraints=13549 201.81/202.02 c nbDecision=520000 #constraints=13560 202.30/202.55 c nbDecision=520500 #constraints=13576 202.80/203.04 c nbDecision=521000 #constraints=13591 203.31/203.50 c nbDecision=521500 #constraints=13606 203.70/203.97 c nbDecision=522000 #constraints=13620 204.10/204.33 c nbDecision=522500 #constraints=13632 204.41/204.61 c nbDecision=523000 #constraints=13640 204.80/205.04 c nbDecision=523500 #constraints=13654 205.29/205.53 c nbDecision=524000 #constraints=13668 205.59/205.87 c nbDecision=524500 #constraints=13677 205.89/206.19 c nbDecision=525000 #constraints=13687 206.39/206.64 c nbDecision=525500 #constraints=13700 206.99/207.22 c nbDecision=526000 #constraints=13719 207.60/207.82 c nbDecision=526500 #constraints=13739 208.00/208.24 c nbDecision=527000 #constraints=13751 208.60/208.81 c nbDecision=527500 #constraints=13766 209.10/209.38 c nbDecision=528000 #constraints=13782 209.80/210.03 c nbDecision=528500 #constraints=13802 210.09/210.35 c nbDecision=529000 #constraints=13813 210.49/210.79 c nbDecision=529500 #constraints=13827 211.00/211.23 c nbDecision=530000 #constraints=13843 211.39/211.61 c nbDecision=530500 #constraints=13856 211.69/211.99 c nbDecision=531000 #constraints=13871 212.00/212.24 c nbDecision=531500 #constraints=13878 212.49/212.70 c nbDecision=532000 #constraints=13895 212.79/213.08 c nbDecision=532500 #constraints=13907 213.20/213.48 c nbDecision=533000 #constraints=13921 213.69/213.92 c nbDecision=533500 #constraints=13934 214.29/214.52 c nbDecision=534000 #constraints=13954 214.89/215.14 c nbDecision=534500 #constraints=13978 215.49/215.73 c nbDecision=535000 #constraints=13999 216.19/216.49 c nbDecision=535500 #constraints=14019 216.78/217.08 c nbDecision=536000 #constraints=14040 217.28/217.55 c nbDecision=536500 #constraints=14057 217.59/217.86 c nbDecision=537000 #constraints=14067 217.78/218.04 c nbDecision=537500 #constraints=14074 218.08/218.38 c nbDecision=538000 #constraints=14088 218.58/218.89 c nbDecision=538500 #constraints=14106 219.08/219.34 c nbDecision=539000 #constraints=14121 219.88/220.11 c nbDecision=539500 #constraints=14145 220.58/220.83 c nbDecision=540000 #constraints=14168 221.08/221.34 c nbDecision=540500 #constraints=14186 221.68/221.99 c nbDecision=541000 #constraints=14205 222.38/222.62 c nbDecision=541500 #constraints=14222 223.08/223.31 c nbDecision=542000 #constraints=14243 223.47/223.73 c nbDecision=542500 #constraints=14254 223.97/224.23 c nbDecision=543000 #constraints=14270 224.47/224.73 c nbDecision=543500 #constraints=14285 224.97/225.27 c nbDecision=544000 #constraints=14303 225.87/226.13 c nbDecision=544500 #constraints=14324 226.37/226.64 c nbDecision=545000 #constraints=14335 226.86/227.12 c nbDecision=545500 #constraints=14346 227.37/227.61 c nbDecision=546000 #constraints=14358 227.76/228.03 c nbDecision=546500 #constraints=14368 228.26/228.51 c nbDecision=547000 #constraints=14379 228.87/229.18 c nbDecision=547500 #constraints=14395 229.57/229.88 c nbDecision=548000 #constraints=14415 230.06/230.37 c nbDecision=548500 #constraints=14432 230.66/230.96 c nbDecision=549000 #constraints=14457 231.16/231.42 c nbDecision=549500 #constraints=14470 231.56/231.80 c nbDecision=550000 #constraints=14484 232.05/232.32 c nbDecision=550500 #constraints=14500 232.45/232.77 c nbDecision=551000 #constraints=14513 232.95/233.24 c nbDecision=551500 #constraints=14525 233.55/233.80 c nbDecision=552000 #constraints=14539 234.06/234.34 c nbDecision=552500 #constraints=14553 234.66/234.95 c nbDecision=553000 #constraints=14571 235.06/235.35 c nbDecision=553500 #constraints=14582 235.46/235.78 c nbDecision=554000 #constraints=14595 236.06/236.34 c nbDecision=554500 #constraints=14611 236.56/236.88 c nbDecision=555000 #constraints=14628 237.16/237.46 c nbDecision=555500 #constraints=14645 237.56/237.87 c nbDecision=556000 #constraints=14655 238.15/238.45 c nbDecision=556500 #constraints=14671 238.55/238.88 c nbDecision=557000 #constraints=14687 239.25/239.54 c nbDecision=557500 #constraints=14707 239.75/240.07 c nbDecision=558000 #constraints=14722 240.15/240.45 c nbDecision=558500 #constraints=14733 240.66/240.94 c nbDecision=559000 #constraints=14747 241.05/241.39 c nbDecision=559500 #constraints=14758 241.45/241.76 c nbDecision=560000 #constraints=14768 241.85/242.14 c nbDecision=560500 #constraints=14781 242.25/242.55 c nbDecision=561000 #constraints=14796 242.55/242.83 c nbDecision=561500 #constraints=14808 242.95/243.21 c nbDecision=562000 #constraints=14819 243.25/243.59 c nbDecision=562500 #constraints=14830 243.75/244.06 c nbDecision=563000 #constraints=14842 244.05/244.33 c nbDecision=563500 #constraints=14848 244.35/244.66 c nbDecision=564000 #constraints=14856 244.55/244.88 c nbDecision=564500 #constraints=14863 244.95/245.20 c nbDecision=565000 #constraints=14874 245.15/245.42 c nbDecision=565500 #constraints=14882 245.55/245.82 c nbDecision=566000 #constraints=14892 245.85/246.16 c nbDecision=566500 #constraints=14901 246.15/246.46 c nbDecision=567000 #constraints=14909 246.65/246.95 c nbDecision=567500 #constraints=14924 247.15/247.45 c nbDecision=568000 #constraints=14939 247.65/247.99 c nbDecision=568500 #constraints=14953 248.15/248.49 c nbDecision=569000 #constraints=14967 248.54/248.82 c nbDecision=569500 #constraints=14977 248.84/249.11 c nbDecision=570000 #constraints=14985 249.24/249.57 c nbDecision=570500 #constraints=14997 249.84/250.12 c nbDecision=571000 #constraints=15012 250.34/250.62 c nbDecision=571500 #constraints=15026 250.64/250.97 c nbDecision=572000 #constraints=15035 251.04/251.33 c nbDecision=572500 #constraints=15043 251.44/251.77 c nbDecision=573000 #constraints=15055 251.84/252.13 c nbDecision=573500 #constraints=15065 252.14/252.40 c nbDecision=574000 #constraints=15071 252.64/252.92 c nbDecision=574500 #constraints=15084 253.34/253.60 c nbDecision=575000 #constraints=15099 253.74/254.10 c nbDecision=575500 #constraints=15116 254.34/254.61 c nbDecision=576000 #constraints=15129 254.84/255.19 c nbDecision=576500 #constraints=15143 255.44/255.74 c nbDecision=577000 #constraints=15159 256.14/256.41 c nbDecision=577500 #constraints=15178 256.64/256.94 c nbDecision=578000 #constraints=15191 257.14/257.43 c nbDecision=578500 #constraints=15204 257.94/258.22 c nbDecision=579000 #constraints=15224 258.53/258.84 c nbDecision=579500 #constraints=15243 258.93/259.21 c nbDecision=580000 #constraints=15254 259.43/259.78 c nbDecision=580500 #constraints=15272 260.13/260.44 c nbDecision=581000 #constraints=15292 260.83/261.16 c nbDecision=581500 #constraints=15315 261.33/261.60 c nbDecision=582000 #constraints=15329 261.93/262.25 c nbDecision=582500 #constraints=15350 262.33/262.66 c nbDecision=583000 #constraints=15360 263.03/263.30 c nbDecision=583500 #constraints=15377 263.43/263.75 c nbDecision=584000 #constraints=15389 264.03/264.35 c nbDecision=584500 #constraints=15408 264.83/265.12 c nbDecision=585000 #constraints=15429 265.33/265.64 c nbDecision=585500 #constraints=15443 265.83/266.11 c nbDecision=586000 #constraints=15454 266.23/266.59 c nbDecision=586500 #constraints=15466 266.83/267.12 c nbDecision=587000 #constraints=15481 267.23/267.50 c nbDecision=587500 #constraints=15492 267.83/268.18 c nbDecision=588000 #constraints=15509 268.53/268.85 c nbDecision=588500 #constraints=15530 269.03/269.36 c nbDecision=589000 #constraints=15544 269.73/270.00 c nbDecision=589500 #constraints=15563 270.33/270.67 c nbDecision=590000 #constraints=15579 271.23/271.57 c nbDecision=590500 #constraints=15603 271.93/272.21 c nbDecision=591000 #constraints=15619 272.33/272.65 c nbDecision=591500 #constraints=15630 272.83/273.13 c nbDecision=592000 #constraints=15641 273.33/273.62 c nbDecision=592500 #constraints=15653 274.13/274.42 c nbDecision=593000 #constraints=15673 274.73/275.09 c nbDecision=593500 #constraints=15693 275.33/275.66 c nbDecision=594000 #constraints=15710 275.93/276.29 c nbDecision=594500 #constraints=15729 276.42/276.75 c nbDecision=595000 #constraints=15744 276.93/277.23 c nbDecision=595500 #constraints=15759 277.42/277.71 c nbDecision=596000 #constraints=15773 277.82/278.12 c nbDecision=596500 #constraints=15788 278.03/278.39 c nbDecision=597000 #constraints=15795 278.62/278.95 c nbDecision=597500 #constraints=15808 279.22/279.56 c nbDecision=598000 #constraints=15822 279.72/280.02 c nbDecision=598500 #constraints=15836 280.52/280.85 c nbDecision=599000 #constraints=15857 281.03/281.33 c nbDecision=599500 #constraints=15871 281.83/282.11 c nbDecision=600000 #constraints=15893 282.23/282.56 c nbDecision=600500 #constraints=15907 282.83/283.16 c nbDecision=601000 #constraints=15926 283.33/283.66 c nbDecision=601500 #constraints=15943 283.93/284.20 c nbDecision=602000 #constraints=15960 284.23/284.50 c nbDecision=602500 #constraints=15973 284.63/284.93 c nbDecision=603000 #constraints=15989 285.03/285.38 c nbDecision=603500 #constraints=16004 285.43/285.77 c nbDecision=604000 #constraints=16021 285.83/286.17 c nbDecision=604500 #constraints=16035 286.53/286.82 c nbDecision=605000 #constraints=16053 286.83/287.15 c nbDecision=605500 #constraints=16061 287.13/287.49 c nbDecision=606000 #constraints=16070 287.53/287.89 c nbDecision=606500 #constraints=16083 288.12/288.44 c nbDecision=607000 #constraints=16101 288.52/288.87 c nbDecision=607500 #constraints=16114 289.03/289.31 c nbDecision=608000 #constraints=16127 289.32/289.68 c nbDecision=608500 #constraints=16138 289.82/290.11 c nbDecision=609000 #constraints=16151 290.22/290.52 c nbDecision=609500 #constraints=16163 290.72/291.00 c nbDecision=610000 #constraints=16180 291.13/291.45 c nbDecision=610500 #constraints=16195 291.72/292.07 c nbDecision=611000 #constraints=16222 292.23/292.51 c nbDecision=611500 #constraints=16237 292.62/292.95 c nbDecision=612000 #constraints=16252 293.22/293.53 c nbDecision=612500 #constraints=16271 293.62/293.98 c nbDecision=613000 #constraints=16286 294.12/294.47 c nbDecision=613500 #constraints=16301 294.52/294.84 c nbDecision=614000 #constraints=16313 294.92/295.26 c nbDecision=614500 #constraints=16327 295.32/295.63 c nbDecision=615000 #constraints=16340 295.82/296.14 c nbDecision=615500 #constraints=16355 296.32/296.67 c nbDecision=616000 #constraints=16371 296.82/297.11 c nbDecision=616500 #constraints=16386 297.11/297.49 c nbDecision=617000 #constraints=16399 297.61/297.91 c nbDecision=617500 #constraints=16414 298.01/298.31 c nbDecision=618000 #constraints=16429 298.31/298.63 c nbDecision=618500 #constraints=16439 298.82/299.10 c nbDecision=619000 #constraints=16452 299.11/299.48 c nbDecision=619500 #constraints=16463 299.61/299.91 c nbDecision=620000 #constraints=16478 300.02/300.32 c nbDecision=620500 #constraints=16492 300.41/300.75 c nbDecision=621000 #constraints=16507 300.81/301.18 c nbDecision=621500 #constraints=16521 301.31/301.61 c nbDecision=622000 #constraints=16534 301.61/301.97 c nbDecision=622500 #constraints=16545 302.51/302.89 c nbDecision=623000 #constraints=16567 303.01/303.37 c nbDecision=623500 #constraints=16586 303.51/303.82 c nbDecision=624000 #constraints=16602 304.01/304.30 c nbDecision=624500 #constraints=16616 304.51/304.84 c nbDecision=625000 #constraints=16633 304.91/305.20 c nbDecision=625500 #constraints=16645 305.31/305.62 c nbDecision=626000 #constraints=16659 305.71/306.04 c nbDecision=626500 #constraints=16671 306.21/306.55 c nbDecision=627000 #constraints=16687 306.61/306.98 c nbDecision=627500 #constraints=16701 307.01/307.34 c nbDecision=628000 #constraints=16711 307.41/307.70 c nbDecision=628500 #constraints=16724 307.91/308.29 c nbDecision=629000 #constraints=16741 308.51/308.85 c nbDecision=629500 #constraints=16756 309.11/309.42 c nbDecision=630000 #constraints=16774 309.51/309.85 c nbDecision=630500 #constraints=16787 310.01/310.38 c nbDecision=631000 #constraints=16802 310.41/310.77 c nbDecision=631500 #constraints=16815 310.91/311.25 c nbDecision=632000 #constraints=16830 311.41/311.79 c nbDecision=632500 #constraints=16844 311.81/312.14 c nbDecision=633000 #constraints=16853 312.40/312.73 c nbDecision=633500 #constraints=16868 313.00/313.34 c nbDecision=634000 #constraints=16886 313.50/313.81 c nbDecision=634500 #constraints=16900 313.90/314.23 c nbDecision=635000 #constraints=16912 314.50/314.90 c nbDecision=635500 #constraints=16930 315.00/315.35 c nbDecision=636000 #constraints=16942 315.51/315.81 c nbDecision=636500 #constraints=16955 316.01/316.31 c nbDecision=637000 #constraints=16970 316.42/316.72 c nbDecision=637500 #constraints=16979 316.81/317.14 c nbDecision=638000 #constraints=16991 317.21/317.55 c nbDecision=638500 #constraints=17002 317.71/318.01 c nbDecision=639000 #constraints=17014 318.41/318.74 c nbDecision=639500 #constraints=17037 319.41/319.78 c nbDecision=640000 #constraints=17065 320.01/320.39 c nbDecision=640500 #constraints=17085 320.11/320.42 c nbDecision=641000 #constraints=17085 320.51/320.87 c nbDecision=641500 #constraints=17099 321.01/321.32 c nbDecision=642000 #constraints=17116 321.41/321.71 c nbDecision=642500 #constraints=17128 321.81/322.15 c nbDecision=643000 #constraints=17146 322.21/322.54 c nbDecision=643500 #constraints=17157 323.01/323.35 c nbDecision=644000 #constraints=17181 323.51/323.83 c nbDecision=644500 #constraints=17192 323.91/324.21 c nbDecision=645000 #constraints=17204 324.61/324.91 c nbDecision=645500 #constraints=17223 325.21/325.57 c nbDecision=646000 #constraints=17243 325.71/326.01 c nbDecision=646500 #constraints=17256 326.21/326.59 c nbDecision=647000 #constraints=17273 326.81/327.10 c nbDecision=647500 #constraints=17287 327.41/327.76 c nbDecision=648000 #constraints=17306 328.11/328.40 c nbDecision=648500 #constraints=17325 328.41/328.73 c nbDecision=649000 #constraints=17335 328.91/329.23 c nbDecision=649500 #constraints=17351 329.40/329.70 c nbDecision=650000 #constraints=17364 329.90/330.21 c nbDecision=650500 #constraints=17382 330.50/330.80 c nbDecision=651000 #constraints=17402 331.00/331.35 c nbDecision=651500 #constraints=17419 331.60/331.91 c nbDecision=652000 #constraints=17435 332.10/332.47 c nbDecision=652500 #constraints=17453 332.91/333.23 c nbDecision=653000 #constraints=17476 333.60/333.98 c nbDecision=653500 #constraints=17497 334.20/334.55 c nbDecision=654000 #constraints=17514 334.90/335.29 c nbDecision=654500 #constraints=17539 335.50/335.88 c nbDecision=655000 #constraints=17557 336.31/336.62 c nbDecision=655500 #constraints=17579 336.90/337.27 c nbDecision=656000 #constraints=17599 337.80/338.17 c nbDecision=656500 #constraints=17625 338.60/338.92 c nbDecision=657000 #constraints=17646 339.40/339.80 c nbDecision=657500 #constraints=17672 340.10/340.43 c nbDecision=658000 #constraints=17687 340.90/341.28 c nbDecision=658500 #constraints=17713 341.80/342.12 c nbDecision=659000 #constraints=17744 342.20/342.54 c nbDecision=659500 #constraints=17757 342.60/342.97 c nbDecision=660000 #constraints=17770 343.10/343.46 c nbDecision=660500 #constraints=17786 343.80/344.16 c nbDecision=661000 #constraints=17806 344.30/344.61 c nbDecision=661500 #constraints=17817 344.90/345.25 c nbDecision=662000 #constraints=17837 345.40/345.77 c nbDecision=662500 #constraints=17854 346.10/346.46 c nbDecision=663000 #constraints=17874 346.50/346.85 c nbDecision=663500 #constraints=17885 347.50/347.80 c nbDecision=664000 #constraints=17913 348.00/348.35 c nbDecision=664500 #constraints=17927 348.60/348.99 c nbDecision=665000 #constraints=17944 348.80/349.19 c nbDecision=665500 #constraints=17947 349.19/349.58 c nbDecision=666000 #constraints=17956 349.89/350.28 c nbDecision=666500 #constraints=17976 350.39/350.79 c nbDecision=667000 #constraints=17989 351.19/351.59 c nbDecision=667500 #constraints=18011 352.09/352.43 c nbDecision=668000 #constraints=18036 352.70/353.06 c nbDecision=668500 #constraints=18055 353.39/353.76 c nbDecision=669000 #constraints=18075 354.29/354.69 c nbDecision=669500 #constraints=18100 354.90/355.28 c nbDecision=670000 #constraints=18116 355.69/356.00 c nbDecision=670500 #constraints=18133 356.19/356.54 c nbDecision=671000 #constraints=18146 356.79/357.14 c nbDecision=671500 #constraints=18162 357.39/357.77 c nbDecision=672000 #constraints=18179 357.99/358.36 c nbDecision=672500 #constraints=18196 358.49/358.87 c nbDecision=673000 #constraints=18210 359.19/359.52 c nbDecision=673500 #constraints=18226 359.69/360.01 c nbDecision=674000 #constraints=18237 360.09/360.48 c nbDecision=674500 #constraints=18246 360.59/360.92 c nbDecision=675000 #constraints=18256 360.99/361.31 c nbDecision=675500 #constraints=18265 361.49/361.85 c nbDecision=676000 #constraints=18277 362.08/362.46 c nbDecision=676500 #constraints=18293 362.48/362.80 c nbDecision=677000 #constraints=18302 362.79/363.19 c nbDecision=677500 #constraints=18311 363.49/363.88 c nbDecision=678000 #constraints=18328 363.89/364.25 c nbDecision=678500 #constraints=18337 364.39/364.78 c nbDecision=679000 #constraints=18350 365.09/365.43 c nbDecision=679500 #constraints=18363 365.39/365.78 c nbDecision=680000 #constraints=18370 366.19/366.55 c nbDecision=680500 #constraints=18387 366.79/367.12 c nbDecision=681000 #constraints=18400 367.39/367.74 c nbDecision=681500 #constraints=18413 367.89/368.24 c nbDecision=682000 #constraints=18425 368.79/369.13 c nbDecision=682500 #constraints=18444 369.59/369.93 c nbDecision=683000 #constraints=18463 370.39/370.75 c nbDecision=683500 #constraints=18482 370.89/371.28 c nbDecision=684000 #constraints=18493 371.29/371.65 c nbDecision=684500 #constraints=18500 371.79/372.17 c nbDecision=685000 #constraints=18512 372.29/372.65 c nbDecision=685500 #constraints=18522 372.89/373.21 c nbDecision=686000 #constraints=18536 373.29/373.63 c nbDecision=686500 #constraints=18545 373.69/374.07 c nbDecision=687000 #constraints=18555 374.29/374.63 c nbDecision=687500 #constraints=18567 374.69/375.04 c nbDecision=688000 #constraints=18576 375.09/375.43 c nbDecision=688500 #constraints=18584 375.59/375.90 c nbDecision=689000 #constraints=18594 375.99/376.34 c nbDecision=689500 #constraints=18606 376.68/377.10 c nbDecision=690000 #constraints=18623 377.28/377.61 c nbDecision=690500 #constraints=18633 377.88/378.24 c nbDecision=691000 #constraints=18646 378.48/378.82 c nbDecision=691500 #constraints=18658 378.98/379.36 c nbDecision=692000 #constraints=18670 379.68/380.04 c nbDecision=692500 #constraints=18687 380.38/380.71 c nbDecision=693000 #constraints=18702 381.08/381.40 c nbDecision=693500 #constraints=18717 381.58/381.96 c nbDecision=694000 #constraints=18732 382.18/382.52 c nbDecision=694500 #constraints=18747 382.58/382.97 c nbDecision=695000 #constraints=18757 382.88/383.27 c nbDecision=695500 #constraints=18766 383.28/383.61 c nbDecision=696000 #constraints=18776 383.58/383.97 c nbDecision=696500 #constraints=18785 384.28/384.64 c nbDecision=697000 #constraints=18802 384.98/385.38 c nbDecision=697500 #constraints=18821 385.68/386.02 c nbDecision=698000 #constraints=18836 386.28/386.65 c nbDecision=698500 #constraints=18851 386.68/387.01 c nbDecision=699000 #constraints=18859 387.08/387.45 c nbDecision=699500 #constraints=18870 387.68/388.09 c nbDecision=700000 #constraints=18887 388.38/388.80 c nbDecision=700500 #constraints=18902 388.87/389.28 c nbDecision=701000 #constraints=18915 389.47/389.83 c nbDecision=701500 #constraints=18931 389.77/390.19 c nbDecision=702000 #constraints=18940 390.37/390.79 c nbDecision=702500 #constraints=18953 390.97/391.31 c nbDecision=703000 #constraints=18966 391.48/391.83 c nbDecision=703500 #constraints=18979 391.97/392.31 c nbDecision=704000 #constraints=18993 392.57/392.91 c nbDecision=704500 #constraints=19011 393.07/393.48 c nbDecision=705000 #constraints=19029 393.77/394.16 c nbDecision=705500 #constraints=19049 394.27/394.65 c nbDecision=706000 #constraints=19060 394.87/395.22 c nbDecision=706500 #constraints=19072 395.37/395.76 c nbDecision=707000 #constraints=19085 395.77/396.18 c nbDecision=707500 #constraints=19093 396.37/396.74 c nbDecision=708000 #constraints=19106 396.97/397.32 c nbDecision=708500 #constraints=19120 397.47/397.82 c nbDecision=709000 #constraints=19133 398.27/398.61 c nbDecision=709500 #constraints=19150 398.77/399.16 c nbDecision=710000 #constraints=19165 399.27/399.63 c nbDecision=710500 #constraints=19180 399.87/400.26 c nbDecision=711000 #constraints=19198 400.57/400.97 c nbDecision=711500 #constraints=19215 401.17/401.57 c nbDecision=712000 #constraints=19229 401.57/401.91 c nbDecision=712500 #constraints=19237 402.07/402.49 c nbDecision=713000 #constraints=19249 402.67/403.10 c nbDecision=713500 #constraints=19264 403.07/403.46 c nbDecision=714000 #constraints=19275 403.57/403.96 c nbDecision=714500 #constraints=19290 404.07/404.40 c nbDecision=715000 #constraints=19301 404.56/404.95 c nbDecision=715500 #constraints=19317 405.07/405.43 c nbDecision=716000 #constraints=19329 405.67/406.07 c nbDecision=716500 #constraints=19345 406.07/406.42 c nbDecision=717000 #constraints=19354 406.47/406.90 c nbDecision=717500 #constraints=19366 407.07/407.43 c nbDecision=718000 #constraints=19378 407.57/407.99 c nbDecision=718500 #constraints=19391 408.27/408.62 c nbDecision=719000 #constraints=19409 408.67/409.00 c nbDecision=719500 #constraints=19419 409.17/409.51 c nbDecision=720000 #constraints=19431 409.57/409.93 c nbDecision=720500 #constraints=19440 410.07/410.40 c nbDecision=721000 #constraints=19451 410.57/411.00 c nbDecision=721500 #constraints=19465 411.07/411.41 c nbDecision=722000 #constraints=19475 411.77/412.16 c nbDecision=722500 #constraints=19495 412.27/412.60 c nbDecision=723000 #constraints=19506 412.67/413.09 c nbDecision=723500 #constraints=19519 413.27/413.64 c nbDecision=724000 #constraints=19533 413.67/414.06 c nbDecision=724500 #constraints=19543 414.37/414.78 c nbDecision=725000 #constraints=19561 415.07/415.46 c nbDecision=725500 #constraints=19581 415.47/415.89 c nbDecision=726000 #constraints=19591 416.07/416.40 c nbDecision=726500 #constraints=19605 416.57/416.96 c nbDecision=727000 #constraints=19623 417.36/417.75 c nbDecision=727500 #constraints=19642 418.16/418.54 c nbDecision=728000 #constraints=19662 418.77/419.16 c nbDecision=728500 #constraints=19676 419.46/419.83 c nbDecision=729000 #constraints=19696 419.96/420.35 c nbDecision=729500 #constraints=19711 420.66/421.00 c nbDecision=730000 #constraints=19728 421.16/421.53 c nbDecision=730500 #constraints=19742 422.06/422.45 c nbDecision=731000 #constraints=19767 422.66/423.09 c nbDecision=731500 #constraints=19783 423.26/423.63 c nbDecision=732000 #constraints=19796 423.76/424.17 c nbDecision=732500 #constraints=19810 424.26/424.61 c nbDecision=733000 #constraints=19824 425.06/425.41 c nbDecision=733500 #constraints=19846 425.56/425.91 c nbDecision=734000 #constraints=19858 426.36/426.79 c nbDecision=734500 #constraints=19881 426.86/427.29 c nbDecision=735000 #constraints=19894 427.56/427.97 c nbDecision=735500 #constraints=19913 428.46/428.87 c nbDecision=736000 #constraints=19933 429.06/429.45 c nbDecision=736500 #constraints=19948 429.96/430.30 c nbDecision=737000 #constraints=19969 430.76/431.19 c nbDecision=737500 #constraints=19993 431.16/431.53 c nbDecision=738000 #constraints=20001 432.16/432.50 c nbDecision=738500 #constraints=20029 432.75/433.12 c nbDecision=739000 #constraints=20043 433.35/433.77 c nbDecision=739500 #constraints=20059 434.06/434.46 c nbDecision=740000 #constraints=20074 434.65/435.07 c nbDecision=740500 #constraints=20089 435.45/435.87 c nbDecision=741000 #constraints=20110 436.26/436.65 c nbDecision=741500 #constraints=20126 437.05/437.44 c nbDecision=742000 #constraints=20145 437.85/438.24 c nbDecision=742500 #constraints=20163 438.35/438.76 c nbDecision=743000 #constraints=20176 439.05/439.40 c nbDecision=743500 #constraints=20194 439.65/440.09 c nbDecision=744000 #constraints=20209 440.25/440.63 c nbDecision=744500 #constraints=20223 441.05/441.43 c nbDecision=745000 #constraints=20244 441.65/442.07 c nbDecision=745500 #constraints=20261 442.55/442.93 c nbDecision=746000 #constraints=20287 442.95/443.35 c nbDecision=746500 #constraints=20300 443.55/443.90 c nbDecision=747000 #constraints=20312 444.15/444.57 c nbDecision=747500 #constraints=20328 444.55/444.98 c nbDecision=748000 #constraints=20338 445.75/446.10 c nbDecision=748500 #constraints=20361 446.15/446.53 c nbDecision=749000 #constraints=20371 446.55/446.96 c nbDecision=749500 #constraints=20381 447.55/447.91 c nbDecision=750000 #constraints=20402 448.25/448.68 c nbDecision=750500 #constraints=20419 449.05/449.40 c nbDecision=751000 #constraints=20435 449.85/450.22 c nbDecision=751500 #constraints=20449 450.45/450.80 c nbDecision=752000 #constraints=20462 450.85/451.26 c nbDecision=752500 #constraints=20471 451.66/452.04 c nbDecision=753000 #constraints=20486 452.15/452.59 c nbDecision=753500 #constraints=20499 452.86/453.23 c nbDecision=754000 #constraints=20513 453.85/454.26 c nbDecision=754500 #constraints=20533 454.65/455.06 c nbDecision=755000 #constraints=20549 455.15/455.57 c nbDecision=755500 #constraints=20560 455.75/456.19 c nbDecision=756000 #constraints=20573 456.45/456.85 c nbDecision=756500 #constraints=20585 457.25/457.62 c nbDecision=757000 #constraints=20600 457.75/458.12 c nbDecision=757500 #constraints=20610 458.45/458.83 c nbDecision=758000 #constraints=20624 459.25/459.63 c nbDecision=758500 #constraints=20640 459.74/460.19 c nbDecision=759000 #constraints=20654 460.24/460.64 c nbDecision=759500 #constraints=20664 460.94/461.33 c nbDecision=760000 #constraints=20682 461.44/461.88 c nbDecision=760500 #constraints=20692 462.04/462.47 c nbDecision=761000 #constraints=20705 462.75/463.16 c nbDecision=761500 #constraints=20721 463.24/463.68 c nbDecision=762000 #constraints=20732 463.94/464.31 c nbDecision=762500 #constraints=20744 464.54/464.92 c nbDecision=763000 #constraints=20757 465.14/465.54 c nbDecision=763500 #constraints=20772 465.64/466.09 c nbDecision=764000 #constraints=20784 466.14/466.57 c nbDecision=764500 #constraints=20795 466.64/467.03 c nbDecision=765000 #constraints=20806 467.24/467.63 c nbDecision=765500 #constraints=20820 467.84/468.23 c nbDecision=766000 #constraints=20833 468.34/468.79 c nbDecision=766500 #constraints=20846 469.24/469.62 c nbDecision=767000 #constraints=20866 469.94/470.34 c nbDecision=767500 #constraints=20881 470.64/471.09 c nbDecision=768000 #constraints=20897 471.14/471.53 c nbDecision=768500 #constraints=20906 471.84/472.28 c nbDecision=769000 #constraints=20922 472.54/473.00 c nbDecision=769500 #constraints=20938 473.24/473.62 c nbDecision=770000 #constraints=20955 473.84/474.29 c nbDecision=770500 #constraints=20971 474.84/475.27 c nbDecision=771000 #constraints=20990 475.63/476.00 c nbDecision=771500 #constraints=21005 476.33/476.70 c nbDecision=772000 #constraints=21019 476.83/477.30 c nbDecision=772500 #constraints=21032 477.63/478.02 c nbDecision=773000 #constraints=21046 478.43/478.80 c nbDecision=773500 #constraints=21060 478.93/479.33 c nbDecision=774000 #constraints=21072 479.83/480.27 c nbDecision=774500 #constraints=21093 480.23/480.66 c nbDecision=775000 #constraints=21103 481.13/481.54 c nbDecision=775500 #constraints=21120 481.63/482.01 c nbDecision=776000 #constraints=21131 482.03/482.45 c nbDecision=776500 #constraints=21142 482.73/483.18 c nbDecision=777000 #constraints=21158 483.33/483.79 c nbDecision=777500 #constraints=21170 484.03/484.47 c nbDecision=778000 #constraints=21186 484.83/485.20 c nbDecision=778500 #constraints=21201 485.43/485.81 c nbDecision=779000 #constraints=21214 486.23/486.65 c nbDecision=779500 #constraints=21230 487.24/487.63 c nbDecision=780000 #constraints=21248 488.34/488.73 c nbDecision=780500 #constraints=21270 489.34/489.70 c nbDecision=781000 #constraints=21286 489.94/490.35 c nbDecision=781500 #constraints=21298 490.84/491.28 c nbDecision=782000 #constraints=21316 491.43/491.84 c nbDecision=782500 #constraints=21327 491.93/492.39 c nbDecision=783000 #constraints=21339 493.03/493.42 c nbDecision=783500 #constraints=21359 493.63/494.00 c nbDecision=784000 #constraints=21372 494.23/494.63 c nbDecision=784500 #constraints=21386 494.83/495.22 c nbDecision=785000 #constraints=21399 495.53/495.99 c nbDecision=785500 #constraints=21413 496.03/496.47 c nbDecision=786000 #constraints=21424 496.73/497.11 c nbDecision=786500 #constraints=21437 497.43/497.82 c nbDecision=787000 #constraints=21452 498.23/498.60 c nbDecision=787500 #constraints=21471 498.83/499.25 c nbDecision=788000 #constraints=21483 499.23/499.66 c nbDecision=788500 #constraints=21488 500.03/500.46 c nbDecision=789000 #constraints=21506 500.63/501.08 c nbDecision=789500 #constraints=21522 501.23/501.60 c nbDecision=790000 #constraints=21536 502.12/502.51 c nbDecision=790500 #constraints=21554 502.72/503.15 c nbDecision=791000 #constraints=21568 503.43/503.85 c nbDecision=791500 #constraints=21582 504.32/504.76 c nbDecision=792000 #constraints=21600 505.02/505.44 c nbDecision=792500 #constraints=21615 505.82/506.25 c nbDecision=793000 #constraints=21631 506.42/506.88 c nbDecision=793500 #constraints=21643 507.12/507.54 c nbDecision=794000 #constraints=21655 507.72/508.16 c nbDecision=794500 #constraints=21667 508.12/508.60 c nbDecision=795000 #constraints=21675 508.92/509.31 c nbDecision=795500 #constraints=21689 509.52/509.98 c nbDecision=796000 #constraints=21702 510.12/510.51 c nbDecision=796500 #constraints=21713 510.82/511.25 c nbDecision=797000 #constraints=21726 511.72/512.11 c nbDecision=797500 #constraints=21743 512.52/512.90 c nbDecision=798000 #constraints=21757 512.92/513.35 c nbDecision=798500 #constraints=21765 513.62/514.06 c nbDecision=799000 #constraints=21781 514.12/514.54 c nbDecision=799500 #constraints=21790 514.82/515.28 c nbDecision=800000 #constraints=21804 515.82/516.25 c nbDecision=800500 #constraints=21822 516.52/516.98 c nbDecision=801000 #constraints=21840 517.12/517.55 c nbDecision=801500 #constraints=21853 517.82/518.29 c nbDecision=802000 #constraints=21866 519.12/519.57 c nbDecision=802500 #constraints=21890 520.41/520.82 c nbDecision=803000 #constraints=21916 521.61/522.00 c nbDecision=803500 #constraints=21941 522.21/522.69 c nbDecision=804000 #constraints=21955 523.12/523.54 c nbDecision=804500 #constraints=21975 523.71/524.19 c nbDecision=805000 #constraints=21988 524.32/524.79 c nbDecision=805500 #constraints=22000 524.91/525.30 c nbDecision=806000 #constraints=22009 525.51/525.90 c nbDecision=806500 #constraints=22021 526.42/526.85 c nbDecision=807000 #constraints=22043 527.41/527.89 c nbDecision=807500 #constraints=22064 528.21/528.60 c nbDecision=808000 #constraints=22079 529.61/530.02 c nbDecision=808500 #constraints=22107 530.61/531.07 c nbDecision=809000 #constraints=22129 531.41/531.81 c nbDecision=809500 #constraints=22147 531.81/532.28 c nbDecision=810000 #constraints=22157 532.51/532.93 c nbDecision=810500 #constraints=22171 533.41/533.85 c nbDecision=811000 #constraints=22189 534.41/534.86 c nbDecision=811500 #constraints=22209 535.31/535.70 c nbDecision=812000 #constraints=22227 535.91/536.39 c nbDecision=812500 #constraints=22242 536.51/536.98 c nbDecision=813000 #constraints=22255 537.21/537.63 c nbDecision=813500 #constraints=22270 537.91/538.33 c nbDecision=814000 #constraints=22284 538.81/539.27 c nbDecision=814500 #constraints=22307 539.81/540.23 c nbDecision=815000 #constraints=22327 540.71/541.13 c nbDecision=815500 #constraints=22343 541.71/542.19 c nbDecision=816000 #constraints=22364 542.51/542.98 c nbDecision=816500 #constraints=22379 543.31/543.77 c nbDecision=817000 #constraints=22396 544.71/545.15 c nbDecision=817500 #constraints=22421 545.41/545.85 c nbDecision=818000 #constraints=22434 546.41/546.89 c nbDecision=818500 #constraints=22455 548.10/548.51 c nbDecision=819000 #constraints=22484 549.10/549.53 c restart after 819201 decisions 549.70/550.10 c nbDecision=819500 #constraints=22505 549.70/550.15 c nbDecision=820000 #constraints=22505 550.00/550.49 c nbDecision=820500 #constraints=22509 550.80/551.26 c nbDecision=821000 #constraints=22527 551.81/552.24 c nbDecision=821500 #constraints=22547 552.70/553.13 c nbDecision=822000 #constraints=22566 553.60/554.06 c nbDecision=822500 #constraints=22587 555.20/555.63 c nbDecision=823000 #constraints=22623 556.00/556.48 c nbDecision=823500 #constraints=22641 556.80/557.23 c nbDecision=824000 #constraints=22658 557.60/558.09 c nbDecision=824500 #constraints=22677 558.41/558.89 c nbDecision=825000 #constraints=22693 559.60/560.04 c nbDecision=825500 #constraints=22722 560.30/560.76 c nbDecision=826000 #constraints=22736 560.90/561.36 c nbDecision=826500 #constraints=22748 561.50/561.99 c nbDecision=827000 #constraints=22760 562.20/562.67 c nbDecision=827500 #constraints=22774 562.80/563.27 c nbDecision=828000 #constraints=22783 563.50/563.95 c nbDecision=828500 #constraints=22799 564.20/564.69 c nbDecision=829000 #constraints=22814 565.10/565.59 c nbDecision=829500 #constraints=22832 565.90/566.30 c nbDecision=830000 #constraints=22844 566.60/567.09 c nbDecision=830500 #constraints=22860 567.50/567.95 c nbDecision=831000 #constraints=22873 568.20/568.60 c nbDecision=831500 #constraints=22885 569.00/569.42 c nbDecision=832000 #constraints=22899 569.80/570.21 c nbDecision=832500 #constraints=22915 570.40/570.81 c nbDecision=833000 #constraints=22926 571.09/571.58 c nbDecision=833500 #constraints=22941 571.89/572.35 c nbDecision=834000 #constraints=22953 572.79/573.29 c nbDecision=834500 #constraints=22970 573.70/574.14 c nbDecision=835000 #constraints=22988 574.69/575.17 c nbDecision=835500 #constraints=23007 575.09/575.56 c nbDecision=836000 #constraints=23014 576.00/576.43 c nbDecision=836500 #constraints=23031 576.39/576.86 c nbDecision=837000 #constraints=23039 577.39/577.83 c nbDecision=837500 #constraints=23063 578.10/578.58 c nbDecision=838000 #constraints=23080 578.79/579.21 c nbDecision=838500 #constraints=23096 579.49/579.94 c nbDecision=839000 #constraints=23112 580.29/580.72 c nbDecision=839500 #constraints=23131 581.09/581.56 c nbDecision=840000 #constraints=23151 581.79/582.20 c nbDecision=840500 #constraints=23164 582.59/583.02 c nbDecision=841000 #constraints=23182 583.39/583.85 c nbDecision=841500 #constraints=23200 584.19/584.63 c nbDecision=842000 #constraints=23217 584.79/585.29 c nbDecision=842500 #constraints=23231 585.69/586.19 c nbDecision=843000 #constraints=23252 586.29/586.78 c nbDecision=843500 #constraints=23265 587.09/587.52 c nbDecision=844000 #constraints=23280 587.69/588.15 c nbDecision=844500 #constraints=23293 587.79/588.21 c nbDecision=845000 #constraints=23293 589.09/589.60 c nbDecision=845500 #constraints=23311 589.78/590.26 c nbDecision=846000 #constraints=23326 590.58/591.06 c nbDecision=846500 #constraints=23343 591.78/592.21 c nbDecision=847000 #constraints=23366 592.39/592.88 c nbDecision=847500 #constraints=23382 593.38/593.80 c nbDecision=848000 #constraints=23399 593.88/594.37 c nbDecision=848500 #constraints=23410 594.69/595.14 c nbDecision=849000 #constraints=23422 595.28/595.77 c nbDecision=849500 #constraints=23433 595.38/595.82 c nbDecision=850000 #constraints=23433 597.09/597.55 c nbDecision=850500 #constraints=23462 598.00/598.43 c nbDecision=851000 #constraints=23477 599.39/599.83 c nbDecision=851500 #constraints=23500 600.59/601.01 c nbDecision=852000 #constraints=23521 601.79/602.24 c nbDecision=852500 #constraints=23538 602.69/603.17 c nbDecision=853000 #constraints=23553 603.79/604.21 c nbDecision=853500 #constraints=23567 604.99/605.46 c nbDecision=854000 #constraints=23589 606.29/606.72 c nbDecision=854500 #constraints=23611 607.09/607.51 c nbDecision=855000 #constraints=23628 607.59/608.08 c nbDecision=855500 #constraints=23640 608.18/608.61 c nbDecision=856000 #constraints=23651 608.78/609.27 c nbDecision=856500 #constraints=23665 609.49/609.93 c nbDecision=857000 #constraints=23678 610.18/610.66 c nbDecision=857500 #constraints=23694 610.98/611.49 c nbDecision=858000 #constraints=23709 612.19/612.60 c nbDecision=858500 #constraints=23731 613.18/613.64 c nbDecision=859000 #constraints=23751 614.28/614.75 c nbDecision=859500 #constraints=23772 615.28/615.74 c nbDecision=860000 #constraints=23793 616.18/616.68 c nbDecision=860500 #constraints=23812 616.98/617.50 c nbDecision=861000 #constraints=23828 618.08/618.57 c nbDecision=861500 #constraints=23849 618.98/619.48 c nbDecision=862000 #constraints=23867 619.78/620.28 c nbDecision=862500 #constraints=23881 620.78/621.20 c nbDecision=863000 #constraints=23901 621.68/622.18 c nbDecision=863500 #constraints=23923 622.28/622.78 c nbDecision=864000 #constraints=23936 623.38/623.83 c nbDecision=864500 #constraints=23956 624.28/624.79 c nbDecision=865000 #constraints=23974 625.17/625.65 c nbDecision=865500 #constraints=23989 626.77/627.20 c nbDecision=866000 #constraints=24018 627.27/627.79 c nbDecision=866500 #constraints=24028 628.27/628.70 c nbDecision=867000 #constraints=24046 629.07/629.52 c nbDecision=867500 #constraints=24059 629.78/630.27 c nbDecision=868000 #constraints=24072 630.77/631.28 c nbDecision=868500 #constraints=24088 631.67/632.19 c nbDecision=869000 #constraints=24102 632.47/632.97 c nbDecision=869500 #constraints=24118 633.17/633.67 c nbDecision=870000 #constraints=24130 634.57/635.02 c nbDecision=870500 #constraints=24153 635.47/635.92 c nbDecision=871000 #constraints=24170 636.37/636.83 c nbDecision=871500 #constraints=24186 637.27/637.71 c nbDecision=872000 #constraints=24202 638.37/638.85 c nbDecision=872500 #constraints=24223 639.47/639.92 c nbDecision=873000 #constraints=24242 640.27/640.78 c nbDecision=873500 #constraints=24257 641.07/641.55 c nbDecision=874000 #constraints=24269 641.97/642.47 c nbDecision=874500 #constraints=24286 642.67/643.17 c nbDecision=875000 #constraints=24303 643.57/644.05 c nbDecision=875500 #constraints=24317 644.07/644.59 c nbDecision=876000 #constraints=24326 645.36/645.80 c nbDecision=876500 #constraints=24349 646.16/646.69 c nbDecision=877000 #constraints=24363 647.26/647.71 c nbDecision=877500 #constraints=24380 648.47/648.94 c nbDecision=878000 #constraints=24400 649.16/649.67 c nbDecision=878500 #constraints=24413 650.06/650.52 c nbDecision=879000 #constraints=24430 650.86/651.32 c nbDecision=879500 #constraints=24444 651.56/652.02 c nbDecision=880000 #constraints=24456 652.66/653.12 c nbDecision=880500 #constraints=24476 653.26/653.79 c nbDecision=881000 #constraints=24488 654.06/654.56 c nbDecision=881500 #constraints=24502 655.26/655.70 c nbDecision=882000 #constraints=24522 655.76/656.30 c nbDecision=882500 #constraints=24534 656.46/656.90 c nbDecision=883000 #constraints=24548 657.16/657.66 c nbDecision=883500 #constraints=24563 657.96/658.44 c nbDecision=884000 #constraints=24580 659.16/659.60 c nbDecision=884500 #constraints=24601 659.76/660.26 c nbDecision=885000 #constraints=24612 660.56/661.07 c nbDecision=885500 #constraints=24628 661.26/661.71 c nbDecision=886000 #constraints=24637 662.26/662.73 c nbDecision=886500 #constraints=24656 663.06/663.57 c nbDecision=887000 #constraints=24673 663.86/664.30 c nbDecision=887500 #constraints=24687 664.65/665.11 c nbDecision=888000 #constraints=24700 665.55/666.09 c nbDecision=888500 #constraints=24719 666.35/666.86 c nbDecision=889000 #constraints=24734 667.16/667.68 c nbDecision=889500 #constraints=24751 667.95/668.47 c nbDecision=890000 #constraints=24766 669.25/669.75 c nbDecision=890500 #constraints=24791 670.35/670.86 c nbDecision=891000 #constraints=24817 671.15/671.66 c nbDecision=891500 #constraints=24834 672.25/672.77 c nbDecision=892000 #constraints=24856 673.15/673.68 c nbDecision=892500 #constraints=24874 674.15/674.68 c nbDecision=893000 #constraints=24894 675.15/675.69 c nbDecision=893500 #constraints=24916 676.25/676.78 c nbDecision=894000 #constraints=24941 677.15/677.62 c nbDecision=894500 #constraints=24956 677.95/678.48 c nbDecision=895000 #constraints=24974 678.95/679.41 c nbDecision=895500 #constraints=24993 679.75/680.21 c nbDecision=896000 #constraints=25008 680.56/681.00 c nbDecision=896500 #constraints=25025 681.46/681.92 c nbDecision=897000 #constraints=25044 682.45/682.96 c nbDecision=897500 #constraints=25065 683.66/684.11 c nbDecision=898000 #constraints=25089 684.65/685.13 c nbDecision=898500 #constraints=25106 685.75/686.23 c nbDecision=899000 #constraints=25127 686.65/687.17 c nbDecision=899500 #constraints=25144 687.65/688.18 c nbDecision=900000 #constraints=25164 688.65/689.11 c nbDecision=900500 #constraints=25183 689.45/689.97 c nbDecision=901000 #constraints=25203 690.35/690.89 c nbDecision=901500 #constraints=25224 691.45/691.95 c nbDecision=902000 #constraints=25246 692.55/693.01 c nbDecision=902500 #constraints=25267 693.55/694.08 c nbDecision=903000 #constraints=25287 694.45/694.91 c nbDecision=903500 #constraints=25303 694.95/695.46 c nbDecision=904000 #constraints=25313 696.55/697.02 c nbDecision=904500 #constraints=25341 697.74/698.27 c nbDecision=905000 #constraints=25363 699.34/699.83 c nbDecision=905500 #constraints=25395 700.54/701.02 c nbDecision=906000 #constraints=25418 702.04/702.59 c nbDecision=906500 #constraints=25451 703.14/703.62 c nbDecision=907000 #constraints=25473 704.44/704.95 c nbDecision=907500 #constraints=25500 705.54/706.09 c nbDecision=908000 #constraints=25528 706.54/707.03 c nbDecision=908500 #constraints=25547 707.34/707.84 c nbDecision=909000 #constraints=25562 708.24/708.79 c nbDecision=909500 #constraints=25579 709.54/710.04 c nbDecision=910000 #constraints=25605 710.74/711.23 c nbDecision=910500 #constraints=25628 711.44/711.93 c nbDecision=911000 #constraints=25640 712.44/712.99 c nbDecision=911500 #constraints=25661 713.54/714.02 c nbDecision=912000 #constraints=25680 714.54/715.04 c nbDecision=912500 #constraints=25702 715.74/716.26 c nbDecision=913000 #constraints=25729 716.64/717.16 c nbDecision=913500 #constraints=25747 717.93/718.45 c nbDecision=914000 #constraints=25773 718.94/719.47 c nbDecision=914500 #constraints=25793 719.94/720.48 c nbDecision=915000 #constraints=25814 720.73/721.29 c nbDecision=915500 #constraints=25831 721.63/722.16 c nbDecision=916000 #constraints=25846 722.14/722.67 c nbDecision=916500 #constraints=25855 723.24/723.75 c nbDecision=917000 #constraints=25880 724.34/724.84 c nbDecision=917500 #constraints=25902 725.44/725.99 c nbDecision=918000 #constraints=25924 726.74/727.23 c nbDecision=918500 #constraints=25950 727.64/728.13 c nbDecision=919000 #constraints=25967 728.64/729.11 c nbDecision=919500 #constraints=25989 729.24/729.79 c nbDecision=920000 #constraints=26000 730.14/730.65 c nbDecision=920500 #constraints=26014 731.44/731.90 c nbDecision=921000 #constraints=26036 732.33/732.85 c nbDecision=921500 #constraints=26053 733.33/733.88 c nbDecision=922000 #constraints=26072 734.83/735.33 c nbDecision=922500 #constraints=26098 736.03/736.57 c nbDecision=923000 #constraints=26121 737.23/737.78 c nbDecision=923500 #constraints=26143 738.83/739.34 c nbDecision=924000 #constraints=26169 739.63/740.11 c nbDecision=924500 #constraints=26183 740.13/740.66 c nbDecision=925000 #constraints=26195 740.73/741.26 c nbDecision=925500 #constraints=26205 741.43/741.95 c nbDecision=926000 #constraints=26215 741.43/741.98 c nbDecision=926500 #constraints=26215 741.63/742.20 c nbDecision=927000 #constraints=26216 741.73/742.27 c nbDecision=927500 #constraints=26216 742.33/742.86 c nbDecision=928000 #constraints=26226 742.93/743.46 c nbDecision=928500 #constraints=26238 743.53/744.03 c nbDecision=929000 #constraints=26245 744.13/744.62 c nbDecision=929500 #constraints=26254 744.53/745.10 c nbDecision=930000 #constraints=26261 745.43/745.90 c nbDecision=930500 #constraints=26274 746.03/746.59 c nbDecision=931000 #constraints=26290 746.53/747.06 c nbDecision=931500 #constraints=26300 747.03/747.59 c nbDecision=932000 #constraints=26307 747.53/748.08 c nbDecision=932500 #constraints=26319 748.03/748.57 c nbDecision=933000 #constraints=26326 748.63/749.12 c nbDecision=933500 #constraints=26335 749.22/749.77 c nbDecision=934000 #constraints=26347 750.02/750.50 c nbDecision=934500 #constraints=26361 750.52/751.01 c nbDecision=935000 #constraints=26371 750.92/751.45 c nbDecision=935500 #constraints=26378 751.52/752.01 c nbDecision=936000 #constraints=26391 751.83/752.31 c nbDecision=936500 #constraints=26397 752.22/752.77 c nbDecision=937000 #constraints=26404 752.93/753.40 c nbDecision=937500 #constraints=26418 753.52/754.07 c nbDecision=938000 #constraints=26434 753.92/754.44 c nbDecision=938500 #constraints=26443 754.42/754.94 c nbDecision=939000 #constraints=26456 754.92/755.47 c nbDecision=939500 #constraints=26469 755.72/756.28 c nbDecision=940000 #constraints=26494 756.42/756.91 c nbDecision=940500 #constraints=26509 756.82/757.31 c nbDecision=941000 #constraints=26519 757.32/757.81 c nbDecision=941500 #constraints=26530 759.23/759.74 c nbDecision=942000 #constraints=26560 760.63/761.16 c nbDecision=942500 #constraints=26584 762.62/763.13 c nbDecision=943000 #constraints=26622 764.42/764.95 c nbDecision=943500 #constraints=26649 766.23/766.75 c nbDecision=944000 #constraints=26678 767.92/768.41 c nbDecision=944500 #constraints=26705 768.52/769.00 c nbDecision=945000 #constraints=26716 769.22/769.70 c nbDecision=945500 #constraints=26730 770.22/770.70 c nbDecision=946000 #constraints=26746 771.72/772.24 c nbDecision=946500 #constraints=26770 772.72/773.27 c nbDecision=947000 #constraints=26787 774.12/774.65 c nbDecision=947500 #constraints=26809 775.42/775.95 c nbDecision=948000 #constraints=26828 776.61/777.18 c nbDecision=948500 #constraints=26847 777.91/778.41 c nbDecision=949000 #constraints=26867 778.91/779.40 c nbDecision=949500 #constraints=26882 780.31/780.85 c nbDecision=950000 #constraints=26905 781.31/781.86 c nbDecision=950500 #constraints=26917 782.51/783.05 c nbDecision=951000 #constraints=26938 783.31/783.85 c nbDecision=951500 #constraints=26957 784.71/785.25 c nbDecision=952000 #constraints=26980 786.01/786.57 c nbDecision=952500 #constraints=27000 787.81/788.37 c nbDecision=953000 #constraints=27032 789.31/789.89 c nbDecision=953500 #constraints=27058 790.50/791.08 c nbDecision=954000 #constraints=27080 792.20/792.77 c nbDecision=954500 #constraints=27114 794.00/794.58 c nbDecision=955000 #constraints=27146 795.91/796.49 c nbDecision=955500 #constraints=27180 797.01/797.55 c nbDecision=956000 #constraints=27200 798.20/798.75 c nbDecision=956500 #constraints=27219 799.70/800.25 c nbDecision=957000 #constraints=27241 800.81/801.33 c nbDecision=957500 #constraints=27261 801.91/802.47 c nbDecision=958000 #constraints=27279 803.21/803.78 c nbDecision=958500 #constraints=27302 805.01/805.54 c nbDecision=959000 #constraints=27330 806.41/806.94 c nbDecision=959500 #constraints=27356 807.81/808.40 c nbDecision=960000 #constraints=27385 809.31/809.80 c nbDecision=960500 #constraints=27411 810.91/811.40 c nbDecision=961000 #constraints=27438 812.51/813.04 c nbDecision=961500 #constraints=27467 813.91/814.45 c nbDecision=962000 #constraints=27489 815.61/816.13 c nbDecision=962500 #constraints=27517 817.40/817.99 c nbDecision=963000 #constraints=27552 819.01/819.56 c nbDecision=963500 #constraints=27573 820.11/820.68 c nbDecision=964000 #constraints=27592 820.80/821.30 c nbDecision=964500 #constraints=27603 821.90/822.45 c nbDecision=965000 #constraints=27627 823.30/823.88 c nbDecision=965500 #constraints=27653 824.30/824.85 c nbDecision=966000 #constraints=27668 825.20/825.71 c nbDecision=966500 #constraints=27680 825.90/826.41 c nbDecision=967000 #constraints=27695 826.80/827.35 c nbDecision=967500 #constraints=27716 827.70/828.26 c nbDecision=968000 #constraints=27738 829.00/829.53 c nbDecision=968500 #constraints=27760 830.10/830.65 c nbDecision=969000 #constraints=27778 830.60/831.12 c nbDecision=969500 #constraints=27785 832.00/832.51 c nbDecision=970000 #constraints=27803 833.20/833.79 c nbDecision=970500 #constraints=27826 834.30/834.90 c nbDecision=971000 #constraints=27843 835.40/835.93 c nbDecision=971500 #constraints=27860 836.29/836.84 c nbDecision=972000 #constraints=27877 836.79/837.33 c nbDecision=972500 #constraints=27885 838.39/838.99 c nbDecision=973000 #constraints=27908 839.99/840.59 c nbDecision=973500 #constraints=27936 841.09/841.67 c nbDecision=974000 #constraints=27955 842.09/842.65 c nbDecision=974500 #constraints=27976 842.99/843.50 c nbDecision=975000 #constraints=27998 843.79/844.38 c nbDecision=975500 #constraints=28014 845.89/846.41 c nbDecision=976000 #constraints=28052 847.19/847.75 c nbDecision=976500 #constraints=28077 848.49/849.06 c nbDecision=977000 #constraints=28105 850.29/850.88 c nbDecision=977500 #constraints=28139 850.80/851.31 c nbDecision=978000 #constraints=28144 852.09/852.65 c nbDecision=978500 #constraints=28165 853.69/854.27 c nbDecision=979000 #constraints=28191 854.69/855.26 c nbDecision=979500 #constraints=28201 855.89/856.43 c nbDecision=980000 #constraints=28219 856.39/856.98 c nbDecision=980500 #constraints=28227 857.69/858.23 c nbDecision=981000 #constraints=28250 858.49/859.04 c nbDecision=981500 #constraints=28267 859.29/859.80 c nbDecision=982000 #constraints=28283 859.99/860.57 c nbDecision=982500 #constraints=28297 860.89/861.47 c nbDecision=983000 #constraints=28315 861.59/862.16 c nbDecision=983500 #constraints=28329 862.28/862.89 c nbDecision=984000 #constraints=28344 863.18/863.74 c nbDecision=984500 #constraints=28365 864.18/864.79 c nbDecision=985000 #constraints=28388 865.09/865.67 c nbDecision=985500 #constraints=28406 865.88/866.45 c nbDecision=986000 #constraints=28421 866.48/867.07 c nbDecision=986500 #constraints=28432 867.39/867.91 c nbDecision=987000 #constraints=28450 868.08/868.61 c nbDecision=987500 #constraints=28465 868.78/869.39 c nbDecision=988000 #constraints=28480 869.38/870.00 c nbDecision=988500 #constraints=28492 870.38/870.95 c nbDecision=989000 #constraints=28510 871.38/871.92 c nbDecision=989500 #constraints=28531 872.18/872.75 c nbDecision=990000 #constraints=28549 873.18/873.79 c nbDecision=990500 #constraints=28576 874.28/874.84 c nbDecision=991000 #constraints=28601 875.18/875.77 c nbDecision=991500 #constraints=28624 876.08/876.67 c nbDecision=992000 #constraints=28646 876.88/877.43 c nbDecision=992500 #constraints=28661 877.38/877.95 c nbDecision=993000 #constraints=28672 878.98/879.53 c nbDecision=993500 #constraints=28700 879.98/880.53 c nbDecision=994000 #constraints=28716 881.18/881.76 c nbDecision=994500 #constraints=28741 882.17/882.75 c nbDecision=995000 #constraints=28761 883.17/883.71 c nbDecision=995500 #constraints=28781 884.37/884.95 c nbDecision=996000 #constraints=28802 885.17/885.71 c nbDecision=996500 #constraints=28818 886.17/886.75 c nbDecision=997000 #constraints=28839 886.87/887.47 c nbDecision=997500 #constraints=28851 888.28/888.85 c nbDecision=998000 #constraints=28874 889.67/890.20 c nbDecision=998500 #constraints=28895 890.67/891.29 c nbDecision=999000 #constraints=28918 891.77/892.33 c nbDecision=999500 #constraints=28937 893.27/893.83 c nbDecision=1000000 #constraints=28959 894.77/895.33 c nbDecision=1000500 #constraints=28979 895.97/896.55 c nbDecision=1001000 #constraints=29002 897.17/897.76 c nbDecision=1001500 #constraints=29020 898.87/899.42 c nbDecision=1002000 #constraints=29046 900.06/900.63 c nbDecision=1002500 #constraints=29067 901.37/901.92 c nbDecision=1003000 #constraints=29092 902.47/903.08 c nbDecision=1003500 #constraints=29115 903.26/903.81 c nbDecision=1004000 #constraints=29130 904.26/904.84 c nbDecision=1004500 #constraints=29144 905.46/906.05 c nbDecision=1005000 #constraints=29161 906.36/906.92 c nbDecision=1005500 #constraints=29175 907.66/908.28 c nbDecision=1006000 #constraints=29196 908.56/909.16 c nbDecision=1006500 #constraints=29209 909.66/910.22 c nbDecision=1007000 #constraints=29224 910.46/911.01 c nbDecision=1007500 #constraints=29236 911.46/912.06 c nbDecision=1008000 #constraints=29252 912.36/912.98 c nbDecision=1008500 #constraints=29267 914.06/914.66 c nbDecision=1009000 #constraints=29290 915.06/915.69 c nbDecision=1009500 #constraints=29307 916.36/916.91 c nbDecision=1010000 #constraints=29324 917.56/918.15 c nbDecision=1010500 #constraints=29344 918.86/919.48 c nbDecision=1011000 #constraints=29364 920.56/921.12 c nbDecision=1011500 #constraints=29384 921.86/922.43 c nbDecision=1012000 #constraints=29404 923.26/923.83 c nbDecision=1012500 #constraints=29424 923.96/924.57 c nbDecision=1013000 #constraints=29447 924.46/925.01 c nbDecision=1013500 #constraints=29457 924.46/925.06 c nbDecision=1014000 #constraints=29457 925.86/926.43 c nbDecision=1014500 #constraints=29481 926.86/927.42 c nbDecision=1015000 #constraints=29498 928.06/928.62 c nbDecision=1015500 #constraints=29522 928.96/929.56 c nbDecision=1016000 #constraints=29538 929.85/930.49 c nbDecision=1016500 #constraints=29554 930.95/931.56 c nbDecision=1017000 #constraints=29574 931.85/932.49 c nbDecision=1017500 #constraints=29595 932.55/933.14 c nbDecision=1018000 #constraints=29610 933.26/933.88 c nbDecision=1018500 #constraints=29628 933.85/934.49 c nbDecision=1019000 #constraints=29643 934.95/935.55 c nbDecision=1019500 #constraints=29672 935.65/936.22 c nbDecision=1020000 #constraints=29691 936.25/936.85 c nbDecision=1020500 #constraints=29706 936.75/937.33 c nbDecision=1021000 #constraints=29719 937.35/937.94 c nbDecision=1021500 #constraints=29734 937.65/938.28 c nbDecision=1022000 #constraints=29742 938.55/939.16 c nbDecision=1022500 #constraints=29763 939.15/939.72 c nbDecision=1023000 #constraints=29778 939.95/940.55 c nbDecision=1023500 #constraints=29800 940.75/941.36 c nbDecision=1024000 #constraints=29818 941.24/941.84 c nbDecision=1024500 #constraints=29831 941.84/942.42 c nbDecision=1025000 #constraints=29846 942.24/942.88 c nbDecision=1025500 #constraints=29856 942.94/943.51 c nbDecision=1026000 #constraints=29869 943.54/944.12 c nbDecision=1026500 #constraints=29883 944.25/944.88 c nbDecision=1027000 #constraints=29902 944.95/945.58 c nbDecision=1027500 #constraints=29917 945.55/946.15 c nbDecision=1028000 #constraints=29930 946.35/946.93 c nbDecision=1028500 #constraints=29949 947.15/947.71 c nbDecision=1029000 #constraints=29971 947.75/948.39 c nbDecision=1029500 #constraints=29988 948.45/949.09 c nbDecision=1030000 #constraints=30003 949.25/949.80 c nbDecision=1030500 #constraints=30018 949.75/950.39 c nbDecision=1031000 #constraints=30027 950.65/951.20 c nbDecision=1031500 #constraints=30040 951.35/951.99 c nbDecision=1032000 #constraints=30052 952.25/952.80 c nbDecision=1032500 #constraints=30067 952.95/953.53 c nbDecision=1033000 #constraints=30080 953.55/954.10 c nbDecision=1033500 #constraints=30087 954.45/955.08 c nbDecision=1034000 #constraints=30106 955.45/956.07 c nbDecision=1034500 #constraints=30127 956.25/956.86 c nbDecision=1035000 #constraints=30141 956.84/957.47 c nbDecision=1035500 #constraints=30150 957.64/958.26 c nbDecision=1036000 #constraints=30164 959.14/959.78 c nbDecision=1036500 #constraints=30185 959.54/960.19 c nbDecision=1037000 #constraints=30189 960.04/960.69 c nbDecision=1037500 #constraints=30193 960.14/960.75 c nbDecision=1038000 #constraints=30193 960.94/961.58 c nbDecision=1038500 #constraints=30205 961.64/962.27 c nbDecision=1039000 #constraints=30216 962.54/963.19 c nbDecision=1039500 #constraints=30231 963.34/963.91 c nbDecision=1040000 #constraints=30240 964.44/965.08 c nbDecision=1040500 #constraints=30257 965.34/965.99 c nbDecision=1041000 #constraints=30276 966.04/966.62 c nbDecision=1041500 #constraints=30285 967.04/967.66 c nbDecision=1042000 #constraints=30298 968.04/968.70 c nbDecision=1042500 #constraints=30311 968.84/969.45 c nbDecision=1043000 #constraints=30322 969.84/970.40 c nbDecision=1043500 #constraints=30337 971.14/971.73 c nbDecision=1044000 #constraints=30359 971.94/972.57 c nbDecision=1044500 #constraints=30373 972.74/973.39 c nbDecision=1045000 #constraints=30387 973.64/974.24 c nbDecision=1045500 #constraints=30404 974.54/975.18 c nbDecision=1046000 #constraints=30420 975.94/976.52 c nbDecision=1046500 #constraints=30442 977.13/977.70 c nbDecision=1047000 #constraints=30461 978.53/979.11 c nbDecision=1047500 #constraints=30486 979.73/980.30 c nbDecision=1048000 #constraints=30508 980.83/981.45 c nbDecision=1048500 #constraints=30528 981.73/982.39 c nbDecision=1049000 #constraints=30544 982.53/983.14 c nbDecision=1049500 #constraints=30558 983.43/984.09 c nbDecision=1050000 #constraints=30575 984.63/985.22 c nbDecision=1050500 #constraints=30598 985.53/986.10 c nbDecision=1051000 #constraints=30611 986.43/987.00 c nbDecision=1051500 #constraints=30627 987.63/988.25 c nbDecision=1052000 #constraints=30654 988.93/989.50 c nbDecision=1052500 #constraints=30678 989.63/990.29 c nbDecision=1053000 #constraints=30691 990.83/991.41 c nbDecision=1053500 #constraints=30712 991.43/992.05 c nbDecision=1054000 #constraints=30720 992.23/992.86 c nbDecision=1054500 #constraints=30731 993.93/994.51 c nbDecision=1055000 #constraints=30754 995.03/995.60 c nbDecision=1055500 #constraints=30768 995.03/995.65 c nbDecision=1056000 #constraints=30768 995.82/996.41 c nbDecision=1056500 #constraints=30785 996.62/997.26 c nbDecision=1057000 #constraints=30804 997.62/998.25 c nbDecision=1057500 #constraints=30823 998.42/999.07 c nbDecision=1058000 #constraints=30840 999.42/1000.06 c nbDecision=1058500 #constraints=30857 1000.44/1001.09 c nbDecision=1059000 #constraints=30876 1001.83/1002.40 c nbDecision=1059500 #constraints=30896 1003.33/1003.96 c nbDecision=1060000 #constraints=30922 1004.83/1005.44 c nbDecision=1060500 #constraints=30944 1006.23/1006.84 c nbDecision=1061000 #constraints=30967 1006.83/1007.45 c nbDecision=1061500 #constraints=30979 1007.53/1008.12 c nbDecision=1062000 #constraints=30997 1008.23/1008.82 c nbDecision=1062500 #constraints=31015 1008.83/1009.49 c nbDecision=1063000 #constraints=31034 1009.63/1010.25 c nbDecision=1063500 #constraints=31055 1010.23/1010.82 c nbDecision=1064000 #constraints=31071 1011.03/1011.65 c nbDecision=1064500 #constraints=31093 1012.23/1012.87 c nbDecision=1065000 #constraints=31125 1013.53/1014.13 c nbDecision=1065500 #constraints=31150 1014.52/1015.14 c nbDecision=1066000 #constraints=31171 1015.62/1016.30 c nbDecision=1066500 #constraints=31190 1016.72/1017.40 c nbDecision=1067000 #constraints=31209 1018.02/1018.63 c nbDecision=1067500 #constraints=31230 1019.12/1019.79 c nbDecision=1068000 #constraints=31248 1019.92/1020.56 c nbDecision=1068500 #constraints=31266 1020.92/1021.52 c nbDecision=1069000 #constraints=31285 1022.32/1022.97 c nbDecision=1069500 #constraints=31313 1023.62/1024.24 c nbDecision=1070000 #constraints=31336 1024.82/1025.49 c nbDecision=1070500 #constraints=31361 1026.12/1026.73 c nbDecision=1071000 #constraints=31380 1027.02/1027.62 c nbDecision=1071500 #constraints=31397 1027.62/1028.26 c nbDecision=1072000 #constraints=31406 1027.92/1028.53 c nbDecision=1072500 #constraints=31408 1028.22/1028.83 c nbDecision=1073000 #constraints=31410 1028.52/1029.14 c nbDecision=1073500 #constraints=31413 1029.32/1029.95 c nbDecision=1074000 #constraints=31423 1029.52/1030.12 c nbDecision=1074500 #constraints=31424 1029.72/1030.39 c nbDecision=1075000 #constraints=31426 1030.02/1030.70 c nbDecision=1075500 #constraints=31428 1030.32/1030.96 c nbDecision=1076000 #constraints=31429 1031.51/1032.15 c nbDecision=1076500 #constraints=31447 1032.11/1032.80 c nbDecision=1077000 #constraints=31456 1032.61/1033.27 c nbDecision=1077500 #constraints=31464 1033.01/1033.67 c nbDecision=1078000 #constraints=31470 1033.32/1033.99 c nbDecision=1078500 #constraints=31475 1034.61/1035.22 c nbDecision=1079000 #constraints=31492 1034.71/1035.32 c nbDecision=1079500 #constraints=31492 1034.71/1035.37 c nbDecision=1080000 #constraints=31492 1035.91/1036.53 c nbDecision=1080500 #constraints=31512 1036.91/1037.59 c nbDecision=1081000 #constraints=31531 1037.91/1038.53 c nbDecision=1081500 #constraints=31547 1039.11/1039.71 c nbDecision=1082000 #constraints=31566 1040.01/1040.65 c nbDecision=1082500 #constraints=31580 1041.41/1042.02 c nbDecision=1083000 #constraints=31599 1042.30/1042.96 c nbDecision=1083500 #constraints=31617 1043.31/1043.97 c nbDecision=1084000 #constraints=31634 1044.60/1045.26 c nbDecision=1084500 #constraints=31651 1045.51/1046.13 c nbDecision=1085000 #constraints=31669 1046.51/1047.18 c nbDecision=1085500 #constraints=31687 1047.20/1047.84 c nbDecision=1086000 #constraints=31699 1047.90/1048.58 c nbDecision=1086500 #constraints=31712 1049.20/1049.86 c nbDecision=1087000 #constraints=31736 1050.40/1051.08 c nbDecision=1087500 #constraints=31756 1051.70/1052.31 c nbDecision=1088000 #constraints=31774 1052.30/1052.94 c nbDecision=1088500 #constraints=31786 1052.90/1053.52 c nbDecision=1089000 #constraints=31798 1053.40/1054.09 c nbDecision=1089500 #constraints=31809 1054.50/1055.13 c nbDecision=1090000 #constraints=31829 1055.30/1055.95 c nbDecision=1090500 #constraints=31845 1056.31/1056.94 c nbDecision=1091000 #constraints=31866 1057.21/1057.84 c nbDecision=1091500 #constraints=31886 1058.41/1059.09 c nbDecision=1092000 #constraints=31915 1059.50/1060.12 c nbDecision=1092500 #constraints=31936 1060.50/1061.12 c nbDecision=1093000 #constraints=31956 1062.01/1062.63 c nbDecision=1093500 #constraints=31984 1063.60/1064.28 c nbDecision=1094000 #constraints=32007 1064.80/1065.44 c nbDecision=1094500 #constraints=32024 1065.90/1066.56 c nbDecision=1095000 #constraints=32042 1066.70/1067.31 c nbDecision=1095500 #constraints=32053 1067.51/1068.12 c nbDecision=1096000 #constraints=32069 1068.30/1068.99 c nbDecision=1096500 #constraints=32086 1069.20/1069.89 c nbDecision=1097000 #constraints=32100 1070.30/1070.93 c nbDecision=1097500 #constraints=32116 1070.90/1071.59 c nbDecision=1098000 #constraints=32128 1071.90/1072.57 c nbDecision=1098500 #constraints=32141 1072.40/1073.07 c nbDecision=1099000 #constraints=32150 1073.00/1073.68 c nbDecision=1099500 #constraints=32165 1073.80/1074.48 c nbDecision=1100000 #constraints=32180 1074.50/1075.14 c nbDecision=1100500 #constraints=32194 1075.40/1076.00 c nbDecision=1101000 #constraints=32211 1076.20/1076.90 c nbDecision=1101500 #constraints=32225 1077.80/1078.48 c nbDecision=1102000 #constraints=32246 1078.90/1079.56 c nbDecision=1102500 #constraints=32261 1080.29/1080.90 c nbDecision=1103000 #constraints=32278 1080.89/1081.59 c nbDecision=1103500 #constraints=32296 1081.90/1082.52 c nbDecision=1104000 #constraints=32313 1082.90/1083.52 c nbDecision=1104500 #constraints=32330 1084.19/1084.89 c nbDecision=1105000 #constraints=32353 1085.29/1085.95 c nbDecision=1105500 #constraints=32368 1086.20/1086.88 c nbDecision=1106000 #constraints=32391 1088.49/1089.14 c nbDecision=1106500 #constraints=32428 1090.29/1090.95 c nbDecision=1107000 #constraints=32461 1091.89/1092.52 c nbDecision=1107500 #constraints=32486 1093.49/1094.11 c nbDecision=1108000 #constraints=32505 1094.49/1095.11 c nbDecision=1108500 #constraints=32518 1095.99/1096.66 c nbDecision=1109000 #constraints=32549 1096.58/1097.29 c nbDecision=1109500 #constraints=32563 1098.19/1098.82 c nbDecision=1110000 #constraints=32586 1099.18/1099.80 c nbDecision=1110500 #constraints=32604 1099.98/1100.65 c nbDecision=1111000 #constraints=32618 1100.49/1101.13 c nbDecision=1111500 #constraints=32633 1100.98/1101.68 c nbDecision=1112000 #constraints=32644 1101.08/1101.74 c nbDecision=1112500 #constraints=32644 1101.38/1102.07 c nbDecision=1113000 #constraints=32652 1101.88/1102.57 c nbDecision=1113500 #constraints=32660 1102.18/1102.83 c nbDecision=1114000 #constraints=32662 1102.98/1103.61 c nbDecision=1114500 #constraints=32677 1103.69/1104.37 c nbDecision=1115000 #constraints=32695 1104.48/1105.19 c nbDecision=1115500 #constraints=32712 1105.28/1105.95 c nbDecision=1116000 #constraints=32729 1105.98/1106.64 c nbDecision=1116500 #constraints=32740 1106.88/1107.51 c nbDecision=1117000 #constraints=32757 1107.78/1108.44 c nbDecision=1117500 #constraints=32771 1108.38/1109.00 c nbDecision=1118000 #constraints=32784 1108.88/1109.51 c nbDecision=1118500 #constraints=32795 1109.48/1110.17 c nbDecision=1119000 #constraints=32809 1109.98/1110.64 c nbDecision=1119500 #constraints=32820 1110.38/1111.09 c nbDecision=1120000 #constraints=32825 1110.88/1111.57 c nbDecision=1120500 #constraints=32831 1111.18/1111.88 c nbDecision=1121000 #constraints=32838 1111.78/1112.42 c nbDecision=1121500 #constraints=32849 1112.08/1112.73 c nbDecision=1122000 #constraints=32851 1112.08/1112.78 c nbDecision=1122500 #constraints=32851 1112.68/1113.36 c nbDecision=1123000 #constraints=32857 1113.38/1114.06 c nbDecision=1123500 #constraints=32866 1114.48/1115.15 c nbDecision=1124000 #constraints=32884 1115.28/1115.92 c nbDecision=1124500 #constraints=32900 1115.98/1116.69 c nbDecision=1125000 #constraints=32918 1116.78/1117.45 c nbDecision=1125500 #constraints=32934 1117.48/1118.18 c nbDecision=1126000 #constraints=32950 1118.98/1119.60 c nbDecision=1126500 #constraints=32980 1120.48/1121.18 c nbDecision=1127000 #constraints=33002 1121.88/1122.58 c nbDecision=1127500 #constraints=33017 1122.68/1123.38 c nbDecision=1128000 #constraints=33027 1123.98/1124.64 c nbDecision=1128500 #constraints=33044 1125.08/1125.74 c nbDecision=1129000 #constraints=33060 1125.98/1126.65 c nbDecision=1129500 #constraints=33072 1127.38/1128.03 c nbDecision=1130000 #constraints=33094 1128.18/1128.82 c nbDecision=1130500 #constraints=33105 1128.98/1129.65 c nbDecision=1131000 #constraints=33116 1129.38/1130.02 c nbDecision=1131500 #constraints=33122 1129.88/1130.59 c nbDecision=1132000 #constraints=33133 1130.58/1131.25 c nbDecision=1132500 #constraints=33145 1131.28/1131.97 c nbDecision=1133000 #constraints=33156 1132.28/1132.92 c nbDecision=1133500 #constraints=33169 1132.98/1133.60 c nbDecision=1134000 #constraints=33176 1134.08/1134.75 c nbDecision=1134500 #constraints=33198 1135.28/1136.00 c nbDecision=1135000 #constraints=33219 1136.08/1136.78 c nbDecision=1135500 #constraints=33233 1136.97/1137.60 c nbDecision=1136000 #constraints=33247 1137.47/1138.17 c nbDecision=1136500 #constraints=33256 1138.37/1139.05 c nbDecision=1137000 #constraints=33274 1139.17/1139.81 c nbDecision=1137500 #constraints=33297 1139.98/1140.64 c nbDecision=1138000 #constraints=33318 1140.77/1141.41 c nbDecision=1138500 #constraints=33336 1141.47/1142.13 c nbDecision=1139000 #constraints=33353 1143.07/1143.77 c nbDecision=1139500 #constraints=33395 1143.67/1144.36 c nbDecision=1140000 #constraints=33403 1144.87/1145.53 c nbDecision=1140500 #constraints=33424 1145.37/1146.07 c nbDecision=1141000 #constraints=33433 1146.17/1146.86 c nbDecision=1141500 #constraints=33445 1147.27/1147.91 c nbDecision=1142000 #constraints=33466 1148.07/1148.75 c nbDecision=1142500 #constraints=33479 1149.07/1149.74 c nbDecision=1143000 #constraints=33494 1149.97/1150.63 c nbDecision=1143500 #constraints=33511 1150.47/1151.14 c nbDecision=1144000 #constraints=33519 1151.47/1152.14 c nbDecision=1144500 #constraints=33539 1152.47/1153.19 c nbDecision=1145000 #constraints=33555 1153.57/1154.22 c nbDecision=1145500 #constraints=33573 1154.67/1155.30 c nbDecision=1146000 #constraints=33590 1155.57/1156.22 c nbDecision=1146500 #constraints=33603 1156.27/1156.94 c nbDecision=1147000 #constraints=33614 1156.97/1157.65 c nbDecision=1147500 #constraints=33623 1157.87/1158.50 c nbDecision=1148000 #constraints=33638 1158.56/1159.26 c nbDecision=1148500 #constraints=33654 1159.96/1160.62 c nbDecision=1149000 #constraints=33672 1160.56/1161.23 c nbDecision=1149500 #constraints=33685 1161.26/1161.94 c nbDecision=1150000 #constraints=33703 1162.16/1162.86 c nbDecision=1150500 #constraints=33725 1163.16/1163.87 c nbDecision=1151000 #constraints=33753 1164.06/1164.77 c nbDecision=1151500 #constraints=33776 1165.46/1166.12 c nbDecision=1152000 #constraints=33803 1166.26/1167.00 c nbDecision=1152500 #constraints=33821 1167.07/1167.76 c nbDecision=1153000 #constraints=33836 1168.67/1169.33 c nbDecision=1153500 #constraints=33871 1170.17/1170.81 c nbDecision=1154000 #constraints=33894 1171.17/1171.80 c nbDecision=1154500 #constraints=33909 1172.06/1172.75 c nbDecision=1155000 #constraints=33926 1174.17/1174.84 c nbDecision=1155500 #constraints=33953 1176.46/1177.14 c nbDecision=1156000 #constraints=33982 1179.36/1180.03 c nbDecision=1156500 #constraints=34028 1179.96/1180.65 c nbDecision=1157000 #constraints=34043 1180.96/1181.61 c nbDecision=1157500 #constraints=34051 1181.66/1182.38 c nbDecision=1158000 #constraints=34060 1182.86/1183.56 c nbDecision=1158500 #constraints=34078 1183.86/1184.53 c nbDecision=1159000 #constraints=34091 1184.66/1185.37 c nbDecision=1159500 #constraints=34103 1185.36/1186.03 c nbDecision=1160000 #constraints=34112 1186.26/1186.97 c nbDecision=1160500 #constraints=34126 1187.15/1187.88 c nbDecision=1161000 #constraints=34135 1188.46/1189.18 c nbDecision=1161500 #constraints=34153 1189.85/1190.50 c nbDecision=1162000 #constraints=34173 1192.15/1192.85 c nbDecision=1162500 #constraints=34210 1192.86/1193.55 c nbDecision=1163000 #constraints=34220 1193.75/1194.43 c nbDecision=1163500 #constraints=34233 1194.65/1195.39 c nbDecision=1164000 #constraints=34250 1195.25/1195.95 c nbDecision=1164500 #constraints=34256 1195.35/1196.01 c nbDecision=1165000 #constraints=34256 1196.65/1197.32 c nbDecision=1165500 #constraints=34273 1198.15/1198.86 c nbDecision=1166000 #constraints=34292 1199.75/1200.49 c nbDecision=1166500 #constraints=34317 1200.95/1201.65 c nbDecision=1167000 #constraints=34329 1201.45/1202.14 c nbDecision=1167500 #constraints=34339 1202.45/1203.17 c nbDecision=1168000 #constraints=34351 1203.55/1204.28 c nbDecision=1168500 #constraints=34364 1203.65/1204.37 c nbDecision=1169000 #constraints=34364 1204.15/1204.87 c nbDecision=1169500 #constraints=34369 1204.95/1205.66 c nbDecision=1170000 #constraints=34379 1205.54/1206.27 c nbDecision=1170500 #constraints=34385 1207.24/1207.93 c nbDecision=1171000 #constraints=34407 1208.75/1209.45 c nbDecision=1171500 #constraints=34427 1209.64/1210.36 c nbDecision=1172000 #constraints=34442 1210.94/1211.60 c nbDecision=1172500 #constraints=34457 1211.74/1212.46 c nbDecision=1173000 #constraints=34469 1212.44/1213.10 c nbDecision=1173500 #constraints=34480 1213.34/1214.03 c nbDecision=1174000 #constraints=34491 1214.44/1215.10 c nbDecision=1174500 #constraints=34505 1215.34/1216.04 c nbDecision=1175000 #constraints=34518 1216.84/1217.53 c nbDecision=1175500 #constraints=34539 1217.74/1218.40 c nbDecision=1176000 #constraints=34554 1219.54/1220.24 c nbDecision=1176500 #constraints=34585 1221.24/1221.94 c nbDecision=1177000 #constraints=34616 1223.14/1223.84 c nbDecision=1177500 #constraints=34644 1223.24/1223.92 c nbDecision=1178000 #constraints=34644 1223.44/1224.10 c nbDecision=1178500 #constraints=34645 1223.94/1224.63 c nbDecision=1179000 #constraints=34655 1224.54/1225.27 c nbDecision=1179500 #constraints=34670 1225.24/1225.95 c nbDecision=1180000 #constraints=34684 1226.24/1226.90 c nbDecision=1180500 #constraints=34695 1227.84/1228.51 c nbDecision=1181000 #constraints=34721 1228.54/1229.28 c nbDecision=1181500 #constraints=34728 1230.33/1231.03 c nbDecision=1182000 #constraints=34748 1232.44/1233.13 c nbDecision=1182500 #constraints=34782 1233.44/1234.15 c nbDecision=1183000 #constraints=34795 1234.83/1235.58 c nbDecision=1183500 #constraints=34814 1236.24/1236.93 c nbDecision=1184000 #constraints=34827 1237.14/1237.85 c nbDecision=1184500 #constraints=34843 1237.84/1238.54 c nbDecision=1185000 #constraints=34854 1238.94/1239.64 c nbDecision=1185500 #constraints=34875 1239.54/1240.28 c nbDecision=1186000 #constraints=34880 1239.94/1240.62 c nbDecision=1186500 #constraints=34882 1240.34/1241.03 c nbDecision=1187000 #constraints=34884 1240.44/1241.10 c nbDecision=1187500 #constraints=34884 1240.54/1241.29 c nbDecision=1188000 #constraints=34885 1240.94/1241.69 c nbDecision=1188500 #constraints=34887 1241.04/1241.78 c nbDecision=1189000 #constraints=34887 1241.64/1242.39 c nbDecision=1189500 #constraints=34897 1241.94/1242.69 c nbDecision=1190000 #constraints=34898 1242.04/1242.74 c nbDecision=1190500 #constraints=34898 1242.64/1243.38 c nbDecision=1191000 #constraints=34909 1243.24/1243.94 c nbDecision=1191500 #constraints=34921 1244.33/1245.01 c nbDecision=1192000 #constraints=34939 1245.33/1246.02 c nbDecision=1192500 #constraints=34950 1246.23/1246.94 c nbDecision=1193000 #constraints=34963 1247.33/1248.06 c nbDecision=1193500 #constraints=34978 1247.84/1248.58 c nbDecision=1194000 #constraints=34988 1248.63/1249.31 c nbDecision=1194500 #constraints=35003 1249.13/1249.89 c nbDecision=1195000 #constraints=35012 1249.83/1250.57 c nbDecision=1195500 #constraints=35024 1250.83/1251.51 c nbDecision=1196000 #constraints=35041 1251.33/1252.06 c nbDecision=1196500 #constraints=35050 1252.63/1253.33 c nbDecision=1197000 #constraints=35069 1253.63/1254.39 c nbDecision=1197500 #constraints=35086 1254.43/1255.12 c nbDecision=1198000 #constraints=35096 1255.33/1256.04 c nbDecision=1198500 #constraints=35110 1255.83/1256.57 c nbDecision=1199000 #constraints=35120 1256.43/1257.17 c nbDecision=1199500 #constraints=35133 1257.32/1258.06 c nbDecision=1200000 #constraints=35148 1258.02/1258.75 c nbDecision=1200500 #constraints=35158 1258.83/1259.55 c nbDecision=1201000 #constraints=35172 1259.22/1259.96 c nbDecision=1201500 #constraints=35180 1260.32/1261.03 c nbDecision=1202000 #constraints=35196 1260.62/1261.36 c nbDecision=1202500 #constraints=35198 1261.42/1262.15 c nbDecision=1203000 #constraints=35208 1262.32/1263.04 c nbDecision=1203500 #constraints=35224 1263.22/1263.99 c nbDecision=1204000 #constraints=35241 1263.92/1264.66 c nbDecision=1204500 #constraints=35254 1264.62/1265.34 c nbDecision=1205000 #constraints=35271 1265.22/1265.99 c nbDecision=1205500 #constraints=35283 1266.02/1266.77 c nbDecision=1206000 #constraints=35297 1266.62/1267.36 c nbDecision=1206500 #constraints=35308 1267.52/1268.24 c nbDecision=1207000 #constraints=35317 1267.62/1268.31 c nbDecision=1207500 #constraints=35317 1268.42/1269.10 c nbDecision=1208000 #constraints=35329 1269.32/1270.08 c nbDecision=1208500 #constraints=35345 1272.02/1272.76 c nbDecision=1209000 #constraints=35380 1274.32/1275.02 c nbDecision=1209500 #constraints=35412 1275.92/1276.61 c nbDecision=1210000 #constraints=35436 1277.81/1278.58 c nbDecision=1210500 #constraints=35466 1278.91/1279.68 c nbDecision=1211000 #constraints=35482 1279.91/1280.69 c nbDecision=1211500 #constraints=35497 1281.01/1281.76 c nbDecision=1212000 #constraints=35508 1282.41/1283.11 c nbDecision=1212500 #constraints=35530 1283.41/1284.11 c nbDecision=1213000 #constraints=35541 1284.12/1284.80 c nbDecision=1213500 #constraints=35552 1284.82/1285.53 c nbDecision=1214000 #constraints=35566 1285.52/1286.23 c nbDecision=1214500 #constraints=35581 1286.32/1287.01 c nbDecision=1215000 #constraints=35593 1287.02/1287.77 c nbDecision=1215500 #constraints=35609 1287.52/1288.28 c nbDecision=1216000 #constraints=35621 1288.32/1289.08 c nbDecision=1216500 #constraints=35637 1289.42/1290.16 c nbDecision=1217000 #constraints=35660 1290.32/1291.06 c nbDecision=1217500 #constraints=35669 1290.42/1291.15 c nbDecision=1218000 #constraints=35669 1290.52/1291.29 c nbDecision=1218500 #constraints=35669 1291.82/1292.56 c nbDecision=1219000 #constraints=35684 1293.02/1293.76 c nbDecision=1219500 #constraints=35701 1293.71/1294.47 c nbDecision=1220000 #constraints=35715 1294.61/1295.32 c nbDecision=1220500 #constraints=35730 1295.51/1296.29 c nbDecision=1221000 #constraints=35746 1296.31/1297.08 c nbDecision=1221500 #constraints=35757 1298.01/1298.70 c nbDecision=1222000 #constraints=35776 1299.31/1300.01 c nbDecision=1222500 #constraints=35794 1299.31/1300.07 c nbDecision=1223000 #constraints=35794 1300.31/1301.03 c nbDecision=1223500 #constraints=35808 1301.31/1302.04 c nbDecision=1224000 #constraints=35825 1303.11/1303.80 c nbDecision=1224500 #constraints=35857 1303.81/1304.53 c nbDecision=1225000 #constraints=35866 1303.91/1304.67 c nbDecision=1225500 #constraints=35866 1304.50/1305.26 c nbDecision=1226000 #constraints=35875 1305.30/1306.08 c nbDecision=1226500 #constraints=35891 1305.60/1306.38 c nbDecision=1227000 #constraints=35892 1307.30/1308.09 c nbDecision=1227500 #constraints=35917 1308.40/1309.19 c nbDecision=1228000 #constraints=35936 1310.10/1310.82 c nbDecision=1228500 #constraints=35966 1311.80/1312.52 c nbDecision=1229000 #constraints=35994 1312.70/1313.46 c nbDecision=1229500 #constraints=36007 1313.90/1314.69 c nbDecision=1230000 #constraints=36026 1315.10/1315.80 c nbDecision=1230500 #constraints=36038 1315.90/1316.60 c nbDecision=1231000 #constraints=36048 1316.00/1316.74 c nbDecision=1231500 #constraints=36049 1316.40/1317.18 c nbDecision=1232000 #constraints=36054 1317.40/1318.10 c nbDecision=1232500 #constraints=36067 1317.80/1318.57 c nbDecision=1233000 #constraints=36072 1319.00/1319.76 c nbDecision=1233500 #constraints=36088 1319.40/1320.18 c nbDecision=1234000 #constraints=36092 1319.70/1320.49 c nbDecision=1234500 #constraints=36093 1319.80/1320.57 c nbDecision=1235000 #constraints=36093 1320.10/1320.88 c nbDecision=1235500 #constraints=36094 1320.20/1320.99 c nbDecision=1236000 #constraints=36094 1320.40/1321.18 c nbDecision=1236500 #constraints=36095 1320.70/1321.47 c nbDecision=1237000 #constraints=36096 1320.80/1321.56 c nbDecision=1237500 #constraints=36096 1321.60/1322.39 c nbDecision=1238000 #constraints=36109 1322.40/1323.13 c nbDecision=1238500 #constraints=36122 1322.90/1323.67 c nbDecision=1239000 #constraints=36134 1323.40/1324.18 c nbDecision=1239500 #constraints=36145 1324.10/1324.86 c nbDecision=1240000 #constraints=36152 1324.20/1324.97 c nbDecision=1240500 #constraints=36152 1324.90/1325.60 c nbDecision=1241000 #constraints=36159 1325.10/1325.83 c nbDecision=1241500 #constraints=36164 1326.10/1326.81 c nbDecision=1242000 #constraints=36176 1327.30/1328.04 c nbDecision=1242500 #constraints=36193 1328.20/1328.95 c nbDecision=1243000 #constraints=36203 1328.30/1329.03 c nbDecision=1243500 #constraints=36203 1328.80/1329.57 c nbDecision=1244000 #constraints=36213 1329.70/1330.42 c nbDecision=1244500 #constraints=36222 1329.70/1330.49 c nbDecision=1245000 #constraints=36222 1330.60/1331.34 c nbDecision=1245500 #constraints=36230 1331.30/1332.04 c nbDecision=1246000 #constraints=36235 1332.20/1332.96 c nbDecision=1246500 #constraints=36247 1333.10/1333.82 c nbDecision=1247000 #constraints=36263 1334.30/1335.06 c nbDecision=1247500 #constraints=36284 1335.60/1336.38 c nbDecision=1248000 #constraints=36309 1337.30/1338.03 c nbDecision=1248500 #constraints=36350 1339.00/1339.71 c nbDecision=1249000 #constraints=36382 1339.70/1340.48 c nbDecision=1249500 #constraints=36397 1340.60/1341.36 c nbDecision=1250000 #constraints=36410 1340.70/1341.48 c nbDecision=1250500 #constraints=36410 1341.30/1342.04 c nbDecision=1251000 #constraints=36416 1342.40/1343.18 c nbDecision=1251500 #constraints=36437 1343.40/1344.19 c nbDecision=1252000 #constraints=36453 1343.99/1344.79 c nbDecision=1252500 #constraints=36462 1345.09/1345.83 c nbDecision=1253000 #constraints=36479 1345.70/1346.48 c nbDecision=1253500 #constraints=36491 1346.49/1347.24 c nbDecision=1254000 #constraints=36502 1347.19/1347.92 c nbDecision=1254500 #constraints=36515 1347.99/1348.73 c nbDecision=1255000 #constraints=36531 1348.79/1349.50 c nbDecision=1255500 #constraints=36544 1349.89/1350.67 c nbDecision=1256000 #constraints=36564 1350.59/1351.37 c nbDecision=1256500 #constraints=36576 1351.49/1352.24 c nbDecision=1257000 #constraints=36590 1352.49/1353.21 c nbDecision=1257500 #constraints=36603 1353.49/1354.28 c nbDecision=1258000 #constraints=36618 1354.19/1354.98 c nbDecision=1258500 #constraints=36629 1354.89/1355.61 c nbDecision=1259000 #constraints=36643 1355.89/1356.60 c nbDecision=1259500 #constraints=36658 1356.79/1357.53 c nbDecision=1260000 #constraints=36672 1357.99/1358.76 c nbDecision=1260500 #constraints=36691 1358.29/1359.09 c nbDecision=1261000 #constraints=36699 1358.79/1359.53 c nbDecision=1261500 #constraints=36710 1360.38/1361.11 c nbDecision=1262000 #constraints=36733 1361.48/1362.28 c nbDecision=1262500 #constraints=36752 1362.48/1363.27 c nbDecision=1263000 #constraints=36769 1363.38/1364.17 c nbDecision=1263500 #constraints=36783 1364.38/1365.12 c nbDecision=1264000 #constraints=36800 1365.18/1365.90 c nbDecision=1264500 #constraints=36814 1365.78/1366.53 c nbDecision=1265000 #constraints=36823 1365.88/1366.65 c nbDecision=1265500 #constraints=36823 1366.48/1367.22 c nbDecision=1266000 #constraints=36830 1367.88/1368.64 c nbDecision=1266500 #constraints=36855 1369.08/1369.82 c nbDecision=1267000 #constraints=36875 1370.08/1370.83 c nbDecision=1267500 #constraints=36894 1370.98/1371.72 c nbDecision=1268000 #constraints=36908 1371.98/1372.71 c nbDecision=1268500 #constraints=36927 1372.88/1373.62 c nbDecision=1269000 #constraints=36942 1373.48/1374.30 c nbDecision=1269500 #constraints=36953 1374.38/1375.14 c nbDecision=1270000 #constraints=36967 1375.08/1375.83 c nbDecision=1270500 #constraints=36979 1375.78/1376.56 c nbDecision=1271000 #constraints=36991 1376.39/1377.19 c nbDecision=1271500 #constraints=36999 1377.28/1378.00 c nbDecision=1272000 #constraints=37013 1377.98/1378.73 c nbDecision=1272500 #constraints=37025 1379.28/1380.07 c nbDecision=1273000 #constraints=37046 1380.48/1381.28 c nbDecision=1273500 #constraints=37064 1381.68/1382.47 c nbDecision=1274000 #constraints=37081 1383.48/1384.25 c nbDecision=1274500 #constraints=37107 1384.48/1385.20 c nbDecision=1275000 #constraints=37121 1385.08/1385.84 c nbDecision=1275500 #constraints=37132 1387.08/1387.87 c nbDecision=1276000 #constraints=37162 1389.27/1390.05 c nbDecision=1276500 #constraints=37203 1390.57/1391.38 c nbDecision=1277000 #constraints=37220 1392.07/1392.89 c nbDecision=1277500 #constraints=37244 1393.87/1394.62 c nbDecision=1278000 #constraints=37266 1395.18/1395.95 c nbDecision=1278500 #constraints=37285 1396.18/1396.97 c nbDecision=1279000 #constraints=37303 1397.17/1397.98 c nbDecision=1279500 #constraints=37317 1398.27/1399.08 c nbDecision=1280000 #constraints=37336 1399.67/1400.43 c nbDecision=1280500 #constraints=37351 1400.67/1401.43 c nbDecision=1281000 #constraints=37363 1401.37/1402.17 c nbDecision=1281500 #constraints=37375 1402.17/1402.95 c nbDecision=1282000 #constraints=37390 1402.67/1403.49 c nbDecision=1282500 #constraints=37399 1403.37/1404.17 c nbDecision=1283000 #constraints=37411 1403.97/1404.79 c nbDecision=1283500 #constraints=37421 1405.47/1406.25 c nbDecision=1284000 #constraints=37444 1406.57/1407.39 c nbDecision=1284500 #constraints=37458 1407.77/1408.56 c nbDecision=1285000 #constraints=37476 1408.87/1409.63 c nbDecision=1285500 #constraints=37489 1410.27/1411.09 c nbDecision=1286000 #constraints=37508 1411.97/1412.78 c nbDecision=1286500 #constraints=37528 1413.07/1413.85 c nbDecision=1287000 #constraints=37540 1414.27/1415.05 c nbDecision=1287500 #constraints=37558 1415.37/1416.11 c nbDecision=1288000 #constraints=37573 1416.17/1416.91 c nbDecision=1288500 #constraints=37586 1417.17/1417.92 c nbDecision=1289000 #constraints=37599 1417.97/1418.77 c nbDecision=1289500 #constraints=37611 1418.87/1419.66 c nbDecision=1290000 #constraints=37628 1419.77/1420.52 c nbDecision=1290500 #constraints=37639 1421.07/1421.84 c nbDecision=1291000 #constraints=37655 1422.36/1423.16 c nbDecision=1291500 #constraints=37671 1423.77/1424.54 c nbDecision=1292000 #constraints=37692 1424.87/1425.65 c nbDecision=1292500 #constraints=37705 1426.16/1426.98 c nbDecision=1293000 #constraints=37721 1427.16/1427.91 c nbDecision=1293500 #constraints=37732 1427.46/1428.26 c nbDecision=1294000 #constraints=37736 1428.66/1429.44 c nbDecision=1294500 #constraints=37751 1429.56/1430.38 c nbDecision=1295000 #constraints=37773 1430.86/1431.62 c nbDecision=1295500 #constraints=37791 1431.06/1431.86 c nbDecision=1296000 #constraints=37792 1431.16/1431.93 c nbDecision=1296500 #constraints=37792 1432.06/1432.84 c nbDecision=1297000 #constraints=37802 1432.66/1433.41 c nbDecision=1297500 #constraints=37811 1433.16/1433.93 c nbDecision=1298000 #constraints=37823 1433.86/1434.68 c nbDecision=1298500 #constraints=37838 1434.66/1435.42 c nbDecision=1299000 #constraints=37850 1435.46/1436.23 c nbDecision=1299500 #constraints=37861 1436.26/1437.07 c nbDecision=1300000 #constraints=37872 1437.66/1438.44 c nbDecision=1300500 #constraints=37890 1438.55/1439.39 c nbDecision=1301000 #constraints=37904 1439.55/1440.32 c nbDecision=1301500 #constraints=37918 1440.55/1441.35 c nbDecision=1302000 #constraints=37934 1441.55/1442.35 c nbDecision=1302500 #constraints=37949 1442.36/1443.18 c nbDecision=1303000 #constraints=37967 1443.15/1443.92 c nbDecision=1303500 #constraints=37976 1443.75/1444.53 c nbDecision=1304000 #constraints=37986 1444.85/1445.60 c nbDecision=1304500 #constraints=38002 1445.65/1446.49 c nbDecision=1305000 #constraints=38015 1446.35/1447.19 c nbDecision=1305500 #constraints=38026 1447.15/1447.95 c nbDecision=1306000 #constraints=38043 1447.85/1448.62 c nbDecision=1306500 #constraints=38056 1448.55/1449.36 c nbDecision=1307000 #constraints=38072 1449.25/1450.00 c nbDecision=1307500 #constraints=38089 1450.25/1451.05 c nbDecision=1308000 #constraints=38107 1451.35/1452.14 c nbDecision=1308500 #constraints=38128 1452.25/1453.04 c nbDecision=1309000 #constraints=38143 1453.85/1454.66 c nbDecision=1309500 #constraints=38165 1454.65/1455.48 c nbDecision=1310000 #constraints=38184 1455.45/1456.25 c nbDecision=1310500 #constraints=38201 1456.05/1456.87 c nbDecision=1311000 #constraints=38214 1456.75/1457.58 c nbDecision=1311500 #constraints=38225 1457.35/1458.19 c nbDecision=1312000 #constraints=38235 1458.14/1458.92 c nbDecision=1312500 #constraints=38247 1458.95/1459.75 c nbDecision=1313000 #constraints=38263 1459.85/1460.61 c nbDecision=1313500 #constraints=38275 1460.45/1461.24 c nbDecision=1314000 #constraints=38286 1461.15/1461.95 c nbDecision=1314500 #constraints=38298 1462.26/1463.03 c nbDecision=1315000 #constraints=38318 1463.25/1464.03 c nbDecision=1315500 #constraints=38333 1463.65/1464.49 c nbDecision=1316000 #constraints=38339 1464.25/1465.09 c nbDecision=1316500 #constraints=38350 1465.45/1466.28 c nbDecision=1317000 #constraints=38363 1466.45/1467.23 c nbDecision=1317500 #constraints=38373 1466.75/1467.56 c nbDecision=1318000 #constraints=38376 1467.25/1468.03 c nbDecision=1318500 #constraints=38383 1467.95/1468.77 c nbDecision=1319000 #constraints=38394 1469.05/1469.80 c nbDecision=1319500 #constraints=38412 1469.75/1470.51 c nbDecision=1320000 #constraints=38424 1470.35/1471.10 c nbDecision=1320500 #constraints=38435 1471.05/1471.88 c nbDecision=1321000 #constraints=38451 1471.95/1472.79 c nbDecision=1321500 #constraints=38467 1472.75/1473.50 c nbDecision=1322000 #constraints=38481 1473.35/1474.12 c nbDecision=1322500 #constraints=38494 1474.05/1474.86 c nbDecision=1323000 #constraints=38505 1475.05/1475.87 c nbDecision=1323500 #constraints=38527 1475.85/1476.62 c nbDecision=1324000 #constraints=38540 1476.45/1477.21 c nbDecision=1324500 #constraints=38553 1477.34/1478.15 c nbDecision=1325000 #constraints=38570 1478.04/1478.85 c nbDecision=1325500 #constraints=38585 1478.75/1479.57 c nbDecision=1326000 #constraints=38600 1479.44/1480.24 c nbDecision=1326500 #constraints=38613 1480.14/1480.91 c nbDecision=1327000 #constraints=38626 1480.64/1481.49 c nbDecision=1327500 #constraints=38638 1481.34/1482.13 c nbDecision=1328000 #constraints=38655 1481.95/1482.74 c nbDecision=1328500 #constraints=38664 1482.54/1483.36 c nbDecision=1329000 #constraints=38674 1483.34/1484.16 c nbDecision=1329500 #constraints=38687 1484.04/1484.85 c nbDecision=1330000 #constraints=38697 1484.74/1485.55 c nbDecision=1330500 #constraints=38709 1485.84/1486.63 c nbDecision=1331000 #constraints=38728 1486.84/1487.68 c nbDecision=1331500 #constraints=38745 1487.64/1488.46 c nbDecision=1332000 #constraints=38761 1488.44/1489.23 c nbDecision=1332500 #constraints=38773 1489.04/1489.86 c nbDecision=1333000 #constraints=38786 1489.94/1490.75 c nbDecision=1333500 #constraints=38802 1490.84/1491.69 c nbDecision=1334000 #constraints=38819 1491.94/1492.79 c nbDecision=1334500 #constraints=38839 1492.94/1493.79 c nbDecision=1335000 #constraints=38859 1493.94/1494.74 c nbDecision=1335500 #constraints=38878 1494.93/1495.70 c nbDecision=1336000 #constraints=38898 1495.83/1496.63 c nbDecision=1336500 #constraints=38918 1496.43/1497.23 c nbDecision=1337000 #constraints=38935 1497.34/1498.14 c nbDecision=1337500 #constraints=38950 1498.23/1499.01 c nbDecision=1338000 #constraints=38963 1498.93/1499.75 c nbDecision=1338500 #constraints=38978 1499.54/1500.40 c nbDecision=1339000 #constraints=38996 1500.13/1500.98 c nbDecision=1339500 #constraints=39012 1500.93/1501.75 c nbDecision=1340000 #constraints=39029 1501.63/1502.45 c nbDecision=1340500 #constraints=39041 1502.23/1503.09 c nbDecision=1341000 #constraints=39051 1503.33/1504.12 c nbDecision=1341500 #constraints=39072 1504.43/1505.20 c nbDecision=1342000 #constraints=39092 1505.43/1506.24 c nbDecision=1342500 #constraints=39112 1506.33/1507.10 c nbDecision=1343000 #constraints=39128 1507.33/1508.12 c nbDecision=1343500 #constraints=39149 1508.33/1509.12 c nbDecision=1344000 #constraints=39167 1509.62/1510.44 c nbDecision=1344500 #constraints=39192 1511.02/1511.81 c nbDecision=1345000 #constraints=39215 1511.42/1512.25 c nbDecision=1345500 #constraints=39220 1512.42/1513.28 c nbDecision=1346000 #constraints=39234 1513.72/1514.58 c nbDecision=1346500 #constraints=39250 1515.03/1515.90 c nbDecision=1347000 #constraints=39267 1516.52/1517.37 c nbDecision=1347500 #constraints=39286 1518.23/1519.09 c nbDecision=1348000 #constraints=39309 1519.03/1519.86 c nbDecision=1348500 #constraints=39324 1519.93/1520.71 c nbDecision=1349000 #constraints=39338 1520.93/1521.73 c nbDecision=1349500 #constraints=39353 1521.93/1522.73 c nbDecision=1350000 #constraints=39370 1522.92/1523.77 c nbDecision=1350500 #constraints=39385 1523.73/1524.58 c nbDecision=1351000 #constraints=39399 1524.62/1525.49 c nbDecision=1351500 #constraints=39415 1525.52/1526.35 c nbDecision=1352000 #constraints=39431 1526.52/1527.32 c nbDecision=1352500 #constraints=39450 1527.22/1528.05 c nbDecision=1353000 #constraints=39464 1528.32/1529.13 c nbDecision=1353500 #constraints=39484 1529.32/1530.11 c nbDecision=1354000 #constraints=39504 1530.02/1530.80 c nbDecision=1354500 #constraints=39516 1530.62/1531.40 c nbDecision=1355000 #constraints=39527 1531.62/1532.46 c nbDecision=1355500 #constraints=39547 1532.52/1533.34 c nbDecision=1356000 #constraints=39562 1533.32/1534.19 c nbDecision=1356500 #constraints=39576 1534.02/1534.88 c nbDecision=1357000 #constraints=39587 1535.02/1535.81 c nbDecision=1357500 #constraints=39603 1535.82/1536.64 c nbDecision=1358000 #constraints=39620 1536.62/1537.46 c nbDecision=1358500 #constraints=39632 1537.72/1538.54 c nbDecision=1359000 #constraints=39652 1538.51/1539.31 c nbDecision=1359500 #constraints=39665 1539.31/1540.16 c nbDecision=1360000 #constraints=39682 1540.01/1540.80 c nbDecision=1360500 #constraints=39690 1540.32/1541.17 c nbDecision=1361000 #constraints=39693 1541.32/1542.16 c nbDecision=1361500 #constraints=39705 1542.91/1543.70 c nbDecision=1362000 #constraints=39726 1544.21/1545.05 c nbDecision=1362500 #constraints=39745 1545.21/1546.05 c nbDecision=1363000 #constraints=39760 1546.71/1547.57 c nbDecision=1363500 #constraints=39780 1548.11/1548.92 c nbDecision=1364000 #constraints=39800 1549.70/1550.58 c nbDecision=1364500 #constraints=39825 1551.10/1551.90 c nbDecision=1365000 #constraints=39846 1552.32/1553.18 c nbDecision=1365500 #constraints=39868 1553.52/1554.38 c nbDecision=1366000 #constraints=39886 1554.81/1555.68 c nbDecision=1366500 #constraints=39903 1556.11/1556.93 c nbDecision=1367000 #constraints=39922 1557.31/1558.15 c nbDecision=1367500 #constraints=39937 1558.51/1559.39 c nbDecision=1368000 #constraints=39956 1559.51/1560.36 c nbDecision=1368500 #constraints=39973 1560.51/1561.31 c nbDecision=1369000 #constraints=39993 1561.51/1562.31 c nbDecision=1369500 #constraints=40014 1562.51/1563.34 c nbDecision=1370000 #constraints=40033 1563.51/1564.33 c nbDecision=1370500 #constraints=40051 1564.31/1565.18 c nbDecision=1371000 #constraints=40065 1565.11/1565.92 c nbDecision=1371500 #constraints=40079 1566.20/1567.05 c nbDecision=1372000 #constraints=40100 1567.20/1568.02 c nbDecision=1372500 #constraints=40118 1568.40/1569.25 c nbDecision=1373000 #constraints=40140 1569.50/1570.32 c nbDecision=1373500 #constraints=40158 1570.40/1571.28 c nbDecision=1374000 #constraints=40173 1571.40/1572.23 c nbDecision=1374500 #constraints=40188 1572.50/1573.33 c nbDecision=1375000 #constraints=40204 1573.31/1574.17 c nbDecision=1375500 #constraints=40216 1574.10/1574.90 c nbDecision=1376000 #constraints=40226 1574.90/1575.72 c nbDecision=1376500 #constraints=40240 1575.90/1576.73 c nbDecision=1377000 #constraints=40259 1576.80/1577.68 c nbDecision=1377500 #constraints=40276 1577.60/1578.48 c nbDecision=1378000 #constraints=40289 1578.40/1579.22 c nbDecision=1378500 #constraints=40301 1579.40/1580.24 c nbDecision=1379000 #constraints=40315 1580.50/1581.37 c nbDecision=1379500 #constraints=40332 1581.40/1582.22 c nbDecision=1380000 #constraints=40345 1582.10/1582.97 c nbDecision=1380500 #constraints=40359 1582.80/1583.69 c nbDecision=1381000 #constraints=40374 1583.50/1584.38 c nbDecision=1381500 #constraints=40389 1584.40/1585.24 c nbDecision=1382000 #constraints=40408 1585.19/1586.05 c nbDecision=1382500 #constraints=40422 1586.59/1587.49 c nbDecision=1383000 #constraints=40446 1587.79/1588.67 c nbDecision=1383500 #constraints=40471 1588.70/1589.53 c nbDecision=1384000 #constraints=40486 1589.59/1590.42 c nbDecision=1384500 #constraints=40504 1590.59/1591.43 c nbDecision=1385000 #constraints=40516 1591.90/1592.78 c nbDecision=1385500 #constraints=40536 1593.29/1594.11 c nbDecision=1386000 #constraints=40560 1594.39/1595.20 c nbDecision=1386500 #constraints=40580 1595.39/1596.23 c nbDecision=1387000 #constraints=40601 1596.49/1597.33 c nbDecision=1387500 #constraints=40624 1597.69/1598.52 c nbDecision=1388000 #constraints=40649 1598.49/1599.36 c nbDecision=1388500 #constraints=40667 1599.49/1600.35 c nbDecision=1389000 #constraints=40684 1600.49/1601.39 c nbDecision=1389500 #constraints=40699 1601.39/1602.30 c nbDecision=1390000 #constraints=40715 1602.39/1603.22 c nbDecision=1390500 #constraints=40734 1603.29/1604.18 c nbDecision=1391000 #constraints=40747 1604.29/1605.19 c nbDecision=1391500 #constraints=40765 1605.10/1605.99 c nbDecision=1392000 #constraints=40781 1606.09/1606.94 c nbDecision=1392500 #constraints=40800 1606.99/1607.89 c nbDecision=1393000 #constraints=40818 1607.89/1608.74 c nbDecision=1393500 #constraints=40832 1608.39/1609.27 c nbDecision=1394000 #constraints=40839 1610.19/1611.01 c nbDecision=1394500 #constraints=40861 1610.89/1611.76 c nbDecision=1395000 #constraints=40874 1611.89/1612.77 c nbDecision=1395500 #constraints=40891 1612.99/1613.87 c nbDecision=1396000 #constraints=40908 1614.19/1615.09 c nbDecision=1396500 #constraints=40930 1615.19/1616.08 c nbDecision=1397000 #constraints=40950 1616.09/1616.93 c nbDecision=1397500 #constraints=40966 1616.68/1617.59 c nbDecision=1398000 #constraints=40980 1617.78/1618.69 c nbDecision=1398500 #constraints=41002 1618.88/1619.72 c nbDecision=1399000 #constraints=41019 1619.78/1620.67 c nbDecision=1399500 #constraints=41035 1621.08/1621.90 c nbDecision=1400000 #constraints=41056 1621.98/1622.80 c nbDecision=1400500 #constraints=41072 1623.38/1624.30 c nbDecision=1401000 #constraints=41099 1624.08/1624.94 c nbDecision=1401500 #constraints=41111 1625.38/1626.24 c nbDecision=1402000 #constraints=41135 1626.58/1627.42 c nbDecision=1402500 #constraints=41154 1627.98/1628.83 c nbDecision=1403000 #constraints=41178 1629.28/1630.19 c nbDecision=1403500 #constraints=41199 1630.57/1631.49 c nbDecision=1404000 #constraints=41221 1632.17/1633.08 c nbDecision=1404500 #constraints=41248 1633.78/1634.66 c nbDecision=1405000 #constraints=41276 1635.37/1636.22 c nbDecision=1405500 #constraints=41298 1636.77/1637.69 c nbDecision=1406000 #constraints=41325 1637.57/1638.43 c nbDecision=1406500 #constraints=41339 1638.67/1639.58 c nbDecision=1407000 #constraints=41363 1639.87/1640.71 c nbDecision=1407500 #constraints=41386 1640.58/1641.48 c nbDecision=1408000 #constraints=41398 1641.78/1642.66 c nbDecision=1408500 #constraints=41420 1642.98/1643.85 c nbDecision=1409000 #constraints=41439 1644.08/1644.90 c nbDecision=1409500 #constraints=41459 1644.78/1645.62 c nbDecision=1410000 #constraints=41471 1645.58/1646.44 c nbDecision=1410500 #constraints=41485 1646.58/1647.40 c nbDecision=1411000 #constraints=41502 1647.28/1648.18 c nbDecision=1411500 #constraints=41512 1648.28/1649.13 c nbDecision=1412000 #constraints=41525 1649.18/1650.06 c nbDecision=1412500 #constraints=41541 1649.97/1650.89 c nbDecision=1413000 #constraints=41554 1651.07/1651.92 c nbDecision=1413500 #constraints=41570 1652.27/1653.12 c nbDecision=1414000 #constraints=41590 1653.37/1654.25 c nbDecision=1414500 #constraints=41613 1654.47/1655.34 c nbDecision=1415000 #constraints=41631 1655.78/1656.67 c nbDecision=1415500 #constraints=41651 1657.77/1658.65 c nbDecision=1416000 #constraints=41678 1659.97/1660.82 c nbDecision=1416500 #constraints=41705 1661.47/1662.33 c nbDecision=1417000 #constraints=41729 1662.57/1663.46 c nbDecision=1417500 #constraints=41746 1663.47/1664.30 c nbDecision=1418000 #constraints=41758 1665.16/1666.04 c nbDecision=1418500 #constraints=41782 1666.16/1667.01 c nbDecision=1419000 #constraints=41796 1667.26/1668.19 c nbDecision=1419500 #constraints=41814 1668.87/1669.71 c nbDecision=1420000 #constraints=41841 1670.07/1670.92 c nbDecision=1420500 #constraints=41859 1671.17/1672.04 c nbDecision=1421000 #constraints=41878 1672.26/1673.19 c nbDecision=1421500 #constraints=41898 1673.16/1674.01 c nbDecision=1422000 #constraints=41912 1674.26/1675.16 c nbDecision=1422500 #constraints=41930 1675.36/1676.26 c nbDecision=1423000 #constraints=41951 1676.56/1677.44 c nbDecision=1423500 #constraints=41970 1677.46/1678.31 c nbDecision=1424000 #constraints=41987 1678.46/1679.33 c nbDecision=1424500 #constraints=42006 1679.26/1680.19 c nbDecision=1425000 #constraints=42021 1680.35/1681.30 c nbDecision=1425500 #constraints=42040 1681.65/1682.52 c nbDecision=1426000 #constraints=42064 1682.95/1683.80 c nbDecision=1426500 #constraints=42090 1683.95/1684.80 c nbDecision=1427000 #constraints=42109 1685.05/1685.97 c nbDecision=1427500 #constraints=42133 1686.55/1687.44 c nbDecision=1428000 #constraints=42159 1687.85/1688.74 c nbDecision=1428500 #constraints=42184 1689.15/1690.03 c nbDecision=1429000 #constraints=42209 1690.16/1691.09 c nbDecision=1429500 #constraints=42229 1691.55/1692.41 c nbDecision=1430000 #constraints=42254 1692.85/1693.73 c nbDecision=1430500 #constraints=42274 1694.16/1695.01 c nbDecision=1431000 #constraints=42293 1695.75/1696.63 c nbDecision=1431500 #constraints=42319 1696.75/1697.67 c nbDecision=1432000 #constraints=42341 1698.25/1699.16 c nbDecision=1432500 #constraints=42364 1699.75/1700.61 c nbDecision=1433000 #constraints=42389 1701.35/1702.22 c nbDecision=1433500 #constraints=42414 1702.75/1703.64 c nbDecision=1434000 #constraints=42434 1703.95/1704.81 c nbDecision=1434500 #constraints=42452 1705.25/1706.10 c nbDecision=1435000 #constraints=42472 1706.95/1707.87 c nbDecision=1435500 #constraints=42503 1708.34/1709.25 c nbDecision=1436000 #constraints=42525 1709.74/1710.68 c nbDecision=1436500 #constraints=42548 1711.34/1712.26 c nbDecision=1437000 #constraints=42571 1712.84/1713.71 c nbDecision=1437500 #constraints=42589 1714.24/1715.19 c nbDecision=1438000 #constraints=42612 1715.44/1716.36 c nbDecision=1438500 #constraints=42632 1717.24/1718.10 c nbDecision=1439000 #constraints=42656 1718.54/1719.46 c nbDecision=1439500 #constraints=42673 1720.14/1721.10 c nbDecision=1440000 #constraints=42695 1721.64/1722.53 c nbDecision=1440500 #constraints=42717 1723.03/1723.93 c nbDecision=1441000 #constraints=42733 1724.03/1724.98 c nbDecision=1441500 #constraints=42748 1725.13/1726.06 c nbDecision=1442000 #constraints=42767 1727.03/1727.92 c nbDecision=1442500 #constraints=42800 1728.73/1729.61 c nbDecision=1443000 #constraints=42831 1730.13/1731.04 c nbDecision=1443500 #constraints=42853 1732.23/1733.16 c nbDecision=1444000 #constraints=42879 1733.73/1734.69 c nbDecision=1444500 #constraints=42896 1735.13/1736.09 c nbDecision=1445000 #constraints=42913 1737.14/1738.07 c nbDecision=1445500 #constraints=42942 1739.34/1740.21 c nbDecision=1446000 #constraints=42972 1741.93/1742.87 c nbDecision=1446500 #constraints=43009 1745.03/1745.92 c nbDecision=1447000 #constraints=43049 1746.83/1747.71 c nbDecision=1447500 #constraints=43074 1748.73/1749.63 c nbDecision=1448000 #constraints=43099 1750.83/1751.79 c nbDecision=1448500 #constraints=43125 1752.33/1753.21 c nbDecision=1449000 #constraints=43148 1753.83/1754.79 c nbDecision=1449500 #constraints=43172 1754.73/1755.65 c nbDecision=1450000 #constraints=43188 1755.73/1756.69 c nbDecision=1450500 #constraints=43207 1756.63/1757.55 c nbDecision=1451000 #constraints=43224 1757.93/1758.87 c nbDecision=1451500 #constraints=43246 1759.33/1760.23 c nbDecision=1452000 #constraints=43266 1760.42/1761.32 c nbDecision=1452500 #constraints=43286 1761.33/1762.20 c nbDecision=1453000 #constraints=43295 1763.62/1764.57 c nbDecision=1453500 #constraints=43321 1765.22/1766.19 c nbDecision=1454000 #constraints=43344 1766.92/1767.88 c nbDecision=1454500 #constraints=43373 1768.52/1769.43 c nbDecision=1455000 #constraints=43397 1770.92/1771.88 c nbDecision=1455500 #constraints=43432 1772.72/1773.64 c nbDecision=1456000 #constraints=43457 1773.92/1774.82 c nbDecision=1456500 #constraints=43474 1775.72/1776.64 c nbDecision=1457000 #constraints=43496 1777.72/1778.65 c nbDecision=1457500 #constraints=43524 1779.81/1780.78 c nbDecision=1458000 #constraints=43553 1781.91/1782.88 c nbDecision=1458500 #constraints=43581 1784.01/1784.91 c nbDecision=1459000 #constraints=43605 1786.11/1787.04 c nbDecision=1459500 #constraints=43625 1788.01/1788.92 c nbDecision=1460000 #constraints=43648 1789.51/1790.48 c nbDecision=1460500 #constraints=43674 1790.01/1790.97 c nbDecision=1461000 #constraints=43680 1791.61/1792.51 c nbDecision=1461500 #constraints=43710 1792.61/1793.59 c nbDecision=1462000 #constraints=43727 1794.01/1794.92 c nbDecision=1462500 #constraints=43748 1795.11/1796.07 c nbDecision=1463000 #constraints=43768 1796.60/1797.59 c nbDecision=1463500 #constraints=43795 1797.80/1798.72 c nbDecision=1464000 #constraints=43808 1799.20/1800.11 c nbDecision=1464500 #constraints=43831 1800.01/1800.90 Received signal 15 1800.01/1800.91 1800.01/1800.91 s UNKNOWN 1800.01/1800.91 1800.01/1800.91 c user time= 1799.6 s 1800.01/1800.91 c system time= 0.429934 s 1800.01/1800.91 c wall clock time=1800.92
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-357500-1177001883 -o ROOT/results/node3/solver-357500-1177001883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357500-1177001883/instance-357500-1177001883.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15651 /proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=1468 CPUtime=0 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176226052 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 367 163 131 317 0 46 0 [startup+0.0584049 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15651 /proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=2392 CPUtime=0.05 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 408 0 0 0 5 0 0 0 18 0 1 0 176226052 2449408 390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 598 390 131 317 0 277 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2392 [startup+0.102409 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15651 /proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=3184 CPUtime=0.1 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 592 0 0 0 10 0 0 0 18 0 1 0 176226052 3260416 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 796 575 131 317 0 475 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3184 [startup+0.301442 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15651 /proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=6444 CPUtime=0.29 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1430 0 0 0 29 0 0 0 19 0 1 0 176226052 6598656 1412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 1611 1412 138 317 0 1290 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6444 [startup+0.701506 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15651 /proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=6768 CPUtime=0.69 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1479 0 0 0 69 0 0 0 23 0 1 0 176226052 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 1692 1461 139 317 0 1371 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6768 [startup+1.50164 s] /proc/loadavg: 0.78 0.95 0.98 2/78 15652 /proc/meminfo: memFree=1650584/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=6768 CPUtime=1.49 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1479 0 0 0 149 0 0 0 25 0 1 0 176226052 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 1692 1461 139 317 0 1371 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6768 [startup+3.1019 s] /proc/loadavg: 0.78 0.95 0.98 2/78 15652 /proc/meminfo: memFree=1650392/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=6768 CPUtime=3.09 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1479 0 0 0 309 0 0 0 25 0 1 0 176226052 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 1692 1461 139 317 0 1371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6768 [startup+6.30141 s] /proc/loadavg: 0.80 0.95 0.98 2/78 15652 /proc/meminfo: memFree=1650328/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=6768 CPUtime=6.29 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1487 0 0 0 629 0 0 0 25 0 1 0 176226052 6930432 1469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 1692 1469 139 317 0 1371 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6768 [startup+12.7015 s] /proc/loadavg: 0.81 0.95 0.98 2/78 15652 /proc/meminfo: memFree=1649880/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=7164 CPUtime=12.69 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1602 0 0 0 1268 1 0 0 25 0 1 0 176226052 7335936 1584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 1791 1584 139 317 0 1470 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7164 [startup+25.5015 s] /proc/loadavg: 0.85 0.95 0.98 2/78 15652 /proc/meminfo: memFree=1648024/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=9156 CPUtime=25.47 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 2102 0 0 0 2546 1 0 0 25 0 1 0 176226052 9375744 2084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 2289 2084 170 317 0 1968 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 9156 [startup+51.1017 s] /proc/loadavg: 0.90 0.96 0.98 2/78 15652 /proc/meminfo: memFree=1644696/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=12240 CPUtime=51.06 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 2910 0 0 0 5104 2 0 0 25 0 1 0 176226052 12533760 2845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 3060 2845 170 317 0 2739 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 12240 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 15652 /proc/meminfo: memFree=1640024/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=17272 CPUtime=102.24 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 4128 0 0 0 10219 5 0 0 25 0 1 0 176226052 17686528 4063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 4318 4063 170 317 0 3997 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 17272 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 15652 /proc/meminfo: memFree=1635032/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=22492 CPUtime=162.2 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 5356 0 0 0 16213 7 0 0 25 0 1 0 176226052 23031808 5291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 5623 5291 170 317 0 5302 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 22492 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/84 15824 /proc/meminfo: memFree=1629416/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=27068 CPUtime=222.08 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 6504 0 0 0 22198 10 0 0 25 0 1 0 176226052 27717632 6346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 6767 6346 170 317 0 6446 0 Current children cumulated CPU time (s) 222.08 Current children cumulated vsize (KiB) 27068 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1627288/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=30400 CPUtime=282.03 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 7323 0 0 0 28191 12 0 0 25 0 1 0 176226052 31129600 7165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 7600 7165 170 317 0 7279 0 Current children cumulated CPU time (s) 282.03 Current children cumulated vsize (KiB) 30400 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1624024/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=34056 CPUtime=342 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 8171 0 0 0 34187 13 0 0 25 0 1 0 176226052 34873344 8013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 8514 8013 170 317 0 8193 0 Current children cumulated CPU time (s) 342 Current children cumulated vsize (KiB) 34056 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1621208/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=36672 CPUtime=401.97 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 8866 0 0 0 40183 14 0 0 25 0 1 0 176226052 37552128 8708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 9168 8708 170 317 0 8847 0 Current children cumulated CPU time (s) 401.97 Current children cumulated vsize (KiB) 36672 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1618328/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=40428 CPUtime=461.94 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 9806 0 0 0 46178 16 0 0 25 0 1 0 176226052 41398272 9417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 10107 9417 170 317 0 9786 0 Current children cumulated CPU time (s) 461.94 Current children cumulated vsize (KiB) 40428 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1615768/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=43304 CPUtime=521.91 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 10518 0 0 0 52174 17 0 0 25 0 1 0 176226052 44343296 10063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 10826 10063 170 317 0 10505 0 Current children cumulated CPU time (s) 521.91 Current children cumulated vsize (KiB) 43304 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1613208/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=45968 CPUtime=581.89 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 11164 0 0 0 58171 18 0 0 25 0 1 0 176226052 47071232 10709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 11492 10709 170 317 0 11171 0 Current children cumulated CPU time (s) 581.89 Current children cumulated vsize (KiB) 45968 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15850 /proc/meminfo: memFree=1610712/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=48192 CPUtime=641.87 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 11796 0 0 0 64168 19 0 0 25 0 1 0 176226052 49348608 11308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 12048 11308 170 317 0 11727 0 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (KiB) 48192 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.04 0.99 0.99 2/78 15850 /proc/meminfo: memFree=1601688/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=57836 CPUtime=881.77 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 14416 0 0 0 88153 24 0 0 25 0 1 0 176226052 59224064 13579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 14459 13579 170 317 0 14138 0 Current children cumulated CPU time (s) 881.77 Current children cumulated vsize (KiB) 57836 [startup+942.301 s] /proc/loadavg: 1.12 1.02 1.00 2/78 15850 /proc/meminfo: memFree=1599640/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=59932 CPUtime=941.74 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 14974 0 0 0 94149 25 0 0 25 0 1 0 176226052 61370368 14104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 14983 14104 170 317 0 14662 0 Current children cumulated CPU time (s) 941.74 Current children cumulated vsize (KiB) 59932 [startup+1002.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 15850 /proc/meminfo: memFree=1597720/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=61784 CPUtime=1001.73 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 15452 0 0 0 100146 27 0 0 25 0 1 0 176226052 63266816 14582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 15446 14582 170 317 0 15125 0 Current children cumulated CPU time (s) 1001.73 Current children cumulated vsize (KiB) 61784 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1595608/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=63880 CPUtime=1061.7 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 15979 0 0 0 106142 28 0 0 25 0 1 0 176226052 65413120 15109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 15970 15109 170 317 0 15649 0 Current children cumulated CPU time (s) 1061.7 Current children cumulated vsize (KiB) 63880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1593624/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=66120 CPUtime=1121.68 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 16558 0 0 0 112139 29 0 0 25 0 1 0 176226052 67706880 15589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 16530 15589 170 317 0 16209 0 Current children cumulated CPU time (s) 1121.68 Current children cumulated vsize (KiB) 66120 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1591640/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=68076 CPUtime=1181.66 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 17109 0 0 0 118136 30 0 0 25 0 1 0 176226052 69709824 16074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 17019 16074 170 317 0 16698 0 Current children cumulated CPU time (s) 1181.66 Current children cumulated vsize (KiB) 68076 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1590168/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=69396 CPUtime=1241.64 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 17471 0 0 0 124133 31 0 0 25 0 1 0 176226052 71061504 16436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 17349 16436 170 317 0 17028 0 Current children cumulated CPU time (s) 1241.64 Current children cumulated vsize (KiB) 69396 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1588504/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=72748 CPUtime=1301.61 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 18284 0 0 0 130129 32 0 0 25 0 1 0 176226052 74493952 16859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 18187 16859 170 317 0 17866 0 Current children cumulated CPU time (s) 1301.61 Current children cumulated vsize (KiB) 72748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1586968/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=74036 CPUtime=1361.58 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 18668 0 0 0 136125 33 0 0 25 0 1 0 176226052 75812864 17243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 18509 17244 170 317 0 18188 0 Current children cumulated CPU time (s) 1361.58 Current children cumulated vsize (KiB) 74036 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1585048/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=75992 CPUtime=1421.57 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 19182 0 0 0 142122 35 0 0 25 0 1 0 176226052 77815808 17724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 18998 17724 170 317 0 18677 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 75992 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1583000/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=79020 CPUtime=1481.54 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 19961 0 0 0 148118 36 0 0 25 0 1 0 176226052 80916480 18243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 19755 18243 170 317 0 19434 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 79020 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1580760/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=81492 CPUtime=1541.51 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 20634 0 0 0 154114 37 0 0 25 0 1 0 176226052 83447808 18786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604187 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 20373 18786 170 317 0 20052 0 Current children cumulated CPU time (s) 1541.51 Current children cumulated vsize (KiB) 81492 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1578648/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=83436 CPUtime=1601.49 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 21198 0 0 0 160110 39 0 0 25 0 1 0 176226052 85438464 19317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 20859 19317 170 317 0 20538 0 Current children cumulated CPU time (s) 1601.49 Current children cumulated vsize (KiB) 83436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1576472/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=85668 CPUtime=1661.47 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 21798 0 0 0 166107 40 0 0 25 0 1 0 176226052 87724032 19851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 21417 19851 170 317 0 21096 0 Current children cumulated CPU time (s) 1661.47 Current children cumulated vsize (KiB) 85668 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1574360/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=87480 CPUtime=1721.44 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22334 0 0 0 172103 41 0 0 25 0 1 0 176226052 89579520 20387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 21870 20387 170 317 0 21549 0 Current children cumulated CPU time (s) 1721.44 Current children cumulated vsize (KiB) 87480 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1572568/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=89188 CPUtime=1781.41 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22792 0 0 0 178099 42 0 0 25 0 1 0 176226052 91328512 20845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 22297 20845 170 317 0 21976 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (KiB) 89188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1571928/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=89852 CPUtime=1800.01 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22966 0 0 0 179959 42 0 0 25 0 1 0 176226052 92008448 20986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 22463 20986 170 317 0 22142 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 89852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15850 /proc/meminfo: memFree=1571928/2055920 swapFree=4140688/4192956 [pid=15651] ppid=15649 vsize=89852 CPUtime=1800.01 /proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22966 0 0 0 179959 42 0 0 25 0 1 0 176226052 92008448 20986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15651/statm: 22463 20986 170 317 0 22142 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 89852 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.06 CPU user time (s): 1799.61 CPU system time (s): 0.444932 CPU usage (%): 99.9509 Max. virtual memory (cumulated for all children) (KiB): 89852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.444932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22982 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= 8 involuntary context switches= 40038 runsolver used 2.17567 second user time and 4.48932 second system time The end
Begin job on node3 on Thu Apr 19 16:58:03 UTC 2007 IDJOB= 357500 IDBENCH= 2946 IDSOLVER= 172 FILE ID= node3/357500-1177001883 PBS_JOBID= 4630518 Free space on /tmp= 66357 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb COMMAND LINE= oree /tmp/evaluation/357500-1177001883/instance-357500-1177001883.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-357500-1177001883 -o ROOT/results/node3/solver-357500-1177001883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357500-1177001883/instance-357500-1177001883.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490 RANDOM SEED= 679909938 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1656312 kB Buffers: 37172 kB Cached: 296764 kB SwapCached: 15176 kB Active: 53416 kB Inactive: 303252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1656312 kB SwapTotal: 4192956 kB SwapFree: 4140688 kB Dirty: 2192 kB Writeback: 0 kB Mapped: 29728 kB Slab: 28504 kB Committed_AS: 5298520 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66357 MiB End job on node3 on Thu Apr 19 17:28:06 UTC 2007