Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-israel.opb |
MD5SUM | 916719a95a95b5989e5d4b5f3d786df3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 4260 |
Total number of constraints | 174 |
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 | 174 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3540 |
Number of terms in the objective function | 2670 |
Biggest coefficient in the objective function | 42742 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526467 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527037 |
Number of bits of the biggest sum of numbers | 20 |
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=4260 #constraints=175 hasObjective=yes 0.69/0.74 c res. mode=mod 0.69/0.74 c VSIDS like heuristics 0.69/0.74 c complete search running 4.19/4.22 c restart after 401 decisions 4.89/4.91 c nbDecision=500 #constraints=627 7.69/7.74 c restart after 801 decisions 9.38/9.41 c nbDecision=1000 #constraints=1103 14.19/14.23 c nbDecision=1500 #constraints=1603 15.19/15.23 c restart after 1601 decisions 18.99/19.01 c nbDecision=2000 #constraints=2079 24.18/24.28 c nbDecision=2500 #constraints=2579 26.08/26.13 c nbDecision=3000 #constraints=2763 26.28/26.39 c restart after 3201 decisions 26.38/26.48 c nbDecision=3500 #constraints=2790 26.48/26.58 c nbDecision=4000 #constraints=2798 26.88/26.90 c nbDecision=4500 #constraints=2830 26.88/26.99 c nbDecision=5000 #constraints=2837 26.98/27.08 c nbDecision=5500 #constraints=2844 27.28/27.38 c nbDecision=6000 #constraints=2873 27.38/27.45 c restart after 6401 decisions 27.48/27.53 c nbDecision=6500 #constraints=2878 27.48/27.57 c nbDecision=7000 #constraints=2880 27.58/27.66 c nbDecision=7500 #constraints=2887 27.88/27.96 c nbDecision=8000 #constraints=2916 27.98/28.05 c nbDecision=8500 #constraints=2923 28.28/28.35 c nbDecision=9000 #constraints=2951 28.38/28.43 c nbDecision=9500 #constraints=2957 28.48/28.52 c nbDecision=10000 #constraints=2964 28.78/28.83 c nbDecision=10500 #constraints=2993 28.88/28.91 c nbDecision=11000 #constraints=2999 28.98/29.00 c nbDecision=11500 #constraints=3006 29.28/29.30 c nbDecision=12000 #constraints=3035 29.28/29.39 c nbDecision=12500 #constraints=3041 29.38/29.44 c restart after 12801 decisions 29.48/29.53 c nbDecision=13000 #constraints=3045 29.58/29.60 c nbDecision=13500 #constraints=3049 29.78/29.89 c nbDecision=14000 #constraints=3078 29.88/29.99 c nbDecision=14500 #constraints=3085 29.98/30.07 c nbDecision=15000 #constraints=3091 30.28/30.37 c nbDecision=15500 #constraints=3120 30.38/30.46 c nbDecision=16000 #constraints=3127 30.48/30.55 c nbDecision=16500 #constraints=3133 30.78/30.84 c nbDecision=17000 #constraints=3162 30.88/30.94 c nbDecision=17500 #constraints=3169 30.98/31.03 c nbDecision=18000 #constraints=3175 31.28/31.32 c nbDecision=18500 #constraints=3204 31.38/31.41 c nbDecision=19000 #constraints=3210 31.48/31.50 c nbDecision=19500 #constraints=3216 31.78/31.81 c nbDecision=20000 #constraints=3246 31.78/31.89 c nbDecision=20500 #constraints=3252 31.88/31.98 c nbDecision=21000 #constraints=3258 32.18/32.28 c nbDecision=21500 #constraints=3287 32.28/32.37 c nbDecision=22000 #constraints=3293 32.38/32.46 c nbDecision=22500 #constraints=3299 32.68/32.76 c nbDecision=23000 #constraints=3328 32.78/32.85 c nbDecision=23500 #constraints=3334 32.88/32.94 c nbDecision=24000 #constraints=3340 33.17/33.25 c nbDecision=24500 #constraints=3369 33.27/33.33 c nbDecision=25000 #constraints=3375 33.37/33.42 c nbDecision=25500 #constraints=3381 33.37/33.44 c restart after 25601 decisions 33.47/33.56 c nbDecision=26000 #constraints=3382 33.78/33.86 c nbDecision=26500 #constraints=3411 33.87/33.95 c nbDecision=27000 #constraints=3417 33.98/34.03 c nbDecision=27500 #constraints=3422 34.08/34.13 c nbDecision=28000 #constraints=3428 34.38/34.43 c nbDecision=28500 #constraints=3457 34.48/34.52 c nbDecision=29000 #constraints=3463 34.58/34.60 c nbDecision=29500 #constraints=3468 34.88/34.91 c nbDecision=30000 #constraints=3497 34.98/35.00 c nbDecision=30500 #constraints=3503 34.98/35.10 c nbDecision=31000 #constraints=3509 35.28/35.40 c nbDecision=31500 #constraints=3537 35.38/35.49 c nbDecision=32000 #constraints=3543 35.48/35.58 c nbDecision=32500 #constraints=3549 35.58/35.67 c nbDecision=33000 #constraints=3554 37.48/37.59 c nbDecision=33500 #constraints=3756 39.48/39.52 c nbDecision=34000 #constraints=3963 40.98/41.07 c nbDecision=34500 #constraints=4123 42.58/42.63 c nbDecision=35000 #constraints=4284 43.88/43.99 c nbDecision=35500 #constraints=4422 44.27/44.30 c nbDecision=36000 #constraints=4449 44.27/44.40 c nbDecision=36500 #constraints=4453 44.37/44.49 c nbDecision=37000 #constraints=4457 44.47/44.59 c nbDecision=37500 #constraints=4461 44.57/44.68 c nbDecision=38000 #constraints=4464 44.67/44.78 c nbDecision=38500 #constraints=4469 44.77/44.88 c nbDecision=39000 #constraints=4473 44.87/44.97 c nbDecision=39500 #constraints=4477 44.98/45.07 c nbDecision=40000 #constraints=4481 45.08/45.16 c nbDecision=40500 #constraints=4484 45.17/45.26 c nbDecision=41000 #constraints=4489 45.27/45.36 c nbDecision=41500 #constraints=4493 45.37/45.44 c nbDecision=42000 #constraints=4496 45.47/45.54 c nbDecision=42500 #constraints=4500 45.57/45.64 c nbDecision=43000 #constraints=4504 45.67/45.74 c nbDecision=43500 #constraints=4508 45.77/45.83 c nbDecision=44000 #constraints=4512 45.87/45.93 c nbDecision=44500 #constraints=4516 45.97/46.01 c nbDecision=45000 #constraints=4519 46.08/46.11 c nbDecision=45500 #constraints=4523 46.18/46.22 c nbDecision=46000 #constraints=4528 46.27/46.31 c nbDecision=46500 #constraints=4531 46.37/46.40 c nbDecision=47000 #constraints=4535 46.37/46.49 c nbDecision=47500 #constraints=4538 46.47/46.59 c nbDecision=48000 #constraints=4542 46.57/46.70 c nbDecision=48500 #constraints=4547 46.67/46.78 c nbDecision=49000 #constraints=4550 46.77/46.88 c nbDecision=49500 #constraints=4554 46.87/46.98 c nbDecision=50000 #constraints=4558 46.97/47.06 c nbDecision=50500 #constraints=4561 47.07/47.17 c nbDecision=51000 #constraints=4566 47.18/47.20 c restart after 51201 decisions 47.28/47.36 c nbDecision=51500 #constraints=4567 47.37/47.44 c nbDecision=52000 #constraints=4570 47.47/47.53 c nbDecision=52500 #constraints=4573 47.57/47.63 c nbDecision=53000 #constraints=4577 47.67/47.73 c nbDecision=53500 #constraints=4581 47.77/47.82 c nbDecision=54000 #constraints=4584 47.87/47.92 c nbDecision=54500 #constraints=4589 47.97/48.01 c nbDecision=55000 #constraints=4592 48.07/48.10 c nbDecision=55500 #constraints=4596 48.07/48.19 c nbDecision=56000 #constraints=4599 48.17/48.29 c nbDecision=56500 #constraints=4603 48.28/48.38 c nbDecision=57000 #constraints=4607 48.38/48.48 c nbDecision=57500 #constraints=4611 48.47/48.58 c nbDecision=58000 #constraints=4615 48.57/48.67 c nbDecision=58500 #constraints=4618 48.67/48.77 c nbDecision=59000 #constraints=4622 48.77/48.86 c nbDecision=59500 #constraints=4626 48.87/48.96 c nbDecision=60000 #constraints=4630 48.97/49.05 c nbDecision=60500 #constraints=4633 49.07/49.15 c nbDecision=61000 #constraints=4637 49.17/49.23 c nbDecision=61500 #constraints=4640 49.27/49.33 c nbDecision=62000 #constraints=4644 49.38/49.43 c nbDecision=62500 #constraints=4648 49.48/49.52 c nbDecision=63000 #constraints=4652 49.57/49.61 c nbDecision=63500 #constraints=4655 49.57/49.70 c nbDecision=64000 #constraints=4658 49.67/49.79 c nbDecision=64500 #constraints=4662 49.77/49.89 c nbDecision=65000 #constraints=4666 49.87/49.99 c nbDecision=65500 #constraints=4670 49.97/50.07 c nbDecision=66000 #constraints=4673 50.07/50.17 c nbDecision=66500 #constraints=4677 50.17/50.26 c nbDecision=67000 #constraints=4680 50.27/50.36 c nbDecision=67500 #constraints=4684 50.37/50.45 c nbDecision=68000 #constraints=4688 50.48/50.53 c nbDecision=68500 #constraints=4691 50.58/50.63 c nbDecision=69000 #constraints=4695 50.67/50.72 c nbDecision=69500 #constraints=4698 50.77/50.82 c nbDecision=70000 #constraints=4702 50.87/50.91 c nbDecision=70500 #constraints=4706 50.97/51.01 c nbDecision=71000 #constraints=4710 50.97/51.09 c nbDecision=71500 #constraints=4713 51.07/51.18 c nbDecision=72000 #constraints=4716 51.17/51.28 c nbDecision=72500 #constraints=4720 51.27/51.37 c nbDecision=73000 #constraints=4723 51.37/51.48 c nbDecision=73500 #constraints=4728 51.47/51.56 c nbDecision=74000 #constraints=4731 51.58/51.65 c nbDecision=74500 #constraints=4734 51.68/51.74 c nbDecision=75000 #constraints=4738 51.77/51.83 c nbDecision=75500 #constraints=4741 51.87/51.92 c nbDecision=76000 #constraints=4744 51.97/52.02 c nbDecision=76500 #constraints=4749 52.07/52.11 c nbDecision=77000 #constraints=4752 52.17/52.21 c nbDecision=77500 #constraints=4756 52.17/52.29 c nbDecision=78000 #constraints=4759 52.27/52.38 c nbDecision=78500 #constraints=4762 52.37/52.49 c nbDecision=79000 #constraints=4767 52.47/52.57 c nbDecision=79500 #constraints=4770 52.57/52.66 c nbDecision=80000 #constraints=4773 52.67/52.76 c nbDecision=80500 #constraints=4777 52.77/52.84 c nbDecision=81000 #constraints=4780 52.87/52.93 c nbDecision=81500 #constraints=4783 52.97/53.04 c nbDecision=82000 #constraints=4788 53.07/53.12 c nbDecision=82500 #constraints=4791 53.17/53.21 c nbDecision=83000 #constraints=4794 53.27/53.31 c nbDecision=83500 #constraints=4798 53.27/53.39 c nbDecision=84000 #constraints=4801 53.37/53.48 c nbDecision=84500 #constraints=4804 53.47/53.58 c nbDecision=85000 #constraints=4808 53.57/53.68 c nbDecision=85500 #constraints=4812 53.67/53.76 c nbDecision=86000 #constraints=4815 53.77/53.85 c nbDecision=86500 #constraints=4818 53.87/53.95 c nbDecision=87000 #constraints=4822 53.97/54.04 c nbDecision=87500 #constraints=4826 54.07/54.13 c nbDecision=88000 #constraints=4829 54.17/54.22 c nbDecision=88500 #constraints=4832 54.27/54.31 c nbDecision=89000 #constraints=4836 54.37/54.40 c nbDecision=89500 #constraints=4839 54.37/54.49 c nbDecision=90000 #constraints=4842 54.57/54.61 c nbDecision=90500 #constraints=4849 54.67/54.71 c nbDecision=91000 #constraints=4853 54.77/54.80 c nbDecision=91500 #constraints=4856 54.77/54.88 c nbDecision=92000 #constraints=4859 54.87/54.97 c nbDecision=92500 #constraints=4862 54.97/55.06 c nbDecision=93000 #constraints=4865 55.07/55.17 c nbDecision=93500 #constraints=4870 55.17/55.25 c nbDecision=94000 #constraints=4873 55.27/55.34 c nbDecision=94500 #constraints=4876 55.37/55.42 c nbDecision=95000 #constraints=4879 55.47/55.51 c nbDecision=95500 #constraints=4882 55.47/55.59 c nbDecision=96000 #constraints=4885 55.67/55.71 c nbDecision=96500 #constraints=4890 55.67/55.79 c nbDecision=97000 #constraints=4893 55.77/55.88 c nbDecision=97500 #constraints=4896 55.87/55.96 c nbDecision=98000 #constraints=4899 55.97/56.05 c nbDecision=98500 #constraints=4902 56.07/56.14 c nbDecision=99000 #constraints=4905 56.17/56.23 c nbDecision=99500 #constraints=4909 56.27/56.33 c nbDecision=100000 #constraints=4913 56.37/56.42 c nbDecision=100500 #constraints=4916 56.47/56.50 c nbDecision=101000 #constraints=4919 56.47/56.59 c nbDecision=101500 #constraints=4922 56.57/56.68 c nbDecision=102000 #constraints=4925 56.67/56.77 c restart after 102401 decisions 56.87/56.92 c nbDecision=102500 #constraints=4929 56.87/56.97 c nbDecision=103000 #constraints=4930 56.97/57.06 c nbDecision=103500 #constraints=4933 57.07/57.16 c nbDecision=104000 #constraints=4937 57.17/57.25 c nbDecision=104500 #constraints=4940 57.27/57.33 c nbDecision=105000 #constraints=4943 57.37/57.42 c nbDecision=105500 #constraints=4946 57.47/57.52 c nbDecision=106000 #constraints=4950 57.57/57.60 c nbDecision=106500 #constraints=4953 57.57/57.69 c nbDecision=107000 #constraints=4956 57.67/57.78 c nbDecision=107500 #constraints=4959 57.77/57.86 c nbDecision=108000 #constraints=4962 57.87/57.95 c nbDecision=108500 #constraints=4965 57.97/58.05 c nbDecision=109000 #constraints=4969 58.07/58.15 c nbDecision=109500 #constraints=4973 58.17/58.23 c nbDecision=110000 #constraints=4976 58.27/58.32 c nbDecision=110500 #constraints=4979 58.37/58.41 c nbDecision=111000 #constraints=4982 58.37/58.49 c nbDecision=111500 #constraints=4985 58.47/58.59 c nbDecision=112000 #constraints=4989 58.57/58.68 c nbDecision=112500 #constraints=4992 58.67/58.76 c nbDecision=113000 #constraints=4995 58.77/58.85 c nbDecision=113500 #constraints=4998 58.87/58.94 c nbDecision=114000 #constraints=5001 58.97/59.03 c nbDecision=114500 #constraints=5004 59.07/59.12 c nbDecision=115000 #constraints=5007 59.17/59.21 c nbDecision=115500 #constraints=5011 59.17/59.30 c nbDecision=116000 #constraints=5014 59.27/59.39 c nbDecision=116500 #constraints=5017 59.37/59.47 c nbDecision=117000 #constraints=5020 59.47/59.56 c nbDecision=117500 #constraints=5023 59.57/59.65 c nbDecision=118000 #constraints=5026 59.67/59.75 c nbDecision=118500 #constraints=5030 59.77/59.83 c nbDecision=119000 #constraints=5033 59.87/59.92 c nbDecision=119500 #constraints=5036 59.97/60.01 c nbDecision=120000 #constraints=5039 60.07/60.10 c nbDecision=120500 #constraints=5042 60.07/60.19 c nbDecision=121000 #constraints=5045 60.17/60.29 c nbDecision=121500 #constraints=5049 60.27/60.37 c nbDecision=122000 #constraints=5052 60.37/60.46 c nbDecision=122500 #constraints=5055 60.47/60.55 c nbDecision=123000 #constraints=5058 60.57/60.64 c nbDecision=123500 #constraints=5061 60.67/60.73 c nbDecision=124000 #constraints=5064 60.77/60.82 c nbDecision=124500 #constraints=5067 60.87/60.91 c nbDecision=125000 #constraints=5071 60.97/61.00 c nbDecision=125500 #constraints=5074 60.97/61.09 c nbDecision=126000 #constraints=5077 61.07/61.18 c nbDecision=126500 #constraints=5080 61.17/61.27 c nbDecision=127000 #constraints=5083 61.27/61.36 c nbDecision=127500 #constraints=5086 61.37/61.46 c nbDecision=128000 #constraints=5090 61.47/61.54 c nbDecision=128500 #constraints=5093 61.57/61.63 c nbDecision=129000 #constraints=5096 61.67/61.72 c nbDecision=129500 #constraints=5099 61.77/61.81 c nbDecision=130000 #constraints=5102 61.77/61.89 c nbDecision=130500 #constraints=5105 61.87/61.99 c nbDecision=131000 #constraints=5109 61.97/62.08 c nbDecision=131500 #constraints=5112 62.07/62.17 c nbDecision=132000 #constraints=5115 62.17/62.26 c nbDecision=132500 #constraints=5118 62.27/62.35 c nbDecision=133000 #constraints=5121 62.37/62.44 c nbDecision=133500 #constraints=5124 62.47/62.53 c nbDecision=134000 #constraints=5127 62.57/62.63 c nbDecision=134500 #constraints=5131 62.57/62.70 c nbDecision=135000 #constraints=5133 62.67/62.79 c nbDecision=135500 #constraints=5136 62.76/62.88 c nbDecision=136000 #constraints=5139 62.86/62.97 c nbDecision=136500 #constraints=5142 62.96/63.05 c nbDecision=137000 #constraints=5145 63.06/63.15 c nbDecision=137500 #constraints=5149 63.16/63.24 c nbDecision=138000 #constraints=5152 63.26/63.33 c nbDecision=138500 #constraints=5155 63.36/63.42 c nbDecision=139000 #constraints=5158 63.46/63.51 c nbDecision=139500 #constraints=5161 63.46/63.60 c nbDecision=140000 #constraints=5164 63.56/63.69 c nbDecision=140500 #constraints=5167 63.67/63.77 c nbDecision=141000 #constraints=5170 63.77/63.86 c nbDecision=141500 #constraints=5173 63.86/63.95 c nbDecision=142000 #constraints=5176 63.96/64.04 c nbDecision=142500 #constraints=5179 64.06/64.12 c nbDecision=143000 #constraints=5182 64.16/64.21 c nbDecision=143500 #constraints=5185 64.26/64.31 c nbDecision=144000 #constraints=5189 64.36/64.40 c nbDecision=144500 #constraints=5192 64.36/64.49 c nbDecision=145000 #constraints=5195 64.46/64.57 c nbDecision=145500 #constraints=5197 64.56/64.66 c nbDecision=146000 #constraints=5200 64.66/64.74 c nbDecision=146500 #constraints=5203 64.77/64.83 c nbDecision=147000 #constraints=5206 64.87/64.94 c nbDecision=147500 #constraints=5211 64.96/65.03 c nbDecision=148000 #constraints=5214 65.06/65.12 c nbDecision=148500 #constraints=5217 65.16/65.21 c nbDecision=149000 #constraints=5220 65.16/65.30 c nbDecision=149500 #constraints=5223 65.26/65.39 c nbDecision=150000 #constraints=5226 65.36/65.49 c nbDecision=150500 #constraints=5230 65.46/65.56 c nbDecision=151000 #constraints=5232 65.56/65.65 c nbDecision=151500 #constraints=5235 65.66/65.73 c nbDecision=152000 #constraints=5238 65.76/65.82 c nbDecision=152500 #constraints=5241 65.86/65.91 c nbDecision=153000 #constraints=5244 65.86/66.00 c nbDecision=153500 #constraints=5247 65.96/66.08 c nbDecision=154000 #constraints=5250 66.06/66.17 c nbDecision=154500 #constraints=5253 66.16/66.26 c nbDecision=155000 #constraints=5256 66.26/66.35 c nbDecision=155500 #constraints=5259 66.36/66.44 c nbDecision=156000 #constraints=5262 66.46/66.53 c nbDecision=156500 #constraints=5265 66.56/66.60 c nbDecision=157000 #constraints=5267 66.66/66.70 c nbDecision=157500 #constraints=5271 66.66/66.79 c nbDecision=158000 #constraints=5274 66.76/66.88 c nbDecision=158500 #constraints=5277 66.86/66.97 c nbDecision=159000 #constraints=5280 66.96/67.05 c nbDecision=159500 #constraints=5282 67.06/67.14 c nbDecision=160000 #constraints=5285 67.16/67.23 c nbDecision=160500 #constraints=5288 67.26/67.32 c nbDecision=161000 #constraints=5292 67.36/67.41 c nbDecision=161500 #constraints=5295 67.36/67.49 c nbDecision=162000 #constraints=5297 67.46/67.58 c nbDecision=162500 #constraints=5300 67.56/67.67 c nbDecision=163000 #constraints=5303 67.66/67.76 c nbDecision=163500 #constraints=5306 67.76/67.84 c nbDecision=164000 #constraints=5308 67.86/67.93 c nbDecision=164500 #constraints=5312 67.96/68.02 c nbDecision=165000 #constraints=5315 68.06/68.11 c nbDecision=165500 #constraints=5318 68.06/68.19 c nbDecision=166000 #constraints=5320 68.16/68.28 c nbDecision=166500 #constraints=5323 68.26/68.37 c nbDecision=167000 #constraints=5326 68.36/68.47 c nbDecision=167500 #constraints=5330 68.46/68.56 c nbDecision=168000 #constraints=5333 68.56/68.64 c nbDecision=168500 #constraints=5335 68.66/68.72 c nbDecision=169000 #constraints=5338 68.76/68.81 c nbDecision=169500 #constraints=5341 68.76/68.89 c nbDecision=170000 #constraints=5343 68.86/68.98 c nbDecision=170500 #constraints=5346 68.96/69.08 c nbDecision=171000 #constraints=5350 69.06/69.17 c nbDecision=171500 #constraints=5353 69.16/69.25 c nbDecision=172000 #constraints=5355 69.26/69.34 c nbDecision=172500 #constraints=5358 69.36/69.43 c nbDecision=173000 #constraints=5361 69.46/69.52 c nbDecision=173500 #constraints=5364 69.46/69.59 c nbDecision=174000 #constraints=5366 69.56/69.69 c nbDecision=174500 #constraints=5370 69.66/69.78 c nbDecision=175000 #constraints=5373 69.76/69.87 c nbDecision=175500 #constraints=5376 69.86/69.95 c nbDecision=176000 #constraints=5378 69.96/70.04 c nbDecision=176500 #constraints=5381 70.06/70.13 c nbDecision=177000 #constraints=5384 70.16/70.20 c nbDecision=177500 #constraints=5386 70.26/70.30 c nbDecision=178000 #constraints=5390 70.26/70.39 c nbDecision=178500 #constraints=5393 70.36/70.48 c nbDecision=179000 #constraints=5396 70.45/70.56 c nbDecision=179500 #constraints=5398 70.55/70.65 c nbDecision=180000 #constraints=5401 70.65/70.74 c nbDecision=180500 #constraints=5404 70.75/70.81 c nbDecision=181000 #constraints=5406 70.85/70.91 c nbDecision=181500 #constraints=5410 70.95/71.00 c nbDecision=182000 #constraints=5413 70.95/71.08 c nbDecision=182500 #constraints=5415 71.05/71.17 c nbDecision=183000 #constraints=5418 71.15/71.26 c nbDecision=183500 #constraints=5421 71.25/71.33 c nbDecision=184000 #constraints=5423 71.36/71.42 c nbDecision=184500 #constraints=5426 71.46/71.52 c nbDecision=185000 #constraints=5430 71.55/71.61 c nbDecision=185500 #constraints=5433 71.55/71.69 c nbDecision=186000 #constraints=5435 71.65/71.78 c nbDecision=186500 #constraints=5438 71.75/71.87 c nbDecision=187000 #constraints=5441 71.85/71.94 c nbDecision=187500 #constraints=5443 71.95/72.03 c nbDecision=188000 #constraints=5446 72.05/72.13 c nbDecision=188500 #constraints=5450 72.15/72.21 c nbDecision=189000 #constraints=5452 72.25/72.30 c nbDecision=189500 #constraints=5455 72.25/72.39 c nbDecision=190000 #constraints=5458 72.35/72.46 c nbDecision=190500 #constraints=5460 72.45/72.55 c nbDecision=191000 #constraints=5463 72.55/72.64 c nbDecision=191500 #constraints=5466 72.65/72.72 c nbDecision=192000 #constraints=5468 72.75/72.82 c nbDecision=192500 #constraints=5472 72.75/72.89 c nbDecision=193000 #constraints=5474 72.85/72.98 c nbDecision=193500 #constraints=5477 72.95/73.07 c nbDecision=194000 #constraints=5480 73.05/73.15 c nbDecision=194500 #constraints=5482 73.15/73.24 c nbDecision=195000 #constraints=5485 73.25/73.33 c nbDecision=195500 #constraints=5488 73.35/73.42 c nbDecision=196000 #constraints=5491 73.45/73.51 c nbDecision=196500 #constraints=5494 73.45/73.60 c nbDecision=197000 #constraints=5497 73.55/73.67 c nbDecision=197500 #constraints=5499 73.65/73.76 c nbDecision=198000 #constraints=5502 73.75/73.86 c nbDecision=198500 #constraints=5505 73.85/73.93 c nbDecision=199000 #constraints=5507 73.95/74.03 c nbDecision=199500 #constraints=5511 74.05/74.11 c nbDecision=200000 #constraints=5513 74.05/74.20 c nbDecision=200500 #constraints=5516 74.15/74.29 c nbDecision=201000 #constraints=5519 74.25/74.36 c nbDecision=201500 #constraints=5521 74.35/74.45 c nbDecision=202000 #constraints=5524 74.45/74.53 c nbDecision=202500 #constraints=5526 74.55/74.63 c nbDecision=203000 #constraints=5530 74.65/74.72 c nbDecision=203500 #constraints=5533 74.65/74.80 c nbDecision=204000 #constraints=5535 74.75/74.89 c nbDecision=204500 #constraints=5538 74.85/74.93 c restart after 204801 decisions 75.05/75.11 c nbDecision=205000 #constraints=5539 75.05/75.19 c nbDecision=205500 #constraints=5541 75.15/75.26 c nbDecision=206000 #constraints=5543 75.25/75.35 c nbDecision=206500 #constraints=5546 75.35/75.46 c nbDecision=207000 #constraints=5550 75.45/75.53 c nbDecision=207500 #constraints=5552 75.55/75.62 c nbDecision=208000 #constraints=5555 75.65/75.70 c nbDecision=208500 #constraints=5557 75.65/75.79 c nbDecision=209000 #constraints=5560 75.75/75.88 c nbDecision=209500 #constraints=5563 75.85/75.95 c nbDecision=210000 #constraints=5565 75.95/76.05 c nbDecision=210500 #constraints=5568 76.06/76.13 c nbDecision=211000 #constraints=5571 76.16/76.22 c nbDecision=211500 #constraints=5574 76.26/76.30 c nbDecision=212000 #constraints=5576 76.26/76.39 c nbDecision=212500 #constraints=5579 76.36/76.48 c nbDecision=213000 #constraints=5582 76.46/76.56 c nbDecision=213500 #constraints=5584 76.56/76.65 c nbDecision=214000 #constraints=5587 76.66/76.74 c nbDecision=214500 #constraints=5590 76.76/76.83 c nbDecision=215000 #constraints=5593 76.76/76.90 c nbDecision=215500 #constraints=5595 76.86/76.97 c nbDecision=216000 #constraints=5597 76.96/77.06 c nbDecision=216500 #constraints=5600 77.06/77.14 c nbDecision=217000 #constraints=5602 77.16/77.21 c nbDecision=217500 #constraints=5604 77.26/77.30 c nbDecision=218000 #constraints=5607 77.85/77.95 c nbDecision=218500 #constraints=5665 81.55/81.64 c nbDecision=219000 #constraints=5952 85.24/85.33 c nbDecision=219500 #constraints=6238 89.05/89.11 c nbDecision=220000 #constraints=6524 92.85/92.96 c nbDecision=220500 #constraints=6810 96.85/96.90 c nbDecision=221000 #constraints=7096 100.85/100.97 c nbDecision=221500 #constraints=7382 105.04/105.18 c nbDecision=222000 #constraints=7668 109.44/109.52 c nbDecision=222500 #constraints=7954 113.94/114.00 c nbDecision=223000 #constraints=8242 114.14/114.23 c nbDecision=223500 #constraints=8243 114.44/114.53 c nbDecision=224000 #constraints=8245 114.64/114.75 c nbDecision=224500 #constraints=8246 114.84/114.98 c nbDecision=225000 #constraints=8247 115.14/115.26 c nbDecision=225500 #constraints=8249 115.44/115.50 c nbDecision=226000 #constraints=8250 115.64/115.77 c nbDecision=226500 #constraints=8252 115.94/116.03 c nbDecision=227000 #constraints=8253 116.14/116.29 c nbDecision=227500 #constraints=8255 116.44/116.55 c nbDecision=228000 #constraints=8256 116.74/116.82 c nbDecision=228500 #constraints=8258 116.94/117.08 c nbDecision=229000 #constraints=8259 117.44/117.58 c nbDecision=229500 #constraints=8279 117.74/117.83 c nbDecision=230000 #constraints=8280 118.04/118.12 c nbDecision=230500 #constraints=8282 118.24/118.35 c nbDecision=231000 #constraints=8283 118.54/118.65 c nbDecision=231500 #constraints=8285 118.74/118.88 c nbDecision=232000 #constraints=8286 119.04/119.11 c nbDecision=232500 #constraints=8287 119.34/119.40 c nbDecision=233000 #constraints=8289 119.54/119.65 c nbDecision=233500 #constraints=8290 119.84/119.93 c nbDecision=234000 #constraints=8292 120.04/120.19 c nbDecision=234500 #constraints=8293 120.34/120.47 c nbDecision=235000 #constraints=8295 120.64/120.74 c nbDecision=235500 #constraints=8296 121.13/121.23 c nbDecision=236000 #constraints=8315 121.33/121.49 c nbDecision=236500 #constraints=8316 121.63/121.79 c nbDecision=237000 #constraints=8318 121.94/122.03 c nbDecision=237500 #constraints=8319 122.13/122.26 c nbDecision=238000 #constraints=8320 122.43/122.57 c nbDecision=238500 #constraints=8322 122.73/122.82 c nbDecision=239000 #constraints=8323 123.04/123.10 c nbDecision=239500 #constraints=8325 123.23/123.37 c nbDecision=240000 #constraints=8326 123.53/123.66 c nbDecision=240500 #constraints=8328 123.83/123.93 c nbDecision=241000 #constraints=8329 124.14/124.21 c nbDecision=241500 #constraints=8331 124.33/124.49 c nbDecision=242000 #constraints=8332 124.93/125.02 c nbDecision=242500 #constraints=8351 125.13/125.25 c nbDecision=243000 #constraints=8352 125.43/125.50 c nbDecision=243500 #constraints=8353 125.63/125.80 c nbDecision=244000 #constraints=8355 125.93/126.07 c nbDecision=244500 #constraints=8356 126.23/126.36 c nbDecision=245000 #constraints=8358 126.53/126.63 c nbDecision=245500 #constraints=8359 126.83/126.92 c nbDecision=246000 #constraints=8361 127.03/127.20 c nbDecision=246500 #constraints=8362 127.33/127.49 c nbDecision=247000 #constraints=8364 127.63/127.76 c nbDecision=247500 #constraints=8365 127.93/128.06 c nbDecision=248000 #constraints=8367 128.23/128.32 c nbDecision=248500 #constraints=8368 128.54/128.62 c nbDecision=249000 #constraints=8370 128.93/129.08 c nbDecision=249500 #constraints=8388 129.23/129.36 c nbDecision=250000 #constraints=8389 129.53/129.66 c nbDecision=250500 #constraints=8391 129.83/129.93 c nbDecision=251000 #constraints=8392 130.13/130.23 c nbDecision=251500 #constraints=8394 130.33/130.49 c nbDecision=252000 #constraints=8395 130.63/130.80 c nbDecision=252500 #constraints=8397 130.93/131.05 c nbDecision=253000 #constraints=8398 131.23/131.36 c nbDecision=253500 #constraints=8400 131.43/131.59 c nbDecision=254000 #constraints=8401 131.73/131.84 c nbDecision=254500 #constraints=8402 132.03/132.13 c nbDecision=255000 #constraints=8404 132.33/132.40 c nbDecision=255500 #constraints=8405 132.83/132.94 c nbDecision=256000 #constraints=8424 133.03/133.19 c nbDecision=256500 #constraints=8425 133.43/133.50 c nbDecision=257000 #constraints=8427 133.63/133.73 c nbDecision=257500 #constraints=8428 133.83/133.98 c nbDecision=258000 #constraints=8429 134.13/134.28 c nbDecision=258500 #constraints=8431 134.43/134.55 c nbDecision=259000 #constraints=8432 134.73/134.84 c nbDecision=259500 #constraints=8434 135.03/135.11 c nbDecision=260000 #constraints=8435 135.33/135.40 c nbDecision=260500 #constraints=8437 135.53/135.67 c nbDecision=261000 #constraints=8438 135.83/135.97 c nbDecision=261500 #constraints=8440 136.13/136.23 c nbDecision=262000 #constraints=8441 136.63/136.71 c nbDecision=262500 #constraints=8459 136.93/137.00 c nbDecision=263000 #constraints=8461 137.13/137.28 c nbDecision=263500 #constraints=8462 137.43/137.58 c nbDecision=264000 #constraints=8464 137.73/137.84 c nbDecision=264500 #constraints=8465 138.03/138.15 c nbDecision=265000 #constraints=8467 138.23/138.39 c nbDecision=265500 #constraints=8468 138.53/138.63 c nbDecision=266000 #constraints=8469 138.83/138.94 c nbDecision=266500 #constraints=8471 139.12/139.21 c nbDecision=267000 #constraints=8472 139.42/139.50 c nbDecision=267500 #constraints=8474 139.63/139.78 c nbDecision=268000 #constraints=8475 139.92/140.08 c nbDecision=268500 #constraints=8477 140.42/140.58 c nbDecision=269000 #constraints=8495 140.73/140.84 c nbDecision=269500 #constraints=8496 141.02/141.15 c nbDecision=270000 #constraints=8498 141.32/141.43 c nbDecision=270500 #constraints=8499 141.62/141.73 c nbDecision=271000 #constraints=8501 141.92/142.01 c nbDecision=271500 #constraints=8502 142.22/142.32 c nbDecision=272000 #constraints=8504 142.42/142.59 c nbDecision=272500 #constraints=8505 142.83/142.91 c nbDecision=273000 #constraints=8507 143.02/143.16 c nbDecision=273500 #constraints=8508 143.32/143.40 c nbDecision=274000 #constraints=8509 143.62/143.71 c nbDecision=274500 #constraints=8511 143.82/143.99 c nbDecision=275000 #constraints=8512 144.42/144.57 c nbDecision=275500 #constraints=8531 144.72/144.82 c nbDecision=276000 #constraints=8532 144.92/145.07 c nbDecision=276500 #constraints=8533 145.22/145.39 c nbDecision=277000 #constraints=8535 145.52/145.67 c nbDecision=277500 #constraints=8536 145.82/145.98 c nbDecision=278000 #constraints=8538 146.12/146.26 c nbDecision=278500 #constraints=8539 146.42/146.58 c nbDecision=279000 #constraints=8541 146.72/146.85 c nbDecision=279500 #constraints=8542 147.02/147.17 c nbDecision=280000 #constraints=8544 147.32/147.43 c nbDecision=280500 #constraints=8545 147.52/147.67 c nbDecision=281000 #constraints=8546 147.82/147.99 c nbDecision=281500 #constraints=8548 148.12/148.27 c nbDecision=282000 #constraints=8549 148.72/148.86 c nbDecision=282500 #constraints=8568 149.02/149.11 c nbDecision=283000 #constraints=8569 149.22/149.36 c nbDecision=283500 #constraints=8570 149.52/149.69 c nbDecision=284000 #constraints=8572 149.82/149.97 c nbDecision=284500 #constraints=8573 150.12/150.28 c nbDecision=285000 #constraints=8575 150.42/150.56 c nbDecision=285500 #constraints=8576 150.72/150.88 c nbDecision=286000 #constraints=8578 151.02/151.15 c nbDecision=286500 #constraints=8579 151.32/151.48 c nbDecision=287000 #constraints=8581 151.62/151.72 c nbDecision=287500 #constraints=8582 151.82/151.98 c nbDecision=288000 #constraints=8583 152.22/152.31 c nbDecision=288500 #constraints=8585 152.72/152.84 c nbDecision=289000 #constraints=8603 153.02/153.17 c nbDecision=289500 #constraints=8605 153.32/153.41 c nbDecision=290000 #constraints=8606 153.52/153.69 c nbDecision=290500 #constraints=8607 153.92/154.02 c nbDecision=291000 #constraints=8609 154.22/154.30 c nbDecision=291500 #constraints=8610 154.52/154.63 c nbDecision=292000 #constraints=8612 154.81/154.90 c nbDecision=292500 #constraints=8613 155.11/155.24 c nbDecision=293000 #constraints=8615 155.31/155.49 c nbDecision=293500 #constraints=8616 155.62/155.75 c nbDecision=294000 #constraints=8617 155.91/156.08 c nbDecision=294500 #constraints=8619 156.21/156.36 c nbDecision=295000 #constraints=8620 156.81/156.95 c nbDecision=295500 #constraints=8639 157.01/157.19 c nbDecision=296000 #constraints=8640 157.31/157.48 c nbDecision=296500 #constraints=8641 157.71/157.80 c nbDecision=297000 #constraints=8643 157.91/158.09 c nbDecision=297500 #constraints=8644 158.32/158.42 c nbDecision=298000 #constraints=8646 158.61/158.70 c nbDecision=298500 #constraints=8647 158.91/159.04 c nbDecision=299000 #constraints=8649 159.11/159.28 c nbDecision=299500 #constraints=8650 159.42/159.55 c nbDecision=300000 #constraints=8651 159.71/159.88 c nbDecision=300500 #constraints=8653 160.01/160.18 c nbDecision=301000 #constraints=8654 160.42/160.51 c nbDecision=301500 #constraints=8656 160.61/160.80 c nbDecision=302000 #constraints=8657 161.21/161.31 c nbDecision=302500 #constraints=8675 161.52/161.65 c nbDecision=303000 #constraints=8677 161.81/161.94 c nbDecision=303500 #constraints=8678 162.11/162.29 c nbDecision=304000 #constraints=8680 162.41/162.55 c nbDecision=304500 #constraints=8681 162.72/162.81 c nbDecision=305000 #constraints=8682 163.01/163.15 c nbDecision=305500 #constraints=8684 163.31/163.44 c nbDecision=306000 #constraints=8685 163.61/163.78 c nbDecision=306500 #constraints=8687 163.91/164.07 c nbDecision=307000 #constraints=8688 164.31/164.41 c nbDecision=307500 #constraints=8690 164.51/164.68 c nbDecision=308000 #constraints=8691 164.81/164.94 c nbDecision=308500 #constraints=8692 165.41/165.56 c nbDecision=309000 #constraints=8711 165.71/165.84 c nbDecision=309500 #constraints=8712 166.01/166.18 c nbDecision=310000 #constraints=8714 166.31/166.44 c nbDecision=310500 #constraints=8715 166.61/166.73 c nbDecision=311000 #constraints=8716 166.91/167.07 c nbDecision=311500 #constraints=8718 167.21/167.37 c nbDecision=312000 #constraints=8719 167.61/167.72 c nbDecision=312500 #constraints=8721 167.81/168.00 c nbDecision=313000 #constraints=8722 168.11/168.25 c nbDecision=313500 #constraints=8723 168.51/168.60 c nbDecision=314000 #constraints=8725 168.81/168.90 c nbDecision=314500 #constraints=8726 169.11/169.24 c nbDecision=315000 #constraints=8728 169.41/169.54 c nbDecision=315500 #constraints=8729 169.91/170.06 c nbDecision=316000 #constraints=8747 170.31/170.40 c nbDecision=316500 #constraints=8749 170.61/170.70 c nbDecision=317000 #constraints=8750 170.91/171.05 c nbDecision=317500 #constraints=8752 171.21/171.31 c nbDecision=318000 #constraints=8753 171.41/171.58 c nbDecision=318500 #constraints=8754 171.81/171.93 c nbDecision=319000 #constraints=8756 172.11/172.23 c nbDecision=319500 #constraints=8757 172.41/172.58 c nbDecision=320000 #constraints=8759 172.71/172.87 c nbDecision=320500 #constraints=8760 173.11/173.22 c nbDecision=321000 #constraints=8762 173.31/173.47 c nbDecision=321500 #constraints=8763 173.61/173.76 c nbDecision=322000 #constraints=8764 174.21/174.39 c nbDecision=322500 #constraints=8783 174.51/174.65 c nbDecision=323000 #constraints=8784 174.81/174.93 c nbDecision=323500 #constraints=8785 175.11/175.28 c nbDecision=324000 #constraints=8787 175.41/175.58 c nbDecision=324500 #constraints=8788 175.81/175.94 c nbDecision=325000 #constraints=8790 176.11/176.22 c nbDecision=325500 #constraints=8791 176.31/176.48 c nbDecision=326000 #constraints=8792 176.70/176.84 c nbDecision=326500 #constraints=8794 177.01/177.13 c nbDecision=327000 #constraints=8795 177.30/177.49 c nbDecision=327500 #constraints=8797 177.60/177.78 c nbDecision=328000 #constraints=8798 178.01/178.14 c nbDecision=328500 #constraints=8800 178.30/178.40 c nbDecision=329000 #constraints=8801 178.80/178.96 c nbDecision=329500 #constraints=8819 179.21/179.33 c nbDecision=330000 #constraints=8821 179.40/179.58 c nbDecision=330500 #constraints=8822 179.70/179.88 c nbDecision=331000 #constraints=8823 180.10/180.24 c nbDecision=331500 #constraints=8825 180.40/180.54 c nbDecision=332000 #constraints=8826 180.80/180.91 c nbDecision=332500 #constraints=8828 181.00/181.19 c nbDecision=333000 #constraints=8829 181.31/181.46 c nbDecision=333500 #constraints=8830 181.70/181.82 c nbDecision=334000 #constraints=8832 182.00/182.13 c nbDecision=334500 #constraints=8833 182.30/182.49 c nbDecision=335000 #constraints=8835 182.60/182.78 c nbDecision=335500 #constraints=8836 183.00/183.14 c nbDecision=336000 #constraints=8838 183.61/183.71 c nbDecision=336500 #constraints=8856 183.90/184.00 c nbDecision=337000 #constraints=8857 184.10/184.26 c nbDecision=337500 #constraints=8858 184.50/184.64 c nbDecision=338000 #constraints=8860 184.80/184.94 c nbDecision=338500 #constraints=8861 185.20/185.31 c nbDecision=339000 #constraints=8863 185.50/185.61 c nbDecision=339500 #constraints=8864 185.80/185.98 c nbDecision=340000 #constraints=8866 186.10/186.24 c nbDecision=340500 #constraints=8867 186.40/186.55 c nbDecision=341000 #constraints=8868 186.80/186.92 c nbDecision=341500 #constraints=8870 187.10/187.22 c nbDecision=342000 #constraints=8871 187.50/187.60 c nbDecision=342500 #constraints=8873 188.00/188.15 c nbDecision=343000 #constraints=8891 188.30/188.45 c nbDecision=343500 #constraints=8892 188.70/188.82 c nbDecision=344000 #constraints=8894 188.90/189.09 c nbDecision=344500 #constraints=8895 189.30/189.40 c nbDecision=345000 #constraints=8896 189.61/189.77 c nbDecision=345500 #constraints=8898 189.91/190.07 c nbDecision=346000 #constraints=8899 190.31/190.45 c nbDecision=346500 #constraints=8901 190.61/190.70 c nbDecision=347000 #constraints=8902 190.91/191.01 c nbDecision=347500 #constraints=8903 191.21/191.37 c nbDecision=348000 #constraints=8905 191.51/191.68 c nbDecision=348500 #constraints=8906 191.91/192.06 c nbDecision=349000 #constraints=8908 192.21/192.32 c nbDecision=349500 #constraints=8909 192.81/192.90 c nbDecision=350000 #constraints=8927 193.10/193.27 c nbDecision=350500 #constraints=8929 193.41/193.54 c nbDecision=351000 #constraints=8930 193.70/193.85 c nbDecision=351500 #constraints=8931 194.10/194.22 c nbDecision=352000 #constraints=8933 194.40/194.52 c nbDecision=352500 #constraints=8934 194.70/194.90 c nbDecision=353000 #constraints=8936 195.00/195.16 c nbDecision=353500 #constraints=8937 195.30/195.47 c nbDecision=354000 #constraints=8938 195.71/195.85 c nbDecision=354500 #constraints=8940 196.00/196.15 c nbDecision=355000 #constraints=8941 196.40/196.52 c nbDecision=355500 #constraints=8943 196.60/196.79 c nbDecision=356000 #constraints=8944 197.00/197.10 c nbDecision=356500 #constraints=8945 197.50/197.65 c nbDecision=357000 #constraints=8963 197.91/198.04 c nbDecision=357500 #constraints=8965 198.20/198.35 c nbDecision=358000 #constraints=8966 198.60/198.74 c nbDecision=358500 #constraints=8968 198.91/199.03 c nbDecision=359000 #constraints=8969 199.20/199.31 c nbDecision=359500 #constraints=8970 199.50/199.69 c nbDecision=360000 #constraints=8972 199.90/200.01 c nbDecision=360500 #constraints=8973 200.30/200.40 c nbDecision=361000 #constraints=8975 200.50/200.69 c nbDecision=361500 #constraints=8976 200.80/200.98 c nbDecision=362000 #constraints=8977 201.20/201.36 c nbDecision=362500 #constraints=8979 201.50/201.68 c nbDecision=363000 #constraints=8980 201.90/202.08 c nbDecision=363500 #constraints=8982 202.50/202.64 c nbDecision=364000 #constraints=9000 202.80/202.96 c nbDecision=364500 #constraints=9001 203.20/203.35 c nbDecision=365000 #constraints=9003 203.50/203.62 c nbDecision=365500 #constraints=9004 203.80/203.94 c nbDecision=366000 #constraints=9005 204.20/204.33 c nbDecision=366500 #constraints=9007 204.50/204.64 c nbDecision=367000 #constraints=9008 204.90/205.02 c nbDecision=367500 #constraints=9010 205.20/205.31 c nbDecision=368000 #constraints=9011 205.50/205.64 c nbDecision=368500 #constraints=9012 205.90/206.03 c nbDecision=369000 #constraints=9014 206.20/206.33 c nbDecision=369500 #constraints=9015 206.50/206.61 c nbDecision=370000 #constraints=9016 207.20/207.32 c nbDecision=370500 #constraints=9035 207.50/207.60 c nbDecision=371000 #constraints=9036 207.80/207.91 c nbDecision=371500 #constraints=9037 208.20/208.30 c nbDecision=372000 #constraints=9039 208.50/208.62 c nbDecision=372500 #constraints=9040 208.90/209.02 c nbDecision=373000 #constraints=9042 209.10/209.29 c nbDecision=373500 #constraints=9043 209.50/209.62 c nbDecision=374000 #constraints=9044 209.90/210.01 c nbDecision=374500 #constraints=9046 210.20/210.32 c nbDecision=375000 #constraints=9047 210.50/210.60 c nbDecision=375500 #constraints=9048 210.79/210.99 c nbDecision=376000 #constraints=9050 211.19/211.32 c nbDecision=376500 #constraints=9051 211.59/211.72 c nbDecision=377000 #constraints=9053 212.10/212.29 c nbDecision=377500 #constraints=9071 212.49/212.61 c nbDecision=378000 #constraints=9072 212.89/213.01 c nbDecision=378500 #constraints=9074 213.09/213.28 c nbDecision=379000 #constraints=9075 213.49/213.60 c nbDecision=379500 #constraints=9076 213.89/214.00 c nbDecision=380000 #constraints=9078 214.19/214.31 c nbDecision=380500 #constraints=9079 214.40/214.59 c nbDecision=381000 #constraints=9080 214.79/214.99 c nbDecision=381500 #constraints=9082 215.19/215.32 c nbDecision=382000 #constraints=9083 215.59/215.72 c nbDecision=382500 #constraints=9085 215.89/216.01 c nbDecision=383000 #constraints=9086 216.19/216.31 c nbDecision=383500 #constraints=9087 216.59/216.71 c nbDecision=384000 #constraints=9089 217.09/217.30 c nbDecision=384500 #constraints=9107 217.49/217.62 c nbDecision=385000 #constraints=9108 217.89/218.03 c nbDecision=385500 #constraints=9110 218.19/218.33 c nbDecision=386000 #constraints=9111 218.49/218.62 c nbDecision=386500 #constraints=9112 218.89/219.03 c nbDecision=387000 #constraints=9114 219.19/219.35 c nbDecision=387500 #constraints=9115 219.59/219.76 c nbDecision=388000 #constraints=9117 219.89/220.04 c nbDecision=388500 #constraints=9118 220.19/220.36 c nbDecision=389000 #constraints=9119 220.59/220.78 c nbDecision=389500 #constraints=9121 220.89/221.09 c nbDecision=390000 #constraints=9122 221.19/221.37 c nbDecision=390500 #constraints=9123 221.59/221.79 c nbDecision=391000 #constraints=9125 222.19/222.39 c nbDecision=391500 #constraints=9143 222.59/222.72 c nbDecision=392000 #constraints=9144 222.99/223.14 c nbDecision=392500 #constraints=9146 223.29/223.45 c nbDecision=393000 #constraints=9147 223.59/223.74 c nbDecision=393500 #constraints=9148 223.99/224.15 c nbDecision=394000 #constraints=9150 224.29/224.49 c nbDecision=394500 #constraints=9151 224.79/224.91 c nbDecision=395000 #constraints=9153 225.09/225.20 c nbDecision=395500 #constraints=9154 225.39/225.52 c nbDecision=396000 #constraints=9155 225.78/225.94 c nbDecision=396500 #constraints=9157 226.08/226.26 c nbDecision=397000 #constraints=9158 226.49/226.66 c nbDecision=397500 #constraints=9160 226.78/226.97 c nbDecision=398000 #constraints=9161 227.38/227.58 c nbDecision=398500 #constraints=9179 227.78/227.90 c nbDecision=399000 #constraints=9180 228.18/228.32 c nbDecision=399500 #constraints=9182 228.48/228.64 c nbDecision=400000 #constraints=9183 228.78/228.93 c nbDecision=400500 #constraints=9184 229.18/229.36 c nbDecision=401000 #constraints=9186 229.58/229.70 c nbDecision=401500 #constraints=9187 229.98/230.12 c nbDecision=402000 #constraints=9189 230.28/230.40 c nbDecision=402500 #constraints=9190 230.58/230.73 c nbDecision=403000 #constraints=9191 230.98/231.15 c nbDecision=403500 #constraints=9193 231.28/231.47 c nbDecision=404000 #constraints=9194 231.58/231.76 c nbDecision=404500 #constraints=9195 231.99/232.18 c nbDecision=405000 #constraints=9197 232.58/232.79 c nbDecision=405500 #constraints=9215 232.99/233.12 c nbDecision=406000 #constraints=9216 233.38/233.54 c nbDecision=406500 #constraints=9218 233.68/233.86 c nbDecision=407000 #constraints=9219 233.98/234.16 c nbDecision=407500 #constraints=9220 234.38/234.58 c nbDecision=408000 #constraints=9222 234.78/234.91 c nbDecision=408500 #constraints=9223 235.18/235.32 c nbDecision=409000 #constraints=9225 235.48/235.63 c nbDecision=409500 #constraints=9226 235.48/235.69 c restart after 409601 decisions 236.08/236.26 c nbDecision=410000 #constraints=9226 236.48/236.68 c nbDecision=410500 #constraints=9228 236.78/237.00 c nbDecision=411000 #constraints=9229 237.08/237.30 c nbDecision=411500 #constraints=9230 237.58/237.72 c nbDecision=412000 #constraints=9232 237.88/238.06 c nbDecision=412500 #constraints=9233 238.48/238.67 c nbDecision=413000 #constraints=9251 238.98/239.10 c nbDecision=413500 #constraints=9253 239.28/239.40 c nbDecision=414000 #constraints=9254 239.58/239.72 c nbDecision=414500 #constraints=9255 239.98/240.16 c nbDecision=415000 #constraints=9257 240.28/240.48 c nbDecision=415500 #constraints=9258 240.58/240.78 c nbDecision=416000 #constraints=9259 241.08/241.21 c nbDecision=416500 #constraints=9261 241.38/241.55 c nbDecision=417000 #constraints=9262 241.78/241.99 c nbDecision=417500 #constraints=9264 242.08/242.28 c nbDecision=418000 #constraints=9265 242.48/242.62 c nbDecision=418500 #constraints=9266 242.88/243.05 c nbDecision=419000 #constraints=9268 243.18/243.37 c nbDecision=419500 #constraints=9269 243.88/244.01 c nbDecision=420000 #constraints=9287 244.18/244.30 c nbDecision=420500 #constraints=9288 244.57/244.74 c nbDecision=421000 #constraints=9290 244.87/245.09 c nbDecision=421500 #constraints=9291 245.37/245.53 c nbDecision=422000 #constraints=9293 245.67/245.82 c nbDecision=422500 #constraints=9294 245.97/246.16 c nbDecision=423000 #constraints=9295 246.47/246.61 c nbDecision=423500 #constraints=9297 246.77/246.91 c nbDecision=424000 #constraints=9298 247.07/247.24 c nbDecision=424500 #constraints=9299 247.47/247.68 c nbDecision=425000 #constraints=9301 247.87/248.01 c nbDecision=425500 #constraints=9302 248.17/248.31 c nbDecision=426000 #constraints=9303 248.57/248.75 c nbDecision=426500 #constraints=9305 249.17/249.39 c nbDecision=427000 #constraints=9323 249.57/249.73 c nbDecision=427500 #constraints=9324 249.97/250.18 c nbDecision=428000 #constraints=9326 250.27/250.47 c nbDecision=428500 #constraints=9327 250.67/250.80 c nbDecision=429000 #constraints=9328 251.07/251.25 c nbDecision=429500 #constraints=9330 251.37/251.57 c nbDecision=430000 #constraints=9331 251.67/251.88 c nbDecision=430500 #constraints=9332 252.17/252.32 c nbDecision=431000 #constraints=9334 252.47/252.66 c nbDecision=431500 #constraints=9335 252.87/253.07 c nbDecision=432000 #constraints=9337 253.17/253.39 c nbDecision=432500 #constraints=9338 253.57/253.74 c nbDecision=433000 #constraints=9339 253.97/254.19 c nbDecision=433500 #constraints=9341 254.67/254.82 c nbDecision=434000 #constraints=9359 254.97/255.13 c nbDecision=434500 #constraints=9360 255.27/255.45 c nbDecision=435000 #constraints=9361 255.77/255.90 c nbDecision=435500 #constraints=9363 256.07/256.23 c nbDecision=436000 #constraints=9364 256.37/256.54 c nbDecision=436500 #constraints=9365 256.76/256.99 c nbDecision=437000 #constraints=9367 257.17/257.33 c nbDecision=437500 #constraints=9368 257.56/257.74 c nbDecision=438000 #constraints=9370 257.86/258.07 c nbDecision=438500 #constraints=9371 258.27/258.42 c nbDecision=439000 #constraints=9372 258.66/258.86 c nbDecision=439500 #constraints=9374 258.96/259.17 c nbDecision=440000 #constraints=9375 259.37/259.51 c nbDecision=440500 #constraints=9376 259.76/259.97 c nbDecision=441000 #constraints=9378 260.47/260.61 c nbDecision=441500 #constraints=9396 260.76/260.93 c nbDecision=442000 #constraints=9397 261.06/261.26 c nbDecision=442500 #constraints=9398 261.57/261.72 c nbDecision=443000 #constraints=9400 261.86/262.05 c nbDecision=443500 #constraints=9401 262.16/262.36 c nbDecision=444000 #constraints=9402 262.67/262.82 c nbDecision=444500 #constraints=9404 262.96/263.17 c nbDecision=445000 #constraints=9405 263.36/263.59 c nbDecision=445500 #constraints=9407 263.76/263.93 c nbDecision=446000 #constraints=9408 264.06/264.29 c nbDecision=446500 #constraints=9409 264.56/264.74 c nbDecision=447000 #constraints=9411 264.86/265.05 c nbDecision=447500 #constraints=9412 265.26/265.40 c nbDecision=448000 #constraints=9413 265.86/266.05 c nbDecision=448500 #constraints=9431 266.36/266.52 c nbDecision=449000 #constraints=9433 266.66/266.84 c nbDecision=449500 #constraints=9434 266.96/267.17 c nbDecision=450000 #constraints=9435 267.46/267.64 c nbDecision=450500 #constraints=9437 267.76/267.97 c nbDecision=451000 #constraints=9438 268.06/268.29 c nbDecision=451500 #constraints=9439 268.56/268.76 c nbDecision=452000 #constraints=9441 268.96/269.10 c nbDecision=452500 #constraints=9442 269.26/269.42 c nbDecision=453000 #constraints=9443 269.65/269.88 c nbDecision=453500 #constraints=9445 270.05/270.23 c nbDecision=454000 #constraints=9446 270.46/270.65 c nbDecision=454500 #constraints=9448 270.75/270.99 c nbDecision=455000 #constraints=9449 271.46/271.64 c nbDecision=455500 #constraints=9467 271.75/271.93 c nbDecision=456000 #constraints=9468 272.05/272.26 c nbDecision=456500 #constraints=9469 272.35/272.57 c nbDecision=457000 #constraints=9470 272.65/272.86 c nbDecision=457500 #constraints=9471 273.05/273.27 c nbDecision=458000 #constraints=9473 273.45/273.61 c nbDecision=458500 #constraints=9474 273.66/273.90 c nbDecision=459000 #constraints=9475 273.95/274.19 c nbDecision=459500 #constraints=9476 274.35/274.53 c nbDecision=460000 #constraints=9477 274.65/274.83 c nbDecision=460500 #constraints=9478 274.95/275.12 c nbDecision=461000 #constraints=9479 275.35/275.54 c nbDecision=461500 #constraints=9481 275.65/275.88 c nbDecision=462000 #constraints=9482 275.95/276.17 c nbDecision=462500 #constraints=9483 276.25/276.47 c nbDecision=463000 #constraints=9484 276.65/276.81 c nbDecision=463500 #constraints=9485 277.65/277.81 c nbDecision=464000 #constraints=9527 278.05/278.28 c nbDecision=464500 #constraints=9555 278.36/278.50 c nbDecision=465000 #constraints=9566 278.76/278.94 c nbDecision=465500 #constraints=9596 278.96/279.11 c nbDecision=466000 #constraints=9603 279.06/279.30 c nbDecision=466500 #constraints=9610 279.56/279.71 c nbDecision=467000 #constraints=9639 279.66/279.87 c nbDecision=467500 #constraints=9646 280.06/280.28 c nbDecision=468000 #constraints=9675 280.26/280.45 c nbDecision=468500 #constraints=9682 280.46/280.60 c nbDecision=469000 #constraints=9688 280.86/281.01 c nbDecision=469500 #constraints=9716 280.96/281.18 c nbDecision=470000 #constraints=9723 281.16/281.33 c nbDecision=470500 #constraints=9729 281.55/281.75 c nbDecision=471000 #constraints=9758 281.75/281.92 c nbDecision=471500 #constraints=9765 281.85/282.07 c nbDecision=472000 #constraints=9771 282.26/282.49 c nbDecision=472500 #constraints=9800 282.46/282.65 c nbDecision=473000 #constraints=9806 282.65/282.82 c nbDecision=473500 #constraints=9813 283.05/283.23 c nbDecision=474000 #constraints=9842 283.25/283.41 c nbDecision=474500 #constraints=9849 283.35/283.56 c nbDecision=475000 #constraints=9855 283.75/283.99 c nbDecision=475500 #constraints=9885 283.95/284.16 c nbDecision=476000 #constraints=9891 284.15/284.32 c nbDecision=476500 #constraints=9897 284.55/284.75 c nbDecision=477000 #constraints=9927 284.76/284.91 c nbDecision=477500 #constraints=9933 284.85/285.08 c nbDecision=478000 #constraints=9939 285.25/285.50 c nbDecision=478500 #constraints=9968 285.45/285.66 c nbDecision=479000 #constraints=9974 285.65/285.84 c nbDecision=479500 #constraints=9981 286.05/286.27 c nbDecision=480000 #constraints=10010 286.25/286.44 c nbDecision=480500 #constraints=10016 286.45/286.60 c nbDecision=481000 #constraints=10022 286.85/287.03 c nbDecision=481500 #constraints=10051 287.05/287.20 c nbDecision=482000 #constraints=10057 287.15/287.37 c nbDecision=482500 #constraints=10063 287.65/287.80 c nbDecision=483000 #constraints=10092 287.75/287.97 c nbDecision=483500 #constraints=10098 287.95/288.14 c nbDecision=484000 #constraints=10104 288.35/288.57 c nbDecision=484500 #constraints=10133 288.55/288.75 c nbDecision=485000 #constraints=10139 288.75/288.92 c nbDecision=485500 #constraints=10145 289.15/289.36 c nbDecision=486000 #constraints=10174 289.35/289.54 c nbDecision=486500 #constraints=10180 289.45/289.69 c nbDecision=487000 #constraints=10185 289.65/289.87 c nbDecision=487500 #constraints=10191 290.15/290.31 c nbDecision=488000 #constraints=10220 290.25/290.49 c nbDecision=488500 #constraints=10226 290.45/290.66 c nbDecision=489000 #constraints=10232 290.85/291.08 c nbDecision=489500 #constraints=10260 291.04/291.27 c nbDecision=490000 #constraints=10266 291.25/291.44 c nbDecision=490500 #constraints=10272 291.64/291.88 c nbDecision=491000 #constraints=10301 291.84/292.05 c nbDecision=491500 #constraints=10306 292.04/292.23 c nbDecision=492000 #constraints=10312 292.14/292.40 c nbDecision=492500 #constraints=10317 294.74/294.96 c nbDecision=493000 #constraints=10519 297.35/297.57 c nbDecision=493500 #constraints=10726 299.55/299.72 c nbDecision=494000 #constraints=10886 301.64/301.87 c nbDecision=494500 #constraints=11047 303.54/303.77 c nbDecision=495000 #constraints=11185 304.14/304.32 c nbDecision=495500 #constraints=11212 304.34/304.56 c nbDecision=496000 #constraints=11216 304.64/304.81 c nbDecision=496500 #constraints=11220 304.84/305.05 c nbDecision=497000 #constraints=11224 305.04/305.27 c nbDecision=497500 #constraints=11227 305.34/305.56 c nbDecision=498000 #constraints=11232 305.64/305.81 c nbDecision=498500 #constraints=11236 305.84/306.06 c nbDecision=499000 #constraints=11240 306.14/306.31 c nbDecision=499500 #constraints=11244 306.34/306.53 c nbDecision=500000 #constraints=11247 306.64/306.82 c nbDecision=500500 #constraints=11252 306.84/307.07 c nbDecision=501000 #constraints=11256 307.04/307.29 c nbDecision=501500 #constraints=11259 307.34/307.55 c nbDecision=502000 #constraints=11263 307.64/307.81 c nbDecision=502500 #constraints=11267 307.84/308.06 c nbDecision=503000 #constraints=11271 308.14/308.32 c nbDecision=503500 #constraints=11275 308.34/308.58 c nbDecision=504000 #constraints=11279 308.64/308.80 c nbDecision=504500 #constraints=11282 308.84/309.07 c nbDecision=505000 #constraints=11286 309.14/309.36 c nbDecision=505500 #constraints=11291 309.33/309.58 c nbDecision=506000 #constraints=11294 309.63/309.85 c nbDecision=506500 #constraints=11298 309.83/310.10 c nbDecision=507000 #constraints=11302 310.13/310.33 c nbDecision=507500 #constraints=11305 310.43/310.63 c nbDecision=508000 #constraints=11310 310.63/310.85 c nbDecision=508500 #constraints=11313 310.93/311.11 c nbDecision=509000 #constraints=11317 311.14/311.37 c nbDecision=509500 #constraints=11321 311.43/311.60 c nbDecision=510000 #constraints=11324 311.73/311.90 c nbDecision=510500 #constraints=11329 311.93/312.13 c nbDecision=511000 #constraints=11332 312.14/312.39 c nbDecision=511500 #constraints=11336 312.43/312.62 c nbDecision=512000 #constraints=11339 312.63/312.89 c nbDecision=512500 #constraints=11343 312.93/313.15 c nbDecision=513000 #constraints=11347 313.24/313.42 c nbDecision=513500 #constraints=11351 313.43/313.69 c nbDecision=514000 #constraints=11355 313.73/313.92 c nbDecision=514500 #constraints=11358 313.93/314.19 c nbDecision=515000 #constraints=11362 314.23/314.42 c nbDecision=515500 #constraints=11365 314.53/314.72 c nbDecision=516000 #constraints=11370 314.73/314.95 c nbDecision=516500 #constraints=11373 315.03/315.23 c nbDecision=517000 #constraints=11377 315.23/315.46 c nbDecision=517500 #constraints=11380 315.54/315.74 c nbDecision=518000 #constraints=11384 315.83/316.03 c nbDecision=518500 #constraints=11389 316.03/316.28 c nbDecision=519000 #constraints=11392 316.33/316.51 c nbDecision=519500 #constraints=11395 316.53/316.79 c nbDecision=520000 #constraints=11399 316.83/317.02 c nbDecision=520500 #constraints=11402 317.13/317.30 c nbDecision=521000 #constraints=11406 317.33/317.57 c nbDecision=521500 #constraints=11410 317.63/317.85 c nbDecision=522000 #constraints=11414 317.83/318.09 c nbDecision=522500 #constraints=11417 318.13/318.37 c nbDecision=523000 #constraints=11421 318.43/318.61 c nbDecision=523500 #constraints=11424 318.73/318.92 c nbDecision=524000 #constraints=11429 318.93/319.16 c nbDecision=524500 #constraints=11432 319.23/319.44 c nbDecision=525000 #constraints=11436 319.43/319.69 c nbDecision=525500 #constraints=11439 319.73/319.97 c nbDecision=526000 #constraints=11443 320.03/320.22 c nbDecision=526500 #constraints=11446 320.33/320.53 c nbDecision=527000 #constraints=11451 320.53/320.78 c nbDecision=527500 #constraints=11454 320.83/321.03 c nbDecision=528000 #constraints=11457 321.13/321.32 c nbDecision=528500 #constraints=11461 321.33/321.57 c nbDecision=529000 #constraints=11464 321.63/321.88 c nbDecision=529500 #constraints=11469 321.93/322.14 c nbDecision=530000 #constraints=11472 322.13/322.39 c nbDecision=530500 #constraints=11475 322.42/322.68 c nbDecision=531000 #constraints=11479 322.72/322.93 c nbDecision=531500 #constraints=11482 323.03/323.22 c nbDecision=532000 #constraints=11486 323.32/323.51 c nbDecision=532500 #constraints=11490 323.52/323.76 c nbDecision=533000 #constraints=11493 323.82/324.06 c nbDecision=533500 #constraints=11497 324.12/324.31 c nbDecision=534000 #constraints=11500 324.33/324.60 c nbDecision=534500 #constraints=11504 324.62/324.86 c nbDecision=535000 #constraints=11507 324.92/325.15 c nbDecision=535500 #constraints=11511 325.22/325.44 c nbDecision=536000 #constraints=11515 325.52/325.70 c nbDecision=536500 #constraints=11518 325.72/325.96 c nbDecision=537000 #constraints=11521 326.02/326.26 c nbDecision=537500 #constraints=11525 326.32/326.55 c nbDecision=538000 #constraints=11529 326.62/326.81 c nbDecision=538500 #constraints=11532 326.92/327.11 c nbDecision=539000 #constraints=11536 327.12/327.37 c nbDecision=539500 #constraints=11539 327.42/327.63 c nbDecision=540000 #constraints=11542 327.72/327.93 c nbDecision=540500 #constraints=11546 328.02/328.23 c nbDecision=541000 #constraints=11550 328.22/328.49 c nbDecision=541500 #constraints=11553 328.52/328.79 c nbDecision=542000 #constraints=11557 328.82/329.06 c nbDecision=542500 #constraints=11560 329.12/329.32 c nbDecision=543000 #constraints=11563 329.42/329.63 c nbDecision=543500 #constraints=11567 329.72/329.93 c nbDecision=544000 #constraints=11571 330.02/330.20 c nbDecision=544500 #constraints=11574 330.22/330.45 c nbDecision=545000 #constraints=11577 330.52/330.77 c nbDecision=545500 #constraints=11581 330.82/331.03 c nbDecision=546000 #constraints=11584 331.12/331.30 c nbDecision=546500 #constraints=11587 331.42/331.63 c nbDecision=547000 #constraints=11592 331.72/331.91 c nbDecision=547500 #constraints=11595 331.92/332.18 c nbDecision=548000 #constraints=11598 332.22/332.44 c nbDecision=548500 #constraints=11601 332.52/332.75 c nbDecision=549000 #constraints=11605 332.92/333.14 c nbDecision=549500 #constraints=11612 333.22/333.42 c nbDecision=550000 #constraints=11615 333.52/333.70 c nbDecision=550500 #constraints=11618 333.72/333.97 c nbDecision=551000 #constraints=11621 334.12/334.31 c nbDecision=551500 #constraints=11625 334.32/334.59 c nbDecision=552000 #constraints=11628 334.72/334.91 c nbDecision=552500 #constraints=11632 334.92/335.19 c nbDecision=553000 #constraints=11635 335.22/335.47 c nbDecision=553500 #constraints=11638 335.62/335.80 c nbDecision=554000 #constraints=11642 335.82/336.09 c nbDecision=554500 #constraints=11645 336.12/336.38 c nbDecision=555000 #constraints=11648 336.52/336.70 c nbDecision=555500 #constraints=11652 336.72/336.99 c nbDecision=556000 #constraints=11655 337.02/337.28 c nbDecision=556500 #constraints=11658 337.32/337.56 c nbDecision=557000 #constraints=11661 337.72/337.90 c nbDecision=557500 #constraints=11665 338.02/338.20 c nbDecision=558000 #constraints=11668 338.32/338.53 c nbDecision=558500 #constraints=11672 338.62/338.82 c nbDecision=559000 #constraints=11675 338.91/339.11 c nbDecision=559500 #constraints=11678 339.21/339.41 c nbDecision=560000 #constraints=11681 339.41/339.69 c nbDecision=560500 #constraints=11684 339.81/340.03 c nbDecision=561000 #constraints=11688 340.11/340.37 c nbDecision=561500 #constraints=11692 340.42/340.68 c nbDecision=562000 #constraints=11695 340.73/340.98 c nbDecision=562500 #constraints=11698 341.02/341.28 c nbDecision=563000 #constraints=11701 341.32/341.58 c nbDecision=563500 #constraints=11704 341.62/341.88 c nbDecision=564000 #constraints=11707 341.93/342.19 c nbDecision=564500 #constraints=11710 342.32/342.51 c nbDecision=565000 #constraints=11714 342.62/342.82 c nbDecision=565500 #constraints=11717 342.93/343.17 c nbDecision=566000 #constraints=11721 343.22/343.48 c nbDecision=566500 #constraints=11724 343.52/343.79 c nbDecision=567000 #constraints=11727 343.92/344.10 c nbDecision=567500 #constraints=11730 344.22/344.44 c nbDecision=568000 #constraints=11734 344.52/344.75 c nbDecision=568500 #constraints=11737 344.82/345.06 c nbDecision=569000 #constraints=11740 345.12/345.36 c nbDecision=569500 #constraints=11743 345.42/345.68 c nbDecision=570000 #constraints=11746 345.72/345.98 c nbDecision=570500 #constraints=11749 346.12/346.33 c nbDecision=571000 #constraints=11753 346.42/346.64 c nbDecision=571500 #constraints=11756 346.72/346.95 c nbDecision=572000 #constraints=11759 347.02/347.26 c nbDecision=572500 #constraints=11762 347.32/347.57 c nbDecision=573000 #constraints=11765 347.72/347.93 c nbDecision=573500 #constraints=11769 348.02/348.28 c nbDecision=574000 #constraints=11773 348.32/348.60 c nbDecision=574500 #constraints=11776 348.72/348.92 c nbDecision=575000 #constraints=11779 349.02/349.24 c nbDecision=575500 #constraints=11782 349.32/349.56 c nbDecision=576000 #constraints=11785 349.62/349.88 c nbDecision=576500 #constraints=11788 350.02/350.23 c nbDecision=577000 #constraints=11792 350.32/350.54 c nbDecision=577500 #constraints=11795 350.62/350.86 c nbDecision=578000 #constraints=11798 350.92/351.18 c nbDecision=578500 #constraints=11801 351.32/351.50 c nbDecision=579000 #constraints=11804 351.62/351.82 c nbDecision=579500 #constraints=11807 351.92/352.14 c nbDecision=580000 #constraints=11810 352.22/352.49 c nbDecision=580500 #constraints=11814 352.62/352.81 c nbDecision=581000 #constraints=11817 352.92/353.14 c nbDecision=581500 #constraints=11820 353.22/353.46 c nbDecision=582000 #constraints=11823 353.52/353.78 c nbDecision=582500 #constraints=11826 353.92/354.10 c nbDecision=583000 #constraints=11829 354.22/354.46 c nbDecision=583500 #constraints=11833 354.52/354.79 c nbDecision=584000 #constraints=11836 354.92/355.11 c nbDecision=584500 #constraints=11839 355.22/355.44 c nbDecision=585000 #constraints=11842 355.51/355.77 c nbDecision=585500 #constraints=11845 355.81/356.09 c nbDecision=586000 #constraints=11848 356.22/356.45 c nbDecision=586500 #constraints=11852 356.51/356.78 c nbDecision=587000 #constraints=11855 356.91/357.10 c nbDecision=587500 #constraints=11858 357.11/357.38 c nbDecision=588000 #constraints=11860 357.51/357.72 c nbDecision=588500 #constraints=11863 357.81/358.05 c nbDecision=589000 #constraints=11866 358.11/358.38 c nbDecision=589500 #constraints=11869 358.51/358.75 c nbDecision=590000 #constraints=11873 358.81/359.09 c nbDecision=590500 #constraints=11876 359.21/359.43 c nbDecision=591000 #constraints=11879 359.52/359.76 c nbDecision=591500 #constraints=11882 359.91/360.10 c nbDecision=592000 #constraints=11885 360.21/360.44 c nbDecision=592500 #constraints=11888 360.62/360.82 c nbDecision=593000 #constraints=11892 360.91/361.16 c nbDecision=593500 #constraints=11895 361.31/361.51 c nbDecision=594000 #constraints=11898 361.62/361.85 c nbDecision=594500 #constraints=11901 361.91/362.19 c nbDecision=595000 #constraints=11904 362.31/362.53 c nbDecision=595500 #constraints=11907 362.61/362.81 c nbDecision=596000 #constraints=11909 363.01/363.20 c nbDecision=596500 #constraints=11913 363.31/363.55 c nbDecision=597000 #constraints=11916 363.71/363.90 c nbDecision=597500 #constraints=11919 364.01/364.25 c nbDecision=598000 #constraints=11922 364.41/364.60 c nbDecision=598500 #constraints=11925 364.71/364.95 c nbDecision=599000 #constraints=11928 365.11/365.34 c nbDecision=599500 #constraints=11932 365.41/365.69 c nbDecision=600000 #constraints=11935 365.81/366.04 c nbDecision=600500 #constraints=11938 366.11/366.38 c nbDecision=601000 #constraints=11941 366.41/366.68 c nbDecision=601500 #constraints=11943 366.81/367.04 c nbDecision=602000 #constraints=11946 367.11/367.40 c nbDecision=602500 #constraints=11949 367.51/367.79 c nbDecision=603000 #constraints=11953 367.91/368.15 c nbDecision=603500 #constraints=11956 368.31/368.51 c nbDecision=604000 #constraints=11959 368.61/368.86 c nbDecision=604500 #constraints=11962 369.01/369.21 c nbDecision=605000 #constraints=11965 369.31/369.51 c nbDecision=605500 #constraints=11967 369.61/369.88 c nbDecision=606000 #constraints=11970 370.01/370.29 c nbDecision=606500 #constraints=11975 370.41/370.65 c nbDecision=607000 #constraints=11978 370.81/371.01 c nbDecision=607500 #constraints=11981 371.11/371.36 c nbDecision=608000 #constraints=11984 371.51/371.72 c nbDecision=608500 #constraints=11987 371.81/372.08 c nbDecision=609000 #constraints=11990 372.21/372.49 c nbDecision=609500 #constraints=11994 372.61/372.85 c nbDecision=610000 #constraints=11997 372.91/373.19 c nbDecision=610500 #constraints=12000 373.31/373.51 c nbDecision=611000 #constraints=12002 373.61/373.88 c nbDecision=611500 #constraints=12005 374.00/374.25 c nbDecision=612000 #constraints=12008 374.40/374.62 c nbDecision=612500 #constraints=12011 374.81/375.02 c nbDecision=613000 #constraints=12015 375.10/375.38 c nbDecision=613500 #constraints=12018 375.40/375.69 c nbDecision=614000 #constraints=12020 375.80/376.07 c nbDecision=614500 #constraints=12023 376.20/376.44 c nbDecision=615000 #constraints=12026 376.60/376.82 c nbDecision=615500 #constraints=12029 377.01/377.22 c nbDecision=616000 #constraints=12033 377.30/377.53 c nbDecision=616500 #constraints=12035 377.70/377.91 c nbDecision=617000 #constraints=12038 378.00/378.30 c nbDecision=617500 #constraints=12041 378.40/378.68 c nbDecision=618000 #constraints=12044 378.80/379.05 c nbDecision=618500 #constraints=12047 379.10/379.37 c nbDecision=619000 #constraints=12049 379.50/379.80 c nbDecision=619500 #constraints=12053 379.90/380.19 c nbDecision=620000 #constraints=12056 380.30/380.58 c nbDecision=620500 #constraints=12059 380.70/380.95 c nbDecision=621000 #constraints=12062 381.00/381.28 c nbDecision=621500 #constraints=12064 381.40/381.68 c nbDecision=622000 #constraints=12067 381.80/382.08 c nbDecision=622500 #constraints=12070 382.20/382.49 c nbDecision=623000 #constraints=12074 382.60/382.81 c nbDecision=623500 #constraints=12076 383.00/383.22 c nbDecision=624000 #constraints=12079 383.40/383.62 c nbDecision=624500 #constraints=12082 383.80/384.01 c nbDecision=625000 #constraints=12085 384.10/384.33 c nbDecision=625500 #constraints=12087 384.50/384.74 c nbDecision=626000 #constraints=12090 384.89/385.17 c nbDecision=626500 #constraints=12094 385.29/385.57 c nbDecision=627000 #constraints=12097 385.59/385.89 c nbDecision=627500 #constraints=12099 386.09/386.30 c nbDecision=628000 #constraints=12102 386.49/386.70 c nbDecision=628500 #constraints=12105 386.90/387.10 c nbDecision=629000 #constraints=12108 387.19/387.42 c nbDecision=629500 #constraints=12110 387.59/387.88 c nbDecision=630000 #constraints=12114 387.99/388.29 c nbDecision=630500 #constraints=12117 388.39/388.68 c nbDecision=631000 #constraints=12120 388.79/389.01 c nbDecision=631500 #constraints=12122 389.19/389.43 c nbDecision=632000 #constraints=12125 389.59/389.84 c nbDecision=632500 #constraints=12128 389.99/390.23 c nbDecision=633000 #constraints=12131 390.39/390.60 c nbDecision=633500 #constraints=12134 390.79/391.02 c nbDecision=634000 #constraints=12137 391.19/391.42 c nbDecision=634500 #constraints=12140 391.49/391.74 c nbDecision=635000 #constraints=12142 391.89/392.17 c nbDecision=635500 #constraints=12145 392.29/392.58 c nbDecision=636000 #constraints=12148 392.69/392.98 c nbDecision=636500 #constraints=12151 393.09/393.35 c nbDecision=637000 #constraints=12154 393.49/393.77 c nbDecision=637500 #constraints=12157 393.89/394.18 c nbDecision=638000 #constraints=12160 394.29/394.51 c nbDecision=638500 #constraints=12162 394.69/394.94 c nbDecision=639000 #constraints=12165 395.09/395.35 c nbDecision=639500 #constraints=12168 395.49/395.75 c nbDecision=640000 #constraints=12171 395.89/396.14 c nbDecision=640500 #constraints=12174 396.29/396.57 c nbDecision=641000 #constraints=12177 396.69/396.97 c nbDecision=641500 #constraints=12180 397.09/397.32 c nbDecision=642000 #constraints=12182 397.49/397.75 c nbDecision=642500 #constraints=12185 397.89/398.16 c nbDecision=643000 #constraints=12188 398.29/398.50 c nbDecision=643500 #constraints=12190 398.68/398.97 c nbDecision=644000 #constraints=12194 399.09/399.39 c nbDecision=644500 #constraints=12197 399.48/399.74 c nbDecision=645000 #constraints=12199 399.88/400.18 c nbDecision=645500 #constraints=12202 400.38/400.61 c nbDecision=646000 #constraints=12205 400.68/400.95 c nbDecision=646500 #constraints=12207 401.08/401.39 c nbDecision=647000 #constraints=12210 401.58/401.86 c nbDecision=647500 #constraints=12214 401.98/402.20 c nbDecision=648000 #constraints=12216 402.39/402.65 c nbDecision=648500 #constraints=12219 402.78/403.08 c nbDecision=649000 #constraints=12222 403.18/403.43 c nbDecision=649500 #constraints=12224 403.58/403.88 c nbDecision=650000 #constraints=12227 404.08/404.31 c nbDecision=650500 #constraints=12230 404.38/404.70 c nbDecision=651000 #constraints=12233 404.88/405.15 c nbDecision=651500 #constraints=12236 405.28/405.59 c nbDecision=652000 #constraints=12239 405.68/405.95 c nbDecision=652500 #constraints=12241 406.18/406.40 c nbDecision=653000 #constraints=12244 406.58/406.83 c nbDecision=653500 #constraints=12247 406.98/407.20 c nbDecision=654000 #constraints=12249 407.38/407.69 c nbDecision=654500 #constraints=12253 407.88/408.10 c nbDecision=655000 #constraints=12256 408.18/408.49 c nbDecision=655500 #constraints=12258 408.68/408.94 c nbDecision=656000 #constraints=12261 408.98/409.29 c nbDecision=656500 #constraints=12263 409.48/409.76 c nbDecision=657000 #constraints=12266 409.88/410.20 c nbDecision=657500 #constraints=12269 410.28/410.57 c nbDecision=658000 #constraints=12271 410.78/411.06 c nbDecision=658500 #constraints=12275 411.18/411.48 c nbDecision=659000 #constraints=12278 411.58/411.87 c nbDecision=659500 #constraints=12280 412.08/412.32 c nbDecision=660000 #constraints=12283 412.38/412.68 c nbDecision=660500 #constraints=12285 412.88/413.14 c nbDecision=661000 #constraints=12288 413.28/413.58 c nbDecision=661500 #constraints=12291 413.68/413.99 c nbDecision=662000 #constraints=12294 414.18/414.45 c nbDecision=662500 #constraints=12297 414.58/414.80 c nbDecision=663000 #constraints=12299 414.98/415.28 c nbDecision=663500 #constraints=12302 415.48/415.72 c nbDecision=664000 #constraints=12305 415.88/416.10 c nbDecision=664500 #constraints=12307 416.28/416.57 c nbDecision=665000 #constraints=12310 416.68/416.95 c nbDecision=665500 #constraints=12313 417.18/417.43 c nbDecision=666000 #constraints=12316 417.58/417.88 c nbDecision=666500 #constraints=12319 417.98/418.26 c nbDecision=667000 #constraints=12321 418.48/418.73 c nbDecision=667500 #constraints=12324 418.78/419.09 c nbDecision=668000 #constraints=12326 419.28/419.57 c nbDecision=668500 #constraints=12329 419.78/420.06 c nbDecision=669000 #constraints=12333 420.18/420.46 c nbDecision=669500 #constraints=12335 420.68/420.93 c nbDecision=670000 #constraints=12338 421.08/421.31 c nbDecision=670500 #constraints=12340 421.48/421.79 c nbDecision=671000 #constraints=12343 421.88/422.15 c nbDecision=671500 #constraints=12345 422.38/422.65 c nbDecision=672000 #constraints=12348 422.88/423.12 c nbDecision=672500 #constraints=12351 423.18/423.49 c nbDecision=673000 #constraints=12354 423.57/423.86 c nbDecision=673500 #constraints=12356 423.97/424.24 c nbDecision=674000 #constraints=12358 424.28/424.53 c nbDecision=674500 #constraints=12359 424.68/424.91 c nbDecision=675000 #constraints=12361 424.97/425.29 c nbDecision=675500 #constraints=12363 425.38/425.66 c nbDecision=676000 #constraints=12365 425.77/426.04 c nbDecision=676500 #constraints=12367 426.17/426.40 c nbDecision=677000 #constraints=12369 426.48/426.77 c nbDecision=677500 #constraints=12371 431.88/432.20 c nbDecision=678000 #constraints=12571 439.87/440.15 c nbDecision=678500 #constraints=12857 448.06/448.31 c nbDecision=679000 #constraints=13143 456.27/456.52 c nbDecision=679500 #constraints=13429 464.66/464.91 c nbDecision=680000 #constraints=13715 473.15/473.43 c nbDecision=680500 #constraints=14001 481.76/482.05 c nbDecision=681000 #constraints=14287 490.55/490.86 c nbDecision=681500 #constraints=14573 495.15/495.49 c nbDecision=682000 #constraints=14716 504.25/504.57 c nbDecision=682500 #constraints=15004 504.95/505.28 c nbDecision=683000 #constraints=15006 505.65/505.92 c nbDecision=683500 #constraints=15007 506.35/506.64 c nbDecision=684000 #constraints=15009 506.95/507.26 c nbDecision=684500 #constraints=15010 507.65/507.99 c nbDecision=685000 #constraints=15012 508.25/508.59 c nbDecision=685500 #constraints=15013 509.05/509.34 c nbDecision=686000 #constraints=15015 509.65/509.92 c nbDecision=686500 #constraints=15016 510.34/510.69 c nbDecision=687000 #constraints=15018 510.95/511.24 c nbDecision=687500 #constraints=15019 511.54/511.83 c nbDecision=688000 #constraints=15020 512.25/512.56 c nbDecision=688500 #constraints=15022 513.24/513.56 c nbDecision=689000 #constraints=15040 513.94/514.26 c nbDecision=689500 #constraints=15042 514.64/514.91 c nbDecision=690000 #constraints=15043 515.34/515.61 c nbDecision=690500 #constraints=15045 515.94/516.26 c nbDecision=691000 #constraints=15046 516.65/516.97 c nbDecision=691500 #constraints=15048 517.34/517.60 c nbDecision=692000 #constraints=15049 518.04/518.34 c nbDecision=692500 #constraints=15051 518.64/518.94 c nbDecision=693000 #constraints=15052 519.44/519.70 c nbDecision=693500 #constraints=15054 519.94/520.28 c nbDecision=694000 #constraints=15055 520.54/520.87 c nbDecision=694500 #constraints=15056 521.34/521.63 c nbDecision=695000 #constraints=15058 522.24/522.59 c nbDecision=695500 #constraints=15076 523.04/523.32 c nbDecision=696000 #constraints=15078 523.64/523.98 c nbDecision=696500 #constraints=15079 524.44/524.72 c nbDecision=697000 #constraints=15081 525.04/525.37 c nbDecision=697500 #constraints=15082 525.84/526.13 c nbDecision=698000 #constraints=15084 526.44/526.75 c nbDecision=698500 #constraints=15085 527.24/527.54 c nbDecision=699000 #constraints=15087 527.84/528.11 c nbDecision=699500 #constraints=15088 528.44/528.73 c nbDecision=700000 #constraints=15089 529.14/529.47 c nbDecision=700500 #constraints=15091 529.84/530.14 c nbDecision=701000 #constraints=15092 530.54/530.87 c nbDecision=701500 #constraints=15094 531.63/531.93 c nbDecision=702000 #constraints=15112 532.33/532.69 c nbDecision=702500 #constraints=15114 533.03/533.31 c nbDecision=703000 #constraints=15115 533.83/534.10 c nbDecision=703500 #constraints=15117 534.34/534.68 c nbDecision=704000 #constraints=15118 535.03/535.30 c nbDecision=704500 #constraints=15119 535.73/536.03 c nbDecision=705000 #constraints=15121 536.44/536.72 c nbDecision=705500 #constraints=15122 537.13/537.45 c nbDecision=706000 #constraints=15124 537.83/538.14 c nbDecision=706500 #constraints=15125 538.53/538.87 c nbDecision=707000 #constraints=15127 539.23/539.55 c nbDecision=707500 #constraints=15128 540.03/540.30 c nbDecision=708000 #constraints=15130 540.93/541.27 c nbDecision=708500 #constraints=15148 541.63/541.94 c nbDecision=709000 #constraints=15149 542.43/542.71 c nbDecision=709500 #constraints=15151 543.13/543.41 c nbDecision=710000 #constraints=15152 543.83/544.18 c nbDecision=710500 #constraints=15154 544.53/544.88 c nbDecision=711000 #constraints=15155 545.33/545.65 c nbDecision=711500 #constraints=15157 546.03/546.33 c nbDecision=712000 #constraints=15158 546.83/547.11 c nbDecision=712500 #constraints=15160 547.43/547.77 c nbDecision=713000 #constraints=15161 548.23/548.58 c nbDecision=713500 #constraints=15163 548.83/549.18 c nbDecision=714000 #constraints=15164 549.53/549.82 c nbDecision=714500 #constraints=15165 550.73/551.02 c nbDecision=715000 #constraints=15184 551.43/551.70 c nbDecision=715500 #constraints=15185 552.23/552.50 c nbDecision=716000 #constraints=15187 552.82/553.13 c nbDecision=716500 #constraints=15188 553.42/553.73 c nbDecision=717000 #constraints=15189 554.22/554.53 c nbDecision=717500 #constraints=15191 554.92/555.21 c nbDecision=718000 #constraints=15192 555.62/555.99 c nbDecision=718500 #constraints=15194 556.33/556.69 c nbDecision=719000 #constraints=15195 557.12/557.47 c nbDecision=719500 #constraints=15197 557.82/558.17 c nbDecision=720000 #constraints=15198 558.62/558.94 c nbDecision=720500 #constraints=15200 559.32/559.62 c nbDecision=721000 #constraints=15201 560.12/560.43 c nbDecision=721500 #constraints=15203 561.12/561.43 c nbDecision=722000 #constraints=15221 561.83/562.15 c nbDecision=722500 #constraints=15222 562.62/562.95 c nbDecision=723000 #constraints=15224 563.32/563.64 c nbDecision=723500 #constraints=15225 564.12/564.45 c nbDecision=724000 #constraints=15227 564.82/565.10 c nbDecision=724500 #constraints=15228 565.42/565.71 c nbDecision=725000 #constraints=15229 566.22/566.52 c nbDecision=725500 #constraints=15231 566.92/567.23 c nbDecision=726000 #constraints=15232 567.72/568.02 c nbDecision=726500 #constraints=15234 568.42/568.74 c nbDecision=727000 #constraints=15235 569.22/569.54 c nbDecision=727500 #constraints=15237 569.92/570.24 c nbDecision=728000 #constraints=15238 570.92/571.25 c nbDecision=728500 #constraints=15256 571.72/572.05 c nbDecision=729000 #constraints=15258 572.42/572.77 c nbDecision=729500 #constraints=15259 573.22/573.57 c nbDecision=730000 #constraints=15261 573.92/574.27 c nbDecision=730500 #constraints=15262 574.72/575.08 c nbDecision=731000 #constraints=15264 575.42/575.74 c nbDecision=731500 #constraints=15265 576.22/576.59 c nbDecision=732000 #constraints=15267 576.82/577.18 c nbDecision=732500 #constraints=15268 577.52/577.86 c nbDecision=733000 #constraints=15269 578.32/578.66 c nbDecision=733500 #constraints=15271 579.02/579.38 c nbDecision=734000 #constraints=15272 579.82/580.19 c nbDecision=734500 #constraints=15274 580.91/581.23 c nbDecision=735000 #constraints=15292 581.62/581.94 c nbDecision=735500 #constraints=15293 582.41/582.76 c nbDecision=736000 #constraints=15295 583.11/583.49 c nbDecision=736500 #constraints=15296 584.01/584.31 c nbDecision=737000 #constraints=15298 584.71/585.02 c nbDecision=737500 #constraints=15299 585.51/585.86 c nbDecision=738000 #constraints=15301 586.21/586.52 c nbDecision=738500 #constraints=15302 586.81/587.15 c nbDecision=739000 #constraints=15303 587.61/587.98 c nbDecision=739500 #constraints=15305 588.41/588.71 c nbDecision=740000 #constraints=15306 589.21/589.53 c nbDecision=740500 #constraints=15308 589.91/590.25 c nbDecision=741000 #constraints=15309 590.71/591.07 c nbDecision=741500 #constraints=15311 591.81/592.11 c nbDecision=742000 #constraints=15329 592.52/592.84 c nbDecision=742500 #constraints=15330 593.31/593.67 c nbDecision=743000 #constraints=15332 594.01/594.38 c nbDecision=743500 #constraints=15333 594.91/595.21 c nbDecision=744000 #constraints=15335 595.51/595.89 c nbDecision=744500 #constraints=15336 596.41/596.75 c nbDecision=745000 #constraints=15338 597.02/597.34 c nbDecision=745500 #constraints=15339 597.71/598.07 c nbDecision=746000 #constraints=15340 598.51/598.89 c nbDecision=746500 #constraints=15342 599.31/599.62 c nbDecision=747000 #constraints=15343 600.11/600.45 c nbDecision=747500 #constraints=15345 600.81/601.17 c nbDecision=748000 #constraints=15346 601.91/602.25 c nbDecision=748500 #constraints=15364 602.81/603.10 c nbDecision=749000 #constraints=15366 603.51/603.83 c nbDecision=749500 #constraints=15367 604.31/604.68 c nbDecision=750000 #constraints=15369 605.01/605.36 c nbDecision=750500 #constraints=15370 605.61/606.00 c nbDecision=751000 #constraints=15371 606.51/606.85 c nbDecision=751500 #constraints=15373 607.21/607.60 c nbDecision=752000 #constraints=15374 608.11/608.44 c nbDecision=752500 #constraints=15376 608.81/609.18 c nbDecision=753000 #constraints=15377 609.71/610.03 c nbDecision=753500 #constraints=15379 610.41/610.73 c nbDecision=754000 #constraints=15380 611.21/611.60 c nbDecision=754500 #constraints=15382 612.31/612.67 c nbDecision=755000 #constraints=15400 613.00/613.39 c nbDecision=755500 #constraints=15401 613.90/614.27 c nbDecision=756000 #constraints=15403 614.51/614.90 c nbDecision=756500 #constraints=15404 615.20/615.59 c nbDecision=757000 #constraints=15405 616.10/616.45 c nbDecision=757500 #constraints=15407 616.90/617.20 c nbDecision=758000 #constraints=15408 617.70/618.05 c nbDecision=758500 #constraints=15410 618.40/618.77 c nbDecision=759000 #constraints=15411 619.30/619.65 c nbDecision=759500 #constraints=15413 619.90/620.29 c nbDecision=760000 #constraints=15414 620.60/620.98 c nbDecision=760500 #constraints=15415 621.50/621.85 c nbDecision=761000 #constraints=15417 622.31/622.60 c nbDecision=761500 #constraints=15418 623.30/623.68 c nbDecision=762000 #constraints=15436 624.20/624.56 c nbDecision=762500 #constraints=15438 625.00/625.31 c nbDecision=763000 #constraints=15439 625.80/626.20 c nbDecision=763500 #constraints=15441 626.60/626.93 c nbDecision=764000 #constraints=15442 627.50/627.83 c nbDecision=764500 #constraints=15444 628.10/628.48 c nbDecision=765000 #constraints=15445 628.80/629.17 c nbDecision=765500 #constraints=15446 629.70/630.05 c nbDecision=766000 #constraints=15448 630.50/630.80 c nbDecision=766500 #constraints=15449 631.30/631.67 c nbDecision=767000 #constraints=15451 632.00/632.40 c nbDecision=767500 #constraints=15452 632.90/633.29 c nbDecision=768000 #constraints=15454 634.00/634.38 c nbDecision=768500 #constraints=15472 634.80/635.12 c nbDecision=769000 #constraints=15473 635.70/636.02 c nbDecision=769500 #constraints=15475 636.30/636.66 c nbDecision=770000 #constraints=15476 637.00/637.36 c nbDecision=770500 #constraints=15477 637.90/638.24 c nbDecision=771000 #constraints=15479 638.70/639.00 c nbDecision=771500 #constraints=15480 639.49/639.88 c nbDecision=772000 #constraints=15482 640.29/640.61 c nbDecision=772500 #constraints=15483 641.19/641.52 c nbDecision=773000 #constraints=15485 641.79/642.14 c nbDecision=773500 #constraints=15486 642.59/642.91 c nbDecision=774000 #constraints=15487 643.49/643.80 c nbDecision=774500 #constraints=15489 644.20/644.56 c nbDecision=775000 #constraints=15490 645.30/645.68 c nbDecision=775500 #constraints=15508 646.19/646.58 c nbDecision=776000 #constraints=15510 646.99/647.34 c nbDecision=776500 #constraints=15511 647.89/648.25 c nbDecision=777000 #constraints=15513 648.59/648.94 c nbDecision=777500 #constraints=15514 649.29/649.63 c nbDecision=778000 #constraints=15515 650.19/650.53 c nbDecision=778500 #constraints=15517 650.89/651.29 c nbDecision=779000 #constraints=15518 651.79/652.18 c nbDecision=779500 #constraints=15520 652.59/652.92 c nbDecision=780000 #constraints=15521 653.49/653.84 c nbDecision=780500 #constraints=15523 654.09/654.46 c nbDecision=781000 #constraints=15524 654.89/655.22 c nbDecision=781500 #constraints=15525 656.29/656.61 c nbDecision=782000 #constraints=15544 656.89/657.23 c nbDecision=782500 #constraints=15545 657.69/658.01 c nbDecision=783000 #constraints=15546 658.59/658.92 c nbDecision=783500 #constraints=15548 659.29/659.67 c nbDecision=784000 #constraints=15549 660.29/660.60 c nbDecision=784500 #constraints=15551 660.89/661.27 c nbDecision=785000 #constraints=15552 661.58/661.99 c nbDecision=785500 #constraints=15553 662.58/662.91 c nbDecision=786000 #constraints=15555 663.28/663.69 c nbDecision=786500 #constraints=15556 664.28/664.60 c nbDecision=787000 #constraints=15558 664.98/665.32 c nbDecision=787500 #constraints=15559 665.58/665.99 c nbDecision=788000 #constraints=15560 666.58/666.92 c nbDecision=788500 #constraints=15562 667.78/668.15 c nbDecision=789000 #constraints=15580 668.48/668.83 c nbDecision=789500 #constraints=15581 669.38/669.77 c nbDecision=790000 #constraints=15583 670.18/670.55 c nbDecision=790500 #constraints=15584 671.08/671.47 c nbDecision=791000 #constraints=15586 671.88/672.21 c nbDecision=791500 #constraints=15587 672.78/673.13 c nbDecision=792000 #constraints=15589 673.38/673.79 c nbDecision=792500 #constraints=15590 674.18/674.57 c nbDecision=793000 #constraints=15591 675.18/675.50 c nbDecision=793500 #constraints=15593 675.88/676.25 c nbDecision=794000 #constraints=15594 676.88/677.20 c nbDecision=794500 #constraints=15596 677.48/677.82 c nbDecision=795000 #constraints=15597 678.18/678.59 c nbDecision=795500 #constraints=15598 679.67/680.01 c nbDecision=796000 #constraints=15617 680.27/680.67 c nbDecision=796500 #constraints=15618 681.07/681.47 c nbDecision=797000 #constraints=15619 682.07/682.41 c nbDecision=797500 #constraints=15621 682.78/683.18 c nbDecision=798000 #constraints=15622 683.78/684.14 c nbDecision=798500 #constraints=15624 684.37/684.77 c nbDecision=799000 #constraints=15625 685.17/685.57 c nbDecision=799500 #constraints=15626 686.17/686.52 c nbDecision=800000 #constraints=15628 686.87/687.29 c nbDecision=800500 #constraints=15629 687.87/688.25 c nbDecision=801000 #constraints=15631 688.57/688.90 c nbDecision=801500 #constraints=15632 689.28/689.68 c nbDecision=802000 #constraints=15633 690.77/691.11 c nbDecision=802500 #constraints=15652 691.37/691.77 c nbDecision=803000 #constraints=15653 692.17/692.56 c nbDecision=803500 #constraints=15654 693.17/693.50 c nbDecision=804000 #constraints=15656 693.87/694.25 c nbDecision=804500 #constraints=15657 694.87/695.21 c nbDecision=805000 #constraints=15659 695.47/695.84 c nbDecision=805500 #constraints=15660 696.27/696.63 c nbDecision=806000 #constraints=15661 697.17/697.57 c nbDecision=806500 #constraints=15663 697.97/698.33 c nbDecision=807000 #constraints=15664 698.87/699.29 c nbDecision=807500 #constraints=15666 699.57/699.93 c nbDecision=808000 #constraints=15667 700.37/700.71 c nbDecision=808500 #constraints=15668 701.27/701.66 c nbDecision=809000 #constraints=15670 702.47/702.83 c nbDecision=809500 #constraints=15688 703.27/703.62 c nbDecision=810000 #constraints=15689 704.17/704.58 c nbDecision=810500 #constraints=15691 704.97/705.35 c nbDecision=811000 #constraints=15692 705.96/706.31 c nbDecision=811500 #constraints=15694 706.56/706.97 c nbDecision=812000 #constraints=15695 707.36/707.77 c nbDecision=812500 #constraints=15696 708.36/708.73 c nbDecision=813000 #constraints=15698 709.07/709.50 c nbDecision=813500 #constraints=15699 710.06/710.45 c nbDecision=814000 #constraints=15701 710.76/711.11 c nbDecision=814500 #constraints=15702 711.56/711.90 c nbDecision=815000 #constraints=15703 712.47/712.85 c nbDecision=815500 #constraints=15705 713.26/713.62 c nbDecision=816000 #constraints=15706 714.46/714.82 c nbDecision=816500 #constraints=15724 715.36/715.78 c nbDecision=817000 #constraints=15726 716.16/716.51 c nbDecision=817500 #constraints=15727 716.86/717.21 c nbDecision=818000 #constraints=15728 717.76/718.18 c nbDecision=818500 #constraints=15730 718.56/718.97 c nbDecision=819000 #constraints=15731 718.96/719.36 c restart after 819201 decisions 719.86/720.27 c nbDecision=819500 #constraints=15732 720.66/721.01 c nbDecision=820000 #constraints=15733 721.56/721.98 c nbDecision=820500 #constraints=15735 722.36/722.78 c nbDecision=821000 #constraints=15736 723.36/723.76 c nbDecision=821500 #constraints=15738 724.06/724.46 c nbDecision=822000 #constraints=15739 724.86/725.21 c nbDecision=822500 #constraints=15740 725.76/726.19 c nbDecision=823000 #constraints=15742 726.96/727.37 c nbDecision=823500 #constraints=15760 727.76/728.19 c nbDecision=824000 #constraints=15761 728.76/729.19 c nbDecision=824500 #constraints=15763 729.56/729.97 c nbDecision=825000 #constraints=15764 730.26/730.65 c nbDecision=825500 #constraints=15765 731.25/731.65 c nbDecision=826000 #constraints=15767 732.05/732.46 c nbDecision=826500 #constraints=15768 733.05/733.45 c nbDecision=827000 #constraints=15770 733.75/734.18 c nbDecision=827500 #constraints=15771 734.55/734.91 c nbDecision=828000 #constraints=15772 735.56/735.90 c nbDecision=828500 #constraints=15774 736.35/736.71 c nbDecision=829000 #constraints=15775 737.35/737.71 c nbDecision=829500 #constraints=15777 738.05/738.40 c nbDecision=830000 #constraints=15778 739.25/739.69 c nbDecision=830500 #constraints=15796 740.25/740.67 c nbDecision=831000 #constraints=15798 741.06/741.41 c nbDecision=831500 #constraints=15799 741.85/742.23 c nbDecision=832000 #constraints=15800 742.85/743.24 c nbDecision=832500 #constraints=15802 743.55/743.98 c nbDecision=833000 #constraints=15803 744.35/744.73 c nbDecision=833500 #constraints=15804 745.35/745.75 c nbDecision=834000 #constraints=15806 746.15/746.56 c nbDecision=834500 #constraints=15807 747.15/747.59 c nbDecision=835000 #constraints=15809 747.85/748.26 c nbDecision=835500 #constraints=15810 748.65/749.07 c nbDecision=836000 #constraints=15811 749.65/750.09 c nbDecision=836500 #constraints=15813 750.45/750.88 c nbDecision=837000 #constraints=15814 751.75/752.12 c nbDecision=837500 #constraints=15832 752.75/753.14 c nbDecision=838000 #constraints=15834 753.45/753.85 c nbDecision=838500 #constraints=15835 754.25/754.63 c nbDecision=839000 #constraints=15836 755.25/755.65 c nbDecision=839500 #constraints=15838 756.05/756.45 c nbDecision=840000 #constraints=15839 757.04/757.44 c nbDecision=840500 #constraints=15841 757.74/758.16 c nbDecision=841000 #constraints=15842 758.55/758.98 c nbDecision=841500 #constraints=15843 759.54/760.00 c nbDecision=842000 #constraints=15845 760.34/760.76 c nbDecision=842500 #constraints=15846 761.14/761.50 c nbDecision=843000 #constraints=15847 762.14/762.54 c nbDecision=843500 #constraints=15849 762.95/763.37 c nbDecision=844000 #constraints=15850 764.25/764.62 c nbDecision=844500 #constraints=15868 765.25/765.65 c nbDecision=845000 #constraints=15870 766.05/766.43 c nbDecision=845500 #constraints=15871 766.75/767.17 c nbDecision=846000 #constraints=15872 767.85/768.21 c nbDecision=846500 #constraints=15874 768.65/769.04 c nbDecision=847000 #constraints=15875 769.65/770.09 c nbDecision=847500 #constraints=15877 770.35/770.76 c nbDecision=848000 #constraints=15878 771.25/771.60 c nbDecision=848500 #constraints=15879 772.25/772.63 c nbDecision=849000 #constraints=15881 773.05/773.40 c nbDecision=849500 #constraints=15882 773.75/774.13 c nbDecision=850000 #constraints=15883 774.75/775.16 c nbDecision=850500 #constraints=15885 775.55/776.00 c nbDecision=851000 #constraints=15886 776.84/777.25 c nbDecision=851500 #constraints=15904 777.84/778.29 c nbDecision=852000 #constraints=15906 778.64/779.06 c nbDecision=852500 #constraints=15907 779.45/779.80 c nbDecision=853000 #constraints=15908 780.44/780.86 c nbDecision=853500 #constraints=15910 781.34/781.70 c nbDecision=854000 #constraints=15911 782.34/782.75 c nbDecision=854500 #constraints=15913 783.04/783.44 c nbDecision=855000 #constraints=15914 783.85/784.29 c nbDecision=855500 #constraints=15915 784.95/785.35 c nbDecision=856000 #constraints=15917 785.74/786.12 c nbDecision=856500 #constraints=15918 786.44/786.88 c nbDecision=857000 #constraints=15919 787.54/787.94 c nbDecision=857500 #constraints=15921 788.34/788.77 c nbDecision=858000 #constraints=15922 789.64/790.06 c nbDecision=858500 #constraints=15940 790.74/791.12 c nbDecision=859000 #constraints=15942 791.44/791.85 c nbDecision=859500 #constraints=15943 792.24/792.64 c nbDecision=860000 #constraints=15944 793.34/793.71 c nbDecision=860500 #constraints=15946 794.14/794.52 c nbDecision=861000 #constraints=15947 794.84/795.22 c nbDecision=861500 #constraints=15948 795.84/796.29 c nbDecision=862000 #constraints=15950 796.74/797.13 c nbDecision=862500 #constraints=15951 797.74/798.20 c nbDecision=863000 #constraints=15953 798.44/798.89 c nbDecision=863500 #constraints=15954 799.34/799.73 c nbDecision=864000 #constraints=15955 800.34/800.79 c nbDecision=864500 #constraints=15957 801.23/801.60 c nbDecision=865000 #constraints=15958 802.54/802.93 c nbDecision=865500 #constraints=15976 803.53/803.99 c nbDecision=866000 #constraints=15978 804.33/804.72 c nbDecision=866500 #constraints=15979 805.13/805.58 c nbDecision=867000 #constraints=15980 806.23/806.66 c nbDecision=867500 #constraints=15982 807.04/807.41 c nbDecision=868000 #constraints=15983 807.83/808.23 c nbDecision=868500 #constraints=15984 808.93/809.31 c nbDecision=869000 #constraints=15986 809.73/810.12 c nbDecision=869500 #constraints=15987 810.43/810.85 c nbDecision=870000 #constraints=15988 811.53/811.93 c nbDecision=870500 #constraints=15990 812.33/812.78 c nbDecision=871000 #constraints=15991 813.43/813.86 c nbDecision=871500 #constraints=15993 814.13/814.56 c nbDecision=872000 #constraints=15994 815.53/815.91 c nbDecision=872500 #constraints=16012 816.33/816.71 c nbDecision=873000 #constraints=16013 817.33/817.79 c nbDecision=873500 #constraints=16015 818.23/818.61 c nbDecision=874000 #constraints=16016 818.93/819.35 c nbDecision=874500 #constraints=16017 820.03/820.45 c nbDecision=875000 #constraints=16019 820.93/821.31 c nbDecision=875500 #constraints=16020 821.93/822.40 c nbDecision=876000 #constraints=16022 822.73/823.12 c nbDecision=876500 #constraints=16023 823.53/823.99 c nbDecision=877000 #constraints=16024 824.63/825.09 c nbDecision=877500 #constraints=16026 825.43/825.84 c nbDecision=878000 #constraints=16027 826.23/826.66 c nbDecision=878500 #constraints=16028 827.33/827.76 c nbDecision=879000 #constraints=16030 828.62/829.08 c nbDecision=879500 #constraints=16048 829.52/829.94 c nbDecision=880000 #constraints=16049 830.62/831.00 c nbDecision=880500 #constraints=16051 831.32/831.75 c nbDecision=881000 #constraints=16052 832.23/832.62 c nbDecision=881500 #constraints=16053 833.32/833.72 c nbDecision=882000 #constraints=16055 834.02/834.43 c nbDecision=882500 #constraints=16056 834.82/835.29 c nbDecision=883000 #constraints=16057 835.92/836.39 c nbDecision=883500 #constraints=16059 836.72/837.17 c nbDecision=884000 #constraints=16060 837.52/837.96 c nbDecision=884500 #constraints=16061 838.62/839.06 c nbDecision=885000 #constraints=16063 839.42/839.89 c nbDecision=885500 #constraints=16064 840.22/840.63 c nbDecision=886000 #constraints=16065 841.91/842.34 c nbDecision=886500 #constraints=16084 842.61/843.09 c nbDecision=887000 #constraints=16085 843.51/843.97 c nbDecision=887500 #constraints=16086 844.61/845.10 c nbDecision=888000 #constraints=16088 845.42/845.83 c nbDecision=888500 #constraints=16089 846.21/846.69 c nbDecision=889000 #constraints=16090 847.41/847.81 c nbDecision=889500 #constraints=16092 848.21/848.61 c nbDecision=890000 #constraints=16093 849.01/849.42 c nbDecision=890500 #constraints=16094 850.11/850.54 c nbDecision=891000 #constraints=16096 850.91/851.37 c nbDecision=891500 #constraints=16097 851.71/852.12 c nbDecision=892000 #constraints=16098 852.81/853.24 c nbDecision=892500 #constraints=16100 853.71/854.10 c nbDecision=893000 #constraints=16101 854.71/855.18 c nbDecision=893500 #constraints=16103 856.11/856.58 c nbDecision=894000 #constraints=16121 856.81/857.29 c nbDecision=894500 #constraints=16122 857.71/858.17 c nbDecision=895000 #constraints=16123 858.91/859.30 c nbDecision=895500 #constraints=16125 859.61/860.06 c nbDecision=896000 #constraints=16126 860.51/860.91 c nbDecision=896500 #constraints=16127 861.61/862.04 c nbDecision=897000 #constraints=16129 862.40/862.86 c nbDecision=897500 #constraints=16130 863.20/863.66 c nbDecision=898000 #constraints=16131 864.40/864.80 c nbDecision=898500 #constraints=16133 865.21/865.64 c nbDecision=899000 #constraints=16134 866.00/866.41 c nbDecision=899500 #constraints=16135 867.10/867.56 c nbDecision=900000 #constraints=16137 868.00/868.43 c nbDecision=900500 #constraints=16138 869.40/869.80 c nbDecision=901000 #constraints=16156 870.50/870.94 c nbDecision=901500 #constraints=16158 871.20/871.68 c nbDecision=902000 #constraints=16159 872.10/872.56 c nbDecision=902500 #constraints=16160 873.30/873.70 c nbDecision=903000 #constraints=16162 874.00/874.43 c nbDecision=903500 #constraints=16163 874.90/875.31 c nbDecision=904000 #constraints=16164 876.00/876.45 c nbDecision=904500 #constraints=16166 876.80/877.22 c nbDecision=905000 #constraints=16167 877.60/878.07 c nbDecision=905500 #constraints=16168 878.80/879.20 c nbDecision=906000 #constraints=16170 879.60/880.01 c nbDecision=906500 #constraints=16171 880.40/880.82 c nbDecision=907000 #constraints=16172 881.60/882.00 c nbDecision=907500 #constraints=16174 882.90/883.38 c nbDecision=908000 #constraints=16192 883.80/884.25 c nbDecision=908500 #constraints=16193 884.90/885.34 c nbDecision=909000 #constraints=16195 885.70/886.18 c nbDecision=909500 #constraints=16196 886.60/887.07 c nbDecision=910000 #constraints=16197 887.69/888.18 c nbDecision=910500 #constraints=16199 888.49/888.98 c nbDecision=911000 #constraints=16200 889.40/889.88 c nbDecision=911500 #constraints=16201 890.60/891.02 c nbDecision=912000 #constraints=16203 891.29/891.78 c nbDecision=912500 #constraints=16204 892.19/892.67 c nbDecision=913000 #constraints=16205 893.39/893.82 c nbDecision=913500 #constraints=16207 894.09/894.55 c nbDecision=914000 #constraints=16208 894.99/895.45 c nbDecision=914500 #constraints=16209 896.19/896.61 c nbDecision=915000 #constraints=16211 897.09/897.54 c nbDecision=915500 #constraints=16228 898.09/898.57 c nbDecision=916000 #constraints=16230 898.99/899.41 c nbDecision=916500 #constraints=16231 899.69/900.12 c nbDecision=917000 #constraints=16232 900.39/900.86 c nbDecision=917500 #constraints=16233 901.19/901.65 c nbDecision=918000 #constraints=16234 901.99/902.46 c nbDecision=918500 #constraints=16235 902.79/903.20 c nbDecision=919000 #constraints=16236 903.49/903.92 c nbDecision=919500 #constraints=16237 904.49/904.96 c nbDecision=920000 #constraints=16239 905.29/905.79 c nbDecision=920500 #constraints=16240 906.09/906.53 c nbDecision=921000 #constraints=16241 906.79/907.26 c nbDecision=921500 #constraints=16242 907.59/908.04 c nbDecision=922000 #constraints=16243 908.39/908.87 c nbDecision=922500 #constraints=16244 909.19/909.62 c nbDecision=923000 #constraints=16245 909.89/910.34 c nbDecision=923500 #constraints=16246 920.98/921.49 c nbDecision=924000 #constraints=16570 938.89/939.39 c nbDecision=924500 #constraints=17071 956.97/957.49 c nbDecision=925000 #constraints=17570 976.57/977.06 c nbDecision=925500 #constraints=18071 983.77/984.23 c nbDecision=926000 #constraints=18277 984.47/984.92 c nbDecision=926500 #constraints=18308 985.17/985.63 c nbDecision=927000 #constraints=18341 985.36/985.87 c nbDecision=927500 #constraints=18347 985.66/986.13 c nbDecision=928000 #constraints=18354 986.27/986.75 c nbDecision=928500 #constraints=18383 986.56/987.01 c nbDecision=929000 #constraints=18390 986.76/987.26 c nbDecision=929500 #constraints=18397 987.37/987.83 c nbDecision=930000 #constraints=18426 987.56/988.09 c nbDecision=930500 #constraints=18433 987.86/988.32 c nbDecision=931000 #constraints=18439 988.37/988.89 c nbDecision=931500 #constraints=18467 988.66/989.15 c nbDecision=932000 #constraints=18474 988.86/989.38 c nbDecision=932500 #constraints=18480 989.47/989.96 c nbDecision=933000 #constraints=18509 989.76/990.23 c nbDecision=933500 #constraints=18516 989.96/990.46 c nbDecision=934000 #constraints=18522 990.57/991.04 c nbDecision=934500 #constraints=18551 990.76/991.28 c nbDecision=935000 #constraints=18557 991.06/991.55 c nbDecision=935500 #constraints=18564 991.66/992.11 c nbDecision=936000 #constraints=18593 991.86/992.38 c nbDecision=936500 #constraints=18600 992.16/992.63 c nbDecision=937000 #constraints=18606 992.76/993.22 c nbDecision=937500 #constraints=18636 992.96/993.47 c nbDecision=938000 #constraints=18642 993.26/993.72 c nbDecision=938500 #constraints=18648 993.86/994.32 c nbDecision=939000 #constraints=18678 994.06/994.58 c nbDecision=939500 #constraints=18684 994.36/994.83 c nbDecision=940000 #constraints=18690 994.96/995.41 c nbDecision=940500 #constraints=18719 995.16/995.66 c nbDecision=941000 #constraints=18725 995.46/995.94 c nbDecision=941500 #constraints=18732 996.06/996.53 c nbDecision=942000 #constraints=18761 996.26/996.79 c nbDecision=942500 #constraints=18767 996.56/997.05 c nbDecision=943000 #constraints=18773 997.16/997.63 c nbDecision=943500 #constraints=18802 997.46/997.90 c nbDecision=944000 #constraints=18808 997.65/998.16 c nbDecision=944500 #constraints=18814 998.26/998.75 c nbDecision=945000 #constraints=18843 998.55/999.02 c nbDecision=945500 #constraints=18849 998.75/999.29 c nbDecision=946000 #constraints=18855 999.36/999.89 c nbDecision=946500 #constraints=18884 999.65/1000.16 c nbDecision=947000 #constraints=18890 999.95/1000.43 c nbDecision=947500 #constraints=18896 1000.56/1001.04 c nbDecision=948000 #constraints=18925 1000.85/1001.32 c nbDecision=948500 #constraints=18931 1001.05/1001.57 c nbDecision=949000 #constraints=18936 1001.35/1001.85 c nbDecision=949500 #constraints=18942 1001.95/1002.46 c nbDecision=950000 #constraints=18971 1002.25/1002.74 c nbDecision=950500 #constraints=18977 1002.45/1002.99 c nbDecision=951000 #constraints=18982 1003.15/1003.61 c nbDecision=951500 #constraints=19011 1003.45/1003.90 c nbDecision=952000 #constraints=19017 1003.65/1004.18 c nbDecision=952500 #constraints=19023 1004.25/1004.78 c nbDecision=953000 #constraints=19051 1004.55/1005.08 c nbDecision=953500 #constraints=19057 1004.85/1005.36 c nbDecision=954000 #constraints=19063 1005.15/1005.63 c nbDecision=954500 #constraints=19068 1009.16/1009.62 c nbDecision=955000 #constraints=19315 1012.15/1012.63 c nbDecision=955500 #constraints=19499 1015.35/1015.83 c nbDecision=956000 #constraints=19682 1017.85/1018.31 c nbDecision=956500 #constraints=19820 1020.45/1020.94 c nbDecision=957000 #constraints=19959 1020.95/1021.44 c nbDecision=957500 #constraints=19963 1021.45/1021.94 c nbDecision=958000 #constraints=19967 1021.85/1022.37 c nbDecision=958500 #constraints=19970 1022.35/1022.88 c nbDecision=959000 #constraints=19974 1022.95/1023.46 c nbDecision=959500 #constraints=19979 1023.45/1023.98 c nbDecision=960000 #constraints=19983 1023.95/1024.49 c nbDecision=960500 #constraints=19987 1024.45/1024.94 c nbDecision=961000 #constraints=19990 1024.94/1025.47 c nbDecision=961500 #constraints=19994 1025.54/1026.05 c nbDecision=962000 #constraints=19999 1026.04/1026.58 c nbDecision=962500 #constraints=20003 1026.54/1027.04 c nbDecision=963000 #constraints=20006 1027.04/1027.58 c nbDecision=963500 #constraints=20010 1027.64/1028.11 c nbDecision=964000 #constraints=20014 1028.14/1028.64 c nbDecision=964500 #constraints=20018 1028.64/1029.19 c nbDecision=965000 #constraints=20022 1029.24/1029.72 c nbDecision=965500 #constraints=20026 1029.64/1030.20 c nbDecision=966000 #constraints=20029 1030.25/1030.74 c nbDecision=966500 #constraints=20033 1030.84/1031.33 c nbDecision=967000 #constraints=20038 1031.35/1031.81 c nbDecision=967500 #constraints=20041 1031.84/1032.37 c nbDecision=968000 #constraints=20045 1032.35/1032.83 c nbDecision=968500 #constraints=20048 1032.84/1033.40 c nbDecision=969000 #constraints=20052 1033.45/1033.94 c nbDecision=969500 #constraints=20056 1033.94/1034.48 c nbDecision=970000 #constraints=20060 1034.54/1035.04 c nbDecision=970500 #constraints=20064 1035.04/1035.57 c nbDecision=971000 #constraints=20068 1035.54/1036.09 c nbDecision=971500 #constraints=20071 1036.14/1036.64 c nbDecision=972000 #constraints=20075 1036.64/1037.19 c nbDecision=972500 #constraints=20079 1037.24/1037.76 c nbDecision=973000 #constraints=20083 1037.74/1038.25 c nbDecision=973500 #constraints=20086 1038.34/1038.83 c nbDecision=974000 #constraints=20090 1038.84/1039.38 c nbDecision=974500 #constraints=20094 1039.44/1039.96 c nbDecision=975000 #constraints=20098 1040.04/1040.54 c nbDecision=975500 #constraints=20102 1040.54/1041.05 c nbDecision=976000 #constraints=20105 1041.14/1041.64 c nbDecision=976500 #constraints=20109 1041.64/1042.14 c nbDecision=977000 #constraints=20112 1042.24/1042.74 c nbDecision=977500 #constraints=20116 1042.84/1043.30 c nbDecision=978000 #constraints=20120 1043.44/1043.91 c nbDecision=978500 #constraints=20124 1043.94/1044.41 c nbDecision=979000 #constraints=20127 1044.54/1045.02 c nbDecision=979500 #constraints=20131 1045.04/1045.52 c nbDecision=980000 #constraints=20134 1045.74/1046.20 c nbDecision=980500 #constraints=20139 1046.23/1046.71 c nbDecision=981000 #constraints=20142 1046.83/1047.33 c nbDecision=981500 #constraints=20146 1047.33/1047.84 c nbDecision=982000 #constraints=20149 1047.93/1048.47 c nbDecision=982500 #constraints=20153 1048.43/1048.98 c nbDecision=983000 #constraints=20156 1049.13/1049.67 c nbDecision=983500 #constraints=20161 1049.63/1050.19 c nbDecision=984000 #constraints=20164 1050.33/1050.82 c nbDecision=984500 #constraints=20168 1050.83/1051.34 c nbDecision=985000 #constraints=20171 1051.43/1051.96 c nbDecision=985500 #constraints=20175 1052.03/1052.56 c nbDecision=986000 #constraints=20179 1052.63/1053.19 c nbDecision=986500 #constraints=20183 1053.23/1053.73 c nbDecision=987000 #constraints=20186 1053.83/1054.34 c nbDecision=987500 #constraints=20190 1054.33/1054.89 c nbDecision=988000 #constraints=20193 1055.03/1055.55 c nbDecision=988500 #constraints=20198 1055.63/1056.13 c nbDecision=989000 #constraints=20201 1056.12/1056.66 c nbDecision=989500 #constraints=20204 1056.82/1057.31 c nbDecision=990000 #constraints=20208 1057.32/1057.86 c nbDecision=990500 #constraints=20211 1057.92/1058.48 c nbDecision=991000 #constraints=20215 1058.62/1059.11 c nbDecision=991500 #constraints=20219 1059.12/1059.65 c nbDecision=992000 #constraints=20222 1059.83/1060.32 c nbDecision=992500 #constraints=20226 1060.32/1060.88 c nbDecision=993000 #constraints=20229 1061.03/1061.54 c nbDecision=993500 #constraints=20233 1061.62/1062.12 c nbDecision=994000 #constraints=20236 1062.22/1062.73 c nbDecision=994500 #constraints=20240 1062.92/1063.41 c nbDecision=995000 #constraints=20244 1063.42/1063.98 c nbDecision=995500 #constraints=20247 1064.12/1064.63 c nbDecision=996000 #constraints=20251 1064.73/1065.23 c nbDecision=996500 #constraints=20254 1065.33/1065.86 c nbDecision=997000 #constraints=20258 1066.03/1066.54 c nbDecision=997500 #constraints=20262 1066.63/1067.13 c nbDecision=998000 #constraints=20265 1067.23/1067.70 c nbDecision=998500 #constraints=20268 1067.83/1068.39 c nbDecision=999000 #constraints=20272 1068.43/1068.98 c nbDecision=999500 #constraints=20275 1069.12/1069.61 c nbDecision=1000000 #constraints=20279 1069.83/1070.32 c nbDecision=1000500 #constraints=20283 1070.42/1070.91 c nbDecision=1001000 #constraints=20286 1070.93/1071.48 c nbDecision=1001500 #constraints=20289 1071.62/1072.19 c nbDecision=1002000 #constraints=20293 1072.22/1072.78 c nbDecision=1002500 #constraints=20296 1072.92/1073.42 c nbDecision=1003000 #constraints=20300 1073.62/1074.13 c nbDecision=1003500 #constraints=20304 1074.23/1074.73 c nbDecision=1004000 #constraints=20307 1074.82/1075.32 c nbDecision=1004500 #constraints=20310 1075.52/1076.03 c nbDecision=1005000 #constraints=20314 1076.22/1076.70 c nbDecision=1005500 #constraints=20318 1076.82/1077.30 c nbDecision=1006000 #constraints=20321 1077.43/1078.00 c nbDecision=1006500 #constraints=20325 1078.12/1078.64 c nbDecision=1007000 #constraints=20328 1078.72/1079.25 c nbDecision=1007500 #constraints=20331 1079.32/1079.84 c nbDecision=1008000 #constraints=20334 1080.12/1080.64 c nbDecision=1008500 #constraints=20339 1080.72/1081.27 c nbDecision=1009000 #constraints=20342 1081.32/1081.89 c nbDecision=1009500 #constraints=20345 1082.02/1082.59 c nbDecision=1010000 #constraints=20349 1082.72/1083.25 c nbDecision=1010500 #constraints=20352 1083.32/1083.88 c nbDecision=1011000 #constraints=20355 1084.22/1084.71 c nbDecision=1011500 #constraints=20362 1084.82/1085.36 c nbDecision=1012000 #constraints=20365 1085.62/1086.17 c nbDecision=1012500 #constraints=20369 1086.32/1086.85 c nbDecision=1013000 #constraints=20372 1087.02/1087.52 c nbDecision=1013500 #constraints=20375 1087.62/1088.19 c nbDecision=1014000 #constraints=20378 1088.42/1088.91 c nbDecision=1014500 #constraints=20382 1089.12/1089.69 c nbDecision=1015000 #constraints=20386 1089.92/1090.40 c nbDecision=1015500 #constraints=20389 1090.52/1091.08 c nbDecision=1016000 #constraints=20392 1091.22/1091.75 c nbDecision=1016500 #constraints=20395 1091.91/1092.43 c nbDecision=1017000 #constraints=20398 1092.61/1093.16 c nbDecision=1017500 #constraints=20402 1093.41/1093.93 c nbDecision=1018000 #constraints=20406 1094.11/1094.65 c nbDecision=1018500 #constraints=20409 1094.81/1095.35 c nbDecision=1019000 #constraints=20412 1095.51/1096.04 c nbDecision=1019500 #constraints=20415 1096.22/1096.72 c nbDecision=1020000 #constraints=20418 1096.91/1097.47 c nbDecision=1020500 #constraints=20422 1097.61/1098.16 c nbDecision=1021000 #constraints=20425 1098.32/1098.85 c nbDecision=1021500 #constraints=20428 1099.11/1099.66 c nbDecision=1022000 #constraints=20432 1099.81/1100.39 c nbDecision=1022500 #constraints=20435 1100.61/1101.10 c nbDecision=1023000 #constraints=20438 1101.31/1101.88 c nbDecision=1023500 #constraints=20442 1102.01/1102.59 c nbDecision=1024000 #constraints=20445 1102.81/1103.30 c nbDecision=1024500 #constraints=20448 1103.51/1104.01 c nbDecision=1025000 #constraints=20451 1104.21/1104.72 c nbDecision=1025500 #constraints=20454 1104.91/1105.43 c nbDecision=1026000 #constraints=20457 1105.81/1106.33 c nbDecision=1026500 #constraints=20462 1106.51/1107.08 c nbDecision=1027000 #constraints=20465 1107.31/1107.82 c nbDecision=1027500 #constraints=20468 1108.00/1108.55 c nbDecision=1028000 #constraints=20471 1108.70/1109.28 c nbDecision=1028500 #constraints=20474 1109.50/1110.00 c nbDecision=1029000 #constraints=20477 1110.20/1110.79 c nbDecision=1029500 #constraints=20481 1111.00/1111.52 c nbDecision=1030000 #constraints=20484 1111.70/1112.24 c nbDecision=1030500 #constraints=20487 1112.40/1112.97 c nbDecision=1031000 #constraints=20490 1113.20/1113.70 c nbDecision=1031500 #constraints=20493 1113.90/1114.43 c nbDecision=1032000 #constraints=20496 1114.81/1115.33 c nbDecision=1032500 #constraints=20501 1115.50/1116.09 c nbDecision=1033000 #constraints=20504 1116.30/1116.84 c nbDecision=1033500 #constraints=20507 1117.01/1117.60 c nbDecision=1034000 #constraints=20510 1117.80/1118.35 c nbDecision=1034500 #constraints=20513 1118.60/1119.10 c nbDecision=1035000 #constraints=20516 1119.30/1119.86 c nbDecision=1035500 #constraints=20519 1120.10/1120.68 c nbDecision=1036000 #constraints=20523 1120.90/1121.45 c nbDecision=1036500 #constraints=20526 1121.70/1122.21 c nbDecision=1037000 #constraints=20529 1122.40/1122.98 c nbDecision=1037500 #constraints=20532 1123.20/1123.74 c nbDecision=1038000 #constraints=20535 1124.00/1124.50 c nbDecision=1038500 #constraints=20538 1124.80/1125.34 c nbDecision=1039000 #constraints=20542 1125.60/1126.11 c nbDecision=1039500 #constraints=20545 1126.30/1126.88 c nbDecision=1040000 #constraints=20548 1127.10/1127.67 c nbDecision=1040500 #constraints=20551 1127.90/1128.44 c nbDecision=1041000 #constraints=20554 1128.70/1129.22 c nbDecision=1041500 #constraints=20557 1129.50/1130.06 c nbDecision=1042000 #constraints=20561 1130.30/1130.84 c nbDecision=1042500 #constraints=20564 1131.10/1131.62 c nbDecision=1043000 #constraints=20567 1131.90/1132.40 c nbDecision=1043500 #constraints=20570 1132.60/1133.18 c nbDecision=1044000 #constraints=20573 1133.39/1133.97 c nbDecision=1044500 #constraints=20576 1134.19/1134.75 c nbDecision=1045000 #constraints=20579 1135.09/1135.61 c nbDecision=1045500 #constraints=20583 1135.89/1136.41 c nbDecision=1046000 #constraints=20586 1136.69/1137.20 c nbDecision=1046500 #constraints=20589 1137.39/1138.00 c nbDecision=1047000 #constraints=20592 1138.19/1138.79 c nbDecision=1047500 #constraints=20595 1139.00/1139.58 c nbDecision=1048000 #constraints=20598 1139.89/1140.45 c nbDecision=1048500 #constraints=20602 1140.69/1141.26 c nbDecision=1049000 #constraints=20605 1141.49/1142.07 c nbDecision=1049500 #constraints=20608 1142.30/1142.88 c nbDecision=1050000 #constraints=20611 1143.09/1143.69 c nbDecision=1050500 #constraints=20614 1143.89/1144.49 c nbDecision=1051000 #constraints=20617 1144.79/1145.37 c nbDecision=1051500 #constraints=20621 1145.59/1146.18 c nbDecision=1052000 #constraints=20624 1146.29/1146.86 c nbDecision=1052500 #constraints=20626 1147.09/1147.70 c nbDecision=1053000 #constraints=20629 1147.99/1148.53 c nbDecision=1053500 #constraints=20632 1148.79/1149.36 c nbDecision=1054000 #constraints=20635 1149.59/1150.20 c nbDecision=1054500 #constraints=20638 1150.49/1151.09 c nbDecision=1055000 #constraints=20642 1151.39/1151.93 c nbDecision=1055500 #constraints=20645 1152.19/1152.76 c nbDecision=1056000 #constraints=20648 1153.09/1153.60 c nbDecision=1056500 #constraints=20651 1153.89/1154.43 c nbDecision=1057000 #constraints=20654 1154.69/1155.27 c nbDecision=1057500 #constraints=20657 1155.59/1156.15 c nbDecision=1058000 #constraints=20661 1156.39/1156.98 c nbDecision=1058500 #constraints=20664 1157.29/1157.80 c nbDecision=1059000 #constraints=20667 1157.98/1158.51 c nbDecision=1059500 #constraints=20669 1158.79/1159.37 c nbDecision=1060000 #constraints=20672 1159.68/1160.23 c nbDecision=1060500 #constraints=20675 1160.48/1161.09 c nbDecision=1061000 #constraints=20678 1161.48/1162.01 c nbDecision=1061500 #constraints=20682 1162.28/1162.88 c nbDecision=1062000 #constraints=20685 1163.19/1163.74 c nbDecision=1062500 #constraints=20688 1164.08/1164.60 c nbDecision=1063000 #constraints=20691 1164.88/1165.44 c nbDecision=1063500 #constraints=20694 1165.68/1166.28 c nbDecision=1064000 #constraints=20697 1166.49/1167.02 c nbDecision=1064500 #constraints=20699 1167.38/1167.97 c nbDecision=1065000 #constraints=20703 1168.28/1168.86 c nbDecision=1065500 #constraints=20706 1169.18/1169.74 c nbDecision=1066000 #constraints=20709 1170.08/1170.61 c nbDecision=1066500 #constraints=20712 1170.88/1171.49 c nbDecision=1067000 #constraints=20715 1171.78/1172.34 c nbDecision=1067500 #constraints=20718 1172.68/1173.29 c nbDecision=1068000 #constraints=20723 1173.48/1174.01 c nbDecision=1068500 #constraints=20725 1174.28/1174.89 c nbDecision=1069000 #constraints=20728 1175.18/1175.77 c nbDecision=1069500 #constraints=20731 1176.08/1176.65 c nbDecision=1070000 #constraints=20734 1176.98/1177.53 c nbDecision=1070500 #constraints=20737 1177.88/1178.41 c nbDecision=1071000 #constraints=20740 1178.77/1179.37 c nbDecision=1071500 #constraints=20744 1179.68/1180.28 c nbDecision=1072000 #constraints=20747 1180.57/1181.17 c nbDecision=1072500 #constraints=20750 1181.47/1182.06 c nbDecision=1073000 #constraints=20753 1182.27/1182.81 c nbDecision=1073500 #constraints=20755 1183.17/1183.74 c nbDecision=1074000 #constraints=20758 1184.18/1184.72 c nbDecision=1074500 #constraints=20762 1185.07/1185.65 c nbDecision=1075000 #constraints=20765 1185.97/1186.56 c nbDecision=1075500 #constraints=20768 1186.87/1187.43 c nbDecision=1076000 #constraints=20771 1187.67/1188.20 c nbDecision=1076500 #constraints=20773 1188.57/1189.15 c nbDecision=1077000 #constraints=20776 1189.47/1190.07 c nbDecision=1077500 #constraints=20779 1190.47/1191.07 c nbDecision=1078000 #constraints=20783 1191.37/1191.97 c nbDecision=1078500 #constraints=20786 1192.17/1192.72 c nbDecision=1079000 #constraints=20788 1193.07/1193.69 c nbDecision=1079500 #constraints=20791 1194.07/1194.63 c nbDecision=1080000 #constraints=20794 1194.97/1195.57 c nbDecision=1080500 #constraints=20797 1195.87/1196.47 c nbDecision=1081000 #constraints=20800 1196.77/1197.31 c nbDecision=1081500 #constraints=20803 1197.66/1198.28 c nbDecision=1082000 #constraints=20806 1198.66/1199.23 c nbDecision=1082500 #constraints=20809 1199.57/1200.17 c nbDecision=1083000 #constraints=20812 1200.46/1201.07 c nbDecision=1083500 #constraints=20815 1201.36/1201.91 c nbDecision=1084000 #constraints=20817 1202.26/1202.89 c nbDecision=1084500 #constraints=20820 1203.36/1203.92 c nbDecision=1085000 #constraints=20824 1204.26/1204.84 c nbDecision=1085500 #constraints=20827 1205.07/1205.65 c nbDecision=1086000 #constraints=20829 1206.07/1206.64 c nbDecision=1086500 #constraints=20832 1207.06/1207.62 c nbDecision=1087000 #constraints=20835 1207.96/1208.56 c nbDecision=1087500 #constraints=20838 1208.76/1209.36 c nbDecision=1088000 #constraints=20840 1209.86/1210.42 c nbDecision=1088500 #constraints=20844 1210.86/1211.40 c nbDecision=1089000 #constraints=20847 1211.76/1212.34 c nbDecision=1089500 #constraints=20850 1212.56/1213.14 c nbDecision=1090000 #constraints=20852 1213.56/1214.14 c nbDecision=1090500 #constraints=20855 1214.56/1215.13 c nbDecision=1091000 #constraints=20858 1215.56/1216.13 c nbDecision=1091500 #constraints=20862 1216.36/1216.94 c nbDecision=1092000 #constraints=20864 1217.35/1217.96 c nbDecision=1092500 #constraints=20867 1218.35/1218.96 c nbDecision=1093000 #constraints=20870 1219.26/1219.89 c nbDecision=1093500 #constraints=20873 1220.15/1220.74 c nbDecision=1094000 #constraints=20875 1221.15/1221.76 c nbDecision=1094500 #constraints=20878 1222.25/1222.82 c nbDecision=1095000 #constraints=20882 1223.05/1223.60 c nbDecision=1095500 #constraints=20884 1224.05/1224.65 c nbDecision=1096000 #constraints=20887 1225.05/1225.68 c nbDecision=1096500 #constraints=20890 1226.05/1226.65 c nbDecision=1097000 #constraints=20893 1226.85/1227.48 c nbDecision=1097500 #constraints=20895 1227.95/1228.52 c nbDecision=1098000 #constraints=20898 1229.05/1229.60 c nbDecision=1098500 #constraints=20902 1229.75/1230.38 c nbDecision=1099000 #constraints=20904 1230.85/1231.44 c nbDecision=1099500 #constraints=20907 1231.85/1232.47 c nbDecision=1100000 #constraints=20910 1232.85/1233.44 c nbDecision=1100500 #constraints=20913 1233.65/1234.30 c nbDecision=1101000 #constraints=20915 1234.75/1235.34 c nbDecision=1101500 #constraints=20918 1235.75/1236.40 c nbDecision=1102000 #constraints=20922 1236.65/1237.22 c nbDecision=1102500 #constraints=20924 1237.65/1238.28 c nbDecision=1103000 #constraints=20927 1238.75/1239.31 c nbDecision=1103500 #constraints=20930 1239.55/1240.11 c nbDecision=1104000 #constraints=20932 1240.55/1241.19 c nbDecision=1104500 #constraints=20935 1241.65/1242.24 c nbDecision=1105000 #constraints=20938 1242.66/1243.27 c nbDecision=1105500 #constraints=20942 1243.56/1244.20 c nbDecision=1106000 #constraints=20944 1244.66/1245.26 c nbDecision=1106500 #constraints=20947 1245.66/1246.24 c nbDecision=1107000 #constraints=20950 1246.55/1247.16 c nbDecision=1107500 #constraints=20952 1247.65/1248.23 c nbDecision=1108000 #constraints=20955 1248.65/1249.22 c nbDecision=1108500 #constraints=20958 1249.55/1250.13 c nbDecision=1109000 #constraints=20960 1250.65/1251.27 c nbDecision=1109500 #constraints=20964 1251.65/1252.26 c nbDecision=1110000 #constraints=20967 1252.55/1253.17 c nbDecision=1110500 #constraints=20969 1253.65/1254.25 c nbDecision=1111000 #constraints=20972 1254.65/1255.23 c nbDecision=1111500 #constraints=20975 1255.55/1256.16 c nbDecision=1112000 #constraints=20977 1256.65/1257.23 c nbDecision=1112500 #constraints=20980 1257.55/1258.10 c nbDecision=1113000 #constraints=20983 1258.65/1259.22 c nbDecision=1113500 #constraints=20986 1259.75/1260.30 c nbDecision=1114000 #constraints=20989 1260.55/1261.14 c nbDecision=1114500 #constraints=20991 1261.65/1262.27 c nbDecision=1115000 #constraints=20994 1262.75/1263.34 c nbDecision=1115500 #constraints=20997 1263.65/1264.21 c nbDecision=1116000 #constraints=20999 1264.85/1265.40 c nbDecision=1116500 #constraints=21003 1265.85/1266.45 c nbDecision=1117000 #constraints=21006 1266.75/1267.36 c nbDecision=1117500 #constraints=21008 1267.85/1268.48 c nbDecision=1118000 #constraints=21011 1268.95/1269.50 c nbDecision=1118500 #constraints=21014 1269.85/1270.46 c nbDecision=1119000 #constraints=21016 1270.95/1271.55 c nbDecision=1119500 #constraints=21019 1271.84/1272.46 c nbDecision=1120000 #constraints=21022 1273.04/1273.60 c nbDecision=1120500 #constraints=21025 1274.04/1274.68 c nbDecision=1121000 #constraints=21028 1274.94/1275.59 c nbDecision=1121500 #constraints=21030 1276.14/1276.71 c nbDecision=1122000 #constraints=21033 1277.14/1277.73 c nbDecision=1122500 #constraints=21036 1278.04/1278.70 c nbDecision=1123000 #constraints=21038 1279.24/1279.86 c nbDecision=1123500 #constraints=21042 1280.14/1280.75 c nbDecision=1124000 #constraints=21044 1281.34/1281.91 c nbDecision=1124500 #constraints=21047 1282.34/1282.96 c nbDecision=1125000 #constraints=21050 1283.34/1283.94 c nbDecision=1125500 #constraints=21052 1284.44/1285.06 c nbDecision=1126000 #constraints=21055 1285.34/1285.95 c nbDecision=1126500 #constraints=21057 1286.54/1287.12 c nbDecision=1127000 #constraints=21060 1287.64/1288.25 c nbDecision=1127500 #constraints=21064 1288.64/1289.23 c nbDecision=1128000 #constraints=21066 1289.74/1290.36 c nbDecision=1128500 #constraints=21069 1290.64/1291.26 c nbDecision=1129000 #constraints=21071 1291.84/1292.43 c nbDecision=1129500 #constraints=21074 1292.84/1293.47 c nbDecision=1130000 #constraints=21077 1293.84/1294.47 c nbDecision=1130500 #constraints=21079 1295.03/1295.65 c nbDecision=1131000 #constraints=21083 1295.93/1296.59 c nbDecision=1131500 #constraints=21085 1297.13/1297.76 c nbDecision=1132000 #constraints=21088 1298.03/1298.63 c nbDecision=1132500 #constraints=21090 1299.23/1299.83 c nbDecision=1133000 #constraints=21093 1300.33/1300.92 c nbDecision=1133500 #constraints=21096 1301.33/1301.91 c nbDecision=1134000 #constraints=21098 1302.43/1303.01 c nbDecision=1134500 #constraints=21102 1303.23/1303.88 c nbDecision=1135000 #constraints=21104 1303.93/1304.56 c nbDecision=1135500 #constraints=21105 1304.83/1305.43 c nbDecision=1136000 #constraints=21107 1305.63/1306.29 c nbDecision=1136500 #constraints=21109 1306.53/1307.15 c nbDecision=1137000 #constraints=21111 1307.43/1308.01 c nbDecision=1137500 #constraints=21113 1308.23/1308.85 c nbDecision=1138000 #constraints=21115 1309.03/1309.66 c nbDecision=1138500 #constraints=21117 1309.82/1310.46 c nbDecision=1139000 #constraints=21119 1312.52/1313.11 c nbDecision=1139500 #constraints=21177 1327.82/1328.41 c nbDecision=1140000 #constraints=21463 1342.91/1343.59 c nbDecision=1140500 #constraints=21749 1358.31/1358.91 c nbDecision=1141000 #constraints=22035 1373.70/1374.40 c nbDecision=1141500 #constraints=22321 1389.40/1390.02 c nbDecision=1142000 #constraints=22607 1405.09/1405.73 c nbDecision=1142500 #constraints=22893 1413.29/1413.98 c nbDecision=1143000 #constraints=23036 1429.29/1429.93 c nbDecision=1143500 #constraints=23322 1445.28/1445.94 c nbDecision=1144000 #constraints=23608 1454.08/1454.70 c nbDecision=1144500 #constraints=23754 1455.07/1455.76 c nbDecision=1145000 #constraints=23755 1456.27/1456.91 c nbDecision=1145500 #constraints=23757 1457.27/1457.96 c nbDecision=1146000 #constraints=23758 1458.47/1459.11 c nbDecision=1146500 #constraints=23760 1459.47/1460.15 c nbDecision=1147000 #constraints=23761 1460.67/1461.31 c nbDecision=1147500 #constraints=23763 1461.67/1462.37 c nbDecision=1148000 #constraints=23764 1462.87/1463.53 c nbDecision=1148500 #constraints=23766 1463.87/1464.58 c nbDecision=1149000 #constraints=23767 1465.07/1465.76 c nbDecision=1149500 #constraints=23769 1466.07/1466.78 c nbDecision=1150000 #constraints=23770 1467.57/1468.24 c nbDecision=1150500 #constraints=23788 1468.77/1469.41 c nbDecision=1151000 #constraints=23790 1469.77/1470.49 c nbDecision=1151500 #constraints=23791 1470.97/1471.65 c nbDecision=1152000 #constraints=23793 1472.07/1472.72 c nbDecision=1152500 #constraints=23794 1473.17/1473.89 c nbDecision=1153000 #constraints=23796 1474.27/1474.96 c nbDecision=1153500 #constraints=23797 1475.47/1476.14 c nbDecision=1154000 #constraints=23799 1476.47/1477.19 c nbDecision=1154500 #constraints=23800 1477.67/1478.35 c nbDecision=1155000 #constraints=23802 1478.77/1479.41 c nbDecision=1155500 #constraints=23803 1479.87/1480.59 c nbDecision=1156000 #constraints=23805 1480.97/1481.64 c nbDecision=1156500 #constraints=23806 1482.36/1483.01 c nbDecision=1157000 #constraints=23824 1483.56/1484.21 c nbDecision=1157500 #constraints=23826 1484.66/1485.31 c nbDecision=1158000 #constraints=23827 1485.86/1486.52 c nbDecision=1158500 #constraints=23829 1486.96/1487.61 c nbDecision=1159000 #constraints=23830 1488.16/1488.83 c nbDecision=1159500 #constraints=23832 1489.26/1489.91 c nbDecision=1160000 #constraints=23833 1490.46/1491.10 c nbDecision=1160500 #constraints=23835 1491.46/1492.17 c nbDecision=1161000 #constraints=23836 1492.66/1493.39 c nbDecision=1161500 #constraints=23838 1493.76/1494.41 c nbDecision=1162000 #constraints=23839 1494.96/1495.69 c nbDecision=1162500 #constraints=23841 1495.96/1496.65 c nbDecision=1163000 #constraints=23842 1497.56/1498.24 c nbDecision=1163500 #constraints=23860 1498.76/1499.47 c nbDecision=1164000 #constraints=23862 1499.86/1500.55 c nbDecision=1164500 #constraints=23863 1501.06/1501.76 c nbDecision=1165000 #constraints=23865 1502.16/1502.85 c nbDecision=1165500 #constraints=23866 1503.46/1504.11 c nbDecision=1166000 #constraints=23868 1504.45/1505.13 c nbDecision=1166500 #constraints=23869 1505.75/1506.45 c nbDecision=1167000 #constraints=23871 1506.75/1507.40 c nbDecision=1167500 #constraints=23872 1507.75/1508.41 c nbDecision=1168000 #constraints=23873 1508.95/1509.65 c nbDecision=1168500 #constraints=23875 1510.05/1510.76 c nbDecision=1169000 #constraints=23876 1511.25/1511.98 c nbDecision=1169500 #constraints=23878 1512.96/1513.64 c nbDecision=1170000 #constraints=23896 1514.25/1514.92 c nbDecision=1170500 #constraints=23898 1515.25/1515.92 c nbDecision=1171000 #constraints=23899 1516.15/1516.89 c nbDecision=1171500 #constraints=23900 1517.45/1518.17 c nbDecision=1172000 #constraints=23902 1518.55/1519.25 c nbDecision=1172500 #constraints=23903 1519.75/1520.49 c nbDecision=1173000 #constraints=23905 1520.95/1521.61 c nbDecision=1173500 #constraints=23906 1522.15/1522.86 c nbDecision=1174000 #constraints=23908 1523.25/1523.97 c nbDecision=1174500 #constraints=23909 1524.55/1525.23 c nbDecision=1175000 #constraints=23911 1525.65/1526.33 c nbDecision=1175500 #constraints=23912 1526.85/1527.59 c nbDecision=1176000 #constraints=23914 1528.45/1529.10 c nbDecision=1176500 #constraints=23932 1529.55/1530.24 c nbDecision=1177000 #constraints=23933 1530.75/1531.49 c nbDecision=1177500 #constraints=23935 1531.95/1532.60 c nbDecision=1178000 #constraints=23936 1533.14/1533.87 c nbDecision=1178500 #constraints=23938 1534.24/1534.96 c nbDecision=1179000 #constraints=23939 1535.54/1536.22 c nbDecision=1179500 #constraints=23941 1536.54/1537.28 c nbDecision=1180000 #constraints=23942 1537.94/1538.61 c nbDecision=1180500 #constraints=23944 1538.84/1539.57 c nbDecision=1181000 #constraints=23945 1539.94/1540.60 c nbDecision=1181500 #constraints=23946 1541.14/1541.87 c nbDecision=1182000 #constraints=23948 1542.34/1543.01 c nbDecision=1182500 #constraints=23949 1544.24/1544.92 c nbDecision=1183000 #constraints=23968 1545.24/1545.97 c nbDecision=1183500 #constraints=23969 1546.64/1547.34 c nbDecision=1184000 #constraints=23971 1547.54/1548.29 c nbDecision=1184500 #constraints=23972 1548.63/1549.38 c nbDecision=1185000 #constraints=23973 1549.93/1550.67 c nbDecision=1185500 #constraints=23975 1551.13/1551.80 c nbDecision=1186000 #constraints=23976 1552.33/1553.08 c nbDecision=1186500 #constraints=23978 1553.43/1554.20 c nbDecision=1187000 #constraints=23979 1554.73/1555.47 c nbDecision=1187500 #constraints=23981 1555.83/1556.57 c nbDecision=1188000 #constraints=23982 1557.13/1557.88 c nbDecision=1188500 #constraints=23984 1558.23/1558.91 c nbDecision=1189000 #constraints=23985 1559.53/1560.27 c nbDecision=1189500 #constraints=23987 1561.13/1561.87 c nbDecision=1190000 #constraints=24005 1562.23/1562.99 c nbDecision=1190500 #constraints=24006 1563.63/1564.31 c nbDecision=1191000 #constraints=24008 1564.63/1565.37 c nbDecision=1191500 #constraints=24009 1566.03/1566.76 c nbDecision=1192000 #constraints=24011 1567.03/1567.71 c nbDecision=1192500 #constraints=24012 1568.13/1568.81 c nbDecision=1193000 #constraints=24013 1569.43/1570.12 c nbDecision=1193500 #constraints=24015 1570.53/1571.27 c nbDecision=1194000 #constraints=24016 1571.83/1572.57 c nbDecision=1194500 #constraints=24018 1572.92/1573.69 c nbDecision=1195000 #constraints=24019 1574.22/1574.98 c nbDecision=1195500 #constraints=24021 1575.32/1576.09 c nbDecision=1196000 #constraints=24022 1577.02/1577.70 c nbDecision=1196500 #constraints=24040 1578.32/1579.02 c nbDecision=1197000 #constraints=24042 1579.42/1580.15 c nbDecision=1197500 #constraints=24043 1580.72/1581.47 c nbDecision=1198000 #constraints=24045 1581.82/1582.58 c nbDecision=1198500 #constraints=24046 1583.23/1583.96 c nbDecision=1199000 #constraints=24048 1584.22/1584.96 c nbDecision=1199500 #constraints=24049 1585.32/1586.04 c nbDecision=1200000 #constraints=24050 1586.62/1587.37 c nbDecision=1200500 #constraints=24052 1587.82/1588.53 c nbDecision=1201000 #constraints=24053 1589.12/1589.86 c nbDecision=1201500 #constraints=24055 1590.32/1591.01 c nbDecision=1202000 #constraints=24056 1591.62/1592.32 c nbDecision=1202500 #constraints=24058 1593.22/1593.91 c nbDecision=1203000 #constraints=24076 1594.32/1595.07 c nbDecision=1203500 #constraints=24077 1595.71/1596.41 c nbDecision=1204000 #constraints=24079 1596.81/1597.55 c nbDecision=1204500 #constraints=24080 1598.11/1598.88 c nbDecision=1205000 #constraints=24082 1599.21/1599.97 c nbDecision=1205500 #constraints=24083 1600.61/1601.39 c nbDecision=1206000 #constraints=24085 1601.61/1602.35 c nbDecision=1206500 #constraints=24086 1602.71/1603.49 c nbDecision=1207000 #constraints=24087 1604.11/1604.83 c nbDecision=1207500 #constraints=24089 1605.31/1606.00 c nbDecision=1208000 #constraints=24090 1606.61/1607.36 c nbDecision=1208500 #constraints=24092 1607.81/1608.50 c nbDecision=1209000 #constraints=24093 1609.11/1609.88 c nbDecision=1209500 #constraints=24095 1610.71/1611.49 c nbDecision=1210000 #constraints=24113 1611.91/1612.65 c nbDecision=1210500 #constraints=24114 1613.20/1613.99 c nbDecision=1211000 #constraints=24116 1614.40/1615.13 c nbDecision=1211500 #constraints=24117 1615.80/1616.53 c nbDecision=1212000 #constraints=24119 1616.80/1617.53 c nbDecision=1212500 #constraints=24120 1617.90/1618.62 c nbDecision=1213000 #constraints=24121 1619.20/1619.98 c nbDecision=1213500 #constraints=24123 1620.40/1621.16 c nbDecision=1214000 #constraints=24124 1621.81/1622.54 c nbDecision=1214500 #constraints=24126 1622.90/1623.69 c nbDecision=1215000 #constraints=24127 1624.30/1625.07 c nbDecision=1215500 #constraints=24129 1625.40/1626.15 c nbDecision=1216000 #constraints=24130 1627.11/1627.90 c nbDecision=1216500 #constraints=24148 1628.51/1629.27 c nbDecision=1217000 #constraints=24150 1629.71/1630.41 c nbDecision=1217500 #constraints=24151 1631.11/1631.84 c nbDecision=1218000 #constraints=24153 1632.11/1632.83 c nbDecision=1218500 #constraints=24154 1633.21/1633.95 c nbDecision=1219000 #constraints=24155 1634.60/1635.34 c nbDecision=1219500 #constraints=24157 1635.80/1636.52 c nbDecision=1220000 #constraints=24158 1637.11/1637.89 c nbDecision=1220500 #constraints=24160 1638.31/1639.04 c nbDecision=1221000 #constraints=24161 1639.70/1640.45 c nbDecision=1221500 #constraints=24163 1640.70/1641.48 c nbDecision=1222000 #constraints=24164 1641.80/1642.58 c nbDecision=1222500 #constraints=24165 1643.90/1644.68 c nbDecision=1223000 #constraints=24184 1645.00/1645.78 c nbDecision=1223500 #constraints=24185 1646.10/1646.83 c nbDecision=1224000 #constraints=24186 1647.50/1648.24 c nbDecision=1224500 #constraints=24188 1648.70/1649.45 c nbDecision=1225000 #constraints=24189 1650.10/1650.85 c nbDecision=1225500 #constraints=24191 1651.30/1652.02 c nbDecision=1226000 #constraints=24192 1652.70/1653.42 c nbDecision=1226500 #constraints=24194 1653.80/1654.51 c nbDecision=1227000 #constraints=24195 1654.80/1655.55 c nbDecision=1227500 #constraints=24196 1656.20/1656.95 c nbDecision=1228000 #constraints=24198 1657.40/1658.15 c nbDecision=1228500 #constraints=24199 1658.80/1659.54 c nbDecision=1229000 #constraints=24201 1660.00/1660.73 c nbDecision=1229500 #constraints=24202 1661.70/1662.41 c nbDecision=1230000 #constraints=24220 1663.09/1663.84 c nbDecision=1230500 #constraints=24222 1664.29/1665.04 c nbDecision=1231000 #constraints=24223 1665.70/1666.46 c nbDecision=1231500 #constraints=24225 1666.80/1667.60 c nbDecision=1232000 #constraints=24226 1668.29/1669.05 c nbDecision=1232500 #constraints=24228 1669.29/1670.05 c nbDecision=1233000 #constraints=24229 1670.49/1671.27 c nbDecision=1233500 #constraints=24230 1671.89/1672.69 c nbDecision=1234000 #constraints=24232 1673.09/1673.87 c nbDecision=1234500 #constraints=24233 1674.49/1675.28 c nbDecision=1235000 #constraints=24235 1675.59/1676.38 c nbDecision=1235500 #constraints=24236 1676.69/1677.43 c nbDecision=1236000 #constraints=24237 1678.78/1679.58 c nbDecision=1236500 #constraints=24256 1679.99/1680.72 c nbDecision=1237000 #constraints=24257 1681.38/1682.18 c nbDecision=1237500 #constraints=24259 1682.48/1683.22 c nbDecision=1238000 #constraints=24260 1683.68/1684.45 c nbDecision=1238500 #constraints=24261 1685.18/1685.90 c nbDecision=1239000 #constraints=24263 1686.28/1687.09 c nbDecision=1239500 #constraints=24264 1687.78/1688.55 c nbDecision=1240000 #constraints=24266 1688.88/1689.63 c nbDecision=1240500 #constraints=24267 1689.98/1690.74 c nbDecision=1241000 #constraints=24268 1691.38/1692.18 c nbDecision=1241500 #constraints=24270 1692.58/1693.39 c nbDecision=1242000 #constraints=24271 1694.08/1694.81 c nbDecision=1242500 #constraints=24273 1695.18/1695.99 c nbDecision=1243000 #constraints=24274 1696.98/1697.74 c nbDecision=1243500 #constraints=24292 1698.38/1699.18 c nbDecision=1244000 #constraints=24294 1699.58/1700.36 c nbDecision=1244500 #constraints=24295 1701.08/1701.86 c nbDecision=1245000 #constraints=24297 1702.08/1702.87 c nbDecision=1245500 #constraints=24298 1703.28/1704.08 c nbDecision=1246000 #constraints=24299 1704.77/1705.55 c nbDecision=1246500 #constraints=24301 1705.97/1706.77 c nbDecision=1247000 #constraints=24302 1707.48/1708.24 c nbDecision=1247500 #constraints=24304 1708.58/1709.35 c nbDecision=1248000 #constraints=24305 1709.68/1710.44 c nbDecision=1248500 #constraints=24306 1711.17/1711.91 c nbDecision=1249000 #constraints=24308 1712.37/1713.13 c nbDecision=1249500 #constraints=24309 1713.77/1714.58 c nbDecision=1250000 #constraints=24311 1715.57/1716.32 c nbDecision=1250500 #constraints=24329 1716.77/1717.54 c nbDecision=1251000 #constraints=24330 1718.27/1719.00 c nbDecision=1251500 #constraints=24332 1719.37/1720.18 c nbDecision=1252000 #constraints=24333 1720.87/1721.68 c nbDecision=1252500 #constraints=24335 1721.97/1722.71 c nbDecision=1253000 #constraints=24336 1723.17/1723.96 c nbDecision=1253500 #constraints=24337 1724.67/1725.46 c nbDecision=1254000 #constraints=24339 1725.87/1726.67 c nbDecision=1254500 #constraints=24340 1727.37/1728.17 c nbDecision=1255000 #constraints=24342 1728.47/1729.23 c nbDecision=1255500 #constraints=24343 1729.66/1730.41 c nbDecision=1256000 #constraints=24344 1731.06/1731.89 c nbDecision=1256500 #constraints=24346 1732.87/1733.67 c nbDecision=1257000 #constraints=24364 1734.06/1734.87 c nbDecision=1257500 #constraints=24365 1735.56/1736.37 c nbDecision=1258000 #constraints=24367 1736.76/1737.59 c nbDecision=1258500 #constraints=24368 1738.26/1739.09 c nbDecision=1259000 #constraints=24370 1739.36/1740.18 c nbDecision=1259500 #constraints=24371 1740.56/1741.33 c nbDecision=1260000 #constraints=24372 1742.06/1742.84 c nbDecision=1260500 #constraints=24374 1743.26/1744.09 c nbDecision=1261000 #constraints=24375 1744.76/1745.59 c nbDecision=1261500 #constraints=24377 1745.96/1746.75 c nbDecision=1262000 #constraints=24378 1747.06/1747.84 c nbDecision=1262500 #constraints=24379 1748.56/1749.36 c nbDecision=1263000 #constraints=24381 1749.86/1750.62 c nbDecision=1263500 #constraints=24382 1751.56/1752.37 c nbDecision=1264000 #constraints=24400 1753.05/1753.89 c nbDecision=1264500 #constraints=24402 1754.35/1755.13 c nbDecision=1265000 #constraints=24403 1755.86/1756.64 c nbDecision=1265500 #constraints=24405 1756.95/1757.79 c nbDecision=1266000 #constraints=24406 1758.05/1758.89 c nbDecision=1266500 #constraints=24407 1759.65/1760.41 c nbDecision=1267000 #constraints=24409 1760.85/1761.68 c nbDecision=1267500 #constraints=24410 1762.35/1763.19 c nbDecision=1268000 #constraints=24412 1763.55/1764.37 c nbDecision=1268500 #constraints=24413 1764.65/1765.46 c nbDecision=1269000 #constraints=24414 1766.25/1767.00 c nbDecision=1269500 #constraints=24416 1767.45/1768.26 c nbDecision=1270000 #constraints=24417 1768.95/1769.78 c nbDecision=1270500 #constraints=24419 1770.75/1771.58 c nbDecision=1271000 #constraints=24437 1772.05/1772.84 c nbDecision=1271500 #constraints=24438 1773.55/1774.36 c nbDecision=1272000 #constraints=24440 1774.75/1775.51 c nbDecision=1272500 #constraints=24441 1775.85/1776.64 c nbDecision=1273000 #constraints=24442 1777.34/1778.17 c nbDecision=1273500 #constraints=24444 1778.64/1779.43 c nbDecision=1274000 #constraints=24445 1780.15/1780.96 c nbDecision=1274500 #constraints=24447 1781.34/1782.12 c nbDecision=1275000 #constraints=24448 1782.44/1783.26 c nbDecision=1275500 #constraints=24449 1784.04/1784.81 c nbDecision=1276000 #constraints=24451 1785.24/1786.09 c nbDecision=1276500 #constraints=24452 1786.84/1787.63 c nbDecision=1277000 #constraints=24454 1788.64/1789.46 c nbDecision=1277500 #constraints=24472 1789.94/1790.71 c nbDecision=1278000 #constraints=24473 1791.44/1792.27 c nbDecision=1278500 #constraints=24475 1792.53/1793.34 c nbDecision=1279000 #constraints=24476 1793.73/1794.57 c nbDecision=1279500 #constraints=24477 1795.33/1796.13 c nbDecision=1280000 #constraints=24479 1796.54/1797.36 c nbDecision=1280500 #constraints=24480 1798.13/1798.93 c nbDecision=1281000 #constraints=24482 1799.13/1799.98 c nbDecision=1281500 #constraints=24483 1800.04/1800.80 Received signal 15 1800.04/1800.81 1800.04/1800.81 s UNKNOWN 1800.04/1800.81 1800.04/1800.81 c user time= 1799.73 s 1800.04/1800.81 c system time= 0.328949 s 1800.04/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-356931-1176848757 -o ROOT/results/node69/solver-356931-1176848757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356931-1176848757/instance-356931-1176848757.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.72 0.93 0.98 2/64 18966 /proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=1620 CPUtime=0 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160865112 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 405 166 126 317 0 84 0 [startup+0.0604469 s] /proc/loadavg: 0.72 0.93 0.98 2/64 18966 /proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=2460 CPUtime=0.05 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 425 0 0 0 5 0 0 0 18 0 1 0 160865112 2519040 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 615 407 131 317 0 294 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2460 [startup+0.101445 s] /proc/loadavg: 0.72 0.93 0.98 2/64 18966 /proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=3236 CPUtime=0.09 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 594 0 0 0 9 0 0 0 18 0 1 0 160865112 3313664 576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715285 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 809 576 131 317 0 488 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.301477 s] /proc/loadavg: 0.72 0.93 0.98 2/64 18966 /proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=4780 CPUtime=0.29 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 956 0 0 0 29 0 0 0 19 0 1 0 160865112 4894720 938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 1195 938 137 317 0 874 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4780 [startup+0.701542 s] /proc/loadavg: 0.72 0.93 0.98 2/64 18966 /proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=5440 CPUtime=0.69 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1121 0 0 0 69 0 0 0 23 0 1 0 160865112 5570560 1103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 1360 1103 137 317 0 1039 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5440 [startup+1.50167 s] /proc/loadavg: 0.72 0.93 0.98 2/65 18967 /proc/meminfo: memFree=1592268/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=5704 CPUtime=1.49 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1176 0 0 0 149 0 0 0 25 0 1 0 160865112 5840896 1158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 1426 1158 139 317 0 1105 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5704 [startup+3.10193 s] /proc/loadavg: 0.72 0.93 0.98 2/65 18967 /proc/meminfo: memFree=1591820/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=6100 CPUtime=3.09 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1295 0 0 0 309 0 0 0 25 0 1 0 160865112 6246400 1277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 1525 1277 139 317 0 1204 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6100 [startup+6.30145 s] /proc/loadavg: 0.74 0.94 0.98 2/65 18967 /proc/meminfo: memFree=1590668/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=7152 CPUtime=6.29 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1541 0 0 0 629 0 0 0 25 0 1 0 160865112 7323648 1523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 1788 1523 139 317 0 1467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7152 [startup+12.7015 s] /proc/loadavg: 0.76 0.94 0.98 2/65 18967 /proc/meminfo: memFree=1588620/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=9056 CPUtime=12.69 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 2018 0 0 0 1268 1 0 0 25 0 1 0 160865112 9273344 2000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 2264 2000 139 317 0 1943 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9056 [startup+25.5016 s] /proc/loadavg: 0.81 0.94 0.98 2/65 18967 /proc/meminfo: memFree=1585036/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=12876 CPUtime=25.48 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 2898 0 0 0 2547 1 0 0 25 0 1 0 160865112 13185024 2880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 3219 2880 139 317 0 2898 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12876 [startup+51.1017 s] /proc/loadavg: 0.87 0.94 0.98 2/65 18967 /proc/meminfo: memFree=1576716/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=21356 CPUtime=51.07 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 4991 0 0 0 5105 2 0 0 25 0 1 0 160865112 21868544 4973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 5339 4973 170 317 0 5018 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21356 [startup+102.306 s] /proc/loadavg: 0.94 0.95 0.98 2/65 18967 /proc/meminfo: memFree=1542796/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=55068 CPUtime=102.25 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 13472 0 0 0 10218 7 0 0 25 0 1 0 160865112 56389632 13454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 13767 13454 170 317 0 13446 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 55068 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/65 18967 /proc/meminfo: memFree=1526540/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=72992 CPUtime=162.21 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 17530 0 0 0 16213 8 0 0 25 0 1 0 160865112 74743808 17454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 18248 17454 170 317 0 17927 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 72992 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/65 18967 /proc/meminfo: memFree=1524492/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=75236 CPUtime=222.19 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 18037 0 0 0 22210 9 0 0 25 0 1 0 160865112 77041664 17961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134595777 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 18809 17961 170 317 0 18488 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 75236 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1522060/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=77756 CPUtime=282.15 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 18683 0 0 0 28205 10 0 0 25 0 1 0 160865112 79622144 18607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 19439 18607 170 317 0 19118 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 77756 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1514828/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=84592 CPUtime=342.12 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 20443 0 0 0 34200 12 0 0 25 0 1 0 160865112 86622208 20367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563302 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 21148 20367 170 317 0 20827 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 84592 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1513164/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=86108 CPUtime=402.08 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 20856 0 0 0 40196 12 0 0 25 0 1 0 160865112 88174592 20780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 21527 20780 170 317 0 21206 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 86108 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1490956/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=110264 CPUtime=462.06 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 26463 0 0 0 46192 14 0 0 25 0 1 0 160865112 112910336 26387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 27566 26387 170 317 0 27245 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 110264 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1468684/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=131500 CPUtime=522.04 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 31972 0 0 0 52187 17 0 0 25 0 1 0 160865112 134656000 31896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 32875 31896 170 317 0 32554 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 131500 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1467788/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=132168 CPUtime=582.01 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32172 0 0 0 58184 17 0 0 25 0 1 0 160865112 135340032 32096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 33042 32096 170 317 0 32721 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 132168 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18967 /proc/meminfo: memFree=1467148/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=132828 CPUtime=642 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32337 0 0 0 64182 18 0 0 25 0 1 0 160865112 136015872 32261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 33207 32261 170 317 0 32886 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 132828 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1465100/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=134672 CPUtime=821.93 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32820 0 0 0 82174 19 0 0 25 0 1 0 160865112 137904128 32744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 33668 32744 170 317 0 33347 0 Current children cumulated CPU time (s) 821.93 Current children cumulated vsize (KiB) 134672 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1464524/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=135200 CPUtime=881.9 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32963 0 0 0 88171 19 0 0 25 0 1 0 160865112 138444800 32887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 33800 32887 170 317 0 33479 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 135200 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1461260/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=142140 CPUtime=941.88 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 34531 0 0 0 94168 20 0 0 25 0 1 0 160865112 145551360 33714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 35535 33714 170 317 0 35214 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 142140 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1455372/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=148880 CPUtime=1001.85 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 36183 0 0 0 100164 21 0 0 25 0 1 0 160865112 152453120 35201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 37220 35201 170 317 0 36899 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 148880 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1450508/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=153276 CPUtime=1061.82 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37367 0 0 0 106160 22 0 0 25 0 1 0 160865112 156954624 36385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 38319 36385 170 317 0 37998 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 153276 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1449612/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=154072 CPUtime=1121.8 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37584 0 0 0 112157 23 0 0 25 0 1 0 160865112 157769728 36602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 38518 36602 170 317 0 38197 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 154072 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1448844/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=154728 CPUtime=1181.77 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37773 0 0 0 118154 23 0 0 25 0 1 0 160865112 158441472 36791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 38682 36791 170 317 0 38361 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 154728 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1448268/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=155252 CPUtime=1241.75 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37908 0 0 0 124152 23 0 0 25 0 1 0 160865112 158978048 36926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 38813 36926 170 317 0 38492 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 155252 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1447692/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=155656 CPUtime=1301.74 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 38037 0 0 0 130150 24 0 0 25 0 1 0 160865112 159391744 37055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 38914 37055 170 317 0 38593 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 155656 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1431884/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=171308 CPUtime=1361.71 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 42034 0 0 0 136145 26 0 0 25 0 1 0 160865112 175419392 41052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 42827 41052 170 317 0 42506 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 171308 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1414604/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=187868 CPUtime=1421.68 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 46331 0 0 0 142139 29 0 0 25 0 1 0 160865112 192376832 45349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 46967 45349 170 317 0 46646 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 187868 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1401228/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=206920 CPUtime=1481.66 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 49672 0 0 0 148135 31 0 0 25 0 1 0 160865112 211886080 48690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 51730 48690 170 317 0 51409 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 206920 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1400652/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=207452 CPUtime=1541.64 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 49795 0 0 0 154133 31 0 0 25 0 1 0 160865112 212430848 48813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 51863 48813 170 317 0 51542 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 207452 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1400076/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=208004 CPUtime=1601.61 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 49927 0 0 0 160130 31 0 0 25 0 1 0 160865112 212996096 48945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 52001 48945 170 317 0 51680 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 208004 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1399436/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=208396 CPUtime=1661.6 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50078 0 0 0 166128 32 0 0 25 0 1 0 160865112 213397504 49096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 52099 49096 170 317 0 51778 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 208396 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1398988/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=208792 CPUtime=1721.57 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50186 0 0 0 172125 32 0 0 25 0 1 0 160865112 213803008 49204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 52198 49204 170 317 0 51877 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 208792 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1398604/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=209216 CPUtime=1781.54 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50281 0 0 0 178122 32 0 0 25 0 1 0 160865112 214237184 49299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 52304 49299 170 317 0 51983 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 209216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18969 /proc/meminfo: memFree=1398476/2055920 swapFree=4182840/4192956 [pid=18966] ppid=18964 vsize=209348 CPUtime=1800.04 /proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50317 0 0 0 179972 32 0 0 25 0 1 0 160865112 214372352 49335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18966/statm: 52337 49335 170 317 0 52016 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 209348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.09 CPU user time (s): 1799.73 CPU system time (s): 0.362944 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 209348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.362944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50333 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= 4468 runsolver used 1.37279 second user time and 3.71643 second system time The end
Begin job on node69 on Tue Apr 17 22:25:57 UTC 2007 IDJOB= 356931 IDBENCH= 1655 IDSOLVER= 172 FILE ID= node69/356931-1176848757 PBS_JOBID= 4590229 Free space on /tmp= 66522 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb COMMAND LINE= oree /tmp/evaluation/356931-1176848757/instance-356931-1176848757.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-356931-1176848757 -o ROOT/results/node69/solver-356931-1176848757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356931-1176848757/instance-356931-1176848757.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3 RANDOM SEED= 429876794 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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.264 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: 1596652 kB Buffers: 29004 kB Cached: 381404 kB SwapCached: 5208 kB Active: 238388 kB Inactive: 182608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1596652 kB SwapTotal: 4192956 kB SwapFree: 4182840 kB Dirty: 2080 kB Writeback: 0 kB Mapped: 15176 kB Slab: 24256 kB Committed_AS: 1425588 kB PageTables: 1472 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= 66522 MiB End job on node69 on Tue Apr 17 22:56:00 UTC 2007