Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.85 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos12.opb |
MD5SUM | edd986756231058ab35f21017ebd98b6 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25600 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25600 |
Optimality of the best value was proved | NO |
Number of variables | 22960 |
Total number of constraints | 8611 |
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 | 8611 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 13440 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 481036336704 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 481036336704 |
Number of bits of the biggest sum of numbers | 39 |
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.69/0.79 c ...done 0.69/0.79 c #vars=22960 #constraints=9187 hasObjective=yes 0.89/0.93 c res. mode=mod 0.89/0.93 c VSIDS like heuristics 0.89/0.93 c complete search running 1.09/1.14 c restart after 401 decisions 1.19/1.20 c nbDecision=500 #constraints=9187 1.29/1.33 c restart after 801 decisions 1.39/1.44 c nbDecision=1000 #constraints=9187 1.59/1.64 c nbDecision=1500 #constraints=9187 1.59/1.68 c restart after 1601 decisions 1.79/1.87 c nbDecision=2000 #constraints=9187 1.99/2.05 c nbDecision=2500 #constraints=9187 2.09/2.20 c nbDecision=3000 #constraints=9187 2.19/2.24 c restart after 3201 decisions 2.38/2.40 c nbDecision=3500 #constraints=9187 2.48/2.59 c nbDecision=4000 #constraints=9187 2.69/2.74 c nbDecision=4500 #constraints=9187 2.79/2.86 c nbDecision=5000 #constraints=9187 2.99/3.02 c nbDecision=5500 #constraints=9200 3.09/3.15 c nbDecision=6000 #constraints=9204 3.20/3.25 c restart after 6401 decisions 3.30/3.33 c nbDecision=6500 #constraints=9206 3.49/3.54 c nbDecision=7000 #constraints=9206 3.69/3.71 c nbDecision=7500 #constraints=9206 3.79/3.84 c nbDecision=8000 #constraints=9206 3.89/3.95 c nbDecision=8500 #constraints=9207 4.09/4.13 c nbDecision=9000 #constraints=9227 4.19/4.29 c nbDecision=9500 #constraints=9241 4.40/4.43 c nbDecision=10000 #constraints=9249 4.49/4.56 c nbDecision=10500 #constraints=9252 4.59/4.69 c nbDecision=11000 #constraints=9254 4.79/4.82 c nbDecision=11500 #constraints=9257 4.89/4.96 c nbDecision=12000 #constraints=9261 4.99/5.07 c nbDecision=12500 #constraints=9261 5.09/5.15 c restart after 12801 decisions 5.19/5.27 c nbDecision=13000 #constraints=9263 5.39/5.47 c nbDecision=13500 #constraints=9263 5.59/5.63 c nbDecision=14000 #constraints=9263 5.69/5.75 c nbDecision=14500 #constraints=9263 5.79/5.87 c nbDecision=15000 #constraints=9264 5.99/6.02 c nbDecision=15500 #constraints=9274 6.09/6.19 c nbDecision=16000 #constraints=9287 6.29/6.36 c nbDecision=16500 #constraints=9305 6.49/6.55 c nbDecision=17000 #constraints=9332 6.68/6.73 c nbDecision=17500 #constraints=9349 6.78/6.87 c nbDecision=18000 #constraints=9354 6.98/7.01 c nbDecision=18500 #constraints=9361 7.08/7.17 c nbDecision=19000 #constraints=9373 7.28/7.32 c nbDecision=19500 #constraints=9380 7.38/7.46 c nbDecision=20000 #constraints=9388 7.48/7.60 c nbDecision=20500 #constraints=9394 7.69/7.73 c nbDecision=21000 #constraints=9397 7.78/7.89 c nbDecision=21500 #constraints=9409 7.98/8.03 c nbDecision=22000 #constraints=9412 8.08/8.17 c nbDecision=22500 #constraints=9420 8.28/8.35 c nbDecision=23000 #constraints=9437 8.38/8.49 c nbDecision=23500 #constraints=9440 8.58/8.62 c nbDecision=24000 #constraints=9446 8.68/8.76 c nbDecision=24500 #constraints=9451 8.78/8.89 c nbDecision=25000 #constraints=9454 8.98/9.02 c nbDecision=25500 #constraints=9457 8.98/9.04 c restart after 25601 decisions 9.18/9.25 c nbDecision=26000 #constraints=9457 9.38/9.43 c nbDecision=26500 #constraints=9457 9.48/9.57 c nbDecision=27000 #constraints=9457 9.58/9.69 c nbDecision=27500 #constraints=9457 9.78/9.82 c nbDecision=28000 #constraints=9459 9.88/9.96 c nbDecision=28500 #constraints=9462 10.08/10.14 c nbDecision=29000 #constraints=9488 10.28/10.34 c nbDecision=29500 #constraints=9520 10.48/10.52 c nbDecision=30000 #constraints=9539 10.69/10.75 c nbDecision=30500 #constraints=9580 10.99/11.04 c nbDecision=31000 #constraints=9633 11.19/11.24 c nbDecision=31500 #constraints=9665 11.39/11.41 c nbDecision=32000 #constraints=9682 11.59/11.65 c nbDecision=32500 #constraints=9716 11.79/11.83 c nbDecision=33000 #constraints=9735 11.89/11.96 c nbDecision=33500 #constraints=9741 11.99/12.09 c nbDecision=34000 #constraints=9744 12.19/12.21 c nbDecision=34500 #constraints=9748 12.38/12.40 c nbDecision=35000 #constraints=9768 12.48/12.56 c nbDecision=35500 #constraints=9779 12.79/12.82 c nbDecision=36000 #constraints=9804 12.98/13.04 c nbDecision=36500 #constraints=9815 13.19/13.28 c nbDecision=37000 #constraints=9843 13.58/13.64 c nbDecision=37500 #constraints=9879 14.08/14.12 c nbDecision=38000 #constraints=9945 14.28/14.32 c nbDecision=38500 #constraints=9953 14.38/14.49 c nbDecision=39000 #constraints=9958 14.68/14.77 c nbDecision=39500 #constraints=9986 15.08/15.11 c nbDecision=40000 #constraints=10007 15.28/15.31 c nbDecision=40500 #constraints=10016 15.48/15.58 c nbDecision=41000 #constraints=10042 15.88/15.95 c nbDecision=41500 #constraints=10079 16.08/16.13 c nbDecision=42000 #constraints=10084 16.28/16.35 c nbDecision=42500 #constraints=10116 16.48/16.59 c nbDecision=43000 #constraints=10150 16.78/16.82 c nbDecision=43500 #constraints=10182 16.98/17.02 c nbDecision=44000 #constraints=10205 17.18/17.21 c nbDecision=44500 #constraints=10225 17.28/17.35 c nbDecision=45000 #constraints=10234 17.48/17.54 c nbDecision=45500 #constraints=10244 17.68/17.70 c nbDecision=46000 #constraints=10253 17.78/17.88 c nbDecision=46500 #constraints=10276 17.98/18.03 c nbDecision=47000 #constraints=10284 18.18/18.26 c nbDecision=47500 #constraints=10307 18.38/18.45 c nbDecision=48000 #constraints=10321 18.78/18.83 c nbDecision=48500 #constraints=10354 19.08/19.10 c nbDecision=49000 #constraints=10374 19.28/19.37 c nbDecision=49500 #constraints=10410 19.58/19.66 c nbDecision=50000 #constraints=10450 19.88/19.96 c nbDecision=50500 #constraints=10491 20.18/20.21 c nbDecision=51000 #constraints=10521 20.28/20.31 c restart after 51201 decisions 20.38/20.49 c nbDecision=51500 #constraints=10534 20.58/20.69 c nbDecision=52000 #constraints=10534 20.78/20.84 c nbDecision=52500 #constraints=10534 20.88/20.96 c nbDecision=53000 #constraints=10534 21.08/21.12 c nbDecision=53500 #constraints=10538 21.28/21.35 c nbDecision=54000 #constraints=10546 21.48/21.55 c nbDecision=54500 #constraints=10552 21.88/21.91 c nbDecision=55000 #constraints=10570 22.08/22.14 c nbDecision=55500 #constraints=10578 22.28/22.39 c nbDecision=56000 #constraints=10588 22.57/22.64 c nbDecision=56500 #constraints=10597 22.88/22.98 c nbDecision=57000 #constraints=10613 23.17/23.24 c nbDecision=57500 #constraints=10635 23.57/23.61 c nbDecision=58000 #constraints=10656 23.77/23.89 c nbDecision=58500 #constraints=10668 24.08/24.13 c nbDecision=59000 #constraints=10676 24.47/24.50 c nbDecision=59500 #constraints=10696 24.67/24.70 c nbDecision=60000 #constraints=10702 25.08/25.17 c nbDecision=60500 #constraints=10737 25.38/25.43 c nbDecision=61000 #constraints=10747 25.68/25.71 c nbDecision=61500 #constraints=10758 25.88/25.98 c nbDecision=62000 #constraints=10768 26.29/26.34 c nbDecision=62500 #constraints=10802 26.58/26.64 c nbDecision=63000 #constraints=10816 26.78/26.82 c nbDecision=63500 #constraints=10827 27.08/27.20 c nbDecision=64000 #constraints=10875 27.28/27.36 c nbDecision=64500 #constraints=10888 27.48/27.54 c nbDecision=65000 #constraints=10906 27.78/27.88 c nbDecision=65500 #constraints=10932 27.98/28.09 c nbDecision=66000 #constraints=10957 28.18/28.23 c nbDecision=66500 #constraints=10965 28.38/28.47 c nbDecision=67000 #constraints=10988 28.58/28.65 c nbDecision=67500 #constraints=10998 28.98/29.07 c nbDecision=68000 #constraints=11035 29.28/29.31 c nbDecision=68500 #constraints=11057 29.48/29.57 c nbDecision=69000 #constraints=11069 30.38/30.45 c nbDecision=69500 #constraints=11167 30.87/30.94 c nbDecision=70000 #constraints=11211 31.07/31.19 c nbDecision=70500 #constraints=11224 31.67/31.71 c nbDecision=71000 #constraints=11250 31.97/32.01 c nbDecision=71500 #constraints=11261 32.17/32.28 c nbDecision=72000 #constraints=11271 32.37/32.45 c nbDecision=72500 #constraints=11274 32.57/32.68 c nbDecision=73000 #constraints=11283 32.98/33.05 c nbDecision=73500 #constraints=11307 33.57/33.64 c nbDecision=74000 #constraints=11382 33.77/33.88 c nbDecision=74500 #constraints=11410 34.37/34.44 c nbDecision=75000 #constraints=11470 34.57/34.60 c nbDecision=75500 #constraints=11482 34.67/34.73 c nbDecision=76000 #constraints=11485 34.77/34.85 c nbDecision=76500 #constraints=11488 35.37/35.47 c nbDecision=77000 #constraints=11527 35.57/35.65 c nbDecision=77500 #constraints=11539 35.67/35.77 c nbDecision=78000 #constraints=11542 35.87/35.93 c nbDecision=78500 #constraints=11552 36.37/36.49 c nbDecision=79000 #constraints=11602 36.77/36.82 c nbDecision=79500 #constraints=11629 37.07/37.16 c nbDecision=80000 #constraints=11673 37.37/37.42 c nbDecision=80500 #constraints=11695 37.77/37.83 c nbDecision=81000 #constraints=11713 38.47/38.53 c nbDecision=81500 #constraints=11744 39.27/39.30 c nbDecision=82000 #constraints=11778 40.27/40.34 c nbDecision=82500 #constraints=11827 40.57/40.64 c nbDecision=83000 #constraints=11834 41.57/41.62 c nbDecision=83500 #constraints=11893 41.77/41.81 c nbDecision=84000 #constraints=11914 41.97/42.04 c nbDecision=84500 #constraints=11931 42.67/42.78 c nbDecision=85000 #constraints=11975 42.97/43.06 c nbDecision=85500 #constraints=11999 43.37/43.41 c nbDecision=86000 #constraints=12027 43.87/43.98 c nbDecision=86500 #constraints=12052 44.27/44.33 c nbDecision=87000 #constraints=12063 44.57/44.66 c nbDecision=87500 #constraints=12071 45.27/45.36 c nbDecision=88000 #constraints=12099 45.47/45.59 c nbDecision=88500 #constraints=12103 45.67/45.74 c nbDecision=89000 #constraints=12106 45.97/46.07 c nbDecision=89500 #constraints=12124 46.36/46.47 c nbDecision=90000 #constraints=12135 46.56/46.69 c nbDecision=90500 #constraints=12148 46.86/46.98 c nbDecision=91000 #constraints=12176 47.17/47.25 c nbDecision=91500 #constraints=12204 47.36/47.42 c nbDecision=92000 #constraints=12210 47.56/47.69 c nbDecision=92500 #constraints=12239 47.86/47.94 c nbDecision=93000 #constraints=12260 48.16/48.24 c nbDecision=93500 #constraints=12292 48.36/48.42 c nbDecision=94000 #constraints=12304 48.56/48.62 c nbDecision=94500 #constraints=12316 48.77/48.87 c nbDecision=95000 #constraints=12335 49.27/49.35 c nbDecision=95500 #constraints=12356 49.57/49.66 c nbDecision=96000 #constraints=12365 50.27/50.34 c nbDecision=96500 #constraints=12391 50.67/50.72 c nbDecision=97000 #constraints=12403 51.17/51.26 c nbDecision=97500 #constraints=12448 52.87/52.94 c nbDecision=98000 #constraints=12550 53.17/53.21 c nbDecision=98500 #constraints=12568 54.17/54.27 c nbDecision=99000 #constraints=12619 54.47/54.51 c nbDecision=99500 #constraints=12624 54.77/54.86 c nbDecision=100000 #constraints=12633 55.27/55.36 c nbDecision=100500 #constraints=12648 56.27/56.31 c nbDecision=101000 #constraints=12690 56.87/56.98 c nbDecision=101500 #constraints=12713 57.07/57.19 c nbDecision=102000 #constraints=12723 57.17/57.29 c restart after 102401 decisions 57.37/57.40 c nbDecision=102500 #constraints=12726 57.57/57.62 c nbDecision=103000 #constraints=12726 57.67/57.78 c nbDecision=103500 #constraints=12726 57.87/57.93 c nbDecision=104000 #constraints=12726 57.97/58.06 c nbDecision=104500 #constraints=12726 58.27/58.38 c nbDecision=105000 #constraints=12746 58.57/58.61 c nbDecision=105500 #constraints=12757 59.16/59.26 c nbDecision=106000 #constraints=12798 59.56/59.64 c nbDecision=106500 #constraints=12807 60.06/60.13 c nbDecision=107000 #constraints=12858 60.47/60.58 c nbDecision=107500 #constraints=12888 60.86/60.94 c nbDecision=108000 #constraints=12903 61.06/61.17 c nbDecision=108500 #constraints=12911 61.47/61.51 c nbDecision=109000 #constraints=12918 61.96/62.00 c nbDecision=109500 #constraints=12931 62.26/62.37 c nbDecision=110000 #constraints=12939 62.46/62.54 c nbDecision=110500 #constraints=12941 62.76/62.81 c nbDecision=111000 #constraints=12951 62.96/63.03 c nbDecision=111500 #constraints=12961 63.16/63.27 c nbDecision=112000 #constraints=12978 63.67/63.74 c nbDecision=112500 #constraints=13002 63.77/63.88 c nbDecision=113000 #constraints=13004 64.16/64.28 c nbDecision=113500 #constraints=13024 64.76/64.82 c nbDecision=114000 #constraints=13036 65.16/65.21 c nbDecision=114500 #constraints=13044 65.46/65.57 c nbDecision=115000 #constraints=13056 65.76/65.89 c nbDecision=115500 #constraints=13070 66.06/66.18 c nbDecision=116000 #constraints=13092 66.46/66.50 c nbDecision=116500 #constraints=13106 66.66/66.76 c nbDecision=117000 #constraints=13112 66.86/66.90 c nbDecision=117500 #constraints=13115 67.06/67.19 c nbDecision=118000 #constraints=13129 67.46/67.53 c nbDecision=118500 #constraints=13135 67.86/67.95 c nbDecision=119000 #constraints=13150 68.26/68.34 c nbDecision=119500 #constraints=13165 68.46/68.56 c nbDecision=120000 #constraints=13173 68.66/68.75 c nbDecision=120500 #constraints=13180 68.86/68.91 c nbDecision=121000 #constraints=13183 69.46/69.52 c nbDecision=121500 #constraints=13204 69.76/69.85 c nbDecision=122000 #constraints=13210 70.36/70.43 c nbDecision=122500 #constraints=13222 70.86/70.95 c nbDecision=123000 #constraints=13252 71.06/71.18 c nbDecision=123500 #constraints=13261 71.36/71.49 c nbDecision=124000 #constraints=13270 71.66/71.79 c nbDecision=124500 #constraints=13278 72.06/72.13 c nbDecision=125000 #constraints=13299 72.65/72.70 c nbDecision=125500 #constraints=13323 72.85/72.98 c nbDecision=126000 #constraints=13333 73.35/73.40 c nbDecision=126500 #constraints=13345 73.66/73.74 c nbDecision=127000 #constraints=13358 73.95/74.02 c nbDecision=127500 #constraints=13369 74.05/74.18 c nbDecision=128000 #constraints=13372 74.45/74.58 c nbDecision=128500 #constraints=13388 74.66/74.76 c nbDecision=129000 #constraints=13390 74.85/74.98 c nbDecision=129500 #constraints=13398 75.25/75.31 c nbDecision=130000 #constraints=13410 75.45/75.60 c nbDecision=130500 #constraints=13428 75.76/75.85 c nbDecision=131000 #constraints=13446 75.95/76.04 c nbDecision=131500 #constraints=13453 76.35/76.43 c nbDecision=132000 #constraints=13475 76.45/76.56 c nbDecision=132500 #constraints=13477 76.75/76.89 c nbDecision=133000 #constraints=13489 77.25/77.30 c nbDecision=133500 #constraints=13512 77.75/77.89 c nbDecision=134000 #constraints=13539 77.95/78.04 c nbDecision=134500 #constraints=13541 78.15/78.29 c nbDecision=135000 #constraints=13549 78.55/78.68 c nbDecision=135500 #constraints=13558 78.95/79.03 c nbDecision=136000 #constraints=13573 79.15/79.28 c nbDecision=136500 #constraints=13580 79.35/79.45 c nbDecision=137000 #constraints=13583 79.75/79.84 c nbDecision=137500 #constraints=13594 80.05/80.18 c nbDecision=138000 #constraints=13600 80.26/80.34 c nbDecision=138500 #constraints=13603 80.56/80.63 c nbDecision=139000 #constraints=13614 80.66/80.79 c nbDecision=139500 #constraints=13617 80.86/80.95 c nbDecision=140000 #constraints=13619 81.16/81.26 c nbDecision=140500 #constraints=13633 81.36/81.45 c nbDecision=141000 #constraints=13641 81.66/81.74 c nbDecision=141500 #constraints=13658 82.16/82.26 c nbDecision=142000 #constraints=13682 82.46/82.56 c nbDecision=142500 #constraints=13686 82.76/82.82 c nbDecision=143000 #constraints=13703 82.96/83.05 c nbDecision=143500 #constraints=13712 83.16/83.26 c nbDecision=144000 #constraints=13728 83.36/83.46 c nbDecision=144500 #constraints=13741 83.56/83.63 c nbDecision=145000 #constraints=13746 83.96/84.01 c nbDecision=145500 #constraints=13753 84.36/84.47 c nbDecision=146000 #constraints=13761 84.56/84.65 c nbDecision=146500 #constraints=13763 84.86/84.98 c nbDecision=147000 #constraints=13769 85.16/85.25 c nbDecision=147500 #constraints=13777 85.36/85.44 c nbDecision=148000 #constraints=13780 85.46/85.58 c nbDecision=148500 #constraints=13782 85.66/85.72 c nbDecision=149000 #constraints=13785 85.76/85.88 c nbDecision=149500 #constraints=13788 86.35/86.45 c nbDecision=150000 #constraints=13814 86.45/86.58 c nbDecision=150500 #constraints=13819 86.76/86.87 c nbDecision=151000 #constraints=13843 87.05/87.13 c nbDecision=151500 #constraints=13858 87.25/87.31 c nbDecision=152000 #constraints=13863 87.35/87.45 c nbDecision=152500 #constraints=13866 87.45/87.59 c nbDecision=153000 #constraints=13869 87.65/87.71 c nbDecision=153500 #constraints=13871 87.75/87.88 c nbDecision=154000 #constraints=13873 87.96/88.05 c nbDecision=154500 #constraints=13874 88.15/88.25 c nbDecision=155000 #constraints=13885 88.45/88.50 c nbDecision=155500 #constraints=13889 89.15/89.26 c nbDecision=156000 #constraints=13905 89.45/89.50 c nbDecision=156500 #constraints=13918 89.75/89.81 c nbDecision=157000 #constraints=13940 89.95/90.03 c nbDecision=157500 #constraints=13950 90.35/90.43 c nbDecision=158000 #constraints=13964 90.55/90.64 c nbDecision=158500 #constraints=13967 90.95/91.04 c nbDecision=159000 #constraints=13975 91.26/91.38 c nbDecision=159500 #constraints=13980 91.45/91.53 c nbDecision=160000 #constraints=13982 91.55/91.68 c nbDecision=160500 #constraints=13985 91.85/91.97 c nbDecision=161000 #constraints=14000 92.45/92.58 c nbDecision=161500 #constraints=14016 93.05/93.12 c nbDecision=162000 #constraints=14028 93.15/93.27 c nbDecision=162500 #constraints=14031 93.45/93.51 c nbDecision=163000 #constraints=14041 93.55/93.66 c nbDecision=163500 #constraints=14044 93.75/93.84 c nbDecision=164000 #constraints=14051 93.95/94.07 c nbDecision=164500 #constraints=14062 94.25/94.33 c nbDecision=165000 #constraints=14068 94.45/94.52 c nbDecision=165500 #constraints=14077 94.55/94.64 c nbDecision=166000 #constraints=14080 94.85/94.94 c nbDecision=166500 #constraints=14090 95.45/95.57 c nbDecision=167000 #constraints=14101 95.65/95.78 c nbDecision=167500 #constraints=14104 95.85/95.98 c nbDecision=168000 #constraints=14106 96.15/96.21 c nbDecision=168500 #constraints=14109 96.45/96.53 c nbDecision=169000 #constraints=14115 96.85/96.96 c nbDecision=169500 #constraints=14123 97.15/97.21 c nbDecision=170000 #constraints=14127 97.65/97.80 c nbDecision=170500 #constraints=14142 98.25/98.31 c nbDecision=171000 #constraints=14155 98.75/98.86 c nbDecision=171500 #constraints=14168 99.15/99.25 c nbDecision=172000 #constraints=14174 99.75/99.88 c nbDecision=172500 #constraints=14189 100.35/100.46 c nbDecision=173000 #constraints=14206 100.95/101.01 c nbDecision=173500 #constraints=14218 102.25/102.39 c nbDecision=174000 #constraints=14256 102.55/102.68 c nbDecision=174500 #constraints=14261 103.15/103.29 c nbDecision=175000 #constraints=14272 103.55/103.67 c nbDecision=175500 #constraints=14279 103.75/103.83 c nbDecision=176000 #constraints=14282 103.95/104.00 c nbDecision=176500 #constraints=14285 104.05/104.15 c nbDecision=177000 #constraints=14287 104.65/104.79 c nbDecision=177500 #constraints=14300 105.15/105.26 c nbDecision=178000 #constraints=14309 105.25/105.39 c nbDecision=178500 #constraints=14309 106.14/106.28 c nbDecision=179000 #constraints=14333 106.55/106.69 c nbDecision=179500 #constraints=14340 106.74/106.87 c nbDecision=180000 #constraints=14342 107.04/107.15 c nbDecision=180500 #constraints=14347 107.94/108.09 c nbDecision=181000 #constraints=14370 108.44/108.52 c nbDecision=181500 #constraints=14379 109.14/109.27 c nbDecision=182000 #constraints=14400 109.95/110.01 c nbDecision=182500 #constraints=14420 110.44/110.50 c nbDecision=183000 #constraints=14433 110.84/110.98 c nbDecision=183500 #constraints=14445 112.14/112.25 c nbDecision=184000 #constraints=14482 112.74/112.89 c nbDecision=184500 #constraints=14499 113.24/113.34 c nbDecision=185000 #constraints=14511 114.24/114.34 c nbDecision=185500 #constraints=14547 114.54/114.67 c nbDecision=186000 #constraints=14557 114.84/114.97 c nbDecision=186500 #constraints=14572 115.04/115.15 c nbDecision=187000 #constraints=14574 115.44/115.52 c nbDecision=187500 #constraints=14581 115.85/115.97 c nbDecision=188000 #constraints=14590 116.45/116.54 c nbDecision=188500 #constraints=14605 116.85/116.90 c nbDecision=189000 #constraints=14611 116.95/117.09 c nbDecision=189500 #constraints=14613 117.45/117.56 c nbDecision=190000 #constraints=14623 117.75/117.82 c nbDecision=190500 #constraints=14629 117.95/118.09 c nbDecision=191000 #constraints=14651 118.24/118.30 c nbDecision=191500 #constraints=14660 118.44/118.58 c nbDecision=192000 #constraints=14673 119.04/119.10 c nbDecision=192500 #constraints=14683 119.34/119.40 c nbDecision=193000 #constraints=14688 119.54/119.61 c nbDecision=193500 #constraints=14691 119.94/120.06 c nbDecision=194000 #constraints=14699 120.14/120.22 c nbDecision=194500 #constraints=14700 122.44/122.53 c nbDecision=195000 #constraints=14791 123.24/123.34 c nbDecision=195500 #constraints=14837 123.54/123.65 c nbDecision=196000 #constraints=14854 124.14/124.28 c nbDecision=196500 #constraints=14888 124.64/124.79 c nbDecision=197000 #constraints=14919 124.94/125.03 c nbDecision=197500 #constraints=14936 125.44/125.54 c nbDecision=198000 #constraints=14965 126.04/126.13 c nbDecision=198500 #constraints=14993 126.54/126.61 c nbDecision=199000 #constraints=15021 127.34/127.40 c nbDecision=199500 #constraints=15058 127.54/127.66 c nbDecision=200000 #constraints=15069 127.94/128.06 c nbDecision=200500 #constraints=15095 128.34/128.41 c nbDecision=201000 #constraints=15102 128.84/128.92 c nbDecision=201500 #constraints=15124 129.14/129.24 c nbDecision=202000 #constraints=15130 129.64/129.76 c nbDecision=202500 #constraints=15138 131.63/131.76 c nbDecision=203000 #constraints=15196 131.94/132.06 c nbDecision=203500 #constraints=15207 132.23/132.31 c nbDecision=204000 #constraints=15222 132.43/132.51 c nbDecision=204500 #constraints=15236 132.63/132.75 c restart after 204801 decisions 132.83/132.91 c nbDecision=205000 #constraints=15241 133.04/133.11 c nbDecision=205500 #constraints=15241 133.13/133.27 c nbDecision=206000 #constraints=15241 133.33/133.41 c nbDecision=206500 #constraints=15241 133.43/133.54 c nbDecision=207000 #constraints=15241 134.43/134.50 c nbDecision=207500 #constraints=15269 134.73/134.83 c nbDecision=208000 #constraints=15288 135.73/135.80 c nbDecision=208500 #constraints=15315 136.03/136.12 c nbDecision=209000 #constraints=15333 136.24/136.36 c nbDecision=209500 #constraints=15336 136.63/136.76 c nbDecision=210000 #constraints=15341 136.83/136.97 c nbDecision=210500 #constraints=15344 137.33/137.42 c nbDecision=211000 #constraints=15354 137.63/137.77 c nbDecision=211500 #constraints=15360 137.83/137.98 c nbDecision=212000 #constraints=15370 138.13/138.21 c nbDecision=212500 #constraints=15385 138.23/138.34 c nbDecision=213000 #constraints=15389 138.43/138.55 c nbDecision=213500 #constraints=15396 138.93/139.08 c nbDecision=214000 #constraints=15404 139.33/139.48 c nbDecision=214500 #constraints=15409 139.73/139.80 c nbDecision=215000 #constraints=15414 140.03/140.17 c nbDecision=215500 #constraints=15419 142.13/142.21 c nbDecision=216000 #constraints=15472 142.83/142.98 c nbDecision=216500 #constraints=15488 143.33/143.46 c nbDecision=217000 #constraints=15495 144.13/144.26 c nbDecision=217500 #constraints=15514 144.63/144.72 c nbDecision=218000 #constraints=15523 145.03/145.10 c nbDecision=218500 #constraints=15529 145.33/145.48 c nbDecision=219000 #constraints=15535 145.53/145.67 c nbDecision=219500 #constraints=15537 146.04/146.12 c nbDecision=220000 #constraints=15552 146.34/146.40 c nbDecision=220500 #constraints=15561 146.54/146.65 c nbDecision=221000 #constraints=15574 147.54/147.62 c nbDecision=221500 #constraints=15604 148.73/148.86 c nbDecision=222000 #constraints=15649 148.83/148.98 c nbDecision=222500 #constraints=15652 149.44/149.57 c nbDecision=223000 #constraints=15673 149.93/150.02 c nbDecision=223500 #constraints=15682 150.73/150.80 c nbDecision=224000 #constraints=15702 150.93/151.03 c nbDecision=224500 #constraints=15712 151.33/151.49 c nbDecision=225000 #constraints=15739 152.13/152.25 c nbDecision=225500 #constraints=15772 153.23/153.31 c nbDecision=226000 #constraints=15805 153.93/154.07 c nbDecision=226500 #constraints=15827 154.13/154.29 c nbDecision=227000 #constraints=15834 154.63/154.78 c nbDecision=227500 #constraints=15842 154.93/155.03 c nbDecision=228000 #constraints=15845 155.63/155.73 c nbDecision=228500 #constraints=15862 156.03/156.10 c nbDecision=229000 #constraints=15868 156.53/156.62 c nbDecision=229500 #constraints=15878 156.83/156.90 c nbDecision=230000 #constraints=15882 157.13/157.24 c nbDecision=230500 #constraints=15888 157.33/157.47 c nbDecision=231000 #constraints=15890 157.53/157.69 c nbDecision=231500 #constraints=15893 158.12/158.25 c nbDecision=232000 #constraints=15904 158.72/158.81 c nbDecision=232500 #constraints=15913 159.72/159.88 c nbDecision=233000 #constraints=15961 160.72/160.85 c nbDecision=233500 #constraints=15983 161.53/161.65 c nbDecision=234000 #constraints=16012 162.02/162.15 c nbDecision=234500 #constraints=16038 162.52/162.60 c nbDecision=235000 #constraints=16054 162.62/162.73 c nbDecision=235500 #constraints=16058 162.72/162.86 c nbDecision=236000 #constraints=16061 163.22/163.37 c nbDecision=236500 #constraints=16080 163.52/163.64 c nbDecision=237000 #constraints=16088 164.82/164.91 c nbDecision=237500 #constraints=16118 165.02/165.13 c nbDecision=238000 #constraints=16132 165.22/165.36 c nbDecision=238500 #constraints=16140 165.42/165.53 c nbDecision=239000 #constraints=16143 165.72/165.89 c nbDecision=239500 #constraints=16151 166.22/166.36 c nbDecision=240000 #constraints=16157 166.52/166.66 c nbDecision=240500 #constraints=16160 167.42/167.50 c nbDecision=241000 #constraints=16176 167.92/168.05 c nbDecision=241500 #constraints=16187 168.72/168.88 c nbDecision=242000 #constraints=16206 169.32/169.49 c nbDecision=242500 #constraints=16218 170.02/170.16 c nbDecision=243000 #constraints=16238 170.32/170.42 c nbDecision=243500 #constraints=16241 170.72/170.83 c nbDecision=244000 #constraints=16253 171.32/171.44 c nbDecision=244500 #constraints=16265 172.03/172.14 c nbDecision=245000 #constraints=16282 173.03/173.14 c nbDecision=245500 #constraints=16302 173.52/173.68 c nbDecision=246000 #constraints=16312 173.73/173.89 c nbDecision=246500 #constraints=16314 174.12/174.26 c nbDecision=247000 #constraints=16320 174.42/174.57 c nbDecision=247500 #constraints=16334 174.92/175.03 c nbDecision=248000 #constraints=16340 175.23/175.30 c nbDecision=248500 #constraints=16343 175.33/175.49 c nbDecision=249000 #constraints=16344 176.02/176.12 c nbDecision=249500 #constraints=16355 176.42/176.57 c nbDecision=250000 #constraints=16363 176.82/176.99 c nbDecision=250500 #constraints=16370 177.22/177.36 c nbDecision=251000 #constraints=16376 178.12/178.24 c nbDecision=251500 #constraints=16396 178.72/178.89 c nbDecision=252000 #constraints=16415 179.22/179.31 c nbDecision=252500 #constraints=16433 179.52/179.66 c nbDecision=253000 #constraints=16443 179.82/179.93 c nbDecision=253500 #constraints=16450 180.12/180.28 c nbDecision=254000 #constraints=16455 181.12/181.29 c nbDecision=254500 #constraints=16477 181.62/181.76 c nbDecision=255000 #constraints=16491 182.22/182.35 c nbDecision=255500 #constraints=16503 182.82/182.95 c nbDecision=256000 #constraints=16522 183.32/183.42 c nbDecision=256500 #constraints=16530 183.82/183.94 c nbDecision=257000 #constraints=16554 184.12/184.22 c nbDecision=257500 #constraints=16563 184.32/184.45 c nbDecision=258000 #constraints=16580 184.92/185.09 c nbDecision=258500 #constraints=16602 185.22/185.33 c nbDecision=259000 #constraints=16604 185.91/186.09 c nbDecision=259500 #constraints=16631 186.41/186.56 c nbDecision=260000 #constraints=16644 186.92/187.02 c nbDecision=260500 #constraints=16656 187.41/187.56 c nbDecision=261000 #constraints=16675 187.92/188.03 c nbDecision=261500 #constraints=16683 188.71/188.88 c nbDecision=262000 #constraints=16705 188.91/189.09 c nbDecision=262500 #constraints=16717 189.12/189.21 c nbDecision=263000 #constraints=16720 189.51/189.65 c nbDecision=263500 #constraints=16739 190.41/190.59 c nbDecision=264000 #constraints=16772 190.61/190.72 c nbDecision=264500 #constraints=16775 190.81/190.97 c nbDecision=265000 #constraints=16793 191.01/191.19 c nbDecision=265500 #constraints=16795 191.71/191.80 c nbDecision=266000 #constraints=16809 191.91/192.07 c nbDecision=266500 #constraints=16823 192.81/192.98 c nbDecision=267000 #constraints=16856 193.11/193.29 c nbDecision=267500 #constraints=16871 193.81/193.93 c nbDecision=268000 #constraints=16901 193.91/194.05 c nbDecision=268500 #constraints=16904 194.11/194.21 c nbDecision=269000 #constraints=16912 194.41/194.55 c nbDecision=269500 #constraints=16932 194.61/194.71 c nbDecision=270000 #constraints=16940 194.91/195.03 c nbDecision=270500 #constraints=16950 195.32/195.40 c nbDecision=271000 #constraints=16962 197.12/197.29 c nbDecision=271500 #constraints=16999 197.52/197.69 c nbDecision=272000 #constraints=17015 197.82/197.93 c nbDecision=272500 #constraints=17019 198.02/198.13 c nbDecision=273000 #constraints=17020 198.42/198.59 c nbDecision=273500 #constraints=17025 198.72/198.83 c nbDecision=274000 #constraints=17028 199.02/199.15 c nbDecision=274500 #constraints=17033 199.52/199.60 c nbDecision=275000 #constraints=17038 200.42/200.52 c nbDecision=275500 #constraints=17054 200.52/200.64 c nbDecision=276000 #constraints=17054 200.82/200.91 c nbDecision=276500 #constraints=17057 201.02/201.10 c nbDecision=277000 #constraints=17060 201.12/201.26 c nbDecision=277500 #constraints=17063 201.32/201.45 c nbDecision=278000 #constraints=17067 203.21/203.30 c nbDecision=278500 #constraints=17111 203.42/203.59 c nbDecision=279000 #constraints=17118 204.81/204.94 c nbDecision=279500 #constraints=17153 205.11/205.23 c nbDecision=280000 #constraints=17168 205.52/205.62 c nbDecision=280500 #constraints=17185 205.81/205.90 c nbDecision=281000 #constraints=17199 205.91/206.06 c nbDecision=281500 #constraints=17206 206.11/206.29 c nbDecision=282000 #constraints=17210 206.31/206.45 c nbDecision=282500 #constraints=17212 206.72/206.84 c nbDecision=283000 #constraints=17226 207.51/207.63 c nbDecision=283500 #constraints=17238 207.82/207.92 c nbDecision=284000 #constraints=17241 208.31/208.42 c nbDecision=284500 #constraints=17249 209.11/209.25 c nbDecision=285000 #constraints=17264 209.41/209.59 c nbDecision=285500 #constraints=17274 209.61/209.73 c nbDecision=286000 #constraints=17276 209.71/209.86 c nbDecision=286500 #constraints=17279 209.91/210.00 c nbDecision=287000 #constraints=17286 210.01/210.19 c nbDecision=287500 #constraints=17290 210.41/210.53 c nbDecision=288000 #constraints=17296 210.61/210.77 c nbDecision=288500 #constraints=17306 210.81/210.94 c nbDecision=289000 #constraints=17314 211.21/211.38 c nbDecision=289500 #constraints=17320 211.61/211.71 c nbDecision=290000 #constraints=17324 211.91/212.08 c nbDecision=290500 #constraints=17337 213.01/213.10 c nbDecision=291000 #constraints=17372 213.21/213.39 c nbDecision=291500 #constraints=17394 213.41/213.50 c nbDecision=292000 #constraints=17394 213.61/213.73 c nbDecision=292500 #constraints=17400 213.81/213.92 c nbDecision=293000 #constraints=17401 213.91/214.09 c nbDecision=293500 #constraints=17402 214.11/214.27 c nbDecision=294000 #constraints=17403 214.21/214.39 c nbDecision=294500 #constraints=17403 214.41/214.52 c nbDecision=295000 #constraints=17404 214.61/214.70 c nbDecision=295500 #constraints=17405 215.61/215.74 c nbDecision=296000 #constraints=17433 215.81/215.95 c nbDecision=296500 #constraints=17437 216.11/216.24 c nbDecision=297000 #constraints=17443 216.31/216.43 c nbDecision=297500 #constraints=17448 216.61/216.74 c nbDecision=298000 #constraints=17459 216.81/216.95 c nbDecision=298500 #constraints=17463 217.01/217.16 c nbDecision=299000 #constraints=17471 217.21/217.35 c nbDecision=299500 #constraints=17480 217.31/217.46 c nbDecision=300000 #constraints=17480 217.61/217.71 c nbDecision=300500 #constraints=17490 217.71/217.89 c nbDecision=301000 #constraints=17497 217.90/218.03 c nbDecision=301500 #constraints=17498 218.00/218.14 c nbDecision=302000 #constraints=17498 218.30/218.49 c nbDecision=302500 #constraints=17512 218.60/218.75 c nbDecision=303000 #constraints=17521 218.81/218.98 c nbDecision=303500 #constraints=17531 219.30/219.49 c nbDecision=304000 #constraints=17553 220.00/220.18 c nbDecision=304500 #constraints=17573 220.80/220.94 c nbDecision=305000 #constraints=17594 221.01/221.13 c nbDecision=305500 #constraints=17596 221.60/221.79 c nbDecision=306000 #constraints=17609 222.50/222.68 c nbDecision=306500 #constraints=17642 223.60/223.71 c nbDecision=307000 #constraints=17685 223.90/224.02 c nbDecision=307500 #constraints=17690 224.10/224.26 c nbDecision=308000 #constraints=17697 224.30/224.44 c nbDecision=308500 #constraints=17700 225.00/225.12 c nbDecision=309000 #constraints=17713 227.11/227.26 c nbDecision=309500 #constraints=17765 227.61/227.79 c nbDecision=310000 #constraints=17772 228.10/228.25 c nbDecision=310500 #constraints=17778 228.71/228.80 c nbDecision=311000 #constraints=17787 229.50/229.60 c nbDecision=311500 #constraints=17799 229.90/230.07 c nbDecision=312000 #constraints=17812 230.70/230.83 c nbDecision=312500 #constraints=17831 231.70/231.84 c nbDecision=313000 #constraints=17862 232.50/232.61 c nbDecision=313500 #constraints=17880 234.11/234.21 c nbDecision=314000 #constraints=17916 234.50/234.67 c nbDecision=314500 #constraints=17923 235.20/235.39 c nbDecision=315000 #constraints=17934 235.70/235.84 c nbDecision=315500 #constraints=17940 236.40/236.57 c nbDecision=316000 #constraints=17949 236.70/236.80 c nbDecision=316500 #constraints=17951 238.60/238.73 c nbDecision=317000 #constraints=18005 239.10/239.28 c nbDecision=317500 #constraints=18013 239.60/239.80 c nbDecision=318000 #constraints=18022 240.10/240.22 c nbDecision=318500 #constraints=18028 242.00/242.18 c nbDecision=319000 #constraints=18077 242.50/242.66 c nbDecision=319500 #constraints=18083 243.10/243.26 c nbDecision=320000 #constraints=18091 243.69/243.80 c nbDecision=320500 #constraints=18100 244.10/244.27 c nbDecision=321000 #constraints=18123 244.39/244.54 c nbDecision=321500 #constraints=18141 244.69/244.83 c nbDecision=322000 #constraints=18149 244.99/245.14 c nbDecision=322500 #constraints=18165 245.59/245.70 c nbDecision=323000 #constraints=18181 245.79/245.97 c nbDecision=323500 #constraints=18184 246.39/246.50 c nbDecision=324000 #constraints=18192 246.89/247.02 c nbDecision=324500 #constraints=18200 247.59/247.70 c nbDecision=325000 #constraints=18211 248.09/248.30 c nbDecision=325500 #constraints=18220 248.99/249.18 c nbDecision=326000 #constraints=18232 249.50/249.67 c nbDecision=326500 #constraints=18238 250.09/250.24 c nbDecision=327000 #constraints=18245 250.79/250.94 c nbDecision=327500 #constraints=18278 251.29/251.47 c nbDecision=328000 #constraints=18284 251.79/251.92 c nbDecision=328500 #constraints=18303 252.19/252.38 c nbDecision=329000 #constraints=18310 253.89/254.07 c nbDecision=329500 #constraints=18343 254.49/254.62 c nbDecision=330000 #constraints=18352 255.59/255.77 c nbDecision=330500 #constraints=18375 256.69/256.84 c nbDecision=331000 #constraints=18396 257.99/258.18 c nbDecision=331500 #constraints=18438 258.69/258.89 c nbDecision=332000 #constraints=18452 258.99/259.10 c nbDecision=332500 #constraints=18463 259.29/259.46 c nbDecision=333000 #constraints=18482 259.99/260.13 c nbDecision=333500 #constraints=18492 260.89/261.09 c nbDecision=334000 #constraints=18503 261.49/261.69 c nbDecision=334500 #constraints=18511 262.59/262.77 c nbDecision=335000 #constraints=18531 263.79/263.93 c nbDecision=335500 #constraints=18552 264.78/264.97 c nbDecision=336000 #constraints=18591 265.99/266.15 c nbDecision=336500 #constraints=18627 266.18/266.35 c nbDecision=337000 #constraints=18639 267.49/267.67 c nbDecision=337500 #constraints=18672 269.29/269.46 c nbDecision=338000 #constraints=18719 269.59/269.72 c nbDecision=338500 #constraints=18731 269.99/270.14 c nbDecision=339000 #constraints=18750 270.89/271.09 c nbDecision=339500 #constraints=18764 271.99/272.10 c nbDecision=340000 #constraints=18789 272.89/273.06 c nbDecision=340500 #constraints=18803 273.59/273.77 c nbDecision=341000 #constraints=18814 273.89/274.01 c nbDecision=341500 #constraints=18819 273.99/274.17 c nbDecision=342000 #constraints=18822 274.19/274.33 c nbDecision=342500 #constraints=18825 274.59/274.73 c nbDecision=343000 #constraints=18832 274.99/275.15 c nbDecision=343500 #constraints=18839 275.29/275.41 c nbDecision=344000 #constraints=18842 275.79/275.99 c nbDecision=344500 #constraints=18852 276.59/276.78 c nbDecision=345000 #constraints=18864 277.19/277.36 c nbDecision=345500 #constraints=18870 279.99/280.13 c nbDecision=346000 #constraints=18926 280.49/280.68 c nbDecision=346500 #constraints=18934 281.79/281.95 c nbDecision=347000 #constraints=18957 281.99/282.17 c nbDecision=347500 #constraints=18959 282.49/282.67 c nbDecision=348000 #constraints=18965 284.98/285.17 c nbDecision=348500 #constraints=19012 287.18/287.34 c nbDecision=349000 #constraints=19052 288.58/288.70 c nbDecision=349500 #constraints=19076 288.78/288.98 c nbDecision=350000 #constraints=19079 289.08/289.26 c nbDecision=350500 #constraints=19082 289.78/289.91 c nbDecision=351000 #constraints=19089 292.08/292.27 c nbDecision=351500 #constraints=19135 292.78/292.92 c nbDecision=352000 #constraints=19144 293.58/293.76 c nbDecision=352500 #constraints=19158 293.88/294.04 c nbDecision=353000 #constraints=19161 294.58/294.73 c nbDecision=353500 #constraints=19172 295.18/295.38 c nbDecision=354000 #constraints=19183 295.68/295.89 c nbDecision=354500 #constraints=19193 296.08/296.26 c nbDecision=355000 #constraints=19202 296.47/296.64 c nbDecision=355500 #constraints=19209 296.78/296.97 c nbDecision=356000 #constraints=19216 298.47/298.68 c nbDecision=356500 #constraints=19279 299.57/299.77 c nbDecision=357000 #constraints=19316 300.97/301.10 c nbDecision=357500 #constraints=19359 301.29/301.49 c nbDecision=358000 #constraints=19380 301.58/301.71 c nbDecision=358500 #constraints=19392 302.98/303.12 c nbDecision=359000 #constraints=19442 304.78/304.94 c nbDecision=359500 #constraints=19496 305.08/305.27 c nbDecision=360000 #constraints=19515 305.78/305.97 c nbDecision=360500 #constraints=19529 306.38/306.59 c nbDecision=361000 #constraints=19536 308.07/308.28 c nbDecision=361500 #constraints=19571 308.37/308.51 c nbDecision=362000 #constraints=19573 309.57/309.72 c nbDecision=362500 #constraints=19592 310.08/310.25 c nbDecision=363000 #constraints=19598 310.47/310.65 c nbDecision=363500 #constraints=19602 311.67/311.80 c nbDecision=364000 #constraints=19622 313.57/313.76 c nbDecision=364500 #constraints=19674 315.67/315.84 c nbDecision=365000 #constraints=19729 316.07/316.27 c nbDecision=365500 #constraints=19745 316.87/317.02 c nbDecision=366000 #constraints=19765 317.87/318.06 c nbDecision=366500 #constraints=19781 319.57/319.76 c nbDecision=367000 #constraints=19831 320.07/320.21 c nbDecision=367500 #constraints=19848 321.37/321.56 c nbDecision=368000 #constraints=19877 321.57/321.77 c nbDecision=368500 #constraints=19885 321.87/322.10 c nbDecision=369000 #constraints=19902 322.57/322.75 c nbDecision=369500 #constraints=19916 322.97/323.16 c nbDecision=370000 #constraints=19920 323.27/323.48 c nbDecision=370500 #constraints=19923 323.57/323.73 c nbDecision=371000 #constraints=19925 324.17/324.39 c nbDecision=371500 #constraints=19938 324.57/324.75 c nbDecision=372000 #constraints=19953 325.07/325.28 c nbDecision=372500 #constraints=19958 326.87/327.01 c nbDecision=373000 #constraints=19981 328.96/329.19 c nbDecision=373500 #constraints=20014 330.06/330.24 c nbDecision=374000 #constraints=20028 330.36/330.52 c nbDecision=374500 #constraints=20030 331.36/331.52 c nbDecision=375000 #constraints=20045 332.76/332.94 c nbDecision=375500 #constraints=20082 335.06/335.22 c nbDecision=376000 #constraints=20118 335.96/336.13 c nbDecision=376500 #constraints=20127 337.96/338.18 c nbDecision=377000 #constraints=20156 338.67/338.85 c nbDecision=377500 #constraints=20163 339.77/339.96 c nbDecision=378000 #constraints=20179 340.37/340.57 c nbDecision=378500 #constraints=20187 341.07/341.30 c nbDecision=379000 #constraints=20197 341.67/341.85 c nbDecision=379500 #constraints=20203 342.17/342.34 c nbDecision=380000 #constraints=20209 342.57/342.75 c nbDecision=380500 #constraints=20213 344.36/344.53 c nbDecision=381000 #constraints=20242 344.86/345.05 c nbDecision=381500 #constraints=20249 345.66/345.85 c nbDecision=382000 #constraints=20258 346.16/346.33 c nbDecision=382500 #constraints=20263 346.76/346.98 c nbDecision=383000 #constraints=20283 347.56/347.78 c nbDecision=383500 #constraints=20294 348.16/348.39 c nbDecision=384000 #constraints=20302 350.86/351.09 c nbDecision=384500 #constraints=20347 351.66/351.86 c nbDecision=385000 #constraints=20358 352.46/352.68 c nbDecision=385500 #constraints=20370 352.76/352.99 c nbDecision=386000 #constraints=20373 353.76/353.90 c nbDecision=386500 #constraints=20390 353.96/354.14 c nbDecision=387000 #constraints=20394 354.36/354.53 c nbDecision=387500 #constraints=20402 354.76/354.93 c nbDecision=388000 #constraints=20409 354.96/355.20 c nbDecision=388500 #constraints=20414 355.46/355.63 c nbDecision=389000 #constraints=20420 356.06/356.21 c nbDecision=389500 #constraints=20431 356.56/356.76 c nbDecision=390000 #constraints=20440 357.06/357.20 c nbDecision=390500 #constraints=20448 357.26/357.41 c nbDecision=391000 #constraints=20451 357.76/357.93 c nbDecision=391500 #constraints=20461 358.16/358.36 c nbDecision=392000 #constraints=20469 358.46/358.67 c nbDecision=392500 #constraints=20475 358.86/359.06 c nbDecision=393000 #constraints=20481 359.06/359.26 c nbDecision=393500 #constraints=20484 359.56/359.71 c nbDecision=394000 #constraints=20490 359.86/360.03 c nbDecision=394500 #constraints=20495 360.36/360.55 c nbDecision=395000 #constraints=20507 360.56/360.73 c nbDecision=395500 #constraints=20510 360.76/360.91 c nbDecision=396000 #constraints=20513 361.16/361.30 c nbDecision=396500 #constraints=20517 362.55/362.78 c nbDecision=397000 #constraints=20539 363.65/363.86 c nbDecision=397500 #constraints=20551 364.55/364.76 c nbDecision=398000 #constraints=20562 367.95/368.18 c nbDecision=398500 #constraints=20627 369.15/369.34 c nbDecision=399000 #constraints=20640 369.35/369.59 c nbDecision=399500 #constraints=20642 371.85/372.06 c nbDecision=400000 #constraints=20682 372.35/372.57 c nbDecision=400500 #constraints=20689 372.85/373.00 c nbDecision=401000 #constraints=20694 373.45/373.65 c nbDecision=401500 #constraints=20706 373.75/373.99 c nbDecision=402000 #constraints=20710 375.65/375.87 c nbDecision=402500 #constraints=20737 378.35/378.54 c nbDecision=403000 #constraints=20777 379.84/380.03 c nbDecision=403500 #constraints=20798 380.45/380.67 c nbDecision=404000 #constraints=20805 380.84/381.03 c nbDecision=404500 #constraints=20808 381.34/381.59 c nbDecision=405000 #constraints=20835 381.74/381.95 c nbDecision=405500 #constraints=20847 382.14/382.40 c nbDecision=406000 #constraints=20866 384.25/384.47 c nbDecision=406500 #constraints=20903 387.85/388.07 c nbDecision=407000 #constraints=20984 392.55/392.75 c nbDecision=407500 #constraints=21078 392.95/393.16 c nbDecision=408000 #constraints=21089 393.95/394.17 c nbDecision=408500 #constraints=21103 395.14/395.37 c nbDecision=409000 #constraints=21124 395.94/396.15 c nbDecision=409500 #constraints=21131 395.94/396.17 c restart after 409601 decisions 396.24/396.47 c nbDecision=410000 #constraints=21131 396.44/396.65 c nbDecision=410500 #constraints=21131 396.64/396.80 c nbDecision=411000 #constraints=21131 396.74/396.94 c nbDecision=411500 #constraints=21131 396.95/397.19 c nbDecision=412000 #constraints=21132 398.64/398.84 c nbDecision=412500 #constraints=21151 399.44/399.66 c nbDecision=413000 #constraints=21160 399.74/399.91 c nbDecision=413500 #constraints=21163 399.84/400.06 c nbDecision=414000 #constraints=21165 400.04/400.23 c nbDecision=414500 #constraints=21168 400.15/400.38 c nbDecision=415000 #constraints=21170 400.54/400.79 c nbDecision=415500 #constraints=21177 400.74/400.98 c nbDecision=416000 #constraints=21180 400.94/401.15 c nbDecision=416500 #constraints=21182 402.24/402.48 c nbDecision=417000 #constraints=21202 402.94/403.15 c nbDecision=417500 #constraints=21208 404.04/404.27 c nbDecision=418000 #constraints=21218 404.64/404.81 c nbDecision=418500 #constraints=21222 405.34/405.53 c nbDecision=419000 #constraints=21233 405.94/406.17 c nbDecision=419500 #constraints=21247 406.74/406.91 c nbDecision=420000 #constraints=21267 407.04/407.23 c nbDecision=420500 #constraints=21273 407.84/408.03 c nbDecision=421000 #constraints=21283 408.84/409.05 c nbDecision=421500 #constraints=21294 409.04/409.26 c nbDecision=422000 #constraints=21297 409.73/409.94 c nbDecision=422500 #constraints=21311 410.53/410.75 c nbDecision=423000 #constraints=21319 410.73/410.95 c nbDecision=423500 #constraints=21322 410.93/411.17 c nbDecision=424000 #constraints=21325 411.24/411.45 c nbDecision=424500 #constraints=21329 411.43/411.68 c nbDecision=425000 #constraints=21332 411.93/412.14 c nbDecision=425500 #constraints=21338 412.63/412.89 c nbDecision=426000 #constraints=21345 413.44/413.67 c nbDecision=426500 #constraints=21352 413.63/413.87 c nbDecision=427000 #constraints=21355 414.93/415.11 c nbDecision=427500 #constraints=21368 415.63/415.82 c nbDecision=428000 #constraints=21378 416.23/416.40 c nbDecision=428500 #constraints=21389 417.33/417.53 c nbDecision=429000 #constraints=21411 417.63/417.80 c nbDecision=429500 #constraints=21415 417.73/417.95 c nbDecision=430000 #constraints=21417 417.83/418.08 c nbDecision=430500 #constraints=21419 418.53/418.72 c nbDecision=431000 #constraints=21425 419.23/419.46 c nbDecision=431500 #constraints=21434 419.93/420.17 c nbDecision=432000 #constraints=21442 421.23/421.49 c nbDecision=432500 #constraints=21457 421.83/422.04 c nbDecision=433000 #constraints=21463 422.33/422.51 c nbDecision=433500 #constraints=21467 422.93/423.10 c nbDecision=434000 #constraints=21475 423.53/423.78 c nbDecision=434500 #constraints=21482 424.93/425.19 c nbDecision=435000 #constraints=21500 425.63/425.80 c nbDecision=435500 #constraints=21507 426.03/426.21 c nbDecision=436000 #constraints=21512 426.83/427.06 c nbDecision=436500 #constraints=21521 427.53/427.77 c nbDecision=437000 #constraints=21529 428.12/428.37 c nbDecision=437500 #constraints=21534 429.02/429.23 c nbDecision=438000 #constraints=21544 429.83/430.08 c nbDecision=438500 #constraints=21552 430.02/430.28 c nbDecision=439000 #constraints=21554 430.82/431.09 c nbDecision=439500 #constraints=21564 431.22/431.44 c nbDecision=440000 #constraints=21567 432.52/432.79 c nbDecision=440500 #constraints=21584 433.13/433.39 c nbDecision=441000 #constraints=21589 433.82/434.02 c nbDecision=441500 #constraints=21596 434.12/434.34 c nbDecision=442000 #constraints=21599 434.72/434.92 c nbDecision=442500 #constraints=21605 434.92/435.19 c nbDecision=443000 #constraints=21608 436.02/436.21 c nbDecision=443500 #constraints=21617 436.52/436.73 c nbDecision=444000 #constraints=21624 437.72/438.00 c nbDecision=444500 #constraints=21637 438.32/438.58 c nbDecision=445000 #constraints=21644 438.92/439.10 c nbDecision=445500 #constraints=21651 439.72/439.96 c nbDecision=446000 #constraints=21658 440.42/440.69 c nbDecision=446500 #constraints=21667 440.92/441.10 c nbDecision=447000 #constraints=21670 441.92/442.16 c nbDecision=447500 #constraints=21685 442.42/442.66 c nbDecision=448000 #constraints=21689 442.72/442.98 c nbDecision=448500 #constraints=21692 444.01/444.27 c nbDecision=449000 #constraints=21708 444.61/444.84 c nbDecision=449500 #constraints=21713 445.41/445.67 c nbDecision=450000 #constraints=21720 446.11/446.31 c nbDecision=450500 #constraints=21726 446.51/446.74 c nbDecision=451000 #constraints=21732 446.91/447.17 c nbDecision=451500 #constraints=21736 447.61/447.82 c nbDecision=452000 #constraints=21741 447.91/448.13 c nbDecision=452500 #constraints=21743 449.21/449.43 c nbDecision=453000 #constraints=21759 450.61/450.81 c nbDecision=453500 #constraints=21779 452.21/452.43 c nbDecision=454000 #constraints=21801 453.61/453.83 c nbDecision=454500 #constraints=21817 453.91/454.16 c nbDecision=455000 #constraints=21820 455.21/455.49 c nbDecision=455500 #constraints=21837 456.21/456.48 c nbDecision=456000 #constraints=21847 457.21/457.45 c nbDecision=456500 #constraints=21860 457.61/457.86 c nbDecision=457000 #constraints=21872 457.91/458.16 c nbDecision=457500 #constraints=21878 459.51/459.77 c nbDecision=458000 #constraints=21898 460.31/460.57 c nbDecision=458500 #constraints=21907 462.11/462.40 c nbDecision=459000 #constraints=21930 462.71/462.98 c nbDecision=459500 #constraints=21936 464.50/464.76 c nbDecision=460000 #constraints=21953 464.90/465.11 c nbDecision=460500 #constraints=21956 466.71/466.98 c nbDecision=461000 #constraints=21981 467.01/467.24 c nbDecision=461500 #constraints=21989 467.11/467.37 c nbDecision=462000 #constraints=21993 467.31/467.59 c nbDecision=462500 #constraints=22000 468.11/468.37 c nbDecision=463000 #constraints=22013 468.71/468.99 c nbDecision=463500 #constraints=22024 469.41/469.61 c nbDecision=464000 #constraints=22030 469.51/469.77 c nbDecision=464500 #constraints=22032 469.71/469.94 c nbDecision=465000 #constraints=22035 469.91/470.12 c nbDecision=465500 #constraints=22039 470.11/470.30 c nbDecision=466000 #constraints=22042 470.21/470.43 c nbDecision=466500 #constraints=22043 470.31/470.57 c nbDecision=467000 #constraints=22047 471.51/471.80 c nbDecision=467500 #constraints=22063 472.81/473.07 c nbDecision=468000 #constraints=22077 474.00/474.26 c nbDecision=468500 #constraints=22090 474.20/474.44 c nbDecision=469000 #constraints=22091 474.91/475.19 c nbDecision=469500 #constraints=22098 476.01/476.29 c nbDecision=470000 #constraints=22106 476.70/476.98 c nbDecision=470500 #constraints=22111 477.11/477.31 c nbDecision=471000 #constraints=22117 477.90/478.18 c nbDecision=471500 #constraints=22125 478.90/479.13 c nbDecision=472000 #constraints=22132 480.00/480.20 c nbDecision=472500 #constraints=22140 480.40/480.69 c nbDecision=473000 #constraints=22144 481.40/481.64 c nbDecision=473500 #constraints=22154 482.20/482.45 c nbDecision=474000 #constraints=22161 483.30/483.53 c nbDecision=474500 #constraints=22176 484.60/484.87 c nbDecision=475000 #constraints=22199 486.20/486.45 c nbDecision=475500 #constraints=22217 486.50/486.75 c nbDecision=476000 #constraints=22219 487.59/487.81 c nbDecision=476500 #constraints=22232 488.10/488.31 c nbDecision=477000 #constraints=22237 488.69/488.99 c nbDecision=477500 #constraints=22247 489.09/489.36 c nbDecision=478000 #constraints=22250 489.99/490.21 c nbDecision=478500 #constraints=22260 490.30/490.54 c nbDecision=479000 #constraints=22262 490.69/490.91 c nbDecision=479500 #constraints=22264 490.79/491.05 c nbDecision=480000 #constraints=22264 491.59/491.83 c nbDecision=480500 #constraints=22270 492.09/492.40 c nbDecision=481000 #constraints=22274 492.99/493.22 c nbDecision=481500 #constraints=22280 493.69/493.99 c nbDecision=482000 #constraints=22293 494.59/494.86 c nbDecision=482500 #constraints=22304 494.89/495.16 c nbDecision=483000 #constraints=22306 495.39/495.60 c nbDecision=483500 #constraints=22310 495.59/495.83 c nbDecision=484000 #constraints=22311 495.99/496.28 c nbDecision=484500 #constraints=22314 496.59/496.81 c nbDecision=485000 #constraints=22320 496.89/497.10 c nbDecision=485500 #constraints=22329 497.09/497.35 c nbDecision=486000 #constraints=22339 497.29/497.56 c nbDecision=486500 #constraints=22348 497.49/497.73 c nbDecision=487000 #constraints=22351 497.59/497.85 c nbDecision=487500 #constraints=22352 497.69/497.98 c nbDecision=488000 #constraints=22354 497.89/498.18 c nbDecision=488500 #constraints=22356 498.19/498.45 c nbDecision=489000 #constraints=22360 498.39/498.65 c nbDecision=489500 #constraints=22368 498.59/498.84 c nbDecision=490000 #constraints=22374 498.89/499.17 c nbDecision=490500 #constraints=22378 499.79/500.02 c nbDecision=491000 #constraints=22400 501.49/501.70 c nbDecision=491500 #constraints=22425 501.79/502.09 c nbDecision=492000 #constraints=22434 502.09/502.35 c nbDecision=492500 #constraints=22437 502.29/502.53 c nbDecision=493000 #constraints=22438 502.50/502.75 c nbDecision=493500 #constraints=22439 502.69/502.91 c nbDecision=494000 #constraints=22440 502.79/503.03 c nbDecision=494500 #constraints=22440 503.09/503.35 c nbDecision=495000 #constraints=22445 503.29/503.56 c nbDecision=495500 #constraints=22446 503.49/503.73 c nbDecision=496000 #constraints=22447 503.69/503.93 c nbDecision=496500 #constraints=22448 503.79/504.05 c nbDecision=497000 #constraints=22448 503.99/504.22 c nbDecision=497500 #constraints=22449 504.29/504.57 c nbDecision=498000 #constraints=22451 504.69/504.91 c nbDecision=498500 #constraints=22454 505.89/506.13 c nbDecision=499000 #constraints=22468 505.99/506.29 c nbDecision=499500 #constraints=22470 507.29/507.57 c nbDecision=500000 #constraints=22491 508.39/508.60 c nbDecision=500500 #constraints=22509 508.59/508.89 c nbDecision=501000 #constraints=22515 509.29/509.58 c nbDecision=501500 #constraints=22523 510.09/510.34 c nbDecision=502000 #constraints=22531 511.09/511.38 c nbDecision=502500 #constraints=22542 512.19/512.45 c nbDecision=503000 #constraints=22553 512.89/513.18 c nbDecision=503500 #constraints=22560 513.78/514.09 c nbDecision=504000 #constraints=22570 514.59/514.87 c nbDecision=504500 #constraints=22579 514.98/515.20 c nbDecision=505000 #constraints=22582 515.69/515.99 c nbDecision=505500 #constraints=22590 516.88/517.16 c nbDecision=506000 #constraints=22611 517.38/517.68 c nbDecision=506500 #constraints=22620 518.18/518.44 c nbDecision=507000 #constraints=22628 518.89/519.11 c nbDecision=507500 #constraints=22635 519.28/519.59 c nbDecision=508000 #constraints=22640 520.18/520.42 c nbDecision=508500 #constraints=22658 520.78/521.00 c nbDecision=509000 #constraints=22664 522.38/522.65 c nbDecision=509500 #constraints=22680 522.98/523.26 c nbDecision=510000 #constraints=22686 523.68/523.93 c nbDecision=510500 #constraints=22693 524.68/524.91 c nbDecision=511000 #constraints=22703 525.38/525.63 c nbDecision=511500 #constraints=22710 526.38/526.66 c nbDecision=512000 #constraints=22721 526.58/526.82 c nbDecision=512500 #constraints=22723 527.38/527.65 c nbDecision=513000 #constraints=22740 527.58/527.85 c nbDecision=513500 #constraints=22743 527.78/528.05 c nbDecision=514000 #constraints=22746 528.58/528.83 c nbDecision=514500 #constraints=22758 529.28/529.50 c nbDecision=515000 #constraints=22765 530.68/530.92 c nbDecision=515500 #constraints=22780 531.38/531.66 c nbDecision=516000 #constraints=22794 531.68/531.98 c nbDecision=516500 #constraints=22799 532.88/533.12 c nbDecision=517000 #constraints=22823 533.77/534.09 c nbDecision=517500 #constraints=22838 534.07/534.34 c nbDecision=518000 #constraints=22840 534.57/534.89 c nbDecision=518500 #constraints=22855 534.87/535.19 c nbDecision=519000 #constraints=22862 535.38/535.66 c nbDecision=519500 #constraints=22868 535.67/535.93 c nbDecision=520000 #constraints=22870 535.97/536.20 c nbDecision=520500 #constraints=22874 536.58/536.84 c nbDecision=521000 #constraints=22890 537.07/537.30 c nbDecision=521500 #constraints=22897 538.17/538.49 c nbDecision=522000 #constraints=22928 538.57/538.87 c nbDecision=522500 #constraints=22944 539.07/539.37 c nbDecision=523000 #constraints=22961 539.37/539.68 c nbDecision=523500 #constraints=22963 540.07/540.38 c nbDecision=524000 #constraints=22968 540.57/540.88 c nbDecision=524500 #constraints=22972 541.47/541.74 c nbDecision=525000 #constraints=22983 542.67/542.91 c nbDecision=525500 #constraints=22995 543.97/544.27 c nbDecision=526000 #constraints=23011 546.47/546.74 c nbDecision=526500 #constraints=23045 547.27/547.54 c nbDecision=527000 #constraints=23054 547.77/548.02 c nbDecision=527500 #constraints=23059 548.67/548.95 c nbDecision=528000 #constraints=23069 549.46/549.75 c nbDecision=528500 #constraints=23076 549.67/549.99 c nbDecision=529000 #constraints=23086 549.86/550.11 c nbDecision=529500 #constraints=23089 549.96/550.24 c nbDecision=530000 #constraints=23092 550.36/550.68 c nbDecision=530500 #constraints=23100 550.56/550.83 c nbDecision=531000 #constraints=23100 550.87/551.15 c nbDecision=531500 #constraints=23103 551.36/551.68 c nbDecision=532000 #constraints=23119 551.66/551.99 c nbDecision=532500 #constraints=23122 553.56/553.87 c nbDecision=533000 #constraints=23144 554.36/554.62 c nbDecision=533500 #constraints=23150 556.27/556.56 c nbDecision=534000 #constraints=23171 557.36/557.64 c nbDecision=534500 #constraints=23180 558.16/558.43 c nbDecision=535000 #constraints=23186 559.56/559.85 c nbDecision=535500 #constraints=23207 560.76/561.08 c nbDecision=536000 #constraints=23223 561.16/561.48 c nbDecision=536500 #constraints=23227 561.86/562.11 c nbDecision=537000 #constraints=23232 562.36/562.69 c nbDecision=537500 #constraints=23238 563.36/563.67 c nbDecision=538000 #constraints=23250 564.66/565.00 c nbDecision=538500 #constraints=23267 567.56/567.88 c nbDecision=539000 #constraints=23308 568.06/568.32 c nbDecision=539500 #constraints=23322 568.56/568.82 c nbDecision=540000 #constraints=23336 569.26/569.52 c nbDecision=540500 #constraints=23344 569.86/570.16 c nbDecision=541000 #constraints=23364 570.26/570.53 c nbDecision=541500 #constraints=23367 573.16/573.47 c nbDecision=542000 #constraints=23404 573.86/574.12 c nbDecision=542500 #constraints=23410 574.46/574.70 c nbDecision=543000 #constraints=23414 574.86/575.17 c nbDecision=543500 #constraints=23418 575.26/575.51 c nbDecision=544000 #constraints=23421 576.66/576.99 c nbDecision=544500 #constraints=23437 576.86/577.16 c nbDecision=545000 #constraints=23439 577.56/577.80 c nbDecision=545500 #constraints=23451 577.86/578.14 c nbDecision=546000 #constraints=23454 578.56/578.88 c nbDecision=546500 #constraints=23462 579.66/579.90 c nbDecision=547000 #constraints=23474 580.26/580.51 c nbDecision=547500 #constraints=23479 581.96/582.27 c nbDecision=548000 #constraints=23500 583.16/583.40 c nbDecision=548500 #constraints=23512 585.15/585.49 c nbDecision=549000 #constraints=23540 586.06/586.34 c nbDecision=549500 #constraints=23550 586.55/586.83 c nbDecision=550000 #constraints=23554 587.25/587.60 c nbDecision=550500 #constraints=23568 588.16/588.50 c nbDecision=551000 #constraints=23578 588.35/588.65 c nbDecision=551500 #constraints=23578 589.65/589.94 c nbDecision=552000 #constraints=23594 591.05/591.32 c nbDecision=552500 #constraints=23613 591.56/591.84 c nbDecision=553000 #constraints=23617 591.85/592.15 c nbDecision=553500 #constraints=23620 592.35/592.65 c nbDecision=554000 #constraints=23639 592.65/592.95 c nbDecision=554500 #constraints=23647 593.15/593.45 c nbDecision=555000 #constraints=23660 594.35/594.66 c nbDecision=555500 #constraints=23676 596.25/596.55 c nbDecision=556000 #constraints=23701 597.55/597.81 c nbDecision=556500 #constraints=23715 600.35/600.60 c nbDecision=557000 #constraints=23753 600.64/600.95 c nbDecision=557500 #constraints=23756 602.14/602.42 c nbDecision=558000 #constraints=23774 602.24/602.59 c nbDecision=558500 #constraints=23776 602.74/603.02 c nbDecision=559000 #constraints=23782 603.94/604.26 c nbDecision=559500 #constraints=23796 604.65/604.96 c nbDecision=560000 #constraints=23804 605.54/605.85 c nbDecision=560500 #constraints=23832 605.84/606.18 c nbDecision=561000 #constraints=23841 606.84/607.13 c nbDecision=561500 #constraints=23863 607.24/607.55 c nbDecision=562000 #constraints=23867 608.54/608.84 c nbDecision=562500 #constraints=23882 611.14/611.44 c nbDecision=563000 #constraints=23917 611.34/611.68 c nbDecision=563500 #constraints=23919 612.14/612.47 c nbDecision=564000 #constraints=23928 612.64/612.99 c nbDecision=564500 #constraints=23933 614.44/614.70 c nbDecision=565000 #constraints=23957 615.04/615.38 c nbDecision=565500 #constraints=23964 615.64/615.96 c nbDecision=566000 #constraints=23970 615.93/616.29 c nbDecision=566500 #constraints=23984 616.34/616.68 c nbDecision=567000 #constraints=23989 617.04/617.38 c nbDecision=567500 #constraints=23996 618.04/618.39 c nbDecision=568000 #constraints=24013 619.05/619.30 c nbDecision=568500 #constraints=24026 619.54/619.80 c nbDecision=569000 #constraints=24039 623.34/623.61 c nbDecision=569500 #constraints=24098 625.14/625.42 c nbDecision=570000 #constraints=24129 626.94/627.28 c nbDecision=570500 #constraints=24151 627.74/628.00 c nbDecision=571000 #constraints=24159 628.14/628.46 c nbDecision=571500 #constraints=24163 628.84/629.12 c nbDecision=572000 #constraints=24167 629.74/630.01 c nbDecision=572500 #constraints=24173 630.44/630.79 c nbDecision=573000 #constraints=24179 630.64/630.92 c nbDecision=573500 #constraints=24179 631.04/631.31 c nbDecision=574000 #constraints=24182 631.34/631.66 c nbDecision=574500 #constraints=24185 632.24/632.58 c nbDecision=575000 #constraints=24195 633.84/634.15 c nbDecision=575500 #constraints=24214 634.54/634.86 c nbDecision=576000 #constraints=24221 635.14/635.47 c nbDecision=576500 #constraints=24227 635.54/635.88 c nbDecision=577000 #constraints=24231 636.04/636.31 c nbDecision=577500 #constraints=24234 636.54/636.89 c nbDecision=578000 #constraints=24251 637.54/637.89 c nbDecision=578500 #constraints=24264 637.94/638.25 c nbDecision=579000 #constraints=24275 638.24/638.55 c nbDecision=579500 #constraints=24290 638.33/638.68 c nbDecision=580000 #constraints=24293 638.63/638.93 c nbDecision=580500 #constraints=24303 638.93/639.22 c nbDecision=581000 #constraints=24310 639.33/639.67 c nbDecision=581500 #constraints=24317 639.84/640.13 c nbDecision=582000 #constraints=24329 640.03/640.39 c nbDecision=582500 #constraints=24339 640.23/640.54 c nbDecision=583000 #constraints=24343 640.73/641.04 c nbDecision=583500 #constraints=24348 642.23/642.57 c nbDecision=584000 #constraints=24365 643.63/643.92 c nbDecision=584500 #constraints=24382 643.93/644.23 c nbDecision=585000 #constraints=24384 644.73/645.06 c nbDecision=585500 #constraints=24392 645.44/645.79 c nbDecision=586000 #constraints=24413 646.23/646.51 c nbDecision=586500 #constraints=24437 646.63/646.94 c nbDecision=587000 #constraints=24444 647.03/647.38 c nbDecision=587500 #constraints=24462 647.54/647.81 c nbDecision=588000 #constraints=24472 647.93/648.26 c nbDecision=588500 #constraints=24484 648.53/648.84 c nbDecision=589000 #constraints=24495 648.83/649.16 c nbDecision=589500 #constraints=24505 649.13/649.44 c nbDecision=590000 #constraints=24508 650.83/651.20 c nbDecision=590500 #constraints=24548 651.43/651.79 c nbDecision=591000 #constraints=24561 651.63/652.00 c nbDecision=591500 #constraints=24562 651.83/652.11 c nbDecision=592000 #constraints=24562 653.63/653.95 c nbDecision=592500 #constraints=24594 653.83/654.10 c nbDecision=593000 #constraints=24595 654.03/654.33 c nbDecision=593500 #constraints=24596 654.13/654.44 c nbDecision=594000 #constraints=24596 655.53/655.88 c nbDecision=594500 #constraints=24615 656.43/656.74 c nbDecision=595000 #constraints=24624 656.72/657.02 c nbDecision=595500 #constraints=24626 656.82/657.16 c nbDecision=596000 #constraints=24627 656.92/657.27 c nbDecision=596500 #constraints=24627 658.22/658.55 c nbDecision=597000 #constraints=24648 658.42/658.77 c nbDecision=597500 #constraints=24651 659.22/659.57 c nbDecision=598000 #constraints=24672 659.52/659.82 c nbDecision=598500 #constraints=24677 659.82/660.13 c nbDecision=599000 #constraints=24689 659.92/660.25 c nbDecision=599500 #constraints=24692 660.02/660.39 c nbDecision=600000 #constraints=24696 660.22/660.56 c nbDecision=600500 #constraints=24698 660.52/660.83 c nbDecision=601000 #constraints=24700 660.72/661.05 c nbDecision=601500 #constraints=24701 660.82/661.18 c nbDecision=602000 #constraints=24702 660.92/661.29 c nbDecision=602500 #constraints=24702 661.12/661.42 c nbDecision=603000 #constraints=24703 661.22/661.55 c nbDecision=603500 #constraints=24704 661.32/661.68 c nbDecision=604000 #constraints=24705 661.52/661.81 c nbDecision=604500 #constraints=24706 661.62/661.92 c nbDecision=605000 #constraints=24706 661.72/662.08 c nbDecision=605500 #constraints=24710 661.92/662.25 c nbDecision=606000 #constraints=24716 662.02/662.36 c nbDecision=606500 #constraints=24716 662.12/662.48 c nbDecision=607000 #constraints=24717 662.32/662.61 c nbDecision=607500 #constraints=24718 662.42/662.72 c nbDecision=608000 #constraints=24718 662.52/662.84 c nbDecision=608500 #constraints=24719 662.62/662.97 c nbDecision=609000 #constraints=24720 662.72/663.08 c nbDecision=609500 #constraints=24720 663.62/663.92 c nbDecision=610000 #constraints=24724 663.92/664.24 c nbDecision=610500 #constraints=24725 664.72/665.09 c nbDecision=611000 #constraints=24737 665.32/665.61 c nbDecision=611500 #constraints=24743 666.52/666.80 c nbDecision=612000 #constraints=24756 667.12/667.44 c nbDecision=612500 #constraints=24763 668.32/668.64 c nbDecision=613000 #constraints=24776 669.52/669.81 c nbDecision=613500 #constraints=24787 670.81/671.15 c nbDecision=614000 #constraints=24800 672.82/673.16 c nbDecision=614500 #constraints=24818 673.51/673.86 c nbDecision=615000 #constraints=24824 674.91/675.27 c nbDecision=615500 #constraints=24836 675.51/675.88 c nbDecision=616000 #constraints=24844 676.41/676.79 c nbDecision=616500 #constraints=24855 677.01/677.32 c nbDecision=617000 #constraints=24860 678.51/678.83 c nbDecision=617500 #constraints=24873 679.51/679.85 c nbDecision=618000 #constraints=24884 680.21/680.58 c nbDecision=618500 #constraints=24892 681.41/681.74 c nbDecision=619000 #constraints=24903 682.31/682.63 c nbDecision=619500 #constraints=24910 683.81/684.14 c nbDecision=620000 #constraints=24923 684.01/684.30 c nbDecision=620500 #constraints=24925 684.61/684.99 c nbDecision=621000 #constraints=24937 684.91/685.25 c nbDecision=621500 #constraints=24945 685.11/685.47 c nbDecision=622000 #constraints=24954 685.21/685.59 c nbDecision=622500 #constraints=24955 685.41/685.72 c nbDecision=623000 #constraints=24957 686.01/686.30 c nbDecision=623500 #constraints=24962 686.31/686.69 c nbDecision=624000 #constraints=24965 687.21/687.57 c nbDecision=624500 #constraints=24971 687.51/687.82 c nbDecision=625000 #constraints=24978 688.70/689.03 c nbDecision=625500 #constraints=24989 689.80/690.11 c nbDecision=626000 #constraints=24995 689.90/690.27 c nbDecision=626500 #constraints=24997 690.30/690.61 c nbDecision=627000 #constraints=25004 691.30/691.67 c nbDecision=627500 #constraints=25013 692.00/692.35 c nbDecision=628000 #constraints=25021 692.61/692.95 c nbDecision=628500 #constraints=25037 693.90/694.25 c nbDecision=629000 #constraints=25051 694.40/694.77 c nbDecision=629500 #constraints=25056 695.50/695.80 c nbDecision=630000 #constraints=25067 696.50/696.81 c nbDecision=630500 #constraints=25081 698.00/698.34 c nbDecision=631000 #constraints=25093 698.30/698.67 c nbDecision=631500 #constraints=25096 699.50/699.88 c nbDecision=632000 #constraints=25109 700.10/700.50 c nbDecision=632500 #constraints=25133 700.40/700.77 c nbDecision=633000 #constraints=25140 702.10/702.43 c nbDecision=633500 #constraints=25158 704.11/704.49 c nbDecision=634000 #constraints=25181 704.91/705.29 c nbDecision=634500 #constraints=25191 706.51/706.85 c nbDecision=635000 #constraints=25207 706.81/707.13 c nbDecision=635500 #constraints=25209 708.60/708.98 c nbDecision=636000 #constraints=25231 709.50/709.83 c nbDecision=636500 #constraints=25237 709.90/710.22 c nbDecision=637000 #constraints=25249 710.70/711.02 c nbDecision=637500 #constraints=25258 711.10/711.43 c nbDecision=638000 #constraints=25268 711.70/712.02 c nbDecision=638500 #constraints=25277 712.00/712.35 c nbDecision=639000 #constraints=25286 712.90/713.28 c nbDecision=639500 #constraints=25298 713.20/713.56 c nbDecision=640000 #constraints=25306 713.60/713.94 c nbDecision=640500 #constraints=25314 715.10/715.43 c nbDecision=641000 #constraints=25326 716.70/717.06 c nbDecision=641500 #constraints=25341 718.00/718.38 c nbDecision=642000 #constraints=25352 718.70/719.03 c nbDecision=642500 #constraints=25357 719.30/719.68 c nbDecision=643000 #constraints=25363 720.60/720.92 c nbDecision=643500 #constraints=25373 721.90/722.23 c nbDecision=644000 #constraints=25385 722.30/722.64 c nbDecision=644500 #constraints=25389 722.80/723.19 c nbDecision=645000 #constraints=25408 723.40/723.75 c nbDecision=645500 #constraints=25427 723.70/724.01 c nbDecision=646000 #constraints=25434 723.99/724.33 c nbDecision=646500 #constraints=25442 724.50/724.86 c nbDecision=647000 #constraints=25466 725.29/725.66 c nbDecision=647500 #constraints=25494 725.79/726.12 c nbDecision=648000 #constraints=25503 726.09/726.40 c nbDecision=648500 #constraints=25508 726.39/726.75 c nbDecision=649000 #constraints=25511 726.70/727.01 c nbDecision=649500 #constraints=25518 726.80/727.13 c nbDecision=650000 #constraints=25521 727.59/727.95 c nbDecision=650500 #constraints=25527 728.09/728.46 c nbDecision=651000 #constraints=25531 729.09/729.48 c nbDecision=651500 #constraints=25540 729.79/730.14 c nbDecision=652000 #constraints=25544 730.49/730.89 c nbDecision=652500 #constraints=25550 732.09/732.41 c nbDecision=653000 #constraints=25561 732.79/733.10 c nbDecision=653500 #constraints=25565 732.99/733.34 c nbDecision=654000 #constraints=25566 733.29/733.61 c nbDecision=654500 #constraints=25567 734.09/734.46 c nbDecision=655000 #constraints=25577 734.59/734.97 c nbDecision=655500 #constraints=25581 735.09/735.46 c nbDecision=656000 #constraints=25590 735.39/735.77 c nbDecision=656500 #constraints=25600 735.69/736.00 c nbDecision=657000 #constraints=25603 735.99/736.33 c nbDecision=657500 #constraints=25618 736.69/737.01 c nbDecision=658000 #constraints=25629 736.88/737.21 c nbDecision=658500 #constraints=25632 737.08/737.43 c nbDecision=659000 #constraints=25638 737.18/737.55 c nbDecision=659500 #constraints=25639 737.69/738.03 c nbDecision=660000 #constraints=25644 738.18/738.58 c nbDecision=660500 #constraints=25649 738.79/739.14 c nbDecision=661000 #constraints=25654 739.28/739.62 c nbDecision=661500 #constraints=25664 739.58/739.90 c nbDecision=662000 #constraints=25671 739.88/740.23 c nbDecision=662500 #constraints=25674 741.28/741.65 c nbDecision=663000 #constraints=25687 741.38/741.79 c nbDecision=663500 #constraints=25687 742.18/742.58 c nbDecision=664000 #constraints=25692 742.78/743.12 c nbDecision=664500 #constraints=25712 742.88/743.26 c nbDecision=665000 #constraints=25716 743.58/743.95 c nbDecision=665500 #constraints=25729 744.08/744.44 c nbDecision=666000 #constraints=25737 744.38/744.75 c nbDecision=666500 #constraints=25750 744.69/745.09 c nbDecision=667000 #constraints=25762 744.89/745.25 c nbDecision=667500 #constraints=25764 745.18/745.51 c nbDecision=668000 #constraints=25768 745.78/746.13 c nbDecision=668500 #constraints=25790 746.08/746.49 c nbDecision=669000 #constraints=25795 746.78/747.11 c nbDecision=669500 #constraints=25800 746.88/747.23 c nbDecision=670000 #constraints=25800 747.38/747.70 c nbDecision=670500 #constraints=25813 747.59/747.94 c nbDecision=671000 #constraints=25822 748.08/748.43 c nbDecision=671500 #constraints=25836 748.18/748.54 c nbDecision=672000 #constraints=25836 748.98/749.33 c nbDecision=672500 #constraints=25856 749.38/749.75 c nbDecision=673000 #constraints=25859 749.79/750.18 c nbDecision=673500 #constraints=25868 750.08/750.41 c nbDecision=674000 #constraints=25869 750.18/750.52 c nbDecision=674500 #constraints=25869 750.38/750.74 c nbDecision=675000 #constraints=25870 750.58/750.94 c nbDecision=675500 #constraints=25871 750.78/751.19 c nbDecision=676000 #constraints=25877 751.58/751.97 c nbDecision=676500 #constraints=25894 751.78/752.19 c nbDecision=677000 #constraints=25899 752.09/752.42 c nbDecision=677500 #constraints=25907 752.88/753.28 c nbDecision=678000 #constraints=25912 753.19/753.53 c nbDecision=678500 #constraints=25914 753.38/753.72 c nbDecision=679000 #constraints=25915 753.58/753.90 c nbDecision=679500 #constraints=25916 753.68/754.09 c nbDecision=680000 #constraints=25917 753.88/754.28 c nbDecision=680500 #constraints=25918 754.08/754.48 c nbDecision=681000 #constraints=25919 754.38/754.76 c nbDecision=681500 #constraints=25921 754.48/754.88 c nbDecision=682000 #constraints=25921 755.98/756.37 c nbDecision=682500 #constraints=25938 756.28/756.64 c nbDecision=683000 #constraints=25940 756.68/757.00 c nbDecision=683500 #constraints=25943 756.98/757.33 c nbDecision=684000 #constraints=25945 757.18/757.52 c nbDecision=684500 #constraints=25946 757.58/757.91 c nbDecision=685000 #constraints=25948 757.78/758.17 c nbDecision=685500 #constraints=25949 757.98/758.37 c nbDecision=686000 #constraints=25950 758.28/758.66 c nbDecision=686500 #constraints=25952 758.48/758.86 c nbDecision=687000 #constraints=25953 758.68/759.06 c nbDecision=687500 #constraints=25954 758.88/759.27 c nbDecision=688000 #constraints=25955 759.08/759.47 c nbDecision=688500 #constraints=25956 759.28/759.69 c nbDecision=689000 #constraints=25957 759.58/759.90 c nbDecision=689500 #constraints=25958 759.68/760.09 c nbDecision=690000 #constraints=25959 759.98/760.30 c nbDecision=690500 #constraints=25960 760.18/760.50 c nbDecision=691000 #constraints=25961 760.28/760.62 c nbDecision=691500 #constraints=25961 760.48/760.81 c nbDecision=692000 #constraints=25962 760.68/761.01 c nbDecision=692500 #constraints=25963 760.88/761.21 c nbDecision=693000 #constraints=25964 761.08/761.42 c nbDecision=693500 #constraints=25965 761.28/761.62 c nbDecision=694000 #constraints=25966 761.38/761.73 c nbDecision=694500 #constraints=25966 761.58/761.93 c nbDecision=695000 #constraints=25967 762.58/762.99 c nbDecision=695500 #constraints=25972 762.78/763.18 c nbDecision=696000 #constraints=25973 763.08/763.44 c nbDecision=696500 #constraints=25975 763.27/763.63 c nbDecision=697000 #constraints=25976 763.47/763.81 c nbDecision=697500 #constraints=25977 763.67/764.00 c nbDecision=698000 #constraints=25978 764.08/764.44 c nbDecision=698500 #constraints=25982 766.28/766.69 c nbDecision=699000 #constraints=26011 766.97/767.33 c nbDecision=699500 #constraints=26017 767.38/767.74 c nbDecision=700000 #constraints=26020 767.57/767.95 c nbDecision=700500 #constraints=26021 767.77/768.15 c nbDecision=701000 #constraints=26022 767.97/768.35 c nbDecision=701500 #constraints=26023 768.77/769.13 c nbDecision=702000 #constraints=26031 768.97/769.33 c nbDecision=702500 #constraints=26033 769.07/769.45 c nbDecision=703000 #constraints=26033 769.27/769.64 c nbDecision=703500 #constraints=26034 769.57/769.93 c nbDecision=704000 #constraints=26046 769.67/770.07 c nbDecision=704500 #constraints=26050 769.97/770.31 c nbDecision=705000 #constraints=26066 770.07/770.44 c nbDecision=705500 #constraints=26069 770.77/771.16 c nbDecision=706000 #constraints=26081 771.17/771.58 c nbDecision=706500 #constraints=26082 771.37/771.79 c nbDecision=707000 #constraints=26083 771.67/772.00 c nbDecision=707500 #constraints=26084 771.97/772.31 c nbDecision=708000 #constraints=26086 772.37/772.76 c nbDecision=708500 #constraints=26089 773.37/773.78 c nbDecision=709000 #constraints=26095 773.87/774.22 c nbDecision=709500 #constraints=26097 774.87/775.29 c nbDecision=710000 #constraints=26104 775.17/775.52 c nbDecision=710500 #constraints=26105 775.36/775.73 c nbDecision=711000 #constraints=26106 775.56/775.96 c nbDecision=711500 #constraints=26107 776.06/776.48 c nbDecision=712000 #constraints=26110 776.17/776.60 c nbDecision=712500 #constraints=26110 776.46/776.82 c nbDecision=713000 #constraints=26111 776.76/777.14 c nbDecision=713500 #constraints=26112 776.96/777.33 c nbDecision=714000 #constraints=26113 777.16/777.52 c nbDecision=714500 #constraints=26114 777.27/777.63 c nbDecision=715000 #constraints=26114 777.46/777.82 c nbDecision=715500 #constraints=26115 777.86/778.24 c nbDecision=716000 #constraints=26131 778.06/778.44 c nbDecision=716500 #constraints=26132 778.16/778.55 c nbDecision=717000 #constraints=26132 778.37/778.74 c nbDecision=717500 #constraints=26133 778.56/778.94 c nbDecision=718000 #constraints=26134 778.76/779.17 c nbDecision=718500 #constraints=26135 778.96/779.35 c nbDecision=719000 #constraints=26136 779.06/779.46 c nbDecision=719500 #constraints=26136 779.26/779.63 c nbDecision=720000 #constraints=26137 779.36/779.79 c nbDecision=720500 #constraints=26138 779.57/779.97 c nbDecision=721000 #constraints=26139 779.76/780.14 c nbDecision=721500 #constraints=26140 779.96/780.31 c nbDecision=722000 #constraints=26141 780.06/780.43 c nbDecision=722500 #constraints=26141 780.16/780.60 c nbDecision=723000 #constraints=26142 780.36/780.77 c nbDecision=723500 #constraints=26143 780.56/780.94 c nbDecision=724000 #constraints=26144 780.76/781.11 c nbDecision=724500 #constraints=26145 780.86/781.22 c nbDecision=725000 #constraints=26145 780.96/781.39 c nbDecision=725500 #constraints=26146 781.16/781.56 c nbDecision=726000 #constraints=26147 781.26/781.68 c nbDecision=726500 #constraints=26147 782.46/782.90 c nbDecision=727000 #constraints=26152 782.96/783.32 c nbDecision=727500 #constraints=26155 784.36/784.73 c nbDecision=728000 #constraints=26170 784.96/785.32 c nbDecision=728500 #constraints=26177 786.46/786.85 c nbDecision=729000 #constraints=26199 787.06/787.48 c nbDecision=729500 #constraints=26209 788.95/789.32 c nbDecision=730000 #constraints=26231 791.45/791.84 c nbDecision=730500 #constraints=26262 792.55/792.96 c nbDecision=731000 #constraints=26274 794.65/795.07 c nbDecision=731500 #constraints=26296 795.85/796.20 c nbDecision=732000 #constraints=26308 797.85/798.26 c nbDecision=732500 #constraints=26331 799.45/799.85 c nbDecision=733000 #constraints=26344 801.05/801.40 c nbDecision=733500 #constraints=26357 802.55/802.91 c nbDecision=734000 #constraints=26370 803.25/803.67 c nbDecision=734500 #constraints=26376 804.24/804.68 c nbDecision=735000 #constraints=26384 805.34/805.79 c nbDecision=735500 #constraints=26393 805.85/806.24 c nbDecision=736000 #constraints=26396 806.24/806.63 c nbDecision=736500 #constraints=26399 807.54/807.95 c nbDecision=737000 #constraints=26413 807.84/808.29 c nbDecision=737500 #constraints=26416 808.15/808.55 c nbDecision=738000 #constraints=26418 808.54/808.90 c nbDecision=738500 #constraints=26421 809.15/809.57 c nbDecision=739000 #constraints=26427 809.54/809.91 c nbDecision=739500 #constraints=26430 809.84/810.27 c nbDecision=740000 #constraints=26433 810.15/810.55 c nbDecision=740500 #constraints=26435 810.75/811.19 c nbDecision=741000 #constraints=26442 812.15/812.52 c nbDecision=741500 #constraints=26455 813.15/813.55 c nbDecision=742000 #constraints=26463 814.45/814.80 c nbDecision=742500 #constraints=26473 815.35/815.70 c nbDecision=743000 #constraints=26480 815.85/816.25 c nbDecision=743500 #constraints=26484 816.24/816.60 c nbDecision=744000 #constraints=26486 816.54/816.93 c nbDecision=744500 #constraints=26488 816.74/817.15 c nbDecision=745000 #constraints=26489 816.95/817.38 c nbDecision=745500 #constraints=26490 817.24/817.60 c nbDecision=746000 #constraints=26491 817.34/817.71 c nbDecision=746500 #constraints=26491 817.54/817.97 c nbDecision=747000 #constraints=26492 818.14/818.51 c nbDecision=747500 #constraints=26508 818.24/818.68 c nbDecision=748000 #constraints=26509 818.44/818.80 c nbDecision=748500 #constraints=26509 818.84/819.22 c nbDecision=749000 #constraints=26519 818.94/819.39 c nbDecision=749500 #constraints=26520 819.15/819.57 c nbDecision=750000 #constraints=26521 819.24/819.68 c nbDecision=750500 #constraints=26521 819.44/819.86 c nbDecision=751000 #constraints=26522 819.64/820.04 c nbDecision=751500 #constraints=26523 819.84/820.22 c nbDecision=752000 #constraints=26524 819.94/820.40 c nbDecision=752500 #constraints=26525 820.15/820.57 c nbDecision=753000 #constraints=26526 820.25/820.68 c nbDecision=753500 #constraints=26526 820.44/820.85 c nbDecision=754000 #constraints=26527 820.64/821.02 c nbDecision=754500 #constraints=26528 820.74/821.19 c nbDecision=755000 #constraints=26529 820.94/821.36 c nbDecision=755500 #constraints=26530 821.04/821.47 c nbDecision=756000 #constraints=26530 821.25/821.64 c nbDecision=756500 #constraints=26531 821.44/821.81 c nbDecision=757000 #constraints=26532 821.54/821.98 c nbDecision=757500 #constraints=26533 821.94/822.35 c nbDecision=758000 #constraints=26535 822.14/822.53 c nbDecision=758500 #constraints=26535 823.74/824.19 c nbDecision=759000 #constraints=26547 824.84/825.28 c nbDecision=759500 #constraints=26555 826.24/826.66 c nbDecision=760000 #constraints=26565 828.14/828.58 c nbDecision=760500 #constraints=26579 828.74/829.12 c nbDecision=761000 #constraints=26583 830.14/830.58 c nbDecision=761500 #constraints=26594 832.14/832.56 c nbDecision=762000 #constraints=26609 832.94/833.38 c nbDecision=762500 #constraints=26615 833.54/833.91 c nbDecision=763000 #constraints=26617 833.64/834.08 c nbDecision=763500 #constraints=26617 835.04/835.42 c nbDecision=764000 #constraints=26627 836.53/836.97 c nbDecision=764500 #constraints=26639 837.93/838.31 c nbDecision=765000 #constraints=26649 838.84/839.20 c nbDecision=765500 #constraints=26655 840.23/840.68 c nbDecision=766000 #constraints=26666 841.73/842.12 c nbDecision=766500 #constraints=26677 842.43/842.83 c nbDecision=767000 #constraints=26682 842.53/842.99 c nbDecision=767500 #constraints=26682 844.23/844.61 c nbDecision=768000 #constraints=26694 845.23/845.67 c nbDecision=768500 #constraints=26702 846.23/846.61 c nbDecision=769000 #constraints=26709 846.43/846.84 c nbDecision=769500 #constraints=26710 846.83/847.23 c nbDecision=770000 #constraints=26712 847.73/848.16 c nbDecision=770500 #constraints=26719 847.93/848.31 c nbDecision=771000 #constraints=26719 848.83/849.20 c nbDecision=771500 #constraints=26726 849.43/849.85 c nbDecision=772000 #constraints=26732 850.03/850.45 c nbDecision=772500 #constraints=26737 850.53/850.96 c nbDecision=773000 #constraints=26741 851.33/851.78 c nbDecision=773500 #constraints=26747 851.73/852.17 c nbDecision=774000 #constraints=26750 852.13/852.57 c nbDecision=774500 #constraints=26753 852.73/853.11 c nbDecision=775000 #constraints=26757 853.03/853.41 c nbDecision=775500 #constraints=26759 853.43/853.81 c nbDecision=776000 #constraints=26762 853.82/854.20 c nbDecision=776500 #constraints=26764 854.62/855.00 c nbDecision=777000 #constraints=26770 854.92/855.33 c nbDecision=777500 #constraints=26773 855.92/856.31 c nbDecision=778000 #constraints=26783 856.22/856.61 c nbDecision=778500 #constraints=26785 856.53/856.98 c nbDecision=779000 #constraints=26787 857.02/857.47 c nbDecision=779500 #constraints=26790 857.42/857.86 c nbDecision=780000 #constraints=26792 857.92/858.36 c nbDecision=780500 #constraints=26804 858.22/858.61 c nbDecision=781000 #constraints=26808 858.52/858.99 c nbDecision=781500 #constraints=26811 858.82/859.29 c nbDecision=782000 #constraints=26813 859.32/859.73 c nbDecision=782500 #constraints=26816 860.42/860.84 c nbDecision=783000 #constraints=26829 860.83/861.21 c nbDecision=783500 #constraints=26832 861.02/861.41 c nbDecision=784000 #constraints=26833 861.22/861.61 c nbDecision=784500 #constraints=26834 861.42/861.81 c nbDecision=785000 #constraints=26835 861.52/861.92 c nbDecision=785500 #constraints=26835 861.72/862.12 c nbDecision=786000 #constraints=26836 861.93/862.32 c nbDecision=786500 #constraints=26837 862.12/862.52 c nbDecision=787000 #constraints=26838 862.32/862.73 c nbDecision=787500 #constraints=26839 862.42/862.84 c nbDecision=788000 #constraints=26839 862.62/863.05 c nbDecision=788500 #constraints=26840 863.82/864.26 c nbDecision=789000 #constraints=26845 864.92/865.31 c nbDecision=789500 #constraints=26849 865.32/865.80 c nbDecision=790000 #constraints=26852 866.52/866.96 c nbDecision=790500 #constraints=26865 867.12/867.51 c nbDecision=791000 #constraints=26872 868.12/868.50 c nbDecision=791500 #constraints=26882 868.92/869.32 c nbDecision=792000 #constraints=26895 869.32/869.73 c nbDecision=792500 #constraints=26898 869.62/870.06 c nbDecision=793000 #constraints=26901 870.82/871.30 c nbDecision=793500 #constraints=26911 871.71/872.13 c nbDecision=794000 #constraints=26919 872.81/873.25 c nbDecision=794500 #constraints=26928 873.61/874.03 c nbDecision=795000 #constraints=26934 874.71/875.19 c nbDecision=795500 #constraints=26943 876.61/877.03 c nbDecision=796000 #constraints=26958 879.31/879.75 c nbDecision=796500 #constraints=26997 879.71/880.14 c nbDecision=797000 #constraints=27000 881.01/881.42 c nbDecision=797500 #constraints=27013 881.81/882.21 c nbDecision=798000 #constraints=27019 882.51/882.99 c nbDecision=798500 #constraints=27026 882.91/883.36 c nbDecision=799000 #constraints=27029 884.31/884.76 c nbDecision=799500 #constraints=27043 885.21/885.68 c nbDecision=800000 #constraints=27051 886.01/886.44 c nbDecision=800500 #constraints=27059 887.01/887.46 c nbDecision=801000 #constraints=27067 888.51/888.95 c nbDecision=801500 #constraints=27079 889.61/890.00 c nbDecision=802000 #constraints=27089 890.21/890.65 c nbDecision=802500 #constraints=27098 891.71/892.13 c nbDecision=803000 #constraints=27111 892.11/892.52 c nbDecision=803500 #constraints=27114 892.41/892.83 c nbDecision=804000 #constraints=27116 893.41/893.81 c nbDecision=804500 #constraints=27124 893.92/894.38 c nbDecision=805000 #constraints=27129 894.31/894.79 c nbDecision=805500 #constraints=27132 895.11/895.59 c nbDecision=806000 #constraints=27140 895.41/895.89 c nbDecision=806500 #constraints=27142 896.41/896.83 c nbDecision=807000 #constraints=27149 897.12/897.55 c nbDecision=807500 #constraints=27155 898.41/898.80 c nbDecision=808000 #constraints=27167 899.11/899.56 c nbDecision=808500 #constraints=27174 899.51/899.95 c nbDecision=809000 #constraints=27177 901.21/901.64 c nbDecision=809500 #constraints=27189 902.01/902.41 c nbDecision=810000 #constraints=27195 903.01/903.45 c nbDecision=810500 #constraints=27204 904.61/905.08 c nbDecision=811000 #constraints=27216 905.41/905.89 c nbDecision=811500 #constraints=27222 905.81/906.25 c nbDecision=812000 #constraints=27224 908.31/908.74 c nbDecision=812500 #constraints=27245 908.81/909.25 c nbDecision=813000 #constraints=27249 910.61/911.00 c nbDecision=813500 #constraints=27262 911.21/911.66 c nbDecision=814000 #constraints=27267 912.31/912.77 c nbDecision=814500 #constraints=27274 914.20/914.70 c nbDecision=815000 #constraints=27287 915.50/915.97 c nbDecision=815500 #constraints=27297 916.20/916.64 c nbDecision=816000 #constraints=27303 917.10/917.58 c nbDecision=816500 #constraints=27309 917.50/917.99 c nbDecision=817000 #constraints=27312 917.90/918.30 c nbDecision=817500 #constraints=27314 918.80/919.21 c nbDecision=818000 #constraints=27321 919.21/919.62 c nbDecision=818500 #constraints=27324 919.90/920.38 c nbDecision=819000 #constraints=27330 920.00/920.43 c restart after 819201 decisions 920.21/920.67 c nbDecision=819500 #constraints=27330 920.40/920.86 c nbDecision=820000 #constraints=27330 920.60/921.01 c nbDecision=820500 #constraints=27330 920.80/921.24 c nbDecision=821000 #constraints=27331 921.20/921.66 c nbDecision=821500 #constraints=27334 921.90/922.38 c nbDecision=822000 #constraints=27339 923.30/923.75 c nbDecision=822500 #constraints=27349 923.60/924.08 c nbDecision=823000 #constraints=27351 924.10/924.56 c nbDecision=823500 #constraints=27355 925.30/925.73 c nbDecision=824000 #constraints=27365 925.70/926.12 c nbDecision=824500 #constraints=27368 926.60/927.00 c nbDecision=825000 #constraints=27376 926.90/927.34 c nbDecision=825500 #constraints=27378 927.70/928.12 c nbDecision=826000 #constraints=27386 929.10/929.56 c nbDecision=826500 #constraints=27400 929.59/930.04 c nbDecision=827000 #constraints=27403 930.59/931.09 c nbDecision=827500 #constraints=27411 930.79/931.24 c nbDecision=828000 #constraints=27411 931.30/931.71 c nbDecision=828500 #constraints=27416 932.89/933.37 c nbDecision=829000 #constraints=27432 933.50/933.97 c nbDecision=829500 #constraints=27435 934.09/934.55 c nbDecision=830000 #constraints=27438 934.60/935.03 c nbDecision=830500 #constraints=27441 934.89/935.39 c nbDecision=831000 #constraints=27444 935.29/935.76 c nbDecision=831500 #constraints=27447 936.09/936.55 c nbDecision=832000 #constraints=27455 936.59/937.04 c nbDecision=832500 #constraints=27458 937.19/937.63 c nbDecision=833000 #constraints=27477 937.39/937.82 c nbDecision=833500 #constraints=27478 937.79/938.25 c nbDecision=834000 #constraints=27482 938.19/938.62 c nbDecision=834500 #constraints=27484 939.29/939.75 c nbDecision=835000 #constraints=27493 939.49/939.95 c nbDecision=835500 #constraints=27494 939.69/940.19 c nbDecision=836000 #constraints=27495 939.89/940.30 c nbDecision=836500 #constraints=27495 940.09/940.50 c nbDecision=837000 #constraints=27496 940.29/940.70 c nbDecision=837500 #constraints=27497 940.49/940.91 c nbDecision=838000 #constraints=27498 941.09/941.52 c nbDecision=838500 #constraints=27507 941.29/941.76 c nbDecision=839000 #constraints=27515 941.49/941.97 c nbDecision=839500 #constraints=27516 941.69/942.18 c nbDecision=840000 #constraints=27517 941.79/942.29 c nbDecision=840500 #constraints=27517 942.29/942.72 c nbDecision=841000 #constraints=27518 942.49/942.94 c nbDecision=841500 #constraints=27522 942.59/943.05 c nbDecision=842000 #constraints=27522 942.79/943.22 c nbDecision=842500 #constraints=27523 942.89/943.39 c nbDecision=843000 #constraints=27524 943.09/943.56 c nbDecision=843500 #constraints=27525 943.29/943.74 c nbDecision=844000 #constraints=27526 943.39/943.85 c nbDecision=844500 #constraints=27526 943.79/944.26 c nbDecision=845000 #constraints=27529 943.99/944.43 c nbDecision=845500 #constraints=27530 944.19/944.60 c nbDecision=846000 #constraints=27531 944.39/944.83 c nbDecision=846500 #constraints=27533 944.59/945.00 c nbDecision=847000 #constraints=27534 944.69/945.18 c nbDecision=847500 #constraints=27535 944.89/945.35 c nbDecision=848000 #constraints=27536 945.09/945.53 c nbDecision=848500 #constraints=27537 945.29/945.71 c nbDecision=849000 #constraints=27538 945.49/945.90 c nbDecision=849500 #constraints=27539 945.59/946.08 c nbDecision=850000 #constraints=27540 945.79/946.25 c nbDecision=850500 #constraints=27541 945.98/946.42 c nbDecision=851000 #constraints=27542 946.08/946.60 c nbDecision=851500 #constraints=27543 946.28/946.71 c nbDecision=852000 #constraints=27543 946.38/946.88 c nbDecision=852500 #constraints=27544 946.59/947.06 c nbDecision=853000 #constraints=27545 946.79/947.23 c nbDecision=853500 #constraints=27546 946.99/947.41 c nbDecision=854000 #constraints=27547 947.09/947.58 c nbDecision=854500 #constraints=27548 947.18/947.69 c nbDecision=855000 #constraints=27548 947.38/947.87 c nbDecision=855500 #constraints=27549 947.58/948.05 c nbDecision=856000 #constraints=27550 947.79/948.22 c nbDecision=856500 #constraints=27551 947.88/948.39 c nbDecision=857000 #constraints=27552 948.08/948.50 c nbDecision=857500 #constraints=27552 948.18/948.67 c nbDecision=858000 #constraints=27553 948.38/948.84 c nbDecision=858500 #constraints=27554 948.58/949.01 c nbDecision=859000 #constraints=27555 948.68/949.18 c nbDecision=859500 #constraints=27556 948.89/949.35 c nbDecision=860000 #constraints=27557 948.98/949.47 c nbDecision=860500 #constraints=27557 949.18/949.63 c nbDecision=861000 #constraints=27558 949.58/950.02 c nbDecision=861500 #constraints=27559 950.38/950.84 c nbDecision=862000 #constraints=27563 951.18/951.70 c nbDecision=862500 #constraints=27568 951.38/951.87 c nbDecision=863000 #constraints=27569 951.58/952.04 c nbDecision=863500 #constraints=27570 951.78/952.21 c nbDecision=864000 #constraints=27571 951.88/952.39 c nbDecision=864500 #constraints=27572 952.09/952.57 c nbDecision=865000 #constraints=27573 952.38/952.82 c nbDecision=865500 #constraints=27575 952.48/952.99 c nbDecision=866000 #constraints=27576 952.68/953.18 c nbDecision=866500 #constraints=27577 952.88/953.35 c nbDecision=867000 #constraints=27578 952.98/953.46 c nbDecision=867500 #constraints=27578 953.48/953.96 c nbDecision=868000 #constraints=27597 953.68/954.14 c nbDecision=868500 #constraints=27598 953.88/954.32 c nbDecision=869000 #constraints=27599 953.98/954.43 c nbDecision=869500 #constraints=27599 954.18/954.61 c nbDecision=870000 #constraints=27600 954.28/954.79 c nbDecision=870500 #constraints=27601 954.48/954.98 c nbDecision=871000 #constraints=27602 954.68/955.16 c nbDecision=871500 #constraints=27603 954.78/955.28 c nbDecision=872000 #constraints=27603 954.98/955.46 c nbDecision=872500 #constraints=27604 955.18/955.64 c nbDecision=873000 #constraints=27605 955.38/955.81 c nbDecision=873500 #constraints=27606 955.48/955.99 c nbDecision=874000 #constraints=27607 955.68/956.10 c nbDecision=874500 #constraints=27607 955.78/956.29 c nbDecision=875000 #constraints=27608 955.98/956.46 c nbDecision=875500 #constraints=27609 956.18/956.63 c nbDecision=876000 #constraints=27610 956.38/956.81 c nbDecision=876500 #constraints=27611 956.48/956.92 c nbDecision=877000 #constraints=27611 956.58/957.09 c nbDecision=877500 #constraints=27612 956.78/957.26 c nbDecision=878000 #constraints=27613 956.98/957.43 c nbDecision=878500 #constraints=27614 957.08/957.55 c nbDecision=879000 #constraints=27614 957.78/958.26 c nbDecision=879500 #constraints=27617 958.08/958.55 c nbDecision=880000 #constraints=27618 958.78/959.21 c nbDecision=880500 #constraints=27623 959.07/959.50 c nbDecision=881000 #constraints=27625 959.27/959.70 c nbDecision=881500 #constraints=27626 959.47/959.93 c nbDecision=882000 #constraints=27628 959.67/960.10 c nbDecision=882500 #constraints=27629 959.78/960.27 c nbDecision=883000 #constraints=27630 959.97/960.44 c nbDecision=883500 #constraints=27631 960.17/960.62 c nbDecision=884000 #constraints=27632 960.37/960.87 c nbDecision=884500 #constraints=27634 960.57/961.05 c nbDecision=885000 #constraints=27635 960.77/961.24 c nbDecision=885500 #constraints=27636 960.98/961.41 c nbDecision=886000 #constraints=27637 961.07/961.52 c nbDecision=886500 #constraints=27637 961.98/962.43 c nbDecision=887000 #constraints=27641 963.27/963.77 c nbDecision=887500 #constraints=27654 963.97/964.45 c nbDecision=888000 #constraints=27663 964.28/964.77 c nbDecision=888500 #constraints=27667 964.97/965.46 c nbDecision=889000 #constraints=27673 965.77/966.28 c nbDecision=889500 #constraints=27680 966.07/966.55 c nbDecision=890000 #constraints=27681 966.27/966.72 c nbDecision=890500 #constraints=27682 966.38/966.88 c nbDecision=891000 #constraints=27683 966.57/967.05 c nbDecision=891500 #constraints=27684 966.77/967.22 c nbDecision=892000 #constraints=27685 966.97/967.40 c nbDecision=892500 #constraints=27686 967.17/967.64 c nbDecision=893000 #constraints=27688 967.37/967.83 c nbDecision=893500 #constraints=27689 967.57/968.01 c nbDecision=894000 #constraints=27690 967.77/968.20 c nbDecision=894500 #constraints=27691 968.07/968.57 c nbDecision=895000 #constraints=27693 968.47/968.91 c nbDecision=895500 #constraints=27696 969.07/969.55 c nbDecision=896000 #constraints=27706 969.77/970.25 c nbDecision=896500 #constraints=27716 970.57/971.03 c nbDecision=897000 #constraints=27725 971.17/971.68 c nbDecision=897500 #constraints=27734 972.07/972.51 c nbDecision=898000 #constraints=27745 972.57/973.03 c nbDecision=898500 #constraints=27753 973.17/973.68 c nbDecision=899000 #constraints=27763 973.87/974.36 c nbDecision=899500 #constraints=27774 974.67/975.10 c nbDecision=900000 #constraints=27782 975.37/975.85 c nbDecision=900500 #constraints=27787 976.57/977.04 c nbDecision=901000 #constraints=27800 977.77/978.23 c nbDecision=901500 #constraints=27814 978.77/979.20 c nbDecision=902000 #constraints=27825 979.17/979.61 c nbDecision=902500 #constraints=27829 979.47/979.94 c nbDecision=903000 #constraints=27833 979.87/980.34 c nbDecision=903500 #constraints=27835 980.27/980.74 c nbDecision=904000 #constraints=27838 981.37/981.82 c nbDecision=904500 #constraints=27851 982.37/982.88 c nbDecision=905000 #constraints=27863 983.47/983.90 c nbDecision=905500 #constraints=27868 983.97/984.43 c nbDecision=906000 #constraints=27875 984.57/985.09 c nbDecision=906500 #constraints=27884 985.27/985.72 c nbDecision=907000 #constraints=27891 985.97/986.48 c nbDecision=907500 #constraints=27898 987.77/988.24 c nbDecision=908000 #constraints=27913 989.17/989.69 c nbDecision=908500 #constraints=27922 989.57/990.07 c nbDecision=909000 #constraints=27923 990.17/990.68 c nbDecision=909500 #constraints=27927 990.97/991.43 c nbDecision=910000 #constraints=27937 992.97/993.42 c nbDecision=910500 #constraints=27956 993.07/993.59 c nbDecision=911000 #constraints=27956 993.47/993.96 c nbDecision=911500 #constraints=27959 995.07/995.58 c nbDecision=912000 #constraints=27979 996.17/996.69 c nbDecision=912500 #constraints=27990 996.96/997.44 c nbDecision=913000 #constraints=27997 997.66/998.11 c nbDecision=913500 #constraints=28004 998.86/999.39 c nbDecision=914000 #constraints=28019 999.86/1000.39 c nbDecision=914500 #constraints=28028 1000.76/1001.29 c nbDecision=915000 #constraints=28037 1002.06/1002.50 c nbDecision=915500 #constraints=28050 1002.76/1003.28 c nbDecision=916000 #constraints=28057 1003.96/1004.45 c nbDecision=916500 #constraints=28068 1004.86/1005.35 c nbDecision=917000 #constraints=28077 1006.06/1006.56 c nbDecision=917500 #constraints=28089 1007.16/1007.69 c nbDecision=918000 #constraints=28102 1007.95/1008.46 c nbDecision=918500 #constraints=28111 1009.15/1009.70 c nbDecision=919000 #constraints=28124 1010.45/1010.93 c nbDecision=919500 #constraints=28136 1011.35/1011.84 c nbDecision=920000 #constraints=28144 1012.15/1012.60 c nbDecision=920500 #constraints=28150 1012.85/1013.39 c nbDecision=921000 #constraints=28158 1014.25/1014.77 c nbDecision=921500 #constraints=28171 1015.25/1015.78 c nbDecision=922000 #constraints=28180 1016.35/1016.89 c nbDecision=922500 #constraints=28191 1017.35/1017.80 c nbDecision=923000 #constraints=28199 1018.55/1019.02 c nbDecision=923500 #constraints=28211 1019.25/1019.72 c nbDecision=924000 #constraints=28218 1019.95/1020.40 c nbDecision=924500 #constraints=28224 1020.55/1021.05 c nbDecision=925000 #constraints=28230 1021.05/1021.59 c nbDecision=925500 #constraints=28234 1022.35/1022.85 c nbDecision=926000 #constraints=28244 1024.45/1024.95 c nbDecision=926500 #constraints=28262 1025.35/1025.84 c nbDecision=927000 #constraints=28268 1026.86/1027.37 c nbDecision=927500 #constraints=28280 1027.96/1028.43 c nbDecision=928000 #constraints=28287 1029.05/1029.54 c nbDecision=928500 #constraints=28293 1029.65/1030.17 c nbDecision=929000 #constraints=28298 1031.05/1031.56 c nbDecision=929500 #constraints=28308 1031.75/1032.23 c nbDecision=930000 #constraints=28312 1032.55/1033.05 c nbDecision=930500 #constraints=28318 1033.85/1034.39 c nbDecision=931000 #constraints=28328 1034.65/1035.10 c nbDecision=931500 #constraints=28333 1036.05/1036.59 c nbDecision=932000 #constraints=28341 1036.45/1036.97 c nbDecision=932500 #constraints=28343 1038.35/1038.87 c nbDecision=933000 #constraints=28353 1039.84/1040.33 c nbDecision=933500 #constraints=28360 1040.54/1041.03 c nbDecision=934000 #constraints=28367 1041.44/1041.93 c nbDecision=934500 #constraints=28378 1042.14/1042.69 c nbDecision=935000 #constraints=28386 1042.94/1043.45 c nbDecision=935500 #constraints=28392 1043.64/1044.15 c nbDecision=936000 #constraints=28397 1044.34/1044.84 c nbDecision=936500 #constraints=28403 1044.74/1045.20 c nbDecision=937000 #constraints=28407 1045.24/1045.79 c nbDecision=937500 #constraints=28411 1045.84/1046.35 c nbDecision=938000 #constraints=28416 1047.04/1047.59 c nbDecision=938500 #constraints=28433 1047.54/1048.02 c nbDecision=939000 #constraints=28440 1048.04/1048.58 c nbDecision=939500 #constraints=28447 1048.74/1049.28 c nbDecision=940000 #constraints=28457 1050.34/1050.88 c nbDecision=940500 #constraints=28469 1051.64/1052.15 c nbDecision=941000 #constraints=28477 1052.14/1052.68 c nbDecision=941500 #constraints=28481 1054.34/1054.88 c nbDecision=942000 #constraints=28494 1056.74/1057.20 c nbDecision=942500 #constraints=28507 1057.54/1058.02 c nbDecision=943000 #constraints=28517 1058.14/1058.65 c nbDecision=943500 #constraints=28526 1058.74/1059.27 c nbDecision=944000 #constraints=28535 1060.73/1061.21 c nbDecision=944500 #constraints=28553 1063.14/1063.65 c nbDecision=945000 #constraints=28565 1065.53/1066.03 c nbDecision=945500 #constraints=28583 1066.03/1066.54 c nbDecision=946000 #constraints=28590 1066.53/1067.08 c nbDecision=946500 #constraints=28598 1067.33/1067.82 c nbDecision=947000 #constraints=28607 1068.03/1068.50 c nbDecision=947500 #constraints=28618 1068.83/1069.35 c nbDecision=948000 #constraints=28628 1069.33/1069.84 c nbDecision=948500 #constraints=28633 1069.73/1070.20 c nbDecision=949000 #constraints=28638 1070.33/1070.90 c nbDecision=949500 #constraints=28646 1070.83/1071.36 c nbDecision=950000 #constraints=28652 1071.23/1071.79 c nbDecision=950500 #constraints=28657 1071.83/1072.39 c nbDecision=951000 #constraints=28661 1073.43/1073.94 c nbDecision=951500 #constraints=28670 1076.33/1076.81 c nbDecision=952000 #constraints=28684 1078.22/1078.80 c nbDecision=952500 #constraints=28693 1080.12/1080.65 c nbDecision=953000 #constraints=28702 1080.83/1081.33 c nbDecision=953500 #constraints=28705 1081.83/1082.36 c nbDecision=954000 #constraints=28714 1083.13/1083.66 c nbDecision=954500 #constraints=28726 1084.33/1084.86 c nbDecision=955000 #constraints=28738 1085.43/1085.90 c nbDecision=955500 #constraints=28750 1085.93/1086.47 c nbDecision=956000 #constraints=28756 1086.83/1087.37 c nbDecision=956500 #constraints=28765 1087.33/1087.89 c nbDecision=957000 #constraints=28770 1088.33/1088.89 c nbDecision=957500 #constraints=28779 1088.93/1089.47 c nbDecision=958000 #constraints=28784 1089.63/1090.14 c nbDecision=958500 #constraints=28790 1090.52/1091.00 c nbDecision=959000 #constraints=28798 1091.73/1092.25 c nbDecision=959500 #constraints=28811 1092.42/1092.98 c nbDecision=960000 #constraints=28818 1093.42/1093.99 c nbDecision=960500 #constraints=28828 1093.93/1094.46 c nbDecision=961000 #constraints=28832 1094.62/1095.13 c nbDecision=961500 #constraints=28838 1095.32/1095.86 c nbDecision=962000 #constraints=28846 1095.92/1096.48 c nbDecision=962500 #constraints=28852 1096.82/1097.38 c nbDecision=963000 #constraints=28861 1098.02/1098.52 c nbDecision=963500 #constraints=28872 1099.12/1099.69 c nbDecision=964000 #constraints=28883 1100.02/1100.57 c nbDecision=964500 #constraints=28892 1100.72/1101.25 c nbDecision=965000 #constraints=28898 1101.01/1101.51 c nbDecision=965500 #constraints=28899 1101.81/1102.33 c nbDecision=966000 #constraints=28906 1102.31/1102.89 c nbDecision=966500 #constraints=28911 1103.41/1103.93 c nbDecision=967000 #constraints=28921 1103.82/1104.37 c nbDecision=967500 #constraints=28924 1104.11/1104.65 c nbDecision=968000 #constraints=28925 1104.61/1105.16 c nbDecision=968500 #constraints=28930 1105.11/1105.65 c nbDecision=969000 #constraints=28935 1105.51/1106.04 c nbDecision=969500 #constraints=28938 1106.11/1106.61 c nbDecision=970000 #constraints=28943 1106.31/1106.80 c nbDecision=970500 #constraints=28944 1106.61/1107.10 c nbDecision=971000 #constraints=28946 1106.71/1107.22 c nbDecision=971500 #constraints=28946 1108.01/1108.53 c nbDecision=972000 #constraints=28954 1108.51/1109.01 c nbDecision=972500 #constraints=28960 1109.41/1109.93 c nbDecision=973000 #constraints=28968 1109.71/1110.25 c nbDecision=973500 #constraints=28971 1110.61/1111.11 c nbDecision=974000 #constraints=28979 1111.11/1111.61 c nbDecision=974500 #constraints=28983 1113.81/1114.34 c nbDecision=975000 #constraints=29003 1115.30/1115.82 c nbDecision=975500 #constraints=29011 1116.70/1117.22 c nbDecision=976000 #constraints=29019 1118.60/1119.13 c nbDecision=976500 #constraints=29049 1119.70/1120.29 c nbDecision=977000 #constraints=29062 1121.70/1122.21 c nbDecision=977500 #constraints=29076 1124.30/1124.88 c nbDecision=978000 #constraints=29093 1125.10/1125.67 c nbDecision=978500 #constraints=29098 1125.40/1125.97 c nbDecision=979000 #constraints=29101 1125.60/1126.19 c nbDecision=979500 #constraints=29103 1126.70/1127.21 c nbDecision=980000 #constraints=29116 1129.00/1129.51 c nbDecision=980500 #constraints=29133 1129.20/1129.75 c nbDecision=981000 #constraints=29135 1129.60/1130.12 c nbDecision=981500 #constraints=29140 1131.20/1131.72 c nbDecision=982000 #constraints=29152 1131.50/1132.00 c nbDecision=982500 #constraints=29155 1132.10/1132.65 c nbDecision=983000 #constraints=29163 1132.40/1132.93 c nbDecision=983500 #constraints=29166 1133.51/1134.00 c nbDecision=984000 #constraints=29179 1133.81/1134.36 c nbDecision=984500 #constraints=29184 1134.91/1135.40 c nbDecision=985000 #constraints=29201 1135.50/1136.02 c nbDecision=985500 #constraints=29208 1135.71/1136.28 c nbDecision=986000 #constraints=29209 1137.40/1137.94 c nbDecision=986500 #constraints=29224 1137.70/1138.27 c nbDecision=987000 #constraints=29227 1139.50/1140.07 c nbDecision=987500 #constraints=29243 1141.21/1141.77 c nbDecision=988000 #constraints=29261 1143.70/1144.22 c nbDecision=988500 #constraints=29288 1145.50/1146.05 c nbDecision=989000 #constraints=29311 1147.20/1147.77 c nbDecision=989500 #constraints=29330 1148.90/1149.46 c nbDecision=990000 #constraints=29348 1149.79/1150.36 c nbDecision=990500 #constraints=29356 1151.20/1151.77 c nbDecision=991000 #constraints=29370 1151.69/1152.29 c nbDecision=991500 #constraints=29375 1155.50/1156.09 c nbDecision=992000 #constraints=29418 1156.49/1157.07 c nbDecision=992500 #constraints=29429 1157.89/1158.41 c nbDecision=993000 #constraints=29442 1159.19/1159.73 c nbDecision=993500 #constraints=29458 1163.09/1163.69 c nbDecision=994000 #constraints=29502 1164.49/1165.01 c nbDecision=994500 #constraints=29511 1166.29/1166.85 c nbDecision=995000 #constraints=29534 1167.79/1168.32 c nbDecision=995500 #constraints=29549 1168.79/1169.32 c nbDecision=996000 #constraints=29557 1170.59/1171.13 c nbDecision=996500 #constraints=29571 1171.58/1172.11 c nbDecision=997000 #constraints=29577 1173.58/1174.16 c nbDecision=997500 #constraints=29604 1174.58/1175.17 c nbDecision=998000 #constraints=29612 1175.88/1176.48 c nbDecision=998500 #constraints=29621 1178.88/1179.43 c nbDecision=999000 #constraints=29653 1180.08/1180.66 c nbDecision=999500 #constraints=29666 1181.58/1182.13 c nbDecision=1000000 #constraints=29679 1183.08/1183.70 c nbDecision=1000500 #constraints=29690 1184.18/1184.71 c nbDecision=1001000 #constraints=29697 1184.48/1185.00 c nbDecision=1001500 #constraints=29699 1185.98/1186.55 c nbDecision=1002000 #constraints=29714 1187.18/1187.74 c nbDecision=1002500 #constraints=29728 1187.48/1188.06 c nbDecision=1003000 #constraints=29731 1187.78/1188.31 c nbDecision=1003500 #constraints=29733 1190.27/1190.89 c nbDecision=1004000 #constraints=29763 1192.77/1193.36 c nbDecision=1004500 #constraints=29790 1193.67/1194.26 c nbDecision=1005000 #constraints=29797 1194.47/1195.07 c nbDecision=1005500 #constraints=29804 1195.77/1196.38 c nbDecision=1006000 #constraints=29814 1197.47/1198.07 c nbDecision=1006500 #constraints=29829 1198.57/1199.11 c nbDecision=1007000 #constraints=29837 1200.37/1200.96 c nbDecision=1007500 #constraints=29855 1202.67/1203.30 c nbDecision=1008000 #constraints=29883 1204.68/1205.21 c nbDecision=1008500 #constraints=29905 1205.58/1206.12 c nbDecision=1009000 #constraints=29911 1206.68/1207.26 c nbDecision=1009500 #constraints=29918 1210.07/1210.69 c nbDecision=1010000 #constraints=29959 1214.57/1215.10 c nbDecision=1010500 #constraints=30005 1215.27/1215.82 c nbDecision=1011000 #constraints=30011 1216.27/1216.88 c nbDecision=1011500 #constraints=30021 1217.27/1217.85 c nbDecision=1012000 #constraints=30027 1217.87/1218.42 c nbDecision=1012500 #constraints=30030 1218.77/1219.31 c nbDecision=1013000 #constraints=30039 1219.87/1220.44 c nbDecision=1013500 #constraints=30050 1220.17/1220.78 c nbDecision=1014000 #constraints=30052 1221.27/1221.86 c nbDecision=1014500 #constraints=30062 1222.57/1223.16 c nbDecision=1015000 #constraints=30071 1224.07/1224.64 c nbDecision=1015500 #constraints=30081 1224.97/1225.53 c nbDecision=1016000 #constraints=30087 1226.16/1226.71 c nbDecision=1016500 #constraints=30095 1226.86/1227.50 c nbDecision=1017000 #constraints=30101 1227.16/1227.76 c nbDecision=1017500 #constraints=30104 1228.56/1229.16 c nbDecision=1018000 #constraints=30119 1229.76/1230.37 c nbDecision=1018500 #constraints=30128 1230.66/1231.24 c nbDecision=1019000 #constraints=30134 1231.47/1232.06 c nbDecision=1019500 #constraints=30140 1232.57/1233.11 c nbDecision=1020000 #constraints=30147 1233.67/1234.20 c nbDecision=1020500 #constraints=30156 1235.06/1235.61 c nbDecision=1021000 #constraints=30166 1235.86/1236.47 c nbDecision=1021500 #constraints=30172 1236.76/1237.33 c nbDecision=1022000 #constraints=30178 1238.86/1239.43 c nbDecision=1022500 #constraints=30198 1240.46/1241.02 c nbDecision=1023000 #constraints=30218 1241.56/1242.10 c nbDecision=1023500 #constraints=30228 1242.76/1243.39 c nbDecision=1024000 #constraints=30243 1244.06/1244.61 c nbDecision=1024500 #constraints=30257 1245.36/1245.92 c nbDecision=1025000 #constraints=30270 1245.86/1246.46 c nbDecision=1025500 #constraints=30274 1246.66/1247.30 c nbDecision=1026000 #constraints=30280 1247.96/1248.51 c nbDecision=1026500 #constraints=30289 1249.45/1250.00 c nbDecision=1027000 #constraints=30300 1251.05/1251.65 c nbDecision=1027500 #constraints=30313 1252.95/1253.53 c nbDecision=1028000 #constraints=30334 1254.05/1254.65 c nbDecision=1028500 #constraints=30345 1254.56/1255.17 c nbDecision=1029000 #constraints=30350 1256.05/1256.65 c nbDecision=1029500 #constraints=30366 1259.65/1260.29 c nbDecision=1030000 #constraints=30406 1260.35/1260.92 c nbDecision=1030500 #constraints=30410 1265.04/1265.61 c nbDecision=1031000 #constraints=30469 1266.55/1267.18 c nbDecision=1031500 #constraints=30487 1267.65/1268.25 c nbDecision=1032000 #constraints=30499 1268.75/1269.37 c nbDecision=1032500 #constraints=30507 1269.95/1270.57 c nbDecision=1033000 #constraints=30518 1270.24/1270.84 c nbDecision=1033500 #constraints=30520 1271.44/1272.00 c nbDecision=1034000 #constraints=30530 1273.54/1274.17 c nbDecision=1034500 #constraints=30557 1274.25/1274.80 c nbDecision=1035000 #constraints=30561 1275.64/1276.27 c nbDecision=1035500 #constraints=30574 1276.94/1277.53 c nbDecision=1036000 #constraints=30587 1277.64/1278.28 c nbDecision=1036500 #constraints=30594 1279.54/1280.19 c nbDecision=1037000 #constraints=30626 1281.54/1282.10 c nbDecision=1037500 #constraints=30662 1282.14/1282.78 c nbDecision=1038000 #constraints=30666 1282.94/1283.55 c nbDecision=1038500 #constraints=30671 1284.54/1285.16 c nbDecision=1039000 #constraints=30689 1285.24/1285.88 c nbDecision=1039500 #constraints=30695 1286.34/1286.94 c nbDecision=1040000 #constraints=30703 1287.04/1287.69 c nbDecision=1040500 #constraints=30708 1288.04/1288.61 c nbDecision=1041000 #constraints=30715 1289.34/1289.90 c nbDecision=1041500 #constraints=30727 1289.54/1290.19 c nbDecision=1042000 #constraints=30729 1291.13/1291.77 c nbDecision=1042500 #constraints=30745 1292.24/1292.81 c nbDecision=1043000 #constraints=30752 1292.94/1293.54 c nbDecision=1043500 #constraints=30758 1294.43/1295.05 c nbDecision=1044000 #constraints=30772 1296.43/1297.04 c nbDecision=1044500 #constraints=30792 1297.43/1298.08 c nbDecision=1045000 #constraints=30799 1299.73/1300.33 c nbDecision=1045500 #constraints=30826 1301.03/1301.63 c nbDecision=1046000 #constraints=30838 1301.63/1302.29 c nbDecision=1046500 #constraints=30844 1303.13/1303.77 c nbDecision=1047000 #constraints=30857 1304.13/1304.70 c nbDecision=1047500 #constraints=30865 1304.83/1305.46 c nbDecision=1048000 #constraints=30870 1306.13/1306.77 c nbDecision=1048500 #constraints=30882 1306.83/1307.47 c nbDecision=1049000 #constraints=30888 1308.23/1308.82 c nbDecision=1049500 #constraints=30900 1309.23/1309.85 c nbDecision=1050000 #constraints=30910 1310.93/1311.55 c nbDecision=1050500 #constraints=30928 1311.23/1311.85 c nbDecision=1051000 #constraints=30930 1312.43/1313.08 c nbDecision=1051500 #constraints=30938 1313.53/1314.13 c nbDecision=1052000 #constraints=30945 1314.63/1315.29 c nbDecision=1052500 #constraints=30953 1315.83/1316.48 c nbDecision=1053000 #constraints=30961 1317.03/1317.68 c nbDecision=1053500 #constraints=30969 1318.23/1318.82 c nbDecision=1054000 #constraints=30976 1319.73/1320.31 c nbDecision=1054500 #constraints=30993 1321.03/1321.67 c nbDecision=1055000 #constraints=31005 1321.43/1322.05 c nbDecision=1055500 #constraints=31008 1322.53/1323.16 c nbDecision=1056000 #constraints=31018 1323.52/1324.10 c nbDecision=1056500 #constraints=31024 1326.03/1326.62 c nbDecision=1057000 #constraints=31069 1327.42/1328.04 c nbDecision=1057500 #constraints=31084 1328.02/1328.65 c nbDecision=1058000 #constraints=31090 1330.12/1330.73 c nbDecision=1058500 #constraints=31109 1331.62/1332.23 c nbDecision=1059000 #constraints=31120 1332.02/1332.64 c nbDecision=1059500 #constraints=31122 1332.42/1333.03 c nbDecision=1060000 #constraints=31125 1333.22/1333.84 c nbDecision=1060500 #constraints=31139 1336.62/1337.30 c nbDecision=1061000 #constraints=31192 1336.82/1337.43 c nbDecision=1061500 #constraints=31195 1336.92/1337.56 c nbDecision=1062000 #constraints=31198 1337.02/1337.69 c nbDecision=1062500 #constraints=31202 1337.21/1337.81 c nbDecision=1063000 #constraints=31205 1337.51/1338.16 c nbDecision=1063500 #constraints=31215 1338.02/1338.63 c nbDecision=1064000 #constraints=31220 1338.71/1339.38 c nbDecision=1064500 #constraints=31231 1339.51/1340.13 c nbDecision=1065000 #constraints=31244 1339.81/1340.40 c nbDecision=1065500 #constraints=31254 1339.91/1340.53 c nbDecision=1066000 #constraints=31257 1340.11/1340.77 c nbDecision=1066500 #constraints=31261 1340.32/1340.94 c nbDecision=1067000 #constraints=31264 1340.61/1341.29 c nbDecision=1067500 #constraints=31266 1340.81/1341.42 c nbDecision=1068000 #constraints=31267 1340.91/1341.57 c nbDecision=1068500 #constraints=31268 1341.11/1341.71 c nbDecision=1069000 #constraints=31269 1341.21/1341.90 c nbDecision=1069500 #constraints=31271 1341.42/1342.05 c nbDecision=1070000 #constraints=31272 1341.51/1342.19 c nbDecision=1070500 #constraints=31273 1341.71/1342.35 c nbDecision=1071000 #constraints=31274 1341.91/1342.51 c nbDecision=1071500 #constraints=31275 1342.01/1342.64 c nbDecision=1072000 #constraints=31276 1342.11/1342.78 c nbDecision=1072500 #constraints=31277 1342.21/1342.90 c nbDecision=1073000 #constraints=31277 1342.42/1343.04 c nbDecision=1073500 #constraints=31278 1342.52/1343.18 c nbDecision=1074000 #constraints=31279 1342.71/1343.31 c nbDecision=1074500 #constraints=31280 1343.31/1343.97 c nbDecision=1075000 #constraints=31283 1345.21/1345.86 c nbDecision=1075500 #constraints=31298 1345.91/1346.52 c nbDecision=1076000 #constraints=31307 1347.91/1348.56 c nbDecision=1076500 #constraints=31337 1349.51/1350.11 c nbDecision=1077000 #constraints=31353 1349.81/1350.47 c nbDecision=1077500 #constraints=31356 1352.61/1353.30 c nbDecision=1078000 #constraints=31379 1353.81/1354.41 c nbDecision=1078500 #constraints=31398 1354.61/1355.23 c nbDecision=1079000 #constraints=31413 1357.01/1357.65 c nbDecision=1079500 #constraints=31439 1358.01/1358.69 c nbDecision=1080000 #constraints=31454 1358.31/1358.99 c nbDecision=1080500 #constraints=31457 1359.41/1360.05 c nbDecision=1081000 #constraints=31471 1361.30/1361.94 c nbDecision=1081500 #constraints=31482 1362.00/1362.61 c nbDecision=1082000 #constraints=31492 1362.60/1363.22 c nbDecision=1082500 #constraints=31498 1362.80/1363.48 c nbDecision=1083000 #constraints=31501 1363.50/1364.19 c nbDecision=1083500 #constraints=31511 1363.90/1364.51 c nbDecision=1084000 #constraints=31514 1364.80/1365.40 c nbDecision=1084500 #constraints=31529 1365.00/1365.67 c nbDecision=1085000 #constraints=31532 1365.30/1365.91 c nbDecision=1085500 #constraints=31534 1367.30/1367.94 c nbDecision=1086000 #constraints=31549 1368.81/1369.40 c nbDecision=1086500 #constraints=31582 1369.50/1370.18 c nbDecision=1087000 #constraints=31598 1369.90/1370.57 c nbDecision=1087500 #constraints=31601 1370.30/1370.97 c nbDecision=1088000 #constraints=31605 1371.60/1372.27 c nbDecision=1088500 #constraints=31616 1372.30/1372.98 c nbDecision=1089000 #constraints=31621 1374.00/1374.63 c nbDecision=1089500 #constraints=31632 1376.40/1377.02 c nbDecision=1090000 #constraints=31673 1377.20/1377.82 c nbDecision=1090500 #constraints=31679 1379.10/1379.72 c nbDecision=1091000 #constraints=31705 1380.80/1381.45 c nbDecision=1091500 #constraints=31720 1382.19/1382.81 c nbDecision=1092000 #constraints=31738 1384.20/1384.86 c nbDecision=1092500 #constraints=31763 1385.40/1386.08 c nbDecision=1093000 #constraints=31772 1386.89/1387.59 c nbDecision=1093500 #constraints=31798 1390.39/1391.00 c nbDecision=1094000 #constraints=31845 1390.59/1391.29 c nbDecision=1094500 #constraints=31847 1392.69/1393.36 c nbDecision=1095000 #constraints=31868 1393.49/1394.17 c nbDecision=1095500 #constraints=31882 1394.49/1395.17 c nbDecision=1096000 #constraints=31889 1400.69/1401.39 c nbDecision=1096500 #constraints=31958 1401.38/1402.07 c nbDecision=1097000 #constraints=31966 1402.18/1402.82 c nbDecision=1097500 #constraints=31970 1404.98/1405.68 c nbDecision=1098000 #constraints=32004 1405.98/1406.62 c nbDecision=1098500 #constraints=32013 1407.98/1408.62 c nbDecision=1099000 #constraints=32045 1408.38/1409.01 c nbDecision=1099500 #constraints=32048 1409.68/1410.36 c nbDecision=1100000 #constraints=32056 1410.38/1411.06 c nbDecision=1100500 #constraints=32063 1410.88/1411.50 c nbDecision=1101000 #constraints=32066 1411.18/1411.89 c nbDecision=1101500 #constraints=32069 1412.18/1412.86 c nbDecision=1102000 #constraints=32075 1413.18/1413.89 c nbDecision=1102500 #constraints=32085 1413.58/1414.27 c nbDecision=1103000 #constraints=32088 1415.68/1416.37 c nbDecision=1103500 #constraints=32104 1416.18/1416.88 c nbDecision=1104000 #constraints=32108 1416.88/1417.56 c nbDecision=1104500 #constraints=32114 1417.78/1418.43 c nbDecision=1105000 #constraints=32123 1419.19/1419.84 c nbDecision=1105500 #constraints=32133 1420.09/1420.70 c nbDecision=1106000 #constraints=32139 1420.99/1421.64 c nbDecision=1106500 #constraints=32146 1423.48/1424.12 c nbDecision=1107000 #constraints=32181 1424.89/1425.57 c nbDecision=1107500 #constraints=32193 1425.68/1426.38 c nbDecision=1108000 #constraints=32198 1426.78/1427.47 c nbDecision=1108500 #constraints=32206 1428.18/1428.82 c nbDecision=1109000 #constraints=32219 1429.68/1430.33 c nbDecision=1109500 #constraints=32231 1432.18/1432.83 c nbDecision=1110000 #constraints=32261 1434.08/1434.74 c nbDecision=1110500 #constraints=32279 1435.48/1436.14 c nbDecision=1111000 #constraints=32291 1436.58/1437.29 c nbDecision=1111500 #constraints=32302 1437.88/1438.53 c nbDecision=1112000 #constraints=32315 1442.97/1443.60 c nbDecision=1112500 #constraints=32369 1443.97/1444.65 c nbDecision=1113000 #constraints=32380 1445.17/1445.82 c nbDecision=1113500 #constraints=32389 1445.77/1446.46 c nbDecision=1114000 #constraints=32394 1448.47/1449.12 c nbDecision=1114500 #constraints=32418 1449.07/1449.78 c nbDecision=1115000 #constraints=32422 1453.36/1454.04 c nbDecision=1115500 #constraints=32467 1455.86/1456.58 c nbDecision=1116000 #constraints=32497 1457.36/1458.03 c nbDecision=1116500 #constraints=32507 1465.67/1466.34 c nbDecision=1117000 #constraints=32604 1467.17/1467.84 c nbDecision=1117500 #constraints=32622 1469.67/1470.34 c nbDecision=1118000 #constraints=32645 1470.76/1471.41 c nbDecision=1118500 #constraints=32655 1472.46/1473.19 c nbDecision=1119000 #constraints=32672 1472.96/1473.66 c nbDecision=1119500 #constraints=32675 1475.56/1476.27 c nbDecision=1120000 #constraints=32699 1475.86/1476.58 c nbDecision=1120500 #constraints=32701 1480.56/1481.23 c nbDecision=1121000 #constraints=32747 1482.36/1483.05 c nbDecision=1121500 #constraints=32762 1483.16/1483.87 c nbDecision=1122000 #constraints=32769 1484.85/1485.50 c nbDecision=1122500 #constraints=32792 1486.65/1487.38 c nbDecision=1123000 #constraints=32810 1488.05/1488.72 c nbDecision=1123500 #constraints=32821 1489.25/1489.95 c nbDecision=1124000 #constraints=32833 1490.15/1490.81 c nbDecision=1124500 #constraints=32841 1490.45/1491.19 c nbDecision=1125000 #constraints=32844 1491.35/1492.06 c nbDecision=1125500 #constraints=32850 1492.35/1493.01 c nbDecision=1126000 #constraints=32857 1494.05/1494.70 c nbDecision=1126500 #constraints=32868 1494.35/1495.06 c nbDecision=1127000 #constraints=32871 1495.35/1496.09 c nbDecision=1127500 #constraints=32881 1496.04/1496.75 c nbDecision=1128000 #constraints=32885 1496.74/1497.46 c nbDecision=1128500 #constraints=32890 1497.64/1498.33 c nbDecision=1129000 #constraints=32898 1499.75/1500.47 c nbDecision=1129500 #constraints=32920 1500.44/1501.18 c nbDecision=1130000 #constraints=32924 1501.95/1502.64 c nbDecision=1130500 #constraints=32933 1502.95/1503.61 c nbDecision=1131000 #constraints=32942 1503.64/1504.31 c nbDecision=1131500 #constraints=32946 1505.64/1506.38 c nbDecision=1132000 #constraints=32959 1506.84/1507.50 c nbDecision=1132500 #constraints=32970 1507.14/1507.85 c nbDecision=1133000 #constraints=32973 1508.34/1509.03 c nbDecision=1133500 #constraints=32984 1508.54/1509.26 c nbDecision=1134000 #constraints=32986 1510.04/1510.79 c nbDecision=1134500 #constraints=32997 1510.54/1511.24 c nbDecision=1135000 #constraints=33003 1511.64/1512.38 c nbDecision=1135500 #constraints=33021 1511.94/1512.62 c nbDecision=1136000 #constraints=33023 1512.54/1513.21 c nbDecision=1136500 #constraints=33031 1512.94/1513.66 c nbDecision=1137000 #constraints=33037 1513.44/1514.17 c nbDecision=1137500 #constraints=33041 1514.04/1514.77 c nbDecision=1138000 #constraints=33045 1514.54/1515.27 c nbDecision=1138500 #constraints=33052 1515.33/1516.03 c nbDecision=1139000 #constraints=33058 1516.14/1516.89 c nbDecision=1139500 #constraints=33063 1516.43/1517.12 c nbDecision=1140000 #constraints=33065 1517.83/1518.55 c nbDecision=1140500 #constraints=33078 1518.83/1519.58 c nbDecision=1141000 #constraints=33094 1519.33/1520.05 c nbDecision=1141500 #constraints=33099 1519.63/1520.31 c nbDecision=1142000 #constraints=33101 1519.93/1520.62 c nbDecision=1142500 #constraints=33104 1520.73/1521.40 c nbDecision=1143000 #constraints=33112 1521.03/1521.78 c nbDecision=1143500 #constraints=33116 1521.64/1522.38 c nbDecision=1144000 #constraints=33122 1523.94/1524.61 c nbDecision=1144500 #constraints=33149 1525.13/1525.83 c nbDecision=1145000 #constraints=33165 1526.23/1526.98 c nbDecision=1145500 #constraints=33181 1526.93/1527.64 c nbDecision=1146000 #constraints=33189 1527.53/1528.27 c nbDecision=1146500 #constraints=33195 1528.33/1529.06 c nbDecision=1147000 #constraints=33199 1528.73/1529.40 c nbDecision=1147500 #constraints=33201 1529.73/1530.45 c nbDecision=1148000 #constraints=33209 1530.73/1531.49 c nbDecision=1148500 #constraints=33218 1531.53/1532.28 c nbDecision=1149000 #constraints=33226 1535.84/1536.59 c nbDecision=1149500 #constraints=33266 1536.14/1536.87 c nbDecision=1150000 #constraints=33269 1537.34/1538.00 c nbDecision=1150500 #constraints=33278 1537.64/1538.33 c nbDecision=1151000 #constraints=33280 1539.93/1540.69 c nbDecision=1151500 #constraints=33302 1541.33/1542.07 c nbDecision=1152000 #constraints=33313 1542.93/1543.63 c nbDecision=1152500 #constraints=33323 1544.53/1545.22 c nbDecision=1153000 #constraints=33332 1545.03/1545.78 c nbDecision=1153500 #constraints=33335 1545.43/1546.18 c nbDecision=1154000 #constraints=33338 1546.23/1546.99 c nbDecision=1154500 #constraints=33343 1549.83/1550.54 c nbDecision=1155000 #constraints=33372 1554.33/1555.00 c nbDecision=1155500 #constraints=33418 1554.93/1555.68 c nbDecision=1156000 #constraints=33428 1556.93/1557.68 c nbDecision=1156500 #constraints=33443 1558.43/1559.12 c nbDecision=1157000 #constraints=33452 1559.03/1559.72 c nbDecision=1157500 #constraints=33459 1559.52/1560.22 c nbDecision=1158000 #constraints=33469 1560.62/1561.37 c nbDecision=1158500 #constraints=33477 1562.12/1562.86 c nbDecision=1159000 #constraints=33486 1562.92/1563.60 c nbDecision=1159500 #constraints=33490 1564.72/1565.45 c nbDecision=1160000 #constraints=33501 1565.63/1566.31 c nbDecision=1160500 #constraints=33507 1566.02/1566.73 c nbDecision=1161000 #constraints=33510 1567.22/1567.97 c nbDecision=1161500 #constraints=33520 1568.02/1568.72 c nbDecision=1162000 #constraints=33527 1569.22/1569.91 c nbDecision=1162500 #constraints=33534 1571.42/1572.16 c nbDecision=1163000 #constraints=33555 1573.52/1574.21 c nbDecision=1163500 #constraints=33572 1576.52/1577.22 c nbDecision=1164000 #constraints=33604 1577.12/1577.85 c nbDecision=1164500 #constraints=33609 1578.02/1578.78 c nbDecision=1165000 #constraints=33615 1579.62/1580.32 c nbDecision=1165500 #constraints=33628 1580.51/1581.21 c nbDecision=1166000 #constraints=33634 1583.91/1584.62 c nbDecision=1166500 #constraints=33671 1585.81/1586.58 c nbDecision=1167000 #constraints=33689 1586.31/1587.05 c nbDecision=1167500 #constraints=33692 1587.61/1588.40 c nbDecision=1168000 #constraints=33703 1589.51/1590.26 c nbDecision=1168500 #constraints=33719 1590.41/1591.13 c nbDecision=1169000 #constraints=33725 1591.01/1591.75 c nbDecision=1169500 #constraints=33730 1592.61/1593.39 c nbDecision=1170000 #constraints=33743 1593.71/1594.44 c nbDecision=1170500 #constraints=33752 1594.61/1595.32 c nbDecision=1171000 #constraints=33759 1595.51/1596.22 c nbDecision=1171500 #constraints=33765 1596.31/1597.04 c nbDecision=1172000 #constraints=33770 1601.60/1602.39 c nbDecision=1172500 #constraints=33831 1602.20/1602.98 c nbDecision=1173000 #constraints=33836 1602.80/1603.55 c nbDecision=1173500 #constraints=33839 1603.70/1604.40 c nbDecision=1174000 #constraints=33846 1604.50/1605.22 c nbDecision=1174500 #constraints=33851 1605.31/1606.08 c nbDecision=1175000 #constraints=33856 1605.70/1606.43 c nbDecision=1175500 #constraints=33858 1606.50/1607.28 c nbDecision=1176000 #constraints=33864 1607.00/1607.71 c nbDecision=1176500 #constraints=33866 1607.60/1608.30 c nbDecision=1177000 #constraints=33869 1608.10/1608.81 c nbDecision=1177500 #constraints=33872 1608.70/1609.48 c nbDecision=1178000 #constraints=33880 1609.10/1609.80 c nbDecision=1178500 #constraints=33884 1609.40/1610.12 c nbDecision=1179000 #constraints=33885 1609.60/1610.34 c nbDecision=1179500 #constraints=33886 1612.30/1613.02 c nbDecision=1180000 #constraints=33920 1613.00/1613.75 c nbDecision=1180500 #constraints=33946 1618.21/1618.93 c nbDecision=1181000 #constraints=34013 1618.31/1619.07 c nbDecision=1181500 #constraints=34016 1618.51/1619.21 c nbDecision=1182000 #constraints=34020 1618.60/1619.34 c nbDecision=1182500 #constraints=34023 1618.70/1619.46 c nbDecision=1183000 #constraints=34026 1619.10/1619.80 c nbDecision=1183500 #constraints=34029 1619.30/1620.00 c nbDecision=1184000 #constraints=34030 1619.40/1620.19 c nbDecision=1184500 #constraints=34031 1619.80/1620.59 c nbDecision=1185000 #constraints=34035 1620.30/1621.02 c nbDecision=1185500 #constraints=34041 1620.40/1621.13 c nbDecision=1186000 #constraints=34041 1620.61/1621.35 c nbDecision=1186500 #constraints=34042 1621.00/1621.72 c nbDecision=1187000 #constraints=34047 1621.20/1621.99 c nbDecision=1187500 #constraints=34049 1621.50/1622.21 c nbDecision=1188000 #constraints=34050 1621.60/1622.33 c nbDecision=1188500 #constraints=34050 1621.81/1622.59 c nbDecision=1189000 #constraints=34052 1622.30/1623.07 c nbDecision=1189500 #constraints=34054 1623.70/1624.43 c nbDecision=1190000 #constraints=34068 1624.01/1624.75 c nbDecision=1190500 #constraints=34070 1625.40/1626.12 c nbDecision=1191000 #constraints=34080 1627.30/1628.01 c nbDecision=1191500 #constraints=34095 1628.80/1629.53 c nbDecision=1192000 #constraints=34106 1630.10/1630.85 c nbDecision=1192500 #constraints=34116 1631.20/1631.94 c nbDecision=1193000 #constraints=34125 1632.30/1633.08 c nbDecision=1193500 #constraints=34134 1632.90/1633.69 c nbDecision=1194000 #constraints=34140 1634.60/1635.36 c nbDecision=1194500 #constraints=34157 1636.99/1637.72 c nbDecision=1195000 #constraints=34187 1638.20/1638.90 c nbDecision=1195500 #constraints=34195 1639.30/1640.07 c nbDecision=1196000 #constraints=34201 1640.50/1641.24 c nbDecision=1196500 #constraints=34209 1641.69/1642.40 c nbDecision=1197000 #constraints=34217 1642.09/1642.88 c nbDecision=1197500 #constraints=34220 1642.70/1643.48 c nbDecision=1198000 #constraints=34225 1643.70/1644.49 c nbDecision=1198500 #constraints=34232 1644.39/1645.10 c nbDecision=1199000 #constraints=34236 1645.99/1646.77 c nbDecision=1199500 #constraints=34248 1646.89/1647.66 c nbDecision=1200000 #constraints=34257 1648.69/1649.42 c nbDecision=1200500 #constraints=34271 1649.89/1650.63 c nbDecision=1201000 #constraints=34279 1650.48/1651.28 c nbDecision=1201500 #constraints=34284 1650.78/1651.55 c nbDecision=1202000 #constraints=34286 1651.79/1652.52 c nbDecision=1202500 #constraints=34293 1653.69/1654.47 c nbDecision=1203000 #constraints=34319 1655.29/1656.07 c nbDecision=1203500 #constraints=34331 1656.69/1657.44 c nbDecision=1204000 #constraints=34339 1657.99/1658.73 c nbDecision=1204500 #constraints=34348 1659.19/1659.93 c nbDecision=1205000 #constraints=34360 1660.39/1661.13 c nbDecision=1205500 #constraints=34374 1661.89/1662.68 c nbDecision=1206000 #constraints=34387 1662.99/1663.77 c nbDecision=1206500 #constraints=34395 1664.48/1665.30 c nbDecision=1207000 #constraints=34404 1665.28/1666.03 c nbDecision=1207500 #constraints=34413 1666.18/1666.95 c nbDecision=1208000 #constraints=34418 1668.78/1669.57 c nbDecision=1208500 #constraints=34437 1669.58/1670.34 c nbDecision=1209000 #constraints=34444 1671.48/1672.25 c nbDecision=1209500 #constraints=34464 1671.88/1672.62 c nbDecision=1210000 #constraints=34466 1674.18/1674.94 c nbDecision=1210500 #constraints=34484 1674.68/1675.48 c nbDecision=1211000 #constraints=34493 1677.08/1677.85 c nbDecision=1211500 #constraints=34512 1677.48/1678.24 c nbDecision=1212000 #constraints=34514 1678.57/1679.33 c nbDecision=1212500 #constraints=34530 1680.27/1681.09 c nbDecision=1213000 #constraints=34544 1681.87/1682.66 c nbDecision=1213500 #constraints=34562 1682.57/1683.38 c nbDecision=1214000 #constraints=34567 1683.67/1684.45 c nbDecision=1214500 #constraints=34574 1684.57/1685.38 c nbDecision=1215000 #constraints=34588 1685.97/1686.74 c nbDecision=1215500 #constraints=34598 1687.17/1687.91 c nbDecision=1216000 #constraints=34619 1688.77/1689.54 c nbDecision=1216500 #constraints=34631 1689.87/1690.68 c nbDecision=1217000 #constraints=34638 1692.57/1693.38 c nbDecision=1217500 #constraints=34663 1694.77/1695.56 c nbDecision=1218000 #constraints=34689 1696.67/1697.40 c nbDecision=1218500 #constraints=34708 1697.76/1698.50 c nbDecision=1219000 #constraints=34714 1699.87/1700.60 c nbDecision=1219500 #constraints=34730 1701.36/1702.10 c nbDecision=1220000 #constraints=34738 1701.86/1702.68 c nbDecision=1220500 #constraints=34749 1703.07/1703.81 c nbDecision=1221000 #constraints=34758 1704.26/1705.07 c nbDecision=1221500 #constraints=34772 1705.16/1705.92 c nbDecision=1222000 #constraints=34777 1706.06/1706.85 c nbDecision=1222500 #constraints=34784 1707.16/1707.97 c nbDecision=1223000 #constraints=34800 1707.97/1708.74 c nbDecision=1223500 #constraints=34820 1709.07/1709.85 c nbDecision=1224000 #constraints=34837 1709.77/1710.59 c nbDecision=1224500 #constraints=34857 1711.17/1711.99 c nbDecision=1225000 #constraints=34866 1711.97/1712.73 c nbDecision=1225500 #constraints=34870 1712.27/1713.04 c nbDecision=1226000 #constraints=34872 1715.37/1716.18 c nbDecision=1226500 #constraints=34896 1717.96/1718.76 c nbDecision=1227000 #constraints=34915 1720.06/1720.84 c nbDecision=1227500 #constraints=34942 1721.36/1722.12 c nbDecision=1228000 #constraints=34948 1721.96/1722.79 c nbDecision=1228500 #constraints=34959 1722.97/1723.70 c nbDecision=1229000 #constraints=34964 1724.36/1725.12 c nbDecision=1229500 #constraints=34984 1725.56/1726.30 c nbDecision=1230000 #constraints=34990 1726.66/1727.42 c nbDecision=1230500 #constraints=34999 1726.96/1727.72 c nbDecision=1231000 #constraints=35002 1727.27/1728.07 c nbDecision=1231500 #constraints=35005 1728.66/1729.46 c nbDecision=1232000 #constraints=35012 1729.66/1730.42 c nbDecision=1232500 #constraints=35018 1730.46/1731.25 c nbDecision=1233000 #constraints=35022 1730.96/1731.70 c nbDecision=1233500 #constraints=35028 1731.46/1732.27 c nbDecision=1234000 #constraints=35032 1732.76/1733.55 c nbDecision=1234500 #constraints=35051 1734.96/1735.74 c nbDecision=1235000 #constraints=35070 1735.76/1736.53 c nbDecision=1235500 #constraints=35081 1736.86/1737.62 c nbDecision=1236000 #constraints=35096 1738.65/1739.47 c nbDecision=1236500 #constraints=35104 1739.75/1740.56 c nbDecision=1237000 #constraints=35113 1742.55/1743.38 c nbDecision=1237500 #constraints=35135 1744.25/1745.06 c nbDecision=1238000 #constraints=35154 1745.25/1746.04 c nbDecision=1238500 #constraints=35169 1745.65/1746.43 c nbDecision=1239000 #constraints=35171 1746.05/1746.83 c nbDecision=1239500 #constraints=35179 1746.75/1747.56 c nbDecision=1240000 #constraints=35186 1748.15/1748.96 c nbDecision=1240500 #constraints=35198 1748.95/1749.73 c nbDecision=1241000 #constraints=35205 1750.55/1751.31 c nbDecision=1241500 #constraints=35213 1750.94/1751.72 c nbDecision=1242000 #constraints=35216 1751.14/1751.95 c nbDecision=1242500 #constraints=35219 1751.34/1752.17 c nbDecision=1243000 #constraints=35222 1751.64/1752.49 c nbDecision=1243500 #constraints=35225 1752.65/1753.40 c nbDecision=1244000 #constraints=35229 1753.54/1754.39 c nbDecision=1244500 #constraints=35234 1754.94/1755.75 c nbDecision=1245000 #constraints=35248 1755.34/1756.19 c nbDecision=1245500 #constraints=35251 1755.95/1756.78 c nbDecision=1246000 #constraints=35255 1756.84/1757.69 c nbDecision=1246500 #constraints=35260 1759.44/1760.26 c nbDecision=1247000 #constraints=35295 1759.84/1760.61 c nbDecision=1247500 #constraints=35305 1759.94/1760.74 c nbDecision=1248000 #constraints=35309 1760.24/1761.00 c nbDecision=1248500 #constraints=35313 1760.84/1761.63 c nbDecision=1249000 #constraints=35319 1761.14/1761.90 c nbDecision=1249500 #constraints=35321 1761.54/1762.37 c nbDecision=1250000 #constraints=35325 1761.94/1762.76 c nbDecision=1250500 #constraints=35335 1762.14/1762.96 c nbDecision=1251000 #constraints=35339 1762.54/1763.32 c nbDecision=1251500 #constraints=35342 1762.74/1763.51 c nbDecision=1252000 #constraints=35342 1765.34/1766.18 c nbDecision=1252500 #constraints=35358 1767.44/1768.29 c nbDecision=1253000 #constraints=35367 1769.54/1770.39 c nbDecision=1253500 #constraints=35379 1772.34/1773.18 c nbDecision=1254000 #constraints=35395 1772.53/1773.37 c nbDecision=1254500 #constraints=35395 1774.43/1775.23 c nbDecision=1255000 #constraints=35405 1776.33/1777.12 c nbDecision=1255500 #constraints=35421 1777.23/1778.07 c nbDecision=1256000 #constraints=35428 1777.53/1778.30 c nbDecision=1256500 #constraints=35431 1778.13/1778.98 c nbDecision=1257000 #constraints=35437 1780.13/1780.95 c nbDecision=1257500 #constraints=35446 1782.33/1783.13 c nbDecision=1258000 #constraints=35465 1783.63/1784.41 c nbDecision=1258500 #constraints=35473 1783.83/1784.61 c nbDecision=1259000 #constraints=35475 1784.84/1785.68 c nbDecision=1259500 #constraints=35484 1787.04/1787.89 c nbDecision=1260000 #constraints=35495 1787.74/1788.57 c nbDecision=1260500 #constraints=35498 1789.54/1790.36 c nbDecision=1261000 #constraints=35507 1790.53/1791.33 c nbDecision=1261500 #constraints=35511 1792.73/1793.54 c nbDecision=1262000 #constraints=35531 1792.93/1793.71 c nbDecision=1262500 #constraints=35531 1793.63/1794.46 c nbDecision=1263000 #constraints=35536 1794.23/1795.05 c nbDecision=1263500 #constraints=35545 1794.53/1795.30 c nbDecision=1264000 #constraints=35548 1794.73/1795.51 c nbDecision=1264500 #constraints=35550 1795.73/1796.55 c nbDecision=1265000 #constraints=35557 1796.33/1797.19 c nbDecision=1265500 #constraints=35559 1797.03/1797.83 c nbDecision=1266000 #constraints=35563 1798.13/1798.98 c nbDecision=1266500 #constraints=35571 1799.73/1800.53 c nbDecision=1267000 #constraints=35590 1800.04/1800.80 Received signal 15 1800.04/1800.80 1800.04/1800.80 s UNKNOWN 1800.04/1800.80 1800.04/1800.80 c user time= 1799.67 s 1800.04/1800.80 c system time= 0.371943 s 1800.04/1800.80 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/node66/watcher-357250-1176992412 -o ROOT/results/node66/solver-357250-1176992412 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357250-1176992412/instance-357250-1176992412.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.98 3/64 25369 /proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=1468 CPUtime=0 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175230782 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 367 161 126 317 0 46 0 [startup+0.0175689 s] /proc/loadavg: 0.78 0.95 0.98 3/64 25369 /proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=1752 CPUtime=0.01 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 236 0 0 0 1 0 0 0 18 0 1 0 175230782 1794048 218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 438 218 126 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101585 s] /proc/loadavg: 0.78 0.95 0.98 3/64 25369 /proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=3104 CPUtime=0.09 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 615 0 0 0 9 0 0 0 18 0 1 0 175230782 3178496 564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 776 565 131 317 0 455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3104 [startup+0.301625 s] /proc/loadavg: 0.78 0.95 0.98 3/64 25369 /proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=6536 CPUtime=0.29 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 1459 0 0 0 28 1 0 0 19 0 1 0 175230782 6692864 1408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 1634 1408 131 317 0 1313 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6536 [startup+0.701706 s] /proc/loadavg: 0.78 0.95 0.98 3/64 25369 /proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=12080 CPUtime=0.69 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 2837 0 0 0 68 1 0 0 22 0 1 0 175230782 12369920 2786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 3020 2787 131 317 0 2699 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12080 [startup+1.50186 s] /proc/loadavg: 0.78 0.95 0.98 2/65 25370 /proc/meminfo: memFree=1444056/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=18716 CPUtime=1.49 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 4512 0 0 0 147 2 0 0 25 0 1 0 175230782 19165184 4461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 4679 4461 138 317 0 4358 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18716 [startup+3.10118 s] /proc/loadavg: 0.78 0.95 0.98 2/65 25370 /proc/meminfo: memFree=1443928/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=19100 CPUtime=3.09 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 4609 0 0 0 306 3 0 0 25 0 1 0 175230782 19558400 4495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 4775 4495 139 317 0 4454 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19100 [startup+6.30182 s] /proc/loadavg: 0.80 0.95 0.98 2/65 25370 /proc/meminfo: memFree=1443608/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=19228 CPUtime=6.29 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 4665 0 0 0 626 3 0 0 25 0 1 0 175230782 19689472 4551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 4807 4551 170 317 0 4486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19228 [startup+12.7021 s] /proc/loadavg: 0.81 0.95 0.98 2/65 25370 /proc/meminfo: memFree=1441696/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=21336 CPUtime=12.69 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 5211 0 0 0 1265 4 0 0 25 0 1 0 175230782 21848064 5097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 5334 5097 170 317 0 5013 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21336 [startup+25.5017 s] /proc/loadavg: 0.85 0.95 0.98 2/65 25370 /proc/meminfo: memFree=1436320/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=26720 CPUtime=25.48 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 6530 0 0 0 2543 5 0 0 25 0 1 0 175230782 27361280 6416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 6680 6416 170 317 0 6359 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26720 [startup+51.1018 s] /proc/loadavg: 0.90 0.96 0.98 2/65 25370 /proc/meminfo: memFree=1427872/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=35472 CPUtime=51.07 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 8682 0 0 0 5101 6 0 0 25 0 1 0 175230782 36323328 8568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 8868 8568 170 317 0 8547 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35472 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/65 25370 /proc/meminfo: memFree=1418784/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=45052 CPUtime=102.25 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 10911 0 0 0 10218 7 0 0 25 0 1 0 175230782 46133248 10797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 11263 10797 170 317 0 10942 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 45052 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1410080/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=53720 CPUtime=162.22 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 13111 0 0 0 16213 9 0 0 25 0 1 0 175230782 55009280 12997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 13430 12997 170 317 0 13109 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 53720 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1402464/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=61152 CPUtime=222.2 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 14970 0 0 0 22209 11 0 0 25 0 1 0 175230782 62619648 14856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 15288 14856 170 317 0 14967 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 61152 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1392928/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=72864 CPUtime=282.19 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 17485 0 0 0 28206 13 0 0 25 0 1 0 175230782 74612736 17246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 18216 17246 170 317 0 17895 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 72864 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1384480/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=81608 CPUtime=342.17 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 19585 0 0 0 34202 15 0 0 25 0 1 0 175230782 83566592 19346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 20402 19346 170 317 0 20081 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 81608 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1378400/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=87324 CPUtime=402.14 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 21100 0 0 0 40198 16 0 0 25 0 1 0 175230782 89419776 20861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 21831 20861 170 317 0 21510 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 87324 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1374496/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=91780 CPUtime=462.11 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 22073 0 0 0 46195 16 0 0 25 0 1 0 175230782 93982720 21834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 22945 21834 170 317 0 22624 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 91780 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1370848/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=95236 CPUtime=522.08 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 22986 0 0 0 52190 18 0 0 25 0 1 0 175230782 97521664 22747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 23809 22747 170 317 0 23488 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 95236 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1365792/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=100624 CPUtime=582.06 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 24244 0 0 0 58187 19 0 0 25 0 1 0 175230782 103038976 24005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 25156 24005 170 317 0 24835 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 100624 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1360544/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=105468 CPUtime=642.04 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 25553 0 0 0 64184 20 0 0 25 0 1 0 175230782 107999232 25314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 26367 25314 170 317 0 26046 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 105468 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1348704/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=116576 CPUtime=821.94 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 28482 0 0 0 82171 23 0 0 25 0 1 0 175230782 119373824 28243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 29144 28243 170 317 0 28823 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 116576 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1345056/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=121776 CPUtime=881.91 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 29757 0 0 0 88168 23 0 0 25 0 1 0 175230782 124698624 29155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 30444 29155 170 317 0 30123 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 121776 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1341408/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=126988 CPUtime=941.89 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 31012 0 0 0 94165 24 0 0 25 0 1 0 175230782 130035712 30080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 31747 30080 170 317 0 31426 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 126988 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1338080/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=130012 CPUtime=1001.86 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 31860 0 0 0 100161 25 0 0 25 0 1 0 175230782 133132288 30895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 32503 30895 170 317 0 32182 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 130012 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1334624/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=135216 CPUtime=1061.83 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 33050 0 0 0 106157 26 0 0 25 0 1 0 175230782 138461184 31755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 33804 31755 170 317 0 33483 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 135216 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1331360/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=138088 CPUtime=1121.8 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 33866 0 0 0 112153 27 0 0 25 0 1 0 175230782 141402112 32571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 34522 32571 170 317 0 34201 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 138088 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25370 /proc/meminfo: memFree=1328480/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=140704 CPUtime=1181.78 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 34609 0 0 0 118150 28 0 0 25 0 1 0 175230782 144080896 33314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 35176 33314 170 317 0 34855 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 140704 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1324768/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=146012 CPUtime=1241.76 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 35829 0 0 0 124147 29 0 0 25 0 1 0 175230782 149516288 34204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 36503 34204 170 317 0 36182 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 146012 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1321568/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=148892 CPUtime=1301.73 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 36617 0 0 0 130144 29 0 0 25 0 1 0 175230782 152465408 34992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 37223 34992 170 317 0 36902 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 148892 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1318432/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=151652 CPUtime=1361.7 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 37398 0 0 0 136140 30 0 0 25 0 1 0 175230782 155291648 35773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 37913 35773 170 317 0 37592 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 151652 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1314400/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=155252 CPUtime=1421.69 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 38411 0 0 0 142138 31 0 0 25 0 1 0 175230782 158978048 36786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 38813 36786 170 317 0 38492 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 155252 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1309984/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=161248 CPUtime=1481.66 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 39892 0 0 0 148134 32 0 0 25 0 1 0 175230782 165117952 37904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 40312 37904 170 317 0 39991 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 161248 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1306592/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=164524 CPUtime=1541.63 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 40798 0 0 0 154130 33 0 0 25 0 1 0 175230782 168472576 38744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 41131 38744 170 317 0 40810 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 164524 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1303136/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=167552 CPUtime=1601.6 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 41666 0 0 0 160127 33 0 0 25 0 1 0 175230782 171573248 39612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 41888 39612 170 317 0 41567 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 167552 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1299808/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=172480 CPUtime=1661.59 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 42856 0 0 0 166124 35 0 0 25 0 1 0 175230782 176619520 40439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 43120 40439 170 317 0 42799 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 172480 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1296608/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=175192 CPUtime=1721.56 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 43635 0 0 0 172120 36 0 0 25 0 1 0 175230782 179396608 41218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 43798 41218 170 317 0 43477 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 175192 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1294112/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=177552 CPUtime=1781.53 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 44294 0 0 0 178117 36 0 0 25 0 1 0 175230782 181813248 41844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 44388 41844 170 317 0 44067 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 177552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25372 /proc/meminfo: memFree=1293472/2055920 swapFree=4182980/4192956 [pid=25369] ppid=25367 vsize=178068 CPUtime=1800.04 /proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 44439 0 0 0 179967 37 0 0 25 0 1 0 175230782 182341632 41989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25369/statm: 44517 41989 170 317 0 44196 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 178068 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.08 CPU user time (s): 1799.68 CPU system time (s): 0.400939 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (KiB): 178068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.400939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44455 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= 3264 runsolver used 1.3378 second user time and 3.74243 second system time The end
Begin job on node66 on Thu Apr 19 14:20:12 UTC 2007 IDJOB= 357250 IDBENCH= 2312 IDSOLVER= 172 FILE ID= node66/357250-1176992412 PBS_JOBID= 4630470 Free space on /tmp= 66405 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb COMMAND LINE= oree /tmp/evaluation/357250-1176992412/instance-357250-1176992412.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-357250-1176992412 -o ROOT/results/node66/solver-357250-1176992412 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357250-1176992412/instance-357250-1176992412.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= edd986756231058ab35f21017ebd98b6 RANDOM SEED= 130858643 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 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: 1461880 kB Buffers: 29396 kB Cached: 494112 kB SwapCached: 3696 kB Active: 209368 kB Inactive: 323320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1461880 kB SwapTotal: 4192956 kB SwapFree: 4182980 kB Dirty: 4968 kB Writeback: 0 kB Mapped: 15152 kB Slab: 47404 kB Committed_AS: 828924 kB PageTables: 1376 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= 66405 MiB End job on node66 on Thu Apr 19 14:50:15 UTC 2007