Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb |
MD5SUM | f3194c704d6cb84122c01530d022722f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.875865 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 35070 |
Total number of constraints | 488 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 488 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 24750 |
Biggest coefficient in the objective function | 20760 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 545888 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 545888 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.29/0.38 c ...done 0.29/0.38 c #vars=35070 #constraints=873 hasObjective=yes 0.59/0.63 c res. mode=mod 0.59/0.63 c VSIDS like heuristics 0.59/0.63 c complete search running 0.89/0.94 c restart after 401 decisions 1.00/1.03 c nbDecision=500 #constraints=873 1.19/1.21 c restart after 801 decisions 1.29/1.36 c nbDecision=1000 #constraints=873 1.59/1.68 c nbDecision=1500 #constraints=930 1.69/1.75 c restart after 1601 decisions 1.99/2.02 c nbDecision=2000 #constraints=937 2.29/2.35 c nbDecision=2500 #constraints=1004 2.59/2.65 c nbDecision=3000 #constraints=1030 2.69/2.76 c restart after 3201 decisions 2.89/2.98 c nbDecision=3500 #constraints=1030 3.29/3.30 c nbDecision=4000 #constraints=1093 3.59/3.65 c nbDecision=4500 #constraints=1146 4.09/4.12 c nbDecision=5000 #constraints=1220 4.39/4.48 c nbDecision=5500 #constraints=1335 4.79/4.84 c nbDecision=6000 #constraints=1424 4.99/5.07 c restart after 6401 decisions 5.09/5.17 c nbDecision=6500 #constraints=1441 5.39/5.47 c nbDecision=7000 #constraints=1441 5.89/5.93 c nbDecision=7500 #constraints=1537 6.19/6.26 c nbDecision=8000 #constraints=1556 6.60/6.69 c nbDecision=8500 #constraints=1674 6.99/7.01 c nbDecision=9000 #constraints=1700 7.19/7.29 c nbDecision=9500 #constraints=1701 7.59/7.69 c nbDecision=10000 #constraints=1795 7.99/8.03 c nbDecision=10500 #constraints=1876 8.29/8.34 c nbDecision=11000 #constraints=1895 8.69/8.73 c nbDecision=11500 #constraints=1950 8.99/9.07 c nbDecision=12000 #constraints=2015 9.39/9.40 c nbDecision=12500 #constraints=2054 9.59/9.66 c restart after 12801 decisions 9.79/9.82 c nbDecision=13000 #constraints=2088 10.08/10.16 c nbDecision=13500 #constraints=2134 10.48/10.50 c nbDecision=14000 #constraints=2158 10.79/10.88 c nbDecision=14500 #constraints=2189 11.19/11.22 c nbDecision=15000 #constraints=2246 11.49/11.56 c nbDecision=15500 #constraints=2292 11.89/11.90 c nbDecision=16000 #constraints=2321 12.29/12.36 c nbDecision=16500 #constraints=2410 12.59/12.68 c nbDecision=17000 #constraints=2437 13.19/13.22 c nbDecision=17500 #constraints=2554 13.49/13.59 c nbDecision=18000 #constraints=2606 13.79/13.86 c nbDecision=18500 #constraints=2606 14.19/14.26 c nbDecision=19000 #constraints=2684 14.59/14.62 c nbDecision=19500 #constraints=2720 14.89/14.98 c nbDecision=20000 #constraints=2746 15.29/15.32 c nbDecision=20500 #constraints=2818 15.69/15.72 c nbDecision=21000 #constraints=2947 15.99/16.06 c nbDecision=21500 #constraints=3016 16.39/16.43 c nbDecision=22000 #constraints=3102 16.79/16.80 c nbDecision=22500 #constraints=3205 17.09/17.17 c nbDecision=23000 #constraints=3294 17.49/17.56 c nbDecision=23500 #constraints=3399 17.78/17.85 c nbDecision=24000 #constraints=3399 18.18/18.23 c nbDecision=24500 #constraints=3436 18.59/18.66 c nbDecision=25000 #constraints=3548 18.88/18.95 c nbDecision=25500 #constraints=3548 19.08/19.12 c restart after 25601 decisions 19.38/19.41 c nbDecision=26000 #constraints=3581 19.79/19.83 c nbDecision=26500 #constraints=3637 20.08/20.12 c nbDecision=27000 #constraints=3638 20.48/20.54 c nbDecision=27500 #constraints=3678 20.79/20.88 c nbDecision=28000 #constraints=3690 21.08/21.17 c nbDecision=28500 #constraints=3690 21.58/21.69 c nbDecision=29000 #constraints=3789 21.98/22.05 c nbDecision=29500 #constraints=3852 22.38/22.44 c nbDecision=30000 #constraints=3976 22.68/22.77 c nbDecision=30500 #constraints=3990 23.09/23.20 c nbDecision=31000 #constraints=4032 23.49/23.57 c nbDecision=31500 #constraints=4119 23.89/23.95 c nbDecision=32000 #constraints=4167 24.29/24.31 c nbDecision=32500 #constraints=4184 24.59/24.69 c nbDecision=33000 #constraints=4256 24.99/25.06 c nbDecision=33500 #constraints=4308 25.39/25.41 c nbDecision=34000 #constraints=4326 25.78/25.82 c nbDecision=34500 #constraints=4387 26.08/26.17 c nbDecision=35000 #constraints=4419 26.58/26.62 c nbDecision=35500 #constraints=4469 26.98/27.02 c nbDecision=36000 #constraints=4577 27.38/27.40 c nbDecision=36500 #constraints=4614 27.68/27.79 c nbDecision=37000 #constraints=4641 28.08/28.18 c nbDecision=37500 #constraints=4718 28.59/28.64 c nbDecision=38000 #constraints=4818 28.99/29.03 c nbDecision=38500 #constraints=4844 29.39/29.44 c nbDecision=39000 #constraints=4912 29.78/29.85 c nbDecision=39500 #constraints=4964 30.08/30.15 c nbDecision=40000 #constraints=4966 30.58/30.62 c nbDecision=40500 #constraints=5048 30.98/31.01 c nbDecision=41000 #constraints=5096 31.28/31.31 c nbDecision=41500 #constraints=5096 31.58/31.63 c nbDecision=42000 #constraints=5108 31.99/32.03 c nbDecision=42500 #constraints=5163 32.38/32.43 c nbDecision=43000 #constraints=5190 32.78/32.83 c nbDecision=43500 #constraints=5254 33.18/33.22 c nbDecision=44000 #constraints=5300 33.48/33.58 c nbDecision=44500 #constraints=5323 33.88/34.00 c nbDecision=45000 #constraints=5381 34.18/34.29 c nbDecision=45500 #constraints=5383 34.58/34.65 c nbDecision=46000 #constraints=5400 35.08/35.11 c nbDecision=46500 #constraints=5480 35.38/35.48 c nbDecision=47000 #constraints=5509 35.78/35.85 c nbDecision=47500 #constraints=5525 36.28/36.38 c nbDecision=48000 #constraints=5632 36.58/36.65 c nbDecision=48500 #constraints=5632 36.98/37.09 c nbDecision=49000 #constraints=5662 37.48/37.57 c nbDecision=49500 #constraints=5755 37.78/37.87 c nbDecision=50000 #constraints=5755 38.28/38.30 c nbDecision=50500 #constraints=5805 38.68/38.76 c nbDecision=51000 #constraints=5869 38.78/38.87 c restart after 51201 decisions 39.08/39.11 c nbDecision=51500 #constraints=5869 39.38/39.49 c nbDecision=52000 #constraints=5890 39.68/39.80 c nbDecision=52500 #constraints=5891 40.18/40.20 c nbDecision=53000 #constraints=5917 40.59/40.64 c nbDecision=53500 #constraints=5941 40.88/40.92 c nbDecision=54000 #constraints=5941 41.38/41.47 c nbDecision=54500 #constraints=6013 41.78/41.86 c nbDecision=55000 #constraints=6101 42.18/42.25 c nbDecision=55500 #constraints=6137 42.58/42.68 c nbDecision=56000 #constraints=6169 43.08/43.12 c nbDecision=56500 #constraints=6192 43.38/43.43 c nbDecision=57000 #constraints=6192 43.88/43.98 c nbDecision=57500 #constraints=6268 44.38/44.46 c nbDecision=58000 #constraints=6333 44.68/44.75 c nbDecision=58500 #constraints=6333 45.09/45.15 c nbDecision=59000 #constraints=6361 45.48/45.55 c nbDecision=59500 #constraints=6427 45.88/45.95 c nbDecision=60000 #constraints=6460 46.38/46.42 c nbDecision=60500 #constraints=6503 46.88/46.96 c nbDecision=61000 #constraints=6588 47.28/47.31 c nbDecision=61500 #constraints=6609 47.78/47.84 c nbDecision=62000 #constraints=6666 48.28/48.34 c nbDecision=62500 #constraints=6738 48.58/48.64 c nbDecision=63000 #constraints=6738 48.98/49.00 c nbDecision=63500 #constraints=6755 49.38/49.43 c nbDecision=64000 #constraints=6806 49.77/49.80 c nbDecision=64500 #constraints=6818 50.17/50.28 c nbDecision=65000 #constraints=6893 50.58/50.69 c nbDecision=65500 #constraints=6921 51.07/51.15 c nbDecision=66000 #constraints=6955 51.47/51.55 c nbDecision=66500 #constraints=7002 51.87/51.93 c nbDecision=67000 #constraints=7015 52.18/52.26 c nbDecision=67500 #constraints=7020 52.58/52.69 c nbDecision=68000 #constraints=7070 53.18/53.22 c nbDecision=68500 #constraints=7119 53.58/53.62 c nbDecision=69000 #constraints=7133 53.98/54.00 c nbDecision=69500 #constraints=7162 54.38/54.44 c nbDecision=70000 #constraints=7194 54.68/54.79 c nbDecision=70500 #constraints=7198 55.08/55.18 c nbDecision=71000 #constraints=7228 55.68/55.70 c nbDecision=71500 #constraints=7270 55.98/56.10 c nbDecision=72000 #constraints=7288 56.48/56.50 c nbDecision=72500 #constraints=7333 56.97/57.04 c nbDecision=73000 #constraints=7430 57.37/57.42 c nbDecision=73500 #constraints=7443 57.77/57.86 c nbDecision=74000 #constraints=7495 58.18/58.29 c nbDecision=74500 #constraints=7528 58.57/58.63 c nbDecision=75000 #constraints=7528 59.08/59.12 c nbDecision=75500 #constraints=7607 59.38/59.47 c nbDecision=76000 #constraints=7608 59.78/59.88 c nbDecision=76500 #constraints=7624 60.48/60.51 c nbDecision=77000 #constraints=7699 60.78/60.88 c nbDecision=77500 #constraints=7720 61.18/61.27 c nbDecision=78000 #constraints=7730 61.58/61.62 c nbDecision=78500 #constraints=7745 61.98/62.02 c nbDecision=79000 #constraints=7752 62.38/62.48 c nbDecision=79500 #constraints=7780 62.78/62.87 c nbDecision=80000 #constraints=7807 63.18/63.26 c nbDecision=80500 #constraints=7814 63.58/63.63 c nbDecision=81000 #constraints=7821 63.98/64.02 c nbDecision=81500 #constraints=7863 64.37/64.49 c nbDecision=82000 #constraints=7886 65.07/65.13 c nbDecision=82500 #constraints=7947 65.57/65.64 c nbDecision=83000 #constraints=7993 65.87/65.95 c nbDecision=83500 #constraints=8002 66.37/66.43 c nbDecision=84000 #constraints=8033 66.77/66.88 c nbDecision=84500 #constraints=8066 67.17/67.20 c nbDecision=85000 #constraints=8066 67.68/67.72 c nbDecision=85500 #constraints=8113 68.18/68.23 c nbDecision=86000 #constraints=8167 68.48/68.53 c nbDecision=86500 #constraints=8167 68.98/69.02 c nbDecision=87000 #constraints=8203 69.38/69.48 c nbDecision=87500 #constraints=8231 69.68/69.79 c nbDecision=88000 #constraints=8231 70.17/70.25 c nbDecision=88500 #constraints=8265 70.67/70.74 c nbDecision=89000 #constraints=8304 70.97/71.05 c nbDecision=89500 #constraints=8304 71.38/71.47 c nbDecision=90000 #constraints=8324 71.87/71.90 c nbDecision=90500 #constraints=8333 72.17/72.21 c nbDecision=91000 #constraints=8333 72.57/72.68 c nbDecision=91500 #constraints=8369 73.07/73.14 c nbDecision=92000 #constraints=8409 73.37/73.46 c nbDecision=92500 #constraints=8409 73.77/73.89 c nbDecision=93000 #constraints=8436 74.27/74.31 c nbDecision=93500 #constraints=8440 74.57/74.63 c nbDecision=94000 #constraints=8440 74.97/75.06 c nbDecision=94500 #constraints=8474 75.48/75.58 c nbDecision=95000 #constraints=8513 75.88/75.91 c nbDecision=95500 #constraints=8515 76.27/76.31 c nbDecision=96000 #constraints=8531 76.67/76.76 c nbDecision=96500 #constraints=8552 77.07/77.18 c nbDecision=97000 #constraints=8573 77.57/77.63 c nbDecision=97500 #constraints=8618 78.07/78.17 c nbDecision=98000 #constraints=8676 78.47/78.52 c nbDecision=98500 #constraints=8679 78.87/78.93 c nbDecision=99000 #constraints=8711 79.37/79.42 c nbDecision=99500 #constraints=8749 79.77/79.85 c nbDecision=100000 #constraints=8768 80.27/80.30 c nbDecision=100500 #constraints=8811 80.67/80.78 c nbDecision=101000 #constraints=8839 81.07/81.17 c nbDecision=101500 #constraints=8850 81.57/81.62 c nbDecision=102000 #constraints=8890 81.87/81.98 c restart after 102401 decisions 82.07/82.13 c nbDecision=102500 #constraints=8896 82.38/82.42 c nbDecision=103000 #constraints=8896 82.87/82.96 c nbDecision=103500 #constraints=8934 83.17/83.28 c nbDecision=104000 #constraints=8934 83.77/83.83 c nbDecision=104500 #constraints=9015 84.37/84.44 c nbDecision=105000 #constraints=9099 84.68/84.77 c nbDecision=105500 #constraints=9099 85.17/85.29 c nbDecision=106000 #constraints=9160 85.67/85.71 c nbDecision=106500 #constraints=9165 85.97/86.05 c nbDecision=107000 #constraints=9165 86.57/86.60 c nbDecision=107500 #constraints=9235 87.27/87.31 c nbDecision=108000 #constraints=9327 87.57/87.63 c nbDecision=108500 #constraints=9327 87.97/88.08 c nbDecision=109000 #constraints=9364 88.77/88.84 c nbDecision=109500 #constraints=9443 89.07/89.15 c nbDecision=110000 #constraints=9443 89.47/89.57 c nbDecision=110500 #constraints=9462 90.17/90.24 c nbDecision=111000 #constraints=9589 90.77/90.88 c nbDecision=111500 #constraints=9656 91.28/91.35 c nbDecision=112000 #constraints=9681 91.77/91.82 c nbDecision=112500 #constraints=9718 92.28/92.40 c nbDecision=113000 #constraints=9755 92.77/92.83 c nbDecision=113500 #constraints=9773 93.17/93.27 c nbDecision=114000 #constraints=9802 93.77/93.85 c nbDecision=114500 #constraints=9852 94.17/94.25 c nbDecision=115000 #constraints=9864 94.67/94.78 c nbDecision=115500 #constraints=9923 95.27/95.33 c nbDecision=116000 #constraints=9955 95.67/95.72 c nbDecision=116500 #constraints=9967 96.16/96.23 c nbDecision=117000 #constraints=10009 96.67/96.76 c nbDecision=117500 #constraints=10028 97.06/97.16 c nbDecision=118000 #constraints=10040 97.57/97.66 c nbDecision=118500 #constraints=10083 98.17/98.21 c nbDecision=119000 #constraints=10125 98.47/98.57 c nbDecision=119500 #constraints=10129 98.97/99.02 c nbDecision=120000 #constraints=10158 99.57/99.65 c nbDecision=120500 #constraints=10201 99.97/100.04 c nbDecision=121000 #constraints=10211 100.47/100.54 c nbDecision=121500 #constraints=10249 101.07/101.13 c nbDecision=122000 #constraints=10292 101.47/101.56 c nbDecision=122500 #constraints=10307 101.97/102.02 c nbDecision=123000 #constraints=10333 102.37/102.49 c nbDecision=123500 #constraints=10342 102.77/102.86 c nbDecision=124000 #constraints=10342 103.47/103.51 c nbDecision=124500 #constraints=10386 103.77/103.81 c nbDecision=125000 #constraints=10387 104.26/104.36 c nbDecision=125500 #constraints=10422 104.96/105.01 c nbDecision=126000 #constraints=10483 105.26/105.38 c nbDecision=126500 #constraints=10496 105.86/105.93 c nbDecision=127000 #constraints=10532 106.36/106.41 c nbDecision=127500 #constraints=10571 106.76/106.90 c nbDecision=128000 #constraints=10585 107.36/107.41 c nbDecision=128500 #constraints=10615 107.86/107.91 c nbDecision=129000 #constraints=10654 108.36/108.47 c nbDecision=129500 #constraints=10675 108.87/108.98 c nbDecision=130000 #constraints=10707 109.36/109.46 c nbDecision=130500 #constraints=10748 109.96/110.07 c nbDecision=131000 #constraints=10790 110.47/110.52 c nbDecision=131500 #constraints=10809 110.87/110.97 c nbDecision=132000 #constraints=10835 111.47/111.53 c nbDecision=132500 #constraints=10867 111.77/111.88 c nbDecision=133000 #constraints=10867 112.27/112.33 c nbDecision=133500 #constraints=10885 112.87/112.93 c nbDecision=134000 #constraints=10917 113.27/113.32 c nbDecision=134500 #constraints=10927 113.67/113.76 c nbDecision=135000 #constraints=10949 114.27/114.32 c nbDecision=135500 #constraints=10970 114.67/114.70 c nbDecision=136000 #constraints=10978 115.16/115.24 c nbDecision=136500 #constraints=11024 115.66/115.77 c nbDecision=137000 #constraints=11043 116.06/116.17 c nbDecision=137500 #constraints=11055 116.57/116.62 c nbDecision=138000 #constraints=11081 117.06/117.19 c nbDecision=138500 #constraints=11099 117.57/117.64 c nbDecision=139000 #constraints=11119 118.16/118.29 c nbDecision=139500 #constraints=11193 118.86/118.94 c nbDecision=140000 #constraints=11237 119.26/119.39 c nbDecision=140500 #constraints=11253 119.76/119.86 c nbDecision=141000 #constraints=11279 120.26/120.33 c nbDecision=141500 #constraints=11294 120.76/120.82 c nbDecision=142000 #constraints=11308 121.36/121.43 c nbDecision=142500 #constraints=11393 122.07/122.12 c nbDecision=143000 #constraints=11507 122.66/122.73 c nbDecision=143500 #constraints=11582 123.26/123.38 c nbDecision=144000 #constraints=11630 123.56/123.66 c nbDecision=144500 #constraints=11630 124.06/124.13 c nbDecision=145000 #constraints=11641 124.56/124.68 c nbDecision=145500 #constraints=11709 125.75/125.83 c nbDecision=146000 #constraints=11944 127.36/127.49 c nbDecision=146500 #constraints=12273 129.46/129.50 c nbDecision=147000 #constraints=12587 131.56/131.66 c nbDecision=147500 #constraints=12886 133.26/133.35 c nbDecision=148000 #constraints=13055 134.75/134.81 c nbDecision=148500 #constraints=13168 135.05/135.13 c nbDecision=149000 #constraints=13168 135.45/135.56 c nbDecision=149500 #constraints=13180 136.75/136.85 c nbDecision=150000 #constraints=13273 138.06/138.14 c nbDecision=150500 #constraints=13335 139.36/139.46 c nbDecision=151000 #constraints=13389 139.66/139.79 c nbDecision=151500 #constraints=13389 140.26/140.37 c nbDecision=152000 #constraints=13424 141.86/141.99 c nbDecision=152500 #constraints=13561 145.96/146.07 c nbDecision=153000 #constraints=13876 149.65/149.72 c nbDecision=153500 #constraints=14161 153.86/153.91 c nbDecision=154000 #constraints=14459 157.95/158.00 c nbDecision=154500 #constraints=14752 161.45/161.53 c nbDecision=155000 #constraints=14947 161.75/161.89 c nbDecision=155500 #constraints=14950 162.35/162.49 c nbDecision=156000 #constraints=15001 165.35/165.49 c nbDecision=156500 #constraints=15185 169.55/169.68 c nbDecision=157000 #constraints=15413 174.55/174.66 c nbDecision=157500 #constraints=15701 174.86/174.98 c nbDecision=158000 #constraints=15701 175.45/175.50 c nbDecision=158500 #constraints=15722 177.35/177.49 c nbDecision=159000 #constraints=15816 183.94/184.09 c nbDecision=159500 #constraints=16116 189.95/190.02 c nbDecision=160000 #constraints=16379 197.85/197.94 c nbDecision=160500 #constraints=16764 203.04/203.11 c nbDecision=161000 #constraints=16935 210.64/210.71 c nbDecision=161500 #constraints=17274 219.34/219.42 c nbDecision=162000 #constraints=17617 225.33/225.43 c nbDecision=162500 #constraints=17804 225.63/225.77 c nbDecision=163000 #constraints=17813 226.13/226.28 c nbDecision=163500 #constraints=17826 227.83/227.92 c nbDecision=164000 #constraints=17891 232.13/232.26 c nbDecision=164500 #constraints=17972 236.14/236.28 c nbDecision=165000 #constraints=18028 237.83/237.91 c nbDecision=165500 #constraints=18043 238.23/238.32 c nbDecision=166000 #constraints=18049 238.73/238.84 c nbDecision=166500 #constraints=18069 248.03/248.11 c nbDecision=167000 #constraints=18400 257.83/257.92 c nbDecision=167500 #constraints=18705 268.22/268.35 c nbDecision=168000 #constraints=19026 277.42/277.54 c nbDecision=168500 #constraints=19310 286.52/286.67 c nbDecision=169000 #constraints=19561 294.01/294.18 c nbDecision=169500 #constraints=19732 300.01/300.15 c nbDecision=170000 #constraints=19814 306.41/306.55 c nbDecision=170500 #constraints=19915 311.72/311.82 c nbDecision=171000 #constraints=19974 315.92/316.10 c nbDecision=171500 #constraints=20014 316.31/316.43 c nbDecision=172000 #constraints=20014 316.81/316.91 c nbDecision=172500 #constraints=20030 322.01/322.14 c nbDecision=173000 #constraints=20169 334.21/334.36 c nbDecision=173500 #constraints=20427 346.50/346.65 c nbDecision=174000 #constraints=20756 352.70/352.83 c nbDecision=174500 #constraints=20862 353.00/353.17 c nbDecision=175000 #constraints=20862 353.61/353.79 c nbDecision=175500 #constraints=20902 359.51/359.63 c nbDecision=176000 #constraints=21037 367.50/367.69 c nbDecision=176500 #constraints=21162 374.80/374.98 c nbDecision=177000 #constraints=21261 383.50/383.69 c nbDecision=177500 #constraints=21409 391.40/391.52 c nbDecision=178000 #constraints=21519 398.89/399.03 c nbDecision=178500 #constraints=21626 406.49/406.61 c nbDecision=179000 #constraints=21725 414.60/414.76 c nbDecision=179500 #constraints=21842 422.49/422.61 c nbDecision=180000 #constraints=21950 429.48/429.65 c nbDecision=180500 #constraints=22034 431.09/431.22 c nbDecision=181000 #constraints=22051 431.48/431.65 c nbDecision=181500 #constraints=22060 432.28/432.45 c nbDecision=182000 #constraints=22125 436.78/436.97 c nbDecision=182500 #constraints=22204 437.18/437.32 c nbDecision=183000 #constraints=22204 437.78/437.95 c nbDecision=183500 #constraints=22246 441.99/442.18 c nbDecision=184000 #constraints=22318 442.48/442.61 c nbDecision=184500 #constraints=22328 442.98/443.16 c nbDecision=185000 #constraints=22352 446.68/446.88 c nbDecision=185500 #constraints=22408 447.08/447.22 c nbDecision=186000 #constraints=22408 447.68/447.86 c nbDecision=186500 #constraints=22445 452.08/452.29 c nbDecision=187000 #constraints=22522 452.48/452.64 c nbDecision=187500 #constraints=22531 453.28/453.40 c nbDecision=188000 #constraints=22578 455.67/455.80 c nbDecision=188500 #constraints=22637 456.57/456.70 c nbDecision=189000 #constraints=22651 457.07/457.21 c nbDecision=189500 #constraints=22658 460.37/460.55 c nbDecision=190000 #constraints=22734 464.18/464.31 c nbDecision=190500 #constraints=22819 464.58/464.76 c nbDecision=191000 #constraints=22831 465.08/465.23 c nbDecision=191500 #constraints=22838 468.58/468.76 c nbDecision=192000 #constraints=22920 469.08/469.20 c nbDecision=192500 #constraints=22931 469.78/469.94 c nbDecision=193000 #constraints=22981 474.57/474.77 c nbDecision=193500 #constraints=23064 474.98/475.10 c nbDecision=194000 #constraints=23064 475.47/475.69 c nbDecision=194500 #constraints=23092 479.47/479.61 c nbDecision=195000 #constraints=23151 479.77/479.94 c nbDecision=195500 #constraints=23151 480.37/480.50 c nbDecision=196000 #constraints=23171 482.07/482.26 c nbDecision=196500 #constraints=23211 482.57/482.73 c nbDecision=197000 #constraints=23223 483.27/483.49 c nbDecision=197500 #constraints=23275 484.97/485.17 c nbDecision=198000 #constraints=23294 485.37/485.57 c nbDecision=198500 #constraints=23297 486.57/486.71 c nbDecision=199000 #constraints=23317 492.57/492.79 c nbDecision=199500 #constraints=23422 492.96/493.14 c nbDecision=200000 #constraints=23422 493.56/493.78 c nbDecision=200500 #constraints=23452 506.87/507.03 c nbDecision=201000 #constraints=23772 527.76/527.91 c nbDecision=201500 #constraints=24254 548.95/549.12 c nbDecision=202000 #constraints=24712 570.35/570.58 c nbDecision=202500 #constraints=25146 594.04/594.29 c nbDecision=203000 #constraints=25546 622.23/622.45 c nbDecision=203500 #constraints=25972 648.62/648.87 c nbDecision=204000 #constraints=26378 678.02/678.20 c nbDecision=204500 #constraints=26811 693.02/693.24 c restart after 204801 decisions 694.92/695.16 c nbDecision=205000 #constraints=27049 695.82/696.03 c nbDecision=205500 #constraints=27110 698.02/698.28 c nbDecision=206000 #constraints=27133 698.42/698.63 c nbDecision=206500 #constraints=27133 699.22/699.47 c nbDecision=207000 #constraints=27193 702.32/702.52 c nbDecision=207500 #constraints=27205 702.62/702.89 c nbDecision=208000 #constraints=27205 703.32/703.59 c nbDecision=208500 #constraints=27249 706.72/706.97 c nbDecision=209000 #constraints=27283 707.12/707.31 c nbDecision=209500 #constraints=27283 709.52/709.73 c nbDecision=210000 #constraints=27336 713.21/713.46 c nbDecision=210500 #constraints=27368 713.91/714.11 c nbDecision=211000 #constraints=27398 714.61/714.80 c nbDecision=211500 #constraints=27431 718.71/718.97 c nbDecision=212000 #constraints=27489 719.21/719.40 c nbDecision=212500 #constraints=27496 720.11/720.32 c nbDecision=213000 #constraints=27548 727.00/727.24 c nbDecision=213500 #constraints=27634 727.30/727.52 c nbDecision=214000 #constraints=27634 728.10/728.30 c nbDecision=214500 #constraints=27669 732.50/732.78 c nbDecision=215000 #constraints=27778 738.21/738.46 c nbDecision=215500 #constraints=27853 738.91/739.17 c nbDecision=216000 #constraints=27882 743.71/743.99 c nbDecision=216500 #constraints=27970 752.21/752.49 c nbDecision=217000 #constraints=28035 752.80/753.09 c nbDecision=217500 #constraints=28057 754.31/754.53 c nbDecision=218000 #constraints=28113 755.10/755.30 c nbDecision=218500 #constraints=28123 755.90/756.13 c nbDecision=219000 #constraints=28163 758.00/758.29 c nbDecision=219500 #constraints=28198 758.40/758.63 c nbDecision=220000 #constraints=28198 759.00/759.28 c nbDecision=220500 #constraints=28224 760.70/760.92 c nbDecision=221000 #constraints=28252 761.00/761.28 c nbDecision=221500 #constraints=28252 761.70/761.93 c nbDecision=222000 #constraints=28281 763.50/763.79 c nbDecision=222500 #constraints=28319 763.90/764.17 c nbDecision=223000 #constraints=28319 765.59/765.84 c nbDecision=223500 #constraints=28365 765.89/766.14 c nbDecision=224000 #constraints=28365 766.50/766.73 c nbDecision=224500 #constraints=28377 768.09/768.30 c nbDecision=225000 #constraints=28423 768.39/768.64 c nbDecision=225500 #constraints=28423 769.09/769.36 c nbDecision=226000 #constraints=28456 770.29/770.53 c nbDecision=226500 #constraints=28498 770.69/770.98 c nbDecision=227000 #constraints=28508 771.29/771.56 c nbDecision=227500 #constraints=28530 772.39/772.61 c nbDecision=228000 #constraints=28555 772.79/773.09 c nbDecision=228500 #constraints=28565 773.50/773.78 c nbDecision=229000 #constraints=28600 774.90/775.10 c nbDecision=229500 #constraints=28605 775.40/775.60 c nbDecision=230000 #constraints=28617 776.20/776.40 c nbDecision=230500 #constraints=28664 777.20/777.43 c nbDecision=231000 #constraints=28668 777.80/778.06 c nbDecision=231500 #constraints=28690 779.30/779.56 c nbDecision=232000 #constraints=28744 779.60/779.85 c nbDecision=232500 #constraints=28744 780.40/780.62 c nbDecision=233000 #constraints=28778 782.40/782.61 c nbDecision=233500 #constraints=28812 782.70/782.97 c nbDecision=234000 #constraints=28812 783.20/783.40 c nbDecision=234500 #constraints=28812 784.29/784.52 c nbDecision=235000 #constraints=28833 784.70/784.99 c nbDecision=235500 #constraints=28841 785.49/785.75 c nbDecision=236000 #constraints=28878 786.79/787.05 c nbDecision=236500 #constraints=28890 787.40/787.63 c nbDecision=237000 #constraints=28899 788.89/789.19 c nbDecision=237500 #constraints=28939 789.29/789.53 c nbDecision=238000 #constraints=28939 789.99/790.21 c nbDecision=238500 #constraints=28971 790.79/791.06 c nbDecision=239000 #constraints=28994 791.19/791.45 c nbDecision=239500 #constraints=28994 792.89/793.12 c nbDecision=240000 #constraints=29033 793.19/793.40 c nbDecision=240500 #constraints=29033 793.79/794.07 c nbDecision=241000 #constraints=29051 794.99/795.28 c nbDecision=241500 #constraints=29088 795.39/795.62 c nbDecision=242000 #constraints=29088 795.89/796.19 c nbDecision=242500 #constraints=29103 797.19/797.40 c nbDecision=243000 #constraints=29123 797.49/797.79 c nbDecision=243500 #constraints=29123 798.99/799.21 c nbDecision=244000 #constraints=29157 799.29/799.53 c nbDecision=244500 #constraints=29158 799.89/800.18 c nbDecision=245000 #constraints=29176 801.59/801.88 c nbDecision=245500 #constraints=29210 801.89/802.16 c nbDecision=246000 #constraints=29210 802.39/802.67 c nbDecision=246500 #constraints=29211 803.79/804.03 c nbDecision=247000 #constraints=29228 804.09/804.38 c nbDecision=247500 #constraints=29228 804.79/805.10 c nbDecision=248000 #constraints=29262 805.99/806.27 c nbDecision=248500 #constraints=29271 806.48/806.79 c nbDecision=249000 #constraints=29285 807.38/807.63 c nbDecision=249500 #constraints=29330 808.79/809.07 c nbDecision=250000 #constraints=29347 809.39/809.69 c nbDecision=250500 #constraints=29369 810.59/810.83 c nbDecision=251000 #constraints=29397 810.89/811.12 c nbDecision=251500 #constraints=29397 811.49/811.80 c nbDecision=252000 #constraints=29417 812.49/812.70 c nbDecision=252500 #constraints=29429 812.79/813.04 c nbDecision=253000 #constraints=29429 813.48/813.70 c nbDecision=253500 #constraints=29452 815.18/815.40 c nbDecision=254000 #constraints=29486 815.48/815.75 c nbDecision=254500 #constraints=29486 816.08/816.36 c nbDecision=255000 #constraints=29506 817.28/817.58 c nbDecision=255500 #constraints=29524 817.78/818.08 c nbDecision=256000 #constraints=29535 818.58/818.84 c nbDecision=256500 #constraints=29575 819.78/820.05 c nbDecision=257000 #constraints=29585 820.28/820.52 c nbDecision=257500 #constraints=29589 821.78/822.00 c nbDecision=258000 #constraints=29632 821.98/822.29 c nbDecision=258500 #constraints=29632 822.68/822.91 c nbDecision=259000 #constraints=29643 823.68/823.96 c nbDecision=259500 #constraints=29665 824.08/824.30 c nbDecision=260000 #constraints=29665 824.68/824.98 c nbDecision=260500 #constraints=29684 825.89/826.14 c nbDecision=261000 #constraints=29712 826.29/826.52 c nbDecision=261500 #constraints=29712 826.99/827.29 c nbDecision=262000 #constraints=29748 828.59/828.80 c nbDecision=262500 #constraints=29775 828.99/829.29 c nbDecision=263000 #constraints=29783 830.19/830.49 c nbDecision=263500 #constraints=29816 830.48/830.79 c nbDecision=264000 #constraints=29816 831.18/831.45 c nbDecision=264500 #constraints=29833 832.68/832.99 c nbDecision=265000 #constraints=29869 833.08/833.33 c nbDecision=265500 #constraints=29869 833.68/833.95 c nbDecision=266000 #constraints=29887 835.08/835.37 c nbDecision=266500 #constraints=29905 835.69/835.95 c nbDecision=267000 #constraints=29923 836.48/836.76 c nbDecision=267500 #constraints=29966 837.48/837.71 c nbDecision=268000 #constraints=29969 837.98/838.25 c nbDecision=268500 #constraints=29971 839.28/839.55 c nbDecision=269000 #constraints=29987 839.58/839.89 c nbDecision=269500 #constraints=29987 840.38/840.67 c nbDecision=270000 #constraints=30022 841.48/841.79 c nbDecision=270500 #constraints=30053 842.08/842.31 c nbDecision=271000 #constraints=30068 842.98/843.26 c nbDecision=271500 #constraints=30116 844.08/844.36 c nbDecision=272000 #constraints=30146 844.58/844.85 c nbDecision=272500 #constraints=30157 845.27/845.55 c nbDecision=273000 #constraints=30187 846.17/846.49 c nbDecision=273500 #constraints=30191 846.78/847.06 c nbDecision=274000 #constraints=30206 848.89/849.11 c nbDecision=274500 #constraints=30274 849.08/849.39 c nbDecision=275000 #constraints=30274 849.88/850.16 c nbDecision=275500 #constraints=30301 850.68/850.97 c nbDecision=276000 #constraints=30309 851.08/851.31 c nbDecision=276500 #constraints=30309 851.68/851.97 c nbDecision=277000 #constraints=30330 852.78/853.01 c nbDecision=277500 #constraints=30350 853.28/853.59 c nbDecision=278000 #constraints=30371 853.98/854.22 c nbDecision=278500 #constraints=30383 855.38/855.68 c nbDecision=279000 #constraints=30405 855.88/856.15 c nbDecision=279500 #constraints=30405 857.37/857.66 c nbDecision=280000 #constraints=30468 857.68/857.99 c nbDecision=280500 #constraints=30468 858.37/858.63 c nbDecision=281000 #constraints=30486 859.47/859.70 c nbDecision=281500 #constraints=30494 859.77/860.07 c nbDecision=282000 #constraints=30494 860.57/860.86 c nbDecision=282500 #constraints=30528 861.57/861.86 c nbDecision=283000 #constraints=30548 861.97/862.27 c nbDecision=283500 #constraints=30548 863.67/863.97 c nbDecision=284000 #constraints=30567 863.97/864.26 c nbDecision=284500 #constraints=30567 864.57/864.89 c nbDecision=285000 #constraints=30578 865.67/865.94 c nbDecision=285500 #constraints=30596 866.17/866.42 c nbDecision=286000 #constraints=30607 866.67/866.99 c nbDecision=286500 #constraints=30616 867.97/868.26 c nbDecision=287000 #constraints=30637 868.47/868.79 c nbDecision=287500 #constraints=30648 870.17/870.45 c nbDecision=288000 #constraints=30692 870.47/870.73 c nbDecision=288500 #constraints=30692 871.27/871.55 c nbDecision=289000 #constraints=30722 872.27/872.58 c nbDecision=289500 #constraints=30743 872.77/873.07 c nbDecision=290000 #constraints=30755 873.57/873.80 c nbDecision=290500 #constraints=30782 874.67/874.98 c nbDecision=291000 #constraints=30793 875.38/875.62 c nbDecision=291500 #constraints=30815 876.07/876.38 c nbDecision=292000 #constraints=30843 877.37/877.68 c nbDecision=292500 #constraints=30850 877.97/878.26 c nbDecision=293000 #constraints=30859 880.07/880.36 c nbDecision=293500 #constraints=30887 880.37/880.64 c nbDecision=294000 #constraints=30887 880.97/881.28 c nbDecision=294500 #constraints=30899 882.47/882.75 c nbDecision=295000 #constraints=30914 882.87/883.11 c nbDecision=295500 #constraints=30914 883.37/883.68 c nbDecision=296000 #constraints=30925 884.77/885.01 c nbDecision=296500 #constraints=30930 885.37/885.63 c nbDecision=297000 #constraints=30953 885.97/886.22 c nbDecision=297500 #constraints=30965 886.97/887.27 c nbDecision=298000 #constraints=30979 887.38/887.68 c nbDecision=298500 #constraints=30979 888.27/888.54 c nbDecision=299000 #constraints=31022 890.27/890.57 c nbDecision=299500 #constraints=31036 890.77/891.09 c nbDecision=300000 #constraints=31043 892.67/892.98 c nbDecision=300500 #constraints=31066 893.07/893.31 c nbDecision=301000 #constraints=31066 893.77/894.06 c nbDecision=301500 #constraints=31090 895.67/895.99 c nbDecision=302000 #constraints=31111 896.07/896.35 c nbDecision=302500 #constraints=31111 896.67/896.91 c nbDecision=303000 #constraints=31123 898.17/898.45 c nbDecision=303500 #constraints=31132 898.87/899.11 c nbDecision=304000 #constraints=31155 899.77/900.00 c nbDecision=304500 #constraints=31198 900.87/901.13 c nbDecision=305000 #constraints=31202 901.57/901.82 c nbDecision=305500 #constraints=31223 902.87/903.17 c nbDecision=306000 #constraints=31267 903.16/903.45 c nbDecision=306500 #constraints=31267 904.06/904.31 c nbDecision=307000 #constraints=31297 905.56/905.86 c nbDecision=307500 #constraints=31319 905.96/906.22 c nbDecision=308000 #constraints=31319 906.66/906.94 c nbDecision=308500 #constraints=31344 908.37/908.61 c nbDecision=309000 #constraints=31369 908.86/909.17 c nbDecision=309500 #constraints=31385 909.76/910.08 c nbDecision=310000 #constraints=31430 911.16/911.46 c nbDecision=310500 #constraints=31446 911.66/911.95 c nbDecision=311000 #constraints=31452 913.06/913.33 c nbDecision=311500 #constraints=31479 913.36/913.68 c nbDecision=312000 #constraints=31479 914.16/914.46 c nbDecision=312500 #constraints=31507 915.75/916.08 c nbDecision=313000 #constraints=31531 916.25/916.59 c nbDecision=313500 #constraints=31542 916.96/917.29 c nbDecision=314000 #constraints=31567 918.56/918.85 c nbDecision=314500 #constraints=31573 918.96/919.28 c nbDecision=315000 #constraints=31573 920.66/920.99 c nbDecision=315500 #constraints=31594 921.06/921.35 c nbDecision=316000 #constraints=31594 921.76/922.09 c nbDecision=316500 #constraints=31620 923.06/923.32 c nbDecision=317000 #constraints=31638 923.46/923.78 c nbDecision=317500 #constraints=31647 924.26/924.57 c nbDecision=318000 #constraints=31676 925.56/925.86 c nbDecision=318500 #constraints=31692 925.96/926.25 c nbDecision=319000 #constraints=31692 926.66/926.90 c nbDecision=319500 #constraints=31704 927.96/928.28 c nbDecision=320000 #constraints=31715 928.75/929.01 c nbDecision=320500 #constraints=31733 929.95/930.26 c nbDecision=321000 #constraints=31743 930.36/930.61 c nbDecision=321500 #constraints=31743 931.36/931.60 c nbDecision=322000 #constraints=31793 933.25/933.56 c nbDecision=322500 #constraints=31812 933.66/933.93 c nbDecision=323000 #constraints=31812 934.25/934.58 c nbDecision=323500 #constraints=31825 935.55/935.85 c nbDecision=324000 #constraints=31829 936.25/936.57 c nbDecision=324500 #constraints=31848 937.46/937.75 c nbDecision=325000 #constraints=31882 937.86/938.11 c nbDecision=325500 #constraints=31882 938.56/938.88 c nbDecision=326000 #constraints=31908 940.16/940.48 c nbDecision=326500 #constraints=31916 940.56/940.87 c nbDecision=327000 #constraints=31916 941.26/941.52 c nbDecision=327500 #constraints=31925 942.86/943.13 c nbDecision=328000 #constraints=31937 943.26/943.57 c nbDecision=328500 #constraints=31937 944.96/945.27 c nbDecision=329000 #constraints=31972 945.26/945.57 c nbDecision=329500 #constraints=31972 946.15/946.48 c nbDecision=330000 #constraints=32003 948.25/948.52 c nbDecision=330500 #constraints=32024 948.55/948.88 c nbDecision=331000 #constraints=32024 949.15/949.47 c nbDecision=331500 #constraints=32034 950.85/951.14 c nbDecision=332000 #constraints=32073 951.26/951.51 c nbDecision=332500 #constraints=32073 951.85/952.14 c nbDecision=333000 #constraints=32084 952.85/953.13 c nbDecision=333500 #constraints=32095 953.36/953.61 c nbDecision=334000 #constraints=32098 955.65/955.93 c nbDecision=334500 #constraints=32172 955.95/956.21 c nbDecision=335000 #constraints=32172 956.85/957.14 c nbDecision=335500 #constraints=32207 958.55/958.82 c nbDecision=336000 #constraints=32225 958.95/959.20 c nbDecision=336500 #constraints=32225 959.55/959.82 c nbDecision=337000 #constraints=32241 961.35/961.61 c nbDecision=337500 #constraints=32258 961.95/962.23 c nbDecision=338000 #constraints=32277 963.55/963.87 c nbDecision=338500 #constraints=32313 963.85/964.16 c nbDecision=339000 #constraints=32313 964.65/964.96 c nbDecision=339500 #constraints=32334 966.55/966.84 c nbDecision=340000 #constraints=32352 966.94/967.21 c nbDecision=340500 #constraints=32352 967.54/967.86 c nbDecision=341000 #constraints=32371 968.64/968.91 c nbDecision=341500 #constraints=32383 969.04/969.35 c nbDecision=342000 #constraints=32383 972.45/972.70 c nbDecision=342500 #constraints=32408 972.65/972.98 c nbDecision=343000 #constraints=32408 973.45/973.72 c nbDecision=343500 #constraints=32424 975.35/975.68 c nbDecision=344000 #constraints=32454 975.75/976.05 c nbDecision=344500 #constraints=32454 976.35/976.69 c nbDecision=345000 #constraints=32470 977.55/977.88 c nbDecision=345500 #constraints=32481 977.95/978.30 c nbDecision=346000 #constraints=32481 978.65/978.98 c nbDecision=346500 #constraints=32498 981.75/982.03 c nbDecision=347000 #constraints=32536 982.34/982.61 c nbDecision=347500 #constraints=32546 983.54/983.88 c nbDecision=348000 #constraints=32573 983.94/984.22 c nbDecision=348500 #constraints=32573 984.64/984.91 c nbDecision=349000 #constraints=32589 986.04/986.36 c nbDecision=349500 #constraints=32611 986.45/986.72 c nbDecision=350000 #constraints=32611 986.94/987.24 c nbDecision=350500 #constraints=32611 988.44/988.74 c nbDecision=351000 #constraints=32638 988.94/989.24 c nbDecision=351500 #constraints=32648 989.64/989.98 c nbDecision=352000 #constraints=32668 990.84/991.13 c nbDecision=352500 #constraints=32680 991.54/991.82 c nbDecision=353000 #constraints=32691 993.24/993.59 c nbDecision=353500 #constraints=32716 993.64/993.94 c nbDecision=354000 #constraints=32716 994.34/994.60 c nbDecision=354500 #constraints=32732 995.34/995.63 c nbDecision=355000 #constraints=32740 995.74/996.01 c nbDecision=355500 #constraints=32740 996.35/996.64 c nbDecision=356000 #constraints=32749 997.45/997.72 c nbDecision=356500 #constraints=32752 998.04/998.30 c nbDecision=357000 #constraints=32758 1000.24/1000.59 c nbDecision=357500 #constraints=32783 1000.65/1000.95 c nbDecision=358000 #constraints=32783 1001.44/1001.73 c nbDecision=358500 #constraints=32807 1003.14/1003.46 c nbDecision=359000 #constraints=32817 1003.54/1003.83 c nbDecision=359500 #constraints=32817 1004.34/1004.62 c nbDecision=360000 #constraints=32846 1006.04/1006.31 c nbDecision=360500 #constraints=32866 1006.44/1006.75 c nbDecision=361000 #constraints=32866 1007.24/1007.55 c nbDecision=361500 #constraints=32887 1008.24/1008.56 c nbDecision=362000 #constraints=32889 1008.84/1009.17 c nbDecision=362500 #constraints=32902 1011.64/1011.93 c nbDecision=363000 #constraints=32937 1011.94/1012.20 c nbDecision=363500 #constraints=32937 1012.74/1013.01 c nbDecision=364000 #constraints=32956 1014.13/1014.49 c nbDecision=364500 #constraints=32977 1014.53/1014.85 c nbDecision=365000 #constraints=32977 1015.33/1015.69 c nbDecision=365500 #constraints=33011 1016.93/1017.24 c nbDecision=366000 #constraints=33042 1017.33/1017.63 c nbDecision=366500 #constraints=33042 1017.93/1018.25 c nbDecision=367000 #constraints=33057 1019.33/1019.62 c nbDecision=367500 #constraints=33061 1019.73/1020.05 c nbDecision=368000 #constraints=33061 1021.83/1022.13 c nbDecision=368500 #constraints=33086 1022.13/1022.41 c nbDecision=369000 #constraints=33086 1022.84/1023.20 c nbDecision=369500 #constraints=33104 1024.44/1024.70 c nbDecision=370000 #constraints=33113 1024.84/1025.12 c nbDecision=370500 #constraints=33116 1025.74/1026.05 c nbDecision=371000 #constraints=33148 1028.33/1028.62 c nbDecision=371500 #constraints=33164 1028.83/1029.10 c nbDecision=372000 #constraints=33165 1030.53/1030.88 c nbDecision=372500 #constraints=33192 1030.83/1031.19 c nbDecision=373000 #constraints=33192 1031.44/1031.74 c nbDecision=373500 #constraints=33192 1032.83/1033.11 c nbDecision=374000 #constraints=33212 1033.13/1033.48 c nbDecision=374500 #constraints=33212 1033.83/1034.10 c nbDecision=375000 #constraints=33221 1035.73/1036.03 c nbDecision=375500 #constraints=33242 1036.23/1036.59 c nbDecision=376000 #constraints=33253 1037.73/1038.03 c nbDecision=376500 #constraints=33286 1038.03/1038.39 c nbDecision=377000 #constraints=33294 1038.83/1039.12 c nbDecision=377500 #constraints=33306 1041.03/1041.32 c nbDecision=378000 #constraints=33330 1041.33/1041.68 c nbDecision=378500 #constraints=33330 1042.03/1042.30 c nbDecision=379000 #constraints=33337 1043.63/1043.92 c nbDecision=379500 #constraints=33370 1044.03/1044.30 c nbDecision=380000 #constraints=33370 1044.53/1044.83 c nbDecision=380500 #constraints=33372 1046.52/1046.84 c nbDecision=381000 #constraints=33392 1047.02/1047.38 c nbDecision=381500 #constraints=33402 1047.72/1048.09 c nbDecision=382000 #constraints=33418 1050.23/1050.55 c nbDecision=382500 #constraints=33428 1050.92/1051.28 c nbDecision=383000 #constraints=33443 1053.62/1053.94 c nbDecision=383500 #constraints=33467 1054.02/1054.30 c nbDecision=384000 #constraints=33467 1054.72/1055.05 c nbDecision=384500 #constraints=33484 1055.92/1056.27 c nbDecision=385000 #constraints=33523 1056.32/1056.67 c nbDecision=385500 #constraints=33523 1057.12/1057.40 c nbDecision=386000 #constraints=33536 1058.12/1058.43 c nbDecision=386500 #constraints=33547 1058.72/1059.07 c nbDecision=387000 #constraints=33559 1061.12/1061.42 c nbDecision=387500 #constraints=33575 1061.42/1061.79 c nbDecision=388000 #constraints=33575 1062.22/1062.52 c nbDecision=388500 #constraints=33595 1063.62/1063.98 c nbDecision=389000 #constraints=33610 1064.02/1064.36 c nbDecision=389500 #constraints=33610 1064.72/1065.09 c nbDecision=390000 #constraints=33620 1065.83/1066.14 c nbDecision=390500 #constraints=33640 1066.52/1066.86 c nbDecision=391000 #constraints=33651 1067.73/1068.06 c nbDecision=391500 #constraints=33671 1068.12/1068.42 c nbDecision=392000 #constraints=33671 1068.62/1068.95 c nbDecision=392500 #constraints=33672 1069.93/1070.23 c nbDecision=393000 #constraints=33676 1070.32/1070.63 c nbDecision=393500 #constraints=33676 1071.03/1071.31 c nbDecision=394000 #constraints=33687 1072.02/1072.38 c nbDecision=394500 #constraints=33699 1072.72/1073.06 c nbDecision=395000 #constraints=33719 1074.02/1074.33 c nbDecision=395500 #constraints=33742 1074.32/1074.69 c nbDecision=396000 #constraints=33742 1075.12/1075.46 c nbDecision=396500 #constraints=33766 1076.52/1076.89 c nbDecision=397000 #constraints=33790 1076.92/1077.28 c nbDecision=397500 #constraints=33790 1077.82/1078.16 c nbDecision=398000 #constraints=33812 1079.82/1080.12 c nbDecision=398500 #constraints=33822 1080.32/1080.65 c nbDecision=399000 #constraints=33824 1082.92/1083.21 c nbDecision=399500 #constraints=33851 1083.32/1083.63 c nbDecision=400000 #constraints=33858 1083.92/1084.30 c nbDecision=400500 #constraints=33871 1086.71/1087.06 c nbDecision=401000 #constraints=33907 1087.11/1087.46 c nbDecision=401500 #constraints=33907 1087.81/1088.11 c nbDecision=402000 #constraints=33921 1089.01/1089.32 c nbDecision=402500 #constraints=33944 1089.41/1089.75 c nbDecision=403000 #constraints=33944 1090.11/1090.48 c nbDecision=403500 #constraints=33960 1091.81/1092.19 c nbDecision=404000 #constraints=33975 1092.51/1092.85 c nbDecision=404500 #constraints=33982 1095.32/1095.68 c nbDecision=405000 #constraints=34006 1095.71/1096.04 c nbDecision=405500 #constraints=34006 1096.42/1096.80 c nbDecision=406000 #constraints=34028 1098.71/1099.05 c nbDecision=406500 #constraints=34064 1099.21/1099.57 c nbDecision=407000 #constraints=34074 1100.21/1100.57 c nbDecision=407500 #constraints=34111 1101.41/1101.72 c nbDecision=408000 #constraints=34124 1101.91/1102.28 c nbDecision=408500 #constraints=34131 1103.62/1103.95 c nbDecision=409000 #constraints=34158 1104.02/1104.32 c nbDecision=409500 #constraints=34158 1104.02/1104.39 c restart after 409601 decisions 1105.92/1106.27 c nbDecision=410000 #constraints=34158 1108.71/1109.09 c nbDecision=410500 #constraints=34200 1109.01/1109.38 c nbDecision=411000 #constraints=34200 1109.81/1110.15 c nbDecision=411500 #constraints=34218 1114.11/1114.46 c nbDecision=412000 #constraints=34241 1114.51/1114.85 c nbDecision=412500 #constraints=34241 1115.11/1115.46 c nbDecision=413000 #constraints=34252 1125.60/1125.93 c nbDecision=413500 #constraints=34327 1126.01/1126.36 c nbDecision=414000 #constraints=34329 1126.80/1127.17 c nbDecision=414500 #constraints=34355 1128.11/1128.50 c nbDecision=415000 #constraints=34379 1128.61/1128.93 c nbDecision=415500 #constraints=34379 1129.71/1130.04 c nbDecision=416000 #constraints=34438 1134.01/1134.36 c nbDecision=416500 #constraints=34476 1134.61/1134.93 c nbDecision=417000 #constraints=34487 1135.41/1135.71 c nbDecision=417500 #constraints=34507 1139.40/1139.74 c nbDecision=418000 #constraints=34520 1139.80/1140.17 c nbDecision=418500 #constraints=34520 1140.60/1140.97 c nbDecision=419000 #constraints=34538 1141.80/1142.11 c nbDecision=419500 #constraints=34546 1142.30/1142.60 c nbDecision=420000 #constraints=34546 1144.10/1144.43 c nbDecision=420500 #constraints=34594 1144.40/1144.78 c nbDecision=421000 #constraints=34594 1145.30/1145.67 c nbDecision=421500 #constraints=34625 1147.70/1148.06 c nbDecision=422000 #constraints=34647 1148.10/1148.43 c nbDecision=422500 #constraints=34647 1148.80/1149.13 c nbDecision=423000 #constraints=34666 1149.80/1150.16 c nbDecision=423500 #constraints=34683 1150.20/1150.56 c nbDecision=424000 #constraints=34683 1151.00/1151.37 c nbDecision=424500 #constraints=34701 1151.70/1152.02 c nbDecision=425000 #constraints=34702 1152.29/1152.67 c nbDecision=425500 #constraints=34710 1153.89/1154.21 c nbDecision=426000 #constraints=34738 1154.19/1154.58 c nbDecision=426500 #constraints=34738 1154.99/1155.39 c nbDecision=427000 #constraints=34765 1156.19/1156.50 c nbDecision=427500 #constraints=34775 1156.49/1156.89 c nbDecision=428000 #constraints=34775 1157.49/1157.84 c nbDecision=428500 #constraints=34816 1164.09/1164.41 c nbDecision=429000 #constraints=34859 1164.69/1165.03 c nbDecision=429500 #constraints=34877 1165.39/1165.71 c nbDecision=430000 #constraints=34890 1166.89/1167.24 c nbDecision=430500 #constraints=34899 1167.29/1167.65 c nbDecision=431000 #constraints=34899 1168.29/1168.66 c nbDecision=431500 #constraints=34939 1171.00/1171.30 c nbDecision=432000 #constraints=34981 1171.40/1171.75 c nbDecision=432500 #constraints=34981 1175.09/1175.48 c nbDecision=433000 #constraints=35006 1175.50/1175.88 c nbDecision=433500 #constraints=35008 1176.09/1176.41 c nbDecision=434000 #constraints=35008 1178.69/1179.08 c nbDecision=434500 #constraints=35067 1179.19/1179.52 c nbDecision=435000 #constraints=35081 1179.99/1180.31 c nbDecision=435500 #constraints=35094 1182.19/1182.53 c nbDecision=436000 #constraints=35120 1182.59/1182.96 c nbDecision=436500 #constraints=35123 1183.39/1183.78 c nbDecision=437000 #constraints=35149 1185.28/1185.66 c nbDecision=437500 #constraints=35174 1185.68/1186.05 c nbDecision=438000 #constraints=35174 1186.49/1186.86 c nbDecision=438500 #constraints=35203 1188.88/1189.29 c nbDecision=439000 #constraints=35233 1189.38/1189.72 c nbDecision=439500 #constraints=35233 1191.08/1191.46 c nbDecision=440000 #constraints=35273 1191.98/1192.31 c nbDecision=440500 #constraints=35283 1192.58/1192.99 c nbDecision=441000 #constraints=35288 1193.98/1194.33 c nbDecision=441500 #constraints=35303 1194.38/1194.70 c nbDecision=442000 #constraints=35303 1195.18/1195.52 c nbDecision=442500 #constraints=35326 1196.78/1197.14 c nbDecision=443000 #constraints=35357 1197.28/1197.60 c nbDecision=443500 #constraints=35359 1197.87/1198.25 c nbDecision=444000 #constraints=35365 1198.87/1199.28 c nbDecision=444500 #constraints=35372 1199.69/1200.06 c nbDecision=445000 #constraints=35392 1201.58/1201.92 c nbDecision=445500 #constraints=35435 1201.89/1202.28 c nbDecision=446000 #constraints=35435 1202.58/1202.93 c nbDecision=446500 #constraints=35442 1203.88/1204.22 c nbDecision=447000 #constraints=35454 1204.28/1204.68 c nbDecision=447500 #constraints=35459 1205.18/1205.57 c nbDecision=448000 #constraints=35490 1206.58/1206.95 c nbDecision=448500 #constraints=35495 1207.28/1207.64 c nbDecision=449000 #constraints=35512 1208.98/1209.32 c nbDecision=449500 #constraints=35527 1209.28/1209.69 c nbDecision=450000 #constraints=35527 1210.18/1210.57 c nbDecision=450500 #constraints=35555 1211.37/1211.77 c nbDecision=451000 #constraints=35565 1211.78/1212.20 c nbDecision=451500 #constraints=35567 1212.57/1213.00 c nbDecision=452000 #constraints=35591 1213.77/1214.18 c nbDecision=452500 #constraints=35606 1214.37/1214.75 c nbDecision=453000 #constraints=35614 1215.87/1216.25 c nbDecision=453500 #constraints=35639 1216.18/1216.54 c nbDecision=454000 #constraints=35640 1217.07/1217.42 c nbDecision=454500 #constraints=35662 1218.37/1218.75 c nbDecision=455000 #constraints=35685 1218.77/1219.12 c nbDecision=455500 #constraints=35685 1219.47/1219.84 c nbDecision=456000 #constraints=35703 1220.57/1220.95 c nbDecision=456500 #constraints=35707 1221.07/1221.47 c nbDecision=457000 #constraints=35712 1223.08/1223.43 c nbDecision=457500 #constraints=35752 1223.38/1223.71 c nbDecision=458000 #constraints=35752 1224.38/1224.71 c nbDecision=458500 #constraints=35783 1225.78/1226.12 c nbDecision=459000 #constraints=35794 1226.08/1226.49 c nbDecision=459500 #constraints=35794 1227.08/1227.42 c nbDecision=460000 #constraints=35825 1228.97/1229.34 c nbDecision=460500 #constraints=35862 1229.57/1229.90 c nbDecision=461000 #constraints=35875 1230.17/1230.52 c nbDecision=461500 #constraints=35880 1231.27/1231.68 c nbDecision=462000 #constraints=35892 1232.07/1232.45 c nbDecision=462500 #constraints=35918 1233.67/1234.01 c nbDecision=463000 #constraints=35937 1233.97/1234.32 c nbDecision=463500 #constraints=35937 1234.77/1235.12 c nbDecision=464000 #constraints=35952 1236.27/1236.69 c nbDecision=464500 #constraints=35974 1236.67/1237.08 c nbDecision=465000 #constraints=35974 1237.47/1237.84 c nbDecision=465500 #constraints=35997 1239.07/1239.46 c nbDecision=466000 #constraints=36015 1239.57/1239.99 c nbDecision=466500 #constraints=36023 1241.17/1241.58 c nbDecision=467000 #constraints=36033 1241.47/1241.88 c nbDecision=467500 #constraints=36034 1242.26/1242.65 c nbDecision=468000 #constraints=36044 1244.26/1244.70 c nbDecision=468500 #constraints=36081 1244.66/1245.07 c nbDecision=469000 #constraints=36081 1245.46/1245.89 c nbDecision=469500 #constraints=36103 1247.16/1247.58 c nbDecision=470000 #constraints=36123 1247.66/1248.07 c nbDecision=470500 #constraints=36129 1248.36/1248.73 c nbDecision=471000 #constraints=36139 1249.46/1249.84 c nbDecision=471500 #constraints=36141 1249.86/1250.30 c nbDecision=472000 #constraints=36141 1250.76/1251.10 c nbDecision=472500 #constraints=36161 1252.06/1252.46 c nbDecision=473000 #constraints=36181 1252.77/1253.12 c nbDecision=473500 #constraints=36188 1254.07/1254.43 c nbDecision=474000 #constraints=36200 1254.47/1254.80 c nbDecision=474500 #constraints=36200 1255.17/1255.55 c nbDecision=475000 #constraints=36216 1256.47/1256.82 c nbDecision=475500 #constraints=36231 1256.87/1257.22 c nbDecision=476000 #constraints=36231 1257.47/1257.82 c nbDecision=476500 #constraints=36235 1259.47/1259.80 c nbDecision=477000 #constraints=36260 1259.96/1260.34 c nbDecision=477500 #constraints=36267 1260.86/1261.23 c nbDecision=478000 #constraints=36288 1262.47/1262.86 c nbDecision=478500 #constraints=36311 1263.06/1263.43 c nbDecision=479000 #constraints=36311 1264.86/1265.20 c nbDecision=479500 #constraints=36338 1265.16/1265.57 c nbDecision=480000 #constraints=36338 1266.26/1266.65 c nbDecision=480500 #constraints=36380 1267.66/1268.04 c nbDecision=481000 #constraints=36395 1268.06/1268.49 c nbDecision=481500 #constraints=36395 1270.06/1270.41 c nbDecision=482000 #constraints=36431 1270.36/1270.78 c nbDecision=482500 #constraints=36431 1271.16/1271.51 c nbDecision=483000 #constraints=36446 1272.86/1273.24 c nbDecision=483500 #constraints=36469 1273.26/1273.67 c nbDecision=484000 #constraints=36471 1274.26/1274.64 c nbDecision=484500 #constraints=36505 1275.46/1275.85 c nbDecision=485000 #constraints=36508 1276.06/1276.41 c nbDecision=485500 #constraints=36511 1277.76/1278.19 c nbDecision=486000 #constraints=36543 1278.16/1278.54 c nbDecision=486500 #constraints=36543 1278.86/1279.28 c nbDecision=487000 #constraints=36558 1280.16/1280.56 c nbDecision=487500 #constraints=36572 1280.56/1280.98 c nbDecision=488000 #constraints=36574 1281.16/1281.55 c nbDecision=488500 #constraints=36574 1282.76/1283.19 c nbDecision=489000 #constraints=36594 1283.26/1283.65 c nbDecision=489500 #constraints=36594 1283.95/1284.33 c nbDecision=490000 #constraints=36602 1284.95/1285.38 c nbDecision=490500 #constraints=36604 1285.75/1286.19 c nbDecision=491000 #constraints=36626 1287.45/1287.80 c nbDecision=491500 #constraints=36647 1287.66/1288.09 c nbDecision=492000 #constraints=36647 1288.55/1288.91 c nbDecision=492500 #constraints=36661 1289.86/1290.25 c nbDecision=493000 #constraints=36670 1290.25/1290.64 c nbDecision=493500 #constraints=36670 1290.85/1291.29 c nbDecision=494000 #constraints=36680 1292.05/1292.44 c nbDecision=494500 #constraints=36683 1292.65/1293.03 c nbDecision=495000 #constraints=36692 1294.05/1294.41 c nbDecision=495500 #constraints=36703 1294.35/1294.78 c nbDecision=496000 #constraints=36703 1295.15/1295.53 c nbDecision=496500 #constraints=36718 1296.65/1297.04 c nbDecision=497000 #constraints=36751 1297.05/1297.43 c nbDecision=497500 #constraints=36751 1297.95/1298.33 c nbDecision=498000 #constraints=36781 1299.05/1299.50 c nbDecision=498500 #constraints=36783 1299.55/1299.99 c nbDecision=499000 #constraints=36783 1300.95/1301.34 c nbDecision=499500 #constraints=36792 1301.35/1301.72 c nbDecision=500000 #constraints=36792 1302.15/1302.58 c nbDecision=500500 #constraints=36816 1303.55/1303.96 c nbDecision=501000 #constraints=36830 1303.95/1304.38 c nbDecision=501500 #constraints=36830 1304.75/1305.14 c nbDecision=502000 #constraints=36844 1306.24/1306.69 c nbDecision=502500 #constraints=36856 1306.75/1307.18 c nbDecision=503000 #constraints=36856 1308.14/1308.52 c nbDecision=503500 #constraints=36858 1308.44/1308.89 c nbDecision=504000 #constraints=36858 1309.34/1309.78 c nbDecision=504500 #constraints=36883 1310.64/1311.06 c nbDecision=505000 #constraints=36890 1311.14/1311.51 c nbDecision=505500 #constraints=36890 1312.54/1312.99 c nbDecision=506000 #constraints=36902 1312.84/1313.28 c nbDecision=506500 #constraints=36902 1313.74/1314.10 c nbDecision=507000 #constraints=36917 1315.14/1315.51 c nbDecision=507500 #constraints=36938 1315.44/1315.88 c nbDecision=508000 #constraints=36938 1316.34/1316.72 c nbDecision=508500 #constraints=36961 1317.44/1317.85 c nbDecision=509000 #constraints=36965 1317.83/1318.27 c nbDecision=509500 #constraints=36965 1318.73/1319.19 c nbDecision=510000 #constraints=36990 1320.33/1320.71 c nbDecision=510500 #constraints=36995 1320.93/1321.38 c nbDecision=511000 #constraints=37004 1322.94/1323.34 c nbDecision=511500 #constraints=37022 1323.33/1323.71 c nbDecision=512000 #constraints=37022 1324.04/1324.48 c nbDecision=512500 #constraints=37037 1325.84/1326.27 c nbDecision=513000 #constraints=37068 1326.25/1326.66 c nbDecision=513500 #constraints=37068 1327.14/1327.55 c nbDecision=514000 #constraints=37096 1328.35/1328.72 c nbDecision=514500 #constraints=37105 1329.04/1329.41 c nbDecision=515000 #constraints=37127 1329.94/1330.34 c nbDecision=515500 #constraints=37155 1331.24/1331.60 c nbDecision=516000 #constraints=37159 1331.84/1332.26 c nbDecision=516500 #constraints=37167 1333.54/1333.99 c nbDecision=517000 #constraints=37197 1333.94/1334.36 c nbDecision=517500 #constraints=37197 1334.64/1335.08 c nbDecision=518000 #constraints=37208 1335.84/1336.26 c nbDecision=518500 #constraints=37210 1336.24/1336.68 c nbDecision=519000 #constraints=37210 1337.93/1338.36 c nbDecision=519500 #constraints=37234 1338.24/1338.67 c nbDecision=520000 #constraints=37234 1339.03/1339.50 c nbDecision=520500 #constraints=37246 1340.83/1341.26 c nbDecision=521000 #constraints=37269 1341.23/1341.67 c nbDecision=521500 #constraints=37269 1341.83/1342.25 c nbDecision=522000 #constraints=37270 1343.13/1343.55 c nbDecision=522500 #constraints=37275 1343.63/1344.01 c nbDecision=523000 #constraints=37275 1344.33/1344.75 c nbDecision=523500 #constraints=37285 1345.53/1345.96 c nbDecision=524000 #constraints=37288 1346.13/1346.57 c nbDecision=524500 #constraints=37294 1347.93/1348.38 c nbDecision=525000 #constraints=37301 1348.33/1348.76 c nbDecision=525500 #constraints=37301 1349.13/1349.51 c nbDecision=526000 #constraints=37316 1351.03/1351.45 c nbDecision=526500 #constraints=37344 1351.43/1351.85 c nbDecision=527000 #constraints=37344 1352.34/1352.74 c nbDecision=527500 #constraints=37369 1354.13/1354.60 c nbDecision=528000 #constraints=37379 1354.63/1355.06 c nbDecision=528500 #constraints=37379 1356.94/1357.36 c nbDecision=529000 #constraints=37418 1357.33/1357.77 c nbDecision=529500 #constraints=37422 1357.93/1358.40 c nbDecision=530000 #constraints=37425 1359.53/1359.91 c nbDecision=530500 #constraints=37429 1359.93/1360.31 c nbDecision=531000 #constraints=37429 1360.73/1361.18 c nbDecision=531500 #constraints=37452 1362.43/1362.83 c nbDecision=532000 #constraints=37477 1363.03/1363.48 c nbDecision=532500 #constraints=37491 1364.82/1365.21 c nbDecision=533000 #constraints=37518 1365.12/1365.51 c nbDecision=533500 #constraints=37518 1365.83/1366.21 c nbDecision=534000 #constraints=37519 1367.52/1367.91 c nbDecision=534500 #constraints=37556 1367.82/1368.30 c nbDecision=535000 #constraints=37556 1368.82/1369.23 c nbDecision=535500 #constraints=37587 1370.42/1370.80 c nbDecision=536000 #constraints=37608 1371.02/1371.42 c nbDecision=536500 #constraints=37617 1372.53/1372.92 c nbDecision=537000 #constraints=37634 1372.83/1373.23 c nbDecision=537500 #constraints=37634 1373.63/1374.08 c nbDecision=538000 #constraints=37651 1375.13/1375.51 c nbDecision=538500 #constraints=37661 1375.53/1375.92 c nbDecision=539000 #constraints=37661 1376.23/1376.68 c nbDecision=539500 #constraints=37669 1377.42/1377.86 c nbDecision=540000 #constraints=37687 1378.12/1378.51 c nbDecision=540500 #constraints=37692 1379.52/1379.91 c nbDecision=541000 #constraints=37697 1379.82/1380.29 c nbDecision=541500 #constraints=37697 1380.42/1380.90 c nbDecision=542000 #constraints=37699 1381.72/1382.17 c nbDecision=542500 #constraints=37715 1382.52/1382.90 c nbDecision=543000 #constraints=37736 1384.22/1384.62 c nbDecision=543500 #constraints=37752 1384.53/1384.92 c nbDecision=544000 #constraints=37752 1385.52/1385.91 c nbDecision=544500 #constraints=37774 1386.92/1387.32 c nbDecision=545000 #constraints=37782 1387.32/1387.73 c nbDecision=545500 #constraints=37782 1387.92/1388.39 c nbDecision=546000 #constraints=37789 1389.62/1390.03 c nbDecision=546500 #constraints=37802 1390.02/1390.49 c nbDecision=547000 #constraints=37802 1392.12/1392.58 c nbDecision=547500 #constraints=37830 1392.42/1392.89 c nbDecision=548000 #constraints=37830 1393.22/1393.62 c nbDecision=548500 #constraints=37836 1394.72/1395.11 c nbDecision=549000 #constraints=37861 1395.12/1395.51 c nbDecision=549500 #constraints=37861 1395.81/1396.22 c nbDecision=550000 #constraints=37872 1397.21/1397.60 c nbDecision=550500 #constraints=37878 1397.81/1398.22 c nbDecision=551000 #constraints=37893 1398.72/1399.16 c nbDecision=551500 #constraints=37913 1399.82/1400.26 c nbDecision=552000 #constraints=37916 1400.51/1400.94 c nbDecision=552500 #constraints=37928 1402.02/1402.40 c nbDecision=553000 #constraints=37933 1402.31/1402.78 c nbDecision=553500 #constraints=37933 1403.22/1403.70 c nbDecision=554000 #constraints=37956 1404.51/1404.94 c nbDecision=554500 #constraints=37958 1404.91/1405.37 c nbDecision=555000 #constraints=37958 1405.71/1406.13 c nbDecision=555500 #constraints=37965 1407.61/1408.02 c nbDecision=556000 #constraints=37993 1408.31/1408.71 c nbDecision=556500 #constraints=37997 1410.21/1410.63 c nbDecision=557000 #constraints=38017 1410.61/1411.02 c nbDecision=557500 #constraints=38017 1411.31/1411.70 c nbDecision=558000 #constraints=38026 1412.62/1413.02 c nbDecision=558500 #constraints=38036 1413.12/1413.60 c nbDecision=559000 #constraints=38045 1415.32/1415.77 c nbDecision=559500 #constraints=38079 1415.61/1416.07 c nbDecision=560000 #constraints=38079 1416.42/1416.89 c nbDecision=560500 #constraints=38088 1417.82/1418.28 c nbDecision=561000 #constraints=38092 1418.21/1418.68 c nbDecision=561500 #constraints=38092 1419.01/1419.49 c nbDecision=562000 #constraints=38111 1420.51/1420.95 c nbDecision=562500 #constraints=38120 1421.11/1421.51 c nbDecision=563000 #constraints=38127 1421.82/1422.21 c nbDecision=563500 #constraints=38133 1422.92/1423.31 c nbDecision=564000 #constraints=38138 1423.71/1424.15 c nbDecision=564500 #constraints=38149 1425.51/1425.90 c nbDecision=565000 #constraints=38186 1425.81/1426.28 c nbDecision=565500 #constraints=38186 1426.61/1427.00 c nbDecision=566000 #constraints=38195 1427.91/1428.32 c nbDecision=566500 #constraints=38206 1428.41/1428.86 c nbDecision=567000 #constraints=38215 1429.51/1429.94 c nbDecision=567500 #constraints=38249 1430.71/1431.17 c nbDecision=568000 #constraints=38261 1431.31/1431.73 c nbDecision=568500 #constraints=38261 1432.91/1433.31 c nbDecision=569000 #constraints=38281 1433.20/1433.69 c nbDecision=569500 #constraints=38281 1433.91/1434.37 c nbDecision=570000 #constraints=38287 1435.40/1435.85 c nbDecision=570500 #constraints=38299 1436.00/1436.43 c nbDecision=571000 #constraints=38308 1437.80/1438.28 c nbDecision=571500 #constraints=38336 1438.10/1438.57 c nbDecision=572000 #constraints=38336 1438.90/1439.39 c nbDecision=572500 #constraints=38346 1440.80/1441.27 c nbDecision=573000 #constraints=38359 1441.20/1441.66 c nbDecision=573500 #constraints=38359 1441.90/1442.40 c nbDecision=574000 #constraints=38364 1443.11/1443.56 c nbDecision=574500 #constraints=38366 1443.91/1444.35 c nbDecision=575000 #constraints=38375 1445.41/1445.84 c nbDecision=575500 #constraints=38386 1445.81/1446.23 c nbDecision=576000 #constraints=38386 1446.41/1446.85 c nbDecision=576500 #constraints=38387 1447.90/1448.38 c nbDecision=577000 #constraints=38412 1448.60/1449.05 c nbDecision=577500 #constraints=38432 1449.41/1449.81 c nbDecision=578000 #constraints=38442 1450.80/1451.26 c nbDecision=578500 #constraints=38446 1451.61/1452.02 c nbDecision=579000 #constraints=38464 1453.10/1453.57 c nbDecision=579500 #constraints=38472 1453.50/1453.96 c nbDecision=580000 #constraints=38472 1454.40/1454.82 c nbDecision=580500 #constraints=38497 1455.70/1456.11 c nbDecision=581000 #constraints=38505 1456.20/1456.65 c nbDecision=581500 #constraints=38510 1457.00/1457.40 c nbDecision=582000 #constraints=38514 1458.20/1458.69 c nbDecision=582500 #constraints=38526 1459.00/1459.43 c nbDecision=583000 #constraints=38528 1460.50/1460.94 c nbDecision=583500 #constraints=38533 1461.00/1461.45 c nbDecision=584000 #constraints=38541 1461.80/1462.29 c nbDecision=584500 #constraints=38558 1463.30/1463.71 c nbDecision=585000 #constraints=38578 1463.80/1464.21 c nbDecision=585500 #constraints=38578 1465.60/1466.03 c nbDecision=586000 #constraints=38609 1466.00/1466.42 c nbDecision=586500 #constraints=38609 1466.70/1467.11 c nbDecision=587000 #constraints=38614 1468.00/1468.44 c nbDecision=587500 #constraints=38623 1468.50/1468.90 c nbDecision=588000 #constraints=38623 1469.99/1470.40 c nbDecision=588500 #constraints=38626 1470.30/1470.72 c nbDecision=589000 #constraints=38626 1470.99/1471.43 c nbDecision=589500 #constraints=38627 1472.79/1473.20 c nbDecision=590000 #constraints=38652 1473.19/1473.63 c nbDecision=590500 #constraints=38652 1473.99/1474.46 c nbDecision=591000 #constraints=38660 1475.40/1475.80 c nbDecision=591500 #constraints=38676 1476.30/1476.76 c nbDecision=592000 #constraints=38698 1478.10/1478.52 c nbDecision=592500 #constraints=38735 1478.50/1478.92 c nbDecision=593000 #constraints=38735 1479.30/1479.70 c nbDecision=593500 #constraints=38750 1481.00/1481.47 c nbDecision=594000 #constraints=38762 1481.50/1481.95 c nbDecision=594500 #constraints=38762 1483.40/1483.88 c nbDecision=595000 #constraints=38783 1483.70/1484.19 c nbDecision=595500 #constraints=38783 1484.70/1485.12 c nbDecision=596000 #constraints=38803 1486.20/1486.65 c nbDecision=596500 #constraints=38810 1486.60/1487.04 c nbDecision=597000 #constraints=38810 1487.39/1487.87 c nbDecision=597500 #constraints=38826 1488.79/1489.29 c nbDecision=598000 #constraints=38829 1489.29/1489.72 c nbDecision=598500 #constraints=38829 1490.00/1490.45 c nbDecision=599000 #constraints=38841 1491.29/1491.74 c nbDecision=599500 #constraints=38847 1491.99/1492.49 c nbDecision=600000 #constraints=38860 1493.59/1494.04 c nbDecision=600500 #constraints=38875 1493.99/1494.42 c nbDecision=601000 #constraints=38875 1494.59/1495.04 c nbDecision=601500 #constraints=38877 1496.09/1496.54 c nbDecision=602000 #constraints=38890 1496.49/1496.97 c nbDecision=602500 #constraints=38890 1497.39/1497.82 c nbDecision=603000 #constraints=38904 1499.49/1499.98 c nbDecision=603500 #constraints=38926 1500.29/1500.77 c nbDecision=604000 #constraints=38934 1502.69/1503.13 c nbDecision=604500 #constraints=38963 1503.09/1503.52 c nbDecision=605000 #constraints=38963 1503.79/1504.28 c nbDecision=605500 #constraints=38975 1505.19/1505.66 c nbDecision=606000 #constraints=38978 1505.69/1506.14 c nbDecision=606500 #constraints=38978 1507.48/1507.97 c nbDecision=607000 #constraints=39009 1507.78/1508.28 c nbDecision=607500 #constraints=39009 1508.58/1509.08 c nbDecision=608000 #constraints=39016 1510.59/1511.09 c nbDecision=608500 #constraints=39040 1511.09/1511.57 c nbDecision=609000 #constraints=39045 1511.89/1512.30 c nbDecision=609500 #constraints=39053 1513.09/1513.57 c nbDecision=610000 #constraints=39056 1513.59/1514.05 c nbDecision=610500 #constraints=39056 1516.99/1517.48 c nbDecision=611000 #constraints=39099 1517.29/1517.77 c nbDecision=611500 #constraints=39099 1517.99/1518.48 c nbDecision=612000 #constraints=39099 1519.69/1520.19 c nbDecision=612500 #constraints=39116 1520.19/1520.61 c nbDecision=613000 #constraints=39116 1521.18/1521.61 c nbDecision=613500 #constraints=39137 1522.58/1523.06 c nbDecision=614000 #constraints=39147 1523.58/1524.03 c nbDecision=614500 #constraints=39167 1525.08/1525.50 c nbDecision=615000 #constraints=39171 1525.38/1525.89 c nbDecision=615500 #constraints=39171 1526.18/1526.69 c nbDecision=616000 #constraints=39181 1527.58/1528.05 c nbDecision=616500 #constraints=39184 1528.38/1528.85 c nbDecision=617000 #constraints=39194 1530.77/1531.26 c nbDecision=617500 #constraints=39226 1531.17/1531.64 c nbDecision=618000 #constraints=39226 1531.96/1532.50 c nbDecision=618500 #constraints=39241 1533.46/1533.94 c nbDecision=619000 #constraints=39256 1533.96/1534.47 c nbDecision=619500 #constraints=39263 1534.76/1535.22 c nbDecision=620000 #constraints=39266 1536.06/1536.51 c nbDecision=620500 #constraints=39269 1536.66/1537.13 c nbDecision=621000 #constraints=39274 1538.16/1538.66 c nbDecision=621500 #constraints=39284 1538.46/1538.96 c nbDecision=622000 #constraints=39284 1539.46/1539.90 c nbDecision=622500 #constraints=39300 1541.45/1541.91 c nbDecision=623000 #constraints=39321 1541.85/1542.30 c nbDecision=623500 #constraints=39321 1542.85/1543.38 c nbDecision=624000 #constraints=39356 1544.64/1545.14 c nbDecision=624500 #constraints=39378 1545.04/1545.57 c nbDecision=625000 #constraints=39378 1545.83/1546.39 c nbDecision=625500 #constraints=39395 1547.33/1547.84 c nbDecision=626000 #constraints=39401 1547.83/1548.37 c nbDecision=626500 #constraints=39401 1549.73/1550.21 c nbDecision=627000 #constraints=39422 1550.13/1550.60 c nbDecision=627500 #constraints=39422 1550.82/1551.38 c nbDecision=628000 #constraints=39436 1552.62/1553.17 c nbDecision=628500 #constraints=39468 1553.01/1553.59 c nbDecision=629000 #constraints=39468 1553.82/1554.31 c nbDecision=629500 #constraints=39479 1555.41/1555.91 c nbDecision=630000 #constraints=39485 1556.01/1556.57 c nbDecision=630500 #constraints=39498 1558.00/1558.54 c nbDecision=631000 #constraints=39535 1558.30/1558.82 c nbDecision=631500 #constraints=39535 1559.20/1559.75 c nbDecision=632000 #constraints=39548 1560.50/1561.08 c nbDecision=632500 #constraints=39550 1561.00/1561.50 c nbDecision=633000 #constraints=39550 1561.80/1562.39 c nbDecision=633500 #constraints=39570 1563.40/1563.91 c nbDecision=634000 #constraints=39578 1563.99/1564.50 c nbDecision=634500 #constraints=39587 1565.90/1566.46 c nbDecision=635000 #constraints=39614 1566.19/1566.75 c nbDecision=635500 #constraints=39614 1567.09/1567.60 c nbDecision=636000 #constraints=39621 1568.59/1569.12 c nbDecision=636500 #constraints=39629 1568.99/1569.52 c nbDecision=637000 #constraints=39629 1569.69/1570.25 c nbDecision=637500 #constraints=39639 1571.19/1571.78 c nbDecision=638000 #constraints=39652 1571.89/1572.44 c nbDecision=638500 #constraints=39666 1573.89/1574.41 c nbDecision=639000 #constraints=39697 1574.19/1574.72 c nbDecision=639500 #constraints=39697 1574.89/1575.47 c nbDecision=640000 #constraints=39699 1576.68/1577.23 c nbDecision=640500 #constraints=39718 1577.08/1577.63 c nbDecision=641000 #constraints=39718 1578.08/1578.68 c nbDecision=641500 #constraints=39750 1579.58/1580.18 c nbDecision=642000 #constraints=39753 1580.09/1580.67 c nbDecision=642500 #constraints=39753 1581.08/1581.60 c nbDecision=643000 #constraints=39774 1582.17/1582.70 c nbDecision=643500 #constraints=39778 1582.77/1583.36 c nbDecision=644000 #constraints=39778 1584.48/1585.00 c nbDecision=644500 #constraints=39786 1584.77/1585.39 c nbDecision=645000 #constraints=39786 1585.68/1586.27 c nbDecision=645500 #constraints=39804 1587.47/1588.05 c nbDecision=646000 #constraints=39821 1587.97/1588.60 c nbDecision=646500 #constraints=39830 1589.17/1589.71 c nbDecision=647000 #constraints=39865 1590.47/1591.05 c nbDecision=647500 #constraints=39882 1591.17/1591.73 c nbDecision=648000 #constraints=39887 1592.87/1593.41 c nbDecision=648500 #constraints=39898 1593.17/1593.80 c nbDecision=649000 #constraints=39898 1593.97/1594.55 c nbDecision=649500 #constraints=39906 1595.37/1595.98 c nbDecision=650000 #constraints=39916 1595.87/1596.40 c nbDecision=650500 #constraints=39916 1596.47/1597.09 c nbDecision=651000 #constraints=39920 1597.77/1598.35 c nbDecision=651500 #constraints=39922 1598.27/1598.85 c nbDecision=652000 #constraints=39922 1600.36/1600.92 c nbDecision=652500 #constraints=39953 1600.66/1601.26 c nbDecision=653000 #constraints=39953 1601.66/1602.27 c nbDecision=653500 #constraints=39976 1603.27/1603.83 c nbDecision=654000 #constraints=40001 1603.66/1604.23 c nbDecision=654500 #constraints=40001 1604.66/1605.25 c nbDecision=655000 #constraints=40031 1606.16/1606.75 c nbDecision=655500 #constraints=40042 1606.86/1607.40 c nbDecision=656000 #constraints=40049 1608.76/1609.31 c nbDecision=656500 #constraints=40069 1609.16/1609.70 c nbDecision=657000 #constraints=40069 1609.76/1610.40 c nbDecision=657500 #constraints=40074 1611.16/1611.78 c nbDecision=658000 #constraints=40085 1611.66/1612.23 c nbDecision=658500 #constraints=40085 1612.46/1613.05 c nbDecision=659000 #constraints=40088 1613.96/1614.57 c nbDecision=659500 #constraints=40103 1614.76/1615.38 c nbDecision=660000 #constraints=40109 1616.26/1616.86 c nbDecision=660500 #constraints=40114 1616.66/1617.25 c nbDecision=661000 #constraints=40114 1617.36/1617.97 c nbDecision=661500 #constraints=40117 1619.06/1619.65 c nbDecision=662000 #constraints=40137 1619.46/1620.08 c nbDecision=662500 #constraints=40137 1620.26/1620.90 c nbDecision=663000 #constraints=40144 1621.76/1622.32 c nbDecision=663500 #constraints=40148 1622.36/1623.00 c nbDecision=664000 #constraints=40151 1624.76/1625.33 c nbDecision=664500 #constraints=40186 1625.17/1625.72 c nbDecision=665000 #constraints=40186 1626.06/1626.61 c nbDecision=665500 #constraints=40206 1627.56/1628.16 c nbDecision=666000 #constraints=40221 1627.96/1628.59 c nbDecision=666500 #constraints=40221 1628.76/1629.36 c nbDecision=667000 #constraints=40232 1630.67/1631.23 c nbDecision=667500 #constraints=40248 1631.16/1631.73 c nbDecision=668000 #constraints=40248 1633.26/1633.89 c nbDecision=668500 #constraints=40262 1633.66/1634.21 c nbDecision=669000 #constraints=40262 1634.46/1635.09 c nbDecision=669500 #constraints=40275 1636.16/1636.75 c nbDecision=670000 #constraints=40292 1636.56/1637.17 c nbDecision=670500 #constraints=40292 1637.46/1638.01 c nbDecision=671000 #constraints=40304 1638.96/1639.59 c nbDecision=671500 #constraints=40313 1639.46/1640.09 c nbDecision=672000 #constraints=40313 1641.56/1642.16 c nbDecision=672500 #constraints=40329 1641.86/1642.45 c nbDecision=673000 #constraints=40329 1642.66/1643.25 c nbDecision=673500 #constraints=40333 1645.06/1645.64 c nbDecision=674000 #constraints=40361 1645.45/1646.05 c nbDecision=674500 #constraints=40361 1646.06/1646.69 c nbDecision=675000 #constraints=40361 1647.95/1648.55 c nbDecision=675500 #constraints=40387 1648.75/1649.36 c nbDecision=676000 #constraints=40414 1649.75/1650.39 c nbDecision=676500 #constraints=40436 1651.35/1651.93 c nbDecision=677000 #constraints=40454 1652.05/1652.69 c nbDecision=677500 #constraints=40462 1653.85/1654.42 c nbDecision=678000 #constraints=40477 1654.25/1654.81 c nbDecision=678500 #constraints=40477 1655.05/1655.62 c nbDecision=679000 #constraints=40489 1656.55/1657.13 c nbDecision=679500 #constraints=40492 1656.95/1657.58 c nbDecision=680000 #constraints=40492 1657.75/1658.38 c nbDecision=680500 #constraints=40502 1659.45/1660.08 c nbDecision=681000 #constraints=40519 1660.25/1660.80 c nbDecision=681500 #constraints=40529 1661.85/1662.43 c nbDecision=682000 #constraints=40542 1662.25/1662.81 c nbDecision=682500 #constraints=40542 1662.95/1663.57 c nbDecision=683000 #constraints=40549 1664.45/1665.01 c nbDecision=683500 #constraints=40571 1664.85/1665.45 c nbDecision=684000 #constraints=40571 1665.65/1666.27 c nbDecision=684500 #constraints=40578 1667.14/1667.70 c nbDecision=685000 #constraints=40593 1668.16/1668.72 c nbDecision=685500 #constraints=40611 1669.65/1670.29 c nbDecision=686000 #constraints=40638 1670.05/1670.68 c nbDecision=686500 #constraints=40638 1670.75/1671.33 c nbDecision=687000 #constraints=40638 1672.05/1672.69 c nbDecision=687500 #constraints=40643 1672.75/1673.30 c nbDecision=688000 #constraints=40650 1674.55/1675.15 c nbDecision=688500 #constraints=40681 1674.85/1675.43 c nbDecision=689000 #constraints=40681 1675.75/1676.32 c nbDecision=689500 #constraints=40691 1677.55/1678.17 c nbDecision=690000 #constraints=40729 1677.95/1678.56 c nbDecision=690500 #constraints=40729 1678.95/1679.51 c nbDecision=691000 #constraints=40751 1680.35/1680.91 c nbDecision=691500 #constraints=40759 1681.15/1681.71 c nbDecision=692000 #constraints=40786 1681.95/1682.54 c nbDecision=692500 #constraints=40795 1683.75/1684.34 c nbDecision=693000 #constraints=40805 1684.35/1684.98 c nbDecision=693500 #constraints=40812 1686.54/1687.11 c nbDecision=694000 #constraints=40837 1686.85/1687.46 c nbDecision=694500 #constraints=40837 1687.64/1688.28 c nbDecision=695000 #constraints=40846 1689.24/1689.83 c nbDecision=695500 #constraints=40866 1689.64/1690.25 c nbDecision=696000 #constraints=40866 1690.54/1691.16 c nbDecision=696500 #constraints=40880 1691.74/1692.38 c nbDecision=697000 #constraints=40882 1692.44/1693.08 c nbDecision=697500 #constraints=40891 1694.55/1695.15 c nbDecision=698000 #constraints=40917 1694.94/1695.50 c nbDecision=698500 #constraints=40917 1695.54/1696.18 c nbDecision=699000 #constraints=40917 1697.04/1697.67 c nbDecision=699500 #constraints=40926 1697.54/1698.18 c nbDecision=700000 #constraints=40926 1699.84/1700.41 c nbDecision=700500 #constraints=40950 1700.04/1700.69 c nbDecision=701000 #constraints=40950 1701.24/1701.89 c nbDecision=701500 #constraints=40984 1702.74/1703.40 c nbDecision=702000 #constraints=40999 1703.34/1703.94 c nbDecision=702500 #constraints=41008 1704.04/1704.67 c nbDecision=703000 #constraints=41011 1705.33/1705.99 c nbDecision=703500 #constraints=41018 1705.93/1706.54 c nbDecision=704000 #constraints=41018 1708.03/1708.67 c nbDecision=704500 #constraints=41036 1708.44/1709.06 c nbDecision=705000 #constraints=41036 1709.24/1709.90 c nbDecision=705500 #constraints=41047 1711.24/1711.87 c nbDecision=706000 #constraints=41070 1711.74/1712.31 c nbDecision=706500 #constraints=41070 1712.54/1713.17 c nbDecision=707000 #constraints=41077 1714.04/1714.65 c nbDecision=707500 #constraints=41092 1714.84/1715.42 c nbDecision=708000 #constraints=41097 1716.54/1717.13 c nbDecision=708500 #constraints=41116 1716.94/1717.53 c nbDecision=709000 #constraints=41116 1717.74/1718.34 c nbDecision=709500 #constraints=41130 1719.44/1720.00 c nbDecision=710000 #constraints=41136 1720.04/1720.65 c nbDecision=710500 #constraints=41143 1722.04/1722.62 c nbDecision=711000 #constraints=41168 1722.34/1722.91 c nbDecision=711500 #constraints=41168 1723.04/1723.66 c nbDecision=712000 #constraints=41168 1724.64/1725.24 c nbDecision=712500 #constraints=41189 1725.13/1725.74 c nbDecision=713000 #constraints=41195 1726.04/1726.66 c nbDecision=713500 #constraints=41205 1727.63/1728.29 c nbDecision=714000 #constraints=41214 1728.23/1728.83 c nbDecision=714500 #constraints=41214 1730.43/1731.06 c nbDecision=715000 #constraints=41240 1730.84/1731.44 c nbDecision=715500 #constraints=41240 1731.53/1732.10 c nbDecision=716000 #constraints=41240 1733.23/1733.86 c nbDecision=716500 #constraints=41254 1733.63/1734.29 c nbDecision=717000 #constraints=41254 1735.73/1736.38 c nbDecision=717500 #constraints=41271 1736.03/1736.67 c nbDecision=718000 #constraints=41271 1736.93/1737.57 c nbDecision=718500 #constraints=41281 1738.83/1739.43 c nbDecision=719000 #constraints=41309 1739.23/1739.83 c nbDecision=719500 #constraints=41309 1739.93/1740.56 c nbDecision=720000 #constraints=41313 1741.53/1742.15 c nbDecision=720500 #constraints=41324 1742.03/1742.60 c nbDecision=721000 #constraints=41325 1742.94/1743.51 c nbDecision=721500 #constraints=41337 1744.13/1744.71 c nbDecision=722000 #constraints=41340 1744.73/1745.31 c nbDecision=722500 #constraints=41341 1746.63/1747.27 c nbDecision=723000 #constraints=41365 1747.03/1747.66 c nbDecision=723500 #constraints=41365 1748.13/1748.72 c nbDecision=724000 #constraints=41391 1749.53/1750.18 c nbDecision=724500 #constraints=41401 1750.03/1750.64 c nbDecision=725000 #constraints=41401 1751.83/1752.49 c nbDecision=725500 #constraints=41411 1752.13/1752.79 c nbDecision=726000 #constraints=41411 1752.83/1753.49 c nbDecision=726500 #constraints=41411 1754.43/1755.09 c nbDecision=727000 #constraints=41415 1754.82/1755.48 c nbDecision=727500 #constraints=41415 1755.72/1756.31 c nbDecision=728000 #constraints=41429 1757.32/1757.95 c nbDecision=728500 #constraints=41444 1757.72/1758.37 c nbDecision=729000 #constraints=41444 1758.62/1759.24 c nbDecision=729500 #constraints=41462 1760.22/1760.84 c nbDecision=730000 #constraints=41472 1760.72/1761.35 c nbDecision=730500 #constraints=41473 1763.02/1763.68 c nbDecision=731000 #constraints=41497 1763.32/1763.99 c nbDecision=731500 #constraints=41497 1764.12/1764.76 c nbDecision=732000 #constraints=41497 1765.93/1766.59 c nbDecision=732500 #constraints=41509 1766.52/1767.15 c nbDecision=733000 #constraints=41520 1767.22/1767.81 c nbDecision=733500 #constraints=41520 1768.62/1769.20 c nbDecision=734000 #constraints=41524 1769.02/1769.69 c nbDecision=734500 #constraints=41524 1770.92/1771.51 c nbDecision=735000 #constraints=41531 1771.22/1771.82 c nbDecision=735500 #constraints=41531 1771.92/1772.60 c nbDecision=736000 #constraints=41531 1774.32/1774.92 c nbDecision=736500 #constraints=41560 1774.72/1775.32 c nbDecision=737000 #constraints=41560 1775.62/1776.20 c nbDecision=737500 #constraints=41579 1777.22/1777.89 c nbDecision=738000 #constraints=41600 1777.72/1778.34 c nbDecision=738500 #constraints=41600 1778.52/1779.11 c nbDecision=739000 #constraints=41603 1780.02/1780.63 c nbDecision=739500 #constraints=41607 1780.62/1781.23 c nbDecision=740000 #constraints=41613 1782.82/1783.44 c nbDecision=740500 #constraints=41628 1783.22/1783.84 c nbDecision=741000 #constraints=41628 1783.92/1784.50 c nbDecision=741500 #constraints=41628 1785.52/1786.13 c nbDecision=742000 #constraints=41638 1785.92/1786.59 c nbDecision=742500 #constraints=41638 1786.83/1787.44 c nbDecision=743000 #constraints=41646 1788.03/1788.67 c nbDecision=743500 #constraints=41648 1788.72/1789.34 c nbDecision=744000 #constraints=41648 1790.72/1791.31 c nbDecision=744500 #constraints=41668 1791.12/1791.71 c nbDecision=745000 #constraints=41668 1791.92/1792.59 c nbDecision=745500 #constraints=41683 1793.42/1794.09 c nbDecision=746000 #constraints=41697 1794.12/1794.72 c nbDecision=746500 #constraints=41707 1794.82/1795.48 c nbDecision=747000 #constraints=41707 1796.62/1797.22 c nbDecision=747500 #constraints=41714 1797.42/1798.02 c nbDecision=748000 #constraints=41721 1799.62/1800.21 c nbDecision=748500 #constraints=41750 1800.02/1800.60 c nbDecision=749000 #constraints=41750 1800.03/1800.60 Received signal 15 1800.03/1800.61 1800.03/1800.61 s UNKNOWN 1800.03/1800.61 1800.03/1800.61 c user time= 1799.21 s 1800.03/1800.61 c system time= 0.822874 s 1800.03/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-362930-1176849332 -o ROOT/results/node12/solver-362930-1176849332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362930-1176849332/instance-362930-1176849332.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.91 0.95 0.98 2/77 29444 /proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=1620 CPUtime=0 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 160970614 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 405 174 126 317 0 84 0 [startup+0.0105159 s] /proc/loadavg: 0.91 0.95 0.98 2/77 29444 /proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=1752 CPUtime=0 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 160970614 1794048 211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 438 211 126 317 0 117 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1752 [startup+0.101524 s] /proc/loadavg: 0.91 0.95 0.98 2/77 29444 /proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=3132 CPUtime=0.09 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 676 0 0 0 9 0 0 0 18 0 1 0 160970614 3207168 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 783 560 131 317 0 462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3132 [startup+0.301544 s] /proc/loadavg: 0.91 0.95 0.98 2/77 29444 /proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=8056 CPUtime=0.29 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 1774 0 0 0 29 0 0 0 19 0 1 0 160970614 8249344 1658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531254 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 2014 1658 131 317 0 1693 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8056 [startup+0.701584 s] /proc/loadavg: 0.91 0.95 0.98 2/77 29444 /proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=14948 CPUtime=0.69 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 3395 0 0 0 68 1 0 0 23 0 1 0 160970614 15306752 3279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 3737 3279 138 317 0 3416 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14948 [startup+1.50167 s] /proc/loadavg: 0.91 0.95 0.98 2/78 29445 /proc/meminfo: memFree=1603952/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=14948 CPUtime=1.49 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 3396 0 0 0 148 1 0 0 25 0 1 0 160970614 15306752 3280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 3737 3280 138 317 0 3416 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14948 [startup+3.10182 s] /proc/loadavg: 0.92 0.95 0.98 2/78 29445 /proc/meminfo: memFree=1603696/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=15344 CPUtime=3.09 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 3509 0 0 0 308 1 0 0 25 0 1 0 160970614 15712256 3393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 3836 3393 139 317 0 3515 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15344 [startup+6.30214 s] /proc/loadavg: 0.92 0.95 0.98 2/78 29445 /proc/meminfo: memFree=1599920/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=20224 CPUtime=6.29 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 4730 0 0 0 628 1 0 0 25 0 1 0 160970614 20709376 4614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 5056 4614 139 317 0 4735 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20224 [startup+12.7018 s] /proc/loadavg: 0.93 0.96 0.98 2/78 29445 /proc/meminfo: memFree=1591216/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=28108 CPUtime=12.69 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 6724 0 0 0 1266 3 0 0 25 0 1 0 160970614 28782592 6608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 7027 6608 170 317 0 6706 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28108 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.98 2/78 29445 /proc/meminfo: memFree=1576048/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=43168 CPUtime=25.49 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 10460 0 0 0 2544 5 0 0 25 0 1 0 160970614 44204032 10344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 10792 10344 170 317 0 10471 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43168 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/78 29445 /proc/meminfo: memFree=1554544/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=64744 CPUtime=51.07 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 15887 0 0 0 5099 8 0 0 25 0 1 0 160970614 66297856 15728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 16186 15728 170 317 0 15865 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64744 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 29445 /proc/meminfo: memFree=1526448/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=93128 CPUtime=102.27 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 22746 0 0 0 10212 15 0 0 25 0 1 0 160970614 95363072 22587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 23282 22587 170 317 0 22961 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 93128 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1480880/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=141008 CPUtime=162.25 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 34219 0 0 0 16203 22 0 0 25 0 1 0 160970614 144392192 33974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 35252 33974 170 317 0 34931 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 141008 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1453168/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=167388 CPUtime=222.23 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 41098 0 0 0 22195 28 0 0 25 0 1 0 160970614 171405312 40853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 41847 40853 170 317 0 41526 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 167388 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1434352/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=191332 CPUtime=282.22 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 45842 0 0 0 28191 31 0 0 25 0 1 0 160970614 195923968 45597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 47833 45597 170 317 0 47512 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 191332 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1422448/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=204212 CPUtime=342.21 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 48790 0 0 0 34187 34 0 0 25 0 1 0 160970614 209113088 48545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 51053 48545 170 317 0 50732 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 204212 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1413744/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=212572 CPUtime=402.19 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 50955 0 0 0 40183 36 0 0 25 0 1 0 160970614 217673728 50710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 53143 50710 170 317 0 52822 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 212572 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1405232/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=220580 CPUtime=462.17 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 53063 0 0 0 46179 38 0 0 25 0 1 0 160970614 225873920 52818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 55145 52818 170 317 0 54824 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 220580 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1394032/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=230844 CPUtime=522.16 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 55891 0 0 0 52175 41 0 0 25 0 1 0 160970614 236384256 55646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 57711 55646 170 317 0 57390 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 230844 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1382960/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=241280 CPUtime=582.15 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 58802 0 0 0 58171 44 0 0 25 0 1 0 160970614 247070720 58387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 60320 58387 170 317 0 59999 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 241280 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1374256/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=248924 CPUtime=642.13 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 60954 0 0 0 64167 46 0 0 25 0 1 0 160970614 254898176 60539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 62231 60539 170 317 0 61910 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 248924 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1346224/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=279128 CPUtime=822.08 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 68499 0 0 0 82157 51 0 0 25 0 1 0 160970614 285827072 67523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563467 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 69782 67523 170 317 0 69461 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 279128 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1335728/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=290208 CPUtime=882.07 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 71296 0 0 0 88153 54 0 0 25 0 1 0 160970614 297172992 70155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 72552 70155 170 317 0 72231 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 290208 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1326704/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=302588 CPUtime=942.06 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 74101 0 0 0 94150 56 0 0 25 0 1 0 160970614 309850112 72399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 75647 72399 170 317 0 75326 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 302588 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1319408/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=311616 CPUtime=1002.04 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 75991 0 0 0 100146 58 0 0 25 0 1 0 160970614 319094784 74223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 77904 74223 170 317 0 77583 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 311616 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1313712/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=317120 CPUtime=1062.02 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 77407 0 0 0 106143 59 0 0 25 0 1 0 160970614 324730880 75639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 79280 75639 170 317 0 78959 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 317120 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1308784/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=322424 CPUtime=1122 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 78733 0 0 0 112139 61 0 0 25 0 1 0 160970614 330162176 76866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 80606 76866 170 317 0 80285 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 322424 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1302896/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=328592 CPUtime=1181.99 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 80278 0 0 0 118136 63 0 0 25 0 1 0 160970614 336478208 78378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 82148 78378 170 317 0 81827 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 328592 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29445 /proc/meminfo: memFree=1293744/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=337352 CPUtime=1241.97 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 82508 0 0 0 124132 65 0 0 25 0 1 0 160970614 345448448 80608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 84338 80608 170 317 0 84017 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 337352 [startup+1302.3 s] /proc/loadavg: 1.05 0.99 0.98 2/78 29445 /proc/meminfo: memFree=1288880/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=343120 CPUtime=1301.95 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 83843 0 0 0 130129 66 0 0 25 0 1 0 160970614 351354880 81811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 85780 81811 170 317 0 85459 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 343120 [startup+1362.3 s] /proc/loadavg: 1.02 0.99 0.98 2/78 29445 /proc/meminfo: memFree=1284272/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=350068 CPUtime=1361.93 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 85442 0 0 0 136125 68 0 0 25 0 1 0 160970614 358469632 82948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 87517 82948 170 317 0 87196 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 350068 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29445 /proc/meminfo: memFree=1279024/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=355108 CPUtime=1421.92 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 86782 0 0 0 142122 70 0 0 25 0 1 0 160970614 363630592 84255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 88777 84255 170 317 0 88456 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 355108 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29445 /proc/meminfo: memFree=1273648/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=363872 CPUtime=1481.9 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 88781 0 0 0 148118 72 0 0 25 0 1 0 160970614 372604928 85594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 90968 85594 170 317 0 90647 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 363872 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/84 29527 /proc/meminfo: memFree=1267072/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=369088 CPUtime=1541.85 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 90133 0 0 0 154109 76 0 0 25 0 1 0 160970614 377946112 86946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 92272 86946 170 317 0 91951 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 369088 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29643 /proc/meminfo: memFree=1263792/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=373784 CPUtime=1601.76 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 91335 0 0 0 160098 78 0 0 25 0 1 0 160970614 382754816 88082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 93446 88082 170 317 0 93125 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 373784 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29643 /proc/meminfo: memFree=1259696/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=377384 CPUtime=1661.75 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 92322 0 0 0 166096 79 0 0 25 0 1 0 160970614 386441216 89069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 94346 89069 170 317 0 94025 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 377384 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29643 /proc/meminfo: memFree=1255600/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=381540 CPUtime=1721.74 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 93373 0 0 0 172093 81 0 0 25 0 1 0 160970614 390696960 90120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 95385 90120 170 317 0 95064 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 381540 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29643 /proc/meminfo: memFree=1252656/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=384640 CPUtime=1781.72 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 94130 0 0 0 178090 82 0 0 25 0 1 0 160970614 393871360 90877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 96160 90877 170 317 0 95839 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 384640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29643 /proc/meminfo: memFree=1251824/2055920 swapFree=4154608/4192956 [pid=29444] ppid=29442 vsize=385308 CPUtime=1800.03 /proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 94295 0 0 0 179921 82 0 0 25 0 1 0 160970614 394555392 91042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29444/statm: 96327 91042 170 317 0 96006 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 385308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.11 CPU user time (s): 1799.22 CPU system time (s): 0.887865 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 385308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.887865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94311 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= 2053 runsolver used 2.18267 second user time and 4.43832 second system time The end
Begin job on node12 on Tue Apr 17 22:35:32 UTC 2007 IDJOB= 362930 IDBENCH= 1686 IDSOLVER= 172 FILE ID= node12/362930-1176849332 PBS_JOBID= 4590214 Free space on /tmp= 66101 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb COMMAND LINE= oree /tmp/evaluation/362930-1176849332/instance-362930-1176849332.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-362930-1176849332 -o ROOT/results/node12/solver-362930-1176849332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362930-1176849332/instance-362930-1176849332.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f3194c704d6cb84122c01530d022722f RANDOM SEED= 288667453 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1617040 kB Buffers: 38608 kB Cached: 303848 kB SwapCached: 17536 kB Active: 40036 kB Inactive: 331436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1617040 kB SwapTotal: 4192956 kB SwapFree: 4154608 kB Dirty: 2612 kB Writeback: 0 kB Mapped: 29984 kB Slab: 52972 kB Committed_AS: 4268488 kB PageTables: 1792 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= 66101 MiB End job on node12 on Tue Apr 17 23:05:35 UTC 2007