Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb |
MD5SUM | a849a24692bdc034ba3174a2ba23709e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 177.361 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 601 |
Total number of constraints | 1089 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 36 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 99 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 682 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.01/0.06 c ...done 0.01/0.06 c #vars=601 #constraints=1090 hasObjective=yes 0.01/0.07 c res. mode=mod 0.01/0.07 c VSIDS like heuristics 0.01/0.07 c complete search running 0.01/0.08 c restart after 401 decisions 0.01/0.09 c nbDecision=500 #constraints=1091 0.01/0.09 c restart after 801 decisions 0.09/0.10 c nbDecision=1000 #constraints=1092 0.09/0.11 c nbDecision=1500 #constraints=1094 0.09/0.11 c restart after 1601 decisions 0.09/0.12 c nbDecision=2000 #constraints=1096 0.09/0.13 c nbDecision=2500 #constraints=1097 0.09/0.14 c nbDecision=3000 #constraints=1099 0.09/0.14 c restart after 3201 decisions 0.09/0.15 c nbDecision=3500 #constraints=1100 0.09/0.16 c nbDecision=4000 #constraints=1102 0.09/0.17 c nbDecision=4500 #constraints=1105 0.09/0.18 c nbDecision=5000 #constraints=1106 0.09/0.19 c nbDecision=5500 #constraints=1108 0.19/0.20 c nbDecision=6000 #constraints=1109 0.19/0.21 c restart after 6401 decisions 0.19/0.22 c nbDecision=6500 #constraints=1111 0.19/0.23 c nbDecision=7000 #constraints=1112 0.19/0.24 c nbDecision=7500 #constraints=1114 0.19/0.25 c nbDecision=8000 #constraints=1116 0.19/0.26 c nbDecision=8500 #constraints=1118 0.19/0.27 c nbDecision=9000 #constraints=1120 0.19/0.28 c nbDecision=9500 #constraints=1123 0.19/0.29 c nbDecision=10000 #constraints=1124 0.29/0.30 c nbDecision=10500 #constraints=1126 0.29/0.31 c nbDecision=11000 #constraints=1128 0.29/0.36 c nbDecision=11500 #constraints=1165 0.29/0.37 c nbDecision=12000 #constraints=1168 0.29/0.38 c nbDecision=12500 #constraints=1171 0.29/0.39 c restart after 12801 decisions 0.29/0.40 c nbDecision=13000 #constraints=1172 0.39/0.42 c nbDecision=13500 #constraints=1182 0.39/0.43 c nbDecision=14000 #constraints=1191 0.39/0.44 c nbDecision=14500 #constraints=1195 0.39/0.45 c nbDecision=15000 #constraints=1197 0.39/0.47 c nbDecision=15500 #constraints=1205 0.39/0.48 c nbDecision=16000 #constraints=1209 0.49/0.50 c nbDecision=16500 #constraints=1221 0.49/0.52 c nbDecision=17000 #constraints=1227 0.49/0.53 c nbDecision=17500 #constraints=1235 0.49/0.54 c nbDecision=18000 #constraints=1240 0.49/0.57 c nbDecision=18500 #constraints=1261 0.59/0.60 c nbDecision=19000 #constraints=1286 0.59/0.65 c nbDecision=19500 #constraints=1330 0.69/0.73 c nbDecision=20000 #constraints=1382 0.69/0.75 c nbDecision=20500 #constraints=1399 0.69/0.79 c nbDecision=21000 #constraints=1423 0.79/0.82 c nbDecision=21500 #constraints=1443 0.79/0.83 c nbDecision=22000 #constraints=1451 0.79/0.89 c nbDecision=22500 #constraints=1506 0.89/0.94 c nbDecision=23000 #constraints=1551 0.89/0.97 c nbDecision=23500 #constraints=1573 0.89/0.99 c nbDecision=24000 #constraints=1583 1.00/1.00 c nbDecision=24500 #constraints=1585 1.00/1.01 c nbDecision=25000 #constraints=1587 1.00/1.02 c nbDecision=25500 #constraints=1592 1.00/1.02 c restart after 25601 decisions 1.00/1.03 c nbDecision=26000 #constraints=1593 1.00/1.04 c nbDecision=26500 #constraints=1596 1.00/1.06 c nbDecision=27000 #constraints=1598 1.00/1.07 c nbDecision=27500 #constraints=1602 1.00/1.08 c nbDecision=28000 #constraints=1605 1.00/1.09 c nbDecision=28500 #constraints=1606 1.00/1.10 c nbDecision=29000 #constraints=1608 1.10/1.11 c nbDecision=29500 #constraints=1610 1.10/1.12 c nbDecision=30000 #constraints=1614 1.10/1.13 c nbDecision=30500 #constraints=1619 1.10/1.14 c nbDecision=31000 #constraints=1623 1.10/1.15 c nbDecision=31500 #constraints=1628 1.19/1.20 c nbDecision=32000 #constraints=1667 1.19/1.24 c nbDecision=32500 #constraints=1699 1.19/1.26 c nbDecision=33000 #constraints=1705 1.19/1.28 c nbDecision=33500 #constraints=1717 1.29/1.34 c nbDecision=34000 #constraints=1757 1.29/1.38 c nbDecision=34500 #constraints=1793 1.39/1.41 c nbDecision=35000 #constraints=1806 1.39/1.44 c nbDecision=35500 #constraints=1822 1.49/1.53 c nbDecision=36000 #constraints=1877 1.49/1.57 c nbDecision=36500 #constraints=1897 1.59/1.61 c nbDecision=37000 #constraints=1922 1.59/1.66 c nbDecision=37500 #constraints=1959 1.69/1.72 c nbDecision=38000 #constraints=2003 1.69/1.78 c nbDecision=38500 #constraints=2040 1.79/1.88 c nbDecision=39000 #constraints=2095 1.89/1.97 c nbDecision=39500 #constraints=2145 1.99/2.07 c nbDecision=40000 #constraints=2203 2.10/2.13 c nbDecision=40500 #constraints=2228 2.20/2.23 c nbDecision=41000 #constraints=2267 2.29/2.33 c nbDecision=41500 #constraints=2321 2.39/2.43 c nbDecision=42000 #constraints=2372 2.49/2.52 c nbDecision=42500 #constraints=2418 2.59/2.63 c nbDecision=43000 #constraints=2466 2.69/2.77 c nbDecision=43500 #constraints=2531 2.79/2.87 c nbDecision=44000 #constraints=2575 2.89/2.95 c nbDecision=44500 #constraints=2602 2.99/3.05 c nbDecision=45000 #constraints=2637 3.19/3.21 c nbDecision=45500 #constraints=2704 3.29/3.39 c nbDecision=46000 #constraints=2784 3.49/3.53 c nbDecision=46500 #constraints=2840 3.59/3.69 c nbDecision=47000 #constraints=2902 3.79/3.87 c nbDecision=47500 #constraints=2970 3.99/4.03 c nbDecision=48000 #constraints=3018 4.09/4.18 c nbDecision=48500 #constraints=3068 4.19/4.28 c nbDecision=49000 #constraints=3106 4.49/4.50 c nbDecision=49500 #constraints=3176 4.59/4.68 c nbDecision=50000 #constraints=3230 4.69/4.79 c nbDecision=50500 #constraints=3262 4.89/4.96 c nbDecision=51000 #constraints=3307 5.09/5.11 c restart after 51201 decisions 5.09/5.15 c nbDecision=51500 #constraints=3354 5.39/5.42 c nbDecision=52000 #constraints=3430 5.79/5.86 c nbDecision=52500 #constraints=3542 6.09/6.13 c nbDecision=53000 #constraints=3616 6.39/6.42 c nbDecision=53500 #constraints=3678 6.39/6.45 c nbDecision=54000 #constraints=3680 6.49/6.57 c nbDecision=54500 #constraints=3709 6.78/6.88 c nbDecision=55000 #constraints=3782 7.08/7.17 c nbDecision=55500 #constraints=3844 7.48/7.58 c nbDecision=56000 #constraints=3938 8.09/8.16 c nbDecision=56500 #constraints=4054 8.39/8.40 c nbDecision=57000 #constraints=4099 8.80/8.85 c nbDecision=57500 #constraints=4189 9.49/9.53 c nbDecision=58000 #constraints=4312 9.99/10.05 c nbDecision=58500 #constraints=4405 10.39/10.45 c nbDecision=59000 #constraints=4478 10.99/11.06 c nbDecision=59500 #constraints=4592 11.79/11.82 c nbDecision=60000 #constraints=4730 12.29/12.38 c nbDecision=60500 #constraints=4828 13.19/13.23 c nbDecision=61000 #constraints=4935 14.29/14.35 c nbDecision=61500 #constraints=5111 15.09/15.18 c nbDecision=62000 #constraints=5224 16.18/16.21 c nbDecision=62500 #constraints=5364 16.78/16.87 c nbDecision=63000 #constraints=5437 17.28/17.35 c nbDecision=63500 #constraints=5491 18.38/18.41 c nbDecision=64000 #constraints=5618 19.28/19.33 c nbDecision=64500 #constraints=5736 20.29/20.39 c nbDecision=65000 #constraints=5859 21.79/21.83 c nbDecision=65500 #constraints=6028 22.59/22.69 c nbDecision=66000 #constraints=6130 23.59/23.62 c nbDecision=66500 #constraints=6227 24.89/24.92 c nbDecision=67000 #constraints=6370 25.89/25.96 c nbDecision=67500 #constraints=6473 27.58/27.67 c nbDecision=68000 #constraints=6653 29.28/29.34 c nbDecision=68500 #constraints=6833 31.08/31.15 c nbDecision=69000 #constraints=7011 33.28/33.38 c nbDecision=69500 #constraints=7195 35.68/35.71 c nbDecision=70000 #constraints=7383 36.78/36.80 c nbDecision=70500 #constraints=7478 38.39/38.40 c nbDecision=71000 #constraints=7610 40.18/40.29 c nbDecision=71500 #constraints=7776 42.28/42.38 c nbDecision=72000 #constraints=7936 42.68/42.77 c nbDecision=72500 #constraints=7960 44.68/44.74 c nbDecision=73000 #constraints=8106 46.88/46.99 c nbDecision=73500 #constraints=8269 48.38/48.40 c nbDecision=74000 #constraints=8362 49.38/49.41 c nbDecision=74500 #constraints=8436 51.88/51.93 c nbDecision=75000 #constraints=8607 53.98/54.00 c nbDecision=75500 #constraints=8755 56.48/56.59 c nbDecision=76000 #constraints=8939 58.28/58.34 c nbDecision=76500 #constraints=9064 59.58/59.65 c nbDecision=77000 #constraints=9143 62.47/62.54 c nbDecision=77500 #constraints=9304 63.37/63.50 c nbDecision=78000 #constraints=9360 63.78/63.82 c nbDecision=78500 #constraints=9372 63.97/64.05 c nbDecision=79000 #constraints=9377 64.07/64.12 c nbDecision=79500 #constraints=9380 64.17/64.25 c nbDecision=80000 #constraints=9384 64.27/64.33 c nbDecision=80500 #constraints=9387 64.37/64.47 c nbDecision=81000 #constraints=9391 64.47/64.55 c nbDecision=81500 #constraints=9394 65.07/65.13 c nbDecision=82000 #constraints=9432 65.98/66.05 c nbDecision=82500 #constraints=9489 67.57/67.67 c nbDecision=83000 #constraints=9599 68.37/68.40 c nbDecision=83500 #constraints=9631 68.47/68.59 c nbDecision=84000 #constraints=9643 68.67/68.72 c nbDecision=84500 #constraints=9649 68.87/68.92 c nbDecision=85000 #constraints=9667 68.97/69.07 c nbDecision=85500 #constraints=9674 69.17/69.21 c nbDecision=86000 #constraints=9680 69.27/69.39 c nbDecision=86500 #constraints=9692 69.47/69.53 c nbDecision=87000 #constraints=9696 69.57/69.68 c nbDecision=87500 #constraints=9701 69.77/69.81 c nbDecision=88000 #constraints=9705 69.77/69.88 c nbDecision=88500 #constraints=9708 69.87/69.95 c nbDecision=89000 #constraints=9713 69.97/70.02 c nbDecision=89500 #constraints=9716 69.97/70.08 c nbDecision=90000 #constraints=9719 70.07/70.19 c nbDecision=90500 #constraints=9724 70.17/70.25 c nbDecision=91000 #constraints=9726 70.27/70.34 c nbDecision=91500 #constraints=9730 70.37/70.44 c nbDecision=92000 #constraints=9735 70.47/70.52 c nbDecision=92500 #constraints=9738 70.57/70.61 c nbDecision=93000 #constraints=9742 70.57/70.69 c nbDecision=93500 #constraints=9745 70.67/70.77 c nbDecision=94000 #constraints=9748 71.07/71.14 c nbDecision=94500 #constraints=9769 71.27/71.32 c nbDecision=95000 #constraints=9777 71.47/71.58 c nbDecision=95500 #constraints=9790 71.77/71.87 c nbDecision=96000 #constraints=9805 72.27/72.38 c nbDecision=96500 #constraints=9834 72.77/72.83 c nbDecision=97000 #constraints=9861 73.17/73.24 c nbDecision=97500 #constraints=9889 74.07/74.17 c nbDecision=98000 #constraints=9957 75.38/75.44 c nbDecision=98500 #constraints=10047 75.68/75.72 c nbDecision=99000 #constraints=10063 77.67/77.76 c nbDecision=99500 #constraints=10204 78.47/78.57 c nbDecision=100000 #constraints=10251 78.87/78.90 c nbDecision=100500 #constraints=10264 79.37/79.40 c nbDecision=101000 #constraints=10301 79.87/79.97 c nbDecision=101500 #constraints=10335 80.18/80.27 c nbDecision=102000 #constraints=10344 80.28/80.36 c restart after 102401 decisions 80.57/80.61 c nbDecision=102500 #constraints=10347 80.67/80.72 c nbDecision=103000 #constraints=10351 80.97/81.00 c nbDecision=103500 #constraints=10370 81.17/81.23 c nbDecision=104000 #constraints=10380 81.38/81.44 c nbDecision=104500 #constraints=10390 81.57/81.63 c nbDecision=105000 #constraints=10398 81.77/81.81 c nbDecision=105500 #constraints=10409 82.17/82.23 c nbDecision=106000 #constraints=10434 82.27/82.37 c nbDecision=106500 #constraints=10438 82.48/82.53 c nbDecision=107000 #constraints=10445 82.57/82.65 c nbDecision=107500 #constraints=10452 82.77/82.85 c nbDecision=108000 #constraints=10463 83.48/83.57 c nbDecision=108500 #constraints=10506 84.47/84.52 c nbDecision=109000 #constraints=10566 85.07/85.11 c nbDecision=109500 #constraints=10599 85.57/85.63 c nbDecision=110000 #constraints=10629 85.67/85.79 c nbDecision=110500 #constraints=10634 85.97/86.09 c nbDecision=111000 #constraints=10652 86.27/86.32 c nbDecision=111500 #constraints=10658 86.47/86.51 c nbDecision=112000 #constraints=10664 86.57/86.69 c nbDecision=112500 #constraints=10671 86.77/86.87 c nbDecision=113000 #constraints=10678 86.97/87.00 c nbDecision=113500 #constraints=10682 87.17/87.25 c nbDecision=114000 #constraints=10689 87.37/87.45 c nbDecision=114500 #constraints=10695 87.67/87.77 c nbDecision=115000 #constraints=10704 87.87/87.91 c nbDecision=115500 #constraints=10708 87.87/87.99 c nbDecision=116000 #constraints=10714 87.97/88.09 c nbDecision=116500 #constraints=10720 88.07/88.18 c nbDecision=117000 #constraints=10724 88.27/88.39 c nbDecision=117500 #constraints=10736 88.47/88.54 c nbDecision=118000 #constraints=10745 88.67/88.72 c nbDecision=118500 #constraints=10755 88.77/88.89 c nbDecision=119000 #constraints=10762 88.97/89.05 c nbDecision=119500 #constraints=10769 89.17/89.23 c nbDecision=120000 #constraints=10776 89.37/89.44 c nbDecision=120500 #constraints=10782 89.57/89.67 c nbDecision=121000 #constraints=10792 89.87/89.90 c nbDecision=121500 #constraints=10803 90.17/90.22 c nbDecision=122000 #constraints=10830 90.57/90.62 c nbDecision=122500 #constraints=10852 90.57/90.68 c nbDecision=123000 #constraints=10855 90.67/90.75 c nbDecision=123500 #constraints=10859 90.77/90.83 c nbDecision=124000 #constraints=10863 90.97/91.01 c nbDecision=124500 #constraints=10874 91.27/91.38 c nbDecision=125000 #constraints=10898 91.67/91.74 c nbDecision=125500 #constraints=10921 92.17/92.29 c nbDecision=126000 #constraints=10960 92.67/92.71 c nbDecision=126500 #constraints=10986 92.77/92.84 c nbDecision=127000 #constraints=10990 92.87/92.94 c nbDecision=127500 #constraints=10994 92.97/93.09 c nbDecision=128000 #constraints=10999 93.07/93.19 c nbDecision=128500 #constraints=11004 93.37/93.45 c nbDecision=129000 #constraints=11024 93.67/93.76 c nbDecision=129500 #constraints=11047 93.97/94.07 c nbDecision=130000 #constraints=11062 94.17/94.29 c nbDecision=130500 #constraints=11071 94.37/94.43 c nbDecision=131000 #constraints=11078 94.57/94.69 c nbDecision=131500 #constraints=11089 94.87/94.97 c nbDecision=132000 #constraints=11105 95.07/95.15 c nbDecision=132500 #constraints=11117 95.37/95.44 c nbDecision=133000 #constraints=11132 95.77/95.87 c nbDecision=133500 #constraints=11157 96.07/96.12 c nbDecision=134000 #constraints=11171 96.27/96.39 c nbDecision=134500 #constraints=11186 96.46/96.55 c nbDecision=135000 #constraints=11195 96.67/96.73 c nbDecision=135500 #constraints=11203 96.86/96.97 c nbDecision=136000 #constraints=11215 97.06/97.17 c nbDecision=136500 #constraints=11225 97.26/97.39 c nbDecision=137000 #constraints=11236 97.77/97.86 c nbDecision=137500 #constraints=11261 97.96/98.05 c nbDecision=138000 #constraints=11271 98.26/98.36 c nbDecision=138500 #constraints=11287 98.46/98.51 c nbDecision=139000 #constraints=11294 98.76/98.84 c nbDecision=139500 #constraints=11311 98.87/98.99 c nbDecision=140000 #constraints=11318 99.16/99.22 c nbDecision=140500 #constraints=11329 99.46/99.50 c nbDecision=141000 #constraints=11343 99.66/99.72 c nbDecision=141500 #constraints=11353 99.97/100.09 c nbDecision=142000 #constraints=11371 100.36/100.40 c nbDecision=142500 #constraints=11385 100.46/100.55 c nbDecision=143000 #constraints=11392 100.86/100.92 c nbDecision=143500 #constraints=11410 101.17/101.23 c nbDecision=144000 #constraints=11425 101.36/101.46 c nbDecision=144500 #constraints=11436 101.56/101.66 c nbDecision=145000 #constraints=11445 101.96/102.02 c nbDecision=145500 #constraints=11463 102.27/102.38 c nbDecision=146000 #constraints=11480 102.56/102.64 c nbDecision=146500 #constraints=11492 102.76/102.86 c nbDecision=147000 #constraints=11505 103.06/103.14 c nbDecision=147500 #constraints=11520 103.37/103.49 c nbDecision=148000 #constraints=11540 103.66/103.75 c nbDecision=148500 #constraints=11554 103.86/103.98 c nbDecision=149000 #constraints=11566 104.16/104.27 c nbDecision=149500 #constraints=11579 104.37/104.49 c nbDecision=150000 #constraints=11589 104.66/104.71 c nbDecision=150500 #constraints=11601 104.96/105.01 c nbDecision=151000 #constraints=11617 105.16/105.22 c nbDecision=151500 #constraints=11627 105.36/105.40 c nbDecision=152000 #constraints=11636 105.56/105.67 c nbDecision=152500 #constraints=11649 105.86/105.96 c nbDecision=153000 #constraints=11663 106.06/106.17 c nbDecision=153500 #constraints=11674 106.26/106.36 c nbDecision=154000 #constraints=11684 106.46/106.59 c nbDecision=154500 #constraints=11696 106.76/106.83 c nbDecision=155000 #constraints=11708 106.96/107.08 c nbDecision=155500 #constraints=11722 107.26/107.39 c nbDecision=156000 #constraints=11739 107.56/107.63 c nbDecision=156500 #constraints=11751 107.86/107.98 c nbDecision=157000 #constraints=11767 108.16/108.25 c nbDecision=157500 #constraints=11779 108.36/108.46 c nbDecision=158000 #constraints=11791 108.67/108.73 c nbDecision=158500 #constraints=11806 108.97/109.00 c nbDecision=159000 #constraints=11819 109.27/109.33 c nbDecision=159500 #constraints=11837 109.67/109.74 c nbDecision=160000 #constraints=11862 109.87/109.97 c nbDecision=160500 #constraints=11874 110.27/110.33 c nbDecision=161000 #constraints=11894 110.57/110.66 c nbDecision=161500 #constraints=11911 110.87/110.98 c nbDecision=162000 #constraints=11927 111.07/111.16 c nbDecision=162500 #constraints=11935 111.27/111.37 c nbDecision=163000 #constraints=11944 111.47/111.57 c nbDecision=163500 #constraints=11953 111.67/111.79 c nbDecision=164000 #constraints=11963 112.07/112.14 c nbDecision=164500 #constraints=11979 112.37/112.43 c nbDecision=165000 #constraints=11993 112.67/112.71 c nbDecision=165500 #constraints=12006 112.86/112.97 c nbDecision=166000 #constraints=12019 113.06/113.17 c nbDecision=166500 #constraints=12029 113.27/113.39 c nbDecision=167000 #constraints=12041 113.56/113.63 c nbDecision=167500 #constraints=12053 113.76/113.83 c nbDecision=168000 #constraints=12063 113.96/114.05 c nbDecision=168500 #constraints=12075 114.27/114.30 c nbDecision=169000 #constraints=12089 114.66/114.71 c nbDecision=169500 #constraints=12111 114.96/115.08 c nbDecision=170000 #constraints=12132 115.37/115.43 c nbDecision=170500 #constraints=12151 115.76/115.85 c nbDecision=171000 #constraints=12175 116.16/116.20 c nbDecision=171500 #constraints=12195 116.66/116.73 c nbDecision=172000 #constraints=12224 117.26/117.37 c nbDecision=172500 #constraints=12260 117.67/117.79 c nbDecision=173000 #constraints=12283 118.26/118.30 c nbDecision=173500 #constraints=12310 118.46/118.57 c nbDecision=174000 #constraints=12324 118.86/118.98 c nbDecision=174500 #constraints=12347 119.36/119.47 c nbDecision=175000 #constraints=12373 119.76/119.86 c nbDecision=175500 #constraints=12393 120.16/120.28 c nbDecision=176000 #constraints=12413 120.66/120.72 c nbDecision=176500 #constraints=12435 121.16/121.28 c nbDecision=177000 #constraints=12464 121.66/121.75 c nbDecision=177500 #constraints=12488 122.26/122.30 c nbDecision=178000 #constraints=12516 122.86/122.98 c nbDecision=178500 #constraints=12550 123.86/123.92 c nbDecision=179000 #constraints=12598 124.16/124.27 c nbDecision=179500 #constraints=12614 124.56/124.69 c nbDecision=180000 #constraints=12634 125.06/125.12 c nbDecision=180500 #constraints=12653 125.46/125.58 c nbDecision=181000 #constraints=12675 126.06/126.13 c nbDecision=181500 #constraints=12701 126.56/126.62 c nbDecision=182000 #constraints=12722 126.96/127.04 c nbDecision=182500 #constraints=12741 127.65/127.70 c nbDecision=183000 #constraints=12772 128.05/128.16 c nbDecision=183500 #constraints=12792 128.66/128.73 c nbDecision=184000 #constraints=12819 129.25/129.38 c nbDecision=184500 #constraints=12848 129.76/129.85 c nbDecision=185000 #constraints=12866 130.35/130.46 c nbDecision=185500 #constraints=12897 130.65/130.75 c nbDecision=186000 #constraints=12911 131.05/131.15 c nbDecision=186500 #constraints=12931 131.35/131.45 c nbDecision=187000 #constraints=12946 131.55/131.68 c nbDecision=187500 #constraints=12956 131.86/131.96 c nbDecision=188000 #constraints=12968 132.25/132.35 c nbDecision=188500 #constraints=12987 132.55/132.62 c nbDecision=189000 #constraints=12998 132.85/132.92 c nbDecision=189500 #constraints=13010 133.35/133.45 c nbDecision=190000 #constraints=13033 133.65/133.72 c nbDecision=190500 #constraints=13043 134.06/134.14 c nbDecision=191000 #constraints=13061 134.35/134.41 c nbDecision=191500 #constraints=13072 134.65/134.77 c nbDecision=192000 #constraints=13088 135.05/135.16 c nbDecision=192500 #constraints=13104 135.35/135.46 c nbDecision=193000 #constraints=13117 135.75/135.81 c nbDecision=193500 #constraints=13133 135.96/136.09 c nbDecision=194000 #constraints=13145 136.26/136.37 c nbDecision=194500 #constraints=13157 136.56/136.67 c nbDecision=195000 #constraints=13169 137.26/137.32 c nbDecision=195500 #constraints=13198 137.76/137.86 c nbDecision=196000 #constraints=13221 138.16/138.20 c nbDecision=196500 #constraints=13234 138.46/138.59 c nbDecision=197000 #constraints=13252 138.96/139.01 c nbDecision=197500 #constraints=13271 139.26/139.36 c nbDecision=198000 #constraints=13286 139.66/139.77 c nbDecision=198500 #constraints=13303 140.06/140.13 c nbDecision=199000 #constraints=13319 140.36/140.46 c nbDecision=199500 #constraints=13333 140.86/140.90 c nbDecision=200000 #constraints=13352 141.26/141.37 c nbDecision=200500 #constraints=13373 141.66/141.76 c nbDecision=201000 #constraints=13389 142.16/142.24 c nbDecision=201500 #constraints=13409 142.66/142.76 c nbDecision=202000 #constraints=13432 143.36/143.40 c nbDecision=202500 #constraints=13459 143.96/144.09 c nbDecision=203000 #constraints=13488 144.66/144.76 c nbDecision=203500 #constraints=13516 145.35/145.41 c nbDecision=204000 #constraints=13543 145.95/146.06 c nbDecision=204500 #constraints=13570 146.45/146.52 c restart after 204801 decisions 146.85/146.92 c nbDecision=205000 #constraints=13589 147.55/147.68 c nbDecision=205500 #constraints=13620 148.46/148.57 c nbDecision=206000 #constraints=13656 149.46/149.53 c nbDecision=206500 #constraints=13702 149.85/149.95 c nbDecision=207000 #constraints=13723 150.25/150.33 c nbDecision=207500 #constraints=13741 150.66/150.78 c nbDecision=208000 #constraints=13763 151.05/151.12 c nbDecision=208500 #constraints=13779 151.55/151.64 c nbDecision=209000 #constraints=13803 152.05/152.19 c nbDecision=209500 #constraints=13826 152.75/152.85 c nbDecision=210000 #constraints=13854 153.25/153.39 c nbDecision=210500 #constraints=13875 153.65/153.72 c nbDecision=211000 #constraints=13890 154.05/154.19 c nbDecision=211500 #constraints=13913 154.35/154.50 c nbDecision=212000 #constraints=13927 154.85/154.95 c nbDecision=212500 #constraints=13949 155.25/155.36 c nbDecision=213000 #constraints=13968 155.85/155.92 c nbDecision=213500 #constraints=13992 156.15/156.30 c nbDecision=214000 #constraints=14009 156.55/156.64 c nbDecision=214500 #constraints=14026 156.95/157.06 c nbDecision=215000 #constraints=14047 157.35/157.41 c nbDecision=215500 #constraints=14063 157.65/157.79 c nbDecision=216000 #constraints=14080 158.25/158.33 c nbDecision=216500 #constraints=14104 158.75/158.89 c nbDecision=217000 #constraints=14127 159.36/159.48 c nbDecision=217500 #constraints=14150 159.95/160.08 c nbDecision=218000 #constraints=14174 160.56/160.64 c nbDecision=218500 #constraints=14198 160.95/161.01 c nbDecision=219000 #constraints=14215 161.45/161.54 c nbDecision=219500 #constraints=14241 161.85/161.96 c nbDecision=220000 #constraints=14260 162.35/162.41 c nbDecision=220500 #constraints=14280 162.95/163.02 c nbDecision=221000 #constraints=14305 163.35/163.44 c nbDecision=221500 #constraints=14324 163.76/163.83 c nbDecision=222000 #constraints=14342 164.25/164.34 c nbDecision=222500 #constraints=14366 164.75/164.82 c nbDecision=223000 #constraints=14388 165.25/165.30 c nbDecision=223500 #constraints=14407 165.85/165.97 c nbDecision=224000 #constraints=14434 166.35/166.49 c nbDecision=224500 #constraints=14455 166.85/166.92 c nbDecision=225000 #constraints=14475 167.35/167.40 c nbDecision=225500 #constraints=14497 167.75/167.83 c nbDecision=226000 #constraints=14515 168.35/168.40 c nbDecision=226500 #constraints=14540 168.85/168.98 c nbDecision=227000 #constraints=14566 169.26/169.34 c nbDecision=227500 #constraints=14581 169.95/170.08 c nbDecision=228000 #constraints=14616 170.35/170.48 c nbDecision=228500 #constraints=14633 170.65/170.70 c nbDecision=229000 #constraints=14640 170.85/170.94 c nbDecision=229500 #constraints=14648 171.15/171.26 c nbDecision=230000 #constraints=14660 171.85/171.96 c nbDecision=230500 #constraints=14693 172.25/172.33 c nbDecision=231000 #constraints=14708 172.55/172.69 c nbDecision=231500 #constraints=14723 173.35/173.45 c nbDecision=232000 #constraints=14757 173.75/173.87 c nbDecision=232500 #constraints=14774 174.15/174.27 c nbDecision=233000 #constraints=14789 174.55/174.69 c nbDecision=233500 #constraints=14805 175.25/175.36 c nbDecision=234000 #constraints=14835 175.74/175.84 c nbDecision=234500 #constraints=14856 176.24/176.38 c nbDecision=235000 #constraints=14879 176.54/176.65 c nbDecision=235500 #constraints=14887 176.84/176.94 c nbDecision=236000 #constraints=14899 177.14/177.27 c nbDecision=236500 #constraints=14913 177.44/177.58 c nbDecision=237000 #constraints=14925 177.74/177.87 c nbDecision=237500 #constraints=14937 178.05/178.16 c nbDecision=238000 #constraints=14949 178.44/178.51 c nbDecision=238500 #constraints=14962 178.74/178.86 c nbDecision=239000 #constraints=14975 179.14/179.26 c nbDecision=239500 #constraints=14991 179.54/179.66 c nbDecision=240000 #constraints=15006 179.84/179.99 c nbDecision=240500 #constraints=15019 180.24/180.37 c nbDecision=241000 #constraints=15033 180.84/180.93 c nbDecision=241500 #constraints=15057 181.34/181.42 c nbDecision=242000 #constraints=15078 181.94/182.00 c nbDecision=242500 #constraints=15104 182.54/182.62 c nbDecision=243000 #constraints=15131 183.14/183.28 c nbDecision=243500 #constraints=15160 183.74/183.80 c nbDecision=244000 #constraints=15182 184.24/184.35 c nbDecision=244500 #constraints=15205 184.64/184.74 c nbDecision=245000 #constraints=15221 185.25/185.32 c nbDecision=245500 #constraints=15245 185.65/185.72 c nbDecision=246000 #constraints=15262 186.15/186.28 c nbDecision=246500 #constraints=15286 186.85/186.97 c nbDecision=247000 #constraints=15315 187.35/187.44 c nbDecision=247500 #constraints=15334 187.55/187.69 c nbDecision=248000 #constraints=15342 187.95/188.05 c nbDecision=248500 #constraints=15355 188.45/188.51 c nbDecision=249000 #constraints=15373 188.95/189.09 c nbDecision=249500 #constraints=15397 189.55/189.66 c nbDecision=250000 #constraints=15420 190.15/190.23 c nbDecision=250500 #constraints=15442 190.55/190.60 c nbDecision=251000 #constraints=15455 190.94/191.09 c nbDecision=251500 #constraints=15474 191.54/191.69 c nbDecision=252000 #constraints=15497 191.94/192.06 c nbDecision=252500 #constraints=15512 192.45/192.52 c nbDecision=253000 #constraints=15531 192.94/193.02 c nbDecision=253500 #constraints=15552 193.34/193.50 c nbDecision=254000 #constraints=15572 193.94/194.03 c nbDecision=254500 #constraints=15594 194.65/194.72 c nbDecision=255000 #constraints=15623 195.14/195.29 c nbDecision=255500 #constraints=15647 195.44/195.56 c nbDecision=256000 #constraints=15656 195.84/195.96 c nbDecision=256500 #constraints=15671 196.34/196.43 c nbDecision=257000 #constraints=15690 196.84/196.91 c nbDecision=257500 #constraints=15709 197.54/197.65 c nbDecision=258000 #constraints=15739 198.04/198.10 c nbDecision=258500 #constraints=15756 198.34/198.46 c nbDecision=259000 #constraints=15769 198.94/199.04 c nbDecision=259500 #constraints=15792 199.54/199.64 c nbDecision=260000 #constraints=15817 200.04/200.15 c nbDecision=260500 #constraints=15837 200.44/200.53 c nbDecision=261000 #constraints=15851 201.04/201.11 c nbDecision=261500 #constraints=15874 201.64/201.71 c nbDecision=262000 #constraints=15898 202.44/202.51 c nbDecision=262500 #constraints=15931 203.04/203.12 c nbDecision=263000 #constraints=15956 203.34/203.48 c nbDecision=263500 #constraints=15969 203.94/204.01 c nbDecision=264000 #constraints=15990 204.33/204.49 c nbDecision=264500 #constraints=16009 204.93/205.07 c nbDecision=265000 #constraints=16032 205.64/205.74 c nbDecision=265500 #constraints=16060 206.43/206.54 c nbDecision=266000 #constraints=16093 207.03/207.14 c nbDecision=266500 #constraints=16116 207.43/207.59 c nbDecision=267000 #constraints=16132 207.93/208.07 c nbDecision=267500 #constraints=16149 208.53/208.65 c nbDecision=268000 #constraints=16171 209.13/209.22 c nbDecision=268500 #constraints=16193 209.73/209.82 c nbDecision=269000 #constraints=16216 210.33/210.47 c nbDecision=269500 #constraints=16240 210.83/210.97 c nbDecision=270000 #constraints=16256 211.23/211.38 c nbDecision=270500 #constraints=16270 211.63/211.76 c nbDecision=271000 #constraints=16284 212.14/212.26 c nbDecision=271500 #constraints=16303 212.43/212.57 c nbDecision=272000 #constraints=16313 212.73/212.90 c nbDecision=272500 #constraints=16323 213.13/213.30 c nbDecision=273000 #constraints=16337 213.53/213.67 c nbDecision=273500 #constraints=16350 214.03/214.16 c nbDecision=274000 #constraints=16368 214.34/214.49 c nbDecision=274500 #constraints=16379 214.74/214.88 c nbDecision=275000 #constraints=16393 215.24/215.34 c nbDecision=275500 #constraints=16411 215.74/215.88 c nbDecision=276000 #constraints=16432 216.34/216.48 c nbDecision=276500 #constraints=16456 216.84/216.99 c nbDecision=277000 #constraints=16475 217.44/217.56 c nbDecision=277500 #constraints=16497 218.04/218.17 c nbDecision=278000 #constraints=16520 218.64/218.77 c nbDecision=278500 #constraints=16543 219.14/219.25 c nbDecision=279000 #constraints=16560 219.84/219.94 c nbDecision=279500 #constraints=16586 220.44/220.55 c nbDecision=280000 #constraints=16610 221.04/221.14 c nbDecision=280500 #constraints=16633 221.54/221.62 c nbDecision=281000 #constraints=16651 222.14/222.21 c nbDecision=281500 #constraints=16673 222.84/222.96 c nbDecision=282000 #constraints=16703 224.13/224.27 c nbDecision=282500 #constraints=16758 224.53/224.67 c nbDecision=283000 #constraints=16771 224.83/224.98 c nbDecision=283500 #constraints=16780 225.34/225.40 c nbDecision=284000 #constraints=16794 225.63/225.74 c nbDecision=284500 #constraints=16805 226.03/226.12 c nbDecision=285000 #constraints=16818 226.54/226.64 c nbDecision=285500 #constraints=16837 226.93/227.06 c nbDecision=286000 #constraints=16851 227.43/227.57 c nbDecision=286500 #constraints=16870 228.13/228.22 c nbDecision=287000 #constraints=16896 228.93/229.04 c nbDecision=287500 #constraints=16928 229.43/229.58 c nbDecision=288000 #constraints=16948 230.03/230.15 c nbDecision=288500 #constraints=16968 230.53/230.62 c nbDecision=289000 #constraints=16985 231.13/231.29 c nbDecision=289500 #constraints=17009 231.83/231.95 c nbDecision=290000 #constraints=17034 232.33/232.45 c nbDecision=290500 #constraints=17051 232.63/232.76 c nbDecision=291000 #constraints=17060 233.03/233.16 c nbDecision=291500 #constraints=17073 233.43/233.55 c nbDecision=292000 #constraints=17085 233.83/233.97 c nbDecision=292500 #constraints=17100 234.33/234.48 c nbDecision=293000 #constraints=17118 234.73/234.85 c nbDecision=293500 #constraints=17130 235.33/235.46 c nbDecision=294000 #constraints=17154 236.03/236.19 c nbDecision=294500 #constraints=17182 236.63/236.73 c nbDecision=295000 #constraints=17201 237.03/237.13 c nbDecision=295500 #constraints=17214 237.72/237.86 c nbDecision=296000 #constraints=17241 238.22/238.38 c nbDecision=296500 #constraints=17259 238.82/238.97 c nbDecision=297000 #constraints=17279 239.12/239.28 c nbDecision=297500 #constraints=17289 239.82/239.90 c nbDecision=298000 #constraints=17314 240.12/240.22 c nbDecision=298500 #constraints=17323 240.52/240.61 c nbDecision=299000 #constraints=17338 240.73/240.87 c nbDecision=299500 #constraints=17345 241.02/241.15 c nbDecision=300000 #constraints=17353 241.32/241.46 c nbDecision=300500 #constraints=17362 241.83/241.91 c nbDecision=301000 #constraints=17376 242.12/242.24 c nbDecision=301500 #constraints=17386 242.52/242.64 c nbDecision=302000 #constraints=17398 243.02/243.12 c nbDecision=302500 #constraints=17415 243.32/243.45 c nbDecision=303000 #constraints=17427 243.82/243.92 c nbDecision=303500 #constraints=17445 244.12/244.27 c nbDecision=304000 #constraints=17457 244.52/244.66 c nbDecision=304500 #constraints=17471 244.92/245.04 c nbDecision=305000 #constraints=17485 245.22/245.38 c nbDecision=305500 #constraints=17497 245.62/245.78 c nbDecision=306000 #constraints=17511 246.22/246.32 c nbDecision=306500 #constraints=17533 246.82/246.92 c nbDecision=307000 #constraints=17558 247.42/247.54 c nbDecision=307500 #constraints=17584 248.02/248.17 c nbDecision=308000 #constraints=17610 248.82/248.96 c nbDecision=308500 #constraints=17644 249.52/249.64 c nbDecision=309000 #constraints=17672 250.02/250.19 c nbDecision=309500 #constraints=17694 250.52/250.66 c nbDecision=310000 #constraints=17712 251.02/251.19 c nbDecision=310500 #constraints=17732 251.62/251.74 c nbDecision=311000 #constraints=17754 252.32/252.46 c nbDecision=311500 #constraints=17784 253.12/253.27 c nbDecision=312000 #constraints=17818 253.72/253.88 c nbDecision=312500 #constraints=17842 254.42/254.59 c nbDecision=313000 #constraints=17870 255.12/255.29 c nbDecision=313500 #constraints=17898 255.72/255.87 c nbDecision=314000 #constraints=17920 256.12/256.28 c nbDecision=314500 #constraints=17935 256.51/256.69 c nbDecision=315000 #constraints=17949 256.91/257.08 c nbDecision=315500 #constraints=17963 257.32/257.48 c nbDecision=316000 #constraints=17977 257.81/257.98 c nbDecision=316500 #constraints=17995 258.32/258.43 c nbDecision=317000 #constraints=18011 258.81/258.97 c nbDecision=317500 #constraints=18031 259.42/259.51 c nbDecision=318000 #constraints=18050 260.11/260.21 c nbDecision=318500 #constraints=18077 260.71/260.84 c nbDecision=319000 #constraints=18100 261.51/261.63 c nbDecision=319500 #constraints=18129 262.61/262.72 c nbDecision=320000 #constraints=18170 263.11/263.28 c nbDecision=320500 #constraints=18189 263.71/263.88 c nbDecision=321000 #constraints=18210 264.22/264.37 c nbDecision=321500 #constraints=18227 264.62/264.79 c nbDecision=322000 #constraints=18241 265.12/265.22 c nbDecision=322500 #constraints=18255 265.52/265.63 c nbDecision=323000 #constraints=18269 265.92/266.05 c nbDecision=323500 #constraints=18283 266.42/266.51 c nbDecision=324000 #constraints=18299 266.92/267.06 c nbDecision=324500 #constraints=18317 267.52/267.68 c nbDecision=325000 #constraints=18339 267.92/268.10 c nbDecision=325500 #constraints=18351 268.32/268.41 c nbDecision=326000 #constraints=18360 268.62/268.77 c nbDecision=326500 #constraints=18372 269.02/269.15 c nbDecision=327000 #constraints=18384 269.42/269.58 c nbDecision=327500 #constraints=18400 269.92/270.10 c nbDecision=328000 #constraints=18418 270.32/270.42 c nbDecision=328500 #constraints=18428 270.72/270.81 c nbDecision=329000 #constraints=18442 271.21/271.31 c nbDecision=329500 #constraints=18460 271.62/271.79 c nbDecision=330000 #constraints=18478 272.41/272.50 c nbDecision=330500 #constraints=18506 273.01/273.14 c nbDecision=331000 #constraints=18530 273.72/273.88 c nbDecision=331500 #constraints=18558 274.21/274.35 c nbDecision=332000 #constraints=18574 274.71/274.84 c nbDecision=332500 #constraints=18592 275.21/275.30 c nbDecision=333000 #constraints=18608 275.61/275.74 c nbDecision=333500 #constraints=18623 276.11/276.28 c nbDecision=334000 #constraints=18643 276.61/276.70 c nbDecision=334500 #constraints=18657 277.31/277.44 c nbDecision=335000 #constraints=18687 278.11/278.24 c nbDecision=335500 #constraints=18719 279.11/279.26 c nbDecision=336000 #constraints=18761 279.81/279.96 c nbDecision=336500 #constraints=18787 280.71/280.82 c nbDecision=337000 #constraints=18819 281.41/281.52 c nbDecision=337500 #constraints=18845 282.01/282.14 c nbDecision=338000 #constraints=18867 282.41/282.57 c nbDecision=338500 #constraints=18881 282.81/282.99 c nbDecision=339000 #constraints=18895 283.30/283.46 c nbDecision=339500 #constraints=18911 283.80/283.94 c nbDecision=340000 #constraints=18927 284.30/284.45 c nbDecision=340500 #constraints=18945 284.81/284.93 c nbDecision=341000 #constraints=18961 285.40/285.51 c nbDecision=341500 #constraints=18981 285.91/286.05 c nbDecision=342000 #constraints=18999 286.20/286.37 c nbDecision=342500 #constraints=19007 286.60/286.72 c nbDecision=343000 #constraints=19018 286.91/287.02 c nbDecision=343500 #constraints=19027 287.20/287.38 c nbDecision=344000 #constraints=19038 287.50/287.65 c nbDecision=344500 #constraints=19046 287.80/287.96 c nbDecision=345000 #constraints=19056 288.20/288.36 c nbDecision=345500 #constraints=19070 288.60/288.71 c nbDecision=346000 #constraints=19082 288.90/289.02 c nbDecision=346500 #constraints=19091 289.30/289.49 c nbDecision=347000 #constraints=19107 289.70/289.89 c nbDecision=347500 #constraints=19119 290.21/290.39 c nbDecision=348000 #constraints=19137 290.60/290.78 c nbDecision=348500 #constraints=19149 291.00/291.18 c nbDecision=349000 #constraints=19161 291.50/291.61 c nbDecision=349500 #constraints=19175 291.90/292.00 c nbDecision=350000 #constraints=19187 292.40/292.50 c nbDecision=350500 #constraints=19205 292.70/292.89 c nbDecision=351000 #constraints=19217 293.20/293.33 c nbDecision=351500 #constraints=19231 293.60/293.76 c nbDecision=352000 #constraints=19245 294.00/294.15 c nbDecision=352500 #constraints=19257 294.50/294.62 c nbDecision=353000 #constraints=19272 294.90/295.05 c nbDecision=353500 #constraints=19286 295.30/295.45 c nbDecision=354000 #constraints=19298 295.71/295.88 c nbDecision=354500 #constraints=19312 296.31/296.45 c nbDecision=355000 #constraints=19332 296.71/296.83 c nbDecision=355500 #constraints=19344 297.21/297.33 c nbDecision=356000 #constraints=19360 297.61/297.74 c nbDecision=356500 #constraints=19372 298.01/298.19 c nbDecision=357000 #constraints=19386 298.51/298.65 c nbDecision=357500 #constraints=19400 298.91/299.10 c nbDecision=358000 #constraints=19414 299.41/299.55 c nbDecision=358500 #constraints=19428 299.91/300.08 c nbDecision=359000 #constraints=19446 300.41/300.53 c nbDecision=359500 #constraints=19460 300.81/300.94 c nbDecision=360000 #constraints=19472 301.21/301.40 c nbDecision=360500 #constraints=19486 301.71/301.86 c nbDecision=361000 #constraints=19500 302.11/302.28 c nbDecision=361500 #constraints=19512 302.61/302.74 c nbDecision=362000 #constraints=19528 303.10/303.21 c nbDecision=362500 #constraints=19544 303.41/303.59 c nbDecision=363000 #constraints=19556 303.90/304.02 c nbDecision=363500 #constraints=19570 304.30/304.49 c nbDecision=364000 #constraints=19586 304.70/304.82 c nbDecision=364500 #constraints=19596 305.10/305.24 c nbDecision=365000 #constraints=19610 305.50/305.62 c nbDecision=365500 #constraints=19622 306.00/306.10 c nbDecision=366000 #constraints=19638 306.40/306.52 c nbDecision=366500 #constraints=19652 306.81/306.97 c nbDecision=367000 #constraints=19666 307.30/307.45 c nbDecision=367500 #constraints=19682 307.81/307.93 c nbDecision=368000 #constraints=19698 308.50/308.68 c nbDecision=368500 #constraints=19726 309.20/309.37 c nbDecision=369000 #constraints=19750 310.01/310.14 c nbDecision=369500 #constraints=19778 310.70/310.84 c nbDecision=370000 #constraints=19802 311.30/311.46 c nbDecision=370500 #constraints=19822 311.90/312.00 c nbDecision=371000 #constraints=19838 312.40/312.57 c nbDecision=371500 #constraints=19856 312.90/313.03 c nbDecision=372000 #constraints=19870 313.50/313.61 c nbDecision=372500 #constraints=19890 314.10/314.25 c nbDecision=373000 #constraints=19912 314.90/315.03 c nbDecision=373500 #constraints=19940 315.80/315.94 c nbDecision=374000 #constraints=19973 316.70/316.88 c nbDecision=374500 #constraints=20007 317.49/317.64 c nbDecision=375000 #constraints=20033 318.29/318.44 c nbDecision=375500 #constraints=20061 319.19/319.34 c nbDecision=376000 #constraints=20093 319.79/319.91 c nbDecision=376500 #constraints=20111 320.19/320.38 c nbDecision=377000 #constraints=20125 320.79/320.90 c nbDecision=377500 #constraints=20141 321.29/321.44 c nbDecision=378000 #constraints=20159 322.10/322.21 c nbDecision=378500 #constraints=20187 322.69/322.87 c nbDecision=379000 #constraints=20209 323.49/323.64 c nbDecision=379500 #constraints=20237 324.09/324.21 c nbDecision=380000 #constraints=20255 324.59/324.79 c nbDecision=380500 #constraints=20273 325.19/325.31 c nbDecision=381000 #constraints=20289 325.69/325.86 c nbDecision=381500 #constraints=20305 326.29/326.46 c nbDecision=382000 #constraints=20325 326.99/327.14 c nbDecision=382500 #constraints=20347 327.79/327.91 c nbDecision=383000 #constraints=20375 328.59/328.79 c nbDecision=383500 #constraints=20406 329.59/329.72 c nbDecision=384000 #constraints=20440 330.30/330.45 c nbDecision=384500 #constraints=20464 331.20/331.31 c nbDecision=385000 #constraints=20494 332.19/332.38 c nbDecision=385500 #constraints=20532 332.79/332.91 c nbDecision=386000 #constraints=20548 333.29/333.41 c nbDecision=386500 #constraints=20562 333.79/333.91 c nbDecision=387000 #constraints=20576 334.49/334.62 c nbDecision=387500 #constraints=20598 334.89/335.07 c nbDecision=388000 #constraints=20610 335.40/335.58 c nbDecision=388500 #constraints=20624 335.99/336.13 c nbDecision=389000 #constraints=20640 336.59/336.73 c nbDecision=389500 #constraints=20658 337.29/337.41 c nbDecision=390000 #constraints=20679 338.09/338.25 c nbDecision=390500 #constraints=20707 338.99/339.13 c nbDecision=391000 #constraints=20737 339.79/339.97 c nbDecision=391500 #constraints=20765 340.39/340.57 c nbDecision=392000 #constraints=20783 341.19/341.33 c nbDecision=392500 #constraints=20807 342.09/342.28 c nbDecision=393000 #constraints=20839 342.89/343.03 c nbDecision=393500 #constraints=20863 343.59/343.75 c nbDecision=394000 #constraints=20885 344.49/344.63 c nbDecision=394500 #constraints=20913 345.39/345.55 c nbDecision=395000 #constraints=20943 346.39/346.51 c nbDecision=395500 #constraints=20975 347.39/347.57 c nbDecision=396000 #constraints=21011 348.79/348.96 c nbDecision=396500 #constraints=21059 349.49/349.67 c nbDecision=397000 #constraints=21081 349.98/350.17 c nbDecision=397500 #constraints=21095 350.58/350.71 c nbDecision=398000 #constraints=21111 351.18/351.32 c nbDecision=398500 #constraints=21131 351.88/352.09 c nbDecision=399000 #constraints=21157 352.66/352.86 c nbDecision=399500 #constraints=21181 353.46/353.67 c nbDecision=400000 #constraints=21209 354.06/354.22 c nbDecision=400500 #constraints=21225 354.66/354.89 c nbDecision=401000 #constraints=21245 355.26/355.46 c nbDecision=401500 #constraints=21261 355.85/356.07 c nbDecision=402000 #constraints=21279 356.55/356.71 c nbDecision=402500 #constraints=21299 357.15/357.30 c nbDecision=403000 #constraints=21317 357.95/358.12 c nbDecision=403500 #constraints=21345 358.85/359.04 c nbDecision=404000 #constraints=21375 359.95/360.12 c nbDecision=404500 #constraints=21413 360.85/361.09 c nbDecision=405000 #constraints=21445 361.75/361.91 c nbDecision=405500 #constraints=21471 362.85/363.08 c nbDecision=406000 #constraints=21510 363.44/363.62 c nbDecision=406500 #constraints=21526 363.95/364.16 c nbDecision=407000 #constraints=21540 364.54/364.70 c nbDecision=407500 #constraints=21554 365.24/365.45 c nbDecision=408000 #constraints=21576 365.74/365.94 c nbDecision=408500 #constraints=21588 366.24/366.48 c nbDecision=409000 #constraints=21602 366.94/367.13 c nbDecision=409500 #constraints=21620 367.14/367.32 c restart after 409601 decisions 368.03/368.26 c nbDecision=410000 #constraints=21633 368.73/368.96 c nbDecision=410500 #constraints=21657 369.33/369.52 c nbDecision=411000 #constraints=21674 370.23/370.47 c nbDecision=411500 #constraints=21711 370.82/371.08 c nbDecision=412000 #constraints=21731 371.63/371.83 c nbDecision=412500 #constraints=21756 371.92/372.17 c nbDecision=413000 #constraints=21763 372.32/372.56 c nbDecision=413500 #constraints=21772 372.82/373.04 c nbDecision=414000 #constraints=21784 373.32/373.53 c nbDecision=414500 #constraints=21799 373.82/374.09 c nbDecision=415000 #constraints=21814 374.51/374.70 c nbDecision=415500 #constraints=21832 374.92/375.15 c nbDecision=416000 #constraints=21842 375.51/375.72 c nbDecision=416500 #constraints=21859 376.11/376.31 c nbDecision=417000 #constraints=21877 376.61/376.85 c nbDecision=417500 #constraints=21891 377.20/377.41 c nbDecision=418000 #constraints=21907 377.70/377.99 c nbDecision=418500 #constraints=21923 378.21/378.47 c nbDecision=419000 #constraints=21936 378.80/379.00 c nbDecision=419500 #constraints=21950 379.50/379.76 c nbDecision=420000 #constraints=21972 380.00/380.24 c nbDecision=420500 #constraints=21984 380.70/380.95 c nbDecision=421000 #constraints=22004 381.30/381.54 c nbDecision=421500 #constraints=22020 382.00/382.27 c nbDecision=422000 #constraints=22042 382.99/383.22 c nbDecision=422500 #constraints=22072 383.99/384.26 c nbDecision=423000 #constraints=22106 384.89/385.15 c nbDecision=423500 #constraints=22134 385.60/385.85 c nbDecision=424000 #constraints=22154 386.49/386.76 c nbDecision=424500 #constraints=22182 387.59/387.87 c nbDecision=425000 #constraints=22218 388.69/388.93 c nbDecision=425500 #constraints=22252 389.99/390.27 c nbDecision=426000 #constraints=22296 390.99/391.21 c nbDecision=426500 #constraints=22324 391.79/392.07 c nbDecision=427000 #constraints=22350 392.39/392.70 c nbDecision=427500 #constraints=22367 392.99/393.25 c nbDecision=428000 #constraints=22380 393.39/393.66 c nbDecision=428500 #constraints=22388 393.89/394.16 c nbDecision=429000 #constraints=22402 394.49/394.70 c nbDecision=429500 #constraints=22416 395.08/395.31 c nbDecision=430000 #constraints=22432 395.48/395.79 c nbDecision=430500 #constraints=22444 396.18/396.41 c nbDecision=431000 #constraints=22460 396.69/396.90 c nbDecision=431500 #constraints=22472 397.29/397.50 c nbDecision=432000 #constraints=22488 397.90/398.18 c nbDecision=432500 #constraints=22506 398.59/398.80 c nbDecision=433000 #constraints=22522 399.19/399.43 c nbDecision=433500 #constraints=22538 399.79/400.09 c nbDecision=434000 #constraints=22556 400.89/401.12 c nbDecision=434500 #constraints=22588 401.98/402.22 c nbDecision=435000 #constraints=22622 402.49/402.72 c nbDecision=435500 #constraints=22636 403.08/403.33 c nbDecision=436000 #constraints=22654 403.78/404.08 c nbDecision=436500 #constraints=22676 404.77/405.06 c nbDecision=437000 #constraints=22705 405.47/405.76 c nbDecision=437500 #constraints=22723 406.37/406.64 c nbDecision=438000 #constraints=22749 407.47/407.75 c nbDecision=438500 #constraints=22783 408.77/409.00 c nbDecision=439000 #constraints=22823 410.07/410.36 c nbDecision=439500 #constraints=22867 410.87/411.15 c nbDecision=440000 #constraints=22889 411.87/412.16 c nbDecision=440500 #constraints=22919 412.47/412.76 c nbDecision=441000 #constraints=22933 412.87/413.13 c nbDecision=441500 #constraints=22940 413.27/413.59 c nbDecision=442000 #constraints=22951 413.77/414.08 c nbDecision=442500 #constraints=22962 414.37/414.63 c nbDecision=443000 #constraints=22975 415.17/415.50 c nbDecision=443500 #constraints=23003 415.57/415.88 c nbDecision=444000 #constraints=23010 416.07/416.36 c nbDecision=444500 #constraints=23020 416.57/416.86 c nbDecision=445000 #constraints=23032 417.07/417.32 c nbDecision=445500 #constraints=23043 417.67/417.93 c nbDecision=446000 #constraints=23059 418.47/418.76 c nbDecision=446500 #constraints=23085 419.08/419.31 c nbDecision=447000 #constraints=23101 419.88/420.17 c nbDecision=447500 #constraints=23130 420.68/420.92 c nbDecision=448000 #constraints=23153 421.57/421.86 c nbDecision=448500 #constraints=23183 422.57/422.89 c nbDecision=449000 #constraints=23217 423.37/423.64 c nbDecision=449500 #constraints=23239 424.38/424.64 c nbDecision=450000 #constraints=23269 425.57/425.85 c nbDecision=450500 #constraints=23309 426.77/427.07 c nbDecision=451000 #constraints=23349 428.07/428.33 c nbDecision=451500 #constraints=23390 429.27/429.51 c nbDecision=452000 #constraints=23429 430.97/431.24 c nbDecision=452500 #constraints=23492 432.47/432.72 c nbDecision=453000 #constraints=23544 433.27/433.59 c nbDecision=453500 #constraints=23571 434.07/434.39 c nbDecision=454000 #constraints=23596 434.57/434.86 c nbDecision=454500 #constraints=23606 435.67/435.93 c nbDecision=455000 #constraints=23643 436.37/436.68 c nbDecision=455500 #constraints=23665 436.87/437.14 c nbDecision=456000 #constraints=23674 437.47/437.73 c nbDecision=456500 #constraints=23689 438.06/438.36 c nbDecision=457000 #constraints=23705 438.86/439.15 c nbDecision=457500 #constraints=23727 439.26/439.59 c nbDecision=458000 #constraints=23737 439.96/440.24 c nbDecision=458500 #constraints=23754 440.96/441.20 c nbDecision=459000 #constraints=23783 442.07/442.37 c nbDecision=459500 #constraints=23818 442.87/443.12 c nbDecision=460000 #constraints=23838 443.87/444.11 c nbDecision=460500 #constraints=23866 444.87/445.12 c nbDecision=461000 #constraints=23896 445.77/446.05 c nbDecision=461500 #constraints=23922 446.47/446.78 c nbDecision=462000 #constraints=23944 447.26/447.57 c nbDecision=462500 #constraints=23968 447.86/448.14 c nbDecision=463000 #constraints=23979 448.57/448.82 c nbDecision=463500 #constraints=23998 449.16/449.42 c nbDecision=464000 #constraints=24013 449.76/450.01 c nbDecision=464500 #constraints=24028 450.36/450.69 c nbDecision=465000 #constraints=24047 451.26/451.53 c nbDecision=465500 #constraints=24072 452.06/452.31 c nbDecision=466000 #constraints=24094 452.76/453.00 c nbDecision=466500 #constraints=24113 453.26/453.58 c nbDecision=467000 #constraints=24128 453.97/454.24 c nbDecision=467500 #constraints=24148 454.56/454.86 c nbDecision=468000 #constraints=24164 455.56/455.84 c nbDecision=468500 #constraints=24195 456.06/456.40 c nbDecision=469000 #constraints=24208 456.86/457.18 c nbDecision=469500 #constraints=24230 457.76/458.03 c nbDecision=470000 #constraints=24254 458.66/458.90 c nbDecision=470500 #constraints=24281 459.46/459.79 c nbDecision=471000 #constraints=24308 460.46/460.73 c nbDecision=471500 #constraints=24338 461.56/461.87 c nbDecision=472000 #constraints=24375 462.36/462.65 c nbDecision=472500 #constraints=24395 463.55/463.80 c nbDecision=473000 #constraints=24429 464.45/464.71 c nbDecision=473500 #constraints=24454 465.25/465.51 c nbDecision=474000 #constraints=24477 466.25/466.58 c nbDecision=474500 #constraints=24510 467.35/467.65 c nbDecision=475000 #constraints=24542 468.26/468.54 c nbDecision=475500 #constraints=24568 468.75/469.07 c nbDecision=476000 #constraints=24579 470.05/470.30 c nbDecision=476500 #constraints=24617 471.66/471.98 c nbDecision=477000 #constraints=24676 473.35/473.60 c nbDecision=477500 #constraints=24731 474.05/474.35 c nbDecision=478000 #constraints=24750 474.65/474.91 c nbDecision=478500 #constraints=24762 475.25/475.53 c nbDecision=479000 #constraints=24777 475.85/476.19 c nbDecision=479500 #constraints=24793 476.75/477.06 c nbDecision=480000 #constraints=24817 477.55/477.88 c nbDecision=480500 #constraints=24839 478.25/478.59 c nbDecision=481000 #constraints=24858 479.15/479.41 c nbDecision=481500 #constraints=24880 479.85/480.15 c nbDecision=482000 #constraints=24899 480.54/480.83 c nbDecision=482500 #constraints=24915 481.35/481.66 c nbDecision=483000 #constraints=24937 482.05/482.33 c nbDecision=483500 #constraints=24952 482.56/482.84 c nbDecision=484000 #constraints=24963 483.05/483.37 c nbDecision=484500 #constraints=24974 483.55/483.88 c nbDecision=485000 #constraints=24985 484.15/484.43 c nbDecision=485500 #constraints=24998 485.15/485.41 c nbDecision=486000 #constraints=25024 486.05/486.32 c nbDecision=486500 #constraints=25049 486.85/487.19 c nbDecision=487000 #constraints=25073 487.45/487.72 c nbDecision=487500 #constraints=25084 488.15/488.45 c nbDecision=488000 #constraints=25105 488.75/489.04 c nbDecision=488500 #constraints=25120 489.35/489.60 c nbDecision=489000 #constraints=25134 490.05/490.34 c nbDecision=489500 #constraints=25155 491.15/491.47 c nbDecision=490000 #constraints=25189 492.15/492.42 c nbDecision=490500 #constraints=25217 492.75/493.07 c nbDecision=491000 #constraints=25233 493.35/493.65 c nbDecision=491500 #constraints=25247 494.05/494.37 c nbDecision=492000 #constraints=25267 494.75/495.01 c nbDecision=492500 #constraints=25284 495.45/495.79 c nbDecision=493000 #constraints=25306 496.24/496.51 c nbDecision=493500 #constraints=25326 496.95/497.29 c nbDecision=494000 #constraints=25349 498.24/498.51 c nbDecision=494500 #constraints=25391 499.24/499.54 c nbDecision=495000 #constraints=25419 500.04/500.33 c nbDecision=495500 #constraints=25441 500.74/501.09 c nbDecision=496000 #constraints=25462 501.74/502.09 c nbDecision=496500 #constraints=25491 502.34/502.67 c nbDecision=497000 #constraints=25502 503.04/503.32 c nbDecision=497500 #constraints=25515 503.54/503.86 c nbDecision=498000 #constraints=25527 504.24/504.53 c nbDecision=498500 #constraints=25543 505.04/505.37 c nbDecision=499000 #constraints=25564 505.84/506.18 c nbDecision=499500 #constraints=25585 507.04/507.31 c nbDecision=500000 #constraints=25616 508.34/508.63 c nbDecision=500500 #constraints=25653 508.94/509.24 c nbDecision=501000 #constraints=25668 509.53/509.82 c nbDecision=501500 #constraints=25681 510.33/510.61 c nbDecision=502000 #constraints=25701 511.24/511.52 c nbDecision=502500 #constraints=25725 512.24/512.51 c nbDecision=503000 #constraints=25751 513.23/513.60 c nbDecision=503500 #constraints=25780 514.84/515.16 c nbDecision=504000 #constraints=25824 515.54/515.89 c nbDecision=504500 #constraints=25842 516.44/516.71 c nbDecision=505000 #constraints=25863 517.34/517.64 c nbDecision=505500 #constraints=25887 518.54/518.84 c nbDecision=506000 #constraints=25919 520.04/520.38 c nbDecision=506500 #constraints=25962 521.44/521.76 c nbDecision=507000 #constraints=26000 522.14/522.50 c nbDecision=507500 #constraints=26018 523.04/523.36 c nbDecision=508000 #constraints=26040 524.14/524.46 c nbDecision=508500 #constraints=26069 525.54/525.82 c nbDecision=509000 #constraints=26107 526.64/526.99 c nbDecision=509500 #constraints=26140 527.83/528.12 c nbDecision=510000 #constraints=26169 529.03/529.31 c nbDecision=510500 #constraints=26201 530.23/530.58 c nbDecision=511000 #constraints=26235 531.83/532.10 c nbDecision=511500 #constraints=26278 533.63/533.97 c nbDecision=512000 #constraints=26331 534.53/534.89 c nbDecision=512500 #constraints=26355 535.33/535.63 c nbDecision=513000 #constraints=26372 536.13/536.47 c nbDecision=513500 #constraints=26394 537.43/537.76 c nbDecision=514000 #constraints=26427 538.53/538.87 c nbDecision=514500 #constraints=26457 539.83/540.16 c nbDecision=515000 #constraints=26493 540.72/541.01 c nbDecision=515500 #constraints=26514 541.32/541.67 c nbDecision=516000 #constraints=26529 542.13/542.43 c nbDecision=516500 #constraints=26546 543.03/543.32 c nbDecision=517000 #constraints=26568 544.33/544.60 c nbDecision=517500 #constraints=26602 545.63/545.96 c nbDecision=518000 #constraints=26637 547.13/547.41 c nbDecision=518500 #constraints=26676 547.83/548.18 c nbDecision=519000 #constraints=26694 548.53/548.87 c nbDecision=519500 #constraints=26709 549.43/549.76 c nbDecision=520000 #constraints=26730 550.42/550.74 c nbDecision=520500 #constraints=26754 551.62/551.98 c nbDecision=521000 #constraints=26786 552.93/553.24 c nbDecision=521500 #constraints=26819 554.03/554.35 c nbDecision=522000 #constraints=26848 554.72/555.07 c nbDecision=522500 #constraints=26865 555.32/555.68 c nbDecision=523000 #constraints=26878 556.23/556.54 c nbDecision=523500 #constraints=26898 557.22/557.57 c nbDecision=524000 #constraints=26923 557.92/558.28 c nbDecision=524500 #constraints=26939 558.82/559.11 c nbDecision=525000 #constraints=26959 559.92/560.25 c nbDecision=525500 #constraints=26988 561.02/561.33 c nbDecision=526000 #constraints=27015 562.32/562.65 c nbDecision=526500 #constraints=27049 563.82/564.18 c nbDecision=527000 #constraints=27090 565.12/565.45 c nbDecision=527500 #constraints=27123 566.52/566.90 c nbDecision=528000 #constraints=27160 568.22/568.58 c nbDecision=528500 #constraints=27204 569.82/570.10 c nbDecision=529000 #constraints=27245 571.32/571.65 c nbDecision=529500 #constraints=27286 572.02/572.31 c nbDecision=530000 #constraints=27300 572.82/573.18 c nbDecision=530500 #constraints=27320 573.82/574.13 c nbDecision=531000 #constraints=27342 574.61/574.97 c nbDecision=531500 #constraints=27362 576.12/576.48 c nbDecision=532000 #constraints=27400 577.71/578.04 c nbDecision=532500 #constraints=27441 578.71/579.01 c nbDecision=533000 #constraints=27465 579.21/579.57 c nbDecision=533500 #constraints=27476 579.81/580.10 c nbDecision=534000 #constraints=27486 580.41/580.75 c nbDecision=534500 #constraints=27500 581.11/581.50 c nbDecision=535000 #constraints=27518 581.91/582.26 c nbDecision=535500 #constraints=27535 583.01/583.33 c nbDecision=536000 #constraints=27562 583.61/583.98 c nbDecision=536500 #constraints=27577 584.22/584.58 c nbDecision=537000 #constraints=27589 585.02/585.30 c nbDecision=537500 #constraints=27605 585.92/586.27 c nbDecision=538000 #constraints=27630 586.92/587.20 c nbDecision=538500 #constraints=27653 587.71/588.05 c nbDecision=539000 #constraints=27672 588.61/588.92 c nbDecision=539500 #constraints=27693 589.22/589.55 c nbDecision=540000 #constraints=27706 589.81/590.12 c nbDecision=540500 #constraints=27717 590.42/590.76 c nbDecision=541000 #constraints=27730 591.01/591.37 c nbDecision=541500 #constraints=27743 591.61/591.91 c nbDecision=542000 #constraints=27753 592.31/592.63 c nbDecision=542500 #constraints=27768 592.91/593.27 c nbDecision=543000 #constraints=27780 593.72/594.02 c nbDecision=543500 #constraints=27796 594.51/594.81 c nbDecision=544000 #constraints=27813 595.01/595.39 c nbDecision=544500 #constraints=27825 595.71/596.05 c nbDecision=545000 #constraints=27839 596.31/596.68 c nbDecision=545500 #constraints=27852 596.92/597.29 c nbDecision=546000 #constraints=27865 597.51/597.88 c nbDecision=546500 #constraints=27877 598.21/598.51 c nbDecision=547000 #constraints=27891 598.81/599.14 c nbDecision=547500 #constraints=27905 599.51/599.86 c nbDecision=548000 #constraints=27922 600.51/600.84 c nbDecision=548500 #constraints=27947 601.31/601.63 c nbDecision=549000 #constraints=27966 602.11/602.41 c nbDecision=549500 #constraints=27982 602.61/602.98 c nbDecision=550000 #constraints=27993 603.41/603.75 c nbDecision=550500 #constraints=28011 604.11/604.41 c nbDecision=551000 #constraints=28025 604.91/605.20 c nbDecision=551500 #constraints=28042 605.81/606.15 c nbDecision=552000 #constraints=28066 606.41/606.78 c nbDecision=552500 #constraints=28080 607.11/607.44 c nbDecision=553000 #constraints=28094 607.81/608.15 c nbDecision=553500 #constraints=28110 608.70/609.03 c nbDecision=554000 #constraints=28131 609.70/610.04 c nbDecision=554500 #constraints=28157 610.60/610.96 c nbDecision=555000 #constraints=28181 611.31/611.65 c nbDecision=555500 #constraints=28198 611.90/612.23 c nbDecision=556000 #constraints=28209 612.70/613.05 c nbDecision=556500 #constraints=28228 613.50/613.85 c nbDecision=557000 #constraints=28247 614.60/614.91 c nbDecision=557500 #constraints=28273 615.60/615.92 c nbDecision=558000 #constraints=28298 616.20/616.54 c nbDecision=558500 #constraints=28312 617.10/617.42 c nbDecision=559000 #constraints=28332 618.10/618.40 c nbDecision=559500 #constraints=28355 619.40/619.75 c nbDecision=560000 #constraints=28389 620.50/620.81 c nbDecision=560500 #constraints=28414 621.20/621.56 c nbDecision=561000 #constraints=28431 622.00/622.34 c nbDecision=561500 #constraints=28448 623.20/623.54 c nbDecision=562000 #constraints=28477 624.10/624.46 c nbDecision=562500 #constraints=28498 624.70/625.00 c nbDecision=563000 #constraints=28508 625.40/625.71 c nbDecision=563500 #constraints=28523 626.10/626.40 c nbDecision=564000 #constraints=28537 626.90/627.27 c nbDecision=564500 #constraints=28557 627.71/628.04 c nbDecision=565000 #constraints=28574 628.50/628.88 c nbDecision=565500 #constraints=28594 629.50/629.81 c nbDecision=566000 #constraints=28617 630.40/630.71 c nbDecision=566500 #constraints=28639 630.90/631.27 c nbDecision=567000 #constraints=28650 632.30/632.66 c nbDecision=567500 #constraints=28686 633.80/634.11 c nbDecision=568000 #constraints=28724 635.30/635.60 c nbDecision=568500 #constraints=28764 636.40/636.78 c nbDecision=569000 #constraints=28794 638.10/638.42 c nbDecision=569500 #constraints=28838 638.70/639.06 c nbDecision=570000 #constraints=28851 639.50/639.80 c nbDecision=570500 #constraints=28868 640.30/640.69 c nbDecision=571000 #constraints=28889 641.10/641.42 c nbDecision=571500 #constraints=28904 641.90/642.29 c nbDecision=572000 #constraints=28922 642.79/643.14 c nbDecision=572500 #constraints=28941 643.49/643.89 c nbDecision=573000 #constraints=28959 644.30/644.63 c nbDecision=573500 #constraints=28975 645.30/645.62 c nbDecision=574000 #constraints=28999 646.09/646.47 c nbDecision=574500 #constraints=29020 646.89/647.26 c nbDecision=575000 #constraints=29039 647.69/648.09 c nbDecision=575500 #constraints=29058 648.70/649.01 c nbDecision=576000 #constraints=29080 649.39/649.78 c nbDecision=576500 #constraints=29099 650.29/650.60 c nbDecision=577000 #constraints=29118 650.99/651.33 c nbDecision=577500 #constraints=29134 651.69/652.04 c nbDecision=578000 #constraints=29150 652.69/653.04 c nbDecision=578500 #constraints=29174 653.39/653.78 c nbDecision=579000 #constraints=29190 654.29/654.65 c nbDecision=579500 #constraints=29209 655.19/655.54 c nbDecision=580000 #constraints=29230 655.99/656.33 c nbDecision=580500 #constraints=29249 656.59/656.98 c nbDecision=581000 #constraints=29262 657.39/657.73 c nbDecision=581500 #constraints=29279 658.29/658.69 c nbDecision=582000 #constraints=29301 659.29/659.66 c nbDecision=582500 #constraints=29324 660.29/660.64 c nbDecision=583000 #constraints=29347 660.99/661.38 c nbDecision=583500 #constraints=29363 661.89/662.25 c nbDecision=584000 #constraints=29385 662.69/663.09 c nbDecision=584500 #constraints=29404 663.69/664.05 c nbDecision=585000 #constraints=29427 664.29/664.65 c nbDecision=585500 #constraints=29441 664.99/665.34 c nbDecision=586000 #constraints=29456 665.89/666.21 c nbDecision=586500 #constraints=29476 666.59/666.91 c nbDecision=587000 #constraints=29490 667.29/667.67 c nbDecision=587500 #constraints=29506 668.09/668.47 c nbDecision=588000 #constraints=29523 668.89/669.29 c nbDecision=588500 #constraints=29540 669.69/670.02 c nbDecision=589000 #constraints=29553 670.49/670.81 c nbDecision=589500 #constraints=29568 671.18/671.51 c nbDecision=590000 #constraints=29580 671.79/672.13 c nbDecision=590500 #constraints=29591 672.38/672.77 c nbDecision=591000 #constraints=29602 673.08/673.47 c nbDecision=591500 #constraints=29616 673.68/674.09 c nbDecision=592000 #constraints=29627 674.28/674.70 c nbDecision=592500 #constraints=29638 675.09/675.44 c nbDecision=593000 #constraints=29652 675.98/676.37 c nbDecision=593500 #constraints=29672 676.68/677.04 c nbDecision=594000 #constraints=29684 677.48/677.84 c nbDecision=594500 #constraints=29700 678.48/678.81 c nbDecision=595000 #constraints=29722 679.28/679.61 c nbDecision=595500 #constraints=29737 679.98/680.39 c nbDecision=596000 #constraints=29751 680.88/681.23 c nbDecision=596500 #constraints=29768 682.08/682.45 c nbDecision=597000 #constraints=29796 683.58/683.98 c nbDecision=597500 #constraints=29832 684.78/685.15 c nbDecision=598000 #constraints=29858 685.78/686.11 c nbDecision=598500 #constraints=29880 686.78/687.10 c nbDecision=599000 #constraints=29904 687.67/688.03 c nbDecision=599500 #constraints=29926 688.87/689.21 c nbDecision=600000 #constraints=29952 689.57/689.91 c nbDecision=600500 #constraints=29964 690.17/690.57 c nbDecision=601000 #constraints=29976 690.87/691.23 c nbDecision=601500 #constraints=29988 691.48/691.86 c nbDecision=602000 #constraints=30000 692.07/692.44 c nbDecision=602500 #constraints=30009 692.68/693.08 c nbDecision=603000 #constraints=30021 693.37/693.79 c nbDecision=603500 #constraints=30035 694.28/694.64 c nbDecision=604000 #constraints=30053 695.18/695.53 c nbDecision=604500 #constraints=30073 695.88/696.24 c nbDecision=605000 #constraints=30086 696.58/696.97 c nbDecision=605500 #constraints=30100 697.68/698.01 c nbDecision=606000 #constraints=30122 698.48/698.82 c nbDecision=606500 #constraints=30138 699.18/699.50 c nbDecision=607000 #constraints=30152 700.08/700.45 c nbDecision=607500 #constraints=30172 700.98/701.34 c nbDecision=608000 #constraints=30190 701.88/702.22 c nbDecision=608500 #constraints=30209 702.58/702.94 c nbDecision=609000 #constraints=30223 703.78/704.13 c nbDecision=609500 #constraints=30249 704.68/705.07 c nbDecision=610000 #constraints=30269 705.58/705.97 c nbDecision=610500 #constraints=30289 706.28/706.65 c nbDecision=611000 #constraints=30303 707.58/707.90 c nbDecision=611500 #constraints=30333 708.68/709.09 c nbDecision=612000 #constraints=30359 709.38/709.74 c nbDecision=612500 #constraints=30373 710.07/710.41 c nbDecision=613000 #constraints=30384 710.77/711.18 c nbDecision=613500 #constraints=30398 711.77/712.18 c nbDecision=614000 #constraints=30420 712.67/713.03 c nbDecision=614500 #constraints=30436 713.37/713.76 c nbDecision=615000 #constraints=30449 714.17/714.57 c nbDecision=615500 #constraints=30463 714.97/715.38 c nbDecision=616000 #constraints=30479 716.67/717.01 c nbDecision=616500 #constraints=30517 718.27/718.69 c nbDecision=617000 #constraints=30557 719.37/719.76 c nbDecision=617500 #constraints=30579 720.47/720.83 c nbDecision=618000 #constraints=30602 721.17/721.51 c nbDecision=618500 #constraints=30612 721.87/722.23 c nbDecision=619000 #constraints=30626 722.57/722.90 c nbDecision=619500 #constraints=30638 723.57/723.91 c nbDecision=620000 #constraints=30660 724.26/724.66 c nbDecision=620500 #constraints=30674 725.16/725.50 c nbDecision=621000 #constraints=30690 725.86/726.24 c nbDecision=621500 #constraints=30706 726.56/726.97 c nbDecision=622000 #constraints=30720 727.46/727.80 c nbDecision=622500 #constraints=30736 728.46/728.88 c nbDecision=623000 #constraints=30760 729.66/730.06 c nbDecision=623500 #constraints=30786 730.96/731.39 c nbDecision=624000 #constraints=30816 731.96/732.32 c nbDecision=624500 #constraints=30834 732.56/732.91 c nbDecision=625000 #constraints=30844 733.26/733.65 c nbDecision=625500 #constraints=30858 734.26/734.65 c nbDecision=626000 #constraints=30880 735.16/735.54 c nbDecision=626500 #constraints=30898 735.96/736.32 c nbDecision=627000 #constraints=30913 736.76/737.13 c nbDecision=627500 #constraints=30929 737.76/738.18 c nbDecision=628000 #constraints=30951 738.77/739.12 c nbDecision=628500 #constraints=30971 739.66/740.07 c nbDecision=629000 #constraints=30991 741.07/741.44 c nbDecision=629500 #constraints=31023 742.46/742.86 c nbDecision=630000 #constraints=31056 743.17/743.51 c nbDecision=630500 #constraints=31066 743.96/744.32 c nbDecision=631000 #constraints=31080 744.86/745.21 c nbDecision=631500 #constraints=31096 745.86/746.24 c nbDecision=632000 #constraints=31116 747.26/747.65 c nbDecision=632500 #constraints=31147 748.67/749.06 c nbDecision=633000 #constraints=31178 750.16/750.51 c nbDecision=633500 #constraints=31210 751.56/751.91 c nbDecision=634000 #constraints=31240 752.26/752.62 c nbDecision=634500 #constraints=31252 752.96/753.37 c nbDecision=635000 #constraints=31266 753.76/754.11 c nbDecision=635500 #constraints=31279 754.46/754.81 c nbDecision=636000 #constraints=31291 755.26/755.60 c nbDecision=636500 #constraints=31306 755.96/756.35 c nbDecision=637000 #constraints=31320 756.76/757.14 c nbDecision=637500 #constraints=31336 757.65/758.10 c nbDecision=638000 #constraints=31356 758.85/759.23 c nbDecision=638500 #constraints=31380 759.66/760.03 c nbDecision=639000 #constraints=31397 760.35/760.72 c nbDecision=639500 #constraints=31409 761.15/761.56 c nbDecision=640000 #constraints=31425 762.15/762.52 c nbDecision=640500 #constraints=31445 762.85/763.21 c nbDecision=641000 #constraints=31457 763.55/763.94 c nbDecision=641500 #constraints=31471 764.55/764.95 c nbDecision=642000 #constraints=31491 765.95/766.38 c nbDecision=642500 #constraints=31524 766.75/767.17 c nbDecision=643000 #constraints=31540 768.15/768.55 c nbDecision=643500 #constraints=31570 769.15/769.50 c nbDecision=644000 #constraints=31590 770.25/770.63 c nbDecision=644500 #constraints=31614 771.45/771.87 c nbDecision=645000 #constraints=31642 772.65/773.05 c nbDecision=645500 #constraints=31669 773.55/773.93 c nbDecision=646000 #constraints=31686 774.45/774.86 c nbDecision=646500 #constraints=31707 775.55/775.92 c nbDecision=647000 #constraints=31731 776.55/776.99 c nbDecision=647500 #constraints=31755 777.85/778.21 c nbDecision=648000 #constraints=31784 779.15/779.51 c nbDecision=648500 #constraints=31815 780.55/780.98 c nbDecision=649000 #constraints=31850 781.94/782.32 c nbDecision=649500 #constraints=31880 783.14/783.54 c nbDecision=650000 #constraints=31907 784.24/784.60 c nbDecision=650500 #constraints=31930 785.54/785.90 c nbDecision=651000 #constraints=31960 786.74/787.13 c nbDecision=651500 #constraints=31988 787.84/788.20 c nbDecision=652000 #constraints=32013 789.15/789.50 c nbDecision=652500 #constraints=32044 789.95/790.36 c nbDecision=653000 #constraints=32063 791.15/791.52 c nbDecision=653500 #constraints=32090 792.45/792.87 c nbDecision=654000 #constraints=32121 793.35/793.79 c nbDecision=654500 #constraints=32139 794.55/794.98 c nbDecision=655000 #constraints=32166 795.65/796.02 c nbDecision=655500 #constraints=32189 796.35/796.70 c nbDecision=656000 #constraints=32202 797.35/797.75 c nbDecision=656500 #constraints=32226 798.54/798.94 c nbDecision=657000 #constraints=32253 799.74/800.20 c nbDecision=657500 #constraints=32282 800.64/801.00 c nbDecision=658000 #constraints=32298 801.55/801.96 c nbDecision=658500 #constraints=32320 802.74/803.17 c nbDecision=659000 #constraints=32347 804.04/804.46 c nbDecision=659500 #constraints=32377 805.14/805.53 c nbDecision=660000 #constraints=32401 806.54/806.93 c nbDecision=660500 #constraints=32433 807.74/808.12 c nbDecision=661000 #constraints=32458 808.64/809.00 c nbDecision=661500 #constraints=32476 809.64/810.08 c nbDecision=662000 #constraints=32500 810.54/810.92 c nbDecision=662500 #constraints=32516 811.64/812.03 c nbDecision=663000 #constraints=32540 812.94/813.32 c nbDecision=663500 #constraints=32570 814.44/814.82 c nbDecision=664000 #constraints=32604 815.43/815.88 c nbDecision=664500 #constraints=32625 816.23/816.61 c nbDecision=665000 #constraints=32642 816.94/817.35 c nbDecision=665500 #constraints=32657 817.73/818.18 c nbDecision=666000 #constraints=32677 818.33/818.76 c nbDecision=666500 #constraints=32687 819.13/819.54 c nbDecision=667000 #constraints=32706 820.03/820.41 c nbDecision=667500 #constraints=32725 820.73/821.18 c nbDecision=668000 #constraints=32741 821.33/821.77 c nbDecision=668500 #constraints=32751 822.13/822.53 c nbDecision=669000 #constraints=32766 822.93/823.39 c nbDecision=669500 #constraints=32786 823.83/824.28 c nbDecision=670000 #constraints=32804 824.83/825.26 c nbDecision=670500 #constraints=32826 825.83/826.23 c nbDecision=671000 #constraints=32850 827.03/827.41 c nbDecision=671500 #constraints=32881 828.03/828.44 c nbDecision=672000 #constraints=32907 828.73/829.15 c nbDecision=672500 #constraints=32921 829.33/829.73 c nbDecision=673000 #constraints=32931 830.04/830.40 c nbDecision=673500 #constraints=32944 830.83/831.29 c nbDecision=674000 #constraints=32963 831.93/832.31 c nbDecision=674500 #constraints=32987 832.83/833.27 c nbDecision=675000 #constraints=33011 833.73/834.18 c nbDecision=675500 #constraints=33033 835.13/835.53 c nbDecision=676000 #constraints=33072 835.73/836.19 c nbDecision=676500 #constraints=33083 836.53/836.94 c nbDecision=677000 #constraints=33095 837.43/837.81 c nbDecision=677500 #constraints=33111 838.23/838.61 c nbDecision=678000 #constraints=33124 839.33/839.75 c nbDecision=678500 #constraints=33146 840.23/840.69 c nbDecision=679000 #constraints=33166 841.43/841.89 c nbDecision=679500 #constraints=33196 842.72/843.20 c nbDecision=680000 #constraints=33229 843.52/843.99 c nbDecision=680500 #constraints=33244 844.33/844.76 c nbDecision=681000 #constraints=33258 845.22/845.62 c nbDecision=681500 #constraints=33276 845.92/846.33 c nbDecision=682000 #constraints=33288 847.02/847.41 c nbDecision=682500 #constraints=33311 847.82/848.22 c nbDecision=683000 #constraints=33326 848.73/849.10 c nbDecision=683500 #constraints=33345 849.42/849.83 c nbDecision=684000 #constraints=33362 850.22/850.68 c nbDecision=684500 #constraints=33381 851.02/851.40 c nbDecision=685000 #constraints=33394 851.82/852.25 c nbDecision=685500 #constraints=33411 852.52/852.96 c nbDecision=686000 #constraints=33422 853.32/853.72 c nbDecision=686500 #constraints=33437 854.12/854.60 c nbDecision=687000 #constraints=33456 854.72/855.16 c nbDecision=687500 #constraints=33465 855.62/856.02 c nbDecision=688000 #constraints=33483 856.42/856.81 c nbDecision=688500 #constraints=33499 857.42/857.86 c nbDecision=689000 #constraints=33527 858.52/858.92 c nbDecision=689500 #constraints=33556 859.22/859.66 c nbDecision=690000 #constraints=33572 860.21/860.66 c nbDecision=690500 #constraints=33597 861.21/861.61 c nbDecision=691000 #constraints=33621 862.11/862.55 c nbDecision=691500 #constraints=33645 862.91/863.36 c nbDecision=692000 #constraints=33663 863.71/864.14 c nbDecision=692500 #constraints=33680 864.82/865.28 c nbDecision=693000 #constraints=33712 866.12/866.53 c nbDecision=693500 #constraints=33749 867.12/867.59 c nbDecision=694000 #constraints=33779 868.22/868.65 c nbDecision=694500 #constraints=33810 869.02/869.48 c nbDecision=695000 #constraints=33830 869.72/870.14 c nbDecision=695500 #constraints=33839 870.42/870.89 c nbDecision=696000 #constraints=33852 871.42/871.89 c nbDecision=696500 #constraints=33878 872.32/872.72 c nbDecision=697000 #constraints=33898 873.12/873.59 c nbDecision=697500 #constraints=33916 874.12/874.55 c nbDecision=698000 #constraints=33941 874.81/875.23 c nbDecision=698500 #constraints=33953 875.81/876.25 c nbDecision=699000 #constraints=33980 876.81/877.24 c nbDecision=699500 #constraints=34005 877.61/878.03 c nbDecision=700000 #constraints=34023 878.71/879.16 c nbDecision=700500 #constraints=34054 879.91/880.30 c nbDecision=701000 #constraints=34089 880.51/880.98 c nbDecision=701500 #constraints=34103 881.51/881.93 c nbDecision=702000 #constraints=34127 882.51/882.91 c nbDecision=702500 #constraints=34153 883.31/883.71 c nbDecision=703000 #constraints=34171 884.11/884.51 c nbDecision=703500 #constraints=34190 884.81/885.20 c nbDecision=704000 #constraints=34207 885.51/885.99 c nbDecision=704500 #constraints=34226 886.41/886.86 c nbDecision=705000 #constraints=34247 887.31/887.72 c nbDecision=705500 #constraints=34265 888.00/888.42 c nbDecision=706000 #constraints=34280 888.70/889.10 c nbDecision=706500 #constraints=34295 889.51/889.90 c nbDecision=707000 #constraints=34313 890.30/890.70 c nbDecision=707500 #constraints=34332 891.20/891.65 c nbDecision=708000 #constraints=34356 892.00/892.49 c nbDecision=708500 #constraints=34377 893.20/893.63 c nbDecision=709000 #constraints=34407 894.00/894.47 c nbDecision=709500 #constraints=34428 895.10/895.50 c nbDecision=710000 #constraints=34456 896.10/896.52 c nbDecision=710500 #constraints=34482 896.90/897.39 c nbDecision=711000 #constraints=34504 898.00/898.48 c nbDecision=711500 #constraints=34532 899.41/899.87 c nbDecision=712000 #constraints=34571 900.51/900.98 c nbDecision=712500 #constraints=34599 901.70/902.13 c nbDecision=713000 #constraints=34629 903.00/903.46 c nbDecision=713500 #constraints=34666 903.90/904.35 c nbDecision=714000 #constraints=34686 904.91/905.31 c nbDecision=714500 #constraints=34708 906.10/906.56 c nbDecision=715000 #constraints=34742 906.80/907.27 c nbDecision=715500 #constraints=34755 907.50/907.97 c nbDecision=716000 #constraints=34767 908.30/908.78 c nbDecision=716500 #constraints=34782 909.40/909.80 c nbDecision=717000 #constraints=34805 910.40/910.86 c nbDecision=717500 #constraints=34834 911.00/911.41 c nbDecision=718000 #constraints=34843 911.70/912.19 c nbDecision=718500 #constraints=34858 912.70/913.14 c nbDecision=719000 #constraints=34881 913.60/914.05 c nbDecision=719500 #constraints=34904 914.40/914.87 c nbDecision=720000 #constraints=34923 915.50/915.94 c nbDecision=720500 #constraints=34950 916.20/916.68 c nbDecision=721000 #constraints=34963 917.40/917.87 c nbDecision=721500 #constraints=34998 918.89/919.34 c nbDecision=722000 #constraints=35043 920.59/921.02 c nbDecision=722500 #constraints=35095 921.59/922.07 c nbDecision=723000 #constraints=35120 922.40/922.90 c nbDecision=723500 #constraints=35137 923.19/923.66 c nbDecision=724000 #constraints=35151 924.19/924.60 c nbDecision=724500 #constraints=35171 925.19/925.61 c nbDecision=725000 #constraints=35194 925.99/926.43 c nbDecision=725500 #constraints=35212 926.79/927.28 c nbDecision=726000 #constraints=35230 927.59/928.06 c nbDecision=726500 #constraints=35246 928.59/929.00 c nbDecision=727000 #constraints=35267 929.89/930.37 c nbDecision=727500 #constraints=35305 931.29/931.72 c nbDecision=728000 #constraints=35343 932.09/932.54 c nbDecision=728500 #constraints=35358 932.79/933.25 c nbDecision=729000 #constraints=35371 933.90/934.30 c nbDecision=729500 #constraints=35395 934.69/935.13 c nbDecision=730000 #constraints=35413 935.49/935.94 c nbDecision=730500 #constraints=35432 936.19/936.66 c nbDecision=731000 #constraints=35446 936.99/937.47 c nbDecision=731500 #constraints=35463 937.90/938.32 c nbDecision=732000 #constraints=35482 939.00/939.48 c nbDecision=732500 #constraints=35514 940.59/941.01 c nbDecision=733000 #constraints=35559 941.39/941.87 c nbDecision=733500 #constraints=35576 942.39/942.83 c nbDecision=734000 #constraints=35595 943.09/943.55 c nbDecision=734500 #constraints=35608 943.89/944.34 c nbDecision=735000 #constraints=35625 944.79/945.24 c nbDecision=735500 #constraints=35645 945.79/946.25 c nbDecision=736000 #constraints=35669 946.59/947.03 c nbDecision=736500 #constraints=35682 947.29/947.75 c nbDecision=737000 #constraints=35695 948.29/948.74 c nbDecision=737500 #constraints=35719 949.19/949.63 c nbDecision=738000 #constraints=35739 950.09/950.59 c nbDecision=738500 #constraints=35762 951.39/951.82 c nbDecision=739000 #constraints=35795 952.29/952.78 c nbDecision=739500 #constraints=35818 953.29/953.73 c nbDecision=740000 #constraints=35837 954.48/954.97 c nbDecision=740500 #constraints=35870 955.49/955.98 c nbDecision=741000 #constraints=35893 957.08/957.52 c nbDecision=741500 #constraints=35940 958.38/958.86 c nbDecision=742000 #constraints=35977 959.48/960.00 c nbDecision=742500 #constraints=36007 960.68/961.19 c nbDecision=743000 #constraints=36039 961.68/962.10 c nbDecision=743500 #constraints=36059 962.58/963.09 c nbDecision=744000 #constraints=36082 963.58/964.04 c nbDecision=744500 #constraints=36105 964.88/965.34 c nbDecision=745000 #constraints=36137 966.28/966.72 c nbDecision=745500 #constraints=36174 967.28/967.73 c nbDecision=746000 #constraints=36197 968.78/969.23 c nbDecision=746500 #constraints=36239 969.98/970.47 c nbDecision=747000 #constraints=36271 970.88/971.37 c nbDecision=747500 #constraints=36289 972.17/972.62 c nbDecision=748000 #constraints=36318 973.17/973.65 c nbDecision=748500 #constraints=36342 974.08/974.56 c nbDecision=749000 #constraints=36361 974.98/975.49 c nbDecision=749500 #constraints=36380 975.98/976.48 c nbDecision=750000 #constraints=36399 977.28/977.71 c nbDecision=750500 #constraints=36428 978.58/979.07 c nbDecision=751000 #constraints=36461 980.08/980.57 c nbDecision=751500 #constraints=36496 981.68/982.18 c nbDecision=752000 #constraints=36534 983.37/983.82 c nbDecision=752500 #constraints=36575 984.97/985.46 c nbDecision=753000 #constraints=36617 986.67/987.10 c nbDecision=753500 #constraints=36657 988.07/988.59 c nbDecision=754000 #constraints=36694 989.67/990.10 c nbDecision=754500 #constraints=36730 991.07/991.54 c nbDecision=755000 #constraints=36763 992.88/993.32 c nbDecision=755500 #constraints=36808 994.17/994.66 c nbDecision=756000 #constraints=36837 995.87/996.35 c nbDecision=756500 #constraints=36882 997.47/997.94 c nbDecision=757000 #constraints=36922 999.37/999.81 c nbDecision=757500 #constraints=36970 1001.57/1002.06 c nbDecision=758000 #constraints=37034 1002.67/1003.14 c nbDecision=758500 #constraints=37058 1003.77/1004.20 c nbDecision=759000 #constraints=37083 1004.66/1005.11 c nbDecision=759500 #constraints=37102 1005.66/1006.19 c nbDecision=760000 #constraints=37128 1006.86/1007.30 c nbDecision=760500 #constraints=37153 1007.86/1008.31 c nbDecision=761000 #constraints=37173 1009.06/1009.55 c nbDecision=761500 #constraints=37200 1009.96/1010.46 c nbDecision=762000 #constraints=37215 1010.76/1011.28 c nbDecision=762500 #constraints=37228 1011.76/1012.24 c nbDecision=763000 #constraints=37245 1012.46/1012.99 c nbDecision=763500 #constraints=37256 1013.66/1014.10 c nbDecision=764000 #constraints=37277 1014.86/1015.33 c nbDecision=764500 #constraints=37302 1016.26/1016.72 c nbDecision=765000 #constraints=37334 1017.26/1017.76 c nbDecision=765500 #constraints=37354 1017.96/1018.47 c nbDecision=766000 #constraints=37363 1018.86/1019.31 c nbDecision=766500 #constraints=37376 1019.96/1020.45 c nbDecision=767000 #constraints=37397 1021.26/1021.70 c nbDecision=767500 #constraints=37420 1022.76/1023.24 c nbDecision=768000 #constraints=37449 1023.96/1024.46 c nbDecision=768500 #constraints=37474 1025.46/1025.97 c nbDecision=769000 #constraints=37510 1026.56/1027.08 c nbDecision=769500 #constraints=37531 1027.56/1028.00 c nbDecision=770000 #constraints=37544 1028.86/1029.33 c nbDecision=770500 #constraints=37569 1030.66/1031.11 c nbDecision=771000 #constraints=37605 1032.26/1032.75 c nbDecision=771500 #constraints=37637 1033.96/1034.41 c nbDecision=772000 #constraints=37670 1035.76/1036.28 c nbDecision=772500 #constraints=37708 1037.66/1038.19 c nbDecision=773000 #constraints=37748 1039.36/1039.84 c nbDecision=773500 #constraints=37782 1040.85/1041.37 c nbDecision=774000 #constraints=37812 1042.26/1042.73 c nbDecision=774500 #constraints=37840 1043.75/1044.27 c nbDecision=775000 #constraints=37877 1044.95/1045.42 c nbDecision=775500 #constraints=37902 1047.05/1047.51 c nbDecision=776000 #constraints=37962 1048.75/1049.22 c nbDecision=776500 #constraints=38008 1049.96/1050.47 c nbDecision=777000 #constraints=38036 1051.25/1051.71 c nbDecision=777500 #constraints=38064 1052.65/1053.14 c nbDecision=778000 #constraints=38099 1054.45/1054.97 c nbDecision=778500 #constraints=38149 1056.55/1057.04 c nbDecision=779000 #constraints=38208 1057.95/1058.40 c nbDecision=779500 #constraints=38239 1058.95/1059.45 c nbDecision=780000 #constraints=38257 1060.25/1060.73 c nbDecision=780500 #constraints=38283 1061.55/1062.00 c nbDecision=781000 #constraints=38309 1062.75/1063.23 c nbDecision=781500 #constraints=38336 1063.65/1064.18 c nbDecision=782000 #constraints=38353 1064.74/1065.22 c nbDecision=782500 #constraints=38370 1066.24/1066.72 c nbDecision=783000 #constraints=38402 1067.65/1068.15 c nbDecision=783500 #constraints=38436 1069.14/1069.61 c nbDecision=784000 #constraints=38472 1070.85/1071.32 c nbDecision=784500 #constraints=38516 1072.45/1072.99 c nbDecision=785000 #constraints=38561 1073.95/1074.42 c nbDecision=785500 #constraints=38595 1075.05/1075.55 c nbDecision=786000 #constraints=38617 1076.85/1077.35 c nbDecision=786500 #constraints=38664 1078.55/1079.06 c nbDecision=787000 #constraints=38712 1080.24/1080.77 c nbDecision=787500 #constraints=38755 1082.14/1082.69 c nbDecision=788000 #constraints=38807 1083.64/1084.18 c nbDecision=788500 #constraints=38841 1084.84/1085.34 c nbDecision=789000 #constraints=38861 1085.84/1086.35 c nbDecision=789500 #constraints=38878 1087.04/1087.57 c nbDecision=790000 #constraints=38902 1088.54/1089.08 c nbDecision=790500 #constraints=38934 1089.84/1090.31 c nbDecision=791000 #constraints=38960 1091.34/1091.83 c nbDecision=791500 #constraints=38993 1092.54/1093.01 c nbDecision=792000 #constraints=39017 1094.14/1094.61 c nbDecision=792500 #constraints=39054 1095.34/1095.81 c nbDecision=793000 #constraints=39079 1096.73/1097.22 c nbDecision=793500 #constraints=39112 1097.73/1098.28 c nbDecision=794000 #constraints=39132 1098.73/1099.24 c nbDecision=794500 #constraints=39149 1099.93/1100.45 c nbDecision=795000 #constraints=39173 1101.43/1101.95 c nbDecision=795500 #constraints=39207 1102.74/1103.22 c nbDecision=796000 #constraints=39234 1104.34/1104.89 c nbDecision=796500 #constraints=39273 1105.64/1106.19 c nbDecision=797000 #constraints=39299 1107.04/1107.60 c nbDecision=797500 #constraints=39328 1108.34/1108.84 c nbDecision=798000 #constraints=39353 1109.74/1110.26 c nbDecision=798500 #constraints=39385 1111.24/1111.75 c nbDecision=799000 #constraints=39420 1112.64/1113.17 c nbDecision=799500 #constraints=39452 1114.13/1114.60 c nbDecision=800000 #constraints=39484 1115.53/1116.03 c nbDecision=800500 #constraints=39515 1116.93/1117.42 c nbDecision=801000 #constraints=39544 1118.24/1118.73 c nbDecision=801500 #constraints=39568 1119.43/1119.96 c nbDecision=802000 #constraints=39590 1120.63/1121.17 c nbDecision=802500 #constraints=39612 1121.93/1122.45 c nbDecision=803000 #constraints=39635 1123.43/1123.93 c nbDecision=803500 #constraints=39663 1124.93/1125.48 c nbDecision=804000 #constraints=39696 1126.73/1127.21 c nbDecision=804500 #constraints=39734 1128.23/1128.79 c nbDecision=805000 #constraints=39770 1129.23/1129.78 c nbDecision=805500 #constraints=39787 1130.63/1131.15 c nbDecision=806000 #constraints=39816 1132.23/1132.73 c nbDecision=806500 #constraints=39852 1133.73/1134.25 c nbDecision=807000 #constraints=39889 1135.03/1135.59 c nbDecision=807500 #constraints=39914 1136.43/1136.91 c nbDecision=808000 #constraints=39937 1137.72/1138.20 c nbDecision=808500 #constraints=39959 1138.82/1139.36 c nbDecision=809000 #constraints=39980 1140.32/1140.89 c nbDecision=809500 #constraints=40012 1141.92/1142.44 c nbDecision=810000 #constraints=40043 1143.82/1144.39 c nbDecision=810500 #constraints=40086 1145.22/1145.75 c nbDecision=811000 #constraints=40117 1146.72/1147.24 c nbDecision=811500 #constraints=40148 1148.12/1148.67 c nbDecision=812000 #constraints=40178 1149.62/1150.11 c nbDecision=812500 #constraints=40209 1150.82/1151.32 c nbDecision=813000 #constraints=40231 1152.33/1152.83 c nbDecision=813500 #constraints=40261 1153.62/1154.16 c nbDecision=814000 #constraints=40289 1155.12/1155.60 c nbDecision=814500 #constraints=40320 1156.62/1157.18 c nbDecision=815000 #constraints=40353 1158.02/1158.56 c nbDecision=815500 #constraints=40380 1159.82/1160.36 c nbDecision=816000 #constraints=40420 1161.62/1162.10 c nbDecision=816500 #constraints=40460 1163.42/1163.92 c nbDecision=817000 #constraints=40499 1164.62/1165.11 c nbDecision=817500 #constraints=40521 1166.12/1166.68 c nbDecision=818000 #constraints=40558 1167.41/1167.96 c nbDecision=818500 #constraints=40585 1168.72/1169.26 c nbDecision=819000 #constraints=40613 1168.91/1169.47 c restart after 819201 decisions 1170.51/1171.04 c nbDecision=819500 #constraints=40616 1171.41/1171.91 c nbDecision=820000 #constraints=40631 1172.41/1172.94 c nbDecision=820500 #constraints=40650 1173.31/1173.89 c nbDecision=821000 #constraints=40668 1174.22/1174.72 c nbDecision=821500 #constraints=40683 1175.32/1175.81 c nbDecision=822000 #constraints=40706 1176.21/1176.72 c nbDecision=822500 #constraints=40723 1177.11/1177.64 c nbDecision=823000 #constraints=40739 1178.01/1178.55 c nbDecision=823500 #constraints=40756 1179.11/1179.67 c nbDecision=824000 #constraints=40780 1179.91/1180.48 c nbDecision=824500 #constraints=40793 1181.21/1181.79 c nbDecision=825000 #constraints=40823 1182.21/1182.76 c nbDecision=825500 #constraints=40839 1183.31/1183.84 c nbDecision=826000 #constraints=40862 1184.21/1184.72 c nbDecision=826500 #constraints=40878 1185.11/1185.70 c nbDecision=827000 #constraints=40899 1186.01/1186.57 c nbDecision=827500 #constraints=40917 1187.10/1187.61 c nbDecision=828000 #constraints=40938 1187.80/1188.39 c nbDecision=828500 #constraints=40951 1188.51/1189.03 c nbDecision=829000 #constraints=40960 1189.41/1189.98 c nbDecision=829500 #constraints=40978 1190.50/1191.06 c nbDecision=830000 #constraints=41002 1191.60/1192.15 c nbDecision=830500 #constraints=41026 1192.70/1193.21 c nbDecision=831000 #constraints=41051 1193.80/1194.36 c nbDecision=831500 #constraints=41077 1194.80/1195.39 c nbDecision=832000 #constraints=41097 1195.50/1196.02 c nbDecision=832500 #constraints=41106 1196.50/1197.02 c nbDecision=833000 #constraints=41125 1197.50/1198.03 c nbDecision=833500 #constraints=41145 1198.70/1199.23 c nbDecision=834000 #constraints=41171 1199.80/1200.39 c nbDecision=834500 #constraints=41197 1200.80/1201.40 c nbDecision=835000 #constraints=41218 1201.70/1202.20 c nbDecision=835500 #constraints=41232 1202.40/1202.97 c nbDecision=836000 #constraints=41244 1203.40/1203.92 c nbDecision=836500 #constraints=41260 1204.30/1204.82 c nbDecision=837000 #constraints=41274 1205.40/1205.90 c nbDecision=837500 #constraints=41296 1206.81/1207.34 c nbDecision=838000 #constraints=41330 1208.01/1208.53 c nbDecision=838500 #constraints=41358 1209.01/1209.54 c nbDecision=839000 #constraints=41379 1210.01/1210.56 c nbDecision=839500 #constraints=41400 1210.90/1211.45 c nbDecision=840000 #constraints=41417 1212.10/1212.61 c nbDecision=840500 #constraints=41438 1213.00/1213.53 c nbDecision=841000 #constraints=41448 1213.91/1214.43 c nbDecision=841500 #constraints=41460 1215.01/1215.55 c nbDecision=842000 #constraints=41479 1216.10/1216.69 c nbDecision=842500 #constraints=41499 1217.10/1217.68 c nbDecision=843000 #constraints=41512 1218.20/1218.78 c nbDecision=843500 #constraints=41531 1219.40/1219.93 c nbDecision=844000 #constraints=41549 1220.80/1221.32 c nbDecision=844500 #constraints=41576 1222.50/1223.02 c nbDecision=845000 #constraints=41615 1223.90/1224.45 c nbDecision=845500 #constraints=41643 1224.80/1225.37 c nbDecision=846000 #constraints=41655 1226.29/1226.81 c nbDecision=846500 #constraints=41685 1227.99/1228.51 c nbDecision=847000 #constraints=41721 1229.49/1230.02 c nbDecision=847500 #constraints=41753 1230.89/1231.43 c nbDecision=848000 #constraints=41783 1232.60/1233.15 c nbDecision=848500 #constraints=41820 1234.19/1234.80 c nbDecision=849000 #constraints=41855 1236.09/1236.64 c nbDecision=849500 #constraints=41895 1237.79/1238.37 c nbDecision=850000 #constraints=41931 1239.39/1239.96 c nbDecision=850500 #constraints=41963 1241.19/1241.76 c nbDecision=851000 #constraints=42001 1243.09/1243.61 c nbDecision=851500 #constraints=42042 1244.89/1245.42 c nbDecision=852000 #constraints=42081 1245.99/1246.58 c nbDecision=852500 #constraints=42098 1247.29/1247.80 c nbDecision=853000 #constraints=42116 1248.59/1249.12 c nbDecision=853500 #constraints=42138 1249.79/1250.36 c nbDecision=854000 #constraints=42159 1251.09/1251.69 c nbDecision=854500 #constraints=42183 1252.29/1252.87 c nbDecision=855000 #constraints=42204 1253.28/1253.89 c nbDecision=855500 #constraints=42219 1254.59/1255.10 c nbDecision=856000 #constraints=42239 1255.59/1256.18 c nbDecision=856500 #constraints=42255 1256.69/1257.21 c nbDecision=857000 #constraints=42268 1257.68/1258.26 c nbDecision=857500 #constraints=42284 1258.59/1259.15 c nbDecision=858000 #constraints=42294 1259.49/1260.09 c nbDecision=858500 #constraints=42307 1260.59/1261.16 c nbDecision=859000 #constraints=42321 1261.49/1262.09 c nbDecision=859500 #constraints=42333 1262.79/1263.34 c nbDecision=860000 #constraints=42354 1264.09/1264.63 c nbDecision=860500 #constraints=42378 1265.19/1265.78 c nbDecision=861000 #constraints=42396 1266.39/1266.96 c nbDecision=861500 #constraints=42414 1267.59/1268.14 c nbDecision=862000 #constraints=42432 1269.09/1269.60 c nbDecision=862500 #constraints=42459 1270.29/1270.85 c nbDecision=863000 #constraints=42481 1271.49/1272.05 c nbDecision=863500 #constraints=42498 1272.68/1273.27 c nbDecision=864000 #constraints=42519 1274.08/1274.61 c nbDecision=864500 #constraints=42541 1275.08/1275.65 c nbDecision=865000 #constraints=42557 1276.49/1277.02 c nbDecision=865500 #constraints=42582 1277.58/1278.11 c nbDecision=866000 #constraints=42601 1279.78/1280.30 c nbDecision=866500 #constraints=42653 1281.58/1282.13 c nbDecision=867000 #constraints=42695 1283.48/1284.01 c nbDecision=867500 #constraints=42739 1285.08/1285.61 c nbDecision=868000 #constraints=42773 1286.38/1286.97 c nbDecision=868500 #constraints=42798 1287.78/1288.38 c nbDecision=869000 #constraints=42827 1288.78/1289.38 c nbDecision=869500 #constraints=42841 1289.98/1290.53 c nbDecision=870000 #constraints=42860 1291.18/1291.73 c nbDecision=870500 #constraints=42880 1292.38/1292.94 c nbDecision=871000 #constraints=42901 1293.58/1294.14 c nbDecision=871500 #constraints=42920 1295.37/1295.92 c nbDecision=872000 #constraints=42955 1296.87/1297.48 c nbDecision=872500 #constraints=42981 1298.58/1299.17 c nbDecision=873000 #constraints=43014 1299.97/1300.53 c nbDecision=873500 #constraints=43036 1301.27/1301.82 c nbDecision=874000 #constraints=43056 1303.27/1303.82 c nbDecision=874500 #constraints=43099 1305.17/1305.72 c nbDecision=875000 #constraints=43137 1307.17/1307.76 c nbDecision=875500 #constraints=43181 1309.27/1309.86 c nbDecision=876000 #constraints=43230 1310.47/1311.01 c nbDecision=876500 #constraints=43248 1311.37/1311.98 c nbDecision=877000 #constraints=43261 1312.47/1313.06 c nbDecision=877500 #constraints=43280 1313.67/1314.21 c nbDecision=878000 #constraints=43297 1314.87/1315.42 c nbDecision=878500 #constraints=43317 1316.07/1316.62 c nbDecision=879000 #constraints=43337 1317.27/1317.84 c nbDecision=879500 #constraints=43358 1318.47/1319.09 c nbDecision=880000 #constraints=43380 1319.57/1320.11 c nbDecision=880500 #constraints=43395 1320.87/1321.43 c nbDecision=881000 #constraints=43416 1322.27/1322.88 c nbDecision=881500 #constraints=43443 1323.16/1323.79 c nbDecision=882000 #constraints=43453 1324.26/1324.80 c nbDecision=882500 #constraints=43467 1325.26/1325.90 c nbDecision=883000 #constraints=43484 1326.56/1327.12 c nbDecision=883500 #constraints=43501 1327.66/1328.29 c nbDecision=884000 #constraints=43519 1329.06/1329.66 c nbDecision=884500 #constraints=43542 1330.76/1331.32 c nbDecision=885000 #constraints=43574 1332.16/1332.71 c nbDecision=885500 #constraints=43597 1333.26/1333.83 c nbDecision=886000 #constraints=43614 1334.46/1335.05 c nbDecision=886500 #constraints=43635 1335.86/1336.46 c nbDecision=887000 #constraints=43658 1337.26/1337.82 c nbDecision=887500 #constraints=43682 1338.87/1339.48 c nbDecision=888000 #constraints=43713 1340.27/1340.82 c nbDecision=888500 #constraints=43732 1342.07/1342.60 c nbDecision=889000 #constraints=43769 1343.16/1343.71 c nbDecision=889500 #constraints=43784 1344.16/1344.77 c nbDecision=890000 #constraints=43799 1345.87/1346.42 c nbDecision=890500 #constraints=43831 1347.26/1347.89 c nbDecision=891000 #constraints=43854 1348.66/1349.27 c nbDecision=891500 #constraints=43874 1350.36/1350.92 c nbDecision=892000 #constraints=43904 1351.76/1352.35 c nbDecision=892500 #constraints=43928 1353.66/1354.20 c nbDecision=893000 #constraints=43964 1355.26/1355.83 c nbDecision=893500 #constraints=43993 1356.66/1357.25 c nbDecision=894000 #constraints=44017 1358.66/1359.27 c nbDecision=894500 #constraints=44057 1360.46/1361.05 c nbDecision=895000 #constraints=44091 1361.96/1362.51 c nbDecision=895500 #constraints=44115 1362.76/1363.30 c nbDecision=896000 #constraints=44123 1364.36/1364.95 c nbDecision=896500 #constraints=44153 1365.96/1366.52 c nbDecision=897000 #constraints=44179 1367.66/1368.22 c nbDecision=897500 #constraints=44212 1369.46/1370.03 c nbDecision=898000 #constraints=44247 1371.25/1371.81 c nbDecision=898500 #constraints=44280 1372.95/1373.57 c nbDecision=899000 #constraints=44311 1375.35/1375.99 c nbDecision=899500 #constraints=44364 1376.55/1377.12 c nbDecision=900000 #constraints=44383 1378.05/1378.64 c nbDecision=900500 #constraints=44407 1379.45/1380.09 c nbDecision=901000 #constraints=44433 1381.15/1381.76 c nbDecision=901500 #constraints=44465 1383.25/1383.86 c nbDecision=902000 #constraints=44510 1385.05/1385.69 c nbDecision=902500 #constraints=44544 1386.65/1387.24 c nbDecision=903000 #constraints=44566 1388.34/1388.92 c nbDecision=903500 #constraints=44594 1390.14/1390.76 c nbDecision=904000 #constraints=44627 1391.84/1392.47 c nbDecision=904500 #constraints=44656 1393.24/1393.81 c nbDecision=905000 #constraints=44679 1394.44/1395.07 c nbDecision=905500 #constraints=44696 1395.64/1396.22 c nbDecision=906000 #constraints=44714 1396.75/1397.34 c nbDecision=906500 #constraints=44727 1398.05/1398.60 c nbDecision=907000 #constraints=44745 1399.45/1400.01 c nbDecision=907500 #constraints=44769 1401.05/1401.62 c nbDecision=908000 #constraints=44796 1402.25/1402.88 c nbDecision=908500 #constraints=44814 1403.65/1404.25 c nbDecision=909000 #constraints=44834 1405.15/1405.70 c nbDecision=909500 #constraints=44856 1407.05/1407.61 c nbDecision=910000 #constraints=44890 1408.95/1409.52 c nbDecision=910500 #constraints=44925 1410.25/1410.87 c nbDecision=911000 #constraints=44950 1411.55/1412.15 c nbDecision=911500 #constraints=44969 1413.14/1413.74 c nbDecision=912000 #constraints=44995 1414.54/1415.11 c nbDecision=912500 #constraints=45018 1416.24/1416.84 c nbDecision=913000 #constraints=45048 1417.84/1418.45 c nbDecision=913500 #constraints=45073 1419.44/1420.10 c nbDecision=914000 #constraints=45098 1421.04/1421.67 c nbDecision=914500 #constraints=45117 1422.74/1423.35 c nbDecision=915000 #constraints=45141 1424.24/1424.82 c nbDecision=915500 #constraints=45162 1425.94/1426.58 c nbDecision=916000 #constraints=45190 1427.84/1428.45 c nbDecision=916500 #constraints=45223 1429.84/1430.42 c nbDecision=917000 #constraints=45257 1431.64/1432.29 c nbDecision=917500 #constraints=45294 1432.53/1433.15 c nbDecision=918000 #constraints=45306 1433.74/1434.34 c nbDecision=918500 #constraints=45325 1435.03/1435.63 c nbDecision=919000 #constraints=45347 1436.13/1436.73 c nbDecision=919500 #constraints=45364 1437.53/1438.19 c nbDecision=920000 #constraints=45392 1439.03/1439.60 c nbDecision=920500 #constraints=45415 1440.33/1440.96 c nbDecision=921000 #constraints=45437 1442.04/1442.60 c nbDecision=921500 #constraints=45467 1443.54/1444.12 c nbDecision=922000 #constraints=45494 1445.24/1445.89 c nbDecision=922500 #constraints=45526 1446.74/1447.30 c nbDecision=923000 #constraints=45547 1448.33/1448.91 c nbDecision=923500 #constraints=45572 1449.63/1450.27 c nbDecision=924000 #constraints=45591 1451.13/1451.77 c nbDecision=924500 #constraints=45617 1452.73/1453.34 c nbDecision=925000 #constraints=45643 1454.64/1455.22 c nbDecision=925500 #constraints=45677 1456.53/1457.12 c nbDecision=926000 #constraints=45715 1458.13/1458.78 c nbDecision=926500 #constraints=45749 1459.93/1460.53 c nbDecision=927000 #constraints=45782 1461.43/1462.07 c nbDecision=927500 #constraints=45809 1462.93/1463.50 c nbDecision=928000 #constraints=45834 1464.12/1464.79 c nbDecision=928500 #constraints=45854 1465.92/1466.57 c nbDecision=929000 #constraints=45886 1467.62/1468.20 c nbDecision=929500 #constraints=45913 1469.22/1469.87 c nbDecision=930000 #constraints=45941 1471.02/1471.63 c nbDecision=930500 #constraints=45975 1473.02/1473.65 c nbDecision=931000 #constraints=46014 1475.12/1475.72 c nbDecision=931500 #constraints=46054 1476.92/1477.57 c nbDecision=932000 #constraints=46087 1478.02/1478.68 c nbDecision=932500 #constraints=46103 1479.12/1479.76 c nbDecision=933000 #constraints=46117 1480.63/1481.21 c nbDecision=933500 #constraints=46139 1482.02/1482.68 c nbDecision=934000 #constraints=46160 1483.92/1484.50 c nbDecision=934500 #constraints=46191 1485.72/1486.36 c nbDecision=935000 #constraints=46223 1487.32/1487.91 c nbDecision=935500 #constraints=46251 1488.42/1489.09 c nbDecision=936000 #constraints=46267 1489.62/1490.29 c nbDecision=936500 #constraints=46281 1490.82/1491.46 c nbDecision=937000 #constraints=46298 1492.32/1492.93 c nbDecision=937500 #constraints=46323 1493.32/1493.97 c nbDecision=938000 #constraints=46337 1494.42/1495.00 c nbDecision=938500 #constraints=46350 1495.72/1496.36 c nbDecision=939000 #constraints=46371 1497.12/1497.76 c nbDecision=939500 #constraints=46393 1498.32/1498.95 c nbDecision=940000 #constraints=46411 1499.82/1500.43 c nbDecision=940500 #constraints=46436 1501.11/1501.76 c nbDecision=941000 #constraints=46459 1502.51/1503.16 c nbDecision=941500 #constraints=46480 1504.12/1504.77 c nbDecision=942000 #constraints=46508 1505.71/1506.39 c nbDecision=942500 #constraints=46534 1507.01/1507.69 c nbDecision=943000 #constraints=46553 1508.52/1509.16 c nbDecision=943500 #constraints=46575 1510.01/1510.69 c nbDecision=944000 #constraints=46598 1511.91/1512.53 c nbDecision=944500 #constraints=46631 1513.51/1514.20 c nbDecision=945000 #constraints=46662 1515.01/1515.63 c nbDecision=945500 #constraints=46687 1516.71/1517.32 c nbDecision=946000 #constraints=46718 1518.21/1518.83 c nbDecision=946500 #constraints=46743 1520.11/1520.72 c nbDecision=947000 #constraints=46779 1521.61/1522.27 c nbDecision=947500 #constraints=46803 1523.21/1523.80 c nbDecision=948000 #constraints=46825 1524.60/1525.20 c nbDecision=948500 #constraints=46844 1526.11/1526.79 c nbDecision=949000 #constraints=46869 1527.60/1528.24 c nbDecision=949500 #constraints=46890 1529.41/1530.04 c nbDecision=950000 #constraints=46921 1531.40/1532.07 c nbDecision=950500 #constraints=46961 1533.50/1534.19 c nbDecision=951000 #constraints=47001 1535.21/1535.89 c nbDecision=951500 #constraints=47034 1536.71/1537.38 c nbDecision=952000 #constraints=47058 1538.11/1538.77 c nbDecision=952500 #constraints=47080 1539.91/1540.52 c nbDecision=953000 #constraints=47112 1541.41/1542.03 c nbDecision=953500 #constraints=47138 1543.01/1543.67 c nbDecision=954000 #constraints=47168 1544.41/1545.00 c nbDecision=954500 #constraints=47185 1545.91/1546.60 c nbDecision=955000 #constraints=47212 1547.60/1548.29 c nbDecision=955500 #constraints=47240 1549.50/1550.18 c nbDecision=956000 #constraints=47273 1551.41/1552.04 c nbDecision=956500 #constraints=47307 1554.00/1554.65 c nbDecision=957000 #constraints=47361 1556.00/1556.69 c nbDecision=957500 #constraints=47400 1557.30/1557.99 c nbDecision=958000 #constraints=47420 1558.90/1559.53 c nbDecision=958500 #constraints=47447 1560.70/1561.35 c nbDecision=959000 #constraints=47480 1562.40/1563.09 c nbDecision=959500 #constraints=47508 1563.70/1564.33 c nbDecision=960000 #constraints=47526 1565.50/1566.17 c nbDecision=960500 #constraints=47558 1566.60/1567.26 c nbDecision=961000 #constraints=47570 1568.29/1568.97 c nbDecision=961500 #constraints=47599 1569.99/1570.63 c nbDecision=962000 #constraints=47632 1571.39/1572.04 c nbDecision=962500 #constraints=47655 1573.50/1574.14 c nbDecision=963000 #constraints=47699 1575.29/1575.96 c nbDecision=963500 #constraints=47732 1577.19/1577.86 c nbDecision=964000 #constraints=47771 1579.80/1580.49 c nbDecision=964500 #constraints=47824 1581.70/1582.32 c nbDecision=965000 #constraints=47857 1583.10/1583.78 c nbDecision=965500 #constraints=47882 1584.20/1584.88 c nbDecision=966000 #constraints=47898 1585.20/1585.83 c nbDecision=966500 #constraints=47909 1586.10/1586.74 c nbDecision=967000 #constraints=47921 1587.40/1588.07 c nbDecision=967500 #constraints=47943 1588.60/1589.30 c nbDecision=968000 #constraints=47962 1590.40/1591.06 c nbDecision=968500 #constraints=47991 1592.20/1592.82 c nbDecision=969000 #constraints=48020 1593.49/1594.10 c nbDecision=969500 #constraints=48039 1595.40/1596.06 c nbDecision=970000 #constraints=48075 1596.99/1597.64 c nbDecision=970500 #constraints=48101 1598.59/1599.26 c nbDecision=971000 #constraints=48127 1600.89/1601.56 c nbDecision=971500 #constraints=48169 1602.69/1603.32 c nbDecision=972000 #constraints=48199 1604.69/1605.31 c nbDecision=972500 #constraints=48233 1606.89/1607.54 c nbDecision=973000 #constraints=48274 1609.19/1609.83 c nbDecision=973500 #constraints=48316 1610.99/1611.66 c nbDecision=974000 #constraints=48346 1613.38/1614.08 c nbDecision=974500 #constraints=48391 1615.98/1616.62 c nbDecision=975000 #constraints=48439 1617.98/1618.68 c nbDecision=975500 #constraints=48480 1619.68/1620.36 c nbDecision=976000 #constraints=48508 1622.28/1622.98 c nbDecision=976500 #constraints=48560 1625.58/1626.21 c nbDecision=977000 #constraints=48624 1628.28/1628.98 c nbDecision=977500 #constraints=48681 1631.38/1632.05 c nbDecision=978000 #constraints=48741 1633.18/1633.82 c nbDecision=978500 #constraints=48773 1634.58/1635.24 c nbDecision=979000 #constraints=48795 1636.47/1637.17 c nbDecision=979500 #constraints=48828 1637.77/1638.48 c nbDecision=980000 #constraints=48847 1639.78/1640.46 c nbDecision=980500 #constraints=48882 1640.78/1641.46 c nbDecision=981000 #constraints=48896 1642.69/1643.33 c nbDecision=981500 #constraints=48930 1643.68/1644.33 c nbDecision=982000 #constraints=48944 1645.58/1646.28 c nbDecision=982500 #constraints=48980 1646.78/1647.41 c nbDecision=983000 #constraints=48999 1647.98/1648.69 c nbDecision=983500 #constraints=49018 1649.18/1649.82 c nbDecision=984000 #constraints=49036 1650.18/1650.83 c nbDecision=984500 #constraints=49049 1651.38/1652.03 c nbDecision=985000 #constraints=49067 1652.48/1653.20 c nbDecision=985500 #constraints=49084 1653.78/1654.47 c nbDecision=986000 #constraints=49105 1654.97/1655.62 c nbDecision=986500 #constraints=49123 1656.47/1657.17 c nbDecision=987000 #constraints=49151 1657.77/1658.48 c nbDecision=987500 #constraints=49174 1659.07/1659.78 c nbDecision=988000 #constraints=49193 1660.27/1660.98 c nbDecision=988500 #constraints=49212 1662.27/1662.94 c nbDecision=989000 #constraints=49251 1663.57/1664.28 c nbDecision=989500 #constraints=49273 1664.57/1665.20 c nbDecision=990000 #constraints=49284 1666.47/1667.18 c nbDecision=990500 #constraints=49316 1668.17/1668.87 c nbDecision=991000 #constraints=49344 1669.27/1669.92 c nbDecision=991500 #constraints=49354 1671.17/1671.86 c nbDecision=992000 #constraints=49384 1672.77/1673.48 c nbDecision=992500 #constraints=49408 1674.67/1675.37 c nbDecision=993000 #constraints=49437 1676.56/1677.20 c nbDecision=993500 #constraints=49469 1678.26/1678.95 c nbDecision=994000 #constraints=49498 1680.56/1681.28 c nbDecision=994500 #constraints=49543 1683.06/1683.78 c nbDecision=995000 #constraints=49587 1685.36/1686.04 c nbDecision=995500 #constraints=49629 1687.86/1688.59 c nbDecision=996000 #constraints=49673 1689.56/1690.26 c nbDecision=996500 #constraints=49697 1691.46/1692.13 c nbDecision=997000 #constraints=49726 1693.36/1694.05 c nbDecision=997500 #constraints=49757 1695.75/1696.40 c nbDecision=998000 #constraints=49800 1697.76/1698.45 c nbDecision=998500 #constraints=49834 1700.56/1701.24 c nbDecision=999000 #constraints=49887 1703.16/1703.86 c nbDecision=999500 #constraints=49939 1705.36/1706.06 c nbDecision=1000000 #constraints=49979 1707.96/1708.66 c nbDecision=1000500 #constraints=50025 1710.56/1711.23 c nbDecision=1001000 #constraints=50074 1713.66/1714.37 c nbDecision=1001500 #constraints=50135 1716.75/1717.44 c nbDecision=1002000 #constraints=50198 1719.76/1720.49 c nbDecision=1002500 #constraints=50261 1721.65/1722.38 c nbDecision=1003000 #constraints=50292 1723.35/1724.08 c nbDecision=1003500 #constraints=50318 1725.25/1725.98 c nbDecision=1004000 #constraints=50351 1727.45/1728.11 c nbDecision=1004500 #constraints=50388 1729.25/1729.90 c nbDecision=1005000 #constraints=50412 1731.15/1731.80 c nbDecision=1005500 #constraints=50446 1733.35/1734.06 c nbDecision=1006000 #constraints=50482 1734.75/1735.45 c nbDecision=1006500 #constraints=50503 1736.45/1737.14 c nbDecision=1007000 #constraints=50530 1737.95/1738.68 c nbDecision=1007500 #constraints=50554 1740.65/1741.35 c nbDecision=1008000 #constraints=50604 1742.44/1743.14 c nbDecision=1008500 #constraints=50630 1744.64/1745.31 c nbDecision=1009000 #constraints=50667 1746.84/1747.60 c nbDecision=1009500 #constraints=50708 1749.14/1749.85 c nbDecision=1010000 #constraints=50745 1751.04/1751.75 c nbDecision=1010500 #constraints=50774 1752.94/1753.61 c nbDecision=1011000 #constraints=50801 1755.14/1755.85 c nbDecision=1011500 #constraints=50838 1757.44/1758.18 c nbDecision=1012000 #constraints=50878 1759.64/1760.32 c nbDecision=1012500 #constraints=50911 1762.34/1763.05 c nbDecision=1013000 #constraints=50963 1764.85/1765.54 c nbDecision=1013500 #constraints=51007 1767.44/1768.14 c nbDecision=1014000 #constraints=51056 1770.44/1771.19 c nbDecision=1014500 #constraints=51114 1774.04/1774.74 c nbDecision=1015000 #constraints=51183 1777.04/1777.70 c nbDecision=1015500 #constraints=51238 1779.04/1779.78 c nbDecision=1016000 #constraints=51273 1781.04/1781.76 c nbDecision=1016500 #constraints=51304 1783.54/1784.23 c nbDecision=1017000 #constraints=51348 1786.03/1786.79 c nbDecision=1017500 #constraints=51394 1787.84/1788.51 c nbDecision=1018000 #constraints=51419 1790.03/1790.72 c nbDecision=1018500 #constraints=51455 1791.93/1792.64 c nbDecision=1019000 #constraints=51481 1793.73/1794.41 c nbDecision=1019500 #constraints=51505 1795.83/1796.55 c nbDecision=1020000 #constraints=51539 1797.73/1798.48 c nbDecision=1020500 #constraints=51567 1800.03/1800.70 Received signal 15 1800.03/1800.72 1800.03/1800.72 s UNKNOWN 1800.03/1800.72 1800.03/1800.72 c user time= 1799.59 s 1800.03/1800.72 c system time= 0.468928 s 1800.03/1800.72 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-357498-1177001711 -o ROOT/results/node44/solver-357498-1177001711 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357498-1177001711/instance-357498-1177001711.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.85 0.97 0.99 3/77 4965 /proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=1468 CPUtime=0 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 148082857 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 367 163 131 317 0 46 0 [startup+0.0200861 s] /proc/loadavg: 0.85 0.97 0.99 3/77 4965 /proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=1732 CPUtime=0.01 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 248 0 0 0 1 0 0 0 18 0 1 0 148082857 1773568 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 433 230 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.102094 s] /proc/loadavg: 0.85 0.97 0.99 3/77 4965 /proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=3052 CPUtime=0.09 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 567 0 0 0 9 0 0 0 18 0 1 0 148082857 3125248 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 763 549 139 317 0 442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3052 [startup+0.301114 s] /proc/loadavg: 0.85 0.97 0.99 3/77 4965 /proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=3052 CPUtime=0.29 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 567 0 0 0 29 0 0 0 19 0 1 0 148082857 3125248 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 763 549 139 317 0 442 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3052 [startup+0.702155 s] /proc/loadavg: 0.85 0.97 0.99 3/77 4965 /proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=3184 CPUtime=0.69 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 622 0 0 0 69 0 0 0 23 0 1 0 148082857 3260416 604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 796 604 139 317 0 475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3184 [startup+1.50124 s] /proc/loadavg: 0.86 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1685504/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=3852 CPUtime=1.49 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 816 0 0 0 149 0 0 0 25 0 1 0 148082857 3944448 798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 963 798 170 317 0 642 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3852 [startup+3.1014 s] /proc/loadavg: 0.86 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1684416/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=5268 CPUtime=3.09 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 1155 0 0 0 309 0 0 0 25 0 1 0 148082857 5394432 1137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 1317 1137 170 317 0 996 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5268 [startup+6.30173 s] /proc/loadavg: 0.86 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1682304/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=7060 CPUtime=6.29 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 1566 0 0 0 629 0 0 0 25 0 1 0 148082857 7229440 1548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 1765 1548 170 317 0 1444 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7060 [startup+12.7014 s] /proc/loadavg: 0.88 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1679816/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=9256 CPUtime=12.69 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 2120 0 0 0 1268 1 0 0 25 0 1 0 148082857 9478144 2102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 2314 2102 170 317 0 1993 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9256 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1676616/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=12620 CPUtime=25.49 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 2906 0 0 0 2547 2 0 0 25 0 1 0 148082857 12922880 2888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 3155 2888 170 317 0 2834 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12620 [startup+51.1013 s] /proc/loadavg: 0.93 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1672392/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=16940 CPUtime=51.07 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 4011 0 0 0 5104 3 0 0 25 0 1 0 148082857 17346560 3936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 4235 3936 170 317 0 3914 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16940 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1666888/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=22788 CPUtime=102.27 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 5354 0 0 0 10222 5 0 0 25 0 1 0 148082857 23334912 5279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 5697 5279 170 317 0 5376 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22788 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1661320/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=28548 CPUtime=162.25 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 6769 0 0 0 16217 8 0 0 25 0 1 0 148082857 29233152 6694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 7137 6694 170 317 0 6816 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28548 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4966 /proc/meminfo: memFree=1655752/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=34068 CPUtime=222.24 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 8197 0 0 0 22214 10 0 0 25 0 1 0 148082857 34885632 8009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 8517 8009 170 317 0 8196 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 34068 [startup+282.301 s] /proc/loadavg: 1.07 0.99 0.99 2/78 4966 /proc/meminfo: memFree=1651336/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=39540 CPUtime=282.21 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 9522 0 0 0 28210 11 0 0 25 0 1 0 148082857 40488960 9169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 9885 9169 170 317 0 9564 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39540 [startup+342.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 4966 /proc/meminfo: memFree=1646984/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=44648 CPUtime=342.19 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 10879 0 0 0 34206 13 0 0 25 0 1 0 148082857 45719552 10262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273272 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 11162 10262 170 317 0 10841 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 44648 [startup+402.301 s] /proc/loadavg: 1.01 0.99 0.99 2/84 5144 /proc/meminfo: memFree=1641664/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=48748 CPUtime=402.08 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 11982 0 0 0 40193 15 0 0 25 0 1 0 148082857 49917952 11266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 12187 11266 170 317 0 11866 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 48748 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1638920/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=52428 CPUtime=462.06 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 12976 0 0 0 46189 17 0 0 25 0 1 0 148082857 53686272 12227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 13107 12227 170 317 0 12786 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 52428 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1635080/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=56340 CPUtime=522.04 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 14037 0 0 0 52185 19 0 0 25 0 1 0 148082857 57692160 13189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 14085 13189 170 317 0 13764 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 56340 [startup+582.303 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1631496/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=60276 CPUtime=582.01 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 15141 0 0 0 58181 20 0 0 25 0 1 0 148082857 61722624 14095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 15069 14095 170 317 0 14748 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 60276 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1628168/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=63284 CPUtime=642 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 15981 0 0 0 64178 22 0 0 25 0 1 0 148082857 64802816 14902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 15821 14902 170 317 0 15500 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 63284 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1616008/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=76952 CPUtime=881.91 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 19833 0 0 0 88163 28 0 0 25 0 1 0 148082857 78798848 17940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 19238 17940 170 317 0 18917 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 76952 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1612808/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=80232 CPUtime=941.89 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 20716 0 0 0 94159 30 0 0 25 0 1 0 148082857 82157568 18725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 20058 18725 170 317 0 19737 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 80232 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1609800/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=85032 CPUtime=1001.86 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 21995 0 0 0 100155 31 0 0 25 0 1 0 148082857 87072768 19484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 21258 19484 170 317 0 20937 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 85032 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1606984/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=87672 CPUtime=1061.85 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 22735 0 0 0 106153 32 0 0 25 0 1 0 148082857 89776128 20191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 21918 20191 170 317 0 21597 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 87672 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1603976/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=90832 CPUtime=1121.83 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 23612 0 0 0 112149 34 0 0 25 0 1 0 148082857 93011968 20938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 22708 20938 170 317 0 22387 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 90832 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1601224/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=93556 CPUtime=1181.81 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 24384 0 0 0 118146 35 0 0 25 0 1 0 148082857 95801344 21612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 23389 21612 170 317 0 23068 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 93556 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1598792/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=96188 CPUtime=1241.79 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 25136 0 0 0 124143 36 0 0 25 0 1 0 148082857 98496512 22234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 24047 22234 170 317 0 23726 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 96188 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1596232/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=98664 CPUtime=1301.78 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 25814 0 0 0 130141 37 0 0 25 0 1 0 148082857 101031936 22847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 24666 22847 170 317 0 24345 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 98664 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1593864/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=101272 CPUtime=1361.76 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 26536 0 0 0 136138 38 0 0 25 0 1 0 148082857 103702528 23439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 25318 23439 170 317 0 24997 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 101272 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1591560/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=103876 CPUtime=1421.74 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 27292 0 0 0 142135 39 0 0 25 0 1 0 148082857 106369024 24000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 25969 24000 170 317 0 25648 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 103876 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1589128/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=106280 CPUtime=1481.72 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 27952 0 0 0 148131 41 0 0 25 0 1 0 148082857 108830720 24595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 26570 24595 170 317 0 26249 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 106280 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1586824/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=109036 CPUtime=1541.71 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 28734 0 0 0 154129 42 0 0 25 0 1 0 148082857 111652864 25182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 27259 25182 170 317 0 26938 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 109036 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1584520/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=111288 CPUtime=1601.69 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 29374 0 0 0 160126 43 0 0 25 0 1 0 148082857 113958912 25757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 27822 25757 170 317 0 27501 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 111288 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1582280/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=113256 CPUtime=1661.67 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 29927 0 0 0 166123 44 0 0 25 0 1 0 148082857 115974144 26310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 28314 26310 170 317 0 27993 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 113256 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1579912/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=115628 CPUtime=1721.65 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 30583 0 0 0 172120 45 0 0 25 0 1 0 148082857 118403072 26900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 28907 26900 170 317 0 28586 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 115628 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1577672/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=118228 CPUtime=1781.64 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 31272 0 0 0 178118 46 0 0 25 0 1 0 148082857 121065472 27459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715881 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 29557 27459 170 317 0 29236 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 118228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1577096/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=118624 CPUtime=1800.03 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 31417 0 0 0 179957 46 0 0 25 0 1 0 148082857 121470976 27604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 29656 27604 170 317 0 29335 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 118624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/78 5164 /proc/meminfo: memFree=1577096/2055920 swapFree=4150992/4192956 [pid=4965] ppid=4963 vsize=118624 CPUtime=1800.03 /proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 31417 0 0 0 179957 46 0 0 25 0 1 0 148082857 121470976 27604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4965/statm: 29656 27604 170 317 0 29335 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 118624 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.09 CPU user time (s): 1799.6 CPU system time (s): 0.488925 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 118624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.488925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31433 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= 32158 runsolver used 1.9617 second user time and 4.72228 second system time The end
Begin job on node44 on Thu Apr 19 16:55:12 UTC 2007 IDJOB= 357498 IDBENCH= 2943 IDSOLVER= 172 FILE ID= node44/357498-1177001711 PBS_JOBID= 4630515 Free space on /tmp= 66413 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb COMMAND LINE= oree /tmp/evaluation/357498-1177001711/instance-357498-1177001711.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-357498-1177001711 -o ROOT/results/node44/solver-357498-1177001711 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357498-1177001711/instance-357498-1177001711.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a849a24692bdc034ba3174a2ba23709e RANDOM SEED= 777238676 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1688096 kB Buffers: 42592 kB Cached: 232472 kB SwapCached: 18832 kB Active: 88076 kB Inactive: 216012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1688096 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 1692 kB Writeback: 0 kB Mapped: 32060 kB Slab: 49196 kB Committed_AS: 498560 kB PageTables: 1736 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= 66413 MiB End job on node44 on Thu Apr 19 17:25:14 UTC 2007