Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-shell.opb |
MD5SUM | 78fcc08f79c3a8f3db518f692b6ae82d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 45231 |
Total number of constraints | 653 |
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 | 653 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1560 |
Number of terms in the objective function | 39844 |
Biggest coefficient in the objective function | 4408 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 557557 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 557557 |
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.39 c ...done 0.29/0.39 c #vars=45231 #constraints=1188 hasObjective=yes 0.79/0.88 c res. mode=mod 0.79/0.88 c VSIDS like heuristics 0.79/0.88 c complete search running 1.19/1.21 c restart after 401 decisions 1.19/1.29 c nbDecision=500 #constraints=1243 1.49/1.55 c restart after 801 decisions 1.69/1.72 c nbDecision=1000 #constraints=1326 2.09/2.11 c nbDecision=1500 #constraints=1385 2.09/2.19 c restart after 1601 decisions 2.49/2.53 c nbDecision=2000 #constraints=1448 2.88/2.93 c nbDecision=2500 #constraints=1486 3.29/3.31 c nbDecision=3000 #constraints=1522 3.39/3.49 c restart after 3201 decisions 3.68/3.74 c nbDecision=3500 #constraints=1586 4.08/4.14 c nbDecision=4000 #constraints=1641 4.49/4.51 c nbDecision=4500 #constraints=1660 4.89/4.92 c nbDecision=5000 #constraints=1700 5.29/5.35 c nbDecision=5500 #constraints=1766 5.69/5.73 c nbDecision=6000 #constraints=1779 5.99/6.06 c restart after 6401 decisions 6.09/6.15 c nbDecision=6500 #constraints=1829 6.49/6.55 c nbDecision=7000 #constraints=1867 6.89/6.93 c nbDecision=7500 #constraints=1879 7.29/7.33 c nbDecision=8000 #constraints=1901 7.69/7.71 c nbDecision=8500 #constraints=1909 8.09/8.11 c nbDecision=9000 #constraints=1947 8.49/8.57 c nbDecision=9500 #constraints=2032 8.89/8.97 c nbDecision=10000 #constraints=2052 9.29/9.36 c nbDecision=10500 #constraints=2069 9.79/9.83 c nbDecision=11000 #constraints=2155 10.18/10.28 c nbDecision=11500 #constraints=2235 10.58/10.68 c nbDecision=12000 #constraints=2266 10.99/11.08 c nbDecision=12500 #constraints=2290 11.28/11.32 c restart after 12801 decisions 11.48/11.51 c nbDecision=13000 #constraints=2323 11.88/11.91 c nbDecision=13500 #constraints=2353 12.28/12.30 c nbDecision=14000 #constraints=2378 12.68/12.71 c nbDecision=14500 #constraints=2402 12.98/13.09 c nbDecision=15000 #constraints=2404 13.48/13.52 c nbDecision=15500 #constraints=2469 13.88/13.95 c nbDecision=16000 #constraints=2518 14.29/14.36 c nbDecision=16500 #constraints=2536 14.69/14.77 c nbDecision=17000 #constraints=2562 15.09/15.19 c nbDecision=17500 #constraints=2603 15.59/15.62 c nbDecision=18000 #constraints=2636 15.99/16.04 c nbDecision=18500 #constraints=2666 16.39/16.45 c nbDecision=19000 #constraints=2692 16.79/16.87 c nbDecision=19500 #constraints=2746 17.19/17.29 c nbDecision=20000 #constraints=2797 17.69/17.72 c nbDecision=20500 #constraints=2829 18.09/18.14 c nbDecision=21000 #constraints=2861 18.49/18.58 c nbDecision=21500 #constraints=2895 18.89/18.96 c nbDecision=22000 #constraints=2899 19.29/19.37 c nbDecision=22500 #constraints=2915 19.69/19.76 c nbDecision=23000 #constraints=2918 20.09/20.19 c nbDecision=23500 #constraints=2951 20.59/20.61 c nbDecision=24000 #constraints=2974 20.89/20.99 c nbDecision=24500 #constraints=2977 21.29/21.37 c nbDecision=25000 #constraints=2985 21.68/21.79 c nbDecision=25500 #constraints=3012 21.78/21.87 c restart after 25601 decisions 22.18/22.21 c nbDecision=26000 #constraints=3038 22.58/22.63 c nbDecision=26500 #constraints=3064 22.98/23.05 c nbDecision=27000 #constraints=3093 23.38/23.43 c nbDecision=27500 #constraints=3104 23.78/23.89 c nbDecision=28000 #constraints=3152 24.29/24.31 c nbDecision=28500 #constraints=3165 24.68/24.73 c nbDecision=29000 #constraints=3190 25.08/25.15 c nbDecision=29500 #constraints=3216 25.48/25.55 c nbDecision=30000 #constraints=3221 25.88/25.99 c nbDecision=30500 #constraints=3258 26.38/26.40 c nbDecision=31000 #constraints=3273 26.78/26.88 c nbDecision=31500 #constraints=3335 27.28/27.31 c nbDecision=32000 #constraints=3359 27.68/27.76 c nbDecision=32500 #constraints=3397 28.08/28.18 c nbDecision=33000 #constraints=3422 28.58/28.61 c nbDecision=33500 #constraints=3441 28.98/29.02 c nbDecision=34000 #constraints=3449 29.38/29.44 c nbDecision=34500 #constraints=3461 29.79/29.87 c nbDecision=35000 #constraints=3489 30.28/30.30 c nbDecision=35500 #constraints=3516 30.68/30.74 c nbDecision=36000 #constraints=3543 31.08/31.15 c nbDecision=36500 #constraints=3549 31.58/31.60 c nbDecision=37000 #constraints=3572 31.99/32.04 c nbDecision=37500 #constraints=3601 32.48/32.50 c nbDecision=38000 #constraints=3630 32.88/32.93 c nbDecision=38500 #constraints=3643 33.28/33.37 c nbDecision=39000 #constraints=3666 33.78/33.81 c nbDecision=39500 #constraints=3698 34.18/34.22 c nbDecision=40000 #constraints=3702 34.58/34.67 c nbDecision=40500 #constraints=3726 35.08/35.11 c nbDecision=41000 #constraints=3762 35.48/35.55 c nbDecision=41500 #constraints=3784 35.88/35.97 c nbDecision=42000 #constraints=3797 36.38/36.42 c nbDecision=42500 #constraints=3833 36.78/36.84 c nbDecision=43000 #constraints=3844 37.18/37.28 c nbDecision=43500 #constraints=3869 37.68/37.70 c nbDecision=44000 #constraints=3888 38.08/38.16 c nbDecision=44500 #constraints=3933 38.58/38.62 c nbDecision=45000 #constraints=3981 38.98/39.03 c nbDecision=45500 #constraints=3988 39.38/39.46 c nbDecision=46000 #constraints=3996 39.88/39.91 c nbDecision=46500 #constraints=4023 40.28/40.32 c nbDecision=47000 #constraints=4033 40.68/40.73 c nbDecision=47500 #constraints=4040 41.08/41.15 c nbDecision=48000 #constraints=4045 41.58/41.61 c nbDecision=48500 #constraints=4062 41.98/42.04 c nbDecision=49000 #constraints=4079 42.38/42.46 c nbDecision=49500 #constraints=4091 42.88/42.92 c nbDecision=50000 #constraints=4129 43.28/43.37 c nbDecision=50500 #constraints=4172 43.78/43.80 c nbDecision=51000 #constraints=4189 43.88/43.98 c restart after 51201 decisions 44.18/44.26 c nbDecision=51500 #constraints=4201 44.68/44.71 c nbDecision=52000 #constraints=4231 45.08/45.14 c nbDecision=52500 #constraints=4238 45.58/45.60 c nbDecision=53000 #constraints=4270 45.98/46.07 c nbDecision=53500 #constraints=4287 46.37/46.49 c nbDecision=54000 #constraints=4292 46.87/46.92 c nbDecision=54500 #constraints=4298 47.38/47.42 c nbDecision=55000 #constraints=4356 47.87/47.92 c nbDecision=55500 #constraints=4399 48.38/48.44 c nbDecision=56000 #constraints=4466 48.77/48.87 c nbDecision=56500 #constraints=4481 49.27/49.35 c nbDecision=57000 #constraints=4556 49.77/49.82 c nbDecision=57500 #constraints=4590 50.17/50.29 c nbDecision=58000 #constraints=4630 50.77/50.82 c nbDecision=58500 #constraints=4701 51.27/51.32 c nbDecision=59000 #constraints=4732 51.67/51.79 c nbDecision=59500 #constraints=4768 52.17/52.24 c nbDecision=60000 #constraints=4789 52.67/52.70 c nbDecision=60500 #constraints=4804 53.17/53.22 c nbDecision=61000 #constraints=4848 53.57/53.68 c nbDecision=61500 #constraints=4873 54.07/54.11 c nbDecision=62000 #constraints=4902 54.57/54.63 c nbDecision=62500 #constraints=4970 55.07/55.14 c nbDecision=63000 #constraints=5033 55.56/55.63 c nbDecision=63500 #constraints=5056 56.07/56.18 c nbDecision=64000 #constraints=5129 56.56/56.62 c nbDecision=64500 #constraints=5157 56.96/57.08 c nbDecision=65000 #constraints=5180 57.46/57.53 c nbDecision=65500 #constraints=5207 58.17/58.20 c nbDecision=66000 #constraints=5390 58.67/58.71 c nbDecision=66500 #constraints=5434 59.17/59.24 c nbDecision=67000 #constraints=5475 59.67/59.70 c nbDecision=67500 #constraints=5512 60.17/60.24 c nbDecision=68000 #constraints=5560 60.67/60.78 c nbDecision=68500 #constraints=5613 61.17/61.27 c nbDecision=69000 #constraints=5658 61.68/61.77 c nbDecision=69500 #constraints=5693 62.07/62.19 c nbDecision=70000 #constraints=5700 62.68/62.78 c nbDecision=70500 #constraints=5759 63.47/63.55 c nbDecision=71000 #constraints=5935 63.87/63.99 c nbDecision=71500 #constraints=5944 64.47/64.56 c nbDecision=72000 #constraints=5997 64.98/65.09 c nbDecision=72500 #constraints=6052 65.47/65.58 c nbDecision=73000 #constraints=6078 66.07/66.19 c nbDecision=73500 #constraints=6164 66.67/66.71 c nbDecision=74000 #constraints=6216 67.27/67.31 c nbDecision=74500 #constraints=6279 67.77/67.82 c nbDecision=75000 #constraints=6308 68.27/68.33 c nbDecision=75500 #constraints=6332 69.17/69.21 c nbDecision=76000 #constraints=6478 69.86/69.98 c nbDecision=76500 #constraints=6617 70.47/70.58 c nbDecision=77000 #constraints=6671 71.06/71.18 c nbDecision=77500 #constraints=6727 71.86/72.00 c nbDecision=78000 #constraints=6859 72.46/72.54 c nbDecision=78500 #constraints=6894 72.96/73.03 c nbDecision=79000 #constraints=6916 73.36/73.48 c nbDecision=79500 #constraints=6921 73.96/74.02 c nbDecision=80000 #constraints=6954 74.56/74.62 c nbDecision=80500 #constraints=6997 75.16/75.28 c nbDecision=81000 #constraints=7056 75.76/75.83 c nbDecision=81500 #constraints=7086 76.36/76.44 c nbDecision=82000 #constraints=7131 77.36/77.48 c nbDecision=82500 #constraints=7271 77.86/77.97 c nbDecision=83000 #constraints=7298 78.56/78.61 c nbDecision=83500 #constraints=7341 79.06/79.16 c nbDecision=84000 #constraints=7372 79.56/79.67 c nbDecision=84500 #constraints=7397 80.06/80.18 c nbDecision=85000 #constraints=7423 80.66/80.75 c nbDecision=85500 #constraints=7469 81.16/81.26 c nbDecision=86000 #constraints=7494 81.96/82.03 c nbDecision=86500 #constraints=7563 82.66/82.76 c nbDecision=87000 #constraints=7623 83.16/83.27 c nbDecision=87500 #constraints=7644 83.66/83.77 c nbDecision=88000 #constraints=7659 84.26/84.39 c nbDecision=88500 #constraints=7698 84.96/85.02 c nbDecision=89000 #constraints=7738 85.66/85.78 c nbDecision=89500 #constraints=7798 86.36/86.42 c nbDecision=90000 #constraints=7850 86.86/86.94 c nbDecision=90500 #constraints=7868 88.66/88.79 c nbDecision=91000 #constraints=8156 89.26/89.34 c nbDecision=91500 #constraints=8177 89.76/89.86 c nbDecision=92000 #constraints=8209 90.55/90.63 c nbDecision=92500 #constraints=8293 91.36/91.43 c nbDecision=93000 #constraints=8382 91.85/91.95 c nbDecision=93500 #constraints=8396 92.36/92.49 c nbDecision=94000 #constraints=8421 93.25/93.34 c nbDecision=94500 #constraints=8483 94.26/94.34 c nbDecision=95000 #constraints=8589 94.86/94.90 c nbDecision=95500 #constraints=8614 95.66/95.71 c nbDecision=96000 #constraints=8674 96.66/96.79 c nbDecision=96500 #constraints=8765 98.86/98.91 c nbDecision=97000 #constraints=9038 99.35/99.45 c nbDecision=97500 #constraints=9080 99.95/100.02 c nbDecision=98000 #constraints=9099 101.45/101.55 c nbDecision=98500 #constraints=9229 104.15/104.25 c nbDecision=99000 #constraints=9517 104.55/104.70 c nbDecision=99500 #constraints=9518 105.25/105.30 c nbDecision=100000 #constraints=9544 106.65/106.80 c nbDecision=100500 #constraints=9663 108.15/108.27 c nbDecision=101000 #constraints=9809 108.85/108.93 c nbDecision=101500 #constraints=9832 109.35/109.41 c nbDecision=102000 #constraints=9845 109.85/109.97 c restart after 102401 decisions 110.35/110.49 c nbDecision=102500 #constraints=9892 111.06/111.20 c nbDecision=103000 #constraints=9921 111.65/111.71 c nbDecision=103500 #constraints=9937 112.26/112.33 c nbDecision=104000 #constraints=9952 112.95/113.05 c nbDecision=104500 #constraints=9992 113.65/113.75 c nbDecision=105000 #constraints=10026 114.15/114.28 c nbDecision=105500 #constraints=10031 114.75/114.88 c nbDecision=106000 #constraints=10058 115.35/115.47 c nbDecision=106500 #constraints=10086 115.95/116.02 c nbDecision=107000 #constraints=10103 116.45/116.51 c nbDecision=107500 #constraints=10105 117.15/117.24 c nbDecision=108000 #constraints=10174 117.76/117.86 c nbDecision=108500 #constraints=10184 118.55/118.61 c nbDecision=109000 #constraints=10232 119.15/119.25 c nbDecision=109500 #constraints=10249 119.65/119.79 c nbDecision=110000 #constraints=10254 120.25/120.36 c nbDecision=110500 #constraints=10270 120.85/120.93 c nbDecision=111000 #constraints=10289 121.35/121.47 c nbDecision=111500 #constraints=10303 121.95/122.06 c nbDecision=112000 #constraints=10319 122.55/122.60 c nbDecision=112500 #constraints=10333 123.15/123.26 c nbDecision=113000 #constraints=10355 123.75/123.86 c nbDecision=113500 #constraints=10370 124.35/124.45 c nbDecision=114000 #constraints=10381 124.95/125.05 c nbDecision=114500 #constraints=10401 125.45/125.57 c nbDecision=115000 #constraints=10404 126.05/126.16 c nbDecision=115500 #constraints=10422 126.55/126.69 c nbDecision=116000 #constraints=10432 127.05/127.17 c nbDecision=116500 #constraints=10443 127.55/127.68 c nbDecision=117000 #constraints=10449 128.14/128.28 c nbDecision=117500 #constraints=10469 128.84/128.92 c nbDecision=118000 #constraints=10493 129.34/129.45 c nbDecision=118500 #constraints=10511 129.94/130.07 c nbDecision=119000 #constraints=10530 130.64/130.70 c nbDecision=119500 #constraints=10557 131.24/131.36 c nbDecision=120000 #constraints=10592 131.84/131.90 c nbDecision=120500 #constraints=10602 132.34/132.48 c nbDecision=121000 #constraints=10627 132.94/133.06 c nbDecision=121500 #constraints=10632 133.54/133.65 c nbDecision=122000 #constraints=10645 134.14/134.29 c nbDecision=122500 #constraints=10664 134.84/134.92 c nbDecision=123000 #constraints=10682 135.35/135.46 c nbDecision=123500 #constraints=10692 136.05/136.10 c nbDecision=124000 #constraints=10720 136.55/136.68 c nbDecision=124500 #constraints=10736 137.15/137.22 c nbDecision=125000 #constraints=10747 137.75/137.83 c nbDecision=125500 #constraints=10764 138.24/138.39 c nbDecision=126000 #constraints=10782 138.84/138.94 c nbDecision=126500 #constraints=10815 139.34/139.49 c nbDecision=127000 #constraints=10824 140.04/140.11 c nbDecision=127500 #constraints=10861 140.54/140.69 c nbDecision=128000 #constraints=10874 141.14/141.21 c nbDecision=128500 #constraints=10876 141.64/141.79 c nbDecision=129000 #constraints=10893 142.34/142.42 c nbDecision=129500 #constraints=10909 142.95/143.02 c nbDecision=130000 #constraints=10920 143.34/143.49 c nbDecision=130500 #constraints=10922 143.94/144.04 c nbDecision=131000 #constraints=10945 144.54/144.62 c nbDecision=131500 #constraints=10960 145.15/145.24 c nbDecision=132000 #constraints=10984 145.84/145.92 c nbDecision=132500 #constraints=10994 146.54/146.62 c nbDecision=133000 #constraints=11016 147.14/147.29 c nbDecision=133500 #constraints=11041 147.84/147.96 c nbDecision=134000 #constraints=11061 148.44/148.53 c nbDecision=134500 #constraints=11065 149.04/149.12 c nbDecision=135000 #constraints=11075 149.64/149.71 c nbDecision=135500 #constraints=11107 150.34/150.40 c nbDecision=136000 #constraints=11140 150.94/151.01 c nbDecision=136500 #constraints=11164 151.44/151.57 c nbDecision=137000 #constraints=11189 152.14/152.29 c nbDecision=137500 #constraints=11220 152.94/153.03 c nbDecision=138000 #constraints=11251 153.54/153.65 c nbDecision=138500 #constraints=11265 154.14/154.27 c nbDecision=139000 #constraints=11302 154.84/154.96 c nbDecision=139500 #constraints=11321 155.44/155.57 c nbDecision=140000 #constraints=11339 156.14/156.21 c nbDecision=140500 #constraints=11366 156.74/156.84 c nbDecision=141000 #constraints=11381 157.44/157.51 c nbDecision=141500 #constraints=11402 157.94/158.10 c nbDecision=142000 #constraints=11412 158.54/158.68 c nbDecision=142500 #constraints=11437 159.14/159.27 c nbDecision=143000 #constraints=11444 159.74/159.84 c nbDecision=143500 #constraints=11447 160.24/160.36 c nbDecision=144000 #constraints=11455 160.84/160.97 c nbDecision=144500 #constraints=11470 161.44/161.51 c nbDecision=145000 #constraints=11472 162.13/162.28 c nbDecision=145500 #constraints=11496 162.84/162.94 c nbDecision=146000 #constraints=11515 163.43/163.52 c nbDecision=146500 #constraints=11519 164.13/164.25 c nbDecision=147000 #constraints=11572 164.73/164.87 c nbDecision=147500 #constraints=11589 165.33/165.49 c nbDecision=148000 #constraints=11599 166.04/166.12 c nbDecision=148500 #constraints=11627 166.63/166.76 c nbDecision=149000 #constraints=11634 167.24/167.37 c nbDecision=149500 #constraints=11646 167.83/167.93 c nbDecision=150000 #constraints=11648 168.43/168.50 c nbDecision=150500 #constraints=11657 169.03/169.17 c nbDecision=151000 #constraints=11676 169.73/169.85 c nbDecision=151500 #constraints=11693 170.33/170.40 c nbDecision=152000 #constraints=11703 170.93/171.02 c nbDecision=152500 #constraints=11722 171.53/171.61 c nbDecision=153000 #constraints=11726 172.23/172.31 c nbDecision=153500 #constraints=11779 172.73/172.88 c nbDecision=154000 #constraints=11781 173.43/173.50 c nbDecision=154500 #constraints=11796 173.93/174.03 c nbDecision=155000 #constraints=11798 174.53/174.66 c nbDecision=155500 #constraints=11817 175.23/175.30 c nbDecision=156000 #constraints=11828 175.73/175.89 c nbDecision=156500 #constraints=11844 176.43/176.56 c nbDecision=157000 #constraints=11860 177.03/177.19 c nbDecision=157500 #constraints=11869 177.83/177.96 c nbDecision=158000 #constraints=11891 178.53/178.61 c nbDecision=158500 #constraints=11901 179.03/179.19 c nbDecision=159000 #constraints=11931 179.73/179.87 c nbDecision=159500 #constraints=11945 180.43/180.51 c nbDecision=160000 #constraints=11965 181.13/181.21 c nbDecision=160500 #constraints=11995 181.73/181.84 c nbDecision=161000 #constraints=12015 182.23/182.36 c nbDecision=161500 #constraints=12022 182.73/182.88 c nbDecision=162000 #constraints=12026 183.43/183.52 c nbDecision=162500 #constraints=12045 183.93/184.07 c nbDecision=163000 #constraints=12046 184.62/184.79 c nbDecision=163500 #constraints=12060 185.33/185.42 c nbDecision=164000 #constraints=12065 185.93/186.05 c nbDecision=164500 #constraints=12070 186.72/186.80 c nbDecision=165000 #constraints=12090 187.42/187.52 c nbDecision=165500 #constraints=12123 188.03/188.16 c nbDecision=166000 #constraints=12139 188.72/188.89 c nbDecision=166500 #constraints=12191 189.42/189.58 c nbDecision=167000 #constraints=12205 190.12/190.27 c nbDecision=167500 #constraints=12216 190.92/191.00 c nbDecision=168000 #constraints=12233 191.52/191.64 c nbDecision=168500 #constraints=12255 192.12/192.28 c nbDecision=169000 #constraints=12259 192.72/192.88 c nbDecision=169500 #constraints=12270 193.42/193.56 c nbDecision=170000 #constraints=12294 194.02/194.19 c nbDecision=170500 #constraints=12307 194.82/194.98 c nbDecision=171000 #constraints=12329 195.42/195.54 c nbDecision=171500 #constraints=12345 196.02/196.17 c nbDecision=172000 #constraints=12354 196.72/196.83 c nbDecision=172500 #constraints=12377 197.32/197.41 c nbDecision=173000 #constraints=12379 197.82/197.90 c nbDecision=173500 #constraints=12387 198.42/198.50 c nbDecision=174000 #constraints=12390 199.02/199.15 c nbDecision=174500 #constraints=12399 199.72/199.86 c nbDecision=175000 #constraints=12411 200.32/200.47 c nbDecision=175500 #constraints=12413 201.02/201.17 c nbDecision=176000 #constraints=12430 201.62/201.76 c nbDecision=176500 #constraints=12434 202.32/202.47 c nbDecision=177000 #constraints=12456 203.02/203.11 c nbDecision=177500 #constraints=12472 203.72/203.80 c nbDecision=178000 #constraints=12492 204.41/204.50 c nbDecision=178500 #constraints=12504 205.11/205.26 c nbDecision=179000 #constraints=12521 205.72/205.85 c nbDecision=179500 #constraints=12523 206.41/206.53 c nbDecision=180000 #constraints=12540 207.11/207.22 c nbDecision=180500 #constraints=12547 207.71/207.85 c nbDecision=181000 #constraints=12551 208.31/208.49 c nbDecision=181500 #constraints=12561 209.02/209.14 c nbDecision=182000 #constraints=12582 209.71/209.87 c nbDecision=182500 #constraints=12604 210.31/210.46 c nbDecision=183000 #constraints=12605 211.01/211.18 c nbDecision=183500 #constraints=12617 211.61/211.75 c nbDecision=184000 #constraints=12621 212.21/212.38 c nbDecision=184500 #constraints=12630 212.81/212.93 c nbDecision=185000 #constraints=12648 213.51/213.61 c nbDecision=185500 #constraints=12667 214.22/214.34 c nbDecision=186000 #constraints=12690 214.92/215.07 c nbDecision=186500 #constraints=12708 215.72/215.80 c nbDecision=187000 #constraints=12725 216.32/216.49 c nbDecision=187500 #constraints=12748 217.02/217.15 c nbDecision=188000 #constraints=12771 217.72/217.81 c nbDecision=188500 #constraints=12791 218.32/218.40 c nbDecision=189000 #constraints=12796 218.92/219.05 c nbDecision=189500 #constraints=12809 219.62/219.71 c nbDecision=190000 #constraints=12829 220.22/220.31 c nbDecision=190500 #constraints=12839 220.92/221.04 c nbDecision=191000 #constraints=12857 221.81/221.96 c nbDecision=191500 #constraints=12903 222.51/222.60 c nbDecision=192000 #constraints=12907 223.11/223.28 c nbDecision=192500 #constraints=12923 223.71/223.89 c nbDecision=193000 #constraints=12932 224.42/224.55 c nbDecision=193500 #constraints=12943 225.21/225.31 c nbDecision=194000 #constraints=12968 225.91/226.07 c nbDecision=194500 #constraints=13003 226.52/226.70 c nbDecision=195000 #constraints=13006 227.21/227.32 c nbDecision=195500 #constraints=13008 227.81/227.93 c nbDecision=196000 #constraints=13011 228.41/228.58 c nbDecision=196500 #constraints=13028 229.21/229.30 c nbDecision=197000 #constraints=13051 229.82/229.93 c nbDecision=197500 #constraints=13053 230.41/230.59 c nbDecision=198000 #constraints=13067 231.11/231.29 c nbDecision=198500 #constraints=13091 231.81/231.95 c nbDecision=199000 #constraints=13100 232.51/232.61 c nbDecision=199500 #constraints=13115 233.21/233.33 c nbDecision=200000 #constraints=13130 233.91/234.04 c nbDecision=200500 #constraints=13152 234.61/234.73 c nbDecision=201000 #constraints=13162 235.21/235.39 c nbDecision=201500 #constraints=13170 235.91/236.04 c nbDecision=202000 #constraints=13182 236.61/236.75 c nbDecision=202500 #constraints=13188 237.31/237.47 c nbDecision=203000 #constraints=13211 237.91/238.01 c nbDecision=203500 #constraints=13213 238.51/238.67 c nbDecision=204000 #constraints=13234 239.31/239.42 c nbDecision=204500 #constraints=13258 239.61/239.77 c restart after 204801 decisions 240.31/240.40 c nbDecision=205000 #constraints=13305 241.01/241.11 c nbDecision=205500 #constraints=13322 241.70/241.85 c nbDecision=206000 #constraints=13358 242.50/242.63 c nbDecision=206500 #constraints=13376 243.20/243.38 c nbDecision=207000 #constraints=13394 243.90/244.08 c nbDecision=207500 #constraints=13412 244.60/244.71 c nbDecision=208000 #constraints=13415 245.21/245.33 c nbDecision=208500 #constraints=13433 246.00/246.14 c nbDecision=209000 #constraints=13461 246.70/246.81 c nbDecision=209500 #constraints=13496 247.30/247.43 c nbDecision=210000 #constraints=13497 248.00/248.18 c nbDecision=210500 #constraints=13513 248.70/248.85 c nbDecision=211000 #constraints=13521 249.40/249.54 c nbDecision=211500 #constraints=13534 250.10/250.26 c nbDecision=212000 #constraints=13551 250.80/250.96 c nbDecision=212500 #constraints=13569 251.50/251.67 c nbDecision=213000 #constraints=13584 252.10/252.23 c nbDecision=213500 #constraints=13590 252.90/253.07 c nbDecision=214000 #constraints=13620 253.70/253.85 c nbDecision=214500 #constraints=13635 254.40/254.59 c nbDecision=215000 #constraints=13646 255.10/255.25 c nbDecision=215500 #constraints=13657 255.80/255.97 c nbDecision=216000 #constraints=13667 256.50/256.67 c nbDecision=216500 #constraints=13683 257.20/257.33 c nbDecision=217000 #constraints=13695 257.80/257.97 c nbDecision=217500 #constraints=13697 258.60/258.78 c nbDecision=218000 #constraints=13713 259.40/259.50 c nbDecision=218500 #constraints=13730 260.00/260.19 c nbDecision=219000 #constraints=13745 260.79/260.96 c nbDecision=219500 #constraints=13768 261.50/261.66 c nbDecision=220000 #constraints=13787 262.20/262.33 c nbDecision=220500 #constraints=13795 262.81/262.99 c nbDecision=221000 #constraints=13797 263.60/263.75 c nbDecision=221500 #constraints=13823 264.40/264.54 c nbDecision=222000 #constraints=13865 265.10/265.25 c nbDecision=222500 #constraints=13882 265.70/265.88 c nbDecision=223000 #constraints=13909 266.40/266.57 c nbDecision=223500 #constraints=13925 267.20/267.38 c nbDecision=224000 #constraints=13947 267.90/268.10 c nbDecision=224500 #constraints=13964 268.60/268.79 c nbDecision=225000 #constraints=13979 269.30/269.47 c nbDecision=225500 #constraints=13982 270.00/270.15 c nbDecision=226000 #constraints=13985 270.80/270.92 c nbDecision=226500 #constraints=14001 271.50/271.66 c nbDecision=227000 #constraints=14013 272.20/272.37 c nbDecision=227500 #constraints=14036 272.90/273.03 c nbDecision=228000 #constraints=14037 273.60/273.74 c nbDecision=228500 #constraints=14047 274.30/274.46 c nbDecision=229000 #constraints=14064 275.00/275.18 c nbDecision=229500 #constraints=14081 275.80/275.97 c nbDecision=230000 #constraints=14112 276.49/276.63 c nbDecision=230500 #constraints=14114 277.10/277.27 c nbDecision=231000 #constraints=14115 277.79/277.92 c nbDecision=231500 #constraints=14117 278.49/278.63 c nbDecision=232000 #constraints=14126 279.19/279.35 c nbDecision=232500 #constraints=14133 280.09/280.29 c nbDecision=233000 #constraints=14180 280.89/281.04 c nbDecision=233500 #constraints=14195 281.50/281.68 c nbDecision=234000 #constraints=14204 282.19/282.37 c nbDecision=234500 #constraints=14208 282.99/283.14 c nbDecision=235000 #constraints=14225 283.69/283.83 c nbDecision=235500 #constraints=14235 284.29/284.46 c nbDecision=236000 #constraints=14249 284.99/285.16 c nbDecision=236500 #constraints=14257 285.79/285.93 c nbDecision=237000 #constraints=14268 286.59/286.70 c nbDecision=237500 #constraints=14285 287.39/287.56 c nbDecision=238000 #constraints=14324 288.19/288.34 c nbDecision=238500 #constraints=14343 289.09/289.20 c nbDecision=239000 #constraints=14372 289.79/289.95 c nbDecision=239500 #constraints=14394 290.59/290.76 c nbDecision=240000 #constraints=14418 291.29/291.49 c nbDecision=240500 #constraints=14428 292.19/292.33 c nbDecision=241000 #constraints=14456 292.89/293.09 c nbDecision=241500 #constraints=14460 293.49/293.69 c nbDecision=242000 #constraints=14462 294.49/294.64 c nbDecision=242500 #constraints=14497 295.29/295.41 c nbDecision=243000 #constraints=14514 295.89/296.05 c nbDecision=243500 #constraints=14523 296.58/296.74 c nbDecision=244000 #constraints=14538 297.48/297.65 c nbDecision=244500 #constraints=14566 298.18/298.34 c nbDecision=245000 #constraints=14568 298.98/299.11 c nbDecision=245500 #constraints=14588 299.68/299.88 c nbDecision=246000 #constraints=14606 300.58/300.79 c nbDecision=246500 #constraints=14656 301.29/301.49 c nbDecision=247000 #constraints=14663 301.88/302.02 c nbDecision=247500 #constraints=14663 302.78/302.91 c nbDecision=248000 #constraints=14670 303.38/303.54 c nbDecision=248500 #constraints=14678 304.28/304.48 c nbDecision=249000 #constraints=14699 304.88/305.05 c nbDecision=249500 #constraints=14710 305.69/305.81 c nbDecision=250000 #constraints=14727 306.48/306.64 c nbDecision=250500 #constraints=14745 307.28/307.46 c nbDecision=251000 #constraints=14784 307.98/308.17 c nbDecision=251500 #constraints=14788 308.98/309.13 c nbDecision=252000 #constraints=14817 309.68/309.88 c nbDecision=252500 #constraints=14822 310.58/310.74 c nbDecision=253000 #constraints=14838 311.28/311.43 c nbDecision=253500 #constraints=14840 311.98/312.14 c nbDecision=254000 #constraints=14849 312.68/312.81 c nbDecision=254500 #constraints=14851 313.28/313.48 c nbDecision=255000 #constraints=14853 313.98/314.17 c nbDecision=255500 #constraints=14854 314.78/314.91 c nbDecision=256000 #constraints=14869 315.58/315.80 c nbDecision=256500 #constraints=14902 316.38/316.59 c nbDecision=257000 #constraints=14920 317.18/317.38 c nbDecision=257500 #constraints=14937 317.88/318.09 c nbDecision=258000 #constraints=14962 318.67/318.88 c nbDecision=258500 #constraints=14974 319.57/319.73 c nbDecision=259000 #constraints=14989 320.08/320.25 c nbDecision=259500 #constraints=14997 320.87/321.01 c nbDecision=260000 #constraints=15012 321.67/321.80 c nbDecision=260500 #constraints=15035 322.38/322.54 c nbDecision=261000 #constraints=15044 323.07/323.27 c nbDecision=261500 #constraints=15053 323.77/323.99 c nbDecision=262000 #constraints=15062 324.67/324.82 c nbDecision=262500 #constraints=15073 325.48/325.67 c nbDecision=263000 #constraints=15094 326.27/326.46 c nbDecision=263500 #constraints=15103 326.97/327.18 c nbDecision=264000 #constraints=15106 327.78/327.91 c nbDecision=264500 #constraints=15115 328.47/328.63 c nbDecision=265000 #constraints=15119 329.27/329.47 c nbDecision=265500 #constraints=15138 329.97/330.19 c nbDecision=266000 #constraints=15148 330.77/330.96 c nbDecision=266500 #constraints=15159 331.57/331.70 c nbDecision=267000 #constraints=15168 332.27/332.41 c nbDecision=267500 #constraints=15170 333.17/333.37 c nbDecision=268000 #constraints=15200 333.87/334.08 c nbDecision=268500 #constraints=15202 334.67/334.80 c nbDecision=269000 #constraints=15210 335.47/335.61 c nbDecision=269500 #constraints=15228 336.17/336.35 c nbDecision=270000 #constraints=15237 337.07/337.22 c nbDecision=270500 #constraints=15252 337.67/337.86 c nbDecision=271000 #constraints=15254 338.47/338.60 c nbDecision=271500 #constraints=15280 339.17/339.32 c nbDecision=272000 #constraints=15288 340.17/340.31 c nbDecision=272500 #constraints=15328 340.88/341.07 c nbDecision=273000 #constraints=15343 341.78/341.93 c nbDecision=273500 #constraints=15360 342.47/342.64 c nbDecision=274000 #constraints=15362 343.27/343.42 c nbDecision=274500 #constraints=15372 343.97/344.15 c nbDecision=275000 #constraints=15384 344.77/344.94 c nbDecision=275500 #constraints=15392 345.38/345.60 c nbDecision=276000 #constraints=15398 346.38/346.51 c nbDecision=276500 #constraints=15413 347.17/347.37 c nbDecision=277000 #constraints=15431 348.07/348.22 c nbDecision=277500 #constraints=15458 348.77/348.97 c nbDecision=278000 #constraints=15463 349.47/349.67 c nbDecision=278500 #constraints=15486 350.27/350.43 c nbDecision=279000 #constraints=15498 350.97/351.16 c nbDecision=279500 #constraints=15501 351.77/351.97 c nbDecision=280000 #constraints=15510 352.67/352.88 c nbDecision=280500 #constraints=15544 353.57/353.73 c nbDecision=281000 #constraints=15551 354.37/354.53 c nbDecision=281500 #constraints=15567 355.17/355.35 c nbDecision=282000 #constraints=15580 355.87/356.09 c nbDecision=282500 #constraints=15583 356.77/356.94 c nbDecision=283000 #constraints=15596 357.57/357.79 c nbDecision=283500 #constraints=15642 358.47/358.62 c nbDecision=284000 #constraints=15653 359.17/359.39 c nbDecision=284500 #constraints=15668 359.87/360.09 c nbDecision=285000 #constraints=15669 360.67/360.84 c nbDecision=285500 #constraints=15673 361.57/361.76 c nbDecision=286000 #constraints=15689 362.47/362.67 c nbDecision=286500 #constraints=15718 363.37/363.56 c nbDecision=287000 #constraints=15733 364.17/364.33 c nbDecision=287500 #constraints=15740 364.87/365.07 c nbDecision=288000 #constraints=15743 365.67/365.82 c nbDecision=288500 #constraints=15745 366.47/366.65 c nbDecision=289000 #constraints=15756 367.27/367.41 c nbDecision=289500 #constraints=15764 368.07/368.23 c nbDecision=290000 #constraints=15776 368.96/369.15 c nbDecision=290500 #constraints=15792 369.66/369.89 c nbDecision=291000 #constraints=15795 370.46/370.66 c nbDecision=291500 #constraints=15804 371.26/371.47 c nbDecision=292000 #constraints=15823 371.86/372.08 c nbDecision=292500 #constraints=15825 372.66/372.83 c nbDecision=293000 #constraints=15828 373.36/373.56 c nbDecision=293500 #constraints=15830 374.16/374.36 c nbDecision=294000 #constraints=15873 374.97/375.13 c nbDecision=294500 #constraints=15887 375.76/375.98 c nbDecision=295000 #constraints=15909 376.56/376.79 c nbDecision=295500 #constraints=15917 377.46/377.62 c nbDecision=296000 #constraints=15933 378.16/378.35 c nbDecision=296500 #constraints=15934 378.86/379.09 c nbDecision=297000 #constraints=15937 379.66/379.83 c nbDecision=297500 #constraints=15944 380.46/380.69 c nbDecision=298000 #constraints=15973 381.36/381.52 c nbDecision=298500 #constraints=15996 382.36/382.52 c nbDecision=299000 #constraints=16015 383.26/383.48 c nbDecision=299500 #constraints=16039 384.26/384.49 c nbDecision=300000 #constraints=16057 385.36/385.51 c nbDecision=300500 #constraints=16080 386.16/386.30 c nbDecision=301000 #constraints=16093 386.76/386.96 c nbDecision=301500 #constraints=16097 387.45/387.65 c nbDecision=302000 #constraints=16118 388.35/388.58 c nbDecision=302500 #constraints=16121 389.15/389.31 c nbDecision=303000 #constraints=16123 389.85/390.08 c nbDecision=303500 #constraints=16130 390.65/390.89 c nbDecision=304000 #constraints=16135 391.46/391.70 c nbDecision=304500 #constraints=16147 392.15/392.36 c nbDecision=305000 #constraints=16161 393.05/393.25 c nbDecision=305500 #constraints=16178 393.85/394.08 c nbDecision=306000 #constraints=16189 394.76/394.92 c nbDecision=306500 #constraints=16204 395.75/395.98 c nbDecision=307000 #constraints=16242 396.65/396.86 c nbDecision=307500 #constraints=16253 397.85/398.03 c nbDecision=308000 #constraints=16296 398.65/398.85 c nbDecision=308500 #constraints=16312 399.45/399.63 c nbDecision=309000 #constraints=16315 400.15/400.39 c nbDecision=309500 #constraints=16326 401.15/401.35 c nbDecision=310000 #constraints=16343 402.05/402.23 c nbDecision=310500 #constraints=16368 402.85/403.05 c nbDecision=311000 #constraints=16383 403.75/403.94 c nbDecision=311500 #constraints=16407 404.65/404.85 c nbDecision=312000 #constraints=16426 405.54/405.75 c nbDecision=312500 #constraints=16440 406.34/406.51 c nbDecision=313000 #constraints=16441 407.44/407.66 c nbDecision=313500 #constraints=16487 408.55/408.79 c nbDecision=314000 #constraints=16522 409.45/409.66 c nbDecision=314500 #constraints=16566 410.45/410.65 c nbDecision=315000 #constraints=16598 411.45/411.60 c nbDecision=315500 #constraints=16617 412.45/412.64 c nbDecision=316000 #constraints=16643 413.05/413.21 c nbDecision=316500 #constraints=16643 414.05/414.27 c nbDecision=317000 #constraints=16657 414.75/414.95 c nbDecision=317500 #constraints=16687 415.65/415.83 c nbDecision=318000 #constraints=16696 416.45/416.65 c nbDecision=318500 #constraints=16709 417.65/417.80 c nbDecision=319000 #constraints=16749 418.55/418.70 c nbDecision=319500 #constraints=16758 419.35/419.53 c nbDecision=320000 #constraints=16772 420.15/420.32 c nbDecision=320500 #constraints=16775 420.95/421.10 c nbDecision=321000 #constraints=16779 422.05/422.26 c nbDecision=321500 #constraints=16819 423.15/423.36 c nbDecision=322000 #constraints=16842 423.95/424.17 c nbDecision=322500 #constraints=16847 425.04/425.20 c nbDecision=323000 #constraints=16871 426.04/426.20 c nbDecision=323500 #constraints=16890 426.94/427.18 c nbDecision=324000 #constraints=16917 428.14/428.32 c nbDecision=324500 #constraints=16943 429.04/429.23 c nbDecision=325000 #constraints=16957 429.64/429.90 c nbDecision=325500 #constraints=16970 430.64/430.84 c nbDecision=326000 #constraints=17001 431.64/431.86 c nbDecision=326500 #constraints=17018 432.64/432.87 c nbDecision=327000 #constraints=17042 433.44/433.67 c nbDecision=327500 #constraints=17047 434.44/434.63 c nbDecision=328000 #constraints=17062 435.14/435.37 c nbDecision=328500 #constraints=17064 435.94/436.16 c nbDecision=329000 #constraints=17074 436.94/437.17 c nbDecision=329500 #constraints=17105 437.54/437.76 c nbDecision=330000 #constraints=17108 438.54/438.77 c nbDecision=330500 #constraints=17126 439.44/439.65 c nbDecision=331000 #constraints=17141 440.44/440.61 c nbDecision=331500 #constraints=17157 441.33/441.56 c nbDecision=332000 #constraints=17184 442.14/442.34 c nbDecision=332500 #constraints=17186 442.93/443.16 c nbDecision=333000 #constraints=17196 443.93/444.15 c nbDecision=333500 #constraints=17214 444.93/445.14 c nbDecision=334000 #constraints=17235 445.93/446.10 c nbDecision=334500 #constraints=17274 446.93/447.15 c nbDecision=335000 #constraints=17293 447.83/448.03 c nbDecision=335500 #constraints=17304 448.64/448.81 c nbDecision=336000 #constraints=17305 449.63/449.83 c nbDecision=336500 #constraints=17335 450.23/450.46 c nbDecision=337000 #constraints=17359 451.13/451.39 c nbDecision=337500 #constraints=17387 451.93/452.16 c nbDecision=338000 #constraints=17391 452.73/452.96 c nbDecision=338500 #constraints=17393 453.83/454.03 c nbDecision=339000 #constraints=17418 454.63/454.85 c nbDecision=339500 #constraints=17434 455.53/455.73 c nbDecision=340000 #constraints=17455 456.33/456.51 c nbDecision=340500 #constraints=17457 457.03/457.28 c nbDecision=341000 #constraints=17460 457.93/458.10 c nbDecision=341500 #constraints=17469 458.83/459.02 c nbDecision=342000 #constraints=17493 459.63/459.84 c nbDecision=342500 #constraints=17505 460.53/460.74 c nbDecision=343000 #constraints=17523 461.33/461.54 c nbDecision=343500 #constraints=17528 462.23/462.41 c nbDecision=344000 #constraints=17544 463.03/463.22 c nbDecision=344500 #constraints=17553 463.63/463.82 c nbDecision=345000 #constraints=17553 464.53/464.70 c nbDecision=345500 #constraints=17566 465.33/465.56 c nbDecision=346000 #constraints=17574 466.23/466.42 c nbDecision=346500 #constraints=17579 467.12/467.30 c nbDecision=347000 #constraints=17600 467.92/468.19 c nbDecision=347500 #constraints=17615 468.82/469.03 c nbDecision=348000 #constraints=17623 469.72/470.00 c nbDecision=348500 #constraints=17652 470.73/470.97 c nbDecision=349000 #constraints=17672 471.73/471.93 c nbDecision=349500 #constraints=17688 472.52/472.71 c nbDecision=350000 #constraints=17689 473.32/473.57 c nbDecision=350500 #constraints=17699 474.43/474.63 c nbDecision=351000 #constraints=17716 475.33/475.53 c nbDecision=351500 #constraints=17729 476.43/476.61 c nbDecision=352000 #constraints=17759 477.53/477.70 c nbDecision=352500 #constraints=17778 478.53/478.75 c nbDecision=353000 #constraints=17798 479.43/479.64 c nbDecision=353500 #constraints=17815 480.33/480.54 c nbDecision=354000 #constraints=17833 481.43/481.62 c nbDecision=354500 #constraints=17885 482.22/482.40 c nbDecision=355000 #constraints=17895 482.92/483.19 c nbDecision=355500 #constraints=17900 484.02/484.24 c nbDecision=356000 #constraints=17916 484.82/485.05 c nbDecision=356500 #constraints=17944 485.82/486.04 c nbDecision=357000 #constraints=17962 486.62/486.85 c nbDecision=357500 #constraints=17964 487.52/487.70 c nbDecision=358000 #constraints=17972 488.33/488.55 c nbDecision=358500 #constraints=17980 489.22/489.43 c nbDecision=359000 #constraints=17994 490.32/490.59 c nbDecision=359500 #constraints=18037 491.32/491.52 c nbDecision=360000 #constraints=18055 492.42/492.60 c nbDecision=360500 #constraints=18077 493.22/493.45 c nbDecision=361000 #constraints=18079 494.12/494.31 c nbDecision=361500 #constraints=18090 494.92/495.13 c nbDecision=362000 #constraints=18092 495.92/496.18 c nbDecision=362500 #constraints=18133 496.92/497.12 c nbDecision=363000 #constraints=18143 497.72/497.91 c nbDecision=363500 #constraints=18144 498.52/498.72 c nbDecision=364000 #constraints=18146 499.42/499.62 c nbDecision=364500 #constraints=18160 500.22/500.42 c nbDecision=365000 #constraints=18170 500.92/501.17 c nbDecision=365500 #constraints=18177 502.02/502.20 c nbDecision=366000 #constraints=18215 502.92/503.15 c nbDecision=366500 #constraints=18231 503.72/503.96 c nbDecision=367000 #constraints=18232 504.62/504.86 c nbDecision=367500 #constraints=18244 505.42/505.69 c nbDecision=368000 #constraints=18245 506.42/506.64 c nbDecision=368500 #constraints=18255 507.31/507.59 c nbDecision=369000 #constraints=18275 508.51/508.75 c nbDecision=369500 #constraints=18299 509.31/509.54 c nbDecision=370000 #constraints=18301 510.22/510.43 c nbDecision=370500 #constraints=18305 511.01/511.24 c nbDecision=371000 #constraints=18321 512.11/512.30 c nbDecision=371500 #constraints=18349 513.01/513.22 c nbDecision=372000 #constraints=18362 513.91/514.13 c nbDecision=372500 #constraints=18373 514.71/514.99 c nbDecision=373000 #constraints=18376 515.61/515.89 c nbDecision=373500 #constraints=18386 516.51/516.79 c nbDecision=374000 #constraints=18401 517.61/517.84 c nbDecision=374500 #constraints=18417 518.71/518.93 c nbDecision=375000 #constraints=18435 519.41/519.65 c nbDecision=375500 #constraints=18450 520.21/520.48 c nbDecision=376000 #constraints=18452 521.21/521.43 c nbDecision=376500 #constraints=18461 522.20/522.43 c nbDecision=377000 #constraints=18472 523.10/523.34 c nbDecision=377500 #constraints=18485 523.80/524.02 c nbDecision=378000 #constraints=18504 524.90/525.14 c nbDecision=378500 #constraints=18522 526.10/526.30 c nbDecision=379000 #constraints=18539 527.00/527.20 c nbDecision=379500 #constraints=18549 527.91/528.13 c nbDecision=380000 #constraints=18567 528.81/529.10 c nbDecision=380500 #constraints=18576 529.81/530.06 c nbDecision=381000 #constraints=18593 530.81/531.02 c nbDecision=381500 #constraints=18603 531.71/531.95 c nbDecision=382000 #constraints=18618 532.71/532.97 c nbDecision=382500 #constraints=18628 533.91/534.14 c nbDecision=383000 #constraints=18666 534.71/534.98 c nbDecision=383500 #constraints=18668 535.81/536.06 c nbDecision=384000 #constraints=18692 536.91/537.12 c nbDecision=384500 #constraints=18722 538.01/538.22 c nbDecision=385000 #constraints=18742 538.81/539.06 c nbDecision=385500 #constraints=18744 539.91/540.11 c nbDecision=386000 #constraints=18782 541.41/541.60 c nbDecision=386500 #constraints=18848 542.31/542.52 c nbDecision=387000 #constraints=18859 543.31/543.51 c nbDecision=387500 #constraints=18875 544.11/544.33 c nbDecision=388000 #constraints=18877 545.20/545.40 c nbDecision=388500 #constraints=18898 546.00/546.28 c nbDecision=389000 #constraints=18907 547.00/547.28 c nbDecision=389500 #constraints=18925 548.00/548.24 c nbDecision=390000 #constraints=18938 548.90/549.13 c nbDecision=390500 #constraints=18947 549.70/549.99 c nbDecision=391000 #constraints=18951 550.60/550.90 c nbDecision=391500 #constraints=18956 551.60/551.83 c nbDecision=392000 #constraints=18976 552.60/552.81 c nbDecision=392500 #constraints=18991 553.60/553.81 c nbDecision=393000 #constraints=19005 554.50/554.70 c nbDecision=393500 #constraints=19009 555.40/555.64 c nbDecision=394000 #constraints=19020 556.40/556.62 c nbDecision=394500 #constraints=19037 557.19/557.48 c nbDecision=395000 #constraints=19041 558.29/558.57 c nbDecision=395500 #constraints=19062 559.19/559.48 c nbDecision=396000 #constraints=19076 560.09/560.32 c nbDecision=396500 #constraints=19079 560.99/561.29 c nbDecision=397000 #constraints=19089 562.19/562.41 c nbDecision=397500 #constraints=19108 563.10/563.37 c nbDecision=398000 #constraints=19125 564.19/564.41 c nbDecision=398500 #constraints=19131 564.99/565.23 c nbDecision=399000 #constraints=19153 566.49/566.77 c nbDecision=399500 #constraints=19211 567.29/567.51 c nbDecision=400000 #constraints=19223 568.29/568.56 c nbDecision=400500 #constraints=19243 569.19/569.42 c nbDecision=401000 #constraints=19245 570.30/570.55 c nbDecision=401500 #constraints=19260 571.20/571.41 c nbDecision=402000 #constraints=19262 572.19/572.40 c nbDecision=402500 #constraints=19271 573.19/573.42 c nbDecision=403000 #constraints=19289 574.09/574.39 c nbDecision=403500 #constraints=19306 575.09/575.32 c nbDecision=404000 #constraints=19332 575.99/576.26 c nbDecision=404500 #constraints=19346 577.19/577.45 c nbDecision=405000 #constraints=19385 578.09/578.30 c nbDecision=405500 #constraints=19386 578.89/579.14 c nbDecision=406000 #constraints=19388 579.99/580.27 c nbDecision=406500 #constraints=19405 580.89/581.13 c nbDecision=407000 #constraints=19406 581.79/582.07 c nbDecision=407500 #constraints=19413 582.69/582.93 c nbDecision=408000 #constraints=19415 583.69/583.99 c nbDecision=408500 #constraints=19435 584.69/584.91 c nbDecision=409000 #constraints=19446 585.59/585.86 c nbDecision=409500 #constraints=19449 585.69/585.94 c restart after 409601 decisions 586.68/586.96 c nbDecision=410000 #constraints=19457 587.58/587.87 c nbDecision=410500 #constraints=19464 588.58/588.81 c nbDecision=411000 #constraints=19474 589.58/589.80 c nbDecision=411500 #constraints=19491 590.59/590.80 c nbDecision=412000 #constraints=19500 591.59/591.89 c nbDecision=412500 #constraints=19513 592.79/593.06 c nbDecision=413000 #constraints=19526 593.79/594.01 c nbDecision=413500 #constraints=19539 594.58/594.87 c nbDecision=414000 #constraints=19542 595.58/595.88 c nbDecision=414500 #constraints=19557 596.58/596.88 c nbDecision=415000 #constraints=19574 597.28/597.52 c nbDecision=415500 #constraints=19575 598.58/598.81 c nbDecision=416000 #constraints=19588 599.18/599.48 c nbDecision=416500 #constraints=19595 600.18/600.43 c nbDecision=417000 #constraints=19600 601.08/601.35 c nbDecision=417500 #constraints=19609 602.08/602.36 c nbDecision=418000 #constraints=19626 603.18/603.45 c nbDecision=418500 #constraints=19648 604.18/604.48 c nbDecision=419000 #constraints=19667 605.38/605.66 c nbDecision=419500 #constraints=19685 606.28/606.53 c nbDecision=420000 #constraints=19687 607.18/607.50 c nbDecision=420500 #constraints=19701 608.28/608.55 c nbDecision=421000 #constraints=19736 609.28/609.53 c nbDecision=421500 #constraints=19761 610.17/610.49 c nbDecision=422000 #constraints=19785 611.27/611.54 c nbDecision=422500 #constraints=19795 612.17/612.44 c nbDecision=423000 #constraints=19798 612.87/613.20 c nbDecision=423500 #constraints=19801 614.07/614.34 c nbDecision=424000 #constraints=19811 614.97/615.22 c nbDecision=424500 #constraints=19819 615.67/615.94 c nbDecision=425000 #constraints=19820 616.57/616.87 c nbDecision=425500 #constraints=19831 617.47/617.79 c nbDecision=426000 #constraints=19853 618.57/618.80 c nbDecision=426500 #constraints=19862 619.47/619.78 c nbDecision=427000 #constraints=19876 620.37/620.68 c nbDecision=427500 #constraints=19879 621.47/621.70 c nbDecision=428000 #constraints=19893 622.37/622.67 c nbDecision=428500 #constraints=19906 623.57/623.85 c nbDecision=429000 #constraints=19924 624.47/624.73 c nbDecision=429500 #constraints=19925 625.47/625.76 c nbDecision=430000 #constraints=19938 626.67/626.99 c nbDecision=430500 #constraints=19973 627.66/627.94 c nbDecision=431000 #constraints=19982 628.86/629.16 c nbDecision=431500 #constraints=20001 629.86/630.19 c nbDecision=432000 #constraints=20025 630.86/631.10 c nbDecision=432500 #constraints=20027 631.86/632.12 c nbDecision=433000 #constraints=20044 632.76/633.03 c nbDecision=433500 #constraints=20046 633.66/633.92 c nbDecision=434000 #constraints=20048 634.57/634.82 c nbDecision=434500 #constraints=20049 635.46/635.76 c nbDecision=435000 #constraints=20059 636.66/636.92 c nbDecision=435500 #constraints=20074 637.86/638.15 c nbDecision=436000 #constraints=20093 638.76/639.06 c nbDecision=436500 #constraints=20096 639.66/639.94 c nbDecision=437000 #constraints=20097 640.56/640.83 c nbDecision=437500 #constraints=20101 641.56/641.85 c nbDecision=438000 #constraints=20118 642.46/642.76 c nbDecision=438500 #constraints=20122 643.85/644.16 c nbDecision=439000 #constraints=20151 644.85/645.12 c nbDecision=439500 #constraints=20161 645.75/646.02 c nbDecision=440000 #constraints=20165 646.56/646.82 c nbDecision=440500 #constraints=20181 647.45/647.72 c nbDecision=441000 #constraints=20182 648.35/648.68 c nbDecision=441500 #constraints=20187 649.46/649.75 c nbDecision=442000 #constraints=20197 650.56/650.86 c nbDecision=442500 #constraints=20225 651.76/652.01 c nbDecision=443000 #constraints=20253 652.66/652.92 c nbDecision=443500 #constraints=20262 653.85/654.11 c nbDecision=444000 #constraints=20279 654.95/655.20 c nbDecision=444500 #constraints=20296 655.95/656.22 c nbDecision=445000 #constraints=20306 656.95/657.23 c nbDecision=445500 #constraints=20317 658.15/658.43 c nbDecision=446000 #constraints=20339 658.85/659.16 c nbDecision=446500 #constraints=20343 660.25/660.56 c nbDecision=447000 #constraints=20372 661.25/661.51 c nbDecision=447500 #constraints=20376 662.05/662.39 c nbDecision=448000 #constraints=20378 662.85/663.10 c nbDecision=448500 #constraints=20388 663.85/664.15 c nbDecision=449000 #constraints=20397 664.95/665.22 c nbDecision=449500 #constraints=20419 666.25/666.52 c nbDecision=450000 #constraints=20439 667.24/667.59 c nbDecision=450500 #constraints=20453 668.14/668.49 c nbDecision=451000 #constraints=20454 669.24/669.50 c nbDecision=451500 #constraints=20469 670.14/670.48 c nbDecision=452000 #constraints=20478 671.34/671.65 c nbDecision=452500 #constraints=20492 672.74/673.01 c nbDecision=453000 #constraints=20526 673.44/673.73 c nbDecision=453500 #constraints=20528 674.64/674.93 c nbDecision=454000 #constraints=20536 675.64/675.90 c nbDecision=454500 #constraints=20555 676.54/676.86 c nbDecision=455000 #constraints=20563 677.24/677.57 c nbDecision=455500 #constraints=20571 678.64/678.91 c nbDecision=456000 #constraints=20597 679.54/679.81 c nbDecision=456500 #constraints=20598 680.64/680.94 c nbDecision=457000 #constraints=20613 681.44/681.76 c nbDecision=457500 #constraints=20630 682.34/682.69 c nbDecision=458000 #constraints=20632 683.23/683.59 c nbDecision=458500 #constraints=20634 684.23/684.52 c nbDecision=459000 #constraints=20643 685.23/685.53 c nbDecision=459500 #constraints=20649 686.14/686.48 c nbDecision=460000 #constraints=20654 687.34/687.63 c nbDecision=460500 #constraints=20671 688.23/688.55 c nbDecision=461000 #constraints=20694 689.54/689.81 c nbDecision=461500 #constraints=20721 690.54/690.81 c nbDecision=462000 #constraints=20727 691.63/691.96 c nbDecision=462500 #constraints=20751 692.73/693.09 c nbDecision=463000 #constraints=20766 693.73/694.03 c nbDecision=463500 #constraints=20770 695.03/695.32 c nbDecision=464000 #constraints=20804 696.33/696.63 c nbDecision=464500 #constraints=20827 697.33/697.63 c nbDecision=465000 #constraints=20832 698.23/698.52 c nbDecision=465500 #constraints=20833 699.13/699.40 c nbDecision=466000 #constraints=20856 700.03/700.31 c nbDecision=466500 #constraints=20872 701.03/701.34 c nbDecision=467000 #constraints=20889 701.93/702.28 c nbDecision=467500 #constraints=20891 703.23/703.53 c nbDecision=468000 #constraints=20908 704.53/704.86 c nbDecision=468500 #constraints=20928 705.62/705.99 c nbDecision=469000 #constraints=20940 706.73/707.01 c nbDecision=469500 #constraints=20947 707.93/708.29 c nbDecision=470000 #constraints=20965 709.03/709.33 c nbDecision=470500 #constraints=20974 709.93/710.28 c nbDecision=471000 #constraints=20978 711.03/711.38 c nbDecision=471500 #constraints=20988 712.23/712.50 c nbDecision=472000 #constraints=21000 713.33/713.61 c nbDecision=472500 #constraints=21025 714.13/714.47 c nbDecision=473000 #constraints=21029 715.03/715.38 c nbDecision=473500 #constraints=21030 716.13/716.45 c nbDecision=474000 #constraints=21039 717.13/717.43 c nbDecision=474500 #constraints=21053 717.83/718.18 c nbDecision=475000 #constraints=21066 719.23/719.50 c nbDecision=475500 #constraints=21083 720.33/720.61 c nbDecision=476000 #constraints=21110 721.53/721.85 c nbDecision=476500 #constraints=21135 722.63/722.91 c nbDecision=477000 #constraints=21144 723.23/723.56 c nbDecision=477500 #constraints=21144 724.32/724.69 c nbDecision=478000 #constraints=21162 725.83/726.12 c nbDecision=478500 #constraints=21215 726.83/727.11 c nbDecision=479000 #constraints=21223 728.03/728.38 c nbDecision=479500 #constraints=21247 728.92/729.24 c nbDecision=480000 #constraints=21266 730.23/730.53 c nbDecision=480500 #constraints=21294 731.12/731.47 c nbDecision=481000 #constraints=21298 732.42/732.75 c nbDecision=481500 #constraints=21326 733.42/733.75 c nbDecision=482000 #constraints=21339 734.92/735.22 c nbDecision=482500 #constraints=21380 735.92/736.22 c nbDecision=483000 #constraints=21387 737.21/737.50 c nbDecision=483500 #constraints=21417 738.11/738.40 c nbDecision=484000 #constraints=21418 739.02/739.32 c nbDecision=484500 #constraints=21420 739.91/740.27 c nbDecision=485000 #constraints=21429 741.01/741.33 c nbDecision=485500 #constraints=21450 741.71/742.01 c nbDecision=486000 #constraints=21453 743.21/743.51 c nbDecision=486500 #constraints=21505 744.42/744.72 c nbDecision=487000 #constraints=21522 745.51/745.89 c nbDecision=487500 #constraints=21532 746.71/747.00 c nbDecision=488000 #constraints=21550 747.71/748.04 c nbDecision=488500 #constraints=21566 749.01/749.34 c nbDecision=489000 #constraints=21584 749.91/750.28 c nbDecision=489500 #constraints=21585 751.01/751.39 c nbDecision=490000 #constraints=21604 752.11/752.41 c nbDecision=490500 #constraints=21609 753.11/753.44 c nbDecision=491000 #constraints=21624 754.21/754.55 c nbDecision=491500 #constraints=21633 755.61/755.99 c nbDecision=492000 #constraints=21661 756.70/757.01 c nbDecision=492500 #constraints=21671 757.61/757.98 c nbDecision=493000 #constraints=21677 758.71/759.06 c nbDecision=493500 #constraints=21693 759.81/760.14 c nbDecision=494000 #constraints=21709 760.91/761.27 c nbDecision=494500 #constraints=21734 762.20/762.55 c nbDecision=495000 #constraints=21775 763.40/763.75 c nbDecision=495500 #constraints=21793 764.60/764.93 c nbDecision=496000 #constraints=21826 765.50/765.82 c nbDecision=496500 #constraints=21828 766.61/766.90 c nbDecision=497000 #constraints=21848 767.41/767.73 c nbDecision=497500 #constraints=21851 768.40/768.72 c nbDecision=498000 #constraints=21855 769.71/770.04 c nbDecision=498500 #constraints=21875 770.81/771.16 c nbDecision=499000 #constraints=21894 771.80/772.15 c nbDecision=499500 #constraints=21909 773.01/773.38 c nbDecision=500000 #constraints=21931 774.21/774.53 c nbDecision=500500 #constraints=21944 775.21/775.53 c nbDecision=501000 #constraints=21954 776.20/776.54 c nbDecision=501500 #constraints=21962 777.10/777.47 c nbDecision=502000 #constraints=21986 778.50/778.82 c nbDecision=502500 #constraints=22003 779.70/780.06 c nbDecision=503000 #constraints=22021 781.00/781.30 c nbDecision=503500 #constraints=22048 781.90/782.27 c nbDecision=504000 #constraints=22062 783.10/783.45 c nbDecision=504500 #constraints=22083 784.20/784.59 c nbDecision=505000 #constraints=22104 785.30/785.67 c nbDecision=505500 #constraints=22109 786.50/786.82 c nbDecision=506000 #constraints=22124 787.59/787.92 c nbDecision=506500 #constraints=22138 788.50/788.86 c nbDecision=507000 #constraints=22140 789.50/789.89 c nbDecision=507500 #constraints=22142 790.70/791.05 c nbDecision=508000 #constraints=22169 791.70/792.02 c nbDecision=508500 #constraints=22170 792.80/793.15 c nbDecision=509000 #constraints=22187 793.90/794.24 c nbDecision=509500 #constraints=22195 794.69/795.08 c nbDecision=510000 #constraints=22201 795.59/795.94 c nbDecision=510500 #constraints=22238 796.49/796.87 c nbDecision=511000 #constraints=22239 797.89/798.20 c nbDecision=511500 #constraints=22263 798.79/799.14 c nbDecision=512000 #constraints=22265 799.79/800.13 c nbDecision=512500 #constraints=22267 800.79/801.12 c nbDecision=513000 #constraints=22269 802.09/802.43 c nbDecision=513500 #constraints=22296 803.09/803.41 c nbDecision=514000 #constraints=22302 804.39/804.75 c nbDecision=514500 #constraints=22320 805.39/805.70 c nbDecision=515000 #constraints=22322 806.39/806.78 c nbDecision=515500 #constraints=22326 807.49/807.80 c nbDecision=516000 #constraints=22329 808.49/808.81 c nbDecision=516500 #constraints=22333 809.79/810.16 c nbDecision=517000 #constraints=22352 810.89/811.24 c nbDecision=517500 #constraints=22372 812.19/812.56 c nbDecision=518000 #constraints=22397 813.38/813.70 c nbDecision=518500 #constraints=22406 814.28/814.66 c nbDecision=519000 #constraints=22409 815.68/816.08 c nbDecision=519500 #constraints=22437 816.99/817.38 c nbDecision=520000 #constraints=22459 818.28/818.69 c nbDecision=520500 #constraints=22490 819.38/819.70 c nbDecision=521000 #constraints=22492 820.39/820.71 c nbDecision=521500 #constraints=22498 821.28/821.68 c nbDecision=522000 #constraints=22506 822.28/822.64 c nbDecision=522500 #constraints=22507 823.28/823.63 c nbDecision=523000 #constraints=22517 824.18/824.53 c nbDecision=523500 #constraints=22531 825.28/825.62 c nbDecision=524000 #constraints=22537 826.28/826.67 c nbDecision=524500 #constraints=22547 827.28/827.69 c nbDecision=525000 #constraints=22554 828.28/828.70 c nbDecision=525500 #constraints=22558 829.68/830.00 c nbDecision=526000 #constraints=22576 831.08/831.46 c nbDecision=526500 #constraints=22606 832.08/832.46 c nbDecision=527000 #constraints=22610 833.08/833.49 c nbDecision=527500 #constraints=22615 834.28/834.62 c nbDecision=528000 #constraints=22630 834.98/835.34 c nbDecision=528500 #constraints=22637 836.27/836.62 c nbDecision=529000 #constraints=22653 837.37/837.80 c nbDecision=529500 #constraints=22664 838.57/838.94 c nbDecision=530000 #constraints=22674 839.67/840.10 c nbDecision=530500 #constraints=22687 840.77/841.12 c nbDecision=531000 #constraints=22693 841.67/842.08 c nbDecision=531500 #constraints=22694 842.87/843.23 c nbDecision=532000 #constraints=22712 844.27/844.61 c nbDecision=532500 #constraints=22729 845.07/845.42 c nbDecision=533000 #constraints=22735 846.67/847.02 c nbDecision=533500 #constraints=22762 847.87/848.23 c nbDecision=534000 #constraints=22773 849.36/849.72 c nbDecision=534500 #constraints=22800 850.37/850.78 c nbDecision=535000 #constraints=22804 851.56/851.92 c nbDecision=535500 #constraints=22821 852.56/852.94 c nbDecision=536000 #constraints=22825 853.66/854.04 c nbDecision=536500 #constraints=22839 855.06/855.41 c nbDecision=537000 #constraints=22876 856.06/856.40 c nbDecision=537500 #constraints=22880 857.56/857.94 c nbDecision=538000 #constraints=22922 858.46/858.83 c nbDecision=538500 #constraints=22927 860.07/860.41 c nbDecision=539000 #constraints=22983 860.97/861.33 c nbDecision=539500 #constraints=23009 862.27/862.61 c nbDecision=540000 #constraints=23027 863.27/863.62 c nbDecision=540500 #constraints=23030 864.67/865.07 c nbDecision=541000 #constraints=23064 865.77/866.13 c nbDecision=541500 #constraints=23077 866.87/867.22 c nbDecision=542000 #constraints=23090 867.86/868.20 c nbDecision=542500 #constraints=23091 868.86/869.23 c nbDecision=543000 #constraints=23098 869.96/870.35 c nbDecision=543500 #constraints=23126 871.16/871.57 c nbDecision=544000 #constraints=23145 872.16/872.57 c nbDecision=544500 #constraints=23148 873.07/873.48 c nbDecision=545000 #constraints=23157 874.06/874.49 c nbDecision=545500 #constraints=23162 875.16/875.51 c nbDecision=546000 #constraints=23166 876.26/876.65 c nbDecision=546500 #constraints=23171 877.56/877.92 c nbDecision=547000 #constraints=23187 878.66/879.01 c nbDecision=547500 #constraints=23206 879.76/880.19 c nbDecision=548000 #constraints=23216 881.06/881.40 c nbDecision=548500 #constraints=23259 882.26/882.67 c nbDecision=549000 #constraints=23276 883.46/883.89 c nbDecision=549500 #constraints=23299 884.56/884.99 c nbDecision=550000 #constraints=23308 885.66/886.09 c nbDecision=550500 #constraints=23325 886.86/887.21 c nbDecision=551000 #constraints=23329 887.86/888.29 c nbDecision=551500 #constraints=23341 888.96/889.30 c nbDecision=552000 #constraints=23343 890.06/890.44 c nbDecision=552500 #constraints=23361 891.15/891.59 c nbDecision=553000 #constraints=23382 892.25/892.65 c nbDecision=553500 #constraints=23384 893.65/894.00 c nbDecision=554000 #constraints=23403 894.65/895.09 c nbDecision=554500 #constraints=23414 896.05/896.49 c nbDecision=555000 #constraints=23455 897.25/897.64 c nbDecision=555500 #constraints=23465 898.65/899.02 c nbDecision=556000 #constraints=23483 900.15/900.55 c nbDecision=556500 #constraints=23510 901.15/901.57 c nbDecision=557000 #constraints=23515 902.35/902.76 c nbDecision=557500 #constraints=23540 903.45/903.85 c nbDecision=558000 #constraints=23547 904.75/905.19 c nbDecision=558500 #constraints=23566 905.85/906.28 c nbDecision=559000 #constraints=23572 907.54/907.90 c nbDecision=559500 #constraints=23624 908.84/909.22 c nbDecision=560000 #constraints=23648 910.04/910.43 c nbDecision=560500 #constraints=23669 910.94/911.34 c nbDecision=561000 #constraints=23677 912.04/912.50 c nbDecision=561500 #constraints=23689 913.34/913.73 c nbDecision=562000 #constraints=23704 914.44/914.86 c nbDecision=562500 #constraints=23716 915.64/916.06 c nbDecision=563000 #constraints=23726 916.74/917.10 c nbDecision=563500 #constraints=23740 917.94/918.39 c nbDecision=564000 #constraints=23765 919.04/919.42 c nbDecision=564500 #constraints=23769 920.04/920.47 c nbDecision=565000 #constraints=23773 921.94/922.36 c nbDecision=565500 #constraints=23808 923.04/923.41 c nbDecision=566000 #constraints=23823 924.24/924.60 c nbDecision=566500 #constraints=23833 925.24/925.68 c nbDecision=567000 #constraints=23838 926.44/926.87 c nbDecision=567500 #constraints=23851 927.54/927.94 c nbDecision=568000 #constraints=23860 928.53/928.95 c nbDecision=568500 #constraints=23863 929.83/930.21 c nbDecision=569000 #constraints=23889 931.03/931.41 c nbDecision=569500 #constraints=23905 932.33/932.78 c nbDecision=570000 #constraints=23924 933.73/934.10 c nbDecision=570500 #constraints=23946 934.83/935.28 c nbDecision=571000 #constraints=23965 936.33/936.74 c nbDecision=571500 #constraints=23992 937.83/938.24 c nbDecision=572000 #constraints=24017 939.03/939.40 c nbDecision=572500 #constraints=24047 940.14/940.51 c nbDecision=573000 #constraints=24056 941.14/941.57 c nbDecision=573500 #constraints=24060 942.24/942.63 c nbDecision=574000 #constraints=24064 943.44/943.82 c nbDecision=574500 #constraints=24074 944.73/945.18 c nbDecision=575000 #constraints=24098 946.23/946.68 c nbDecision=575500 #constraints=24131 946.93/947.38 c nbDecision=576000 #constraints=24131 948.53/948.99 c nbDecision=576500 #constraints=24157 950.14/950.57 c nbDecision=577000 #constraints=24184 951.33/951.78 c nbDecision=577500 #constraints=24195 952.73/953.12 c nbDecision=578000 #constraints=24228 953.73/954.12 c nbDecision=578500 #constraints=24229 954.93/955.37 c nbDecision=579000 #constraints=24243 956.33/956.78 c nbDecision=579500 #constraints=24261 957.93/958.30 c nbDecision=580000 #constraints=24299 959.23/959.60 c nbDecision=580500 #constraints=24326 960.53/960.97 c nbDecision=581000 #constraints=24343 962.13/962.55 c nbDecision=581500 #constraints=24377 963.23/963.68 c nbDecision=582000 #constraints=24388 964.33/964.74 c nbDecision=582500 #constraints=24392 966.22/966.60 c nbDecision=583000 #constraints=24445 967.32/967.79 c nbDecision=583500 #constraints=24475 968.22/968.63 c nbDecision=584000 #constraints=24491 969.52/969.95 c nbDecision=584500 #constraints=24515 970.72/971.18 c nbDecision=585000 #constraints=24539 971.82/972.29 c nbDecision=585500 #constraints=24542 973.02/973.46 c nbDecision=586000 #constraints=24556 974.52/974.99 c nbDecision=586500 #constraints=24575 975.82/976.24 c nbDecision=587000 #constraints=24620 976.92/977.34 c nbDecision=587500 #constraints=24630 977.92/978.36 c nbDecision=588000 #constraints=24631 979.02/979.41 c nbDecision=588500 #constraints=24633 980.02/980.45 c nbDecision=589000 #constraints=24636 981.21/981.65 c nbDecision=589500 #constraints=24665 982.32/982.77 c nbDecision=590000 #constraints=24680 983.71/984.19 c nbDecision=590500 #constraints=24698 985.11/985.58 c nbDecision=591000 #constraints=24714 986.21/986.63 c nbDecision=591500 #constraints=24715 986.91/987.34 c nbDecision=592000 #constraints=24715 988.01/988.46 c nbDecision=592500 #constraints=24719 989.01/989.50 c nbDecision=593000 #constraints=24720 990.21/990.68 c nbDecision=593500 #constraints=24735 991.41/991.89 c nbDecision=594000 #constraints=24754 992.91/993.32 c nbDecision=594500 #constraints=24770 994.11/994.51 c nbDecision=595000 #constraints=24779 995.21/995.63 c nbDecision=595500 #constraints=24789 996.21/996.66 c nbDecision=596000 #constraints=24792 997.61/998.10 c nbDecision=596500 #constraints=24826 998.91/999.30 c nbDecision=597000 #constraints=24842 999.91/1000.32 c nbDecision=597500 #constraints=24843 1000.91/1001.37 c nbDecision=598000 #constraints=24846 1002.50/1002.92 c nbDecision=598500 #constraints=24883 1003.50/1003.97 c nbDecision=599000 #constraints=24885 1004.90/1005.30 c nbDecision=599500 #constraints=24911 1005.90/1006.36 c nbDecision=600000 #constraints=24913 1007.00/1007.47 c nbDecision=600500 #constraints=24916 1008.31/1008.76 c nbDecision=601000 #constraints=24939 1009.41/1009.82 c nbDecision=601500 #constraints=24944 1010.40/1010.90 c nbDecision=602000 #constraints=24948 1011.40/1011.82 c nbDecision=602500 #constraints=24949 1012.70/1013.14 c nbDecision=603000 #constraints=24960 1013.80/1014.20 c nbDecision=603500 #constraints=24965 1015.20/1015.65 c nbDecision=604000 #constraints=24992 1016.20/1016.66 c nbDecision=604500 #constraints=24995 1017.00/1017.45 c nbDecision=605000 #constraints=25002 1018.41/1018.90 c nbDecision=605500 #constraints=25020 1019.71/1020.14 c nbDecision=606000 #constraints=25035 1021.00/1021.45 c nbDecision=606500 #constraints=25070 1022.20/1022.64 c nbDecision=607000 #constraints=25086 1023.20/1023.69 c nbDecision=607500 #constraints=25088 1024.50/1024.92 c nbDecision=608000 #constraints=25104 1025.70/1026.15 c nbDecision=608500 #constraints=25121 1027.20/1027.61 c nbDecision=609000 #constraints=25141 1028.30/1028.73 c nbDecision=609500 #constraints=25144 1029.40/1029.87 c nbDecision=610000 #constraints=25148 1030.60/1031.04 c nbDecision=610500 #constraints=25160 1031.70/1032.12 c nbDecision=611000 #constraints=25165 1032.80/1033.26 c nbDecision=611500 #constraints=25175 1034.09/1034.50 c nbDecision=612000 #constraints=25181 1035.49/1035.91 c nbDecision=612500 #constraints=25205 1036.59/1037.06 c nbDecision=613000 #constraints=25240 1037.79/1038.20 c nbDecision=613500 #constraints=25246 1038.99/1039.40 c nbDecision=614000 #constraints=25252 1040.19/1040.69 c nbDecision=614500 #constraints=25285 1041.69/1042.11 c nbDecision=615000 #constraints=25302 1042.79/1043.23 c nbDecision=615500 #constraints=25314 1043.79/1044.29 c nbDecision=616000 #constraints=25316 1045.19/1045.65 c nbDecision=616500 #constraints=25339 1046.49/1046.90 c nbDecision=617000 #constraints=25356 1047.49/1047.94 c nbDecision=617500 #constraints=25367 1048.59/1049.03 c nbDecision=618000 #constraints=25369 1049.69/1050.13 c nbDecision=618500 #constraints=25384 1050.79/1051.28 c nbDecision=619000 #constraints=25390 1052.08/1052.52 c nbDecision=619500 #constraints=25413 1053.49/1053.96 c nbDecision=620000 #constraints=25434 1054.59/1055.05 c nbDecision=620500 #constraints=25436 1055.69/1056.18 c nbDecision=621000 #constraints=25447 1056.88/1057.35 c nbDecision=621500 #constraints=25450 1058.28/1058.78 c nbDecision=622000 #constraints=25455 1059.68/1060.10 c nbDecision=622500 #constraints=25465 1060.59/1061.06 c nbDecision=623000 #constraints=25486 1061.79/1062.29 c nbDecision=623500 #constraints=25504 1063.39/1063.86 c nbDecision=624000 #constraints=25523 1064.49/1064.94 c nbDecision=624500 #constraints=25525 1065.39/1065.83 c nbDecision=625000 #constraints=25539 1066.79/1067.25 c nbDecision=625500 #constraints=25542 1067.79/1068.20 c nbDecision=626000 #constraints=25549 1069.29/1069.80 c nbDecision=626500 #constraints=25558 1070.18/1070.61 c nbDecision=627000 #constraints=25566 1071.38/1071.89 c nbDecision=627500 #constraints=25590 1072.78/1073.23 c nbDecision=628000 #constraints=25607 1073.88/1074.33 c nbDecision=628500 #constraints=25610 1075.18/1075.65 c nbDecision=629000 #constraints=25621 1076.68/1077.10 c nbDecision=629500 #constraints=25638 1077.78/1078.27 c nbDecision=630000 #constraints=25643 1078.88/1079.33 c nbDecision=630500 #constraints=25644 1080.38/1080.81 c nbDecision=631000 #constraints=25665 1081.58/1082.03 c nbDecision=631500 #constraints=25684 1082.78/1083.24 c nbDecision=632000 #constraints=25693 1084.28/1084.78 c nbDecision=632500 #constraints=25714 1085.48/1085.96 c nbDecision=633000 #constraints=25718 1086.58/1087.07 c nbDecision=633500 #constraints=25721 1087.68/1088.16 c nbDecision=634000 #constraints=25724 1088.77/1089.25 c nbDecision=634500 #constraints=25726 1089.97/1090.47 c nbDecision=635000 #constraints=25735 1091.47/1091.94 c nbDecision=635500 #constraints=25750 1092.77/1093.23 c nbDecision=636000 #constraints=25760 1094.08/1094.50 c nbDecision=636500 #constraints=25768 1095.17/1095.61 c nbDecision=637000 #constraints=25772 1096.27/1096.71 c nbDecision=637500 #constraints=25781 1097.37/1097.82 c nbDecision=638000 #constraints=25783 1098.47/1098.95 c nbDecision=638500 #constraints=25792 1099.97/1100.47 c nbDecision=639000 #constraints=25811 1101.17/1101.62 c nbDecision=639500 #constraints=25816 1102.27/1102.79 c nbDecision=640000 #constraints=25825 1102.87/1103.35 c nbDecision=640500 #constraints=25826 1104.17/1104.61 c nbDecision=641000 #constraints=25846 1105.77/1106.24 c nbDecision=641500 #constraints=25869 1107.27/1107.78 c nbDecision=642000 #constraints=25898 1108.57/1109.00 c nbDecision=642500 #constraints=25910 1109.57/1110.08 c nbDecision=643000 #constraints=25911 1110.97/1111.42 c nbDecision=643500 #constraints=25929 1112.66/1113.13 c nbDecision=644000 #constraints=25955 1113.76/1114.29 c nbDecision=644500 #constraints=25965 1114.86/1115.40 c nbDecision=645000 #constraints=25969 1116.46/1116.91 c nbDecision=645500 #constraints=25989 1117.66/1118.13 c nbDecision=646000 #constraints=25998 1118.76/1119.30 c nbDecision=646500 #constraints=26008 1119.96/1120.43 c nbDecision=647000 #constraints=26014 1121.06/1121.56 c nbDecision=647500 #constraints=26018 1122.46/1122.96 c nbDecision=648000 #constraints=26045 1123.56/1124.03 c nbDecision=648500 #constraints=26046 1125.05/1125.56 c nbDecision=649000 #constraints=26064 1126.35/1126.84 c nbDecision=649500 #constraints=26073 1128.16/1128.64 c nbDecision=650000 #constraints=26105 1129.45/1129.94 c nbDecision=650500 #constraints=26115 1131.16/1131.65 c nbDecision=651000 #constraints=26155 1132.26/1132.76 c nbDecision=651500 #constraints=26159 1133.66/1134.15 c nbDecision=652000 #constraints=26176 1134.26/1134.73 c nbDecision=652500 #constraints=26177 1135.46/1135.90 c nbDecision=653000 #constraints=26184 1136.76/1137.24 c nbDecision=653500 #constraints=26197 1138.06/1138.56 c nbDecision=654000 #constraints=26217 1139.66/1140.17 c nbDecision=654500 #constraints=26235 1140.86/1141.33 c nbDecision=655000 #constraints=26245 1142.05/1142.55 c nbDecision=655500 #constraints=26259 1143.35/1143.81 c nbDecision=656000 #constraints=26267 1144.66/1145.11 c nbDecision=656500 #constraints=26270 1146.05/1146.59 c nbDecision=657000 #constraints=26285 1147.15/1147.64 c nbDecision=657500 #constraints=26296 1148.45/1148.95 c nbDecision=658000 #constraints=26315 1149.95/1150.42 c nbDecision=658500 #constraints=26335 1150.85/1151.35 c nbDecision=659000 #constraints=26336 1152.15/1152.60 c nbDecision=659500 #constraints=26349 1153.74/1154.22 c nbDecision=660000 #constraints=26372 1154.84/1155.33 c nbDecision=660500 #constraints=26376 1155.94/1156.44 c nbDecision=661000 #constraints=26400 1157.34/1157.90 c nbDecision=661500 #constraints=26419 1158.54/1159.04 c nbDecision=662000 #constraints=26434 1159.74/1160.26 c nbDecision=662500 #constraints=26447 1160.94/1161.42 c nbDecision=663000 #constraints=26461 1162.04/1162.51 c nbDecision=663500 #constraints=26462 1163.34/1163.83 c nbDecision=664000 #constraints=26502 1164.55/1165.02 c nbDecision=664500 #constraints=26518 1165.75/1166.21 c nbDecision=665000 #constraints=26521 1167.05/1167.50 c nbDecision=665500 #constraints=26540 1168.34/1168.88 c nbDecision=666000 #constraints=26580 1169.84/1170.35 c nbDecision=666500 #constraints=26602 1170.94/1171.42 c nbDecision=667000 #constraints=26605 1172.64/1173.11 c nbDecision=667500 #constraints=26630 1173.74/1174.25 c nbDecision=668000 #constraints=26632 1174.94/1175.43 c nbDecision=668500 #constraints=26636 1176.14/1176.66 c nbDecision=669000 #constraints=26641 1177.34/1177.82 c nbDecision=669500 #constraints=26646 1178.64/1179.14 c nbDecision=670000 #constraints=26665 1179.84/1180.32 c nbDecision=670500 #constraints=26668 1181.33/1181.85 c nbDecision=671000 #constraints=26688 1182.73/1183.24 c nbDecision=671500 #constraints=26700 1183.83/1184.39 c nbDecision=672000 #constraints=26702 1185.03/1185.58 c nbDecision=672500 #constraints=26711 1186.23/1186.74 c nbDecision=673000 #constraints=26714 1187.43/1187.90 c nbDecision=673500 #constraints=26719 1188.53/1189.05 c nbDecision=674000 #constraints=26721 1189.73/1190.20 c nbDecision=674500 #constraints=26730 1191.03/1191.59 c nbDecision=675000 #constraints=26745 1192.13/1192.68 c nbDecision=675500 #constraints=26759 1193.33/1193.89 c nbDecision=676000 #constraints=26776 1194.73/1195.24 c nbDecision=676500 #constraints=26794 1195.53/1196.00 c nbDecision=677000 #constraints=26796 1196.73/1197.29 c nbDecision=677500 #constraints=26804 1197.92/1198.46 c nbDecision=678000 #constraints=26808 1199.12/1199.67 c nbDecision=678500 #constraints=26816 1200.52/1201.08 c nbDecision=679000 #constraints=26829 1201.83/1202.32 c nbDecision=679500 #constraints=26834 1203.42/1203.94 c nbDecision=680000 #constraints=26866 1204.72/1205.23 c nbDecision=680500 #constraints=26881 1205.92/1206.46 c nbDecision=681000 #constraints=26905 1207.23/1207.71 c nbDecision=681500 #constraints=26920 1209.03/1209.53 c nbDecision=682000 #constraints=26958 1210.23/1210.77 c nbDecision=682500 #constraints=26963 1211.52/1212.06 c nbDecision=683000 #constraints=26983 1212.72/1213.25 c nbDecision=683500 #constraints=26985 1214.32/1214.82 c nbDecision=684000 #constraints=27000 1215.42/1215.97 c nbDecision=684500 #constraints=27010 1216.62/1217.18 c nbDecision=685000 #constraints=27022 1217.52/1218.00 c nbDecision=685500 #constraints=27032 1218.82/1219.38 c nbDecision=686000 #constraints=27056 1220.12/1220.62 c nbDecision=686500 #constraints=27067 1221.42/1221.98 c nbDecision=687000 #constraints=27077 1222.62/1223.19 c nbDecision=687500 #constraints=27087 1223.92/1224.41 c nbDecision=688000 #constraints=27092 1225.12/1225.64 c nbDecision=688500 #constraints=27103 1226.52/1227.03 c nbDecision=689000 #constraints=27113 1228.32/1228.84 c nbDecision=689500 #constraints=27144 1229.92/1230.43 c nbDecision=690000 #constraints=27163 1231.62/1232.14 c nbDecision=690500 #constraints=27209 1232.81/1233.33 c nbDecision=691000 #constraints=27215 1233.91/1234.45 c nbDecision=691500 #constraints=27216 1235.41/1235.96 c nbDecision=692000 #constraints=27232 1236.71/1237.25 c nbDecision=692500 #constraints=27248 1238.61/1239.18 c nbDecision=693000 #constraints=27288 1239.91/1240.43 c nbDecision=693500 #constraints=27301 1240.81/1241.31 c nbDecision=694000 #constraints=27313 1242.31/1242.83 c nbDecision=694500 #constraints=27330 1244.01/1244.54 c nbDecision=695000 #constraints=27347 1245.41/1245.91 c nbDecision=695500 #constraints=27356 1246.21/1246.73 c nbDecision=696000 #constraints=27361 1247.91/1248.42 c nbDecision=696500 #constraints=27394 1249.51/1250.01 c nbDecision=697000 #constraints=27426 1250.81/1251.37 c nbDecision=697500 #constraints=27435 1252.01/1252.58 c nbDecision=698000 #constraints=27439 1253.41/1253.99 c nbDecision=698500 #constraints=27450 1255.21/1255.75 c nbDecision=699000 #constraints=27479 1256.41/1256.91 c nbDecision=699500 #constraints=27484 1257.71/1258.22 c nbDecision=700000 #constraints=27499 1258.91/1259.41 c nbDecision=700500 #constraints=27502 1260.70/1261.21 c nbDecision=701000 #constraints=27531 1262.00/1262.54 c nbDecision=701500 #constraints=27547 1263.10/1263.66 c nbDecision=702000 #constraints=27548 1264.51/1265.03 c nbDecision=702500 #constraints=27563 1265.80/1266.34 c nbDecision=703000 #constraints=27569 1267.10/1267.67 c nbDecision=703500 #constraints=27595 1268.40/1268.96 c nbDecision=704000 #constraints=27611 1269.70/1270.26 c nbDecision=704500 #constraints=27637 1270.70/1271.22 c nbDecision=705000 #constraints=27652 1271.90/1272.47 c nbDecision=705500 #constraints=27662 1273.10/1273.64 c nbDecision=706000 #constraints=27666 1274.80/1275.37 c nbDecision=706500 #constraints=27703 1276.30/1276.80 c nbDecision=707000 #constraints=27719 1277.60/1278.20 c nbDecision=707500 #constraints=27735 1278.90/1279.50 c nbDecision=708000 #constraints=27745 1280.09/1280.67 c nbDecision=708500 #constraints=27747 1281.59/1282.14 c nbDecision=709000 #constraints=27764 1282.99/1283.50 c nbDecision=709500 #constraints=27782 1284.40/1284.99 c nbDecision=710000 #constraints=27799 1286.09/1286.63 c nbDecision=710500 #constraints=27818 1287.79/1288.31 c nbDecision=711000 #constraints=27847 1288.99/1289.57 c nbDecision=711500 #constraints=27863 1290.39/1290.92 c nbDecision=712000 #constraints=27876 1291.99/1292.58 c nbDecision=712500 #constraints=27890 1293.29/1293.82 c nbDecision=713000 #constraints=27893 1294.49/1295.00 c nbDecision=713500 #constraints=27895 1295.99/1296.55 c nbDecision=714000 #constraints=27914 1297.19/1297.76 c nbDecision=714500 #constraints=27918 1298.59/1299.13 c nbDecision=715000 #constraints=27928 1300.49/1301.02 c nbDecision=715500 #constraints=27958 1301.79/1302.32 c nbDecision=716000 #constraints=27973 1302.99/1303.54 c nbDecision=716500 #constraints=27996 1304.48/1305.01 c nbDecision=717000 #constraints=28013 1305.68/1306.23 c nbDecision=717500 #constraints=28029 1307.28/1307.88 c nbDecision=718000 #constraints=28048 1308.58/1309.13 c nbDecision=718500 #constraints=28053 1309.78/1310.34 c nbDecision=719000 #constraints=28058 1310.98/1311.57 c nbDecision=719500 #constraints=28064 1312.18/1312.75 c nbDecision=720000 #constraints=28068 1313.98/1314.54 c nbDecision=720500 #constraints=28096 1315.28/1315.82 c nbDecision=721000 #constraints=28106 1316.48/1317.09 c nbDecision=721500 #constraints=28116 1317.98/1318.53 c nbDecision=722000 #constraints=28130 1319.28/1319.86 c nbDecision=722500 #constraints=28142 1320.97/1321.50 c nbDecision=723000 #constraints=28160 1322.07/1322.69 c nbDecision=723500 #constraints=28164 1323.67/1324.21 c nbDecision=724000 #constraints=28184 1324.98/1325.54 c nbDecision=724500 #constraints=28196 1326.18/1326.78 c nbDecision=725000 #constraints=28223 1327.57/1328.10 c nbDecision=725500 #constraints=28235 1328.97/1329.53 c nbDecision=726000 #constraints=28255 1330.47/1331.02 c nbDecision=726500 #constraints=28271 1331.67/1332.21 c nbDecision=727000 #constraints=28275 1332.77/1333.37 c nbDecision=727500 #constraints=28292 1334.47/1335.08 c nbDecision=728000 #constraints=28316 1335.87/1336.44 c nbDecision=728500 #constraints=28324 1337.27/1337.86 c nbDecision=729000 #constraints=28335 1338.57/1339.13 c nbDecision=729500 #constraints=28340 1339.87/1340.47 c nbDecision=730000 #constraints=28360 1341.27/1341.86 c nbDecision=730500 #constraints=28379 1342.87/1343.44 c nbDecision=731000 #constraints=28397 1344.47/1345.06 c nbDecision=731500 #constraints=28422 1345.77/1346.39 c nbDecision=732000 #constraints=28433 1347.17/1347.73 c nbDecision=732500 #constraints=28441 1348.37/1348.92 c nbDecision=733000 #constraints=28445 1349.97/1350.56 c nbDecision=733500 #constraints=28468 1351.27/1351.80 c nbDecision=734000 #constraints=28478 1352.87/1353.43 c nbDecision=734500 #constraints=28505 1354.07/1354.69 c nbDecision=735000 #constraints=28512 1355.47/1356.07 c nbDecision=735500 #constraints=28542 1357.36/1357.92 c nbDecision=736000 #constraints=28585 1359.07/1359.67 c nbDecision=736500 #constraints=28621 1360.66/1361.26 c nbDecision=737000 #constraints=28646 1362.26/1362.88 c nbDecision=737500 #constraints=28664 1363.56/1364.17 c nbDecision=738000 #constraints=28675 1364.96/1365.59 c nbDecision=738500 #constraints=28685 1366.16/1366.77 c nbDecision=739000 #constraints=28688 1367.46/1368.00 c nbDecision=739500 #constraints=28690 1369.26/1369.80 c nbDecision=740000 #constraints=28731 1370.26/1370.84 c nbDecision=740500 #constraints=28736 1371.46/1372.01 c nbDecision=741000 #constraints=28748 1372.76/1373.35 c nbDecision=741500 #constraints=28758 1373.96/1374.56 c nbDecision=742000 #constraints=28760 1375.26/1375.80 c nbDecision=742500 #constraints=28769 1376.56/1377.14 c nbDecision=743000 #constraints=28773 1378.06/1378.69 c nbDecision=743500 #constraints=28790 1379.46/1380.08 c nbDecision=744000 #constraints=28800 1380.75/1381.35 c nbDecision=744500 #constraints=28808 1382.16/1382.74 c nbDecision=745000 #constraints=28825 1383.36/1383.95 c nbDecision=745500 #constraints=28831 1384.75/1385.35 c nbDecision=746000 #constraints=28868 1386.15/1386.78 c nbDecision=746500 #constraints=28884 1387.65/1388.23 c nbDecision=747000 #constraints=28899 1389.25/1389.87 c nbDecision=747500 #constraints=28921 1390.55/1391.10 c nbDecision=748000 #constraints=28923 1391.95/1392.51 c nbDecision=748500 #constraints=28929 1393.15/1393.72 c nbDecision=749000 #constraints=28946 1394.15/1394.77 c nbDecision=749500 #constraints=28969 1395.94/1396.50 c nbDecision=750000 #constraints=28991 1397.24/1397.87 c nbDecision=750500 #constraints=29004 1398.54/1399.13 c nbDecision=751000 #constraints=29007 1400.04/1400.68 c nbDecision=751500 #constraints=29023 1401.44/1402.08 c nbDecision=752000 #constraints=29038 1402.64/1403.20 c nbDecision=752500 #constraints=29042 1404.15/1404.79 c nbDecision=753000 #constraints=29060 1405.44/1406.05 c nbDecision=753500 #constraints=29066 1406.74/1407.32 c nbDecision=754000 #constraints=29082 1408.34/1408.99 c nbDecision=754500 #constraints=29093 1409.34/1409.97 c nbDecision=755000 #constraints=29100 1410.84/1411.47 c nbDecision=755500 #constraints=29102 1412.14/1412.73 c nbDecision=756000 #constraints=29109 1413.44/1414.05 c nbDecision=756500 #constraints=29127 1414.64/1415.26 c nbDecision=757000 #constraints=29129 1415.74/1416.39 c nbDecision=757500 #constraints=29130 1417.04/1417.67 c nbDecision=758000 #constraints=29145 1418.64/1419.20 c nbDecision=758500 #constraints=29162 1419.74/1420.38 c nbDecision=759000 #constraints=29164 1420.54/1421.14 c nbDecision=759500 #constraints=29164 1422.24/1422.89 c nbDecision=760000 #constraints=29176 1423.73/1424.33 c nbDecision=760500 #constraints=29192 1424.63/1425.29 c nbDecision=761000 #constraints=29203 1426.73/1427.35 c nbDecision=761500 #constraints=29223 1428.23/1428.81 c nbDecision=762000 #constraints=29245 1429.44/1430.05 c nbDecision=762500 #constraints=29249 1430.73/1431.32 c nbDecision=763000 #constraints=29252 1432.13/1432.71 c nbDecision=763500 #constraints=29268 1433.43/1434.09 c nbDecision=764000 #constraints=29287 1434.73/1435.30 c nbDecision=764500 #constraints=29289 1436.23/1436.90 c nbDecision=765000 #constraints=29305 1437.53/1438.19 c nbDecision=765500 #constraints=29310 1438.93/1439.54 c nbDecision=766000 #constraints=29327 1440.43/1441.01 c nbDecision=766500 #constraints=29353 1441.73/1442.32 c nbDecision=767000 #constraints=29355 1442.93/1443.54 c nbDecision=767500 #constraints=29359 1444.23/1444.88 c nbDecision=768000 #constraints=29378 1445.83/1446.48 c nbDecision=768500 #constraints=29396 1447.03/1447.69 c nbDecision=769000 #constraints=29400 1448.52/1449.16 c nbDecision=769500 #constraints=29410 1450.02/1450.67 c nbDecision=770000 #constraints=29426 1451.82/1452.43 c nbDecision=770500 #constraints=29449 1453.22/1453.82 c nbDecision=771000 #constraints=29459 1454.73/1455.32 c nbDecision=771500 #constraints=29480 1455.93/1456.55 c nbDecision=772000 #constraints=29484 1457.43/1458.04 c nbDecision=772500 #constraints=29486 1458.43/1459.04 c nbDecision=773000 #constraints=29488 1460.33/1460.97 c nbDecision=773500 #constraints=29520 1461.63/1462.20 c nbDecision=774000 #constraints=29522 1462.63/1463.22 c nbDecision=774500 #constraints=29550 1464.33/1464.90 c nbDecision=775000 #constraints=29573 1465.63/1466.28 c nbDecision=775500 #constraints=29600 1467.02/1467.67 c nbDecision=776000 #constraints=29606 1468.32/1468.98 c nbDecision=776500 #constraints=29617 1469.52/1470.18 c nbDecision=777000 #constraints=29618 1471.23/1471.80 c nbDecision=777500 #constraints=29636 1472.62/1473.24 c nbDecision=778000 #constraints=29652 1474.12/1474.75 c nbDecision=778500 #constraints=29663 1475.82/1476.43 c nbDecision=779000 #constraints=29686 1477.12/1477.70 c nbDecision=779500 #constraints=29695 1478.62/1479.28 c nbDecision=780000 #constraints=29709 1480.42/1481.01 c nbDecision=780500 #constraints=29751 1481.82/1482.42 c nbDecision=781000 #constraints=29770 1483.52/1484.11 c nbDecision=781500 #constraints=29798 1484.82/1485.41 c nbDecision=782000 #constraints=29808 1486.32/1486.94 c nbDecision=782500 #constraints=29826 1488.02/1488.60 c nbDecision=783000 #constraints=29843 1489.21/1489.86 c nbDecision=783500 #constraints=29853 1490.61/1491.20 c nbDecision=784000 #constraints=29863 1492.01/1492.65 c nbDecision=784500 #constraints=29879 1493.61/1494.28 c nbDecision=785000 #constraints=29895 1494.91/1495.50 c nbDecision=785500 #constraints=29897 1496.61/1497.21 c nbDecision=786000 #constraints=29915 1497.81/1498.49 c nbDecision=786500 #constraints=29922 1498.91/1499.50 c nbDecision=787000 #constraints=29936 1500.41/1501.01 c nbDecision=787500 #constraints=29946 1501.71/1502.32 c nbDecision=788000 #constraints=29951 1503.01/1503.67 c nbDecision=788500 #constraints=29957 1504.71/1505.36 c nbDecision=789000 #constraints=29976 1506.51/1507.15 c nbDecision=789500 #constraints=29996 1508.21/1508.81 c nbDecision=790000 #constraints=30012 1509.81/1510.48 c nbDecision=790500 #constraints=30028 1511.11/1511.79 c nbDecision=791000 #constraints=30033 1512.50/1513.18 c nbDecision=791500 #constraints=30042 1514.30/1514.94 c nbDecision=792000 #constraints=30063 1515.60/1516.26 c nbDecision=792500 #constraints=30072 1516.90/1517.53 c nbDecision=793000 #constraints=30076 1518.70/1519.36 c nbDecision=793500 #constraints=30108 1520.30/1520.95 c nbDecision=794000 #constraints=30132 1521.50/1522.16 c nbDecision=794500 #constraints=30134 1522.40/1523.07 c nbDecision=795000 #constraints=30135 1523.70/1524.39 c nbDecision=795500 #constraints=30144 1525.30/1525.92 c nbDecision=796000 #constraints=30161 1526.80/1527.40 c nbDecision=796500 #constraints=30175 1528.10/1528.78 c nbDecision=797000 #constraints=30187 1529.40/1530.08 c nbDecision=797500 #constraints=30191 1530.60/1531.21 c nbDecision=798000 #constraints=30215 1532.10/1532.78 c nbDecision=798500 #constraints=30235 1533.70/1534.32 c nbDecision=799000 #constraints=30249 1535.50/1536.10 c nbDecision=799500 #constraints=30269 1537.20/1537.81 c nbDecision=800000 #constraints=30291 1538.90/1539.55 c nbDecision=800500 #constraints=30340 1540.69/1541.39 c nbDecision=801000 #constraints=30377 1542.09/1542.79 c nbDecision=801500 #constraints=30393 1543.80/1544.42 c nbDecision=802000 #constraints=30412 1545.09/1545.79 c nbDecision=802500 #constraints=30417 1546.69/1547.36 c nbDecision=803000 #constraints=30436 1548.09/1548.71 c nbDecision=803500 #constraints=30442 1549.49/1550.12 c nbDecision=804000 #constraints=30452 1550.79/1551.40 c nbDecision=804500 #constraints=30458 1552.29/1552.93 c nbDecision=805000 #constraints=30479 1553.59/1554.26 c nbDecision=805500 #constraints=30495 1554.49/1555.16 c nbDecision=806000 #constraints=30502 1555.69/1556.38 c nbDecision=806500 #constraints=30505 1556.99/1557.61 c nbDecision=807000 #constraints=30507 1558.59/1559.28 c nbDecision=807500 #constraints=30543 1559.98/1560.60 c nbDecision=808000 #constraints=30549 1561.19/1561.82 c nbDecision=808500 #constraints=30550 1562.78/1563.41 c nbDecision=809000 #constraints=30565 1564.48/1565.17 c nbDecision=809500 #constraints=30584 1565.98/1566.68 c nbDecision=810000 #constraints=30595 1567.58/1568.28 c nbDecision=810500 #constraints=30615 1569.19/1569.89 c nbDecision=811000 #constraints=30660 1570.78/1571.47 c nbDecision=811500 #constraints=30681 1571.98/1572.69 c nbDecision=812000 #constraints=30689 1573.48/1574.19 c nbDecision=812500 #constraints=30695 1575.18/1575.86 c nbDecision=813000 #constraints=30715 1576.58/1577.25 c nbDecision=813500 #constraints=30730 1578.08/1578.75 c nbDecision=814000 #constraints=30742 1579.08/1579.79 c nbDecision=814500 #constraints=30748 1580.98/1581.60 c nbDecision=815000 #constraints=30772 1582.48/1583.16 c nbDecision=815500 #constraints=30793 1583.98/1584.67 c nbDecision=816000 #constraints=30804 1584.98/1585.61 c nbDecision=816500 #constraints=30814 1586.78/1587.48 c nbDecision=817000 #constraints=30848 1588.27/1588.96 c nbDecision=817500 #constraints=30867 1590.37/1591.03 c nbDecision=818000 #constraints=30910 1591.97/1592.66 c nbDecision=818500 #constraints=30933 1593.47/1594.19 c nbDecision=819000 #constraints=30951 1593.77/1594.47 c restart after 819201 decisions 1595.37/1596.01 c nbDecision=819500 #constraints=30952 1596.57/1597.27 c nbDecision=820000 #constraints=30954 1598.07/1598.74 c nbDecision=820500 #constraints=30971 1599.77/1600.43 c nbDecision=821000 #constraints=30987 1600.97/1601.65 c nbDecision=821500 #constraints=30998 1602.17/1602.88 c nbDecision=822000 #constraints=31000 1603.47/1604.14 c nbDecision=822500 #constraints=31002 1604.77/1605.49 c nbDecision=823000 #constraints=31018 1606.36/1607.00 c nbDecision=823500 #constraints=31043 1607.26/1607.99 c nbDecision=824000 #constraints=31049 1608.56/1609.26 c nbDecision=824500 #constraints=31050 1609.77/1610.48 c nbDecision=825000 #constraints=31052 1611.26/1611.90 c nbDecision=825500 #constraints=31065 1612.56/1613.20 c nbDecision=826000 #constraints=31072 1613.86/1614.50 c nbDecision=826500 #constraints=31074 1615.16/1615.84 c nbDecision=827000 #constraints=31084 1616.46/1617.11 c nbDecision=827500 #constraints=31086 1617.97/1618.68 c nbDecision=828000 #constraints=31104 1619.37/1620.04 c nbDecision=828500 #constraints=31117 1620.67/1621.30 c nbDecision=829000 #constraints=31119 1622.07/1622.73 c nbDecision=829500 #constraints=31124 1623.46/1624.12 c nbDecision=830000 #constraints=31133 1624.66/1625.35 c nbDecision=830500 #constraints=31136 1625.96/1626.60 c nbDecision=831000 #constraints=31137 1627.47/1628.14 c nbDecision=831500 #constraints=31154 1628.76/1629.46 c nbDecision=832000 #constraints=31164 1630.06/1630.73 c nbDecision=832500 #constraints=31166 1631.36/1632.02 c nbDecision=833000 #constraints=31170 1632.86/1633.53 c nbDecision=833500 #constraints=31187 1634.26/1634.96 c nbDecision=834000 #constraints=31202 1636.06/1636.72 c nbDecision=834500 #constraints=31220 1637.46/1638.13 c nbDecision=835000 #constraints=31230 1638.95/1639.66 c nbDecision=835500 #constraints=31241 1640.25/1640.93 c nbDecision=836000 #constraints=31245 1641.85/1642.54 c nbDecision=836500 #constraints=31261 1643.05/1643.70 c nbDecision=837000 #constraints=31273 1644.96/1645.67 c nbDecision=837500 #constraints=31297 1646.25/1646.93 c nbDecision=838000 #constraints=31298 1647.65/1648.39 c nbDecision=838500 #constraints=31306 1649.36/1650.06 c nbDecision=839000 #constraints=31326 1650.65/1651.33 c nbDecision=839500 #constraints=31328 1652.05/1652.78 c nbDecision=840000 #constraints=31338 1653.25/1653.93 c nbDecision=840500 #constraints=31340 1654.05/1654.80 c nbDecision=841000 #constraints=31340 1655.75/1656.41 c nbDecision=841500 #constraints=31358 1657.05/1657.76 c nbDecision=842000 #constraints=31361 1658.55/1659.27 c nbDecision=842500 #constraints=31371 1659.85/1660.53 c nbDecision=843000 #constraints=31373 1661.25/1661.97 c nbDecision=843500 #constraints=31383 1663.05/1663.75 c nbDecision=844000 #constraints=31399 1664.54/1665.28 c nbDecision=844500 #constraints=31408 1666.14/1666.82 c nbDecision=845000 #constraints=31417 1667.34/1668.06 c nbDecision=845500 #constraints=31420 1668.74/1669.45 c nbDecision=846000 #constraints=31435 1670.54/1671.20 c nbDecision=846500 #constraints=31468 1671.35/1672.03 c nbDecision=847000 #constraints=31468 1673.34/1674.06 c nbDecision=847500 #constraints=31501 1674.74/1675.40 c nbDecision=848000 #constraints=31505 1676.04/1676.72 c nbDecision=848500 #constraints=31508 1677.54/1678.25 c nbDecision=849000 #constraints=31520 1679.14/1679.88 c nbDecision=849500 #constraints=31531 1680.64/1681.38 c nbDecision=850000 #constraints=31540 1682.14/1682.86 c nbDecision=850500 #constraints=31557 1683.54/1684.29 c nbDecision=851000 #constraints=31572 1684.94/1685.68 c nbDecision=851500 #constraints=31590 1686.53/1687.24 c nbDecision=852000 #constraints=31610 1687.84/1688.58 c nbDecision=852500 #constraints=31614 1689.13/1689.89 c nbDecision=853000 #constraints=31618 1691.24/1691.98 c nbDecision=853500 #constraints=31644 1692.53/1693.29 c nbDecision=854000 #constraints=31646 1694.13/1694.83 c nbDecision=854500 #constraints=31657 1695.83/1696.56 c nbDecision=855000 #constraints=31673 1697.83/1698.55 c nbDecision=855500 #constraints=31705 1699.13/1699.88 c nbDecision=856000 #constraints=31710 1701.33/1702.10 c nbDecision=856500 #constraints=31750 1703.03/1703.71 c nbDecision=857000 #constraints=31762 1704.22/1704.99 c nbDecision=857500 #constraints=31765 1705.32/1706.02 c nbDecision=858000 #constraints=31773 1706.53/1707.27 c nbDecision=858500 #constraints=31774 1707.32/1708.09 c nbDecision=859000 #constraints=31774 1708.92/1709.62 c nbDecision=859500 #constraints=31786 1710.42/1711.14 c nbDecision=860000 #constraints=31802 1711.92/1712.60 c nbDecision=860500 #constraints=31818 1713.42/1714.16 c nbDecision=861000 #constraints=31858 1715.12/1715.83 c nbDecision=861500 #constraints=31878 1716.72/1717.47 c nbDecision=862000 #constraints=31894 1718.02/1718.78 c nbDecision=862500 #constraints=31898 1719.52/1720.28 c nbDecision=863000 #constraints=31912 1721.12/1721.85 c nbDecision=863500 #constraints=31943 1722.42/1723.12 c nbDecision=864000 #constraints=31945 1723.72/1724.45 c nbDecision=864500 #constraints=31947 1725.02/1725.77 c nbDecision=865000 #constraints=31951 1726.52/1727.29 c nbDecision=865500 #constraints=31962 1727.91/1728.63 c nbDecision=866000 #constraints=31964 1729.21/1729.90 c nbDecision=866500 #constraints=31968 1730.61/1731.39 c nbDecision=867000 #constraints=31980 1732.01/1732.78 c nbDecision=867500 #constraints=31985 1733.91/1734.70 c nbDecision=868000 #constraints=32007 1735.81/1736.50 c nbDecision=868500 #constraints=32044 1737.32/1738.03 c nbDecision=869000 #constraints=32061 1739.01/1739.78 c nbDecision=869500 #constraints=32077 1740.41/1741.13 c nbDecision=870000 #constraints=32085 1741.91/1742.64 c nbDecision=870500 #constraints=32099 1743.31/1744.08 c nbDecision=871000 #constraints=32110 1744.31/1745.04 c nbDecision=871500 #constraints=32111 1746.01/1746.72 c nbDecision=872000 #constraints=32125 1747.01/1747.79 c nbDecision=872500 #constraints=32132 1748.71/1749.48 c nbDecision=873000 #constraints=32145 1750.11/1750.83 c nbDecision=873500 #constraints=32153 1751.41/1752.15 c nbDecision=874000 #constraints=32157 1753.81/1754.55 c nbDecision=874500 #constraints=32190 1755.21/1755.94 c nbDecision=875000 #constraints=32195 1756.70/1757.44 c nbDecision=875500 #constraints=32207 1758.00/1758.79 c nbDecision=876000 #constraints=32214 1759.60/1760.35 c nbDecision=876500 #constraints=32224 1760.90/1761.61 c nbDecision=877000 #constraints=32225 1762.50/1763.23 c nbDecision=877500 #constraints=32246 1764.00/1764.73 c nbDecision=878000 #constraints=32264 1765.50/1766.26 c nbDecision=878500 #constraints=32282 1767.20/1767.90 c nbDecision=879000 #constraints=32301 1768.81/1769.53 c nbDecision=879500 #constraints=32320 1770.11/1770.88 c nbDecision=880000 #constraints=32326 1771.81/1772.58 c nbDecision=880500 #constraints=32366 1773.41/1774.11 c nbDecision=881000 #constraints=32377 1775.20/1775.91 c nbDecision=881500 #constraints=32400 1776.70/1777.43 c nbDecision=882000 #constraints=32417 1778.00/1778.74 c nbDecision=882500 #constraints=32418 1779.30/1780.04 c nbDecision=883000 #constraints=32420 1781.00/1781.76 c nbDecision=883500 #constraints=32438 1783.20/1783.90 c nbDecision=884000 #constraints=32481 1784.90/1785.68 c nbDecision=884500 #constraints=32510 1786.50/1787.29 c nbDecision=885000 #constraints=32521 1788.30/1789.05 c nbDecision=885500 #constraints=32547 1789.80/1790.57 c nbDecision=886000 #constraints=32559 1791.70/1792.41 c nbDecision=886500 #constraints=32578 1793.19/1793.94 c nbDecision=887000 #constraints=32594 1794.19/1794.94 c nbDecision=887500 #constraints=32598 1795.60/1796.38 c nbDecision=888000 #constraints=32603 1797.09/1797.89 c nbDecision=888500 #constraints=32615 1798.59/1799.35 c nbDecision=889000 #constraints=32630 1799.59/1800.33 c nbDecision=889500 #constraints=32641 1800.00/1800.71 Received signal 15 1800.10/1800.86 1800.10/1800.86 s UNKNOWN 1800.10/1800.86 1800.10/1800.86 c user time= 1799.86 s 1800.10/1800.86 c system time= 0.306953 s 1800.10/1800.86 c wall clock time=1800.87
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-356927-1176848672 -o ROOT/results/node58/solver-356927-1176848672 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356927-1176848672/instance-356927-1176848672.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.97 2/64 10937 /proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=1620 CPUtime=0 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132776874 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 405 175 126 317 0 84 0 [startup+0.103934 s] /proc/loadavg: 0.91 0.95 0.97 2/64 10937 /proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=3572 CPUtime=0.09 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 826 0 0 0 9 0 0 0 18 0 1 0 132776874 3657728 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 893 581 131 317 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3572 [startup+0.20195 s] /proc/loadavg: 0.91 0.95 0.97 2/64 10937 /proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=5976 CPUtime=0.19 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 1427 0 0 0 19 0 0 0 19 0 1 0 132776874 6119424 1182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 1494 1182 131 317 0 1173 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5976 [startup+0.301966 s] /proc/loadavg: 0.91 0.95 0.97 2/64 10937 /proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=8644 CPUtime=0.29 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 2056 0 0 0 29 0 0 0 19 0 1 0 132776874 8851456 1811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531247 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 2161 1811 131 317 0 1840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8644 [startup+0.701033 s] /proc/loadavg: 0.91 0.95 0.97 2/64 10937 /proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=15496 CPUtime=0.69 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 3761 0 0 0 68 1 0 0 22 0 1 0 132776874 15867904 3516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602749 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 3874 3516 137 317 0 3553 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15496 [startup+1.50117 s] /proc/loadavg: 0.91 0.95 0.97 2/65 10938 /proc/meminfo: memFree=1459248/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=17012 CPUtime=1.49 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4147 0 0 0 148 1 0 0 25 0 1 0 132776874 17420288 3902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 4253 3902 139 317 0 3932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17012 [startup+3.10143 s] /proc/loadavg: 0.91 0.95 0.97 2/65 10938 /proc/meminfo: memFree=1458800/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=17540 CPUtime=3.08 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4271 0 0 0 307 1 0 0 25 0 1 0 132776874 17960960 4026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 4385 4026 139 317 0 4064 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17540 [startup+6.30197 s] /proc/loadavg: 0.92 0.95 0.97 2/65 10938 /proc/meminfo: memFree=1457776/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=18200 CPUtime=6.29 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4446 0 0 0 627 2 0 0 25 0 1 0 132776874 18636800 4201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 4550 4201 139 317 0 4229 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18200 [startup+12.702 s] /proc/loadavg: 0.93 0.95 0.97 2/65 10938 /proc/meminfo: memFree=1455984/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=20064 CPUtime=12.68 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4924 0 0 0 1266 2 0 0 25 0 1 0 132776874 20545536 4679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 5016 4679 170 317 0 4695 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20064 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.97 2/65 10938 /proc/meminfo: memFree=1453872/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=22028 CPUtime=25.48 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 5448 0 0 0 2545 3 0 0 25 0 1 0 132776874 22556672 5203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 5507 5203 170 317 0 5186 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22028 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.97 2/65 10938 /proc/meminfo: memFree=1449392/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=26728 CPUtime=51.07 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 6592 0 0 0 5103 4 0 0 25 0 1 0 132776874 27369472 6347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 6682 6347 170 317 0 6361 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26728 [startup+102.301 s] /proc/loadavg: 0.98 0.96 0.97 2/65 10938 /proc/meminfo: memFree=1436720/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=39640 CPUtime=102.26 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 9790 0 0 0 10219 7 0 0 25 0 1 0 132776874 40591360 9487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 9910 9487 170 317 0 9589 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 39640 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 10938 /proc/meminfo: memFree=1429744/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=47332 CPUtime=162.23 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 11548 0 0 0 16214 9 0 0 25 0 1 0 132776874 48467968 11245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 11833 11245 170 317 0 11512 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 47332 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.97 2/65 10938 /proc/meminfo: memFree=1425136/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=51900 CPUtime=222.22 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 12656 0 0 0 22212 10 0 0 25 0 1 0 132776874 53145600 12353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 12975 12353 170 317 0 12654 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 51900 [startup+282.301 s] /proc/loadavg: 1.03 0.99 0.98 2/65 10938 /proc/meminfo: memFree=1420976/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=56024 CPUtime=282.19 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 13703 0 0 0 28208 11 0 0 25 0 1 0 132776874 57368576 13400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 14006 13400 170 317 0 13685 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 56024 [startup+342.301 s] /proc/loadavg: 1.04 1.00 0.98 2/65 10938 /proc/meminfo: memFree=1417456/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=59552 CPUtime=342.17 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 14595 0 0 0 34205 12 0 0 25 0 1 0 132776874 60981248 14292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 14888 14292 170 317 0 14567 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 59552 [startup+402.301 s] /proc/loadavg: 1.01 1.00 0.98 2/65 10938 /proc/meminfo: memFree=1413296/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=64896 CPUtime=402.15 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 15639 0 0 0 40203 12 0 0 25 0 1 0 132776874 66453504 15336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 16224 15336 170 317 0 15903 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 64896 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10938 /proc/meminfo: memFree=1409520/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=68884 CPUtime=462.13 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 16667 0 0 0 46200 13 0 0 25 0 1 0 132776874 70537216 16250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 17221 16250 170 317 0 16900 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 68884 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10938 /proc/meminfo: memFree=1406768/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=71564 CPUtime=522.1 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 17363 0 0 0 52196 14 0 0 25 0 1 0 132776874 73281536 16946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 17891 16946 170 317 0 17570 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 71564 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10938 /proc/meminfo: memFree=1403888/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=74196 CPUtime=582.09 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 18066 0 0 0 58193 16 0 0 25 0 1 0 132776874 75976704 17649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 18549 17649 170 317 0 18228 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 74196 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10938 /proc/meminfo: memFree=1401520/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=76456 CPUtime=642.06 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 18655 0 0 0 64190 16 0 0 25 0 1 0 132776874 78290944 18238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 19114 18238 170 317 0 18793 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 76456 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1391472/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=85824 CPUtime=881.96 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 21157 0 0 0 88176 20 0 0 25 0 1 0 132776874 87883776 20740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 21456 20740 170 317 0 21135 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 85824 [startup+942.303 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1389232/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=87908 CPUtime=941.94 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 21720 0 0 0 94173 21 0 0 25 0 1 0 132776874 90017792 21303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 21977 21303 170 317 0 21656 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 87908 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1386800/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=89996 CPUtime=1001.9 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 22301 0 0 0 100169 21 0 0 25 0 1 0 132776874 92155904 21884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 22499 21884 170 317 0 22178 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 89996 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1382704/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=96536 CPUtime=1061.89 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 23328 0 0 0 106166 23 0 0 25 0 1 0 132776874 98852864 22911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 24134 22911 170 317 0 23813 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 96536 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1380976/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=98556 CPUtime=1121.86 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 23765 0 0 0 112163 23 0 0 25 0 1 0 132776874 100921344 23348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 24639 23348 170 317 0 24318 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 98556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1378608/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=101112 CPUtime=1181.83 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 24345 0 0 0 118158 25 0 0 25 0 1 0 132776874 103538688 23928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 25278 23928 170 317 0 24957 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 101112 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1376624/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=103068 CPUtime=1241.81 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 24851 0 0 0 124155 26 0 0 25 0 1 0 132776874 105541632 24434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 25767 24434 170 317 0 25446 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 103068 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1374320/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=105900 CPUtime=1301.79 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 25411 0 0 0 130153 26 0 0 25 0 1 0 132776874 108441600 24994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 26475 24994 170 317 0 26154 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 105900 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1372464/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=108024 CPUtime=1361.76 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 25898 0 0 0 136149 27 0 0 25 0 1 0 132776874 110616576 25481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 27006 25481 170 317 0 26685 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 108024 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1370736/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=109868 CPUtime=1421.74 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 26306 0 0 0 142147 27 0 0 25 0 1 0 132776874 112504832 25889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 27467 25889 170 317 0 27146 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 109868 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1368816/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=112108 CPUtime=1481.72 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 26784 0 0 0 148144 28 0 0 25 0 1 0 132776874 114798592 26367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 28027 26367 170 317 0 27706 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 112108 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1367024/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=114040 CPUtime=1541.7 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 27235 0 0 0 154142 28 0 0 25 0 1 0 132776874 116776960 26818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 28510 26818 170 317 0 28189 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 114040 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1365232/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=115740 CPUtime=1601.67 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 27676 0 0 0 160139 28 0 0 25 0 1 0 132776874 118517760 27259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 28935 27259 170 317 0 28614 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 115740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1363888/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=116920 CPUtime=1661.65 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 28007 0 0 0 166136 29 0 0 25 0 1 0 132776874 119726080 27590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 29230 27590 170 317 0 28909 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 116920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1362160/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=118492 CPUtime=1721.62 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 28447 0 0 0 172133 29 0 0 25 0 1 0 132776874 121335808 28030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 29623 28030 170 317 0 29302 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 118492 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1360368/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=120060 CPUtime=1781.6 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 28872 0 0 0 178130 30 0 0 25 0 1 0 132776874 122941440 28455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 30015 28455 170 317 0 29694 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 120060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1359728/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=120752 CPUtime=1800 /proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 29021 0 0 0 179970 30 0 0 25 0 1 0 132776874 123650048 28604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10937/statm: 30188 28604 170 317 0 29867 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 120752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10940 /proc/meminfo: memFree=1359728/2055920 swapFree=4184528/4192956 [pid=10937] ppid=10935 vsize=0 CPUtime=1800.19 /proc/10937/stat : 10937 (oree) D 10935 10937 10639 0 -1 4194308 29037 0 0 0 179987 32 0 0 25 0 1 0 132776874 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 17474 18446744072099781622 0 0 17 1 0 0 /proc/10937/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.2 CPU user time (s): 1799.88 CPU system time (s): 0.32595 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (KiB): 120752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.32595 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29037 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= 4974 runsolver used 1.43278 second user time and 3.61945 second system time The end
Begin job on node58 on Tue Apr 17 22:24:32 UTC 2007 IDJOB= 356927 IDBENCH= 1649 IDSOLVER= 172 FILE ID= node58/356927-1176848672 PBS_JOBID= 4590197 Free space on /tmp= 66486 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-shell.opb COMMAND LINE= oree /tmp/evaluation/356927-1176848672/instance-356927-1176848672.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-356927-1176848672 -o ROOT/results/node58/solver-356927-1176848672 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356927-1176848672/instance-356927-1176848672.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 78fcc08f79c3a8f3db518f692b6ae82d RANDOM SEED= 737103702 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1474640 kB Buffers: 45596 kB Cached: 450000 kB SwapCached: 2504 kB Active: 224856 kB Inactive: 282932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1474640 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 2672 kB Writeback: 0 kB Mapped: 18528 kB Slab: 59560 kB Committed_AS: 916248 kB PageTables: 1384 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= 66486 MiB End job on node58 on Tue Apr 17 22:54:35 UTC 2007