Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.28 | 1800.98 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb |
MD5SUM | 99b260f11bc3e586ce78c7adccfe4295 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41920 |
Total number of constraints | 2137 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2097 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 371 |
Number of terms in the objective function | 22720 |
Biggest coefficient in the objective function | 1634 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 336608 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524548 |
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.69/0.74 c ...done 0.69/0.74 c #vars=41920 #constraints=2778 hasObjective=yes 1.00/1.08 c res. mode=mod 1.00/1.08 c VSIDS like heuristics 1.00/1.08 c complete search running 1.29/1.33 c restart after 401 decisions 1.29/1.38 c nbDecision=500 #constraints=2778 1.49/1.53 c restart after 801 decisions 1.59/1.64 c nbDecision=1000 #constraints=2778 1.79/1.89 c nbDecision=1500 #constraints=2778 1.89/1.94 c restart after 1601 decisions 2.10/2.15 c nbDecision=2000 #constraints=2778 2.39/2.40 c nbDecision=2500 #constraints=2778 2.59/2.65 c nbDecision=3000 #constraints=2778 2.69/2.75 c restart after 3201 decisions 2.89/2.91 c nbDecision=3500 #constraints=2778 3.09/3.17 c nbDecision=4000 #constraints=2778 3.39/3.42 c nbDecision=4500 #constraints=2778 3.59/3.67 c nbDecision=5000 #constraints=2778 3.89/3.91 c nbDecision=5500 #constraints=2778 4.09/4.15 c nbDecision=6000 #constraints=2778 4.29/4.36 c restart after 6401 decisions 4.39/4.42 c nbDecision=6500 #constraints=2778 4.59/4.68 c nbDecision=7000 #constraints=2778 4.89/4.94 c nbDecision=7500 #constraints=2778 5.09/5.19 c nbDecision=8000 #constraints=2778 5.39/5.44 c nbDecision=8500 #constraints=2778 5.59/5.69 c nbDecision=9000 #constraints=2778 5.89/5.95 c nbDecision=9500 #constraints=2778 6.19/6.21 c nbDecision=10000 #constraints=2778 6.39/6.47 c nbDecision=10500 #constraints=2780 6.69/6.73 c nbDecision=11000 #constraints=2783 6.89/6.98 c nbDecision=11500 #constraints=2783 7.19/7.22 c nbDecision=12000 #constraints=2783 7.39/7.46 c nbDecision=12500 #constraints=2783 7.59/7.60 c restart after 12801 decisions 7.69/7.73 c nbDecision=13000 #constraints=2783 7.89/7.99 c nbDecision=13500 #constraints=2783 8.19/8.24 c nbDecision=14000 #constraints=2783 8.39/8.50 c nbDecision=14500 #constraints=2783 8.69/8.75 c nbDecision=15000 #constraints=2783 8.99/9.00 c nbDecision=15500 #constraints=2783 9.19/9.26 c nbDecision=16000 #constraints=2783 9.49/9.52 c nbDecision=16500 #constraints=2783 9.69/9.78 c nbDecision=17000 #constraints=2783 9.99/10.03 c nbDecision=17500 #constraints=2783 10.19/10.28 c nbDecision=18000 #constraints=2783 10.49/10.52 c nbDecision=18500 #constraints=2783 10.69/10.76 c nbDecision=19000 #constraints=2783 10.99/11.00 c nbDecision=19500 #constraints=2783 11.19/11.24 c nbDecision=20000 #constraints=2783 11.39/11.46 c nbDecision=20500 #constraints=2783 11.59/11.68 c nbDecision=21000 #constraints=2783 11.89/11.90 c nbDecision=21500 #constraints=2783 12.09/12.13 c nbDecision=22000 #constraints=2783 12.29/12.35 c nbDecision=22500 #constraints=2783 12.49/12.57 c nbDecision=23000 #constraints=2783 12.69/12.79 c nbDecision=23500 #constraints=2783 12.99/13.01 c nbDecision=24000 #constraints=2783 13.19/13.23 c nbDecision=24500 #constraints=2783 13.39/13.44 c nbDecision=25000 #constraints=2783 13.59/13.66 c nbDecision=25500 #constraints=2783 13.69/13.70 c restart after 25601 decisions 13.89/13.94 c nbDecision=26000 #constraints=2783 14.09/14.19 c nbDecision=26500 #constraints=2783 14.39/14.44 c nbDecision=27000 #constraints=2783 14.59/14.69 c nbDecision=27500 #constraints=2783 14.89/14.94 c nbDecision=28000 #constraints=2783 15.09/15.18 c nbDecision=28500 #constraints=2783 15.39/15.43 c nbDecision=29000 #constraints=2783 15.59/15.67 c nbDecision=29500 #constraints=2783 15.89/15.92 c nbDecision=30000 #constraints=2783 16.09/16.17 c nbDecision=30500 #constraints=2783 16.39/16.41 c nbDecision=31000 #constraints=2783 16.59/16.66 c nbDecision=31500 #constraints=2783 16.89/16.90 c nbDecision=32000 #constraints=2783 17.09/17.14 c nbDecision=32500 #constraints=2783 17.29/17.37 c nbDecision=33000 #constraints=2783 17.49/17.60 c nbDecision=33500 #constraints=2783 17.79/17.83 c nbDecision=34000 #constraints=2783 17.99/18.05 c nbDecision=34500 #constraints=2783 18.19/18.28 c nbDecision=35000 #constraints=2783 18.49/18.50 c nbDecision=35500 #constraints=2783 18.69/18.72 c nbDecision=36000 #constraints=2783 18.89/18.94 c nbDecision=36500 #constraints=2783 19.09/19.16 c nbDecision=37000 #constraints=2783 19.28/19.38 c nbDecision=37500 #constraints=2783 19.58/19.60 c nbDecision=38000 #constraints=2783 19.79/19.81 c nbDecision=38500 #constraints=2783 19.98/20.02 c nbDecision=39000 #constraints=2783 20.18/20.23 c nbDecision=39500 #constraints=2783 20.38/20.43 c nbDecision=40000 #constraints=2783 20.58/20.63 c nbDecision=40500 #constraints=2783 20.79/20.83 c nbDecision=41000 #constraints=2783 20.98/21.03 c nbDecision=41500 #constraints=2783 21.18/21.29 c nbDecision=42000 #constraints=2791 21.88/21.91 c nbDecision=42500 #constraints=2953 22.99/23.10 c nbDecision=43000 #constraints=3367 23.59/23.66 c nbDecision=43500 #constraints=3461 24.09/24.19 c nbDecision=44000 #constraints=3543 24.78/24.85 c nbDecision=44500 #constraints=3683 25.38/25.45 c nbDecision=45000 #constraints=3793 25.98/26.00 c nbDecision=45500 #constraints=3869 26.48/26.53 c nbDecision=46000 #constraints=3937 27.08/27.11 c nbDecision=46500 #constraints=4023 27.59/27.66 c nbDecision=47000 #constraints=4090 28.18/28.23 c nbDecision=47500 #constraints=4168 28.68/28.76 c nbDecision=48000 #constraints=4223 29.28/29.30 c nbDecision=48500 #constraints=4282 29.78/29.84 c nbDecision=49000 #constraints=4345 30.28/30.34 c nbDecision=49500 #constraints=4383 30.88/30.90 c nbDecision=50000 #constraints=4452 31.28/31.39 c nbDecision=50500 #constraints=4474 31.88/31.99 c nbDecision=51000 #constraints=4558 32.18/32.22 c restart after 51201 decisions 32.38/32.45 c nbDecision=51500 #constraints=4590 32.68/32.71 c nbDecision=52000 #constraints=4590 32.88/32.97 c nbDecision=52500 #constraints=4590 33.18/33.21 c nbDecision=53000 #constraints=4590 33.38/33.45 c nbDecision=53500 #constraints=4590 33.68/33.71 c nbDecision=54000 #constraints=4590 33.88/33.97 c nbDecision=54500 #constraints=4590 34.18/34.23 c nbDecision=55000 #constraints=4590 34.37/34.48 c nbDecision=55500 #constraints=4590 34.67/34.73 c nbDecision=56000 #constraints=4590 34.87/34.97 c nbDecision=56500 #constraints=4590 35.18/35.21 c nbDecision=57000 #constraints=4590 35.37/35.45 c nbDecision=57500 #constraints=4590 35.57/35.68 c nbDecision=58000 #constraints=4590 35.87/35.92 c nbDecision=58500 #constraints=4590 36.07/36.15 c nbDecision=59000 #constraints=4590 36.28/36.38 c nbDecision=59500 #constraints=4590 36.57/36.62 c nbDecision=60000 #constraints=4590 36.77/36.84 c nbDecision=60500 #constraints=4590 36.97/37.07 c nbDecision=61000 #constraints=4590 37.17/37.29 c nbDecision=61500 #constraints=4590 37.47/37.51 c nbDecision=62000 #constraints=4590 37.67/37.73 c nbDecision=62500 #constraints=4590 37.87/37.95 c nbDecision=63000 #constraints=4590 38.07/38.18 c nbDecision=63500 #constraints=4590 38.38/38.40 c nbDecision=64000 #constraints=4590 38.57/38.61 c nbDecision=64500 #constraints=4590 38.77/38.82 c nbDecision=65000 #constraints=4590 38.97/39.02 c nbDecision=65500 #constraints=4590 39.17/39.22 c nbDecision=66000 #constraints=4590 39.37/39.42 c nbDecision=66500 #constraints=4590 39.58/39.66 c nbDecision=67000 #constraints=4590 39.77/39.89 c nbDecision=67500 #constraints=4590 40.37/40.41 c nbDecision=68000 #constraints=4632 40.87/40.97 c nbDecision=68500 #constraints=4696 41.47/41.57 c nbDecision=69000 #constraints=4788 42.08/42.13 c nbDecision=69500 #constraints=4849 42.68/42.70 c nbDecision=70000 #constraints=4913 43.18/43.29 c nbDecision=70500 #constraints=4986 43.78/43.88 c nbDecision=71000 #constraints=5056 44.37/44.49 c nbDecision=71500 #constraints=5125 44.98/45.05 c nbDecision=72000 #constraints=5179 45.57/45.62 c nbDecision=72500 #constraints=5235 46.08/46.16 c nbDecision=73000 #constraints=5271 46.57/46.66 c nbDecision=73500 #constraints=5302 47.07/47.16 c nbDecision=74000 #constraints=5326 47.57/47.69 c nbDecision=74500 #constraints=5350 48.17/48.25 c nbDecision=75000 #constraints=5386 48.77/48.85 c nbDecision=75500 #constraints=5429 49.28/49.39 c nbDecision=76000 #constraints=5453 49.98/50.05 c nbDecision=76500 #constraints=5540 50.48/50.56 c nbDecision=77000 #constraints=5553 51.08/51.18 c nbDecision=77500 #constraints=5630 51.58/51.68 c nbDecision=78000 #constraints=5658 52.17/52.23 c nbDecision=78500 #constraints=5698 52.78/52.81 c nbDecision=79000 #constraints=5743 53.27/53.33 c nbDecision=79500 #constraints=5779 53.78/53.85 c nbDecision=80000 #constraints=5804 54.37/54.45 c nbDecision=80500 #constraints=5854 54.87/54.94 c nbDecision=81000 #constraints=5870 55.47/55.51 c nbDecision=81500 #constraints=5917 55.97/56.09 c nbDecision=82000 #constraints=5957 56.57/56.65 c nbDecision=82500 #constraints=5993 57.07/57.15 c nbDecision=83000 #constraints=6012 57.67/57.70 c nbDecision=83500 #constraints=6044 58.28/58.31 c nbDecision=84000 #constraints=6099 58.77/58.89 c nbDecision=84500 #constraints=6144 59.28/59.37 c nbDecision=85000 #constraints=6158 59.77/59.85 c nbDecision=85500 #constraints=6164 60.37/60.41 c nbDecision=86000 #constraints=6198 60.87/60.96 c nbDecision=86500 #constraints=6241 61.57/61.61 c nbDecision=87000 #constraints=6308 62.07/62.14 c nbDecision=87500 #constraints=6334 62.57/62.70 c nbDecision=88000 #constraints=6373 63.17/63.24 c nbDecision=88500 #constraints=6404 63.77/63.87 c nbDecision=89000 #constraints=6466 64.37/64.49 c nbDecision=89500 #constraints=6511 64.96/65.04 c nbDecision=90000 #constraints=6543 65.46/65.59 c nbDecision=90500 #constraints=6574 66.06/66.16 c nbDecision=91000 #constraints=6610 66.66/66.79 c nbDecision=91500 #constraints=6656 67.26/67.33 c nbDecision=92000 #constraints=6680 68.07/68.19 c nbDecision=92500 #constraints=6793 68.77/68.81 c nbDecision=93000 #constraints=6839 69.37/69.41 c nbDecision=93500 #constraints=6883 70.17/70.27 c nbDecision=94000 #constraints=6999 70.77/70.84 c nbDecision=94500 #constraints=7026 71.37/71.43 c nbDecision=95000 #constraints=7058 71.87/71.99 c nbDecision=95500 #constraints=7089 72.47/72.59 c nbDecision=96000 #constraints=7132 73.06/73.15 c nbDecision=96500 #constraints=7156 73.57/73.66 c nbDecision=97000 #constraints=7174 74.16/74.22 c nbDecision=97500 #constraints=7195 74.77/74.84 c nbDecision=98000 #constraints=7234 75.36/75.47 c nbDecision=98500 #constraints=7281 75.96/76.05 c nbDecision=99000 #constraints=7315 76.46/76.55 c nbDecision=99500 #constraints=7324 77.06/77.14 c nbDecision=100000 #constraints=7352 77.66/77.75 c nbDecision=100500 #constraints=7389 78.26/78.35 c nbDecision=101000 #constraints=7418 78.86/78.92 c nbDecision=101500 #constraints=7440 79.36/79.49 c nbDecision=102000 #constraints=7464 79.86/79.96 c restart after 102401 decisions 80.06/80.18 c nbDecision=102500 #constraints=7492 80.36/80.43 c nbDecision=103000 #constraints=7492 80.56/80.68 c nbDecision=103500 #constraints=7492 80.86/80.93 c nbDecision=104000 #constraints=7492 81.06/81.18 c nbDecision=104500 #constraints=7492 81.36/81.44 c nbDecision=105000 #constraints=7492 81.66/81.74 c nbDecision=105500 #constraints=7492 81.96/82.01 c nbDecision=106000 #constraints=7492 82.16/82.26 c nbDecision=106500 #constraints=7492 82.46/82.51 c nbDecision=107000 #constraints=7492 82.66/82.76 c nbDecision=107500 #constraints=7492 82.96/83.00 c nbDecision=108000 #constraints=7492 83.16/83.24 c nbDecision=108500 #constraints=7492 83.36/83.48 c nbDecision=109000 #constraints=7492 83.66/83.72 c nbDecision=109500 #constraints=7492 83.86/83.95 c nbDecision=110000 #constraints=7492 84.06/84.18 c nbDecision=110500 #constraints=7492 84.36/84.41 c nbDecision=111000 #constraints=7492 84.56/84.67 c nbDecision=111500 #constraints=7492 84.86/84.90 c nbDecision=112000 #constraints=7492 85.06/85.12 c nbDecision=112500 #constraints=7492 85.26/85.34 c nbDecision=113000 #constraints=7492 85.46/85.56 c nbDecision=113500 #constraints=7492 85.66/85.78 c nbDecision=114000 #constraints=7492 85.95/86.01 c nbDecision=114500 #constraints=7492 86.15/86.27 c nbDecision=115000 #constraints=7492 86.35/86.49 c nbDecision=115500 #constraints=7492 86.65/86.70 c nbDecision=116000 #constraints=7492 86.86/86.91 c nbDecision=116500 #constraints=7492 87.05/87.11 c nbDecision=117000 #constraints=7492 87.25/87.30 c nbDecision=117500 #constraints=7492 87.45/87.55 c nbDecision=118000 #constraints=7492 87.75/87.86 c nbDecision=118500 #constraints=7492 88.15/88.29 c nbDecision=119000 #constraints=7506 88.86/88.93 c nbDecision=119500 #constraints=7563 89.56/89.68 c nbDecision=120000 #constraints=7650 90.26/90.31 c nbDecision=120500 #constraints=7701 91.06/91.11 c nbDecision=121000 #constraints=7809 91.66/91.77 c nbDecision=121500 #constraints=7867 92.45/92.56 c nbDecision=122000 #constraints=7956 93.25/93.32 c nbDecision=122500 #constraints=8039 93.95/94.04 c nbDecision=123000 #constraints=8124 94.56/94.68 c nbDecision=123500 #constraints=8173 95.26/95.39 c nbDecision=124000 #constraints=8234 96.06/96.11 c nbDecision=124500 #constraints=8298 96.76/96.86 c nbDecision=125000 #constraints=8367 97.35/97.48 c nbDecision=125500 #constraints=8410 98.05/98.16 c nbDecision=126000 #constraints=8463 98.75/98.85 c nbDecision=126500 #constraints=8508 99.45/99.51 c nbDecision=127000 #constraints=8564 100.25/100.32 c nbDecision=127500 #constraints=8646 100.96/101.05 c nbDecision=128000 #constraints=8705 101.76/101.80 c nbDecision=128500 #constraints=8769 102.26/102.39 c nbDecision=129000 #constraints=8799 102.96/103.07 c nbDecision=129500 #constraints=8838 103.66/103.76 c nbDecision=130000 #constraints=8880 104.36/104.44 c nbDecision=130500 #constraints=8919 105.05/105.13 c nbDecision=131000 #constraints=8962 105.75/105.88 c nbDecision=131500 #constraints=9014 106.56/106.67 c nbDecision=132000 #constraints=9071 107.25/107.33 c nbDecision=132500 #constraints=9116 107.95/108.06 c nbDecision=133000 #constraints=9170 108.75/108.80 c nbDecision=133500 #constraints=9225 109.45/109.57 c nbDecision=134000 #constraints=9286 110.15/110.22 c nbDecision=134500 #constraints=9316 110.96/111.00 c nbDecision=135000 #constraints=9365 111.55/111.68 c nbDecision=135500 #constraints=9391 112.25/112.37 c nbDecision=136000 #constraints=9427 112.95/113.00 c nbDecision=136500 #constraints=9447 113.75/113.82 c nbDecision=137000 #constraints=9505 114.36/114.49 c nbDecision=137500 #constraints=9543 115.15/115.21 c nbDecision=138000 #constraints=9583 115.95/116.02 c nbDecision=138500 #constraints=9637 116.65/116.77 c nbDecision=139000 #constraints=9685 117.35/117.46 c nbDecision=139500 #constraints=9720 118.45/118.57 c nbDecision=140000 #constraints=9829 119.45/119.55 c nbDecision=140500 #constraints=9920 120.25/120.38 c nbDecision=141000 #constraints=9984 121.14/121.28 c nbDecision=141500 #constraints=10061 121.95/122.03 c nbDecision=142000 #constraints=10111 122.84/122.91 c nbDecision=142500 #constraints=10163 123.74/123.86 c nbDecision=143000 #constraints=10236 124.84/124.98 c nbDecision=143500 #constraints=10349 125.74/125.84 c nbDecision=144000 #constraints=10393 126.64/126.73 c nbDecision=144500 #constraints=10453 127.34/127.45 c nbDecision=145000 #constraints=10481 128.14/128.20 c nbDecision=145500 #constraints=10509 128.74/128.81 c nbDecision=146000 #constraints=10528 129.44/129.57 c nbDecision=146500 #constraints=10554 130.35/130.48 c nbDecision=147000 #constraints=10624 131.25/131.34 c nbDecision=147500 #constraints=10674 131.95/132.06 c nbDecision=148000 #constraints=10720 132.84/132.94 c nbDecision=148500 #constraints=10772 133.64/133.73 c nbDecision=149000 #constraints=10812 134.54/134.65 c nbDecision=149500 #constraints=10875 135.24/135.32 c nbDecision=150000 #constraints=10903 135.94/136.03 c nbDecision=150500 #constraints=10926 136.64/136.75 c nbDecision=151000 #constraints=10957 137.54/137.64 c nbDecision=151500 #constraints=11006 138.44/138.54 c nbDecision=152000 #constraints=11068 139.34/139.45 c nbDecision=152500 #constraints=11120 140.14/140.24 c nbDecision=153000 #constraints=11162 140.84/140.91 c nbDecision=153500 #constraints=11193 141.85/141.98 c nbDecision=154000 #constraints=11278 142.54/142.65 c nbDecision=154500 #constraints=11299 143.34/143.46 c nbDecision=155000 #constraints=11328 144.14/144.28 c nbDecision=155500 #constraints=11363 144.94/145.08 c nbDecision=156000 #constraints=11397 145.64/145.78 c nbDecision=156500 #constraints=11424 146.54/146.65 c nbDecision=157000 #constraints=11465 147.24/147.35 c nbDecision=157500 #constraints=11489 148.14/148.23 c nbDecision=158000 #constraints=11538 148.94/149.01 c nbDecision=158500 #constraints=11570 149.64/149.73 c nbDecision=159000 #constraints=11590 150.44/150.59 c nbDecision=159500 #constraints=11628 151.43/151.54 c nbDecision=160000 #constraints=11685 152.53/152.61 c nbDecision=160500 #constraints=11751 153.33/153.45 c nbDecision=161000 #constraints=11794 154.33/154.48 c nbDecision=161500 #constraints=11868 155.23/155.31 c nbDecision=162000 #constraints=11900 156.13/156.24 c nbDecision=162500 #constraints=11940 156.73/156.88 c nbDecision=163000 #constraints=11957 157.53/157.67 c nbDecision=163500 #constraints=11981 158.64/158.71 c nbDecision=164000 #constraints=12043 159.54/159.69 c nbDecision=164500 #constraints=12099 160.54/160.62 c nbDecision=165000 #constraints=12160 161.24/161.37 c nbDecision=165500 #constraints=12193 162.13/162.25 c nbDecision=166000 #constraints=12240 163.03/163.15 c nbDecision=166500 #constraints=12282 163.74/163.89 c nbDecision=167000 #constraints=12302 164.73/164.88 c nbDecision=167500 #constraints=12348 165.53/165.66 c nbDecision=168000 #constraints=12387 166.53/166.60 c nbDecision=168500 #constraints=12424 167.53/167.68 c nbDecision=169000 #constraints=12464 168.23/168.35 c nbDecision=169500 #constraints=12479 169.03/169.13 c nbDecision=170000 #constraints=12501 169.83/169.94 c nbDecision=170500 #constraints=12521 170.73/170.84 c nbDecision=171000 #constraints=12554 171.63/171.79 c nbDecision=171500 #constraints=12577 172.53/172.63 c nbDecision=172000 #constraints=12609 173.63/173.77 c nbDecision=172500 #constraints=12658 174.52/174.68 c nbDecision=173000 #constraints=12699 175.52/175.65 c nbDecision=173500 #constraints=12734 176.53/176.60 c nbDecision=174000 #constraints=12770 177.53/177.61 c nbDecision=174500 #constraints=12807 178.53/178.61 c nbDecision=175000 #constraints=12857 179.43/179.54 c nbDecision=175500 #constraints=12902 180.53/180.65 c nbDecision=176000 #constraints=12948 181.52/181.66 c nbDecision=176500 #constraints=12982 182.62/182.70 c nbDecision=177000 #constraints=13021 183.42/183.54 c nbDecision=177500 #constraints=13054 184.32/184.47 c nbDecision=178000 #constraints=13079 185.32/185.42 c nbDecision=178500 #constraints=13118 186.12/186.26 c nbDecision=179000 #constraints=13149 187.13/187.24 c nbDecision=179500 #constraints=13177 188.13/188.25 c nbDecision=180000 #constraints=13207 189.13/189.25 c nbDecision=180500 #constraints=13241 190.02/190.12 c nbDecision=181000 #constraints=13270 191.12/191.21 c nbDecision=181500 #constraints=13316 191.92/192.07 c nbDecision=182000 #constraints=13339 193.02/193.18 c nbDecision=182500 #constraints=13390 194.12/194.21 c nbDecision=183000 #constraints=13429 194.82/194.92 c nbDecision=183500 #constraints=13443 195.72/195.84 c nbDecision=184000 #constraints=13472 196.82/196.94 c nbDecision=184500 #constraints=13523 197.92/198.06 c nbDecision=185000 #constraints=13574 198.92/199.02 c nbDecision=185500 #constraints=13624 200.72/200.80 c nbDecision=186000 #constraints=13744 201.62/201.79 c nbDecision=186500 #constraints=13779 202.72/202.82 c nbDecision=187000 #constraints=13818 204.02/204.10 c nbDecision=187500 #constraints=13884 204.92/205.03 c nbDecision=188000 #constraints=13915 205.92/206.02 c nbDecision=188500 #constraints=13947 206.82/206.97 c nbDecision=189000 #constraints=13981 208.12/208.26 c nbDecision=189500 #constraints=14034 209.02/209.19 c nbDecision=190000 #constraints=14062 210.21/210.33 c nbDecision=190500 #constraints=14106 211.12/211.29 c nbDecision=191000 #constraints=14130 212.22/212.37 c nbDecision=191500 #constraints=14171 213.22/213.36 c nbDecision=192000 #constraints=14208 214.21/214.39 c nbDecision=192500 #constraints=14241 215.61/215.70 c nbDecision=193000 #constraints=14304 217.01/217.17 c nbDecision=193500 #constraints=14385 218.01/218.16 c nbDecision=194000 #constraints=14411 218.91/219.07 c nbDecision=194500 #constraints=14435 220.12/220.26 c nbDecision=195000 #constraints=14479 221.32/221.42 c nbDecision=195500 #constraints=14526 222.31/222.48 c nbDecision=196000 #constraints=14556 223.22/223.37 c nbDecision=196500 #constraints=14578 224.32/224.49 c nbDecision=197000 #constraints=14620 225.21/225.38 c nbDecision=197500 #constraints=14640 226.41/226.58 c nbDecision=198000 #constraints=14688 227.41/227.59 c nbDecision=198500 #constraints=14717 228.61/228.71 c nbDecision=199000 #constraints=14759 229.71/229.89 c nbDecision=199500 #constraints=14798 230.81/230.91 c nbDecision=200000 #constraints=14826 232.01/232.18 c nbDecision=200500 #constraints=14896 233.10/233.27 c nbDecision=201000 #constraints=14933 234.40/234.56 c nbDecision=201500 #constraints=14990 235.20/235.38 c nbDecision=202000 #constraints=15010 236.30/236.42 c nbDecision=202500 #constraints=15050 237.61/237.73 c nbDecision=203000 #constraints=15108 238.51/238.65 c nbDecision=203500 #constraints=15136 240.20/240.37 c nbDecision=204000 #constraints=15219 241.50/241.67 c nbDecision=204500 #constraints=15275 242.70/242.84 c restart after 204801 decisions 243.70/243.83 c nbDecision=205000 #constraints=15345 243.90/244.09 c nbDecision=205500 #constraints=15345 244.20/244.35 c nbDecision=206000 #constraints=15345 244.50/244.60 c nbDecision=206500 #constraints=15345 244.70/244.85 c nbDecision=207000 #constraints=15345 245.11/245.28 c nbDecision=207500 #constraints=15345 245.40/245.55 c nbDecision=208000 #constraints=15345 245.70/245.81 c nbDecision=208500 #constraints=15345 245.90/246.07 c nbDecision=209000 #constraints=15345 246.21/246.32 c nbDecision=209500 #constraints=15345 246.40/246.57 c nbDecision=210000 #constraints=15345 246.70/246.81 c nbDecision=210500 #constraints=15345 246.90/247.06 c nbDecision=211000 #constraints=15345 247.10/247.30 c nbDecision=211500 #constraints=15345 247.41/247.54 c nbDecision=212000 #constraints=15345 247.60/247.77 c nbDecision=212500 #constraints=15345 247.90/248.00 c nbDecision=213000 #constraints=15345 248.10/248.23 c nbDecision=213500 #constraints=15345 248.30/248.49 c nbDecision=214000 #constraints=15345 248.60/248.72 c nbDecision=214500 #constraints=15345 248.80/248.94 c nbDecision=215000 #constraints=15345 249.00/249.17 c nbDecision=215500 #constraints=15345 249.20/249.39 c nbDecision=216000 #constraints=15345 249.51/249.62 c nbDecision=216500 #constraints=15345 249.80/249.98 c nbDecision=217000 #constraints=15345 250.20/250.32 c nbDecision=217500 #constraints=15345 250.40/250.54 c nbDecision=218000 #constraints=15345 250.60/250.76 c nbDecision=218500 #constraints=15345 250.80/250.97 c nbDecision=219000 #constraints=15345 251.00/251.19 c nbDecision=219500 #constraints=15345 251.20/251.39 c nbDecision=220000 #constraints=15345 251.70/251.83 c nbDecision=220500 #constraints=15345 252.20/252.33 c nbDecision=221000 #constraints=15345 253.00/253.11 c nbDecision=221500 #constraints=15375 254.00/254.16 c nbDecision=222000 #constraints=15433 254.90/255.04 c nbDecision=222500 #constraints=15466 255.60/255.75 c nbDecision=223000 #constraints=15478 256.50/256.64 c nbDecision=223500 #constraints=15507 257.30/257.42 c nbDecision=224000 #constraints=15521 258.00/258.19 c nbDecision=224500 #constraints=15527 259.00/259.14 c nbDecision=225000 #constraints=15559 259.90/260.06 c nbDecision=225500 #constraints=15583 260.90/261.00 c nbDecision=226000 #constraints=15619 261.80/261.93 c nbDecision=226500 #constraints=15646 262.60/262.78 c nbDecision=227000 #constraints=15666 263.59/263.73 c nbDecision=227500 #constraints=15700 264.39/264.57 c nbDecision=228000 #constraints=15727 265.39/265.52 c nbDecision=228500 #constraints=15739 266.10/266.26 c nbDecision=229000 #constraints=15749 266.99/267.17 c nbDecision=229500 #constraints=15775 267.99/268.18 c nbDecision=230000 #constraints=15808 269.09/269.22 c nbDecision=230500 #constraints=15826 269.99/270.14 c nbDecision=231000 #constraints=15846 270.79/270.92 c nbDecision=231500 #constraints=15864 271.59/271.74 c nbDecision=232000 #constraints=15880 272.49/272.65 c nbDecision=232500 #constraints=15894 273.50/273.69 c nbDecision=233000 #constraints=15923 274.50/274.60 c nbDecision=233500 #constraints=15940 275.40/275.53 c nbDecision=234000 #constraints=15956 276.09/276.28 c nbDecision=234500 #constraints=15977 277.00/277.18 c nbDecision=235000 #constraints=16001 277.79/277.95 c nbDecision=235500 #constraints=16007 278.59/278.76 c nbDecision=236000 #constraints=16016 279.39/279.55 c nbDecision=236500 #constraints=16032 280.40/280.52 c nbDecision=237000 #constraints=16053 281.09/281.24 c nbDecision=237500 #constraints=16060 281.99/282.15 c nbDecision=238000 #constraints=16073 282.79/282.95 c nbDecision=238500 #constraints=16082 283.60/283.70 c nbDecision=239000 #constraints=16096 284.49/284.61 c nbDecision=239500 #constraints=16115 285.39/285.54 c nbDecision=240000 #constraints=16137 286.39/286.51 c nbDecision=240500 #constraints=16152 287.29/287.42 c nbDecision=241000 #constraints=16170 288.19/288.35 c nbDecision=241500 #constraints=16189 289.09/289.28 c nbDecision=242000 #constraints=16204 290.09/290.26 c nbDecision=242500 #constraints=16232 291.09/291.23 c nbDecision=243000 #constraints=16247 291.99/292.17 c nbDecision=243500 #constraints=16257 292.89/293.00 c nbDecision=244000 #constraints=16268 293.59/293.77 c nbDecision=244500 #constraints=16280 294.49/294.66 c nbDecision=245000 #constraints=16301 295.39/295.58 c nbDecision=245500 #constraints=16324 296.28/296.44 c nbDecision=246000 #constraints=16334 297.08/297.29 c nbDecision=246500 #constraints=16353 297.89/298.02 c nbDecision=247000 #constraints=16360 298.68/298.84 c nbDecision=247500 #constraints=16374 299.58/299.78 c nbDecision=248000 #constraints=16396 300.58/300.75 c nbDecision=248500 #constraints=16425 301.48/301.64 c nbDecision=249000 #constraints=16448 302.28/302.47 c nbDecision=249500 #constraints=16463 303.18/303.39 c nbDecision=250000 #constraints=16480 304.28/304.43 c nbDecision=250500 #constraints=16498 305.08/305.28 c nbDecision=251000 #constraints=16512 305.98/306.16 c nbDecision=251500 #constraints=16533 307.08/307.27 c nbDecision=252000 #constraints=16560 308.08/308.22 c nbDecision=252500 #constraints=16588 309.18/309.35 c nbDecision=253000 #constraints=16629 310.08/310.25 c nbDecision=253500 #constraints=16644 310.98/311.15 c nbDecision=254000 #constraints=16664 311.98/312.11 c nbDecision=254500 #constraints=16690 312.68/312.85 c nbDecision=255000 #constraints=16704 313.77/313.93 c nbDecision=255500 #constraints=16738 314.57/314.73 c nbDecision=256000 #constraints=16750 315.48/315.64 c nbDecision=256500 #constraints=16764 316.27/316.45 c nbDecision=257000 #constraints=16772 317.48/317.67 c nbDecision=257500 #constraints=16793 318.48/318.68 c nbDecision=258000 #constraints=16808 319.38/319.59 c nbDecision=258500 #constraints=16830 320.38/320.55 c nbDecision=259000 #constraints=16854 321.38/321.58 c nbDecision=259500 #constraints=16873 322.38/322.53 c nbDecision=260000 #constraints=16893 323.08/323.24 c nbDecision=260500 #constraints=16908 323.97/324.16 c nbDecision=261000 #constraints=16928 324.97/325.15 c nbDecision=261500 #constraints=16948 325.87/326.04 c nbDecision=262000 #constraints=16965 326.58/326.79 c nbDecision=262500 #constraints=16973 327.57/327.71 c nbDecision=263000 #constraints=16997 328.47/328.66 c nbDecision=263500 #constraints=17016 329.27/329.45 c nbDecision=264000 #constraints=17029 330.07/330.25 c nbDecision=264500 #constraints=17035 330.97/331.15 c nbDecision=265000 #constraints=17046 331.97/332.11 c nbDecision=265500 #constraints=17060 332.77/332.98 c nbDecision=266000 #constraints=17078 333.87/334.06 c nbDecision=266500 #constraints=17108 334.77/334.94 c nbDecision=267000 #constraints=17118 335.77/335.98 c nbDecision=267500 #constraints=17134 336.67/336.86 c nbDecision=268000 #constraints=17145 337.47/337.68 c nbDecision=268500 #constraints=17157 338.37/338.57 c nbDecision=269000 #constraints=17168 339.07/339.27 c nbDecision=269500 #constraints=17179 340.27/340.43 c nbDecision=270000 #constraints=17206 340.97/341.16 c nbDecision=270500 #constraints=17211 342.07/342.22 c nbDecision=271000 #constraints=17235 343.07/343.23 c nbDecision=271500 #constraints=17262 343.97/344.18 c nbDecision=272000 #constraints=17281 344.97/345.18 c nbDecision=272500 #constraints=17298 346.07/346.23 c nbDecision=273000 #constraints=17318 346.87/347.00 c nbDecision=273500 #constraints=17324 347.87/348.10 c nbDecision=274000 #constraints=17346 348.97/349.13 c nbDecision=274500 #constraints=17365 349.76/349.93 c nbDecision=275000 #constraints=17372 350.56/350.77 c nbDecision=275500 #constraints=17383 351.46/351.60 c nbDecision=276000 #constraints=17398 352.16/352.33 c nbDecision=276500 #constraints=17408 353.16/353.35 c nbDecision=277000 #constraints=17427 353.96/354.11 c nbDecision=277500 #constraints=17441 354.86/355.06 c nbDecision=278000 #constraints=17455 355.76/355.97 c nbDecision=278500 #constraints=17469 356.56/356.78 c nbDecision=279000 #constraints=17485 357.46/357.60 c nbDecision=279500 #constraints=17493 358.36/358.54 c nbDecision=280000 #constraints=17503 359.16/359.39 c nbDecision=280500 #constraints=17512 360.16/360.40 c nbDecision=281000 #constraints=17530 361.16/361.33 c nbDecision=281500 #constraints=17544 361.96/362.16 c nbDecision=282000 #constraints=17550 362.76/362.99 c nbDecision=282500 #constraints=17557 363.75/363.96 c nbDecision=283000 #constraints=17572 364.76/364.95 c nbDecision=283500 #constraints=17588 365.56/365.73 c nbDecision=284000 #constraints=17598 366.36/366.53 c nbDecision=284500 #constraints=17618 367.36/367.59 c nbDecision=285000 #constraints=17647 368.36/368.59 c nbDecision=285500 #constraints=17667 369.26/369.44 c nbDecision=286000 #constraints=17687 370.16/370.33 c nbDecision=286500 #constraints=17703 371.16/371.32 c nbDecision=287000 #constraints=17718 372.36/372.51 c nbDecision=287500 #constraints=17743 373.26/373.48 c nbDecision=288000 #constraints=17760 374.26/374.42 c nbDecision=288500 #constraints=17778 375.05/375.27 c nbDecision=289000 #constraints=17788 376.15/376.32 c nbDecision=289500 #constraints=17803 377.65/377.83 c nbDecision=290000 #constraints=17843 378.55/378.79 c nbDecision=290500 #constraints=17858 379.55/379.73 c nbDecision=291000 #constraints=17870 380.35/380.54 c nbDecision=291500 #constraints=17878 381.25/381.43 c nbDecision=292000 #constraints=17888 381.95/382.18 c nbDecision=292500 #constraints=17894 383.05/383.27 c nbDecision=293000 #constraints=17921 384.05/384.23 c nbDecision=293500 #constraints=17931 385.05/385.22 c nbDecision=294000 #constraints=17948 385.95/386.13 c nbDecision=294500 #constraints=17962 386.95/387.20 c nbDecision=295000 #constraints=17976 387.75/387.96 c nbDecision=295500 #constraints=17985 388.75/388.92 c nbDecision=296000 #constraints=17996 389.85/390.00 c nbDecision=296500 #constraints=18028 391.04/391.25 c nbDecision=297000 #constraints=18055 392.04/392.28 c nbDecision=297500 #constraints=18073 393.04/393.27 c nbDecision=298000 #constraints=18095 394.34/394.51 c nbDecision=298500 #constraints=18123 395.24/395.46 c nbDecision=299000 #constraints=18139 396.25/396.41 c nbDecision=299500 #constraints=18153 397.35/397.52 c nbDecision=300000 #constraints=18166 398.25/398.45 c nbDecision=300500 #constraints=18176 399.05/399.21 c nbDecision=301000 #constraints=18184 400.05/400.22 c nbDecision=301500 #constraints=18208 400.95/401.16 c nbDecision=302000 #constraints=18225 401.85/402.00 c nbDecision=302500 #constraints=18238 402.95/403.18 c nbDecision=303000 #constraints=18263 404.05/404.24 c nbDecision=303500 #constraints=18289 404.95/405.15 c nbDecision=304000 #constraints=18299 406.05/406.21 c nbDecision=304500 #constraints=18318 407.14/407.33 c nbDecision=305000 #constraints=18341 408.04/408.27 c nbDecision=305500 #constraints=18353 408.95/409.18 c nbDecision=306000 #constraints=18362 409.84/410.09 c nbDecision=306500 #constraints=18374 411.04/411.22 c nbDecision=307000 #constraints=18394 412.04/412.21 c nbDecision=307500 #constraints=18408 412.74/412.94 c nbDecision=308000 #constraints=18420 413.84/414.00 c nbDecision=308500 #constraints=18438 414.84/415.05 c nbDecision=309000 #constraints=18453 415.84/416.06 c nbDecision=309500 #constraints=18470 416.94/417.16 c nbDecision=310000 #constraints=18502 418.63/418.80 c nbDecision=310500 #constraints=18550 419.43/419.69 c nbDecision=311000 #constraints=18559 420.23/420.45 c nbDecision=311500 #constraints=18567 421.33/421.53 c nbDecision=312000 #constraints=18584 422.03/422.27 c nbDecision=312500 #constraints=18591 422.93/423.20 c nbDecision=313000 #constraints=18601 423.84/424.07 c nbDecision=313500 #constraints=18611 425.14/425.30 c nbDecision=314000 #constraints=18635 425.94/426.11 c nbDecision=314500 #constraints=18641 426.74/426.99 c nbDecision=315000 #constraints=18657 427.84/428.09 c nbDecision=315500 #constraints=18679 428.64/428.81 c nbDecision=316000 #constraints=18683 429.54/429.78 c nbDecision=316500 #constraints=18698 430.54/430.78 c nbDecision=317000 #constraints=18709 431.44/431.69 c nbDecision=317500 #constraints=18715 432.54/432.75 c nbDecision=318000 #constraints=18736 433.44/433.69 c nbDecision=318500 #constraints=18746 434.63/434.80 c nbDecision=319000 #constraints=18762 435.44/435.67 c nbDecision=319500 #constraints=18771 436.44/436.68 c nbDecision=320000 #constraints=18788 437.54/437.70 c nbDecision=320500 #constraints=18802 438.63/438.87 c nbDecision=321000 #constraints=18827 439.53/439.78 c nbDecision=321500 #constraints=18839 440.53/440.72 c nbDecision=322000 #constraints=18852 441.93/442.14 c nbDecision=322500 #constraints=18876 442.83/443.06 c nbDecision=323000 #constraints=18891 443.93/444.13 c nbDecision=323500 #constraints=18912 444.83/445.07 c nbDecision=324000 #constraints=18921 445.83/446.07 c nbDecision=324500 #constraints=18936 446.82/447.09 c nbDecision=325000 #constraints=18947 448.02/448.24 c nbDecision=325500 #constraints=18971 449.02/449.29 c nbDecision=326000 #constraints=18993 450.33/450.54 c nbDecision=326500 #constraints=19018 451.33/451.55 c nbDecision=327000 #constraints=19036 452.23/452.45 c nbDecision=327500 #constraints=19049 453.33/453.51 c nbDecision=328000 #constraints=19068 454.33/454.51 c nbDecision=328500 #constraints=19082 455.33/455.51 c nbDecision=329000 #constraints=19097 456.23/456.50 c nbDecision=329500 #constraints=19112 457.22/457.47 c nbDecision=330000 #constraints=19126 458.22/458.40 c nbDecision=330500 #constraints=19135 459.22/459.45 c nbDecision=331000 #constraints=19149 460.22/460.47 c nbDecision=331500 #constraints=19175 461.22/461.41 c nbDecision=332000 #constraints=19186 462.22/462.46 c nbDecision=332500 #constraints=19211 463.12/463.35 c nbDecision=333000 #constraints=19228 464.22/464.44 c nbDecision=333500 #constraints=19252 465.42/465.64 c nbDecision=334000 #constraints=19270 466.62/466.86 c nbDecision=334500 #constraints=19295 467.42/467.69 c nbDecision=335000 #constraints=19308 468.82/469.07 c nbDecision=335500 #constraints=19334 470.02/470.27 c nbDecision=336000 #constraints=19373 471.02/471.28 c nbDecision=336500 #constraints=19384 471.92/472.14 c nbDecision=337000 #constraints=19397 472.92/473.19 c nbDecision=337500 #constraints=19420 473.83/474.10 c nbDecision=338000 #constraints=19430 474.82/475.09 c nbDecision=338500 #constraints=19438 475.82/476.02 c nbDecision=339000 #constraints=19447 476.92/477.18 c nbDecision=339500 #constraints=19463 478.02/478.28 c nbDecision=340000 #constraints=19484 479.02/479.23 c nbDecision=340500 #constraints=19497 480.22/480.45 c nbDecision=341000 #constraints=19523 481.42/481.61 c nbDecision=341500 #constraints=19539 482.12/482.35 c nbDecision=342000 #constraints=19544 482.92/483.14 c nbDecision=342500 #constraints=19551 484.02/484.24 c nbDecision=343000 #constraints=19564 485.12/485.38 c nbDecision=343500 #constraints=19581 486.02/486.24 c nbDecision=344000 #constraints=19590 487.21/487.48 c nbDecision=344500 #constraints=19612 488.51/488.71 c nbDecision=345000 #constraints=19645 489.41/489.62 c nbDecision=345500 #constraints=19652 490.42/490.68 c nbDecision=346000 #constraints=19665 492.01/492.29 c nbDecision=346500 #constraints=19702 493.11/493.39 c nbDecision=347000 #constraints=19716 494.71/494.90 c nbDecision=347500 #constraints=19759 496.61/496.85 c nbDecision=348000 #constraints=19811 498.91/499.11 c nbDecision=348500 #constraints=19911 500.41/500.67 c nbDecision=349000 #constraints=19946 501.41/501.63 c nbDecision=349500 #constraints=19958 502.71/502.94 c nbDecision=350000 #constraints=19977 503.91/504.17 c nbDecision=350500 #constraints=19992 505.01/505.26 c nbDecision=351000 #constraints=20003 505.90/506.13 c nbDecision=351500 #constraints=20019 506.91/507.19 c nbDecision=352000 #constraints=20043 508.10/508.32 c nbDecision=352500 #constraints=20055 509.11/509.34 c nbDecision=353000 #constraints=20065 510.00/510.30 c nbDecision=353500 #constraints=20076 511.10/511.35 c nbDecision=354000 #constraints=20086 511.90/512.13 c nbDecision=354500 #constraints=20097 512.80/513.08 c nbDecision=355000 #constraints=20106 514.10/514.38 c nbDecision=355500 #constraints=20128 515.01/515.21 c nbDecision=356000 #constraints=20135 516.11/516.34 c nbDecision=356500 #constraints=20148 517.41/517.63 c nbDecision=357000 #constraints=20167 518.31/518.54 c nbDecision=357500 #constraints=20180 519.51/519.71 c nbDecision=358000 #constraints=20214 520.50/520.78 c nbDecision=358500 #constraints=20225 521.60/521.90 c nbDecision=359000 #constraints=20255 522.90/523.17 c nbDecision=359500 #constraints=20280 524.00/524.21 c nbDecision=360000 #constraints=20292 525.20/525.45 c nbDecision=360500 #constraints=20312 526.00/526.22 c nbDecision=361000 #constraints=20317 527.10/527.36 c nbDecision=361500 #constraints=20337 528.30/528.56 c nbDecision=362000 #constraints=20353 529.30/529.54 c nbDecision=362500 #constraints=20370 530.40/530.67 c nbDecision=363000 #constraints=20387 531.40/531.62 c nbDecision=363500 #constraints=20398 532.50/532.70 c nbDecision=364000 #constraints=20412 533.30/533.59 c nbDecision=364500 #constraints=20434 534.60/534.88 c nbDecision=365000 #constraints=20453 535.80/536.01 c nbDecision=365500 #constraints=20483 536.50/536.73 c nbDecision=366000 #constraints=20486 537.50/537.72 c nbDecision=366500 #constraints=20495 538.70/538.91 c nbDecision=367000 #constraints=20509 539.70/539.96 c nbDecision=367500 #constraints=20519 540.80/541.00 c nbDecision=368000 #constraints=20534 541.90/542.11 c nbDecision=368500 #constraints=20550 543.10/543.30 c nbDecision=369000 #constraints=20571 544.20/544.43 c nbDecision=369500 #constraints=20591 545.29/545.55 c nbDecision=370000 #constraints=20608 546.49/546.77 c nbDecision=370500 #constraints=20623 547.49/547.77 c nbDecision=371000 #constraints=20634 548.59/548.87 c nbDecision=371500 #constraints=20647 549.69/549.93 c nbDecision=372000 #constraints=20665 550.59/550.86 c nbDecision=372500 #constraints=20678 551.69/551.91 c nbDecision=373000 #constraints=20693 552.69/552.90 c nbDecision=373500 #constraints=20703 553.69/553.96 c nbDecision=374000 #constraints=20719 554.98/555.24 c nbDecision=374500 #constraints=20738 555.98/556.24 c nbDecision=375000 #constraints=20756 557.28/557.59 c nbDecision=375500 #constraints=20792 558.49/558.71 c nbDecision=376000 #constraints=20803 559.69/559.93 c nbDecision=376500 #constraints=20817 560.58/560.87 c nbDecision=377000 #constraints=20825 561.58/561.89 c nbDecision=377500 #constraints=20843 562.58/562.89 c nbDecision=378000 #constraints=20853 563.88/564.17 c nbDecision=378500 #constraints=20872 564.98/565.23 c nbDecision=379000 #constraints=20884 565.98/566.24 c nbDecision=379500 #constraints=20895 567.28/567.58 c nbDecision=380000 #constraints=20915 568.49/568.72 c nbDecision=380500 #constraints=20934 569.49/569.77 c nbDecision=381000 #constraints=20948 570.59/570.86 c nbDecision=381500 #constraints=20962 571.98/572.25 c nbDecision=382000 #constraints=20991 573.08/573.36 c nbDecision=382500 #constraints=21008 574.58/574.90 c nbDecision=383000 #constraints=21046 575.78/576.01 c nbDecision=383500 #constraints=21056 576.88/577.12 c nbDecision=384000 #constraints=21077 577.88/578.11 c nbDecision=384500 #constraints=21088 578.98/579.20 c nbDecision=385000 #constraints=21101 579.88/580.17 c nbDecision=385500 #constraints=21111 581.07/581.36 c nbDecision=386000 #constraints=21135 582.17/582.40 c nbDecision=386500 #constraints=21150 583.17/583.48 c nbDecision=387000 #constraints=21168 584.37/584.62 c nbDecision=387500 #constraints=21185 585.27/585.54 c nbDecision=388000 #constraints=21196 586.27/586.59 c nbDecision=388500 #constraints=21209 587.57/587.82 c nbDecision=389000 #constraints=21228 588.87/589.16 c nbDecision=389500 #constraints=21247 589.67/589.98 c nbDecision=390000 #constraints=21256 590.77/591.03 c nbDecision=390500 #constraints=21266 591.77/592.05 c nbDecision=391000 #constraints=21274 592.97/593.21 c nbDecision=391500 #constraints=21285 594.07/594.38 c nbDecision=392000 #constraints=21295 595.17/595.42 c nbDecision=392500 #constraints=21310 596.17/596.46 c nbDecision=393000 #constraints=21322 597.07/597.30 c nbDecision=393500 #constraints=21329 598.17/598.46 c nbDecision=394000 #constraints=21344 599.46/599.73 c nbDecision=394500 #constraints=21372 600.56/600.85 c nbDecision=395000 #constraints=21394 601.66/601.96 c nbDecision=395500 #constraints=21405 602.66/602.99 c nbDecision=396000 #constraints=21416 604.06/604.36 c nbDecision=396500 #constraints=21434 605.16/605.49 c nbDecision=397000 #constraints=21450 606.56/606.82 c nbDecision=397500 #constraints=21466 607.56/607.85 c nbDecision=398000 #constraints=21479 608.66/608.92 c nbDecision=398500 #constraints=21488 609.56/609.87 c nbDecision=399000 #constraints=21499 610.86/611.19 c nbDecision=399500 #constraints=21525 612.26/612.51 c nbDecision=400000 #constraints=21544 613.36/613.67 c nbDecision=400500 #constraints=21560 614.56/614.85 c nbDecision=401000 #constraints=21574 615.86/616.20 c nbDecision=401500 #constraints=21604 617.26/617.50 c nbDecision=402000 #constraints=21619 618.36/618.69 c nbDecision=402500 #constraints=21634 619.55/619.80 c nbDecision=403000 #constraints=21649 620.85/621.16 c nbDecision=403500 #constraints=21669 622.15/622.48 c nbDecision=404000 #constraints=21693 623.36/623.70 c nbDecision=404500 #constraints=21713 625.35/625.60 c nbDecision=405000 #constraints=21761 626.45/626.71 c nbDecision=405500 #constraints=21772 627.45/627.74 c nbDecision=406000 #constraints=21789 628.85/629.11 c nbDecision=406500 #constraints=21804 629.65/629.93 c nbDecision=407000 #constraints=21808 630.85/631.13 c nbDecision=407500 #constraints=21821 631.95/632.27 c nbDecision=408000 #constraints=21832 633.26/633.55 c nbDecision=408500 #constraints=21849 634.16/634.41 c nbDecision=409000 #constraints=21854 635.36/635.65 c nbDecision=409500 #constraints=21867 635.46/635.75 c restart after 409601 decisions 637.16/637.43 c nbDecision=410000 #constraints=21867 637.36/637.69 c nbDecision=410500 #constraints=21867 637.66/637.94 c nbDecision=411000 #constraints=21867 637.86/638.19 c nbDecision=411500 #constraints=21867 638.16/638.44 c nbDecision=412000 #constraints=21867 638.66/638.97 c nbDecision=412500 #constraints=21867 638.96/639.24 c nbDecision=413000 #constraints=21867 639.25/639.50 c nbDecision=413500 #constraints=21867 639.45/639.75 c nbDecision=414000 #constraints=21867 639.65/639.99 c nbDecision=414500 #constraints=21867 639.96/640.24 c nbDecision=415000 #constraints=21867 640.15/640.48 c nbDecision=415500 #constraints=21867 640.45/640.72 c nbDecision=416000 #constraints=21867 640.65/640.95 c nbDecision=416500 #constraints=21867 640.85/641.19 c nbDecision=417000 #constraints=21867 641.15/641.43 c nbDecision=417500 #constraints=21867 641.35/641.65 c nbDecision=418000 #constraints=21867 641.65/641.95 c nbDecision=418500 #constraints=21867 641.85/642.17 c nbDecision=419000 #constraints=21867 642.06/642.39 c nbDecision=419500 #constraints=21867 642.35/642.62 c nbDecision=420000 #constraints=21867 642.55/642.84 c nbDecision=420500 #constraints=21867 642.75/643.06 c nbDecision=421000 #constraints=21867 643.16/643.45 c nbDecision=421500 #constraints=21867 643.65/643.96 c nbDecision=422000 #constraints=21867 643.85/644.18 c nbDecision=422500 #constraints=21867 644.15/644.41 c nbDecision=423000 #constraints=21867 644.36/644.62 c nbDecision=423500 #constraints=21867 644.55/644.84 c nbDecision=424000 #constraints=21867 644.75/645.04 c nbDecision=424500 #constraints=21867 645.15/645.49 c nbDecision=425000 #constraints=21867 645.75/646.03 c nbDecision=425500 #constraints=21867 646.35/646.69 c nbDecision=426000 #constraints=21867 648.55/648.80 c nbDecision=426500 #constraints=21930 650.25/650.56 c nbDecision=427000 #constraints=22000 652.05/652.33 c nbDecision=427500 #constraints=22053 654.04/654.35 c nbDecision=428000 #constraints=22129 655.64/655.93 c nbDecision=428500 #constraints=22167 657.94/658.28 c nbDecision=429000 #constraints=22268 659.84/660.12 c nbDecision=429500 #constraints=22335 661.44/661.78 c nbDecision=430000 #constraints=22382 663.24/663.50 c nbDecision=430500 #constraints=22434 666.04/666.37 c nbDecision=431000 #constraints=22539 667.84/668.12 c nbDecision=431500 #constraints=22582 670.44/670.71 c nbDecision=432000 #constraints=22668 672.64/672.99 c nbDecision=432500 #constraints=22745 675.63/675.98 c nbDecision=433000 #constraints=22897 679.04/679.38 c nbDecision=433500 #constraints=23050 680.24/680.56 c nbDecision=434000 #constraints=23069 681.33/681.62 c nbDecision=434500 #constraints=23083 682.43/682.71 c nbDecision=435000 #constraints=23096 683.53/683.86 c nbDecision=435500 #constraints=23124 685.03/685.30 c nbDecision=436000 #constraints=23152 686.03/686.40 c nbDecision=436500 #constraints=23160 687.03/687.30 c nbDecision=437000 #constraints=23172 687.93/688.23 c nbDecision=437500 #constraints=23178 689.03/689.39 c nbDecision=438000 #constraints=23197 690.23/690.58 c nbDecision=438500 #constraints=23223 691.42/691.71 c nbDecision=439000 #constraints=23253 692.63/692.93 c nbDecision=439500 #constraints=23271 693.52/693.80 c nbDecision=440000 #constraints=23281 694.62/694.95 c nbDecision=440500 #constraints=23305 695.93/696.22 c nbDecision=441000 #constraints=23316 697.12/697.42 c nbDecision=441500 #constraints=23332 698.12/698.43 c nbDecision=442000 #constraints=23339 699.43/699.70 c nbDecision=442500 #constraints=23364 700.43/700.77 c nbDecision=443000 #constraints=23372 701.93/702.27 c nbDecision=443500 #constraints=23403 703.03/703.39 c nbDecision=444000 #constraints=23424 704.43/704.75 c nbDecision=444500 #constraints=23449 705.42/705.77 c nbDecision=445000 #constraints=23456 706.32/706.68 c nbDecision=445500 #constraints=23463 707.42/707.78 c nbDecision=446000 #constraints=23471 708.82/709.13 c nbDecision=446500 #constraints=23495 710.22/710.58 c nbDecision=447000 #constraints=23515 711.92/712.25 c nbDecision=447500 #constraints=23553 712.92/713.26 c nbDecision=448000 #constraints=23563 714.32/714.65 c nbDecision=448500 #constraints=23598 715.62/715.98 c nbDecision=449000 #constraints=23620 716.82/717.17 c nbDecision=449500 #constraints=23630 717.92/718.21 c nbDecision=450000 #constraints=23645 719.02/719.34 c nbDecision=450500 #constraints=23663 720.51/720.85 c nbDecision=451000 #constraints=23682 721.81/722.15 c nbDecision=451500 #constraints=23698 722.91/723.22 c nbDecision=452000 #constraints=23723 724.21/724.58 c nbDecision=452500 #constraints=23747 725.31/725.60 c nbDecision=453000 #constraints=23773 726.72/727.06 c nbDecision=453500 #constraints=23799 727.92/728.24 c nbDecision=454000 #constraints=23816 729.42/729.75 c nbDecision=454500 #constraints=23863 730.91/731.23 c nbDecision=455000 #constraints=23898 732.01/732.36 c nbDecision=455500 #constraints=23910 733.51/733.81 c nbDecision=456000 #constraints=23938 734.71/735.07 c nbDecision=456500 #constraints=23968 735.61/735.92 c nbDecision=457000 #constraints=23973 736.72/737.08 c nbDecision=457500 #constraints=23998 738.01/738.31 c nbDecision=458000 #constraints=24022 738.91/739.29 c nbDecision=458500 #constraints=24028 740.01/740.37 c nbDecision=459000 #constraints=24042 741.41/741.73 c nbDecision=459500 #constraints=24068 742.41/742.73 c nbDecision=460000 #constraints=24075 743.51/743.88 c nbDecision=460500 #constraints=24090 745.10/745.41 c nbDecision=461000 #constraints=24116 746.70/747.01 c nbDecision=461500 #constraints=24160 747.50/747.87 c nbDecision=462000 #constraints=24165 748.90/749.21 c nbDecision=462500 #constraints=24179 750.10/750.40 c nbDecision=463000 #constraints=24207 751.40/751.70 c nbDecision=463500 #constraints=24219 753.40/753.75 c nbDecision=464000 #constraints=24265 754.40/754.75 c nbDecision=464500 #constraints=24271 755.50/755.81 c nbDecision=465000 #constraints=24279 756.60/756.93 c nbDecision=465500 #constraints=24298 757.60/757.99 c nbDecision=466000 #constraints=24304 758.70/759.08 c nbDecision=466500 #constraints=24318 759.70/760.08 c nbDecision=467000 #constraints=24328 760.90/761.22 c nbDecision=467500 #constraints=24341 762.11/762.42 c nbDecision=468000 #constraints=24352 763.30/763.69 c nbDecision=468500 #constraints=24366 764.50/764.89 c nbDecision=469000 #constraints=24380 765.70/766.03 c nbDecision=469500 #constraints=24402 766.70/767.08 c nbDecision=470000 #constraints=24415 767.90/768.27 c nbDecision=470500 #constraints=24426 769.40/769.74 c nbDecision=471000 #constraints=24445 770.70/771.05 c nbDecision=471500 #constraints=24480 772.00/772.31 c nbDecision=472000 #constraints=24510 773.30/773.64 c nbDecision=472500 #constraints=24525 774.40/774.80 c nbDecision=473000 #constraints=24541 775.90/776.27 c nbDecision=473500 #constraints=24570 777.19/777.57 c nbDecision=474000 #constraints=24585 778.99/779.35 c nbDecision=474500 #constraints=24620 780.60/780.94 c nbDecision=475000 #constraints=24653 781.80/782.14 c nbDecision=475500 #constraints=24668 782.89/783.23 c nbDecision=476000 #constraints=24675 783.89/784.23 c nbDecision=476500 #constraints=24682 785.39/785.76 c nbDecision=477000 #constraints=24708 786.59/786.99 c nbDecision=477500 #constraints=24718 787.59/787.98 c nbDecision=478000 #constraints=24734 788.79/789.12 c nbDecision=478500 #constraints=24752 789.69/790.01 c nbDecision=479000 #constraints=24756 790.79/791.15 c nbDecision=479500 #constraints=24763 791.79/792.16 c nbDecision=480000 #constraints=24777 793.29/793.67 c nbDecision=480500 #constraints=24801 794.38/794.77 c nbDecision=481000 #constraints=24809 795.59/795.90 c nbDecision=481500 #constraints=24815 796.78/797.15 c nbDecision=482000 #constraints=24839 798.08/798.40 c nbDecision=482500 #constraints=24859 799.29/799.66 c nbDecision=483000 #constraints=24875 800.28/800.68 c nbDecision=483500 #constraints=24881 801.78/802.18 c nbDecision=484000 #constraints=24899 803.08/803.50 c nbDecision=484500 #constraints=24915 804.58/804.91 c nbDecision=485000 #constraints=24937 805.58/805.97 c nbDecision=485500 #constraints=24948 807.08/807.46 c nbDecision=486000 #constraints=24967 808.38/808.75 c nbDecision=486500 #constraints=24983 809.39/809.71 c nbDecision=487000 #constraints=24990 810.58/810.97 c nbDecision=487500 #constraints=25014 812.08/812.40 c nbDecision=488000 #constraints=25037 813.38/813.71 c nbDecision=488500 #constraints=25057 814.38/814.79 c nbDecision=489000 #constraints=25072 815.48/815.90 c nbDecision=489500 #constraints=25081 816.88/817.26 c nbDecision=490000 #constraints=25108 817.88/818.28 c nbDecision=490500 #constraints=25114 818.98/819.38 c nbDecision=491000 #constraints=25126 820.18/820.57 c nbDecision=491500 #constraints=25136 821.58/821.97 c nbDecision=492000 #constraints=25161 822.88/823.23 c nbDecision=492500 #constraints=25179 824.78/825.15 c nbDecision=493000 #constraints=25211 826.18/826.51 c nbDecision=493500 #constraints=25240 827.37/827.74 c nbDecision=494000 #constraints=25260 828.47/828.85 c nbDecision=494500 #constraints=25268 829.47/829.89 c nbDecision=495000 #constraints=25276 830.97/831.39 c nbDecision=495500 #constraints=25298 832.17/832.55 c nbDecision=496000 #constraints=25307 833.47/833.89 c nbDecision=496500 #constraints=25325 834.57/834.93 c nbDecision=497000 #constraints=25341 836.27/836.63 c nbDecision=497500 #constraints=25364 837.57/837.94 c nbDecision=498000 #constraints=25379 839.26/839.69 c nbDecision=498500 #constraints=25411 840.56/840.94 c nbDecision=499000 #constraints=25422 841.96/842.35 c nbDecision=499500 #constraints=25442 843.27/843.62 c nbDecision=500000 #constraints=25463 844.26/844.65 c nbDecision=500500 #constraints=25470 845.96/846.37 c nbDecision=501000 #constraints=25513 847.07/847.49 c nbDecision=501500 #constraints=25529 848.47/848.85 c nbDecision=502000 #constraints=25556 849.87/850.27 c nbDecision=502500 #constraints=25575 851.26/851.60 c nbDecision=503000 #constraints=25595 852.66/853.05 c nbDecision=503500 #constraints=25616 854.27/854.68 c nbDecision=504000 #constraints=25647 855.76/856.10 c nbDecision=504500 #constraints=25667 857.66/858.04 c nbDecision=505000 #constraints=25712 858.66/859.04 c nbDecision=505500 #constraints=25717 859.76/860.17 c nbDecision=506000 #constraints=25725 860.96/861.37 c nbDecision=506500 #constraints=25734 862.16/862.51 c nbDecision=507000 #constraints=25746 863.06/863.44 c nbDecision=507500 #constraints=25752 864.27/864.64 c nbDecision=508000 #constraints=25766 865.27/865.68 c nbDecision=508500 #constraints=25771 866.66/867.04 c nbDecision=509000 #constraints=25795 867.57/867.95 c nbDecision=509500 #constraints=25801 868.96/869.33 c nbDecision=510000 #constraints=25826 870.06/870.47 c nbDecision=510500 #constraints=25837 871.16/871.58 c nbDecision=511000 #constraints=25849 872.26/872.69 c nbDecision=511500 #constraints=25859 873.46/873.85 c nbDecision=512000 #constraints=25867 874.46/874.86 c nbDecision=512500 #constraints=25881 875.76/876.15 c nbDecision=513000 #constraints=25903 876.96/877.39 c nbDecision=513500 #constraints=25920 878.46/878.83 c nbDecision=514000 #constraints=25940 879.66/880.03 c nbDecision=514500 #constraints=25954 880.55/880.97 c nbDecision=515000 #constraints=25959 881.95/882.37 c nbDecision=515500 #constraints=25991 883.05/883.44 c nbDecision=516000 #constraints=26000 884.55/884.95 c nbDecision=516500 #constraints=26018 886.26/886.63 c nbDecision=517000 #constraints=26048 887.55/887.95 c nbDecision=517500 #constraints=26066 889.05/889.44 c nbDecision=518000 #constraints=26091 890.35/890.71 c nbDecision=518500 #constraints=26112 891.65/892.08 c nbDecision=519000 #constraints=26127 892.85/893.24 c nbDecision=519500 #constraints=26142 894.34/894.74 c nbDecision=520000 #constraints=26170 895.44/895.87 c nbDecision=520500 #constraints=26177 896.74/897.19 c nbDecision=521000 #constraints=26190 898.04/898.42 c nbDecision=521500 #constraints=26210 899.45/899.85 c nbDecision=522000 #constraints=26232 900.74/901.15 c nbDecision=522500 #constraints=26249 902.14/902.55 c nbDecision=523000 #constraints=26267 903.34/903.70 c nbDecision=523500 #constraints=26282 905.25/905.64 c nbDecision=524000 #constraints=26327 906.65/907.00 c nbDecision=524500 #constraints=26370 907.75/908.15 c nbDecision=525000 #constraints=26377 908.94/909.39 c nbDecision=525500 #constraints=26393 910.04/910.46 c nbDecision=526000 #constraints=26406 911.14/911.55 c nbDecision=526500 #constraints=26413 912.34/912.74 c nbDecision=527000 #constraints=26421 913.54/914.00 c nbDecision=527500 #constraints=26430 914.84/915.22 c nbDecision=528000 #constraints=26449 915.84/916.21 c nbDecision=528500 #constraints=26454 917.24/917.62 c nbDecision=529000 #constraints=26473 918.74/919.16 c nbDecision=529500 #constraints=26489 919.64/920.04 c nbDecision=530000 #constraints=26493 920.84/921.21 c nbDecision=530500 #constraints=26503 922.14/922.55 c nbDecision=531000 #constraints=26512 923.24/923.64 c nbDecision=531500 #constraints=26519 924.54/924.90 c nbDecision=532000 #constraints=26530 925.54/925.94 c nbDecision=532500 #constraints=26537 926.94/927.32 c nbDecision=533000 #constraints=26555 928.04/928.43 c nbDecision=533500 #constraints=26569 929.33/929.79 c nbDecision=534000 #constraints=26581 930.73/931.18 c nbDecision=534500 #constraints=26596 932.13/932.56 c nbDecision=535000 #constraints=26609 933.93/934.34 c nbDecision=535500 #constraints=26633 935.53/936.00 c nbDecision=536000 #constraints=26668 937.23/937.68 c nbDecision=536500 #constraints=26702 938.43/938.89 c nbDecision=537000 #constraints=26711 939.93/940.34 c nbDecision=537500 #constraints=26727 941.23/941.69 c nbDecision=538000 #constraints=26739 942.72/943.11 c nbDecision=538500 #constraints=26751 943.52/943.99 c nbDecision=539000 #constraints=26755 944.82/945.23 c nbDecision=539500 #constraints=26763 946.42/946.81 c nbDecision=540000 #constraints=26785 947.72/948.15 c nbDecision=540500 #constraints=26797 948.92/949.38 c nbDecision=541000 #constraints=26808 950.42/950.87 c nbDecision=541500 #constraints=26829 952.42/952.80 c nbDecision=542000 #constraints=26857 953.52/953.98 c nbDecision=542500 #constraints=26864 954.92/955.31 c nbDecision=543000 #constraints=26880 956.42/956.81 c nbDecision=543500 #constraints=26902 957.72/958.10 c nbDecision=544000 #constraints=26912 958.92/959.30 c nbDecision=544500 #constraints=26923 960.42/960.87 c nbDecision=545000 #constraints=26951 961.92/962.36 c nbDecision=545500 #constraints=26976 964.22/964.61 c nbDecision=546000 #constraints=27015 965.51/965.99 c nbDecision=546500 #constraints=27027 967.01/967.40 c nbDecision=547000 #constraints=27048 968.71/969.16 c nbDecision=547500 #constraints=27074 970.61/971.00 c nbDecision=548000 #constraints=27108 972.21/972.69 c nbDecision=548500 #constraints=27134 974.11/974.59 c nbDecision=549000 #constraints=27182 976.81/977.25 c nbDecision=549500 #constraints=27258 978.01/978.49 c nbDecision=550000 #constraints=27271 979.62/980.01 c nbDecision=550500 #constraints=27292 980.72/981.19 c nbDecision=551000 #constraints=27299 981.71/982.17 c nbDecision=551500 #constraints=27305 983.02/983.44 c nbDecision=552000 #constraints=27316 984.41/984.83 c nbDecision=552500 #constraints=27329 986.21/986.69 c nbDecision=553000 #constraints=27355 987.21/987.69 c nbDecision=553500 #constraints=27360 988.31/988.79 c nbDecision=554000 #constraints=27368 989.41/989.84 c nbDecision=554500 #constraints=27373 990.71/991.19 c nbDecision=555000 #constraints=27383 992.01/992.45 c nbDecision=555500 #constraints=27407 993.21/993.66 c nbDecision=556000 #constraints=27416 994.51/995.00 c nbDecision=556500 #constraints=27431 995.90/996.35 c nbDecision=557000 #constraints=27448 997.40/997.89 c nbDecision=557500 #constraints=27462 998.71/999.17 c nbDecision=558000 #constraints=27483 1000.10/1000.60 c nbDecision=558500 #constraints=27502 1001.60/1002.08 c nbDecision=559000 #constraints=27520 1003.50/1003.95 c nbDecision=559500 #constraints=27541 1005.10/1005.56 c nbDecision=560000 #constraints=27553 1006.40/1006.82 c nbDecision=560500 #constraints=27566 1007.40/1007.82 c nbDecision=561000 #constraints=27571 1008.70/1009.16 c nbDecision=561500 #constraints=27587 1009.80/1010.28 c nbDecision=562000 #constraints=27594 1011.50/1011.92 c nbDecision=562500 #constraints=27611 1012.70/1013.16 c nbDecision=563000 #constraints=27619 1014.10/1014.52 c nbDecision=563500 #constraints=27629 1015.39/1015.84 c nbDecision=564000 #constraints=27638 1016.69/1017.13 c nbDecision=564500 #constraints=27654 1018.39/1018.84 c nbDecision=565000 #constraints=27686 1019.79/1020.24 c nbDecision=565500 #constraints=27698 1021.19/1021.67 c nbDecision=566000 #constraints=27711 1022.90/1023.36 c nbDecision=566500 #constraints=27727 1024.20/1024.60 c nbDecision=567000 #constraints=27735 1026.00/1026.44 c nbDecision=567500 #constraints=27756 1027.70/1028.17 c nbDecision=568000 #constraints=27786 1029.40/1029.83 c nbDecision=568500 #constraints=27800 1030.49/1030.99 c nbDecision=569000 #constraints=27807 1031.99/1032.47 c nbDecision=569500 #constraints=27825 1032.99/1033.40 c nbDecision=570000 #constraints=27829 1034.39/1034.80 c nbDecision=570500 #constraints=27840 1036.19/1036.65 c nbDecision=571000 #constraints=27861 1037.29/1037.78 c nbDecision=571500 #constraints=27869 1038.89/1039.33 c nbDecision=572000 #constraints=27889 1040.69/1041.18 c nbDecision=572500 #constraints=27917 1042.69/1043.17 c nbDecision=573000 #constraints=27948 1044.59/1045.03 c nbDecision=573500 #constraints=27978 1045.79/1046.26 c nbDecision=574000 #constraints=27987 1047.39/1047.83 c nbDecision=574500 #constraints=27998 1048.59/1049.04 c nbDecision=575000 #constraints=28006 1049.79/1050.29 c nbDecision=575500 #constraints=28015 1050.98/1051.44 c nbDecision=576000 #constraints=28029 1052.29/1052.73 c nbDecision=576500 #constraints=28045 1053.78/1054.28 c nbDecision=577000 #constraints=28054 1055.08/1055.57 c nbDecision=577500 #constraints=28065 1056.48/1057.00 c nbDecision=578000 #constraints=28076 1057.69/1058.20 c nbDecision=578500 #constraints=28086 1059.08/1059.53 c nbDecision=579000 #constraints=28104 1060.18/1060.65 c nbDecision=579500 #constraints=28112 1061.48/1061.92 c nbDecision=580000 #constraints=28123 1062.68/1063.19 c nbDecision=580500 #constraints=28133 1063.88/1064.33 c nbDecision=581000 #constraints=28143 1065.38/1065.87 c nbDecision=581500 #constraints=28164 1066.97/1067.45 c nbDecision=582000 #constraints=28182 1068.07/1068.52 c nbDecision=582500 #constraints=28188 1068.97/1069.40 c nbDecision=583000 #constraints=28193 1071.07/1071.58 c nbDecision=583500 #constraints=28212 1072.77/1073.20 c nbDecision=584000 #constraints=28225 1073.67/1074.18 c nbDecision=584500 #constraints=28235 1075.37/1075.86 c nbDecision=585000 #constraints=28259 1076.67/1077.17 c nbDecision=585500 #constraints=28274 1078.07/1078.57 c nbDecision=586000 #constraints=28282 1078.97/1079.47 c nbDecision=586500 #constraints=28286 1080.17/1080.70 c nbDecision=587000 #constraints=28301 1081.27/1081.70 c nbDecision=587500 #constraints=28307 1082.57/1083.01 c nbDecision=588000 #constraints=28317 1083.97/1084.50 c nbDecision=588500 #constraints=28330 1085.37/1085.84 c nbDecision=589000 #constraints=28345 1087.17/1087.65 c nbDecision=589500 #constraints=28379 1088.57/1089.04 c nbDecision=590000 #constraints=28402 1089.96/1090.40 c nbDecision=590500 #constraints=28417 1091.26/1091.70 c nbDecision=591000 #constraints=28427 1092.66/1093.14 c nbDecision=591500 #constraints=28446 1093.96/1094.45 c nbDecision=592000 #constraints=28454 1095.66/1096.10 c nbDecision=592500 #constraints=28472 1097.16/1097.65 c nbDecision=593000 #constraints=28485 1099.07/1099.51 c nbDecision=593500 #constraints=28513 1100.37/1100.87 c nbDecision=594000 #constraints=28523 1102.06/1102.50 c nbDecision=594500 #constraints=28551 1103.36/1103.88 c nbDecision=595000 #constraints=28568 1104.76/1105.29 c nbDecision=595500 #constraints=28588 1106.36/1106.88 c nbDecision=596000 #constraints=28627 1107.66/1108.18 c nbDecision=596500 #constraints=28641 1109.36/1109.81 c nbDecision=597000 #constraints=28655 1110.86/1111.35 c nbDecision=597500 #constraints=28667 1112.06/1112.50 c nbDecision=598000 #constraints=28673 1113.26/1113.73 c nbDecision=598500 #constraints=28681 1114.46/1114.95 c nbDecision=599000 #constraints=28698 1116.35/1116.86 c nbDecision=599500 #constraints=28726 1117.85/1118.36 c nbDecision=600000 #constraints=28751 1119.76/1120.21 c nbDecision=600500 #constraints=28782 1120.96/1121.43 c nbDecision=601000 #constraints=28789 1122.76/1123.26 c nbDecision=601500 #constraints=28807 1123.86/1124.34 c nbDecision=602000 #constraints=28818 1125.56/1126.04 c nbDecision=602500 #constraints=28844 1127.26/1127.73 c nbDecision=603000 #constraints=28859 1129.26/1129.72 c nbDecision=603500 #constraints=28894 1130.66/1131.10 c nbDecision=604000 #constraints=28910 1133.15/1133.65 c nbDecision=604500 #constraints=28955 1134.35/1134.81 c nbDecision=605000 #constraints=28969 1136.35/1136.83 c nbDecision=605500 #constraints=28998 1138.35/1138.81 c nbDecision=606000 #constraints=29036 1141.65/1142.15 c nbDecision=606500 #constraints=29134 1142.95/1143.48 c nbDecision=607000 #constraints=29148 1144.55/1145.09 c nbDecision=607500 #constraints=29164 1146.04/1146.59 c nbDecision=608000 #constraints=29191 1147.44/1147.91 c nbDecision=608500 #constraints=29198 1148.84/1149.32 c nbDecision=609000 #constraints=29219 1150.15/1150.68 c nbDecision=609500 #constraints=29234 1151.74/1152.21 c nbDecision=610000 #constraints=29248 1153.54/1154.04 c nbDecision=610500 #constraints=29274 1154.94/1155.47 c nbDecision=611000 #constraints=29289 1156.44/1156.97 c nbDecision=611500 #constraints=29300 1157.44/1157.93 c nbDecision=612000 #constraints=29304 1158.94/1159.41 c nbDecision=612500 #constraints=29314 1160.24/1160.73 c nbDecision=613000 #constraints=29321 1161.34/1161.88 c nbDecision=613500 #constraints=29332 1162.74/1163.26 c nbDecision=614000 #constraints=29345 1164.24/1164.74 c nbDecision=614500 #constraints=29356 1165.64/1166.15 c nbDecision=615000 #constraints=29367 1166.84/1167.37 c nbDecision=615500 #constraints=29374 1168.54/1169.09 c nbDecision=616000 #constraints=29390 1170.24/1170.71 c nbDecision=616500 #constraints=29410 1171.63/1172.18 c nbDecision=617000 #constraints=29422 1173.73/1174.29 c nbDecision=617500 #constraints=29457 1175.23/1175.74 c nbDecision=618000 #constraints=29471 1176.63/1177.13 c nbDecision=618500 #constraints=29481 1177.54/1178.08 c nbDecision=619000 #constraints=29491 1178.93/1179.43 c nbDecision=619500 #constraints=29502 1180.33/1180.87 c nbDecision=620000 #constraints=29520 1181.93/1182.47 c nbDecision=620500 #constraints=29535 1183.13/1183.67 c nbDecision=621000 #constraints=29543 1184.53/1185.03 c nbDecision=621500 #constraints=29556 1186.03/1186.57 c nbDecision=622000 #constraints=29570 1187.53/1188.07 c nbDecision=622500 #constraints=29581 1189.13/1189.69 c nbDecision=623000 #constraints=29598 1191.42/1191.94 c nbDecision=623500 #constraints=29637 1192.82/1193.34 c nbDecision=624000 #constraints=29650 1194.13/1194.66 c nbDecision=624500 #constraints=29658 1195.92/1196.40 c nbDecision=625000 #constraints=29671 1197.23/1197.79 c nbDecision=625500 #constraints=29681 1198.73/1199.22 c nbDecision=626000 #constraints=29691 1200.43/1200.94 c nbDecision=626500 #constraints=29706 1201.74/1202.21 c nbDecision=627000 #constraints=29713 1203.23/1203.71 c nbDecision=627500 #constraints=29727 1205.03/1205.59 c nbDecision=628000 #constraints=29750 1206.63/1207.13 c nbDecision=628500 #constraints=29765 1208.33/1208.85 c nbDecision=629000 #constraints=29781 1210.33/1210.81 c nbDecision=629500 #constraints=29814 1212.03/1212.52 c nbDecision=630000 #constraints=29835 1213.12/1213.65 c nbDecision=630500 #constraints=29841 1214.52/1215.04 c nbDecision=631000 #constraints=29861 1216.13/1216.60 c nbDecision=631500 #constraints=29873 1218.02/1218.58 c nbDecision=632000 #constraints=29901 1219.32/1219.86 c nbDecision=632500 #constraints=29916 1220.42/1220.90 c nbDecision=633000 #constraints=29925 1222.02/1222.55 c nbDecision=633500 #constraints=29941 1223.82/1224.33 c nbDecision=634000 #constraints=29959 1225.52/1226.08 c nbDecision=634500 #constraints=29980 1227.02/1227.52 c nbDecision=635000 #constraints=29991 1228.62/1229.19 c nbDecision=635500 #constraints=30013 1230.81/1231.33 c nbDecision=636000 #constraints=30043 1235.11/1235.64 c nbDecision=636500 #constraints=30148 1236.51/1237.05 c nbDecision=637000 #constraints=30158 1238.11/1238.66 c nbDecision=637500 #constraints=30178 1239.51/1240.07 c nbDecision=638000 #constraints=30186 1240.91/1241.47 c nbDecision=638500 #constraints=30195 1242.21/1242.76 c nbDecision=639000 #constraints=30207 1243.61/1244.16 c nbDecision=639500 #constraints=30214 1244.81/1245.32 c nbDecision=640000 #constraints=30219 1246.50/1247.02 c nbDecision=640500 #constraints=30231 1247.80/1248.32 c nbDecision=641000 #constraints=30244 1249.30/1249.86 c nbDecision=641500 #constraints=30256 1250.90/1251.44 c nbDecision=642000 #constraints=30274 1252.70/1253.22 c nbDecision=642500 #constraints=30292 1254.11/1254.68 c nbDecision=643000 #constraints=30301 1255.71/1256.21 c nbDecision=643500 #constraints=30312 1257.00/1257.52 c nbDecision=644000 #constraints=30318 1258.70/1259.26 c nbDecision=644500 #constraints=30335 1260.11/1260.65 c nbDecision=645000 #constraints=30344 1261.70/1262.20 c nbDecision=645500 #constraints=30363 1263.20/1263.72 c nbDecision=646000 #constraints=30375 1264.80/1265.35 c nbDecision=646500 #constraints=30399 1265.90/1266.50 c nbDecision=647000 #constraints=30403 1267.30/1267.87 c nbDecision=647500 #constraints=30412 1268.70/1269.25 c nbDecision=648000 #constraints=30421 1270.20/1270.70 c nbDecision=648500 #constraints=30430 1271.80/1272.36 c nbDecision=649000 #constraints=30454 1273.70/1274.28 c nbDecision=649500 #constraints=30488 1275.10/1275.69 c nbDecision=650000 #constraints=30506 1276.50/1277.01 c nbDecision=650500 #constraints=30516 1278.00/1278.58 c nbDecision=651000 #constraints=30531 1279.40/1279.94 c nbDecision=651500 #constraints=30541 1280.60/1281.18 c nbDecision=652000 #constraints=30549 1282.00/1282.55 c nbDecision=652500 #constraints=30563 1283.79/1284.38 c nbDecision=653000 #constraints=30584 1285.19/1285.77 c nbDecision=653500 #constraints=30596 1287.69/1288.20 c nbDecision=654000 #constraints=30639 1289.09/1289.62 c nbDecision=654500 #constraints=30654 1290.49/1291.00 c nbDecision=655000 #constraints=30667 1291.69/1292.22 c nbDecision=655500 #constraints=30679 1293.19/1293.78 c nbDecision=656000 #constraints=30695 1295.19/1295.71 c nbDecision=656500 #constraints=30713 1296.29/1296.87 c nbDecision=657000 #constraints=30720 1297.59/1298.10 c nbDecision=657500 #constraints=30734 1298.89/1299.42 c nbDecision=658000 #constraints=30743 1300.19/1300.78 c nbDecision=658500 #constraints=30753 1301.59/1302.12 c nbDecision=659000 #constraints=30763 1302.69/1303.26 c nbDecision=659500 #constraints=30769 1304.18/1304.75 c nbDecision=660000 #constraints=30784 1305.78/1306.30 c nbDecision=660500 #constraints=30797 1307.59/1308.12 c nbDecision=661000 #constraints=30812 1308.69/1309.21 c nbDecision=661500 #constraints=30818 1310.09/1310.60 c nbDecision=662000 #constraints=30834 1311.59/1312.13 c nbDecision=662500 #constraints=30848 1312.99/1313.56 c nbDecision=663000 #constraints=30863 1314.39/1314.99 c nbDecision=663500 #constraints=30873 1315.89/1316.43 c nbDecision=664000 #constraints=30883 1317.49/1318.06 c nbDecision=664500 #constraints=30900 1319.99/1320.56 c nbDecision=665000 #constraints=30943 1321.99/1322.55 c nbDecision=665500 #constraints=30963 1323.28/1323.85 c nbDecision=666000 #constraints=30971 1324.68/1325.23 c nbDecision=666500 #constraints=30983 1326.58/1327.16 c nbDecision=667000 #constraints=30997 1327.98/1328.55 c nbDecision=667500 #constraints=31008 1329.68/1330.20 c nbDecision=668000 #constraints=31023 1331.28/1331.83 c nbDecision=668500 #constraints=31038 1332.88/1333.43 c nbDecision=669000 #constraints=31052 1334.88/1335.41 c nbDecision=669500 #constraints=31075 1336.58/1337.13 c nbDecision=670000 #constraints=31093 1337.98/1338.51 c nbDecision=670500 #constraints=31103 1339.28/1339.87 c nbDecision=671000 #constraints=31112 1340.67/1341.29 c nbDecision=671500 #constraints=31132 1342.17/1342.72 c nbDecision=672000 #constraints=31145 1344.68/1345.24 c nbDecision=672500 #constraints=31184 1345.97/1346.50 c nbDecision=673000 #constraints=31190 1347.37/1347.92 c nbDecision=673500 #constraints=31208 1348.77/1349.39 c nbDecision=674000 #constraints=31218 1350.07/1350.68 c nbDecision=674500 #constraints=31231 1351.77/1352.32 c nbDecision=675000 #constraints=31248 1353.47/1354.03 c nbDecision=675500 #constraints=31267 1355.28/1355.82 c nbDecision=676000 #constraints=31294 1358.07/1358.65 c nbDecision=676500 #constraints=31338 1359.47/1360.09 c nbDecision=677000 #constraints=31347 1361.37/1361.96 c nbDecision=677500 #constraints=31362 1363.27/1363.80 c nbDecision=678000 #constraints=31379 1365.47/1366.06 c nbDecision=678500 #constraints=31405 1368.17/1368.71 c nbDecision=679000 #constraints=31440 1370.17/1370.71 c nbDecision=679500 #constraints=31463 1372.27/1372.89 c nbDecision=680000 #constraints=31493 1375.57/1376.12 c nbDecision=680500 #constraints=31550 1378.46/1379.09 c nbDecision=681000 #constraints=31618 1380.06/1380.69 c nbDecision=681500 #constraints=31637 1381.36/1381.95 c nbDecision=682000 #constraints=31643 1382.66/1383.23 c nbDecision=682500 #constraints=31648 1383.96/1384.58 c nbDecision=683000 #constraints=31656 1385.25/1385.86 c nbDecision=683500 #constraints=31667 1386.65/1387.20 c nbDecision=684000 #constraints=31674 1388.15/1388.72 c nbDecision=684500 #constraints=31688 1389.86/1390.44 c nbDecision=685000 #constraints=31706 1391.97/1392.58 c nbDecision=685500 #constraints=31735 1393.36/1393.96 c nbDecision=686000 #constraints=31743 1394.76/1395.33 c nbDecision=686500 #constraints=31754 1396.06/1396.62 c nbDecision=687000 #constraints=31764 1398.16/1398.73 c nbDecision=687500 #constraints=31790 1399.56/1400.10 c nbDecision=688000 #constraints=31800 1400.76/1401.35 c nbDecision=688500 #constraints=31807 1402.16/1402.78 c nbDecision=689000 #constraints=31817 1403.66/1404.24 c nbDecision=689500 #constraints=31827 1405.16/1405.78 c nbDecision=690000 #constraints=31838 1406.66/1407.26 c nbDecision=690500 #constraints=31848 1408.06/1408.65 c nbDecision=691000 #constraints=31865 1409.45/1410.03 c nbDecision=691500 #constraints=31877 1411.05/1411.65 c nbDecision=692000 #constraints=31896 1412.65/1413.20 c nbDecision=692500 #constraints=31912 1414.45/1415.06 c nbDecision=693000 #constraints=31935 1416.25/1416.82 c nbDecision=693500 #constraints=31949 1417.95/1418.57 c nbDecision=694000 #constraints=31970 1419.45/1420.09 c nbDecision=694500 #constraints=31993 1421.45/1422.07 c nbDecision=695000 #constraints=32022 1422.85/1423.42 c nbDecision=695500 #constraints=32036 1424.25/1424.80 c nbDecision=696000 #constraints=32053 1425.45/1426.02 c nbDecision=696500 #constraints=32063 1426.95/1427.56 c nbDecision=697000 #constraints=32072 1428.64/1429.22 c nbDecision=697500 #constraints=32091 1430.35/1430.93 c nbDecision=698000 #constraints=32104 1431.84/1432.44 c nbDecision=698500 #constraints=32113 1433.44/1434.01 c nbDecision=699000 #constraints=32125 1435.14/1435.75 c nbDecision=699500 #constraints=32140 1436.84/1437.49 c nbDecision=700000 #constraints=32155 1439.34/1439.97 c nbDecision=700500 #constraints=32188 1441.04/1441.69 c nbDecision=701000 #constraints=32210 1442.64/1443.23 c nbDecision=701500 #constraints=32225 1444.34/1444.98 c nbDecision=702000 #constraints=32253 1445.84/1446.44 c nbDecision=702500 #constraints=32267 1447.53/1448.18 c nbDecision=703000 #constraints=32280 1449.74/1450.32 c nbDecision=703500 #constraints=32302 1451.54/1452.14 c nbDecision=704000 #constraints=32323 1452.94/1453.55 c nbDecision=704500 #constraints=32330 1454.54/1455.12 c nbDecision=705000 #constraints=32342 1456.34/1456.96 c nbDecision=705500 #constraints=32356 1458.24/1458.84 c nbDecision=706000 #constraints=32388 1460.54/1461.11 c nbDecision=706500 #constraints=32408 1461.73/1462.38 c nbDecision=707000 #constraints=32419 1463.83/1464.41 c nbDecision=707500 #constraints=32443 1465.74/1466.35 c nbDecision=708000 #constraints=32464 1469.43/1470.08 c nbDecision=708500 #constraints=32551 1470.93/1471.53 c nbDecision=709000 #constraints=32559 1472.43/1473.09 c nbDecision=709500 #constraints=32571 1473.63/1474.30 c nbDecision=710000 #constraints=32577 1475.23/1475.87 c nbDecision=710500 #constraints=32594 1476.43/1477.03 c nbDecision=711000 #constraints=32602 1478.63/1479.22 c nbDecision=711500 #constraints=32623 1479.82/1480.48 c nbDecision=712000 #constraints=32635 1481.82/1482.49 c nbDecision=712500 #constraints=32654 1483.82/1484.40 c nbDecision=713000 #constraints=32669 1485.52/1486.14 c nbDecision=713500 #constraints=32683 1487.52/1488.10 c nbDecision=714000 #constraints=32704 1489.62/1490.22 c nbDecision=714500 #constraints=32733 1491.12/1491.74 c nbDecision=715000 #constraints=32740 1492.42/1493.03 c nbDecision=715500 #constraints=32747 1494.22/1494.84 c nbDecision=716000 #constraints=32758 1495.62/1496.29 c nbDecision=716500 #constraints=32768 1497.63/1498.29 c nbDecision=717000 #constraints=32806 1499.42/1500.01 c nbDecision=717500 #constraints=32831 1501.42/1502.07 c nbDecision=718000 #constraints=32860 1503.32/1503.92 c nbDecision=718500 #constraints=32872 1505.52/1506.14 c nbDecision=719000 #constraints=32904 1507.92/1508.58 c nbDecision=719500 #constraints=32939 1509.72/1510.31 c nbDecision=720000 #constraints=32962 1511.22/1511.85 c nbDecision=720500 #constraints=32983 1513.51/1514.19 c nbDecision=721000 #constraints=33018 1516.71/1517.35 c nbDecision=721500 #constraints=33064 1519.81/1520.40 c nbDecision=722000 #constraints=33136 1521.31/1521.95 c nbDecision=722500 #constraints=33152 1523.31/1523.95 c nbDecision=723000 #constraints=33172 1525.11/1525.71 c nbDecision=723500 #constraints=33186 1527.11/1527.80 c nbDecision=724000 #constraints=33209 1529.91/1530.54 c nbDecision=724500 #constraints=33254 1531.10/1531.77 c nbDecision=725000 #constraints=33267 1532.50/1533.20 c nbDecision=725500 #constraints=33276 1534.60/1535.27 c nbDecision=726000 #constraints=33294 1536.40/1537.05 c nbDecision=726500 #constraints=33315 1537.90/1538.58 c nbDecision=727000 #constraints=33328 1539.80/1540.42 c nbDecision=727500 #constraints=33344 1541.91/1542.53 c nbDecision=728000 #constraints=33378 1544.30/1544.94 c nbDecision=728500 #constraints=33409 1547.60/1548.23 c nbDecision=729000 #constraints=33482 1549.10/1549.71 c nbDecision=729500 #constraints=33497 1550.50/1551.10 c nbDecision=730000 #constraints=33507 1551.80/1552.50 c nbDecision=730500 #constraints=33516 1554.10/1554.71 c nbDecision=731000 #constraints=33540 1555.50/1556.14 c nbDecision=731500 #constraints=33549 1557.30/1557.94 c nbDecision=732000 #constraints=33568 1559.79/1560.41 c nbDecision=732500 #constraints=33609 1563.39/1564.00 c nbDecision=733000 #constraints=33668 1564.69/1565.33 c nbDecision=733500 #constraints=33675 1566.50/1567.13 c nbDecision=734000 #constraints=33702 1569.50/1570.19 c nbDecision=734500 #constraints=33747 1572.90/1573.51 c nbDecision=735000 #constraints=33808 1574.69/1575.30 c nbDecision=735500 #constraints=33840 1576.70/1577.40 c nbDecision=736000 #constraints=33862 1579.19/1579.80 c nbDecision=736500 #constraints=33887 1582.39/1583.03 c nbDecision=737000 #constraints=33949 1583.69/1584.35 c nbDecision=737500 #constraints=33961 1588.38/1589.08 c nbDecision=738000 #constraints=34070 1594.39/1595.01 c nbDecision=738500 #constraints=34281 1596.19/1596.85 c nbDecision=739000 #constraints=34297 1597.19/1597.89 c nbDecision=739500 #constraints=34301 1598.39/1599.02 c nbDecision=740000 #constraints=34305 1599.69/1600.37 c nbDecision=740500 #constraints=34312 1600.89/1601.59 c nbDecision=741000 #constraints=34321 1603.19/1603.83 c nbDecision=741500 #constraints=34342 1604.38/1605.01 c nbDecision=742000 #constraints=34347 1605.68/1606.34 c nbDecision=742500 #constraints=34353 1607.08/1607.72 c nbDecision=743000 #constraints=34359 1608.28/1609.00 c nbDecision=743500 #constraints=34370 1609.38/1610.02 c nbDecision=744000 #constraints=34374 1610.68/1611.33 c nbDecision=744500 #constraints=34379 1612.08/1612.70 c nbDecision=745000 #constraints=34387 1613.38/1614.09 c nbDecision=745500 #constraints=34393 1614.68/1615.34 c nbDecision=746000 #constraints=34399 1615.88/1616.55 c nbDecision=746500 #constraints=34407 1617.08/1617.75 c nbDecision=747000 #constraints=34415 1618.68/1619.38 c nbDecision=747500 #constraints=34424 1620.47/1621.11 c nbDecision=748000 #constraints=34440 1622.17/1622.85 c nbDecision=748500 #constraints=34452 1623.98/1624.63 c nbDecision=749000 #constraints=34472 1625.27/1625.99 c nbDecision=749500 #constraints=34482 1627.57/1628.26 c nbDecision=750000 #constraints=34500 1629.07/1629.73 c nbDecision=750500 #constraints=34509 1630.57/1631.24 c nbDecision=751000 #constraints=34516 1632.17/1632.88 c nbDecision=751500 #constraints=34525 1633.47/1634.12 c nbDecision=752000 #constraints=34531 1634.97/1635.63 c nbDecision=752500 #constraints=34540 1636.87/1637.51 c nbDecision=753000 #constraints=34568 1638.76/1639.44 c nbDecision=753500 #constraints=34581 1640.96/1641.63 c nbDecision=754000 #constraints=34596 1642.56/1643.23 c nbDecision=754500 #constraints=34610 1644.06/1644.78 c nbDecision=755000 #constraints=34630 1646.16/1646.84 c nbDecision=755500 #constraints=34649 1647.56/1648.29 c nbDecision=756000 #constraints=34660 1649.16/1649.86 c nbDecision=756500 #constraints=34673 1651.26/1651.92 c nbDecision=757000 #constraints=34697 1652.66/1653.36 c nbDecision=757500 #constraints=34705 1654.26/1654.98 c nbDecision=758000 #constraints=34722 1656.16/1656.86 c nbDecision=758500 #constraints=34735 1658.36/1659.02 c nbDecision=759000 #constraints=34749 1660.36/1661.04 c nbDecision=759500 #constraints=34770 1661.86/1662.59 c nbDecision=760000 #constraints=34781 1663.76/1664.46 c nbDecision=760500 #constraints=34800 1665.95/1666.65 c nbDecision=761000 #constraints=34821 1667.86/1668.56 c nbDecision=761500 #constraints=34847 1670.46/1671.12 c nbDecision=762000 #constraints=34867 1672.86/1673.50 c nbDecision=762500 #constraints=34903 1675.66/1676.31 c nbDecision=763000 #constraints=34933 1677.26/1677.93 c nbDecision=763500 #constraints=34944 1679.26/1679.96 c nbDecision=764000 #constraints=34959 1681.26/1681.96 c nbDecision=764500 #constraints=34977 1682.65/1683.33 c nbDecision=765000 #constraints=34985 1684.25/1684.98 c nbDecision=765500 #constraints=35006 1686.15/1686.80 c nbDecision=766000 #constraints=35017 1687.55/1688.22 c nbDecision=766500 #constraints=35025 1689.55/1690.28 c nbDecision=767000 #constraints=35039 1691.65/1692.33 c nbDecision=767500 #constraints=35057 1693.25/1693.96 c nbDecision=768000 #constraints=35069 1694.95/1695.69 c nbDecision=768500 #constraints=35087 1696.85/1697.56 c nbDecision=769000 #constraints=35098 1698.44/1699.16 c nbDecision=769500 #constraints=35109 1699.74/1700.47 c nbDecision=770000 #constraints=35115 1701.14/1701.85 c nbDecision=770500 #constraints=35124 1703.34/1704.02 c nbDecision=771000 #constraints=35141 1705.14/1705.85 c nbDecision=771500 #constraints=35154 1707.24/1707.93 c nbDecision=772000 #constraints=35169 1708.64/1709.34 c nbDecision=772500 #constraints=35177 1710.04/1710.70 c nbDecision=773000 #constraints=35189 1711.73/1712.50 c nbDecision=773500 #constraints=35202 1713.33/1714.10 c nbDecision=774000 #constraints=35209 1714.83/1715.53 c nbDecision=774500 #constraints=35216 1716.93/1717.63 c nbDecision=775000 #constraints=35233 1718.73/1719.45 c nbDecision=775500 #constraints=35252 1720.23/1720.99 c nbDecision=776000 #constraints=35269 1721.63/1722.32 c nbDecision=776500 #constraints=35274 1723.13/1723.85 c nbDecision=777000 #constraints=35286 1724.53/1725.28 c nbDecision=777500 #constraints=35300 1726.23/1726.98 c nbDecision=778000 #constraints=35310 1728.44/1729.12 c nbDecision=778500 #constraints=35332 1730.24/1730.93 c nbDecision=779000 #constraints=35348 1731.53/1732.25 c nbDecision=779500 #constraints=35358 1733.94/1734.65 c nbDecision=780000 #constraints=35391 1736.24/1736.92 c nbDecision=780500 #constraints=35418 1737.53/1738.28 c nbDecision=781000 #constraints=35426 1739.43/1740.18 c nbDecision=781500 #constraints=35452 1741.03/1741.72 c nbDecision=782000 #constraints=35460 1742.63/1743.38 c nbDecision=782500 #constraints=35469 1744.13/1744.86 c nbDecision=783000 #constraints=35477 1745.82/1746.50 c nbDecision=783500 #constraints=35489 1747.23/1747.93 c nbDecision=784000 #constraints=35495 1748.82/1749.51 c nbDecision=784500 #constraints=35502 1750.43/1751.20 c nbDecision=785000 #constraints=35511 1752.22/1752.93 c nbDecision=785500 #constraints=35521 1754.02/1754.79 c nbDecision=786000 #constraints=35533 1756.22/1756.90 c nbDecision=786500 #constraints=35551 1757.92/1758.66 c nbDecision=787000 #constraints=35571 1759.92/1760.61 c nbDecision=787500 #constraints=35585 1762.02/1762.73 c nbDecision=788000 #constraints=35602 1763.42/1764.13 c nbDecision=788500 #constraints=35610 1765.02/1765.73 c nbDecision=789000 #constraints=35624 1767.02/1767.73 c nbDecision=789500 #constraints=35641 1768.92/1769.67 c nbDecision=790000 #constraints=35654 1771.11/1771.80 c nbDecision=790500 #constraints=35679 1773.41/1774.18 c nbDecision=791000 #constraints=35705 1775.01/1775.78 c nbDecision=791500 #constraints=35716 1776.71/1777.47 c nbDecision=792000 #constraints=35725 1778.91/1779.61 c nbDecision=792500 #constraints=35741 1780.11/1780.86 c nbDecision=793000 #constraints=35758 1782.01/1782.71 c nbDecision=793500 #constraints=35777 1784.01/1784.75 c nbDecision=794000 #constraints=35793 1785.61/1786.38 c nbDecision=794500 #constraints=35803 1787.70/1788.47 c nbDecision=795000 #constraints=35816 1789.40/1790.19 c nbDecision=795500 #constraints=35828 1791.30/1792.03 c nbDecision=796000 #constraints=35838 1792.80/1793.50 c nbDecision=796500 #constraints=35849 1794.00/1794.71 c nbDecision=797000 #constraints=35855 1797.20/1797.95 c nbDecision=797500 #constraints=35896 1800.01/1800.70 Received signal 15 1800.20/1800.90 1800.20/1800.90 s UNKNOWN 1800.20/1800.90 1800.20/1800.90 c user time= 1799.6 s 1800.20/1800.90 c system time= 0.612906 s 1800.20/1800.90 c wall clock time=1800.9
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-362692-1176847805 -o ROOT/results/node67/solver-362692-1176847805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362692-1176847805/instance-362692-1176847805.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.71 0.91 0.97 3/64 28794 /proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=1620 CPUtime=0 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160770007 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 405 175 126 317 0 84 0 [startup+0.0674059 s] /proc/loadavg: 0.71 0.91 0.97 3/64 28794 /proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=2596 CPUtime=0.06 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 507 0 0 0 6 0 0 0 18 0 1 0 160770007 2658304 391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 649 391 131 317 0 328 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2596 [startup+0.101412 s] /proc/loadavg: 0.71 0.91 0.97 3/64 28794 /proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=3128 CPUtime=0.09 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 160770007 3203072 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 782 550 131 317 0 461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3128 [startup+0.301448 s] /proc/loadavg: 0.71 0.91 0.97 3/64 28794 /proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=6976 CPUtime=0.29 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 1624 0 0 0 29 0 0 0 19 0 1 0 160770007 7143424 1508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 1744 1508 131 317 0 1423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6976 [startup+0.701523 s] /proc/loadavg: 0.71 0.91 0.97 3/64 28794 /proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=15168 CPUtime=0.69 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 3657 0 0 0 68 1 0 0 22 0 1 0 160770007 15532032 3541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 3792 3541 131 317 0 3471 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15168 [startup+1.50167 s] /proc/loadavg: 0.71 0.91 0.97 2/65 28795 /proc/meminfo: memFree=1861984/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=23152 CPUtime=1.49 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5680 0 0 0 147 2 0 0 25 0 1 0 160770007 23707648 5564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 5788 5564 138 317 0 5467 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23152 [startup+3.10196 s] /proc/loadavg: 0.71 0.91 0.97 2/65 28795 /proc/meminfo: memFree=1861152/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=23152 CPUtime=3.09 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5680 0 0 0 307 2 0 0 25 0 1 0 160770007 23707648 5564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 5788 5564 138 317 0 5467 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23152 [startup+6.30155 s] /proc/loadavg: 0.73 0.91 0.97 2/65 28795 /proc/meminfo: memFree=1861024/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=23304 CPUtime=6.29 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5702 0 0 0 627 2 0 0 25 0 1 0 160770007 23863296 5586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 5826 5586 139 317 0 5505 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23304 [startup+12.7017 s] /proc/loadavg: 0.76 0.91 0.97 2/65 28795 /proc/meminfo: memFree=1860960/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=23304 CPUtime=12.69 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5702 0 0 0 1267 2 0 0 25 0 1 0 160770007 23863296 5586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 5826 5586 139 317 0 5505 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23304 [startup+25.5011 s] /proc/loadavg: 0.81 0.92 0.97 2/65 28795 /proc/meminfo: memFree=1853792/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=30908 CPUtime=25.48 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 7629 0 0 0 2545 3 0 0 25 0 1 0 160770007 31649792 7513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 7727 7513 170 317 0 7406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30908 [startup+51.1018 s] /proc/loadavg: 0.87 0.92 0.97 2/65 28795 /proc/meminfo: memFree=1839456/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=45424 CPUtime=51.08 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 11257 0 0 0 5102 6 0 0 25 0 1 0 160770007 46514176 11104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 11356 11104 170 317 0 11035 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45424 [startup+102.305 s] /proc/loadavg: 0.94 0.93 0.97 2/65 28795 /proc/meminfo: memFree=1811104/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=74016 CPUtime=102.26 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 18326 0 0 0 10215 11 0 0 25 0 1 0 160770007 75792384 18173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 18504 18173 170 317 0 18183 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74016 [startup+162.301 s] /proc/loadavg: 0.98 0.94 0.97 2/65 28795 /proc/meminfo: memFree=1777376/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=107732 CPUtime=162.23 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 26765 0 0 0 16208 15 0 0 25 0 1 0 160770007 110317568 26540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 26933 26540 170 317 0 26612 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 107732 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/65 28795 /proc/meminfo: memFree=1752160/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=134232 CPUtime=222.21 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 32979 0 0 0 22202 19 0 0 25 0 1 0 160770007 137453568 32754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 33558 32754 170 317 0 33237 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 134232 [startup+282.301 s] /proc/loadavg: 0.99 0.95 0.97 2/65 28795 /proc/meminfo: memFree=1736992/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=149316 CPUtime=282.19 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 36788 0 0 0 28197 22 0 0 25 0 1 0 160770007 152899584 36563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 37329 36563 170 317 0 37008 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 149316 [startup+342.301 s] /proc/loadavg: 0.99 0.96 0.97 2/65 28795 /proc/meminfo: memFree=1726176/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=159436 CPUtime=342.17 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 39439 0 0 0 34192 25 0 0 25 0 1 0 160770007 163262464 39214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 39859 39214 170 317 0 39538 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 159436 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1715872/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=169264 CPUtime=402.15 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 42028 0 0 0 40188 27 0 0 25 0 1 0 160770007 173326336 41803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 42316 41803 170 317 0 41995 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 169264 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1700192/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=191936 CPUtime=462.12 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 45919 0 0 0 46183 29 0 0 25 0 1 0 160770007 196542464 45694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 47984 45694 170 317 0 47663 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 191936 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1690464/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=201408 CPUtime=522.1 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 48435 0 0 0 52179 31 0 0 25 0 1 0 160770007 206241792 48210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 50352 48210 170 317 0 50031 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 201408 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1681568/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=209716 CPUtime=582.07 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 50703 0 0 0 58175 32 0 0 25 0 1 0 160770007 214749184 50336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 52429 50336 170 317 0 52108 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 209716 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1674592/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=216016 CPUtime=642.06 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 52441 0 0 0 64173 33 0 0 25 0 1 0 160770007 221200384 52074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 54004 52074 170 317 0 53683 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 216016 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1628768/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=259536 CPUtime=941.92 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 63860 0 0 0 94150 42 0 0 25 0 1 0 160770007 265764864 63493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 64884 63493 170 317 0 64563 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 259536 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1621536/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=266240 CPUtime=1001.9 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 65669 0 0 0 100146 44 0 0 25 0 1 0 160770007 272629760 65302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 66560 65302 170 317 0 66239 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 266240 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1615648/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=271776 CPUtime=1061.88 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 67142 0 0 0 106143 45 0 0 25 0 1 0 160770007 278298624 66775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 67944 66775 170 317 0 67623 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 271776 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1609248/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=277584 CPUtime=1121.86 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 68731 0 0 0 112139 47 0 0 25 0 1 0 160770007 284246016 68364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 69396 68364 170 317 0 69075 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 277584 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1602336/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=284072 CPUtime=1181.83 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 70466 0 0 0 118136 47 0 0 25 0 1 0 160770007 290889728 70099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 71018 70099 170 317 0 70697 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 284072 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1595680/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=290200 CPUtime=1241.81 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 72106 0 0 0 124133 48 0 0 25 0 1 0 160770007 297164800 71739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 72550 71739 170 317 0 72229 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 290200 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1584480/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=320872 CPUtime=1301.79 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 78333 0 0 0 130129 50 0 0 25 0 1 0 160770007 328572928 74501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 80218 74501 170 317 0 79897 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 320872 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1577184/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=328272 CPUtime=1361.77 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 80216 0 0 0 136125 52 0 0 25 0 1 0 160770007 336150528 76318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 82068 76318 170 317 0 81747 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 328272 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1570464/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=334300 CPUtime=1421.75 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 81893 0 0 0 142122 53 0 0 25 0 1 0 160770007 342323200 77995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 83575 77995 170 317 0 83254 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 334300 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1563872/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=340320 CPUtime=1481.72 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 83538 0 0 0 148118 54 0 0 25 0 1 0 160770007 348487680 79640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 85080 79640 170 317 0 84759 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 340320 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1556704/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=346748 CPUtime=1541.71 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 85379 0 0 0 154115 56 0 0 25 0 1 0 160770007 355069952 81448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 86687 81448 170 317 0 86366 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 346748 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1546912/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=355172 CPUtime=1601.68 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 87787 0 0 0 160110 58 0 0 25 0 1 0 160770007 363696128 83856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 88793 83856 170 317 0 88472 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 355172 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1542240/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=359228 CPUtime=1661.66 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 88990 0 0 0 166108 58 0 0 25 0 1 0 160770007 367849472 85059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 89807 85059 170 317 0 89486 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 359228 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1536928/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=363576 CPUtime=1721.63 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 90310 0 0 0 172104 59 0 0 25 0 1 0 160770007 372301824 86379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 90894 86379 170 317 0 90573 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 363576 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28795 /proc/meminfo: memFree=1532256/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=368380 CPUtime=1781.61 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 91510 0 0 0 178101 60 0 0 25 0 1 0 160770007 377221120 87579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 92095 87579 170 317 0 91774 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 368380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28797 /proc/meminfo: memFree=1528864/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=374212 CPUtime=1800.01 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 92830 0 0 0 179940 61 0 0 25 0 1 0 160770007 383193088 88371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 93553 88371 170 317 0 93232 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 374212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28797 /proc/meminfo: memFree=1528864/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=374212 CPUtime=1800.11 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 92830 0 0 0 179950 61 0 0 25 0 1 0 160770007 383193088 88371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 93553 88371 170 317 0 93232 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 374212 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28797 /proc/meminfo: memFree=1528864/2055920 swapFree=4178028/4192956 [pid=28794] ppid=28792 vsize=374212 CPUtime=1800.2 /proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 92830 0 0 0 179959 61 0 0 25 0 1 0 160770007 383193088 88371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28794/statm: 93553 88371 170 317 0 93232 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 374212 Child status: 0 Real time (s): 1800.98 CPU time (s): 1800.28 CPU user time (s): 1799.61 CPU system time (s): 0.669898 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 374212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.669898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92846 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= 3523 runsolver used 1.21081 second user time and 3.77543 second system time The end
Begin job on node67 on Tue Apr 17 22:10:05 UTC 2007 IDJOB= 362692 IDBENCH= 1625 IDSOLVER= 172 FILE ID= node67/362692-1176847805 PBS_JOBID= 4590222 Free space on /tmp= 66481 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb COMMAND LINE= oree /tmp/evaluation/362692-1176847805/instance-362692-1176847805.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-362692-1176847805 -o ROOT/results/node67/solver-362692-1176847805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362692-1176847805/instance-362692-1176847805.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 99b260f11bc3e586ce78c7adccfe4295 RANDOM SEED= 813063480 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1883528 kB Buffers: 19772 kB Cached: 106032 kB SwapCached: 9176 kB Active: 71100 kB Inactive: 69364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1883528 kB SwapTotal: 4192956 kB SwapFree: 4178028 kB Dirty: 4276 kB Writeback: 0 kB Mapped: 15092 kB Slab: 17856 kB Committed_AS: 219508 kB PageTables: 1452 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= 66481 MiB End job on node67 on Tue Apr 17 22:40:08 UTC 2007