Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.33 | 1800.91 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb |
MD5SUM | 5946eb43fefc6e626d35d99afd3eec42 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 75 |
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 | 75 |
Optimality of the best value was proved | NO |
Number of variables | 1287 |
Total number of constraints | 2430 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 749 |
Number of bits of the biggest sum of numbers | 10 |
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.09/0.15 c ...done 0.09/0.15 c #vars=1287 #constraints=2431 hasObjective=yes 0.09/0.18 c res. mode=mod 0.09/0.18 c VSIDS like heuristics 0.09/0.18 c complete search running 0.19/0.20 c restart after 401 decisions 0.19/0.21 c nbDecision=500 #constraints=2431 0.19/0.22 c restart after 801 decisions 0.19/0.24 c nbDecision=1000 #constraints=2431 0.19/0.26 c nbDecision=1500 #constraints=2431 0.19/0.26 c restart after 1601 decisions 0.19/0.29 c nbDecision=2000 #constraints=2431 0.29/0.32 c nbDecision=2500 #constraints=2432 0.29/0.34 c nbDecision=3000 #constraints=2437 0.29/0.35 c restart after 3201 decisions 0.29/0.38 c nbDecision=3500 #constraints=2439 0.29/0.39 c nbDecision=4000 #constraints=2439 0.39/0.42 c nbDecision=4500 #constraints=2441 0.39/0.44 c nbDecision=5000 #constraints=2445 0.39/0.45 c nbDecision=5500 #constraints=2448 0.39/0.47 c nbDecision=6000 #constraints=2451 0.39/0.48 c restart after 6401 decisions 0.49/0.50 c nbDecision=6500 #constraints=2454 0.49/0.52 c nbDecision=7000 #constraints=2454 0.49/0.54 c nbDecision=7500 #constraints=2454 0.49/0.59 c nbDecision=8000 #constraints=2461 0.59/0.62 c nbDecision=8500 #constraints=2467 0.59/0.65 c nbDecision=9000 #constraints=2472 0.59/0.69 c nbDecision=9500 #constraints=2479 0.69/0.72 c nbDecision=10000 #constraints=2483 0.69/0.75 c nbDecision=10500 #constraints=2487 0.69/0.78 c nbDecision=11000 #constraints=2494 0.79/0.81 c nbDecision=11500 #constraints=2499 0.79/0.83 c nbDecision=12000 #constraints=2504 0.79/0.86 c nbDecision=12500 #constraints=2508 0.79/0.88 c restart after 12801 decisions 0.89/0.91 c nbDecision=13000 #constraints=2512 0.89/0.93 c nbDecision=13500 #constraints=2512 0.89/0.96 c nbDecision=14000 #constraints=2514 0.89/0.98 c nbDecision=14500 #constraints=2518 0.99/1.02 c nbDecision=15000 #constraints=2527 0.99/1.06 c nbDecision=15500 #constraints=2533 0.99/1.09 c nbDecision=16000 #constraints=2541 1.09/1.12 c nbDecision=16500 #constraints=2548 1.09/1.16 c nbDecision=17000 #constraints=2556 1.19/1.23 c nbDecision=17500 #constraints=2571 1.29/1.31 c nbDecision=18000 #constraints=2586 1.29/1.34 c nbDecision=18500 #constraints=2592 1.39/1.44 c nbDecision=19000 #constraints=2609 1.39/1.50 c nbDecision=19500 #constraints=2617 1.49/1.55 c nbDecision=20000 #constraints=2626 1.49/1.58 c nbDecision=20500 #constraints=2633 1.59/1.60 c nbDecision=21000 #constraints=2639 1.59/1.66 c nbDecision=21500 #constraints=2650 1.59/1.70 c nbDecision=22000 #constraints=2656 1.69/1.74 c nbDecision=22500 #constraints=2664 1.69/1.78 c nbDecision=23000 #constraints=2673 1.79/1.82 c nbDecision=23500 #constraints=2680 1.79/1.88 c nbDecision=24000 #constraints=2691 1.89/1.91 c nbDecision=24500 #constraints=2696 1.89/1.95 c nbDecision=25000 #constraints=2702 1.89/2.00 c nbDecision=25500 #constraints=2710 1.99/2.00 c restart after 25601 decisions 1.99/2.04 c nbDecision=26000 #constraints=2711 1.99/2.07 c nbDecision=26500 #constraints=2711 1.99/2.09 c nbDecision=27000 #constraints=2715 2.09/2.13 c nbDecision=27500 #constraints=2724 2.09/2.18 c nbDecision=28000 #constraints=2732 2.19/2.23 c nbDecision=28500 #constraints=2740 2.19/2.29 c nbDecision=29000 #constraints=2751 2.29/2.36 c nbDecision=29500 #constraints=2762 2.39/2.43 c nbDecision=30000 #constraints=2776 2.39/2.48 c nbDecision=30500 #constraints=2784 2.49/2.52 c nbDecision=31000 #constraints=2791 2.49/2.58 c nbDecision=31500 #constraints=2801 2.59/2.64 c nbDecision=32000 #constraints=2814 2.59/2.66 c nbDecision=32500 #constraints=2819 2.59/2.70 c nbDecision=33000 #constraints=2826 2.69/2.72 c nbDecision=33500 #constraints=2831 2.69/2.74 c nbDecision=34000 #constraints=2836 2.69/2.77 c nbDecision=34500 #constraints=2842 2.79/2.81 c nbDecision=35000 #constraints=2852 2.79/2.87 c nbDecision=35500 #constraints=2867 2.89/2.90 c nbDecision=36000 #constraints=2878 2.89/2.95 c nbDecision=36500 #constraints=2889 2.89/2.97 c nbDecision=37000 #constraints=2893 2.89/2.98 c nbDecision=37500 #constraints=2896 2.99/3.01 c nbDecision=38000 #constraints=2900 2.99/3.04 c nbDecision=38500 #constraints=2906 2.99/3.08 c nbDecision=39000 #constraints=2912 3.09/3.12 c nbDecision=39500 #constraints=2922 3.09/3.14 c nbDecision=40000 #constraints=2926 3.09/3.17 c nbDecision=40500 #constraints=2932 3.20/3.20 c nbDecision=41000 #constraints=2937 3.20/3.26 c nbDecision=41500 #constraints=2947 3.30/3.32 c nbDecision=42000 #constraints=2961 3.30/3.36 c nbDecision=42500 #constraints=2969 3.39/3.40 c nbDecision=43000 #constraints=2977 3.39/3.45 c nbDecision=43500 #constraints=2986 3.39/3.49 c nbDecision=44000 #constraints=2993 3.49/3.53 c nbDecision=44500 #constraints=3001 3.49/3.59 c nbDecision=45000 #constraints=3011 3.59/3.64 c nbDecision=45500 #constraints=3020 3.59/3.68 c nbDecision=46000 #constraints=3029 3.69/3.74 c nbDecision=46500 #constraints=3041 3.69/3.79 c nbDecision=47000 #constraints=3054 3.79/3.85 c nbDecision=47500 #constraints=3066 3.89/3.92 c nbDecision=48000 #constraints=3078 3.89/3.99 c nbDecision=48500 #constraints=3096 3.99/4.05 c nbDecision=49000 #constraints=3110 4.09/4.14 c nbDecision=49500 #constraints=3123 4.09/4.19 c nbDecision=50000 #constraints=3133 4.19/4.27 c nbDecision=50500 #constraints=3149 4.29/4.32 c nbDecision=51000 #constraints=3160 4.29/4.34 c restart after 51201 decisions 4.29/4.38 c nbDecision=51500 #constraints=3162 4.29/4.39 c nbDecision=52000 #constraints=3162 4.39/4.46 c nbDecision=52500 #constraints=3175 4.49/4.51 c nbDecision=53000 #constraints=3186 4.49/4.58 c nbDecision=53500 #constraints=3201 4.59/4.64 c nbDecision=54000 #constraints=3214 4.69/4.71 c nbDecision=54500 #constraints=3226 4.69/4.77 c nbDecision=55000 #constraints=3240 4.79/4.88 c nbDecision=55500 #constraints=3260 4.89/4.97 c nbDecision=56000 #constraints=3277 4.99/5.06 c nbDecision=56500 #constraints=3293 5.09/5.10 c nbDecision=57000 #constraints=3300 5.09/5.16 c nbDecision=57500 #constraints=3313 5.19/5.22 c nbDecision=58000 #constraints=3327 5.19/5.28 c nbDecision=58500 #constraints=3337 5.29/5.35 c nbDecision=59000 #constraints=3352 5.39/5.41 c nbDecision=59500 #constraints=3365 5.39/5.47 c nbDecision=60000 #constraints=3379 5.49/5.58 c nbDecision=60500 #constraints=3399 5.59/5.66 c nbDecision=61000 #constraints=3418 5.79/5.81 c nbDecision=61500 #constraints=3446 5.89/5.91 c nbDecision=62000 #constraints=3463 5.99/6.01 c nbDecision=62500 #constraints=3485 6.09/6.14 c nbDecision=63000 #constraints=3509 6.19/6.22 c nbDecision=63500 #constraints=3531 6.19/6.26 c nbDecision=64000 #constraints=3539 6.29/6.33 c nbDecision=64500 #constraints=3551 6.39/6.40 c nbDecision=65000 #constraints=3562 6.39/6.46 c nbDecision=65500 #constraints=3573 6.50/6.51 c nbDecision=66000 #constraints=3580 6.59/6.63 c nbDecision=66500 #constraints=3600 6.69/6.75 c nbDecision=67000 #constraints=3620 6.79/6.84 c nbDecision=67500 #constraints=3635 6.89/6.96 c nbDecision=68000 #constraints=3656 7.09/7.11 c nbDecision=68500 #constraints=3681 7.19/7.24 c nbDecision=69000 #constraints=3700 7.29/7.38 c nbDecision=69500 #constraints=3721 7.49/7.53 c nbDecision=70000 #constraints=3742 7.59/7.66 c nbDecision=70500 #constraints=3760 7.69/7.75 c nbDecision=71000 #constraints=3772 7.79/7.80 c nbDecision=71500 #constraints=3782 7.89/7.99 c nbDecision=72000 #constraints=3813 7.99/8.06 c nbDecision=72500 #constraints=3822 8.09/8.12 c nbDecision=73000 #constraints=3830 8.09/8.17 c nbDecision=73500 #constraints=3842 8.19/8.23 c nbDecision=74000 #constraints=3850 8.19/8.28 c nbDecision=74500 #constraints=3858 8.29/8.32 c nbDecision=75000 #constraints=3863 8.39/8.41 c nbDecision=75500 #constraints=3875 8.39/8.46 c nbDecision=76000 #constraints=3884 8.49/8.56 c nbDecision=76500 #constraints=3897 8.59/8.61 c nbDecision=77000 #constraints=3902 8.59/8.68 c nbDecision=77500 #constraints=3911 8.69/8.71 c nbDecision=78000 #constraints=3916 8.79/8.81 c nbDecision=78500 #constraints=3931 8.89/8.90 c nbDecision=79000 #constraints=3943 8.99/9.03 c nbDecision=79500 #constraints=3963 9.09/9.16 c nbDecision=80000 #constraints=3975 9.19/9.28 c nbDecision=80500 #constraints=3989 9.29/9.37 c nbDecision=81000 #constraints=4007 9.39/9.42 c nbDecision=81500 #constraints=4013 9.39/9.49 c nbDecision=82000 #constraints=4023 9.59/9.64 c nbDecision=82500 #constraints=4041 9.69/9.70 c nbDecision=83000 #constraints=4049 9.69/9.77 c nbDecision=83500 #constraints=4060 9.79/9.84 c nbDecision=84000 #constraints=4069 9.89/9.96 c nbDecision=84500 #constraints=4082 9.99/10.03 c nbDecision=85000 #constraints=4091 9.99/10.09 c nbDecision=85500 #constraints=4100 10.09/10.14 c nbDecision=86000 #constraints=4107 10.09/10.18 c nbDecision=86500 #constraints=4114 10.19/10.24 c nbDecision=87000 #constraints=4123 10.29/10.30 c nbDecision=87500 #constraints=4133 10.29/10.36 c nbDecision=88000 #constraints=4140 10.39/10.45 c nbDecision=88500 #constraints=4154 10.49/10.52 c nbDecision=89000 #constraints=4164 10.49/10.59 c nbDecision=89500 #constraints=4176 10.59/10.65 c nbDecision=90000 #constraints=4187 10.69/10.70 c nbDecision=90500 #constraints=4195 10.69/10.75 c nbDecision=91000 #constraints=4201 10.79/10.83 c nbDecision=91500 #constraints=4213 10.89/10.91 c nbDecision=92000 #constraints=4226 10.89/10.97 c nbDecision=92500 #constraints=4233 10.99/11.04 c nbDecision=93000 #constraints=4243 11.09/11.12 c nbDecision=93500 #constraints=4252 11.09/11.19 c nbDecision=94000 #constraints=4262 11.19/11.24 c nbDecision=94500 #constraints=4270 11.29/11.31 c nbDecision=95000 #constraints=4280 11.29/11.37 c nbDecision=95500 #constraints=4288 11.39/11.43 c nbDecision=96000 #constraints=4294 11.39/11.49 c nbDecision=96500 #constraints=4302 11.49/11.54 c nbDecision=97000 #constraints=4308 11.59/11.65 c nbDecision=97500 #constraints=4320 11.69/11.72 c nbDecision=98000 #constraints=4328 11.79/11.81 c nbDecision=98500 #constraints=4339 11.79/11.87 c nbDecision=99000 #constraints=4345 11.89/11.92 c nbDecision=99500 #constraints=4352 11.89/11.99 c nbDecision=100000 #constraints=4358 11.99/12.04 c nbDecision=100500 #constraints=4364 12.09/12.10 c nbDecision=101000 #constraints=4370 12.09/12.18 c nbDecision=101500 #constraints=4378 12.19/12.23 c nbDecision=102000 #constraints=4384 12.19/12.29 c restart after 102401 decisions 12.29/12.35 c nbDecision=102500 #constraints=4390 12.29/12.37 c nbDecision=103000 #constraints=4390 12.39/12.43 c nbDecision=103500 #constraints=4392 12.49/12.51 c nbDecision=104000 #constraints=4402 12.49/12.58 c nbDecision=104500 #constraints=4409 12.59/12.67 c nbDecision=105000 #constraints=4421 12.69/12.73 c nbDecision=105500 #constraints=4428 12.69/12.78 c nbDecision=106000 #constraints=4432 12.79/12.86 c nbDecision=106500 #constraints=4445 12.89/12.93 c nbDecision=107000 #constraints=4453 12.99/13.01 c nbDecision=107500 #constraints=4460 12.99/13.04 c nbDecision=108000 #constraints=4464 13.09/13.12 c nbDecision=108500 #constraints=4474 13.19/13.20 c nbDecision=109000 #constraints=4483 13.19/13.25 c nbDecision=109500 #constraints=4488 13.28/13.33 c nbDecision=110000 #constraints=4497 13.38/13.43 c nbDecision=110500 #constraints=4509 13.48/13.50 c nbDecision=111000 #constraints=4516 13.48/13.60 c nbDecision=111500 #constraints=4526 13.58/13.69 c nbDecision=112000 #constraints=4536 13.68/13.78 c nbDecision=112500 #constraints=4545 13.78/13.85 c nbDecision=113000 #constraints=4552 13.88/13.95 c nbDecision=113500 #constraints=4562 13.98/14.02 c nbDecision=114000 #constraints=4570 14.08/14.11 c nbDecision=114500 #constraints=4579 14.08/14.19 c nbDecision=115000 #constraints=4589 14.19/14.27 c nbDecision=115500 #constraints=4597 14.29/14.34 c nbDecision=116000 #constraints=4604 14.38/14.42 c nbDecision=116500 #constraints=4612 14.48/14.52 c nbDecision=117000 #constraints=4621 14.58/14.63 c nbDecision=117500 #constraints=4634 14.68/14.71 c nbDecision=118000 #constraints=4642 14.68/14.77 c nbDecision=118500 #constraints=4648 14.78/14.84 c nbDecision=119000 #constraints=4654 14.88/14.94 c nbDecision=119500 #constraints=4665 14.88/14.99 c nbDecision=120000 #constraints=4670 14.98/15.08 c nbDecision=120500 #constraints=4679 15.18/15.24 c nbDecision=121000 #constraints=4699 15.29/15.32 c nbDecision=121500 #constraints=4706 15.29/15.37 c nbDecision=122000 #constraints=4710 15.39/15.45 c nbDecision=122500 #constraints=4717 15.48/15.51 c nbDecision=123000 #constraints=4723 15.48/15.58 c nbDecision=123500 #constraints=4729 15.58/15.67 c nbDecision=124000 #constraints=4737 15.68/15.78 c nbDecision=124500 #constraints=4748 15.78/15.85 c nbDecision=125000 #constraints=4755 15.88/15.91 c nbDecision=125500 #constraints=4761 15.98/16.00 c nbDecision=126000 #constraints=4771 15.98/16.08 c nbDecision=126500 #constraints=4778 16.08/16.19 c nbDecision=127000 #constraints=4790 16.18/16.27 c nbDecision=127500 #constraints=4798 16.28/16.34 c nbDecision=128000 #constraints=4804 16.39/16.41 c nbDecision=128500 #constraints=4812 16.49/16.51 c nbDecision=129000 #constraints=4822 16.58/16.66 c nbDecision=129500 #constraints=4842 16.68/16.78 c nbDecision=130000 #constraints=4855 16.88/16.91 c nbDecision=130500 #constraints=4868 16.98/17.03 c nbDecision=131000 #constraints=4880 17.08/17.10 c nbDecision=131500 #constraints=4887 17.18/17.26 c nbDecision=132000 #constraints=4904 17.38/17.44 c nbDecision=132500 #constraints=4925 17.49/17.52 c nbDecision=133000 #constraints=4934 17.59/17.69 c nbDecision=133500 #constraints=4953 17.88/17.92 c nbDecision=134000 #constraints=4977 17.98/18.07 c nbDecision=134500 #constraints=4988 18.38/18.41 c nbDecision=135000 #constraints=5018 18.88/18.99 c nbDecision=135500 #constraints=5069 19.18/19.20 c nbDecision=136000 #constraints=5092 19.69/19.74 c nbDecision=136500 #constraints=5139 19.88/19.92 c nbDecision=137000 #constraints=5158 20.08/20.15 c nbDecision=137500 #constraints=5182 20.18/20.23 c nbDecision=138000 #constraints=5190 20.28/20.34 c nbDecision=138500 #constraints=5200 20.38/20.45 c nbDecision=139000 #constraints=5212 20.58/20.63 c nbDecision=139500 #constraints=5227 20.68/20.70 c nbDecision=140000 #constraints=5234 20.78/20.84 c nbDecision=140500 #constraints=5248 20.88/20.94 c nbDecision=141000 #constraints=5256 20.98/21.08 c nbDecision=141500 #constraints=5272 21.08/21.20 c nbDecision=142000 #constraints=5282 21.28/21.39 c nbDecision=142500 #constraints=5301 21.38/21.48 c nbDecision=143000 #constraints=5313 21.48/21.54 c nbDecision=143500 #constraints=5318 21.68/21.79 c nbDecision=144000 #constraints=5349 21.88/21.97 c nbDecision=144500 #constraints=5370 22.08/22.16 c nbDecision=145000 #constraints=5391 22.28/22.30 c nbDecision=145500 #constraints=5407 22.38/22.43 c nbDecision=146000 #constraints=5424 22.48/22.57 c nbDecision=146500 #constraints=5439 22.68/22.78 c nbDecision=147000 #constraints=5462 22.99/23.06 c nbDecision=147500 #constraints=5495 23.09/23.18 c nbDecision=148000 #constraints=5507 23.39/23.41 c nbDecision=148500 #constraints=5530 23.39/23.48 c nbDecision=149000 #constraints=5539 23.49/23.56 c nbDecision=149500 #constraints=5550 23.59/23.66 c nbDecision=150000 #constraints=5561 23.79/23.85 c nbDecision=150500 #constraints=5581 24.09/24.17 c nbDecision=151000 #constraints=5612 24.19/24.27 c nbDecision=151500 #constraints=5624 24.29/24.34 c nbDecision=152000 #constraints=5635 24.39/24.44 c nbDecision=152500 #constraints=5650 24.49/24.53 c nbDecision=153000 #constraints=5662 24.69/24.74 c nbDecision=153500 #constraints=5683 24.79/24.83 c nbDecision=154000 #constraints=5693 25.09/25.13 c nbDecision=154500 #constraints=5726 25.29/25.34 c nbDecision=155000 #constraints=5743 25.39/25.49 c nbDecision=155500 #constraints=5754 25.59/25.68 c nbDecision=156000 #constraints=5770 25.79/25.87 c nbDecision=156500 #constraints=5790 25.99/26.06 c nbDecision=157000 #constraints=5806 26.19/26.21 c nbDecision=157500 #constraints=5818 26.29/26.33 c nbDecision=158000 #constraints=5832 26.39/26.46 c nbDecision=158500 #constraints=5846 26.68/26.72 c nbDecision=159000 #constraints=5869 26.88/26.96 c nbDecision=159500 #constraints=5888 27.08/27.10 c nbDecision=160000 #constraints=5900 27.28/27.34 c nbDecision=160500 #constraints=5920 27.49/27.54 c nbDecision=161000 #constraints=5935 27.78/27.87 c nbDecision=161500 #constraints=5965 27.98/28.04 c nbDecision=162000 #constraints=5978 28.18/28.28 c nbDecision=162500 #constraints=5998 28.49/28.51 c nbDecision=163000 #constraints=6017 28.68/28.78 c nbDecision=163500 #constraints=6038 28.88/28.94 c nbDecision=164000 #constraints=6052 29.18/29.23 c nbDecision=164500 #constraints=6075 29.38/29.40 c nbDecision=165000 #constraints=6089 29.59/29.64 c nbDecision=165500 #constraints=6108 29.78/29.90 c nbDecision=166000 #constraints=6128 29.98/30.08 c nbDecision=166500 #constraints=6144 30.28/30.33 c nbDecision=167000 #constraints=6164 30.48/30.53 c nbDecision=167500 #constraints=6179 30.69/30.71 c nbDecision=168000 #constraints=6194 30.88/30.95 c nbDecision=168500 #constraints=6213 31.08/31.15 c nbDecision=169000 #constraints=6231 31.28/31.37 c nbDecision=169500 #constraints=6253 31.48/31.52 c nbDecision=170000 #constraints=6268 31.58/31.69 c nbDecision=170500 #constraints=6287 31.79/31.86 c nbDecision=171000 #constraints=6303 31.98/32.05 c nbDecision=171500 #constraints=6319 32.18/32.20 c nbDecision=172000 #constraints=6335 32.38/32.41 c nbDecision=172500 #constraints=6355 32.48/32.54 c nbDecision=173000 #constraints=6367 32.58/32.63 c nbDecision=173500 #constraints=6374 32.68/32.71 c nbDecision=174000 #constraints=6381 32.78/32.81 c nbDecision=174500 #constraints=6388 32.89/32.92 c nbDecision=175000 #constraints=6397 32.99/33.01 c nbDecision=175500 #constraints=6404 32.99/33.09 c nbDecision=176000 #constraints=6410 33.18/33.21 c nbDecision=176500 #constraints=6420 33.28/33.32 c nbDecision=177000 #constraints=6429 33.38/33.42 c nbDecision=177500 #constraints=6436 33.48/33.53 c nbDecision=178000 #constraints=6444 33.58/33.65 c nbDecision=178500 #constraints=6453 33.68/33.77 c nbDecision=179000 #constraints=6462 33.78/33.88 c nbDecision=179500 #constraints=6470 33.99/34.01 c nbDecision=180000 #constraints=6481 34.18/34.26 c nbDecision=180500 #constraints=6504 34.28/34.35 c nbDecision=181000 #constraints=6510 34.38/34.49 c nbDecision=181500 #constraints=6520 34.58/34.62 c nbDecision=182000 #constraints=6530 34.68/34.73 c nbDecision=182500 #constraints=6538 34.78/34.89 c nbDecision=183000 #constraints=6550 34.98/35.01 c nbDecision=183500 #constraints=6558 35.09/35.13 c nbDecision=184000 #constraints=6568 35.19/35.26 c nbDecision=184500 #constraints=6576 35.38/35.43 c nbDecision=185000 #constraints=6589 35.58/35.65 c nbDecision=185500 #constraints=6607 35.88/35.90 c nbDecision=186000 #constraints=6626 36.08/36.19 c nbDecision=186500 #constraints=6648 36.38/36.41 c nbDecision=187000 #constraints=6663 36.58/36.66 c nbDecision=187500 #constraints=6682 36.78/36.85 c nbDecision=188000 #constraints=6696 36.98/37.05 c nbDecision=188500 #constraints=6710 37.28/37.32 c nbDecision=189000 #constraints=6732 37.48/37.50 c nbDecision=189500 #constraints=6748 37.58/37.65 c nbDecision=190000 #constraints=6760 37.68/37.79 c nbDecision=190500 #constraints=6773 37.88/37.99 c nbDecision=191000 #constraints=6794 38.08/38.14 c nbDecision=191500 #constraints=6811 38.18/38.26 c nbDecision=192000 #constraints=6824 38.38/38.42 c nbDecision=192500 #constraints=6837 38.48/38.55 c nbDecision=193000 #constraints=6850 38.68/38.71 c nbDecision=193500 #constraints=6862 38.78/38.82 c nbDecision=194000 #constraints=6870 38.88/38.96 c nbDecision=194500 #constraints=6878 39.08/39.15 c nbDecision=195000 #constraints=6893 39.28/39.30 c nbDecision=195500 #constraints=6904 39.38/39.42 c nbDecision=196000 #constraints=6913 39.58/39.61 c nbDecision=196500 #constraints=6928 39.68/39.75 c nbDecision=197000 #constraints=6938 39.88/39.95 c nbDecision=197500 #constraints=6954 40.08/40.10 c nbDecision=198000 #constraints=6965 40.18/40.24 c nbDecision=198500 #constraints=6975 40.28/40.38 c nbDecision=199000 #constraints=6985 40.48/40.54 c nbDecision=199500 #constraints=7003 40.58/40.68 c nbDecision=200000 #constraints=7014 40.78/40.85 c nbDecision=200500 #constraints=7030 40.88/40.99 c nbDecision=201000 #constraints=7039 41.18/41.22 c nbDecision=201500 #constraints=7056 41.38/41.46 c nbDecision=202000 #constraints=7075 41.58/41.65 c nbDecision=202500 #constraints=7088 41.78/41.81 c nbDecision=203000 #constraints=7097 41.88/41.94 c nbDecision=203500 #constraints=7106 41.98/42.03 c nbDecision=204000 #constraints=7112 42.18/42.26 c nbDecision=204500 #constraints=7129 42.48/42.54 c restart after 204801 decisions 42.58/42.69 c nbDecision=205000 #constraints=7146 42.68/42.71 c nbDecision=205500 #constraints=7146 42.78/42.88 c nbDecision=206000 #constraints=7152 42.88/42.96 c nbDecision=206500 #constraints=7157 43.08/43.12 c nbDecision=207000 #constraints=7168 43.18/43.26 c nbDecision=207500 #constraints=7176 43.38/43.42 c nbDecision=208000 #constraints=7186 43.48/43.58 c nbDecision=208500 #constraints=7197 43.68/43.73 c nbDecision=209000 #constraints=7207 43.88/43.92 c nbDecision=209500 #constraints=7221 44.08/44.11 c nbDecision=210000 #constraints=7234 44.18/44.26 c nbDecision=210500 #constraints=7243 44.38/44.45 c nbDecision=211000 #constraints=7255 44.58/44.60 c nbDecision=211500 #constraints=7265 44.78/44.81 c nbDecision=212000 #constraints=7281 44.88/44.94 c nbDecision=212500 #constraints=7289 45.09/45.15 c nbDecision=213000 #constraints=7306 45.18/45.29 c nbDecision=213500 #constraints=7315 45.38/45.43 c nbDecision=214000 #constraints=7325 45.48/45.59 c nbDecision=214500 #constraints=7336 45.68/45.76 c nbDecision=215000 #constraints=7346 45.88/45.94 c nbDecision=215500 #constraints=7360 45.98/46.04 c nbDecision=216000 #constraints=7365 46.09/46.16 c nbDecision=216500 #constraints=7374 46.19/46.27 c nbDecision=217000 #constraints=7383 46.38/46.41 c nbDecision=217500 #constraints=7393 46.48/46.55 c nbDecision=218000 #constraints=7403 46.68/46.75 c nbDecision=218500 #constraints=7417 46.88/46.91 c nbDecision=219000 #constraints=7427 46.98/47.06 c nbDecision=219500 #constraints=7437 47.08/47.19 c nbDecision=220000 #constraints=7445 47.29/47.33 c nbDecision=220500 #constraints=7453 47.38/47.45 c nbDecision=221000 #constraints=7460 47.48/47.59 c nbDecision=221500 #constraints=7469 47.68/47.74 c nbDecision=222000 #constraints=7478 47.88/47.91 c nbDecision=222500 #constraints=7489 47.98/48.03 c nbDecision=223000 #constraints=7496 48.08/48.13 c nbDecision=223500 #constraints=7504 48.18/48.21 c nbDecision=224000 #constraints=7510 48.18/48.29 c nbDecision=224500 #constraints=7516 48.39/48.41 c nbDecision=225000 #constraints=7525 48.58/48.60 c nbDecision=225500 #constraints=7543 48.68/48.75 c nbDecision=226000 #constraints=7555 48.78/48.86 c nbDecision=226500 #constraints=7563 48.88/48.99 c nbDecision=227000 #constraints=7571 49.08/49.13 c nbDecision=227500 #constraints=7581 49.18/49.27 c nbDecision=228000 #constraints=7591 49.39/49.42 c nbDecision=228500 #constraints=7603 49.58/49.63 c nbDecision=229000 #constraints=7621 49.68/49.76 c nbDecision=229500 #constraints=7630 49.88/49.97 c nbDecision=230000 #constraints=7645 50.08/50.12 c nbDecision=230500 #constraints=7655 50.28/50.32 c nbDecision=231000 #constraints=7670 50.38/50.46 c nbDecision=231500 #constraints=7681 50.58/50.61 c nbDecision=232000 #constraints=7694 50.68/50.75 c nbDecision=232500 #constraints=7703 50.88/50.95 c nbDecision=233000 #constraints=7717 50.98/51.10 c nbDecision=233500 #constraints=7727 51.18/51.26 c nbDecision=234000 #constraints=7737 51.38/51.40 c nbDecision=234500 #constraints=7747 51.48/51.60 c nbDecision=235000 #constraints=7760 51.68/51.71 c nbDecision=235500 #constraints=7766 51.88/51.90 c nbDecision=236000 #constraints=7779 51.98/52.05 c nbDecision=236500 #constraints=7789 52.08/52.19 c nbDecision=237000 #constraints=7798 52.28/52.36 c nbDecision=237500 #constraints=7811 52.48/52.51 c nbDecision=238000 #constraints=7820 52.68/52.70 c nbDecision=238500 #constraints=7834 52.78/52.86 c nbDecision=239000 #constraints=7843 52.98/53.00 c nbDecision=239500 #constraints=7852 53.08/53.16 c nbDecision=240000 #constraints=7862 53.28/53.33 c nbDecision=240500 #constraints=7874 53.38/53.48 c nbDecision=241000 #constraints=7883 53.58/53.64 c nbDecision=241500 #constraints=7897 53.78/53.84 c nbDecision=242000 #constraints=7912 53.88/53.98 c nbDecision=242500 #constraints=7921 54.08/54.12 c nbDecision=243000 #constraints=7929 54.18/54.26 c nbDecision=243500 #constraints=7940 54.38/54.42 c nbDecision=244000 #constraints=7951 54.48/54.56 c nbDecision=244500 #constraints=7958 54.68/54.73 c nbDecision=245000 #constraints=7969 54.78/54.85 c nbDecision=245500 #constraints=7976 54.98/55.02 c nbDecision=246000 #constraints=7986 55.17/55.22 c nbDecision=246500 #constraints=7997 55.37/55.40 c nbDecision=247000 #constraints=8011 55.47/55.52 c nbDecision=247500 #constraints=8018 55.57/55.69 c nbDecision=248000 #constraints=8029 55.77/55.81 c nbDecision=248500 #constraints=8037 55.87/55.98 c nbDecision=249000 #constraints=8049 56.08/56.12 c nbDecision=249500 #constraints=8059 56.17/56.25 c nbDecision=250000 #constraints=8068 56.27/56.39 c nbDecision=250500 #constraints=8079 56.47/56.56 c nbDecision=251000 #constraints=8092 56.67/56.71 c nbDecision=251500 #constraints=8103 56.77/56.86 c nbDecision=252000 #constraints=8111 56.87/57.00 c nbDecision=252500 #constraints=8118 57.08/57.17 c nbDecision=253000 #constraints=8130 57.27/57.34 c nbDecision=253500 #constraints=8142 57.47/57.50 c nbDecision=254000 #constraints=8151 57.57/57.62 c nbDecision=254500 #constraints=8158 57.77/57.80 c nbDecision=255000 #constraints=8171 57.97/58.00 c nbDecision=255500 #constraints=8185 58.18/58.27 c nbDecision=256000 #constraints=8202 58.47/58.54 c nbDecision=256500 #constraints=8221 58.67/58.76 c nbDecision=257000 #constraints=8234 58.97/59.06 c nbDecision=257500 #constraints=8251 59.28/59.35 c nbDecision=258000 #constraints=8266 59.57/59.61 c nbDecision=258500 #constraints=8280 59.77/59.85 c nbDecision=259000 #constraints=8292 59.97/60.07 c nbDecision=259500 #constraints=8303 60.27/60.33 c nbDecision=260000 #constraints=8316 60.48/60.59 c nbDecision=260500 #constraints=8330 60.67/60.72 c nbDecision=261000 #constraints=8338 60.77/60.89 c nbDecision=261500 #constraints=8347 61.07/61.15 c nbDecision=262000 #constraints=8367 61.27/61.38 c nbDecision=262500 #constraints=8381 61.67/61.73 c nbDecision=263000 #constraints=8405 61.87/61.97 c nbDecision=263500 #constraints=8420 62.17/62.26 c nbDecision=264000 #constraints=8436 62.47/62.51 c nbDecision=264500 #constraints=8452 62.67/62.75 c nbDecision=265000 #constraints=8464 63.07/63.16 c nbDecision=265500 #constraints=8486 63.47/63.53 c nbDecision=266000 #constraints=8508 63.77/63.86 c nbDecision=266500 #constraints=8530 64.17/64.27 c nbDecision=267000 #constraints=8557 64.47/64.58 c nbDecision=267500 #constraints=8574 64.87/64.94 c nbDecision=268000 #constraints=8594 65.27/65.33 c nbDecision=268500 #constraints=8615 65.58/65.66 c nbDecision=269000 #constraints=8633 65.98/66.02 c nbDecision=269500 #constraints=8647 66.18/66.26 c nbDecision=270000 #constraints=8660 66.38/66.50 c nbDecision=270500 #constraints=8678 66.68/66.77 c nbDecision=271000 #constraints=8696 66.98/67.01 c nbDecision=271500 #constraints=8709 67.18/67.22 c nbDecision=272000 #constraints=8720 67.38/67.46 c nbDecision=272500 #constraints=8731 67.68/67.76 c nbDecision=273000 #constraints=8745 67.98/68.02 c nbDecision=273500 #constraints=8758 68.28/68.34 c nbDecision=274000 #constraints=8775 68.58/68.66 c nbDecision=274500 #constraints=8790 68.98/69.07 c nbDecision=275000 #constraints=8809 69.48/69.52 c nbDecision=275500 #constraints=8830 69.68/69.74 c nbDecision=276000 #constraints=8843 69.88/69.91 c nbDecision=276500 #constraints=8853 70.08/70.14 c nbDecision=277000 #constraints=8867 70.18/70.29 c nbDecision=277500 #constraints=8878 70.48/70.51 c nbDecision=278000 #constraints=8890 70.68/70.75 c nbDecision=278500 #constraints=8903 70.88/70.99 c nbDecision=279000 #constraints=8922 71.08/71.19 c nbDecision=279500 #constraints=8934 71.28/71.36 c nbDecision=280000 #constraints=8945 71.48/71.58 c nbDecision=280500 #constraints=8960 71.68/71.78 c nbDecision=281000 #constraints=8971 71.98/72.06 c nbDecision=281500 #constraints=8989 72.28/72.32 c nbDecision=282000 #constraints=9005 72.38/72.50 c nbDecision=282500 #constraints=9016 72.58/72.69 c nbDecision=283000 #constraints=9029 72.77/72.85 c nbDecision=283500 #constraints=9039 72.97/73.02 c nbDecision=284000 #constraints=9049 73.07/73.17 c nbDecision=284500 #constraints=9059 73.27/73.36 c nbDecision=285000 #constraints=9070 73.58/73.63 c nbDecision=285500 #constraints=9087 73.77/73.85 c nbDecision=286000 #constraints=9105 73.87/73.98 c nbDecision=286500 #constraints=9116 74.17/74.22 c nbDecision=287000 #constraints=9130 74.37/74.40 c nbDecision=287500 #constraints=9145 74.57/74.63 c nbDecision=288000 #constraints=9161 74.78/74.86 c nbDecision=288500 #constraints=9176 75.07/75.14 c nbDecision=289000 #constraints=9195 75.37/75.42 c nbDecision=289500 #constraints=9212 75.67/75.72 c nbDecision=290000 #constraints=9232 76.07/76.15 c nbDecision=290500 #constraints=9259 76.47/76.54 c nbDecision=291000 #constraints=9281 76.97/77.04 c nbDecision=291500 #constraints=9312 77.27/77.39 c nbDecision=292000 #constraints=9336 77.57/77.64 c nbDecision=292500 #constraints=9352 77.97/78.01 c nbDecision=293000 #constraints=9370 78.27/78.35 c nbDecision=293500 #constraints=9389 78.47/78.59 c nbDecision=294000 #constraints=9401 78.67/78.77 c nbDecision=294500 #constraints=9412 78.87/78.91 c nbDecision=295000 #constraints=9419 78.97/79.09 c nbDecision=295500 #constraints=9428 79.17/79.27 c nbDecision=296000 #constraints=9439 79.37/79.46 c nbDecision=296500 #constraints=9453 79.47/79.58 c nbDecision=297000 #constraints=9459 79.67/79.76 c nbDecision=297500 #constraints=9467 79.87/79.93 c nbDecision=298000 #constraints=9478 80.07/80.11 c nbDecision=298500 #constraints=9487 80.27/80.32 c nbDecision=299000 #constraints=9497 80.47/80.53 c nbDecision=299500 #constraints=9509 80.77/80.80 c nbDecision=300000 #constraints=9523 80.97/81.08 c nbDecision=300500 #constraints=9536 81.27/81.31 c nbDecision=301000 #constraints=9545 81.47/81.57 c nbDecision=301500 #constraints=9558 81.67/81.79 c nbDecision=302000 #constraints=9568 81.97/82.01 c nbDecision=302500 #constraints=9579 82.17/82.21 c nbDecision=303000 #constraints=9592 82.37/82.47 c nbDecision=303500 #constraints=9609 82.67/82.71 c nbDecision=304000 #constraints=9623 82.77/82.89 c nbDecision=304500 #constraints=9633 83.07/83.13 c nbDecision=305000 #constraints=9645 83.27/83.34 c nbDecision=305500 #constraints=9660 83.47/83.51 c nbDecision=306000 #constraints=9670 83.57/83.69 c nbDecision=306500 #constraints=9682 83.87/83.95 c nbDecision=307000 #constraints=9696 84.17/84.28 c nbDecision=307500 #constraints=9711 84.47/84.52 c nbDecision=308000 #constraints=9725 84.67/84.73 c nbDecision=308500 #constraints=9736 84.86/84.90 c nbDecision=309000 #constraints=9749 85.07/85.10 c nbDecision=309500 #constraints=9764 85.17/85.27 c nbDecision=310000 #constraints=9774 85.37/85.48 c nbDecision=310500 #constraints=9791 85.68/85.80 c nbDecision=311000 #constraints=9820 85.87/85.99 c nbDecision=311500 #constraints=9831 86.07/86.12 c nbDecision=312000 #constraints=9841 86.27/86.31 c nbDecision=312500 #constraints=9853 86.47/86.52 c nbDecision=313000 #constraints=9868 86.67/86.75 c nbDecision=313500 #constraints=9883 86.97/87.05 c nbDecision=314000 #constraints=9905 87.27/87.37 c nbDecision=314500 #constraints=9926 87.67/87.79 c nbDecision=315000 #constraints=9953 88.17/88.21 c nbDecision=315500 #constraints=9980 88.57/88.61 c nbDecision=316000 #constraints=10010 88.77/88.81 c nbDecision=316500 #constraints=10023 88.98/89.09 c nbDecision=317000 #constraints=10040 89.27/89.35 c nbDecision=317500 #constraints=10053 89.57/89.66 c nbDecision=318000 #constraints=10071 89.87/89.95 c nbDecision=318500 #constraints=10086 90.08/90.18 c nbDecision=319000 #constraints=10097 90.27/90.31 c nbDecision=319500 #constraints=10104 90.47/90.57 c nbDecision=320000 #constraints=10120 90.77/90.86 c nbDecision=320500 #constraints=10136 90.97/91.08 c nbDecision=321000 #constraints=10149 91.37/91.42 c nbDecision=321500 #constraints=10168 91.67/91.73 c nbDecision=322000 #constraints=10184 91.97/92.01 c nbDecision=322500 #constraints=10199 92.07/92.16 c nbDecision=323000 #constraints=10207 92.27/92.38 c nbDecision=323500 #constraints=10220 92.67/92.73 c nbDecision=324000 #constraints=10240 92.87/92.99 c nbDecision=324500 #constraints=10254 93.07/93.18 c nbDecision=325000 #constraints=10266 93.27/93.37 c nbDecision=325500 #constraints=10277 93.47/93.55 c nbDecision=326000 #constraints=10288 93.67/93.77 c nbDecision=326500 #constraints=10302 93.87/93.96 c nbDecision=327000 #constraints=10315 94.07/94.18 c nbDecision=327500 #constraints=10329 94.47/94.51 c nbDecision=328000 #constraints=10347 94.77/94.84 c nbDecision=328500 #constraints=10366 95.07/95.12 c nbDecision=329000 #constraints=10381 95.27/95.36 c nbDecision=329500 #constraints=10394 95.57/95.69 c nbDecision=330000 #constraints=10412 95.87/95.92 c nbDecision=330500 #constraints=10423 96.17/96.20 c nbDecision=331000 #constraints=10438 96.47/96.56 c nbDecision=331500 #constraints=10458 96.77/96.86 c nbDecision=332000 #constraints=10474 96.97/97.07 c nbDecision=332500 #constraints=10485 97.26/97.32 c nbDecision=333000 #constraints=10497 97.46/97.55 c nbDecision=333500 #constraints=10511 97.66/97.72 c nbDecision=334000 #constraints=10519 97.77/97.89 c nbDecision=334500 #constraints=10529 98.06/98.14 c nbDecision=335000 #constraints=10545 98.26/98.38 c nbDecision=335500 #constraints=10560 98.56/98.62 c nbDecision=336000 #constraints=10574 98.76/98.90 c nbDecision=336500 #constraints=10588 99.26/99.31 c nbDecision=337000 #constraints=10610 99.66/99.71 c nbDecision=337500 #constraints=10631 99.86/99.95 c nbDecision=338000 #constraints=10644 100.07/100.12 c nbDecision=338500 #constraints=10653 100.26/100.32 c nbDecision=339000 #constraints=10665 100.56/100.68 c nbDecision=339500 #constraints=10683 100.76/100.86 c nbDecision=340000 #constraints=10692 100.96/101.08 c nbDecision=340500 #constraints=10704 101.26/101.30 c nbDecision=341000 #constraints=10717 101.66/101.78 c nbDecision=341500 #constraints=10739 102.17/102.24 c nbDecision=342000 #constraints=10760 102.46/102.55 c nbDecision=342500 #constraints=10773 102.76/102.86 c nbDecision=343000 #constraints=10787 103.06/103.19 c nbDecision=343500 #constraints=10802 103.37/103.47 c nbDecision=344000 #constraints=10816 103.66/103.75 c nbDecision=344500 #constraints=10829 103.96/104.02 c nbDecision=345000 #constraints=10844 104.36/104.42 c nbDecision=345500 #constraints=10867 104.86/104.91 c nbDecision=346000 #constraints=10891 105.26/105.35 c nbDecision=346500 #constraints=10911 105.86/105.93 c nbDecision=347000 #constraints=10936 106.36/106.42 c nbDecision=347500 #constraints=10956 106.76/106.87 c nbDecision=348000 #constraints=10975 107.27/107.30 c nbDecision=348500 #constraints=10994 107.67/107.73 c nbDecision=349000 #constraints=11012 108.27/108.33 c nbDecision=349500 #constraints=11038 108.67/108.70 c nbDecision=350000 #constraints=11055 108.97/109.06 c nbDecision=350500 #constraints=11072 109.57/109.69 c nbDecision=351000 #constraints=11102 109.97/110.08 c nbDecision=351500 #constraints=11119 110.47/110.59 c nbDecision=352000 #constraints=11142 111.16/111.27 c nbDecision=352500 #constraints=11172 111.96/112.10 c nbDecision=353000 #constraints=11207 112.46/112.56 c nbDecision=353500 #constraints=11226 113.06/113.16 c nbDecision=354000 #constraints=11250 113.86/113.94 c nbDecision=354500 #constraints=11284 114.66/114.76 c nbDecision=355000 #constraints=11319 115.56/115.67 c nbDecision=355500 #constraints=11357 116.16/116.22 c nbDecision=356000 #constraints=11380 116.76/116.83 c nbDecision=356500 #constraints=11406 117.46/117.59 c nbDecision=357000 #constraints=11437 118.16/118.28 c nbDecision=357500 #constraints=11464 118.66/118.72 c nbDecision=358000 #constraints=11482 119.16/119.21 c nbDecision=358500 #constraints=11503 119.76/119.82 c nbDecision=359000 #constraints=11529 120.26/120.36 c nbDecision=359500 #constraints=11552 120.46/120.54 c nbDecision=360000 #constraints=11562 120.56/120.69 c nbDecision=360500 #constraints=11569 120.76/120.87 c nbDecision=361000 #constraints=11577 120.96/121.04 c nbDecision=361500 #constraints=11586 121.06/121.20 c nbDecision=362000 #constraints=11595 121.36/121.45 c nbDecision=362500 #constraints=11610 121.56/121.66 c nbDecision=363000 #constraints=11623 121.96/122.03 c nbDecision=363500 #constraints=11640 122.26/122.31 c nbDecision=364000 #constraints=11655 122.46/122.54 c nbDecision=364500 #constraints=11667 122.66/122.72 c nbDecision=365000 #constraints=11676 122.86/122.97 c nbDecision=365500 #constraints=11690 123.16/123.25 c nbDecision=366000 #constraints=11706 123.46/123.56 c nbDecision=366500 #constraints=11723 123.76/123.82 c nbDecision=367000 #constraints=11739 123.96/124.05 c nbDecision=367500 #constraints=11751 124.27/124.33 c nbDecision=368000 #constraints=11767 124.36/124.49 c nbDecision=368500 #constraints=11773 124.56/124.69 c nbDecision=369000 #constraints=11782 125.06/125.18 c nbDecision=369500 #constraints=11803 125.76/125.82 c nbDecision=370000 #constraints=11827 126.26/126.40 c nbDecision=370500 #constraints=11850 126.76/126.83 c nbDecision=371000 #constraints=11871 127.06/127.18 c nbDecision=371500 #constraints=11886 127.36/127.43 c nbDecision=372000 #constraints=11899 127.66/127.76 c nbDecision=372500 #constraints=11914 128.16/128.20 c nbDecision=373000 #constraints=11935 128.46/128.52 c nbDecision=373500 #constraints=11953 128.67/128.75 c nbDecision=374000 #constraints=11965 128.86/128.94 c nbDecision=374500 #constraints=11976 129.06/129.14 c nbDecision=375000 #constraints=11986 129.56/129.60 c nbDecision=375500 #constraints=12004 130.56/130.65 c nbDecision=376000 #constraints=12044 131.36/131.42 c nbDecision=376500 #constraints=12072 132.16/132.22 c nbDecision=377000 #constraints=12100 132.86/132.95 c nbDecision=377500 #constraints=12125 133.16/133.25 c nbDecision=378000 #constraints=12139 133.36/133.49 c nbDecision=378500 #constraints=12150 133.76/133.89 c nbDecision=379000 #constraints=12171 134.26/134.32 c nbDecision=379500 #constraints=12190 134.56/134.68 c nbDecision=380000 #constraints=12208 135.06/135.14 c nbDecision=380500 #constraints=12230 135.46/135.54 c nbDecision=381000 #constraints=12247 135.76/135.82 c nbDecision=381500 #constraints=12261 135.96/136.07 c nbDecision=382000 #constraints=12276 136.26/136.39 c nbDecision=382500 #constraints=12293 136.66/136.73 c nbDecision=383000 #constraints=12311 136.86/136.93 c nbDecision=383500 #constraints=12322 137.06/137.19 c nbDecision=384000 #constraints=12337 137.36/137.41 c nbDecision=384500 #constraints=12347 137.46/137.56 c nbDecision=385000 #constraints=12356 137.75/137.85 c nbDecision=385500 #constraints=12370 138.05/138.12 c nbDecision=386000 #constraints=12383 138.46/138.58 c nbDecision=386500 #constraints=12403 138.85/138.92 c nbDecision=387000 #constraints=12418 139.15/139.25 c nbDecision=387500 #constraints=12432 139.45/139.56 c nbDecision=388000 #constraints=12448 139.85/139.91 c nbDecision=388500 #constraints=12463 139.95/140.07 c nbDecision=389000 #constraints=12471 140.15/140.29 c nbDecision=389500 #constraints=12483 140.35/140.47 c nbDecision=390000 #constraints=12497 140.76/140.82 c nbDecision=390500 #constraints=12512 141.15/141.28 c nbDecision=391000 #constraints=12531 141.55/141.69 c nbDecision=391500 #constraints=12549 142.05/142.12 c nbDecision=392000 #constraints=12568 142.45/142.55 c nbDecision=392500 #constraints=12584 142.86/142.99 c nbDecision=393000 #constraints=12610 143.05/143.17 c nbDecision=393500 #constraints=12620 143.25/143.37 c nbDecision=394000 #constraints=12632 143.45/143.54 c nbDecision=394500 #constraints=12642 143.85/143.95 c nbDecision=395000 #constraints=12662 144.25/144.36 c nbDecision=395500 #constraints=12677 144.85/144.97 c nbDecision=396000 #constraints=12704 145.15/145.26 c nbDecision=396500 #constraints=12720 145.45/145.58 c nbDecision=397000 #constraints=12736 145.75/145.85 c nbDecision=397500 #constraints=12748 146.05/146.20 c nbDecision=398000 #constraints=12768 146.45/146.53 c nbDecision=398500 #constraints=12786 146.75/146.86 c nbDecision=399000 #constraints=12803 147.15/147.21 c nbDecision=399500 #constraints=12820 147.65/147.71 c nbDecision=400000 #constraints=12846 148.25/148.35 c nbDecision=400500 #constraints=12877 148.85/148.93 c nbDecision=401000 #constraints=12904 149.05/149.17 c nbDecision=401500 #constraints=12916 149.35/149.49 c nbDecision=402000 #constraints=12931 149.95/150.00 c nbDecision=402500 #constraints=12953 150.45/150.54 c nbDecision=403000 #constraints=12977 150.85/150.91 c nbDecision=403500 #constraints=12994 151.25/151.31 c nbDecision=404000 #constraints=13017 151.55/151.69 c nbDecision=404500 #constraints=13035 152.15/152.23 c nbDecision=405000 #constraints=13067 152.65/152.76 c nbDecision=405500 #constraints=13089 153.15/153.21 c nbDecision=406000 #constraints=13112 153.55/153.65 c nbDecision=406500 #constraints=13138 153.85/153.95 c nbDecision=407000 #constraints=13154 154.44/154.53 c nbDecision=407500 #constraints=13189 154.95/155.06 c nbDecision=408000 #constraints=13214 155.34/155.50 c nbDecision=408500 #constraints=13235 155.64/155.79 c nbDecision=409000 #constraints=13249 155.94/156.02 c nbDecision=409500 #constraints=13261 155.94/156.05 c restart after 409601 decisions 156.34/156.46 c nbDecision=410000 #constraints=13262 156.54/156.68 c nbDecision=410500 #constraints=13262 156.94/157.09 c nbDecision=411000 #constraints=13283 157.45/157.53 c nbDecision=411500 #constraints=13307 157.95/158.00 c nbDecision=412000 #constraints=13331 158.36/158.40 c nbDecision=412500 #constraints=13348 158.75/158.88 c nbDecision=413000 #constraints=13370 159.25/159.30 c nbDecision=413500 #constraints=13384 159.65/159.79 c nbDecision=414000 #constraints=13403 160.25/160.33 c nbDecision=414500 #constraints=13427 160.85/160.97 c nbDecision=415000 #constraints=13454 161.35/161.49 c nbDecision=415500 #constraints=13471 161.95/162.08 c nbDecision=416000 #constraints=13496 162.25/162.33 c nbDecision=416500 #constraints=13507 162.45/162.55 c nbDecision=417000 #constraints=13516 162.85/162.94 c nbDecision=417500 #constraints=13532 163.15/163.22 c nbDecision=418000 #constraints=13544 163.45/163.53 c nbDecision=418500 #constraints=13560 163.95/164.00 c nbDecision=419000 #constraints=13588 164.25/164.39 c nbDecision=419500 #constraints=13605 164.74/164.82 c nbDecision=420000 #constraints=13625 165.14/165.25 c nbDecision=420500 #constraints=13640 165.64/165.73 c nbDecision=421000 #constraints=13660 166.05/166.14 c nbDecision=421500 #constraints=13677 166.34/166.48 c nbDecision=422000 #constraints=13690 167.05/167.12 c nbDecision=422500 #constraints=13715 167.64/167.71 c nbDecision=423000 #constraints=13738 168.15/168.24 c nbDecision=423500 #constraints=13760 168.74/168.87 c nbDecision=424000 #constraints=13784 169.64/169.79 c nbDecision=424500 #constraints=13821 170.45/170.55 c nbDecision=425000 #constraints=13848 170.84/170.92 c nbDecision=425500 #constraints=13863 171.04/171.10 c nbDecision=426000 #constraints=13870 171.24/171.33 c nbDecision=426500 #constraints=13883 171.64/171.74 c nbDecision=427000 #constraints=13899 172.24/172.31 c nbDecision=427500 #constraints=13919 172.44/172.59 c nbDecision=428000 #constraints=13928 172.84/172.92 c nbDecision=428500 #constraints=13947 173.14/173.21 c nbDecision=429000 #constraints=13961 173.44/173.55 c nbDecision=429500 #constraints=13975 173.84/173.94 c nbDecision=430000 #constraints=13989 174.44/174.57 c nbDecision=430500 #constraints=14010 174.74/174.85 c nbDecision=431000 #constraints=14021 175.14/175.28 c nbDecision=431500 #constraints=14038 175.64/175.70 c nbDecision=432000 #constraints=14057 175.94/176.04 c nbDecision=432500 #constraints=14072 176.24/176.34 c nbDecision=433000 #constraints=14086 176.64/176.78 c nbDecision=433500 #constraints=14105 177.04/177.19 c nbDecision=434000 #constraints=14125 177.74/177.82 c nbDecision=434500 #constraints=14162 178.24/178.32 c nbDecision=435000 #constraints=14185 178.84/178.90 c nbDecision=435500 #constraints=14219 179.34/179.48 c nbDecision=436000 #constraints=14247 179.94/180.08 c nbDecision=436500 #constraints=14277 180.44/180.59 c nbDecision=437000 #constraints=14305 181.04/181.14 c nbDecision=437500 #constraints=14337 181.74/181.88 c nbDecision=438000 #constraints=14369 182.14/182.29 c nbDecision=438500 #constraints=14394 182.74/182.84 c nbDecision=439000 #constraints=14424 183.44/183.51 c nbDecision=439500 #constraints=14455 183.93/184.01 c nbDecision=440000 #constraints=14474 184.53/184.65 c nbDecision=440500 #constraints=14497 185.13/185.26 c nbDecision=441000 #constraints=14526 185.84/185.96 c nbDecision=441500 #constraints=14563 186.44/186.53 c nbDecision=442000 #constraints=14586 186.94/187.03 c nbDecision=442500 #constraints=14602 187.74/187.89 c nbDecision=443000 #constraints=14631 188.54/188.64 c nbDecision=443500 #constraints=14663 189.24/189.38 c nbDecision=444000 #constraints=14695 189.54/189.69 c nbDecision=444500 #constraints=14704 190.14/190.25 c nbDecision=445000 #constraints=14726 190.74/190.84 c nbDecision=445500 #constraints=14745 191.24/191.32 c nbDecision=446000 #constraints=14761 192.04/192.13 c nbDecision=446500 #constraints=14785 192.74/192.84 c nbDecision=447000 #constraints=14803 193.44/193.53 c nbDecision=447500 #constraints=14822 194.04/194.17 c nbDecision=448000 #constraints=14839 194.64/194.76 c nbDecision=448500 #constraints=14856 195.04/195.19 c nbDecision=449000 #constraints=14873 195.54/195.64 c nbDecision=449500 #constraints=14894 195.74/195.86 c nbDecision=450000 #constraints=14904 196.04/196.13 c nbDecision=450500 #constraints=14919 196.24/196.31 c nbDecision=451000 #constraints=14926 196.44/196.56 c nbDecision=451500 #constraints=14937 196.64/196.75 c nbDecision=452000 #constraints=14945 196.84/196.98 c nbDecision=452500 #constraints=14955 197.04/197.19 c nbDecision=453000 #constraints=14963 197.34/197.41 c nbDecision=453500 #constraints=14973 197.54/197.61 c nbDecision=454000 #constraints=14982 197.74/197.80 c nbDecision=454500 #constraints=14990 198.14/198.22 c nbDecision=455000 #constraints=15007 198.54/198.65 c nbDecision=455500 #constraints=15028 199.04/199.16 c nbDecision=456000 #constraints=15053 199.34/199.43 c nbDecision=456500 #constraints=15070 199.84/199.91 c nbDecision=457000 #constraints=15093 200.24/200.32 c nbDecision=457500 #constraints=15114 200.44/200.59 c nbDecision=458000 #constraints=15123 200.84/200.98 c nbDecision=458500 #constraints=15144 201.14/201.27 c nbDecision=459000 #constraints=15158 201.44/201.52 c nbDecision=459500 #constraints=15169 201.63/201.77 c nbDecision=460000 #constraints=15179 201.83/201.98 c nbDecision=460500 #constraints=15187 202.34/202.44 c nbDecision=461000 #constraints=15207 202.83/202.90 c nbDecision=461500 #constraints=15229 203.23/203.31 c nbDecision=462000 #constraints=15245 203.63/203.78 c nbDecision=462500 #constraints=15266 204.03/204.13 c nbDecision=463000 #constraints=15281 204.33/204.46 c nbDecision=463500 #constraints=15297 204.63/204.76 c nbDecision=464000 #constraints=15312 204.93/205.09 c nbDecision=464500 #constraints=15331 205.33/205.45 c nbDecision=465000 #constraints=15344 205.63/205.79 c nbDecision=465500 #constraints=15359 206.13/206.22 c nbDecision=466000 #constraints=15378 206.43/206.59 c nbDecision=466500 #constraints=15394 206.73/206.88 c nbDecision=467000 #constraints=15406 207.13/207.30 c nbDecision=467500 #constraints=15422 207.43/207.54 c nbDecision=468000 #constraints=15432 207.73/207.89 c nbDecision=468500 #constraints=15447 208.03/208.19 c nbDecision=469000 #constraints=15463 208.32/208.49 c nbDecision=469500 #constraints=15475 208.72/208.81 c nbDecision=470000 #constraints=15493 209.02/209.13 c nbDecision=470500 #constraints=15509 209.32/209.48 c nbDecision=471000 #constraints=15525 209.73/209.82 c nbDecision=471500 #constraints=15540 210.13/210.23 c nbDecision=472000 #constraints=15560 210.43/210.51 c nbDecision=472500 #constraints=15573 210.73/210.82 c nbDecision=473000 #constraints=15586 211.13/211.22 c nbDecision=473500 #constraints=15605 211.43/211.50 c nbDecision=474000 #constraints=15618 211.63/211.79 c nbDecision=474500 #constraints=15630 212.03/212.15 c nbDecision=475000 #constraints=15644 212.33/212.44 c nbDecision=475500 #constraints=15656 212.63/212.79 c nbDecision=476000 #constraints=15672 213.03/213.10 c nbDecision=476500 #constraints=15691 213.33/213.40 c nbDecision=477000 #constraints=15706 213.63/213.73 c nbDecision=477500 #constraints=15717 213.93/214.05 c nbDecision=478000 #constraints=15728 214.33/214.44 c nbDecision=478500 #constraints=15742 214.73/214.84 c nbDecision=479000 #constraints=15760 215.13/215.20 c nbDecision=479500 #constraints=15778 215.43/215.51 c nbDecision=480000 #constraints=15793 215.83/215.90 c nbDecision=480500 #constraints=15808 216.33/216.48 c nbDecision=481000 #constraints=15834 216.83/216.96 c nbDecision=481500 #constraints=15856 217.33/217.41 c nbDecision=482000 #constraints=15874 217.73/217.85 c nbDecision=482500 #constraints=15892 218.03/218.18 c nbDecision=483000 #constraints=15906 218.43/218.52 c nbDecision=483500 #constraints=15921 218.73/218.85 c nbDecision=484000 #constraints=15934 219.03/219.15 c nbDecision=484500 #constraints=15946 219.43/219.50 c nbDecision=485000 #constraints=15959 219.73/219.84 c nbDecision=485500 #constraints=15971 220.22/220.30 c nbDecision=486000 #constraints=15992 220.52/220.62 c nbDecision=486500 #constraints=16009 220.93/221.02 c nbDecision=487000 #constraints=16022 221.22/221.36 c nbDecision=487500 #constraints=16037 221.52/221.69 c nbDecision=488000 #constraints=16051 221.92/222.05 c nbDecision=488500 #constraints=16065 222.22/222.37 c nbDecision=489000 #constraints=16078 222.62/222.78 c nbDecision=489500 #constraints=16098 222.92/223.04 c nbDecision=490000 #constraints=16109 223.32/223.43 c nbDecision=490500 #constraints=16128 223.72/223.85 c nbDecision=491000 #constraints=16145 224.12/224.21 c nbDecision=491500 #constraints=16156 224.52/224.60 c nbDecision=492000 #constraints=16173 224.82/224.92 c nbDecision=492500 #constraints=16184 225.22/225.32 c nbDecision=493000 #constraints=16203 225.72/225.85 c nbDecision=493500 #constraints=16223 226.02/226.15 c nbDecision=494000 #constraints=16232 226.52/226.62 c nbDecision=494500 #constraints=16246 227.02/227.15 c nbDecision=495000 #constraints=16265 227.22/227.38 c nbDecision=495500 #constraints=16273 227.62/227.79 c nbDecision=496000 #constraints=16286 228.12/228.24 c nbDecision=496500 #constraints=16299 228.42/228.55 c nbDecision=497000 #constraints=16308 228.82/228.91 c nbDecision=497500 #constraints=16317 229.02/229.14 c nbDecision=498000 #constraints=16324 229.22/229.38 c nbDecision=498500 #constraints=16334 229.52/229.70 c nbDecision=499000 #constraints=16345 229.82/229.93 c nbDecision=499500 #constraints=16354 230.02/230.17 c nbDecision=500000 #constraints=16363 230.32/230.48 c nbDecision=500500 #constraints=16376 230.72/230.80 c nbDecision=501000 #constraints=16389 230.92/231.06 c nbDecision=501500 #constraints=16399 231.22/231.31 c nbDecision=502000 #constraints=16408 231.52/231.66 c nbDecision=502500 #constraints=16424 232.22/232.31 c nbDecision=503000 #constraints=16446 232.61/232.77 c nbDecision=503500 #constraints=16467 232.91/233.07 c nbDecision=504000 #constraints=16480 233.31/233.40 c nbDecision=504500 #constraints=16494 233.71/233.86 c nbDecision=505000 #constraints=16514 234.13/234.22 c nbDecision=505500 #constraints=16530 234.62/234.77 c nbDecision=506000 #constraints=16557 234.92/235.06 c nbDecision=506500 #constraints=16569 235.33/235.43 c nbDecision=507000 #constraints=16586 235.72/235.82 c nbDecision=507500 #constraints=16602 235.92/236.09 c nbDecision=508000 #constraints=16611 236.42/236.53 c nbDecision=508500 #constraints=16625 236.72/236.88 c nbDecision=509000 #constraints=16638 237.12/237.20 c nbDecision=509500 #constraints=16648 237.42/237.52 c nbDecision=510000 #constraints=16659 237.72/237.80 c nbDecision=510500 #constraints=16669 238.22/238.32 c nbDecision=511000 #constraints=16688 238.62/238.76 c nbDecision=511500 #constraints=16701 238.92/239.09 c nbDecision=512000 #constraints=16712 239.32/239.44 c nbDecision=512500 #constraints=16723 239.72/239.81 c nbDecision=513000 #constraints=16733 240.12/240.22 c nbDecision=513500 #constraints=16748 240.42/240.58 c nbDecision=514000 #constraints=16762 240.82/240.92 c nbDecision=514500 #constraints=16775 241.12/241.24 c nbDecision=515000 #constraints=16789 241.42/241.55 c nbDecision=515500 #constraints=16800 241.72/241.87 c nbDecision=516000 #constraints=16812 242.02/242.17 c nbDecision=516500 #constraints=16823 242.42/242.55 c nbDecision=517000 #constraints=16839 242.72/242.87 c nbDecision=517500 #constraints=16852 243.02/243.17 c nbDecision=518000 #constraints=16866 243.42/243.55 c nbDecision=518500 #constraints=16878 243.72/243.87 c nbDecision=519000 #constraints=16890 244.12/244.20 c nbDecision=519500 #constraints=16902 244.42/244.54 c nbDecision=520000 #constraints=16913 244.82/244.91 c nbDecision=520500 #constraints=16929 245.12/245.26 c nbDecision=521000 #constraints=16941 245.52/245.61 c nbDecision=521500 #constraints=16956 245.92/246.00 c nbDecision=522000 #constraints=16974 246.22/246.34 c nbDecision=522500 #constraints=16985 246.62/246.75 c nbDecision=523000 #constraints=16998 247.12/247.20 c nbDecision=523500 #constraints=17021 247.52/247.67 c nbDecision=524000 #constraints=17041 247.92/248.04 c nbDecision=524500 #constraints=17056 248.32/248.47 c nbDecision=525000 #constraints=17075 248.72/248.80 c nbDecision=525500 #constraints=17091 248.92/249.03 c nbDecision=526000 #constraints=17101 249.42/249.50 c nbDecision=526500 #constraints=17125 249.72/249.87 c nbDecision=527000 #constraints=17144 250.11/250.28 c nbDecision=527500 #constraints=17162 250.51/250.66 c nbDecision=528000 #constraints=17179 250.81/250.99 c nbDecision=528500 #constraints=17193 251.31/251.44 c nbDecision=529000 #constraints=17214 251.61/251.77 c nbDecision=529500 #constraints=17228 252.01/252.11 c nbDecision=530000 #constraints=17244 252.31/252.46 c nbDecision=530500 #constraints=17261 252.71/252.86 c nbDecision=531000 #constraints=17284 253.11/253.26 c nbDecision=531500 #constraints=17302 253.41/253.59 c nbDecision=532000 #constraints=17317 253.81/253.99 c nbDecision=532500 #constraints=17335 254.21/254.33 c nbDecision=533000 #constraints=17349 254.51/254.63 c nbDecision=533500 #constraints=17360 254.81/254.97 c nbDecision=534000 #constraints=17377 255.21/255.34 c nbDecision=534500 #constraints=17394 255.51/255.67 c nbDecision=535000 #constraints=17408 255.81/255.99 c nbDecision=535500 #constraints=17418 256.11/256.30 c nbDecision=536000 #constraints=17430 256.51/256.62 c nbDecision=536500 #constraints=17445 256.81/256.97 c nbDecision=537000 #constraints=17457 257.21/257.37 c nbDecision=537500 #constraints=17475 257.51/257.65 c nbDecision=538000 #constraints=17486 257.81/257.97 c nbDecision=538500 #constraints=17498 258.21/258.35 c nbDecision=539000 #constraints=17515 258.51/258.69 c nbDecision=539500 #constraints=17530 258.91/259.01 c nbDecision=540000 #constraints=17541 259.31/259.46 c nbDecision=540500 #constraints=17556 259.71/259.81 c nbDecision=541000 #constraints=17567 260.01/260.11 c nbDecision=541500 #constraints=17578 260.31/260.46 c nbDecision=542000 #constraints=17591 260.61/260.80 c nbDecision=542500 #constraints=17603 261.11/261.20 c nbDecision=543000 #constraints=17617 261.41/261.50 c nbDecision=543500 #constraints=17628 261.71/261.85 c nbDecision=544000 #constraints=17643 262.11/262.29 c nbDecision=544500 #constraints=17664 262.51/262.65 c nbDecision=545000 #constraints=17678 262.91/263.04 c nbDecision=545500 #constraints=17696 263.20/263.32 c nbDecision=546000 #constraints=17706 263.50/263.63 c nbDecision=546500 #constraints=17718 263.91/264.09 c nbDecision=547000 #constraints=17735 264.40/264.50 c nbDecision=547500 #constraints=17748 264.91/265.10 c nbDecision=548000 #constraints=17766 265.30/265.49 c nbDecision=548500 #constraints=17780 265.70/265.81 c nbDecision=549000 #constraints=17790 266.01/266.16 c nbDecision=549500 #constraints=17799 266.60/266.72 c nbDecision=550000 #constraints=17818 266.90/267.04 c nbDecision=550500 #constraints=17828 267.40/267.57 c nbDecision=551000 #constraints=17847 267.90/268.02 c nbDecision=551500 #constraints=17862 268.21/268.38 c nbDecision=552000 #constraints=17873 268.70/268.81 c nbDecision=552500 #constraints=17889 269.00/269.15 c nbDecision=553000 #constraints=17901 269.40/269.59 c nbDecision=553500 #constraints=17917 270.00/270.10 c nbDecision=554000 #constraints=17936 270.40/270.53 c nbDecision=554500 #constraints=17951 270.70/270.87 c nbDecision=555000 #constraints=17963 271.10/271.30 c nbDecision=555500 #constraints=17979 271.50/271.68 c nbDecision=556000 #constraints=17991 271.90/272.04 c nbDecision=556500 #constraints=18002 272.30/272.45 c nbDecision=557000 #constraints=18015 273.00/273.11 c nbDecision=557500 #constraints=18039 273.40/273.51 c nbDecision=558000 #constraints=18054 273.90/274.03 c nbDecision=558500 #constraints=18073 274.40/274.57 c nbDecision=559000 #constraints=18092 275.10/275.25 c nbDecision=559500 #constraints=18116 275.70/275.86 c nbDecision=560000 #constraints=18139 276.20/276.37 c nbDecision=560500 #constraints=18158 276.69/276.89 c nbDecision=561000 #constraints=18177 277.49/277.66 c nbDecision=561500 #constraints=18205 277.99/278.15 c nbDecision=562000 #constraints=18225 278.49/278.62 c nbDecision=562500 #constraints=18241 279.09/279.22 c nbDecision=563000 #constraints=18262 279.80/279.98 c nbDecision=563500 #constraints=18288 280.60/280.79 c nbDecision=564000 #constraints=18315 281.30/281.43 c nbDecision=564500 #constraints=18338 281.90/282.09 c nbDecision=565000 #constraints=18361 282.80/282.90 c nbDecision=565500 #constraints=18390 283.50/283.64 c nbDecision=566000 #constraints=18415 284.30/284.45 c nbDecision=566500 #constraints=18442 285.10/285.20 c nbDecision=567000 #constraints=18467 286.00/286.16 c nbDecision=567500 #constraints=18500 286.80/286.95 c nbDecision=568000 #constraints=18520 287.30/287.45 c nbDecision=568500 #constraints=18532 288.00/288.14 c nbDecision=569000 #constraints=18553 288.70/288.81 c nbDecision=569500 #constraints=18572 289.10/289.22 c nbDecision=570000 #constraints=18587 289.70/289.84 c nbDecision=570500 #constraints=18608 290.10/290.26 c nbDecision=571000 #constraints=18624 290.70/290.82 c nbDecision=571500 #constraints=18645 291.10/291.25 c nbDecision=572000 #constraints=18659 291.50/291.68 c nbDecision=572500 #constraints=18674 292.09/292.22 c nbDecision=573000 #constraints=18694 292.59/292.72 c nbDecision=573500 #constraints=18712 292.99/293.13 c nbDecision=574000 #constraints=18726 293.39/293.58 c nbDecision=574500 #constraints=18742 293.79/293.96 c nbDecision=575000 #constraints=18754 294.19/294.37 c nbDecision=575500 #constraints=18768 294.60/294.78 c nbDecision=576000 #constraints=18782 295.09/295.25 c nbDecision=576500 #constraints=18798 295.59/295.71 c nbDecision=577000 #constraints=18816 295.99/296.15 c nbDecision=577500 #constraints=18831 296.49/296.68 c nbDecision=578000 #constraints=18849 296.99/297.16 c nbDecision=578500 #constraints=18867 297.59/297.71 c nbDecision=579000 #constraints=18885 298.29/298.49 c nbDecision=579500 #constraints=18912 298.79/298.94 c nbDecision=580000 #constraints=18927 299.29/299.41 c nbDecision=580500 #constraints=18943 299.69/299.83 c nbDecision=581000 #constraints=18957 300.19/300.36 c nbDecision=581500 #constraints=18975 300.79/300.93 c nbDecision=582000 #constraints=18996 301.39/301.52 c nbDecision=582500 #constraints=19017 301.99/302.14 c nbDecision=583000 #constraints=19040 302.59/302.74 c nbDecision=583500 #constraints=19062 303.58/303.70 c nbDecision=584000 #constraints=19094 304.28/304.46 c nbDecision=584500 #constraints=19117 305.08/305.26 c nbDecision=585000 #constraints=19141 305.89/306.04 c nbDecision=585500 #constraints=19168 306.70/306.85 c nbDecision=586000 #constraints=19197 307.39/307.60 c nbDecision=586500 #constraints=19221 308.19/308.35 c nbDecision=587000 #constraints=19248 308.90/309.01 c nbDecision=587500 #constraints=19268 309.49/309.66 c nbDecision=588000 #constraints=19291 310.09/310.28 c nbDecision=588500 #constraints=19311 310.99/311.13 c nbDecision=589000 #constraints=19337 311.69/311.86 c nbDecision=589500 #constraints=19362 312.79/312.93 c nbDecision=590000 #constraints=19394 313.59/313.73 c nbDecision=590500 #constraints=19418 314.19/314.33 c nbDecision=591000 #constraints=19436 314.59/314.77 c nbDecision=591500 #constraints=19449 315.09/315.20 c nbDecision=592000 #constraints=19464 315.39/315.59 c nbDecision=592500 #constraints=19475 315.89/316.06 c nbDecision=593000 #constraints=19488 316.29/316.40 c nbDecision=593500 #constraints=19497 316.69/316.83 c nbDecision=594000 #constraints=19510 317.09/317.24 c nbDecision=594500 #constraints=19523 317.59/317.79 c nbDecision=595000 #constraints=19539 318.39/318.54 c nbDecision=595500 #constraints=19565 319.39/319.50 c nbDecision=596000 #constraints=19602 320.19/320.34 c nbDecision=596500 #constraints=19628 321.18/321.37 c nbDecision=597000 #constraints=19662 322.58/322.75 c nbDecision=597500 #constraints=19708 323.48/323.60 c nbDecision=598000 #constraints=19740 324.08/324.29 c nbDecision=598500 #constraints=19767 324.88/325.03 c nbDecision=599000 #constraints=19792 325.58/325.80 c nbDecision=599500 #constraints=19812 326.58/326.77 c nbDecision=600000 #constraints=19843 327.18/327.33 c nbDecision=600500 #constraints=19858 327.48/327.61 c nbDecision=601000 #constraints=19866 327.78/327.93 c nbDecision=601500 #constraints=19875 328.18/328.34 c nbDecision=602000 #constraints=19889 328.58/328.73 c nbDecision=602500 #constraints=19902 328.98/329.14 c nbDecision=603000 #constraints=19917 329.28/329.49 c nbDecision=603500 #constraints=19927 329.68/329.86 c nbDecision=604000 #constraints=19937 329.98/330.17 c nbDecision=604500 #constraints=19948 330.38/330.56 c nbDecision=605000 #constraints=19962 330.78/330.93 c nbDecision=605500 #constraints=19973 331.18/331.36 c nbDecision=606000 #constraints=19987 331.57/331.72 c nbDecision=606500 #constraints=20002 331.87/332.07 c nbDecision=607000 #constraints=20013 332.27/332.44 c nbDecision=607500 #constraints=20024 332.57/332.80 c nbDecision=608000 #constraints=20034 332.97/333.14 c nbDecision=608500 #constraints=20045 333.37/333.60 c nbDecision=609000 #constraints=20061 333.87/334.05 c nbDecision=609500 #constraints=20075 334.18/334.40 c nbDecision=610000 #constraints=20084 334.47/334.68 c nbDecision=610500 #constraints=20091 334.97/335.14 c nbDecision=611000 #constraints=20104 335.47/335.63 c nbDecision=611500 #constraints=20119 335.77/336.00 c nbDecision=612000 #constraints=20129 336.17/336.31 c nbDecision=612500 #constraints=20137 336.47/336.69 c nbDecision=613000 #constraints=20147 336.87/337.07 c nbDecision=613500 #constraints=20157 337.17/337.37 c nbDecision=614000 #constraints=20165 337.47/337.69 c nbDecision=614500 #constraints=20174 337.98/338.10 c nbDecision=615000 #constraints=20190 338.68/338.86 c nbDecision=615500 #constraints=20211 339.08/339.23 c nbDecision=616000 #constraints=20224 339.38/339.55 c nbDecision=616500 #constraints=20229 339.78/340.00 c nbDecision=617000 #constraints=20241 340.38/340.54 c nbDecision=617500 #constraints=20255 340.78/340.96 c nbDecision=618000 #constraints=20268 341.18/341.34 c nbDecision=618500 #constraints=20280 341.58/341.74 c nbDecision=619000 #constraints=20288 342.08/342.29 c nbDecision=619500 #constraints=20303 342.47/342.68 c nbDecision=620000 #constraints=20315 342.87/343.03 c nbDecision=620500 #constraints=20325 343.17/343.39 c nbDecision=621000 #constraints=20335 343.67/343.81 c nbDecision=621500 #constraints=20348 343.97/344.20 c nbDecision=622000 #constraints=20357 344.67/344.81 c nbDecision=622500 #constraints=20368 345.37/345.55 c nbDecision=623000 #constraints=20390 345.77/345.96 c nbDecision=623500 #constraints=20402 346.47/346.70 c nbDecision=624000 #constraints=20420 346.87/347.03 c nbDecision=624500 #constraints=20429 347.17/347.36 c nbDecision=625000 #constraints=20435 347.57/347.75 c nbDecision=625500 #constraints=20444 347.97/348.17 c nbDecision=626000 #constraints=20454 348.48/348.67 c nbDecision=626500 #constraints=20467 348.87/349.09 c nbDecision=627000 #constraints=20479 349.27/349.43 c nbDecision=627500 #constraints=20489 349.68/349.82 c nbDecision=628000 #constraints=20502 350.27/350.40 c nbDecision=628500 #constraints=20514 350.68/350.80 c nbDecision=629000 #constraints=20525 351.07/351.26 c nbDecision=629500 #constraints=20540 351.47/351.62 c nbDecision=630000 #constraints=20550 351.87/352.01 c nbDecision=630500 #constraints=20561 352.17/352.39 c nbDecision=631000 #constraints=20572 352.57/352.75 c nbDecision=631500 #constraints=20581 353.17/353.30 c nbDecision=632000 #constraints=20598 353.57/353.71 c nbDecision=632500 #constraints=20611 353.87/354.07 c nbDecision=633000 #constraints=20621 354.37/354.54 c nbDecision=633500 #constraints=20636 354.77/354.96 c nbDecision=634000 #constraints=20647 355.17/355.36 c nbDecision=634500 #constraints=20658 355.67/355.86 c nbDecision=635000 #constraints=20673 356.07/356.20 c nbDecision=635500 #constraints=20682 356.47/356.61 c nbDecision=636000 #constraints=20695 356.77/356.97 c nbDecision=636500 #constraints=20704 357.17/357.36 c nbDecision=637000 #constraints=20713 357.57/357.71 c nbDecision=637500 #constraints=20722 357.97/358.11 c nbDecision=638000 #constraints=20733 358.37/358.51 c nbDecision=638500 #constraints=20743 358.67/358.84 c nbDecision=639000 #constraints=20751 358.97/359.14 c nbDecision=639500 #constraints=20759 359.27/359.48 c nbDecision=640000 #constraints=20767 359.67/359.85 c nbDecision=640500 #constraints=20775 360.07/360.25 c nbDecision=641000 #constraints=20783 360.47/360.60 c nbDecision=641500 #constraints=20791 360.97/361.19 c nbDecision=642000 #constraints=20804 361.37/361.56 c nbDecision=642500 #constraints=20815 361.87/362.00 c nbDecision=643000 #constraints=20826 362.07/362.27 c nbDecision=643500 #constraints=20830 362.47/362.66 c nbDecision=644000 #constraints=20839 362.87/363.08 c nbDecision=644500 #constraints=20849 363.57/363.71 c nbDecision=645000 #constraints=20865 363.87/364.08 c nbDecision=645500 #constraints=20873 364.17/364.39 c nbDecision=646000 #constraints=20879 364.57/364.79 c nbDecision=646500 #constraints=20889 365.16/365.34 c nbDecision=647000 #constraints=20899 365.56/365.76 c nbDecision=647500 #constraints=20910 365.86/366.03 c nbDecision=648000 #constraints=20915 366.26/366.45 c nbDecision=648500 #constraints=20925 366.56/366.78 c nbDecision=649000 #constraints=20930 366.96/367.15 c nbDecision=649500 #constraints=20939 367.46/367.60 c nbDecision=650000 #constraints=20950 367.96/368.17 c nbDecision=650500 #constraints=20963 368.37/368.53 c nbDecision=651000 #constraints=20972 368.76/368.90 c nbDecision=651500 #constraints=20980 369.16/369.30 c nbDecision=652000 #constraints=20989 369.47/369.69 c nbDecision=652500 #constraints=20999 369.96/370.19 c nbDecision=653000 #constraints=21012 370.47/370.66 c nbDecision=653500 #constraints=21022 370.86/371.00 c nbDecision=654000 #constraints=21028 371.26/371.41 c nbDecision=654500 #constraints=21037 371.66/371.81 c nbDecision=655000 #constraints=21043 371.96/372.17 c nbDecision=655500 #constraints=21050 372.46/372.64 c nbDecision=656000 #constraints=21060 373.06/373.21 c nbDecision=656500 #constraints=21077 373.36/373.57 c nbDecision=657000 #constraints=21086 373.77/373.94 c nbDecision=657500 #constraints=21095 374.16/374.30 c nbDecision=658000 #constraints=21104 374.56/374.73 c nbDecision=658500 #constraints=21115 374.96/375.11 c nbDecision=659000 #constraints=21124 375.36/375.56 c nbDecision=659500 #constraints=21136 375.76/375.97 c nbDecision=660000 #constraints=21147 376.16/376.37 c nbDecision=660500 #constraints=21161 376.76/376.91 c nbDecision=661000 #constraints=21179 377.16/377.31 c nbDecision=661500 #constraints=21191 377.56/377.74 c nbDecision=662000 #constraints=21202 377.96/378.15 c nbDecision=662500 #constraints=21212 378.36/378.55 c nbDecision=663000 #constraints=21226 378.76/378.98 c nbDecision=663500 #constraints=21236 379.36/379.51 c nbDecision=664000 #constraints=21245 379.96/380.14 c nbDecision=664500 #constraints=21263 380.26/380.45 c nbDecision=665000 #constraints=21271 380.76/380.93 c nbDecision=665500 #constraints=21284 381.16/381.32 c nbDecision=666000 #constraints=21292 381.56/381.78 c nbDecision=666500 #constraints=21303 381.96/382.19 c nbDecision=667000 #constraints=21320 382.36/382.56 c nbDecision=667500 #constraints=21329 382.76/382.98 c nbDecision=668000 #constraints=21342 383.26/383.40 c nbDecision=668500 #constraints=21354 383.66/383.82 c nbDecision=669000 #constraints=21367 384.05/384.23 c nbDecision=669500 #constraints=21384 384.45/384.60 c nbDecision=670000 #constraints=21394 384.76/384.96 c nbDecision=670500 #constraints=21407 385.15/385.30 c nbDecision=671000 #constraints=21417 385.55/385.70 c nbDecision=671500 #constraints=21426 385.86/386.04 c nbDecision=672000 #constraints=21435 386.35/386.58 c nbDecision=672500 #constraints=21448 386.65/386.88 c nbDecision=673000 #constraints=21455 387.16/387.30 c nbDecision=673500 #constraints=21462 387.46/387.63 c nbDecision=674000 #constraints=21467 387.86/388.04 c nbDecision=674500 #constraints=21478 388.26/388.47 c nbDecision=675000 #constraints=21487 388.76/388.91 c nbDecision=675500 #constraints=21499 389.16/389.31 c nbDecision=676000 #constraints=21509 389.56/389.74 c nbDecision=676500 #constraints=21522 389.96/390.11 c nbDecision=677000 #constraints=21534 390.46/390.65 c nbDecision=677500 #constraints=21547 390.86/391.09 c nbDecision=678000 #constraints=21559 391.36/391.54 c nbDecision=678500 #constraints=21575 391.86/392.00 c nbDecision=679000 #constraints=21586 392.16/392.38 c nbDecision=679500 #constraints=21595 392.66/392.85 c nbDecision=680000 #constraints=21608 393.16/393.30 c nbDecision=680500 #constraints=21619 393.66/393.85 c nbDecision=681000 #constraints=21630 393.96/394.17 c nbDecision=681500 #constraints=21634 394.36/394.54 c nbDecision=682000 #constraints=21641 394.76/394.92 c nbDecision=682500 #constraints=21649 395.06/395.24 c nbDecision=683000 #constraints=21656 395.46/395.61 c nbDecision=683500 #constraints=21663 395.76/395.97 c nbDecision=684000 #constraints=21671 396.16/396.36 c nbDecision=684500 #constraints=21679 396.56/396.78 c nbDecision=685000 #constraints=21688 397.26/397.40 c nbDecision=685500 #constraints=21702 397.76/397.92 c nbDecision=686000 #constraints=21710 398.26/398.47 c nbDecision=686500 #constraints=21730 398.86/399.00 c nbDecision=687000 #constraints=21742 399.26/399.48 c nbDecision=687500 #constraints=21755 399.76/399.90 c nbDecision=688000 #constraints=21765 400.16/400.33 c nbDecision=688500 #constraints=21774 400.65/400.81 c nbDecision=689000 #constraints=21783 401.05/401.20 c nbDecision=689500 #constraints=21789 401.36/401.57 c nbDecision=690000 #constraints=21798 401.75/401.92 c nbDecision=690500 #constraints=21806 402.05/402.28 c nbDecision=691000 #constraints=21813 402.46/402.67 c nbDecision=691500 #constraints=21822 402.85/403.02 c nbDecision=692000 #constraints=21830 403.45/403.68 c nbDecision=692500 #constraints=21850 404.05/404.20 c nbDecision=693000 #constraints=21859 404.45/404.68 c nbDecision=693500 #constraints=21868 404.85/405.04 c nbDecision=694000 #constraints=21873 405.25/405.43 c nbDecision=694500 #constraints=21885 405.65/405.90 c nbDecision=695000 #constraints=21895 406.15/406.32 c nbDecision=695500 #constraints=21904 406.55/406.73 c nbDecision=696000 #constraints=21914 406.95/407.17 c nbDecision=696500 #constraints=21925 407.45/407.60 c nbDecision=697000 #constraints=21935 407.85/408.01 c nbDecision=697500 #constraints=21945 408.25/408.48 c nbDecision=698000 #constraints=21956 408.65/408.85 c nbDecision=698500 #constraints=21964 409.25/409.42 c nbDecision=699000 #constraints=21977 409.55/409.78 c nbDecision=699500 #constraints=21986 410.05/410.27 c nbDecision=700000 #constraints=21996 410.45/410.68 c nbDecision=700500 #constraints=22005 410.95/411.12 c nbDecision=701000 #constraints=22017 411.35/411.57 c nbDecision=701500 #constraints=22027 411.85/412.05 c nbDecision=702000 #constraints=22039 412.25/412.47 c nbDecision=702500 #constraints=22049 412.65/412.87 c nbDecision=703000 #constraints=22061 413.04/413.26 c nbDecision=703500 #constraints=22070 413.54/413.74 c nbDecision=704000 #constraints=22081 413.94/414.11 c nbDecision=704500 #constraints=22089 414.45/414.62 c nbDecision=705000 #constraints=22101 414.84/415.04 c nbDecision=705500 #constraints=22109 415.24/415.47 c nbDecision=706000 #constraints=22121 415.65/415.85 c nbDecision=706500 #constraints=22131 416.04/416.23 c nbDecision=707000 #constraints=22143 416.54/416.70 c nbDecision=707500 #constraints=22155 416.94/417.11 c nbDecision=708000 #constraints=22165 417.34/417.55 c nbDecision=708500 #constraints=22177 417.75/417.97 c nbDecision=709000 #constraints=22189 418.14/418.33 c nbDecision=709500 #constraints=22201 418.54/418.71 c nbDecision=710000 #constraints=22212 419.04/419.22 c nbDecision=710500 #constraints=22228 419.54/419.71 c nbDecision=711000 #constraints=22243 420.04/420.22 c nbDecision=711500 #constraints=22255 420.44/420.70 c nbDecision=712000 #constraints=22265 420.94/421.14 c nbDecision=712500 #constraints=22276 421.44/421.63 c nbDecision=713000 #constraints=22290 421.84/422.05 c nbDecision=713500 #constraints=22298 422.24/422.48 c nbDecision=714000 #constraints=22307 422.64/422.88 c nbDecision=714500 #constraints=22316 423.14/423.35 c nbDecision=715000 #constraints=22327 423.54/423.76 c nbDecision=715500 #constraints=22337 423.94/424.18 c nbDecision=716000 #constraints=22344 424.45/424.62 c nbDecision=716500 #constraints=22356 424.94/425.19 c nbDecision=717000 #constraints=22374 425.45/425.65 c nbDecision=717500 #constraints=22386 425.94/426.14 c nbDecision=718000 #constraints=22400 426.34/426.60 c nbDecision=718500 #constraints=22412 426.84/427.05 c nbDecision=719000 #constraints=22422 427.34/427.59 c nbDecision=719500 #constraints=22432 427.84/428.03 c nbDecision=720000 #constraints=22443 428.14/428.39 c nbDecision=720500 #constraints=22453 428.64/428.84 c nbDecision=721000 #constraints=22469 429.24/429.40 c nbDecision=721500 #constraints=22487 429.64/429.86 c nbDecision=722000 #constraints=22500 430.14/430.35 c nbDecision=722500 #constraints=22517 430.54/430.79 c nbDecision=723000 #constraints=22527 431.14/431.37 c nbDecision=723500 #constraints=22541 431.54/431.76 c nbDecision=724000 #constraints=22552 432.04/432.21 c nbDecision=724500 #constraints=22562 432.44/432.67 c nbDecision=725000 #constraints=22571 432.84/433.06 c nbDecision=725500 #constraints=22584 433.24/433.45 c nbDecision=726000 #constraints=22593 433.74/433.91 c nbDecision=726500 #constraints=22602 434.04/434.24 c nbDecision=727000 #constraints=22609 434.54/434.75 c nbDecision=727500 #constraints=22625 435.04/435.22 c nbDecision=728000 #constraints=22640 435.44/435.60 c nbDecision=728500 #constraints=22650 435.84/436.07 c nbDecision=729000 #constraints=22665 436.44/436.61 c nbDecision=729500 #constraints=22686 436.94/437.16 c nbDecision=730000 #constraints=22702 437.34/437.56 c nbDecision=730500 #constraints=22713 437.94/438.14 c nbDecision=731000 #constraints=22731 438.44/438.62 c nbDecision=731500 #constraints=22745 438.94/439.11 c nbDecision=732000 #constraints=22759 439.34/439.58 c nbDecision=732500 #constraints=22772 439.84/440.03 c nbDecision=733000 #constraints=22784 440.23/440.46 c nbDecision=733500 #constraints=22795 440.73/440.93 c nbDecision=734000 #constraints=22810 441.23/441.41 c nbDecision=734500 #constraints=22825 441.63/441.84 c nbDecision=735000 #constraints=22837 442.04/442.26 c nbDecision=735500 #constraints=22848 442.53/442.70 c nbDecision=736000 #constraints=22862 442.83/443.09 c nbDecision=736500 #constraints=22870 443.33/443.58 c nbDecision=737000 #constraints=22882 443.83/444.06 c nbDecision=737500 #constraints=22896 444.33/444.59 c nbDecision=738000 #constraints=22909 444.73/444.99 c nbDecision=738500 #constraints=22918 445.24/445.41 c nbDecision=739000 #constraints=22929 445.63/445.86 c nbDecision=739500 #constraints=22941 446.03/446.25 c nbDecision=740000 #constraints=22951 446.53/446.73 c nbDecision=740500 #constraints=22962 446.93/447.15 c nbDecision=741000 #constraints=22971 447.33/447.54 c nbDecision=741500 #constraints=22980 447.73/447.97 c nbDecision=742000 #constraints=22991 448.23/448.47 c nbDecision=742500 #constraints=23007 448.73/448.94 c nbDecision=743000 #constraints=23022 449.23/449.46 c nbDecision=743500 #constraints=23037 449.73/449.92 c nbDecision=744000 #constraints=23048 450.33/450.57 c nbDecision=744500 #constraints=23070 451.03/451.28 c nbDecision=745000 #constraints=23085 451.63/451.80 c nbDecision=745500 #constraints=23095 452.03/452.23 c nbDecision=746000 #constraints=23106 452.43/452.67 c nbDecision=746500 #constraints=23118 453.03/453.22 c nbDecision=747000 #constraints=23128 453.53/453.76 c nbDecision=747500 #constraints=23140 453.93/454.15 c nbDecision=748000 #constraints=23155 454.33/454.51 c nbDecision=748500 #constraints=23165 454.73/454.97 c nbDecision=749000 #constraints=23176 455.23/455.42 c nbDecision=749500 #constraints=23184 455.63/455.86 c nbDecision=750000 #constraints=23196 456.13/456.33 c nbDecision=750500 #constraints=23207 456.53/456.74 c nbDecision=751000 #constraints=23215 457.03/457.23 c nbDecision=751500 #constraints=23230 457.43/457.67 c nbDecision=752000 #constraints=23242 458.03/458.21 c nbDecision=752500 #constraints=23255 458.53/458.72 c nbDecision=753000 #constraints=23265 458.83/459.09 c nbDecision=753500 #constraints=23274 459.33/459.59 c nbDecision=754000 #constraints=23288 459.83/460.04 c nbDecision=754500 #constraints=23299 460.23/460.46 c nbDecision=755000 #constraints=23310 460.63/460.84 c nbDecision=755500 #constraints=23320 461.02/461.29 c nbDecision=756000 #constraints=23332 461.52/461.74 c nbDecision=756500 #constraints=23342 461.92/462.18 c nbDecision=757000 #constraints=23357 462.72/462.93 c nbDecision=757500 #constraints=23376 463.12/463.39 c nbDecision=758000 #constraints=23387 463.62/463.80 c nbDecision=758500 #constraints=23394 464.12/464.37 c nbDecision=759000 #constraints=23409 464.72/464.94 c nbDecision=759500 #constraints=23423 465.13/465.37 c nbDecision=760000 #constraints=23432 465.82/466.07 c nbDecision=760500 #constraints=23454 466.32/466.58 c nbDecision=761000 #constraints=23468 466.92/467.14 c nbDecision=761500 #constraints=23483 467.33/467.54 c nbDecision=762000 #constraints=23492 467.72/467.93 c nbDecision=762500 #constraints=23499 468.12/468.30 c nbDecision=763000 #constraints=23507 468.62/468.88 c nbDecision=763500 #constraints=23527 469.22/469.47 c nbDecision=764000 #constraints=23544 469.72/469.99 c nbDecision=764500 #constraints=23563 470.22/470.48 c nbDecision=765000 #constraints=23574 470.72/470.93 c nbDecision=765500 #constraints=23589 471.12/471.36 c nbDecision=766000 #constraints=23602 471.52/471.76 c nbDecision=766500 #constraints=23614 471.92/472.17 c nbDecision=767000 #constraints=23624 472.42/472.61 c nbDecision=767500 #constraints=23634 472.82/473.05 c nbDecision=768000 #constraints=23644 473.22/473.49 c nbDecision=768500 #constraints=23655 473.62/473.87 c nbDecision=769000 #constraints=23665 474.02/474.29 c nbDecision=769500 #constraints=23677 474.42/474.67 c nbDecision=770000 #constraints=23689 474.92/475.13 c nbDecision=770500 #constraints=23702 475.42/475.61 c nbDecision=771000 #constraints=23720 475.82/476.08 c nbDecision=771500 #constraints=23733 476.32/476.59 c nbDecision=772000 #constraints=23747 476.92/477.13 c nbDecision=772500 #constraints=23760 477.33/477.52 c nbDecision=773000 #constraints=23770 477.73/477.97 c nbDecision=773500 #constraints=23784 478.23/478.48 c nbDecision=774000 #constraints=23798 478.83/479.08 c nbDecision=774500 #constraints=23816 479.33/479.59 c nbDecision=775000 #constraints=23830 479.92/480.13 c nbDecision=775500 #constraints=23845 480.32/480.59 c nbDecision=776000 #constraints=23857 480.92/481.16 c nbDecision=776500 #constraints=23870 481.42/481.65 c nbDecision=777000 #constraints=23882 481.92/482.16 c nbDecision=777500 #constraints=23902 482.32/482.60 c nbDecision=778000 #constraints=23912 482.92/483.11 c nbDecision=778500 #constraints=23925 483.32/483.53 c nbDecision=779000 #constraints=23936 483.83/484.03 c nbDecision=779500 #constraints=23949 484.22/484.49 c nbDecision=780000 #constraints=23964 484.83/485.05 c nbDecision=780500 #constraints=23982 485.22/485.44 c nbDecision=781000 #constraints=23993 485.72/485.94 c nbDecision=781500 #constraints=24006 486.22/486.41 c nbDecision=782000 #constraints=24019 486.62/486.87 c nbDecision=782500 #constraints=24032 487.02/487.30 c nbDecision=783000 #constraints=24045 487.62/487.86 c nbDecision=783500 #constraints=24059 488.22/488.43 c nbDecision=784000 #constraints=24079 488.62/488.90 c nbDecision=784500 #constraints=24092 489.12/489.31 c nbDecision=785000 #constraints=24103 489.52/489.79 c nbDecision=785500 #constraints=24115 490.02/490.28 c nbDecision=786000 #constraints=24132 490.52/490.77 c nbDecision=786500 #constraints=24144 491.12/491.34 c nbDecision=787000 #constraints=24162 491.42/491.67 c nbDecision=787500 #constraints=24175 491.72/491.99 c nbDecision=788000 #constraints=24187 492.42/492.62 c nbDecision=788500 #constraints=24203 492.92/493.17 c nbDecision=789000 #constraints=24212 493.52/493.70 c nbDecision=789500 #constraints=24227 494.01/494.25 c nbDecision=790000 #constraints=24239 494.72/494.98 c nbDecision=790500 #constraints=24260 495.21/495.44 c nbDecision=791000 #constraints=24272 495.61/495.82 c nbDecision=791500 #constraints=24284 496.11/496.35 c nbDecision=792000 #constraints=24300 496.71/496.95 c nbDecision=792500 #constraints=24319 497.31/497.59 c nbDecision=793000 #constraints=24337 498.02/498.26 c nbDecision=793500 #constraints=24361 498.71/498.92 c nbDecision=794000 #constraints=24380 499.11/499.36 c nbDecision=794500 #constraints=24392 499.71/499.93 c nbDecision=795000 #constraints=24408 500.31/500.50 c nbDecision=795500 #constraints=24422 500.91/501.15 c nbDecision=796000 #constraints=24440 501.51/501.74 c nbDecision=796500 #constraints=24453 502.11/502.32 c nbDecision=797000 #constraints=24468 502.71/502.99 c nbDecision=797500 #constraints=24488 503.41/503.66 c nbDecision=798000 #constraints=24505 503.91/504.20 c nbDecision=798500 #constraints=24521 504.61/504.86 c nbDecision=799000 #constraints=24536 505.21/505.45 c nbDecision=799500 #constraints=24554 505.81/506.09 c nbDecision=800000 #constraints=24575 506.41/506.69 c nbDecision=800500 #constraints=24590 507.01/507.26 c nbDecision=801000 #constraints=24605 507.91/508.15 c nbDecision=801500 #constraints=24627 508.41/508.64 c nbDecision=802000 #constraints=24638 508.81/509.05 c nbDecision=802500 #constraints=24647 509.31/509.56 c nbDecision=803000 #constraints=24657 509.91/510.17 c nbDecision=803500 #constraints=24673 510.51/510.71 c nbDecision=804000 #constraints=24682 510.92/511.17 c nbDecision=804500 #constraints=24691 511.41/511.60 c nbDecision=805000 #constraints=24699 511.81/512.07 c nbDecision=805500 #constraints=24706 512.32/512.55 c nbDecision=806000 #constraints=24717 512.81/513.07 c nbDecision=806500 #constraints=24728 513.31/513.58 c nbDecision=807000 #constraints=24739 514.11/514.38 c nbDecision=807500 #constraints=24764 514.81/515.08 c nbDecision=808000 #constraints=24783 515.41/515.64 c nbDecision=808500 #constraints=24798 515.91/516.15 c nbDecision=809000 #constraints=24810 516.41/516.62 c nbDecision=809500 #constraints=24817 516.82/517.03 c nbDecision=810000 #constraints=24826 517.31/517.53 c nbDecision=810500 #constraints=24834 518.31/518.57 c nbDecision=811000 #constraints=24860 519.11/519.31 c nbDecision=811500 #constraints=24875 519.91/520.12 c nbDecision=812000 #constraints=24893 520.41/520.61 c nbDecision=812500 #constraints=24904 521.01/521.26 c nbDecision=813000 #constraints=24920 521.81/522.06 c nbDecision=813500 #constraints=24937 522.41/522.68 c nbDecision=814000 #constraints=24951 523.01/523.27 c nbDecision=814500 #constraints=24963 523.71/523.92 c nbDecision=815000 #constraints=24976 524.21/524.46 c nbDecision=815500 #constraints=24988 524.71/524.92 c nbDecision=816000 #constraints=24997 525.21/525.49 c nbDecision=816500 #constraints=25012 525.81/526.06 c nbDecision=817000 #constraints=25025 526.41/526.63 c nbDecision=817500 #constraints=25041 526.91/527.15 c nbDecision=818000 #constraints=25054 527.61/527.80 c nbDecision=818500 #constraints=25072 528.21/528.41 c nbDecision=819000 #constraints=25087 528.51/528.71 c restart after 819201 decisions 529.31/529.50 c nbDecision=819500 #constraints=25093 529.31/529.59 c nbDecision=820000 #constraints=25093 530.21/530.48 c nbDecision=820500 #constraints=25103 530.61/530.89 c nbDecision=821000 #constraints=25111 531.51/531.79 c nbDecision=821500 #constraints=25131 532.21/532.43 c nbDecision=822000 #constraints=25148 532.71/532.94 c nbDecision=822500 #constraints=25163 533.11/533.35 c nbDecision=823000 #constraints=25175 533.51/533.71 c nbDecision=823500 #constraints=25182 534.01/534.23 c nbDecision=824000 #constraints=25193 534.51/534.76 c nbDecision=824500 #constraints=25201 535.41/535.69 c nbDecision=825000 #constraints=25221 536.11/536.36 c nbDecision=825500 #constraints=25238 536.61/536.83 c nbDecision=826000 #constraints=25251 537.11/537.37 c nbDecision=826500 #constraints=25266 537.81/538.06 c nbDecision=827000 #constraints=25282 538.41/538.61 c nbDecision=827500 #constraints=25298 538.90/539.16 c nbDecision=828000 #constraints=25314 539.70/539.91 c nbDecision=828500 #constraints=25332 540.30/540.56 c nbDecision=829000 #constraints=25352 540.80/541.10 c nbDecision=829500 #constraints=25365 541.70/541.91 c nbDecision=830000 #constraints=25382 542.11/542.31 c nbDecision=830500 #constraints=25391 542.80/543.01 c nbDecision=831000 #constraints=25407 543.60/543.84 c nbDecision=831500 #constraints=25435 544.10/544.32 c nbDecision=832000 #constraints=25450 544.70/544.94 c nbDecision=832500 #constraints=25464 545.20/545.45 c nbDecision=833000 #constraints=25474 545.80/546.00 c nbDecision=833500 #constraints=25486 546.20/546.42 c nbDecision=834000 #constraints=25496 546.70/546.92 c nbDecision=834500 #constraints=25510 547.90/548.11 c nbDecision=835000 #constraints=25544 548.60/548.86 c nbDecision=835500 #constraints=25564 549.10/549.39 c nbDecision=836000 #constraints=25578 549.80/550.01 c nbDecision=836500 #constraints=25595 550.30/550.59 c nbDecision=837000 #constraints=25608 551.20/551.41 c nbDecision=837500 #constraints=25635 551.90/552.16 c nbDecision=838000 #constraints=25652 552.40/552.64 c nbDecision=838500 #constraints=25663 553.10/553.31 c nbDecision=839000 #constraints=25678 553.50/553.79 c nbDecision=839500 #constraints=25691 554.10/554.32 c nbDecision=840000 #constraints=25703 554.60/554.85 c nbDecision=840500 #constraints=25714 555.10/555.36 c nbDecision=841000 #constraints=25727 555.60/555.84 c nbDecision=841500 #constraints=25737 556.20/556.44 c nbDecision=842000 #constraints=25758 556.70/556.97 c nbDecision=842500 #constraints=25774 557.30/557.53 c nbDecision=843000 #constraints=25787 557.80/558.04 c nbDecision=843500 #constraints=25805 558.30/558.55 c nbDecision=844000 #constraints=25818 558.80/559.05 c nbDecision=844500 #constraints=25834 559.39/559.62 c nbDecision=845000 #constraints=25850 559.89/560.17 c nbDecision=845500 #constraints=25870 560.49/560.72 c nbDecision=846000 #constraints=25886 560.89/561.18 c nbDecision=846500 #constraints=25899 561.59/561.81 c nbDecision=847000 #constraints=25919 562.09/562.39 c nbDecision=847500 #constraints=25933 562.69/562.99 c nbDecision=848000 #constraints=25950 563.49/563.71 c nbDecision=848500 #constraints=25965 564.19/564.46 c nbDecision=849000 #constraints=25983 564.89/565.14 c nbDecision=849500 #constraints=25998 565.59/565.82 c nbDecision=850000 #constraints=26008 566.09/566.32 c nbDecision=850500 #constraints=26015 566.69/566.94 c nbDecision=851000 #constraints=26025 567.19/567.43 c nbDecision=851500 #constraints=26036 567.89/568.10 c nbDecision=852000 #constraints=26047 568.39/568.68 c nbDecision=852500 #constraints=26059 569.09/569.33 c nbDecision=853000 #constraints=26072 569.69/569.96 c nbDecision=853500 #constraints=26085 570.29/570.52 c nbDecision=854000 #constraints=26095 570.89/571.18 c nbDecision=854500 #constraints=26109 571.49/571.78 c nbDecision=855000 #constraints=26121 572.09/572.33 c nbDecision=855500 #constraints=26129 572.69/572.95 c nbDecision=856000 #constraints=26140 573.29/573.50 c nbDecision=856500 #constraints=26151 573.99/574.27 c nbDecision=857000 #constraints=26169 574.59/574.88 c nbDecision=857500 #constraints=26179 575.39/575.61 c nbDecision=858000 #constraints=26195 576.09/576.36 c nbDecision=858500 #constraints=26211 576.79/577.00 c nbDecision=859000 #constraints=26221 577.39/577.67 c nbDecision=859500 #constraints=26234 577.99/578.20 c nbDecision=860000 #constraints=26244 578.69/578.91 c nbDecision=860500 #constraints=26261 579.09/579.35 c nbDecision=861000 #constraints=26268 579.79/580.03 c nbDecision=861500 #constraints=26283 580.39/580.67 c nbDecision=862000 #constraints=26298 580.99/581.27 c nbDecision=862500 #constraints=26311 581.49/581.80 c nbDecision=863000 #constraints=26325 582.29/582.52 c nbDecision=863500 #constraints=26340 582.99/583.23 c nbDecision=864000 #constraints=26358 583.59/583.80 c nbDecision=864500 #constraints=26371 584.19/584.43 c nbDecision=865000 #constraints=26385 584.79/585.06 c nbDecision=865500 #constraints=26398 585.39/585.64 c nbDecision=866000 #constraints=26410 586.48/586.74 c nbDecision=866500 #constraints=26433 586.98/587.27 c nbDecision=867000 #constraints=26443 587.59/587.87 c nbDecision=867500 #constraints=26452 588.29/588.55 c nbDecision=868000 #constraints=26464 589.08/589.31 c nbDecision=868500 #constraints=26484 589.98/590.26 c nbDecision=869000 #constraints=26503 590.58/590.87 c nbDecision=869500 #constraints=26514 591.18/591.48 c nbDecision=870000 #constraints=26526 591.98/592.27 c nbDecision=870500 #constraints=26545 592.68/592.93 c nbDecision=871000 #constraints=26565 593.18/593.40 c nbDecision=871500 #constraints=26578 593.58/593.85 c nbDecision=872000 #constraints=26588 593.98/594.23 c nbDecision=872500 #constraints=26598 594.38/594.66 c nbDecision=873000 #constraints=26611 595.28/595.54 c nbDecision=873500 #constraints=26635 595.78/596.10 c nbDecision=874000 #constraints=26646 596.28/596.57 c nbDecision=874500 #constraints=26654 596.88/597.16 c nbDecision=875000 #constraints=26666 597.68/597.98 c nbDecision=875500 #constraints=26681 598.48/598.80 c nbDecision=876000 #constraints=26695 599.18/599.49 c nbDecision=876500 #constraints=26709 599.88/600.18 c nbDecision=877000 #constraints=26719 600.58/600.84 c nbDecision=877500 #constraints=26731 601.38/601.65 c nbDecision=878000 #constraints=26746 602.08/602.38 c nbDecision=878500 #constraints=26756 602.88/603.18 c nbDecision=879000 #constraints=26773 603.48/603.70 c nbDecision=879500 #constraints=26784 603.98/604.24 c nbDecision=880000 #constraints=26794 604.58/604.81 c nbDecision=880500 #constraints=26805 605.07/605.36 c nbDecision=881000 #constraints=26815 605.68/605.90 c nbDecision=881500 #constraints=26830 606.38/606.65 c nbDecision=882000 #constraints=26851 606.88/607.16 c nbDecision=882500 #constraints=26867 607.78/608.00 c nbDecision=883000 #constraints=26884 608.38/608.65 c nbDecision=883500 #constraints=26897 608.98/609.26 c nbDecision=884000 #constraints=26909 609.58/609.83 c nbDecision=884500 #constraints=26921 610.48/610.74 c nbDecision=885000 #constraints=26940 611.08/611.34 c nbDecision=885500 #constraints=26954 611.38/611.64 c nbDecision=886000 #constraints=26961 612.08/612.32 c nbDecision=886500 #constraints=26979 612.68/612.91 c nbDecision=887000 #constraints=26990 613.38/613.70 c nbDecision=887500 #constraints=27005 614.28/614.54 c nbDecision=888000 #constraints=27025 615.18/615.46 c nbDecision=888500 #constraints=27048 615.58/615.88 c nbDecision=889000 #constraints=27057 616.18/616.46 c nbDecision=889500 #constraints=27066 616.68/616.98 c nbDecision=890000 #constraints=27077 617.18/617.48 c nbDecision=890500 #constraints=27090 617.77/618.03 c nbDecision=891000 #constraints=27102 618.17/618.48 c nbDecision=891500 #constraints=27114 618.87/619.12 c nbDecision=892000 #constraints=27127 619.47/619.77 c nbDecision=892500 #constraints=27142 620.27/620.50 c nbDecision=893000 #constraints=27161 620.97/621.25 c nbDecision=893500 #constraints=27182 621.57/621.90 c nbDecision=894000 #constraints=27197 622.17/622.44 c nbDecision=894500 #constraints=27210 622.77/623.07 c nbDecision=895000 #constraints=27225 623.48/623.78 c nbDecision=895500 #constraints=27242 623.97/624.29 c nbDecision=896000 #constraints=27256 624.58/624.88 c nbDecision=896500 #constraints=27268 625.07/625.36 c nbDecision=897000 #constraints=27279 625.87/626.18 c nbDecision=897500 #constraints=27297 626.67/626.98 c nbDecision=898000 #constraints=27318 627.37/627.67 c nbDecision=898500 #constraints=27332 627.97/628.29 c nbDecision=899000 #constraints=27349 628.77/629.02 c nbDecision=899500 #constraints=27362 629.37/629.65 c nbDecision=900000 #constraints=27376 629.97/630.29 c nbDecision=900500 #constraints=27392 630.57/630.89 c nbDecision=901000 #constraints=27406 631.17/631.48 c nbDecision=901500 #constraints=27422 631.67/631.98 c nbDecision=902000 #constraints=27435 632.37/632.68 c nbDecision=902500 #constraints=27457 633.07/633.36 c nbDecision=903000 #constraints=27472 633.57/633.88 c nbDecision=903500 #constraints=27484 634.07/634.39 c nbDecision=904000 #constraints=27499 634.67/634.95 c nbDecision=904500 #constraints=27515 635.17/635.41 c nbDecision=905000 #constraints=27533 635.57/635.85 c nbDecision=905500 #constraints=27545 636.47/636.78 c nbDecision=906000 #constraints=27571 637.26/637.50 c nbDecision=906500 #constraints=27596 637.67/637.99 c nbDecision=907000 #constraints=27609 638.06/638.38 c nbDecision=907500 #constraints=27619 638.87/639.11 c nbDecision=908000 #constraints=27638 639.56/639.88 c nbDecision=908500 #constraints=27659 640.76/641.04 c nbDecision=909000 #constraints=27694 641.26/641.55 c nbDecision=909500 #constraints=27715 642.07/642.31 c nbDecision=910000 #constraints=27744 642.56/642.81 c nbDecision=910500 #constraints=27765 643.27/643.52 c nbDecision=911000 #constraints=27795 643.66/643.92 c nbDecision=911500 #constraints=27810 643.96/644.24 c nbDecision=912000 #constraints=27821 644.46/644.74 c nbDecision=912500 #constraints=27834 645.06/645.35 c nbDecision=913000 #constraints=27856 645.66/645.93 c nbDecision=913500 #constraints=27875 646.46/646.79 c nbDecision=914000 #constraints=27893 647.16/647.47 c nbDecision=914500 #constraints=27909 648.06/648.38 c nbDecision=915000 #constraints=27934 648.96/649.21 c nbDecision=915500 #constraints=27957 649.86/650.19 c nbDecision=916000 #constraints=27984 650.36/650.65 c nbDecision=916500 #constraints=28000 650.96/651.28 c nbDecision=917000 #constraints=28022 651.36/651.67 c nbDecision=917500 #constraints=28039 652.25/652.51 c nbDecision=918000 #constraints=28061 652.75/653.05 c nbDecision=918500 #constraints=28076 653.45/653.74 c nbDecision=919000 #constraints=28084 653.95/654.24 c nbDecision=919500 #constraints=28094 654.55/654.82 c nbDecision=920000 #constraints=28102 655.56/655.82 c nbDecision=920500 #constraints=28122 656.16/656.47 c nbDecision=921000 #constraints=28144 656.65/656.93 c nbDecision=921500 #constraints=28159 656.95/657.27 c nbDecision=922000 #constraints=28171 657.25/657.58 c nbDecision=922500 #constraints=28182 657.95/658.23 c nbDecision=923000 #constraints=28201 658.76/659.09 c nbDecision=923500 #constraints=28221 659.46/659.78 c nbDecision=924000 #constraints=28240 659.86/660.15 c nbDecision=924500 #constraints=28253 660.46/660.77 c nbDecision=925000 #constraints=28268 660.96/661.24 c nbDecision=925500 #constraints=28286 662.16/662.41 c nbDecision=926000 #constraints=28314 662.66/662.98 c nbDecision=926500 #constraints=28325 663.26/663.51 c nbDecision=927000 #constraints=28340 664.36/664.64 c nbDecision=927500 #constraints=28370 664.86/665.16 c nbDecision=928000 #constraints=28382 665.56/665.84 c nbDecision=928500 #constraints=28399 666.06/666.37 c nbDecision=929000 #constraints=28415 666.76/667.02 c nbDecision=929500 #constraints=28427 667.36/667.61 c nbDecision=930000 #constraints=28443 667.76/668.07 c nbDecision=930500 #constraints=28455 668.26/668.50 c nbDecision=931000 #constraints=28468 668.56/668.89 c nbDecision=931500 #constraints=28480 668.96/669.27 c nbDecision=932000 #constraints=28494 669.46/669.75 c nbDecision=932500 #constraints=28508 669.96/670.27 c nbDecision=933000 #constraints=28521 670.46/670.76 c nbDecision=933500 #constraints=28533 671.05/671.33 c nbDecision=934000 #constraints=28551 671.45/671.70 c nbDecision=934500 #constraints=28564 672.35/672.69 c nbDecision=935000 #constraints=28586 672.96/673.28 c nbDecision=935500 #constraints=28600 674.06/674.36 c nbDecision=936000 #constraints=28627 674.65/674.90 c nbDecision=936500 #constraints=28649 674.95/675.27 c nbDecision=937000 #constraints=28662 675.25/675.59 c nbDecision=937500 #constraints=28672 676.05/676.35 c nbDecision=938000 #constraints=28702 676.45/676.76 c nbDecision=938500 #constraints=28719 676.75/677.07 c nbDecision=939000 #constraints=28730 677.35/677.60 c nbDecision=939500 #constraints=28748 677.95/678.28 c nbDecision=940000 #constraints=28769 678.45/678.74 c nbDecision=940500 #constraints=28780 679.35/679.68 c nbDecision=941000 #constraints=28796 680.05/680.36 c nbDecision=941500 #constraints=28807 681.05/681.36 c nbDecision=942000 #constraints=28822 681.65/681.98 c nbDecision=942500 #constraints=28830 682.25/682.52 c nbDecision=943000 #constraints=28838 682.85/683.15 c nbDecision=943500 #constraints=28852 683.45/683.75 c nbDecision=944000 #constraints=28863 684.05/684.30 c nbDecision=944500 #constraints=28876 684.55/684.85 c nbDecision=945000 #constraints=28890 684.95/685.23 c nbDecision=945500 #constraints=28899 685.25/685.54 c nbDecision=946000 #constraints=28906 685.45/685.79 c nbDecision=946500 #constraints=28912 686.15/686.50 c nbDecision=947000 #constraints=28933 687.05/687.37 c nbDecision=947500 #constraints=28957 687.65/687.97 c nbDecision=948000 #constraints=28970 688.15/688.43 c nbDecision=948500 #constraints=28979 688.55/688.81 c nbDecision=949000 #constraints=28986 689.25/689.58 c nbDecision=949500 #constraints=29005 689.84/690.13 c nbDecision=950000 #constraints=29016 690.64/690.96 c nbDecision=950500 #constraints=29030 691.34/691.68 c nbDecision=951000 #constraints=29045 692.34/692.61 c nbDecision=951500 #constraints=29066 693.24/693.53 c nbDecision=952000 #constraints=29088 693.75/694.00 c nbDecision=952500 #constraints=29099 694.34/694.64 c nbDecision=953000 #constraints=29113 695.04/695.33 c nbDecision=953500 #constraints=29129 695.84/696.14 c nbDecision=954000 #constraints=29147 696.44/696.76 c nbDecision=954500 #constraints=29167 697.15/697.43 c nbDecision=955000 #constraints=29185 697.64/697.95 c nbDecision=955500 #constraints=29194 698.54/698.88 c nbDecision=956000 #constraints=29222 699.25/699.56 c nbDecision=956500 #constraints=29250 699.74/700.08 c nbDecision=957000 #constraints=29269 700.54/700.80 c nbDecision=957500 #constraints=29287 701.14/701.45 c nbDecision=958000 #constraints=29307 701.74/702.00 c nbDecision=958500 #constraints=29322 702.24/702.52 c nbDecision=959000 #constraints=29332 702.94/703.24 c nbDecision=959500 #constraints=29360 703.64/703.92 c nbDecision=960000 #constraints=29381 704.14/704.44 c nbDecision=960500 #constraints=29393 704.64/704.92 c nbDecision=961000 #constraints=29402 705.14/705.44 c nbDecision=961500 #constraints=29414 705.84/706.13 c nbDecision=962000 #constraints=29431 706.54/706.87 c nbDecision=962500 #constraints=29459 707.04/707.32 c nbDecision=963000 #constraints=29472 707.54/707.82 c nbDecision=963500 #constraints=29483 708.14/708.42 c nbDecision=964000 #constraints=29495 708.64/708.91 c nbDecision=964500 #constraints=29508 709.64/709.97 c nbDecision=965000 #constraints=29529 710.04/710.34 c nbDecision=965500 #constraints=29542 710.34/710.64 c nbDecision=966000 #constraints=29550 711.04/711.36 c nbDecision=966500 #constraints=29568 711.74/712.04 c nbDecision=967000 #constraints=29585 712.14/712.50 c nbDecision=967500 #constraints=29594 712.64/712.97 c nbDecision=968000 #constraints=29605 713.04/713.34 c nbDecision=968500 #constraints=29618 713.44/713.74 c nbDecision=969000 #constraints=29631 713.64/713.96 c nbDecision=969500 #constraints=29640 714.24/714.53 c nbDecision=970000 #constraints=29653 714.94/715.24 c nbDecision=970500 #constraints=29671 715.43/715.78 c nbDecision=971000 #constraints=29680 716.33/716.69 c nbDecision=971500 #constraints=29699 716.94/717.29 c nbDecision=972000 #constraints=29712 717.94/718.25 c nbDecision=972500 #constraints=29744 718.83/719.18 c nbDecision=973000 #constraints=29772 719.83/720.13 c nbDecision=973500 #constraints=29796 720.53/720.85 c nbDecision=974000 #constraints=29808 721.43/721.71 c nbDecision=974500 #constraints=29838 722.13/722.45 c nbDecision=975000 #constraints=29857 723.23/723.57 c nbDecision=975500 #constraints=29887 724.03/724.36 c nbDecision=976000 #constraints=29912 724.63/724.98 c nbDecision=976500 #constraints=29931 725.24/725.59 c nbDecision=977000 #constraints=29951 726.04/726.39 c nbDecision=977500 #constraints=29977 726.74/727.03 c nbDecision=978000 #constraints=29996 727.34/727.63 c nbDecision=978500 #constraints=30012 727.84/728.15 c nbDecision=979000 #constraints=30027 728.54/728.89 c nbDecision=979500 #constraints=30043 729.04/729.36 c nbDecision=980000 #constraints=30055 729.93/730.30 c nbDecision=980500 #constraints=30075 730.43/730.79 c nbDecision=981000 #constraints=30088 730.93/731.28 c nbDecision=981500 #constraints=30101 731.43/731.76 c nbDecision=982000 #constraints=30115 731.83/732.18 c nbDecision=982500 #constraints=30126 732.24/732.54 c nbDecision=983000 #constraints=30139 732.53/732.81 c nbDecision=983500 #constraints=30146 733.13/733.48 c nbDecision=984000 #constraints=30161 733.93/734.26 c nbDecision=984500 #constraints=30194 734.23/734.59 c nbDecision=985000 #constraints=30211 734.93/735.23 c nbDecision=985500 #constraints=30228 735.64/735.97 c nbDecision=986000 #constraints=30244 736.43/736.78 c nbDecision=986500 #constraints=30269 737.13/737.42 c nbDecision=987000 #constraints=30280 737.73/738.08 c nbDecision=987500 #constraints=30297 738.83/739.19 c nbDecision=988000 #constraints=30334 739.53/739.82 c nbDecision=988500 #constraints=30356 739.83/740.16 c nbDecision=989000 #constraints=30369 740.23/740.58 c nbDecision=989500 #constraints=30383 741.03/741.40 c nbDecision=990000 #constraints=30399 741.63/741.94 c nbDecision=990500 #constraints=30409 742.23/742.56 c nbDecision=991000 #constraints=30419 742.83/743.16 c nbDecision=991500 #constraints=30434 743.33/743.66 c nbDecision=992000 #constraints=30445 743.83/744.18 c nbDecision=992500 #constraints=30454 744.53/744.82 c nbDecision=993000 #constraints=30470 745.23/745.55 c nbDecision=993500 #constraints=30490 746.13/746.42 c nbDecision=994000 #constraints=30508 747.13/747.41 c nbDecision=994500 #constraints=30532 748.03/748.32 c nbDecision=995000 #constraints=30554 748.83/749.11 c nbDecision=995500 #constraints=30569 749.42/749.70 c nbDecision=996000 #constraints=30578 750.22/750.58 c nbDecision=996500 #constraints=30612 750.82/751.19 c nbDecision=997000 #constraints=30633 751.42/751.78 c nbDecision=997500 #constraints=30649 752.13/752.45 c nbDecision=998000 #constraints=30660 752.82/753.17 c nbDecision=998500 #constraints=30684 753.13/753.49 c nbDecision=999000 #constraints=30699 754.33/754.68 c nbDecision=999500 #constraints=30737 755.02/755.38 c nbDecision=1000000 #constraints=30754 755.72/756.03 c nbDecision=1000500 #constraints=30777 756.32/756.64 c nbDecision=1001000 #constraints=30793 756.92/757.28 c nbDecision=1001500 #constraints=30817 757.42/757.80 c nbDecision=1002000 #constraints=30834 757.92/758.27 c nbDecision=1002500 #constraints=30848 758.62/758.97 c nbDecision=1003000 #constraints=30866 759.22/759.50 c nbDecision=1003500 #constraints=30881 760.02/760.32 c nbDecision=1004000 #constraints=30908 760.62/760.96 c nbDecision=1004500 #constraints=30931 761.32/761.62 c nbDecision=1005000 #constraints=30952 761.82/762.17 c nbDecision=1005500 #constraints=30972 762.32/762.65 c nbDecision=1006000 #constraints=30995 762.93/763.24 c nbDecision=1006500 #constraints=31018 763.42/763.76 c nbDecision=1007000 #constraints=31036 763.82/764.14 c nbDecision=1007500 #constraints=31052 764.13/764.48 c nbDecision=1008000 #constraints=31065 764.52/764.86 c nbDecision=1008500 #constraints=31083 765.23/765.54 c nbDecision=1009000 #constraints=31107 766.22/766.58 c nbDecision=1009500 #constraints=31140 767.12/767.46 c nbDecision=1010000 #constraints=31164 768.12/768.41 c nbDecision=1010500 #constraints=31201 769.02/769.31 c nbDecision=1011000 #constraints=31232 770.02/770.36 c nbDecision=1011500 #constraints=31272 770.72/771.08 c nbDecision=1012000 #constraints=31298 771.32/771.69 c nbDecision=1012500 #constraints=31315 772.12/772.40 c nbDecision=1013000 #constraints=31343 772.42/772.76 c nbDecision=1013500 #constraints=31360 772.72/773.01 c nbDecision=1014000 #constraints=31372 773.02/773.35 c nbDecision=1014500 #constraints=31388 773.62/773.92 c nbDecision=1015000 #constraints=31418 773.72/774.10 c nbDecision=1015500 #constraints=31426 774.12/774.42 c nbDecision=1016000 #constraints=31436 774.72/775.10 c nbDecision=1016500 #constraints=31452 775.52/775.84 c nbDecision=1017000 #constraints=31471 776.72/777.01 c nbDecision=1017500 #constraints=31501 777.82/778.11 c nbDecision=1018000 #constraints=31526 778.62/778.96 c nbDecision=1018500 #constraints=31545 779.22/779.52 c nbDecision=1019000 #constraints=31555 779.82/780.15 c nbDecision=1019500 #constraints=31570 780.22/780.56 c nbDecision=1020000 #constraints=31581 781.32/781.65 c nbDecision=1020500 #constraints=31613 782.31/782.64 c nbDecision=1021000 #constraints=31646 782.92/783.29 c nbDecision=1021500 #constraints=31667 783.31/783.66 c nbDecision=1022000 #constraints=31675 783.71/784.02 c nbDecision=1022500 #constraints=31680 784.11/784.40 c nbDecision=1023000 #constraints=31689 785.61/785.95 c nbDecision=1023500 #constraints=31747 786.41/786.72 c nbDecision=1024000 #constraints=31766 786.71/787.01 c nbDecision=1024500 #constraints=31774 786.91/787.29 c nbDecision=1025000 #constraints=31781 787.31/787.67 c nbDecision=1025500 #constraints=31795 787.81/788.13 c nbDecision=1026000 #constraints=31810 788.01/788.38 c nbDecision=1026500 #constraints=31814 788.31/788.66 c nbDecision=1027000 #constraints=31819 788.71/789.07 c nbDecision=1027500 #constraints=31835 788.81/789.18 c nbDecision=1028000 #constraints=31840 789.51/789.86 c nbDecision=1028500 #constraints=31867 790.01/790.36 c nbDecision=1029000 #constraints=31887 790.51/790.83 c nbDecision=1029500 #constraints=31904 790.71/791.07 c nbDecision=1030000 #constraints=31912 790.91/791.23 c nbDecision=1030500 #constraints=31916 791.11/791.49 c nbDecision=1031000 #constraints=31924 791.61/791.95 c nbDecision=1031500 #constraints=31930 793.31/793.68 c nbDecision=1032000 #constraints=31946 794.71/795.04 c nbDecision=1032500 #constraints=31961 795.31/795.69 c nbDecision=1033000 #constraints=31965 796.01/796.30 c nbDecision=1033500 #constraints=31969 796.61/796.91 c nbDecision=1034000 #constraints=31972 798.01/798.30 c nbDecision=1034500 #constraints=31982 798.61/798.96 c nbDecision=1035000 #constraints=31988 799.51/799.82 c nbDecision=1035500 #constraints=32000 800.11/800.45 c nbDecision=1036000 #constraints=32006 801.01/801.35 c nbDecision=1036500 #constraints=32019 801.90/802.27 c nbDecision=1037000 #constraints=32028 802.61/802.91 c nbDecision=1037500 #constraints=32036 803.50/803.85 c nbDecision=1038000 #constraints=32046 804.60/804.94 c nbDecision=1038500 #constraints=32062 805.20/805.54 c nbDecision=1039000 #constraints=32069 805.91/806.22 c nbDecision=1039500 #constraints=32080 806.50/806.87 c nbDecision=1040000 #constraints=32090 807.40/807.78 c nbDecision=1040500 #constraints=32106 808.20/808.58 c nbDecision=1041000 #constraints=32118 808.80/809.12 c nbDecision=1041500 #constraints=32123 809.30/809.68 c nbDecision=1042000 #constraints=32131 810.10/810.48 c nbDecision=1042500 #constraints=32144 810.80/811.18 c nbDecision=1043000 #constraints=32154 811.80/812.11 c nbDecision=1043500 #constraints=32174 812.50/812.87 c nbDecision=1044000 #constraints=32186 813.10/813.46 c nbDecision=1044500 #constraints=32194 813.70/814.05 c nbDecision=1045000 #constraints=32202 814.40/814.73 c nbDecision=1045500 #constraints=32213 815.10/815.42 c nbDecision=1046000 #constraints=32225 817.30/817.69 c nbDecision=1046500 #constraints=32248 819.20/819.53 c nbDecision=1047000 #constraints=32266 821.50/821.80 c nbDecision=1047500 #constraints=32291 823.00/823.34 c nbDecision=1048000 #constraints=32305 823.70/824.08 c nbDecision=1048500 #constraints=32315 824.30/824.65 c nbDecision=1049000 #constraints=32321 826.20/826.51 c nbDecision=1049500 #constraints=32335 827.59/827.95 c nbDecision=1050000 #constraints=32348 828.79/829.13 c nbDecision=1050500 #constraints=32358 830.39/830.71 c nbDecision=1051000 #constraints=32371 831.59/831.93 c nbDecision=1051500 #constraints=32383 833.40/833.77 c nbDecision=1052000 #constraints=32403 834.99/835.33 c nbDecision=1052500 #constraints=32416 836.19/836.50 c nbDecision=1053000 #constraints=32427 837.09/837.44 c nbDecision=1053500 #constraints=32435 837.99/838.34 c nbDecision=1054000 #constraints=32444 839.29/839.60 c nbDecision=1054500 #constraints=32459 840.59/840.95 c nbDecision=1055000 #constraints=32474 841.59/842.00 c nbDecision=1055500 #constraints=32485 842.39/842.75 c nbDecision=1056000 #constraints=32491 843.19/843.57 c nbDecision=1056500 #constraints=32500 846.20/846.51 c nbDecision=1057000 #constraints=32529 848.20/848.56 c nbDecision=1057500 #constraints=32553 849.30/849.64 c nbDecision=1058000 #constraints=32566 850.20/850.51 c nbDecision=1058500 #constraints=32574 850.90/851.30 c nbDecision=1059000 #constraints=32584 851.80/852.10 c nbDecision=1059500 #constraints=32593 853.30/853.67 c nbDecision=1060000 #constraints=32615 854.49/854.80 c nbDecision=1060500 #constraints=32627 855.40/855.75 c nbDecision=1061000 #constraints=32635 856.19/856.55 c nbDecision=1061500 #constraints=32642 857.19/857.51 c nbDecision=1062000 #constraints=32649 857.99/858.36 c nbDecision=1062500 #constraints=32656 859.29/859.66 c nbDecision=1063000 #constraints=32677 860.19/860.50 c nbDecision=1063500 #constraints=32687 861.19/861.57 c nbDecision=1064000 #constraints=32706 862.19/862.54 c nbDecision=1064500 #constraints=32718 862.99/863.39 c nbDecision=1065000 #constraints=32726 863.89/864.24 c nbDecision=1065500 #constraints=32731 864.69/865.06 c nbDecision=1066000 #constraints=32739 865.99/866.33 c nbDecision=1066500 #constraints=32764 866.79/867.12 c nbDecision=1067000 #constraints=32773 867.60/867.91 c nbDecision=1067500 #constraints=32783 870.49/870.81 c nbDecision=1068000 #constraints=32822 873.39/873.71 c nbDecision=1068500 #constraints=32862 876.39/876.72 c nbDecision=1069000 #constraints=32904 879.49/879.88 c nbDecision=1069500 #constraints=32945 883.69/884.02 c nbDecision=1070000 #constraints=33003 886.99/887.33 c nbDecision=1070500 #constraints=33048 890.18/890.52 c nbDecision=1071000 #constraints=33091 894.08/894.42 c nbDecision=1071500 #constraints=33144 897.08/897.40 c nbDecision=1072000 #constraints=33185 900.18/900.55 c nbDecision=1072500 #constraints=33225 904.08/904.44 c nbDecision=1073000 #constraints=33273 907.18/907.54 c nbDecision=1073500 #constraints=33313 909.97/910.33 c nbDecision=1074000 #constraints=33348 911.87/912.25 c nbDecision=1074500 #constraints=33375 914.57/914.92 c nbDecision=1075000 #constraints=33410 916.37/916.71 c nbDecision=1075500 #constraints=33431 918.37/918.71 c nbDecision=1076000 #constraints=33455 920.27/920.69 c nbDecision=1076500 #constraints=33480 922.27/922.64 c nbDecision=1077000 #constraints=33505 923.87/924.20 c nbDecision=1077500 #constraints=33524 926.47/926.81 c nbDecision=1078000 #constraints=33559 929.77/930.15 c nbDecision=1078500 #constraints=33606 932.77/933.19 c nbDecision=1079000 #constraints=33649 935.68/936.08 c nbDecision=1079500 #constraints=33685 937.67/938.05 c nbDecision=1080000 #constraints=33709 939.77/940.16 c nbDecision=1080500 #constraints=33735 942.97/943.38 c nbDecision=1081000 #constraints=33780 945.27/945.64 c nbDecision=1081500 #constraints=33810 946.47/946.83 c nbDecision=1082000 #constraints=33823 948.07/948.41 c nbDecision=1082500 #constraints=33847 948.87/949.29 c nbDecision=1083000 #constraints=33858 949.87/950.22 c nbDecision=1083500 #constraints=33869 951.27/951.68 c nbDecision=1084000 #constraints=33893 952.07/952.47 c nbDecision=1084500 #constraints=33903 952.97/953.38 c nbDecision=1085000 #constraints=33915 953.87/954.23 c nbDecision=1085500 #constraints=33927 954.87/955.25 c nbDecision=1086000 #constraints=33939 956.17/956.57 c nbDecision=1086500 #constraints=33965 957.07/957.44 c nbDecision=1087000 #constraints=33979 957.77/958.16 c nbDecision=1087500 #constraints=33989 959.27/959.65 c nbDecision=1088000 #constraints=34009 964.66/965.02 c nbDecision=1088500 #constraints=34056 969.56/969.90 c nbDecision=1089000 #constraints=34095 971.06/971.40 c nbDecision=1089500 #constraints=34114 972.56/972.94 c nbDecision=1090000 #constraints=34136 973.76/974.14 c nbDecision=1090500 #constraints=34158 974.55/974.94 c nbDecision=1091000 #constraints=34169 975.45/975.85 c nbDecision=1091500 #constraints=34185 980.15/980.56 c nbDecision=1092000 #constraints=34226 983.65/984.09 c nbDecision=1092500 #constraints=34252 985.75/986.15 c nbDecision=1093000 #constraints=34273 988.15/988.50 c nbDecision=1093500 #constraints=34295 991.45/991.87 c nbDecision=1094000 #constraints=34320 997.25/997.60 c nbDecision=1094500 #constraints=34369 1001.35/1001.79 c nbDecision=1095000 #constraints=34405 1005.14/1005.53 c nbDecision=1095500 #constraints=34438 1007.74/1008.11 c nbDecision=1096000 #constraints=34474 1008.54/1008.95 c nbDecision=1096500 #constraints=34489 1009.24/1009.69 c nbDecision=1097000 #constraints=34500 1010.45/1010.81 c nbDecision=1097500 #constraints=34524 1011.24/1011.60 c nbDecision=1098000 #constraints=34536 1011.94/1012.33 c nbDecision=1098500 #constraints=34546 1013.04/1013.40 c nbDecision=1099000 #constraints=34565 1013.74/1014.18 c nbDecision=1099500 #constraints=34578 1014.44/1014.84 c nbDecision=1100000 #constraints=34587 1016.25/1016.70 c nbDecision=1100500 #constraints=34610 1019.95/1020.30 c nbDecision=1101000 #constraints=34639 1022.65/1023.01 c nbDecision=1101500 #constraints=34664 1024.64/1025.05 c nbDecision=1102000 #constraints=34690 1027.14/1027.58 c nbDecision=1102500 #constraints=34726 1027.84/1028.29 c nbDecision=1103000 #constraints=34742 1028.84/1029.22 c nbDecision=1103500 #constraints=34755 1030.84/1031.23 c nbDecision=1104000 #constraints=34781 1034.14/1034.54 c nbDecision=1104500 #constraints=34828 1038.74/1039.10 c nbDecision=1105000 #constraints=34877 1042.04/1042.45 c nbDecision=1105500 #constraints=34905 1043.94/1044.33 c nbDecision=1106000 #constraints=34925 1045.24/1045.69 c nbDecision=1106500 #constraints=34940 1046.44/1046.80 c nbDecision=1107000 #constraints=34952 1047.54/1047.97 c nbDecision=1107500 #constraints=34968 1049.04/1049.42 c nbDecision=1108000 #constraints=34986 1050.34/1050.75 c nbDecision=1108500 #constraints=35004 1051.63/1052.05 c nbDecision=1109000 #constraints=35022 1052.43/1052.82 c nbDecision=1109500 #constraints=35033 1053.73/1054.10 c nbDecision=1110000 #constraints=35050 1054.54/1054.98 c nbDecision=1110500 #constraints=35061 1055.54/1055.93 c nbDecision=1111000 #constraints=35074 1056.83/1057.22 c nbDecision=1111500 #constraints=35090 1057.73/1058.19 c nbDecision=1112000 #constraints=35102 1059.13/1059.58 c nbDecision=1112500 #constraints=35119 1060.43/1060.85 c nbDecision=1113000 #constraints=35135 1063.43/1063.89 c nbDecision=1113500 #constraints=35164 1064.33/1064.76 c nbDecision=1114000 #constraints=35175 1065.82/1066.20 c nbDecision=1114500 #constraints=35189 1067.42/1067.83 c nbDecision=1115000 #constraints=35204 1069.22/1069.60 c nbDecision=1115500 #constraints=35219 1070.93/1071.32 c nbDecision=1116000 #constraints=35234 1073.92/1074.31 c nbDecision=1116500 #constraints=35269 1074.72/1075.11 c nbDecision=1117000 #constraints=35275 1075.42/1075.84 c nbDecision=1117500 #constraints=35282 1077.22/1077.61 c nbDecision=1118000 #constraints=35299 1078.82/1079.27 c nbDecision=1118500 #constraints=35316 1079.92/1080.30 c nbDecision=1119000 #constraints=35325 1080.72/1081.11 c nbDecision=1119500 #constraints=35332 1082.02/1082.41 c nbDecision=1120000 #constraints=35344 1082.82/1083.20 c nbDecision=1120500 #constraints=35353 1083.72/1084.15 c nbDecision=1121000 #constraints=35363 1084.32/1084.70 c nbDecision=1121500 #constraints=35369 1087.02/1087.46 c nbDecision=1122000 #constraints=35402 1087.52/1087.91 c nbDecision=1122500 #constraints=35407 1088.02/1088.48 c nbDecision=1123000 #constraints=35413 1088.52/1088.96 c nbDecision=1123500 #constraints=35418 1088.92/1089.35 c nbDecision=1124000 #constraints=35422 1089.42/1089.82 c nbDecision=1124500 #constraints=35427 1089.72/1090.13 c nbDecision=1125000 #constraints=35431 1091.72/1092.18 c nbDecision=1125500 #constraints=35447 1093.11/1093.55 c nbDecision=1126000 #constraints=35452 1094.41/1094.83 c nbDecision=1126500 #constraints=35457 1095.31/1095.72 c nbDecision=1127000 #constraints=35460 1096.22/1096.63 c nbDecision=1127500 #constraints=35463 1097.71/1098.11 c nbDecision=1128000 #constraints=35468 1098.81/1099.29 c nbDecision=1128500 #constraints=35472 1099.81/1100.27 c nbDecision=1129000 #constraints=35475 1101.31/1101.72 c nbDecision=1129500 #constraints=35480 1102.41/1102.88 c nbDecision=1130000 #constraints=35484 1103.31/1103.76 c nbDecision=1130500 #constraints=35487 1104.71/1105.14 c nbDecision=1131000 #constraints=35493 1105.72/1106.12 c nbDecision=1131500 #constraints=35497 1107.12/1107.58 c nbDecision=1132000 #constraints=35504 1108.12/1108.57 c nbDecision=1132500 #constraints=35508 1109.52/1109.99 c nbDecision=1133000 #constraints=35515 1110.72/1111.12 c nbDecision=1133500 #constraints=35520 1112.12/1112.51 c nbDecision=1134000 #constraints=35528 1113.51/1113.93 c nbDecision=1134500 #constraints=35537 1114.21/1114.60 c nbDecision=1135000 #constraints=35541 1115.31/1115.73 c nbDecision=1135500 #constraints=35547 1116.81/1117.20 c nbDecision=1136000 #constraints=35552 1118.81/1119.24 c nbDecision=1136500 #constraints=35570 1120.31/1120.78 c nbDecision=1137000 #constraints=35583 1121.71/1122.16 c nbDecision=1137500 #constraints=35593 1123.61/1124.02 c nbDecision=1138000 #constraints=35604 1125.21/1125.60 c nbDecision=1138500 #constraints=35614 1127.31/1127.71 c nbDecision=1139000 #constraints=35625 1128.71/1129.11 c nbDecision=1139500 #constraints=35634 1130.11/1130.52 c nbDecision=1140000 #constraints=35640 1131.51/1131.90 c nbDecision=1140500 #constraints=35646 1134.31/1134.70 c nbDecision=1141000 #constraints=35665 1135.71/1136.17 c nbDecision=1141500 #constraints=35674 1137.41/1137.82 c nbDecision=1142000 #constraints=35681 1138.21/1138.66 c nbDecision=1142500 #constraints=35685 1139.41/1139.86 c nbDecision=1143000 #constraints=35692 1141.01/1141.44 c nbDecision=1143500 #constraints=35696 1142.01/1142.48 c nbDecision=1144000 #constraints=35700 1143.61/1144.01 c nbDecision=1144500 #constraints=35708 1145.30/1145.76 c nbDecision=1145000 #constraints=35715 1146.20/1146.68 c nbDecision=1145500 #constraints=35718 1147.30/1147.71 c nbDecision=1146000 #constraints=35723 1149.20/1149.62 c nbDecision=1146500 #constraints=35730 1150.60/1151.05 c nbDecision=1147000 #constraints=35738 1152.20/1152.66 c nbDecision=1147500 #constraints=35743 1153.90/1154.36 c nbDecision=1148000 #constraints=35752 1155.50/1155.91 c nbDecision=1148500 #constraints=35761 1156.90/1157.32 c nbDecision=1149000 #constraints=35767 1158.20/1158.69 c nbDecision=1149500 #constraints=35781 1159.40/1159.84 c nbDecision=1150000 #constraints=35790 1160.90/1161.30 c nbDecision=1150500 #constraints=35799 1161.90/1162.33 c nbDecision=1151000 #constraints=35803 1162.90/1163.35 c nbDecision=1151500 #constraints=35814 1164.30/1164.72 c nbDecision=1152000 #constraints=35820 1165.50/1165.97 c nbDecision=1152500 #constraints=35825 1167.70/1168.13 c nbDecision=1153000 #constraints=35832 1169.00/1169.41 c nbDecision=1153500 #constraints=35838 1170.40/1170.82 c nbDecision=1154000 #constraints=35845 1171.40/1171.82 c nbDecision=1154500 #constraints=35848 1172.00/1172.41 c nbDecision=1155000 #constraints=35852 1172.50/1172.92 c nbDecision=1155500 #constraints=35855 1173.20/1173.65 c nbDecision=1156000 #constraints=35860 1174.20/1174.69 c nbDecision=1156500 #constraints=35866 1175.59/1176.06 c nbDecision=1157000 #constraints=35875 1176.69/1177.19 c nbDecision=1157500 #constraints=35881 1178.70/1179.12 c nbDecision=1158000 #constraints=35888 1179.99/1180.49 c nbDecision=1158500 #constraints=35895 1181.39/1181.88 c nbDecision=1159000 #constraints=35902 1182.79/1183.26 c nbDecision=1159500 #constraints=35906 1185.09/1185.52 c nbDecision=1160000 #constraints=35918 1186.29/1186.80 c nbDecision=1160500 #constraints=35926 1188.29/1188.78 c nbDecision=1161000 #constraints=35936 1190.29/1190.73 c nbDecision=1161500 #constraints=35948 1191.89/1192.35 c nbDecision=1162000 #constraints=35957 1193.39/1193.82 c nbDecision=1162500 #constraints=35964 1194.79/1195.24 c nbDecision=1163000 #constraints=35972 1196.69/1197.20 c nbDecision=1163500 #constraints=35979 1197.99/1198.42 c nbDecision=1164000 #constraints=35990 1199.19/1199.68 c nbDecision=1164500 #constraints=35997 1200.99/1201.45 c nbDecision=1165000 #constraints=36003 1202.99/1203.45 c nbDecision=1165500 #constraints=36012 1204.98/1205.48 c nbDecision=1166000 #constraints=36021 1206.29/1206.74 c nbDecision=1166500 #constraints=36025 1207.18/1207.67 c nbDecision=1167000 #constraints=36028 1208.08/1208.57 c nbDecision=1167500 #constraints=36031 1209.98/1210.46 c nbDecision=1168000 #constraints=36041 1210.98/1211.46 c nbDecision=1168500 #constraints=36046 1212.28/1212.76 c nbDecision=1169000 #constraints=36052 1213.99/1214.48 c nbDecision=1169500 #constraints=36063 1214.99/1215.40 c nbDecision=1170000 #constraints=36066 1216.09/1216.58 c nbDecision=1170500 #constraints=36071 1217.38/1217.88 c nbDecision=1171000 #constraints=36076 1218.28/1218.80 c nbDecision=1171500 #constraints=36080 1219.78/1220.20 c nbDecision=1172000 #constraints=36088 1221.78/1222.20 c nbDecision=1172500 #constraints=36098 1222.58/1223.06 c nbDecision=1173000 #constraints=36102 1223.68/1224.14 c nbDecision=1173500 #constraints=36108 1225.28/1225.74 c nbDecision=1174000 #constraints=36118 1226.28/1226.72 c nbDecision=1174500 #constraints=36122 1227.38/1227.85 c nbDecision=1175000 #constraints=36126 1228.38/1228.83 c nbDecision=1175500 #constraints=36129 1230.18/1230.69 c nbDecision=1176000 #constraints=36138 1232.68/1233.18 c nbDecision=1176500 #constraints=36151 1233.88/1234.30 c nbDecision=1177000 #constraints=36155 1234.78/1235.28 c nbDecision=1177500 #constraints=36158 1236.48/1236.93 c nbDecision=1178000 #constraints=36169 1238.18/1238.62 c nbDecision=1178500 #constraints=36177 1240.07/1240.58 c nbDecision=1179000 #constraints=36189 1242.48/1242.91 c nbDecision=1179500 #constraints=36203 1244.47/1244.97 c nbDecision=1180000 #constraints=36210 1246.47/1246.91 c nbDecision=1180500 #constraints=36217 1248.17/1248.65 c nbDecision=1181000 #constraints=36222 1250.17/1250.67 c nbDecision=1181500 #constraints=36229 1251.57/1252.03 c nbDecision=1182000 #constraints=36233 1253.17/1253.69 c nbDecision=1182500 #constraints=36239 1254.87/1255.37 c nbDecision=1183000 #constraints=36248 1255.67/1256.17 c nbDecision=1183500 #constraints=36255 1256.87/1257.34 c nbDecision=1184000 #constraints=36262 1258.17/1258.65 c nbDecision=1184500 #constraints=36268 1260.17/1260.60 c nbDecision=1185000 #constraints=36284 1261.37/1261.81 c nbDecision=1185500 #constraints=36293 1262.87/1263.36 c nbDecision=1186000 #constraints=36302 1264.37/1264.90 c nbDecision=1186500 #constraints=36309 1266.16/1266.62 c nbDecision=1187000 #constraints=36316 1267.17/1267.68 c nbDecision=1187500 #constraints=36321 1268.88/1269.36 c nbDecision=1188000 #constraints=36330 1269.77/1270.24 c nbDecision=1188500 #constraints=36333 1270.67/1271.15 c nbDecision=1189000 #constraints=36336 1271.77/1272.21 c nbDecision=1189500 #constraints=36342 1272.97/1273.43 c nbDecision=1190000 #constraints=36351 1274.27/1274.73 c nbDecision=1190500 #constraints=36360 1276.17/1276.65 c nbDecision=1191000 #constraints=36372 1278.17/1278.66 c nbDecision=1191500 #constraints=36380 1279.77/1280.20 c nbDecision=1192000 #constraints=36386 1281.47/1281.97 c nbDecision=1192500 #constraints=36393 1282.57/1283.06 c nbDecision=1193000 #constraints=36397 1283.57/1284.08 c nbDecision=1193500 #constraints=36401 1285.67/1286.12 c nbDecision=1194000 #constraints=36417 1287.67/1288.14 c nbDecision=1194500 #constraints=36425 1289.47/1289.91 c nbDecision=1195000 #constraints=36431 1290.56/1291.05 c nbDecision=1195500 #constraints=36434 1291.36/1291.87 c nbDecision=1196000 #constraints=36436 1292.46/1292.90 c nbDecision=1196500 #constraints=36439 1297.66/1298.14 c nbDecision=1197000 #constraints=36460 1299.56/1300.07 c nbDecision=1197500 #constraints=36468 1301.66/1302.10 c nbDecision=1198000 #constraints=36476 1303.06/1303.57 c nbDecision=1198500 #constraints=36483 1304.36/1304.86 c nbDecision=1199000 #constraints=36487 1305.46/1305.97 c nbDecision=1199500 #constraints=36493 1306.76/1307.26 c nbDecision=1200000 #constraints=36501 1307.66/1308.14 c nbDecision=1200500 #constraints=36505 1309.46/1309.96 c nbDecision=1201000 #constraints=36512 1310.96/1311.49 c nbDecision=1201500 #constraints=36519 1312.46/1312.97 c nbDecision=1202000 #constraints=36526 1314.06/1314.59 c nbDecision=1202500 #constraints=36532 1315.16/1315.62 c nbDecision=1203000 #constraints=36538 1316.06/1316.54 c nbDecision=1203500 #constraints=36544 1317.06/1317.52 c nbDecision=1204000 #constraints=36550 1318.25/1318.73 c nbDecision=1204500 #constraints=36558 1319.56/1320.02 c nbDecision=1205000 #constraints=36566 1320.66/1321.16 c nbDecision=1205500 #constraints=36574 1322.25/1322.74 c nbDecision=1206000 #constraints=36585 1323.25/1323.72 c nbDecision=1206500 #constraints=36589 1325.25/1325.78 c nbDecision=1207000 #constraints=36598 1326.45/1326.99 c nbDecision=1207500 #constraints=36602 1327.55/1328.01 c nbDecision=1208000 #constraints=36606 1328.45/1328.97 c nbDecision=1208500 #constraints=36612 1329.45/1329.95 c nbDecision=1209000 #constraints=36619 1330.65/1331.18 c nbDecision=1209500 #constraints=36626 1331.95/1332.41 c nbDecision=1210000 #constraints=36634 1333.15/1333.65 c nbDecision=1210500 #constraints=36642 1335.15/1335.63 c nbDecision=1211000 #constraints=36652 1336.75/1337.26 c nbDecision=1211500 #constraints=36660 1338.64/1339.10 c nbDecision=1212000 #constraints=36669 1343.44/1343.97 c nbDecision=1212500 #constraints=36692 1347.34/1347.89 c nbDecision=1213000 #constraints=36708 1349.44/1349.93 c nbDecision=1213500 #constraints=36719 1350.54/1351.04 c nbDecision=1214000 #constraints=36725 1351.94/1352.40 c nbDecision=1214500 #constraints=36730 1353.04/1353.57 c nbDecision=1215000 #constraints=36736 1353.74/1354.29 c nbDecision=1215500 #constraints=36739 1354.74/1355.22 c nbDecision=1216000 #constraints=36742 1356.54/1357.08 c nbDecision=1216500 #constraints=36749 1358.04/1358.54 c nbDecision=1217000 #constraints=36755 1360.44/1360.97 c nbDecision=1217500 #constraints=36769 1362.94/1363.47 c nbDecision=1218000 #constraints=36781 1364.54/1365.00 c nbDecision=1218500 #constraints=36791 1366.14/1366.66 c nbDecision=1219000 #constraints=36802 1368.24/1368.79 c nbDecision=1219500 #constraints=36813 1370.73/1371.21 c nbDecision=1220000 #constraints=36825 1373.53/1374.06 c nbDecision=1220500 #constraints=36841 1374.73/1375.20 c nbDecision=1221000 #constraints=36845 1375.93/1376.48 c nbDecision=1221500 #constraints=36851 1377.43/1377.99 c nbDecision=1222000 #constraints=36858 1379.43/1379.99 c nbDecision=1222500 #constraints=36866 1380.63/1381.19 c nbDecision=1223000 #constraints=36870 1382.43/1382.99 c nbDecision=1223500 #constraints=36877 1384.84/1385.32 c nbDecision=1224000 #constraints=36885 1386.94/1387.49 c nbDecision=1224500 #constraints=36896 1388.04/1388.59 c nbDecision=1225000 #constraints=36900 1389.73/1390.27 c nbDecision=1225500 #constraints=36906 1392.53/1393.04 c nbDecision=1226000 #constraints=36916 1395.03/1395.51 c nbDecision=1226500 #constraints=36926 1397.03/1397.54 c nbDecision=1227000 #constraints=36938 1398.93/1399.43 c nbDecision=1227500 #constraints=36947 1400.43/1400.91 c nbDecision=1228000 #constraints=36956 1401.73/1402.30 c nbDecision=1228500 #constraints=36965 1406.43/1406.91 c nbDecision=1229000 #constraints=36984 1409.22/1409.75 c nbDecision=1229500 #constraints=37000 1411.32/1411.85 c nbDecision=1230000 #constraints=37015 1413.82/1414.31 c nbDecision=1230500 #constraints=37030 1415.13/1415.63 c nbDecision=1231000 #constraints=37035 1416.82/1417.30 c nbDecision=1231500 #constraints=37042 1417.62/1418.19 c nbDecision=1232000 #constraints=37045 1418.53/1419.08 c nbDecision=1232500 #constraints=37048 1421.92/1422.46 c nbDecision=1233000 #constraints=37062 1422.92/1423.45 c nbDecision=1233500 #constraints=37065 1423.92/1424.43 c nbDecision=1234000 #constraints=37068 1426.32/1426.84 c nbDecision=1234500 #constraints=37077 1429.92/1430.44 c nbDecision=1235000 #constraints=37091 1432.52/1433.02 c nbDecision=1235500 #constraints=37101 1435.72/1436.28 c nbDecision=1236000 #constraints=37113 1438.22/1438.75 c nbDecision=1236500 #constraints=37122 1440.71/1441.27 c nbDecision=1237000 #constraints=37131 1443.41/1443.98 c nbDecision=1237500 #constraints=37141 1446.82/1447.32 c nbDecision=1238000 #constraints=37153 1449.32/1449.89 c nbDecision=1238500 #constraints=37163 1453.22/1453.72 c nbDecision=1239000 #constraints=37178 1454.82/1455.38 c nbDecision=1239500 #constraints=37184 1456.82/1457.35 c nbDecision=1240000 #constraints=37191 1458.32/1458.80 c nbDecision=1240500 #constraints=37196 1460.72/1461.30 c nbDecision=1241000 #constraints=37205 1463.32/1463.82 c nbDecision=1241500 #constraints=37214 1466.11/1466.60 c nbDecision=1242000 #constraints=37225 1468.51/1469.01 c nbDecision=1242500 #constraints=37235 1471.71/1472.28 c nbDecision=1243000 #constraints=37248 1475.91/1476.48 c nbDecision=1243500 #constraints=37265 1479.41/1479.94 c nbDecision=1244000 #constraints=37278 1483.01/1483.51 c nbDecision=1244500 #constraints=37292 1485.41/1485.97 c nbDecision=1245000 #constraints=37301 1488.31/1488.86 c nbDecision=1245500 #constraints=37311 1491.01/1491.51 c nbDecision=1246000 #constraints=37320 1494.61/1495.12 c nbDecision=1246500 #constraints=37333 1496.40/1496.96 c nbDecision=1247000 #constraints=37339 1497.71/1498.27 c nbDecision=1247500 #constraints=37342 1501.20/1501.70 c nbDecision=1248000 #constraints=37356 1502.40/1502.99 c nbDecision=1248500 #constraints=37359 1508.00/1508.58 c nbDecision=1249000 #constraints=37381 1509.80/1510.39 c nbDecision=1249500 #constraints=37388 1512.90/1513.44 c nbDecision=1250000 #constraints=37399 1515.30/1515.84 c nbDecision=1250500 #constraints=37408 1517.50/1518.08 c nbDecision=1251000 #constraints=37416 1519.90/1520.40 c nbDecision=1251500 #constraints=37425 1521.40/1521.95 c nbDecision=1252000 #constraints=37431 1523.60/1524.19 c nbDecision=1252500 #constraints=37439 1527.30/1527.89 c nbDecision=1253000 #constraints=37454 1529.19/1529.71 c nbDecision=1253500 #constraints=37461 1533.59/1534.18 c nbDecision=1254000 #constraints=37478 1536.29/1536.85 c nbDecision=1254500 #constraints=37488 1537.79/1538.39 c nbDecision=1255000 #constraints=37493 1538.99/1539.58 c nbDecision=1255500 #constraints=37497 1540.19/1540.74 c nbDecision=1256000 #constraints=37501 1541.09/1541.68 c nbDecision=1256500 #constraints=37504 1543.89/1544.42 c nbDecision=1257000 #constraints=37515 1547.59/1548.15 c nbDecision=1257500 #constraints=37530 1550.59/1551.10 c nbDecision=1258000 #constraints=37544 1554.89/1555.46 c nbDecision=1258500 #constraints=37561 1556.29/1556.88 c nbDecision=1259000 #constraints=37568 1558.39/1558.99 c nbDecision=1259500 #constraints=37576 1559.58/1560.19 c nbDecision=1260000 #constraints=37580 1561.08/1561.64 c nbDecision=1260500 #constraints=37585 1564.98/1565.56 c nbDecision=1261000 #constraints=37603 1567.58/1568.19 c nbDecision=1261500 #constraints=37615 1571.88/1572.44 c nbDecision=1262000 #constraints=37631 1574.58/1575.19 c nbDecision=1262500 #constraints=37642 1576.28/1576.83 c nbDecision=1263000 #constraints=37649 1581.88/1582.45 c nbDecision=1263500 #constraints=37672 1586.17/1586.79 c nbDecision=1264000 #constraints=37690 1589.37/1589.98 c nbDecision=1264500 #constraints=37703 1594.77/1595.30 c nbDecision=1265000 #constraints=37722 1599.67/1600.28 c nbDecision=1265500 #constraints=37739 1603.67/1604.22 c nbDecision=1266000 #constraints=37752 1608.47/1609.02 c nbDecision=1266500 #constraints=37769 1611.57/1612.14 c nbDecision=1267000 #constraints=37781 1614.96/1615.52 c nbDecision=1267500 #constraints=37793 1617.26/1617.83 c nbDecision=1268000 #constraints=37802 1620.36/1620.99 c nbDecision=1268500 #constraints=37813 1624.77/1625.32 c nbDecision=1269000 #constraints=37829 1626.87/1627.46 c nbDecision=1269500 #constraints=37839 1628.97/1629.51 c nbDecision=1270000 #constraints=37846 1630.27/1630.83 c nbDecision=1270500 #constraints=37850 1631.96/1632.58 c nbDecision=1271000 #constraints=37856 1634.96/1635.58 c nbDecision=1271500 #constraints=37867 1637.76/1638.35 c nbDecision=1272000 #constraints=37879 1641.67/1642.29 c nbDecision=1272500 #constraints=37893 1645.06/1645.68 c nbDecision=1273000 #constraints=37905 1649.36/1649.99 c nbDecision=1273500 #constraints=37920 1652.36/1652.92 c nbDecision=1274000 #constraints=37931 1654.36/1654.94 c nbDecision=1274500 #constraints=37939 1655.46/1656.03 c nbDecision=1275000 #constraints=37946 1656.96/1657.53 c nbDecision=1275500 #constraints=37954 1659.56/1660.14 c nbDecision=1276000 #constraints=37966 1661.36/1661.93 c nbDecision=1276500 #constraints=37976 1662.96/1663.55 c nbDecision=1277000 #constraints=37985 1664.95/1665.53 c nbDecision=1277500 #constraints=37996 1666.96/1667.53 c nbDecision=1278000 #constraints=38005 1671.25/1671.88 c nbDecision=1278500 #constraints=38023 1673.85/1674.49 c nbDecision=1279000 #constraints=38032 1677.05/1677.61 c nbDecision=1279500 #constraints=38043 1679.75/1680.36 c nbDecision=1280000 #constraints=38056 1680.95/1681.59 c nbDecision=1280500 #constraints=38061 1682.85/1683.48 c nbDecision=1281000 #constraints=38069 1684.05/1684.69 c nbDecision=1281500 #constraints=38072 1686.14/1686.73 c nbDecision=1282000 #constraints=38078 1689.74/1690.30 c nbDecision=1282500 #constraints=38093 1692.44/1693.05 c nbDecision=1283000 #constraints=38106 1695.24/1695.87 c nbDecision=1283500 #constraints=38118 1699.14/1699.71 c nbDecision=1284000 #constraints=38132 1701.74/1702.30 c nbDecision=1284500 #constraints=38141 1705.04/1705.63 c nbDecision=1285000 #constraints=38152 1707.44/1708.07 c nbDecision=1285500 #constraints=38162 1709.74/1710.35 c nbDecision=1286000 #constraints=38170 1712.64/1713.24 c nbDecision=1286500 #constraints=38181 1715.44/1716.02 c nbDecision=1287000 #constraints=38191 1718.74/1719.30 c nbDecision=1287500 #constraints=38203 1722.23/1722.86 c nbDecision=1288000 #constraints=38216 1725.43/1726.02 c nbDecision=1288500 #constraints=38229 1729.44/1730.06 c nbDecision=1289000 #constraints=38243 1732.64/1733.21 c nbDecision=1289500 #constraints=38258 1733.54/1734.15 c nbDecision=1290000 #constraints=38265 1735.04/1735.67 c nbDecision=1290500 #constraints=38271 1736.44/1737.07 c nbDecision=1291000 #constraints=38279 1738.84/1739.44 c nbDecision=1291500 #constraints=38290 1741.64/1742.26 c nbDecision=1292000 #constraints=38303 1742.84/1743.47 c nbDecision=1292500 #constraints=38307 1746.03/1746.66 c nbDecision=1293000 #constraints=38320 1747.53/1748.14 c nbDecision=1293500 #constraints=38325 1750.73/1751.37 c nbDecision=1294000 #constraints=38339 1753.93/1754.56 c nbDecision=1294500 #constraints=38353 1757.33/1757.96 c nbDecision=1295000 #constraints=38368 1760.23/1760.82 c nbDecision=1295500 #constraints=38381 1763.03/1763.69 c nbDecision=1296000 #constraints=38396 1766.03/1766.62 c nbDecision=1296500 #constraints=38408 1768.53/1769.14 c nbDecision=1297000 #constraints=38418 1771.43/1772.00 c nbDecision=1297500 #constraints=38431 1773.63/1774.27 c nbDecision=1298000 #constraints=38442 1775.22/1775.86 c nbDecision=1298500 #constraints=38449 1777.12/1777.77 c nbDecision=1299000 #constraints=38457 1778.13/1778.72 c nbDecision=1299500 #constraints=38460 1780.62/1781.28 c nbDecision=1300000 #constraints=38473 1783.42/1784.05 c nbDecision=1300500 #constraints=38485 1785.82/1786.46 c nbDecision=1301000 #constraints=38497 1788.32/1788.92 c nbDecision=1301500 #constraints=38508 1791.52/1792.11 c nbDecision=1302000 #constraints=38522 1794.32/1794.95 c nbDecision=1302500 #constraints=38533 1797.12/1797.72 c nbDecision=1303000 #constraints=38545 1799.72/1800.39 c nbDecision=1303500 #constraints=38555 1800.02/1800.61 Received signal 15 1800.21/1800.88 1800.21/1800.88 s UNKNOWN 1800.21/1800.88 1800.21/1800.88 c user time= 1799.98 s 1800.21/1800.88 c system time= 0.32695 s 1800.21/1800.88 c wall clock time=1800.88
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-357444-1176999078 -o ROOT/results/node27/solver-357444-1176999078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357444-1176999078/instance-357444-1176999078.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: 1.00 1.00 1.00 2/65 26493 /proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=1468 CPUtime=0 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 112603690 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 367 162 131 317 0 46 0 [startup+0.083441 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26493 /proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=2788 CPUtime=0.07 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 517 0 0 0 7 0 0 0 18 0 1 0 112603690 2854912 499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 697 499 131 317 0 376 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2788 [startup+0.101443 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26493 /proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=3184 CPUtime=0.09 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 593 0 0 0 9 0 0 0 18 0 1 0 112603690 3260416 575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 796 575 131 317 0 475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3184 [startup+0.301463 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26493 /proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=4952 CPUtime=0.29 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1058 0 0 0 29 0 0 0 19 0 1 0 112603690 5070848 1040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 1238 1040 138 317 0 917 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.701503 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26493 /proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=5088 CPUtime=0.69 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1090 0 0 0 69 0 0 0 22 0 1 0 112603690 5210112 1072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 1272 1072 139 317 0 951 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5088 [startup+1.50158 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1427496/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=5348 CPUtime=1.49 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1139 0 0 0 149 0 0 0 25 0 1 0 112603690 5476352 1121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 1337 1121 139 317 0 1016 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5348 [startup+3.10175 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1426920/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=5876 CPUtime=3.09 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1313 0 0 0 309 0 0 0 25 0 1 0 112603690 6017024 1295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 1469 1295 170 317 0 1148 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5876 [startup+6.30208 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1425320/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=7596 CPUtime=6.29 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1713 0 0 0 627 2 0 0 25 0 1 0 112603690 7778304 1695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 1899 1695 170 317 0 1578 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7596 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1423016/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=9712 CPUtime=12.69 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 2220 0 0 0 1267 2 0 0 25 0 1 0 112603690 9945088 2202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 2428 2202 170 317 0 2107 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9712 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1419560/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=12912 CPUtime=25.49 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 3069 0 0 0 2546 3 0 0 25 0 1 0 112603690 13221888 3018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 3228 3018 170 317 0 2907 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12912 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1414504/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=18300 CPUtime=51.08 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 4348 0 0 0 5104 4 0 0 25 0 1 0 112603690 18739200 4297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 4575 4297 170 317 0 4254 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18300 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1405224/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=28272 CPUtime=102.27 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 6688 0 0 0 10221 6 0 0 25 0 1 0 112603690 28950528 6572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 7068 6572 170 317 0 6747 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28272 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1396008/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=38068 CPUtime=162.25 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 9004 0 0 0 16216 9 0 0 25 0 1 0 112603690 38981632 8888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 9517 8888 170 317 0 9196 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38068 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1387816/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=45928 CPUtime=222.22 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 11012 0 0 0 22211 11 0 0 25 0 1 0 112603690 47030272 10896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 11482 10896 170 317 0 11161 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 45928 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1381224/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=52016 CPUtime=282.2 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 12672 0 0 0 28207 13 0 0 25 0 1 0 112603690 53264384 12556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 13004 12556 170 317 0 12683 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 52016 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1375144/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=60992 CPUtime=342.18 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 14816 0 0 0 34203 15 0 0 25 0 1 0 112603690 62455808 14011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 15248 14011 170 317 0 14927 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 60992 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1371496/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=65180 CPUtime=402.15 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 15911 0 0 0 40199 16 0 0 25 0 1 0 112603690 66744320 14941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 16295 14941 170 317 0 15974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 65180 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1367656/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=68616 CPUtime=462.12 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 16861 0 0 0 46195 17 0 0 25 0 1 0 112603690 70262784 15891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 17154 15891 170 317 0 16833 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 68616 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1363880/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=72792 CPUtime=522.11 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 18007 0 0 0 52192 19 0 0 25 0 1 0 112603690 74539008 16872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 18198 16872 170 317 0 17877 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 72792 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1360488/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=76344 CPUtime=582.09 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 18957 0 0 0 58190 19 0 0 25 0 1 0 112603690 78176256 17723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 19086 17723 170 317 0 18765 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 76344 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1356904/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=79644 CPUtime=642.07 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 19871 0 0 0 64187 20 0 0 25 0 1 0 112603690 81555456 18604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 19911 18604 170 317 0 19590 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 79644 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26494 /proc/meminfo: memFree=1342248/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=92976 CPUtime=941.97 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 23643 0 0 0 94172 25 0 0 25 0 1 0 112603690 95207424 22244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 23244 22244 170 317 0 22923 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 92976 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1340584/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=94416 CPUtime=1001.95 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 24072 0 0 0 100170 25 0 0 25 0 1 0 112603690 96681984 22640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 23604 22640 170 317 0 23283 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 94416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1338728/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=95992 CPUtime=1061.93 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 24526 0 0 0 106167 26 0 0 25 0 1 0 112603690 98295808 23094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 23998 23094 170 317 0 23677 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 95992 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1337512/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=99744 CPUtime=1121.91 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 25472 0 0 0 112164 27 0 0 25 0 1 0 112603690 102137856 23390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 24936 23390 170 317 0 24615 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 99744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1336680/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=101412 CPUtime=1181.89 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 25903 0 0 0 118162 27 0 0 25 0 1 0 112603690 103845888 23626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 25353 23626 170 317 0 25032 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 101412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1335848/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=102208 CPUtime=1241.87 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26111 0 0 0 124160 27 0 0 25 0 1 0 112603690 104660992 23834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 25552 23834 170 317 0 25231 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 102208 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1334824/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=103012 CPUtime=1301.87 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26353 0 0 0 130159 28 0 0 25 0 1 0 112603690 105484288 24076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 25753 24076 170 317 0 25432 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 103012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1333928/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=103836 CPUtime=1361.84 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26576 0 0 0 136156 28 0 0 25 0 1 0 112603690 106328064 24299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 25959 24299 170 317 0 25638 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 103836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1332968/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=104900 CPUtime=1421.82 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26853 0 0 0 142153 29 0 0 25 0 1 0 112603690 107417600 24543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 26225 24543 170 317 0 25904 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 104900 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1331496/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=107168 CPUtime=1481.81 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27431 0 0 0 148151 30 0 0 25 0 1 0 112603690 109740032 24867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 26792 24867 170 317 0 26471 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 107168 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1331560/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=107168 CPUtime=1541.79 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27443 0 0 0 154149 30 0 0 25 0 1 0 112603690 109740032 24879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 26792 24879 170 317 0 26471 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 107168 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1330856/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=107972 CPUtime=1601.77 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27658 0 0 0 160147 30 0 0 25 0 1 0 112603690 110563328 25029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 26993 25029 170 317 0 26672 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 107972 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1330088/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=108620 CPUtime=1661.76 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27855 0 0 0 166145 31 0 0 25 0 1 0 112603690 111226880 25226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 27155 25226 170 317 0 26834 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 108620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1329256/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=109664 CPUtime=1721.73 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28127 0 0 0 172142 31 0 0 25 0 1 0 112603690 112295936 25433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 27416 25433 170 317 0 27095 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 109664 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1328296/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=110524 CPUtime=1781.72 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28369 0 0 0 178140 32 0 0 25 0 1 0 112603690 113176576 25675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 27631 25675 170 317 0 27310 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 110524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1328040/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=110748 CPUtime=1800.02 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28435 0 0 0 179970 32 0 0 25 0 1 0 112603690 113405952 25741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 27687 25741 170 317 0 27366 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 110748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1328040/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=110748 CPUtime=1800.21 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28435 0 0 0 179989 32 0 0 25 0 1 0 112603690 113405952 25741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 27687 25741 170 317 0 27366 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 110748 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26496 /proc/meminfo: memFree=1328040/2055920 swapFree=4179984/4192956 [pid=26493] ppid=26491 vsize=0 CPUtime=1800.31 /proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194308 28451 0 0 0 179998 33 0 0 25 0 1 0 112603690 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26493/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.33 CPU user time (s): 1799.99 CPU system time (s): 0.345947 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 110768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.345947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28451 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= 4370 runsolver used 1.68474 second user time and 3.64045 second system time The end
Begin job on node27 on Thu Apr 19 16:11:18 UTC 2007 IDJOB= 357444 IDBENCH= 2643 IDSOLVER= 172 FILE ID= node27/357444-1176999078 PBS_JOBID= 4630447 Free space on /tmp= 66376 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb COMMAND LINE= oree /tmp/evaluation/357444-1176999078/instance-357444-1176999078.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-357444-1176999078 -o ROOT/results/node27/solver-357444-1176999078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357444-1176999078/instance-357444-1176999078.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42 RANDOM SEED= 916885166 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1431624 kB Buffers: 35596 kB Cached: 512520 kB SwapCached: 6696 kB Active: 55348 kB Inactive: 505192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1431624 kB SwapTotal: 4192956 kB SwapFree: 4179984 kB Dirty: 1768 kB Writeback: 0 kB Mapped: 15456 kB Slab: 49748 kB Committed_AS: 1692020 kB PageTables: 1412 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= 66376 MiB End job on node27 on Thu Apr 19 16:41:21 UTC 2007