Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.28 | 1800.94 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ganges.opb |
MD5SUM | 7a90d6f729b5a7cbedbc2000a888cf36 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 46097 |
Total number of constraints | 1706 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1706 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 1432 |
Number of terms in the objective function | 2309 |
Biggest coefficient in the objective function | 19879 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525883 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525883 |
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.59/0.60 c ...done 0.59/0.60 c #vars=46097 #constraints=2991 hasObjective=yes 0.69/0.78 c res. mode=mod 0.69/0.78 c VSIDS like heuristics 0.69/0.78 c complete search running 1.00/1.09 c restart after 401 decisions 1.10/1.15 c nbDecision=500 #constraints=2996 1.29/1.31 c restart after 801 decisions 1.39/1.43 c nbDecision=1000 #constraints=2996 1.79/1.82 c nbDecision=1500 #constraints=3009 1.89/1.96 c restart after 1601 decisions 2.10/2.19 c nbDecision=2000 #constraints=3009 2.69/2.73 c nbDecision=2500 #constraints=3009 3.39/3.40 c nbDecision=3000 #constraints=3009 3.59/3.67 c restart after 3201 decisions 3.79/3.84 c nbDecision=3500 #constraints=3009 4.30/4.30 c nbDecision=4000 #constraints=3009 4.89/4.97 c nbDecision=4500 #constraints=3009 5.59/5.62 c nbDecision=5000 #constraints=3009 5.89/5.99 c nbDecision=5500 #constraints=3025 6.59/6.66 c nbDecision=6000 #constraints=3025 7.09/7.18 c restart after 6401 decisions 7.19/7.24 c nbDecision=6500 #constraints=3025 7.49/7.54 c nbDecision=7000 #constraints=3025 8.19/8.22 c nbDecision=7500 #constraints=3032 8.79/8.87 c nbDecision=8000 #constraints=3032 9.29/9.34 c nbDecision=8500 #constraints=3042 9.79/9.89 c nbDecision=9000 #constraints=3042 10.49/10.54 c nbDecision=9500 #constraints=3042 11.08/11.16 c nbDecision=10000 #constraints=3058 11.48/11.56 c nbDecision=10500 #constraints=3058 12.18/12.23 c nbDecision=11000 #constraints=3058 12.78/12.87 c nbDecision=11500 #constraints=3058 13.19/13.24 c nbDecision=12000 #constraints=3069 13.88/13.91 c nbDecision=12500 #constraints=3074 14.29/14.31 c restart after 12801 decisions 14.38/14.43 c nbDecision=13000 #constraints=3074 14.78/14.80 c nbDecision=13500 #constraints=3074 15.39/15.47 c nbDecision=14000 #constraints=3074 16.08/16.12 c nbDecision=14500 #constraints=3074 16.39/16.48 c nbDecision=15000 #constraints=3075 17.08/17.15 c nbDecision=15500 #constraints=3075 17.78/17.81 c nbDecision=16000 #constraints=3075 18.18/18.30 c nbDecision=16500 #constraints=3077 18.78/18.82 c nbDecision=17000 #constraints=3077 19.38/19.49 c nbDecision=17500 #constraints=3077 20.08/20.19 c nbDecision=18000 #constraints=3116 20.48/20.56 c nbDecision=18500 #constraints=3116 21.18/21.23 c nbDecision=19000 #constraints=3116 21.78/21.88 c nbDecision=19500 #constraints=3116 22.28/22.33 c nbDecision=20000 #constraints=3138 22.88/22.94 c nbDecision=20500 #constraints=3138 23.58/23.60 c nbDecision=21000 #constraints=3138 24.08/24.15 c nbDecision=21500 #constraints=3141 24.58/24.62 c nbDecision=22000 #constraints=3141 25.18/25.28 c nbDecision=22500 #constraints=3141 25.88/25.98 c nbDecision=23000 #constraints=3168 26.38/26.40 c nbDecision=23500 #constraints=3199 26.98/27.05 c nbDecision=24000 #constraints=3199 27.68/27.70 c nbDecision=24500 #constraints=3199 28.18/28.20 c nbDecision=25000 #constraints=3202 28.68/28.71 c nbDecision=25500 #constraints=3202 28.78/28.85 c restart after 25601 decisions 28.98/29.08 c nbDecision=26000 #constraints=3202 29.58/29.61 c nbDecision=26500 #constraints=3202 30.18/30.27 c nbDecision=27000 #constraints=3202 30.78/30.86 c nbDecision=27500 #constraints=3203 31.18/31.28 c nbDecision=28000 #constraints=3203 31.88/31.94 c nbDecision=28500 #constraints=3203 32.47/32.59 c nbDecision=29000 #constraints=3203 32.88/32.97 c nbDecision=29500 #constraints=3218 33.57/33.64 c nbDecision=30000 #constraints=3218 34.17/34.29 c nbDecision=30500 #constraints=3218 34.78/34.86 c nbDecision=31000 #constraints=3254 35.28/35.35 c nbDecision=31500 #constraints=3254 35.98/36.02 c nbDecision=32000 #constraints=3254 36.58/36.67 c nbDecision=32500 #constraints=3254 36.98/37.03 c nbDecision=33000 #constraints=3255 37.68/37.70 c nbDecision=33500 #constraints=3255 38.28/38.36 c nbDecision=34000 #constraints=3255 38.78/38.80 c nbDecision=34500 #constraints=3264 39.38/39.40 c nbDecision=35000 #constraints=3264 39.98/40.07 c nbDecision=35500 #constraints=3264 40.58/40.65 c nbDecision=36000 #constraints=3280 41.08/41.11 c nbDecision=36500 #constraints=3280 41.68/41.78 c nbDecision=37000 #constraints=3280 42.38/42.47 c nbDecision=37500 #constraints=3301 42.78/42.84 c nbDecision=38000 #constraints=3301 43.48/43.51 c nbDecision=38500 #constraints=3301 44.08/44.16 c nbDecision=39000 #constraints=3301 44.68/44.79 c nbDecision=39500 #constraints=3375 45.28/45.33 c nbDecision=40000 #constraints=3375 45.88/45.99 c nbDecision=40500 #constraints=3375 46.58/46.66 c nbDecision=41000 #constraints=3379 46.98/47.02 c nbDecision=41500 #constraints=3381 47.48/47.56 c nbDecision=42000 #constraints=3381 48.18/48.22 c nbDecision=42500 #constraints=3381 48.77/48.87 c nbDecision=43000 #constraints=3383 49.17/49.26 c nbDecision=43500 #constraints=3419 49.77/49.81 c nbDecision=44000 #constraints=3419 50.37/50.47 c nbDecision=44500 #constraints=3419 51.07/51.11 c nbDecision=45000 #constraints=3419 51.37/51.45 c nbDecision=45500 #constraints=3420 51.97/52.02 c nbDecision=46000 #constraints=3420 52.57/52.67 c nbDecision=46500 #constraints=3420 53.27/53.32 c nbDecision=47000 #constraints=3420 53.57/53.68 c nbDecision=47500 #constraints=3434 54.17/54.24 c nbDecision=48000 #constraints=3434 54.77/54.90 c nbDecision=48500 #constraints=3434 55.47/55.55 c nbDecision=49000 #constraints=3434 55.87/55.98 c nbDecision=49500 #constraints=3470 56.37/56.49 c nbDecision=50000 #constraints=3470 57.07/57.16 c nbDecision=50500 #constraints=3470 57.87/57.99 c nbDecision=51000 #constraints=3541 58.47/58.58 c restart after 51201 decisions 58.67/58.77 c nbDecision=51500 #constraints=3676 59.17/59.23 c nbDecision=52000 #constraints=3676 59.87/59.90 c nbDecision=52500 #constraints=3676 60.47/60.56 c nbDecision=53000 #constraints=3676 61.07/61.11 c nbDecision=53500 #constraints=3734 61.47/61.53 c nbDecision=54000 #constraints=3734 62.17/62.20 c nbDecision=54500 #constraints=3734 62.77/62.86 c nbDecision=55000 #constraints=3734 64.27/64.30 c nbDecision=55500 #constraints=4015 64.77/64.89 c nbDecision=56000 #constraints=4044 65.17/65.26 c nbDecision=56500 #constraints=4044 65.87/65.93 c nbDecision=57000 #constraints=4044 66.46/66.58 c nbDecision=57500 #constraints=4044 67.16/67.28 c nbDecision=58000 #constraints=4096 67.46/67.57 c nbDecision=58500 #constraints=4096 68.17/68.27 c nbDecision=59000 #constraints=4118 68.86/68.92 c nbDecision=59500 #constraints=4118 69.56/69.62 c nbDecision=60000 #constraints=4141 69.97/70.01 c nbDecision=60500 #constraints=4180 70.47/70.58 c nbDecision=61000 #constraints=4180 71.17/71.24 c nbDecision=61500 #constraints=4180 71.87/71.90 c nbDecision=62000 #constraints=4182 72.37/72.42 c nbDecision=62500 #constraints=4229 72.77/72.86 c nbDecision=63000 #constraints=4229 73.47/73.53 c nbDecision=63500 #constraints=4229 74.07/74.19 c nbDecision=64000 #constraints=4230 74.77/74.85 c nbDecision=64500 #constraints=4296 75.07/75.17 c nbDecision=65000 #constraints=4296 75.77/75.85 c nbDecision=65500 #constraints=4296 76.47/76.50 c nbDecision=66000 #constraints=4296 77.17/77.21 c nbDecision=66500 #constraints=4324 77.57/77.66 c nbDecision=67000 #constraints=4379 78.17/78.20 c nbDecision=67500 #constraints=4379 78.77/78.86 c nbDecision=68000 #constraints=4379 79.47/79.56 c nbDecision=68500 #constraints=4392 80.27/80.31 c nbDecision=69000 #constraints=4476 80.67/80.78 c nbDecision=69500 #constraints=4508 81.17/81.27 c nbDecision=70000 #constraints=4508 81.87/81.94 c nbDecision=70500 #constraints=4508 82.57/82.61 c nbDecision=71000 #constraints=4508 83.27/83.39 c nbDecision=71500 #constraints=4613 84.27/84.31 c nbDecision=72000 #constraints=4830 84.97/85.03 c nbDecision=72500 #constraints=4882 85.77/85.87 c nbDecision=73000 #constraints=5035 86.66/86.72 c nbDecision=73500 #constraints=5205 87.36/87.44 c nbDecision=74000 #constraints=5275 88.06/88.15 c nbDecision=74500 #constraints=5334 88.76/88.89 c nbDecision=75000 #constraints=5433 89.56/89.60 c nbDecision=75500 #constraints=5512 90.26/90.35 c nbDecision=76000 #constraints=5597 90.97/91.08 c nbDecision=76500 #constraints=5659 91.67/91.79 c nbDecision=77000 #constraints=5723 92.57/92.60 c nbDecision=77500 #constraints=5855 93.27/93.35 c nbDecision=78000 #constraints=5945 94.07/94.12 c nbDecision=78500 #constraints=6073 94.77/94.84 c nbDecision=79000 #constraints=6155 95.46/95.59 c nbDecision=79500 #constraints=6261 95.86/95.96 c nbDecision=80000 #constraints=6287 96.46/96.55 c nbDecision=80500 #constraints=6287 97.16/97.22 c nbDecision=81000 #constraints=6287 97.87/97.92 c nbDecision=81500 #constraints=6295 98.66/98.73 c nbDecision=82000 #constraints=6371 99.36/99.49 c nbDecision=82500 #constraints=6442 100.16/100.26 c nbDecision=83000 #constraints=6529 100.96/101.02 c nbDecision=83500 #constraints=6620 101.66/101.77 c nbDecision=84000 #constraints=6706 102.06/102.16 c nbDecision=84500 #constraints=6720 102.66/102.72 c nbDecision=85000 #constraints=6720 103.26/103.39 c nbDecision=85500 #constraints=6721 104.06/104.18 c nbDecision=86000 #constraints=6751 104.86/104.93 c nbDecision=86500 #constraints=6805 105.66/105.74 c nbDecision=87000 #constraints=6922 106.35/106.45 c nbDecision=87500 #constraints=7065 106.75/106.81 c nbDecision=88000 #constraints=7065 107.35/107.48 c nbDecision=88500 #constraints=7065 108.05/108.13 c nbDecision=89000 #constraints=7065 108.76/108.82 c nbDecision=89500 #constraints=7075 109.56/109.62 c nbDecision=90000 #constraints=7143 110.36/110.45 c nbDecision=90500 #constraints=7275 110.96/111.10 c nbDecision=91000 #constraints=7356 111.36/111.46 c nbDecision=91500 #constraints=7356 112.06/112.13 c nbDecision=92000 #constraints=7356 112.66/112.78 c nbDecision=92500 #constraints=7356 113.46/113.53 c nbDecision=93000 #constraints=7394 114.26/114.34 c nbDecision=93500 #constraints=7499 115.05/115.16 c nbDecision=94000 #constraints=7645 115.65/115.77 c nbDecision=94500 #constraints=7743 116.15/116.23 c nbDecision=95000 #constraints=7743 116.85/116.90 c nbDecision=95500 #constraints=7743 117.66/117.78 c nbDecision=96000 #constraints=7788 119.76/119.85 c nbDecision=96500 #constraints=8076 120.65/120.70 c nbDecision=97000 #constraints=8154 121.35/121.44 c nbDecision=97500 #constraints=8211 122.05/122.11 c nbDecision=98000 #constraints=8292 122.35/122.48 c nbDecision=98500 #constraints=8292 123.05/123.15 c nbDecision=99000 #constraints=8292 123.75/123.81 c nbDecision=99500 #constraints=8292 124.45/124.56 c nbDecision=100000 #constraints=8316 125.15/125.24 c nbDecision=100500 #constraints=8332 125.85/125.90 c nbDecision=101000 #constraints=8411 126.15/126.28 c nbDecision=101500 #constraints=8411 126.86/126.94 c nbDecision=102000 #constraints=8411 127.36/127.47 c restart after 102401 decisions 127.46/127.53 c nbDecision=102500 #constraints=8411 127.76/127.86 c nbDecision=103000 #constraints=8411 128.46/128.52 c nbDecision=103500 #constraints=8411 129.06/129.18 c nbDecision=104000 #constraints=8411 131.15/131.21 c nbDecision=104500 #constraints=8659 134.35/134.47 c nbDecision=105000 #constraints=9047 137.45/137.51 c nbDecision=105500 #constraints=9360 139.04/139.14 c nbDecision=106000 #constraints=9489 139.85/139.95 c nbDecision=106500 #constraints=9554 140.66/140.79 c nbDecision=107000 #constraints=9681 141.05/141.14 c nbDecision=107500 #constraints=9681 141.76/141.82 c nbDecision=108000 #constraints=9681 142.35/142.48 c nbDecision=108500 #constraints=9681 143.15/143.28 c nbDecision=109000 #constraints=9696 143.96/144.08 c nbDecision=109500 #constraints=9760 144.55/144.62 c nbDecision=110000 #constraints=9775 144.95/145.10 c nbDecision=110500 #constraints=9775 145.65/145.77 c nbDecision=111000 #constraints=9775 146.35/146.44 c nbDecision=111500 #constraints=9775 147.15/147.24 c nbDecision=112000 #constraints=9818 147.95/148.03 c nbDecision=112500 #constraints=9906 148.35/148.48 c nbDecision=113000 #constraints=9924 148.95/149.05 c nbDecision=113500 #constraints=9924 149.65/149.71 c nbDecision=114000 #constraints=9924 150.35/150.50 c nbDecision=114500 #constraints=9940 151.25/151.39 c nbDecision=115000 #constraints=10036 152.25/152.30 c nbDecision=115500 #constraints=10187 152.65/152.79 c nbDecision=116000 #constraints=10223 153.25/153.36 c nbDecision=116500 #constraints=10223 153.95/154.02 c nbDecision=117000 #constraints=10223 154.65/154.80 c nbDecision=117500 #constraints=10236 155.54/155.67 c nbDecision=118000 #constraints=10317 156.44/156.52 c nbDecision=118500 #constraints=10431 157.04/157.14 c nbDecision=119000 #constraints=10509 157.54/157.66 c nbDecision=119500 #constraints=10509 158.25/158.33 c nbDecision=120000 #constraints=10509 159.14/159.24 c nbDecision=120500 #constraints=10527 159.94/160.04 c nbDecision=121000 #constraints=10573 160.84/160.94 c nbDecision=121500 #constraints=10701 161.44/161.54 c nbDecision=122000 #constraints=10756 161.94/162.04 c nbDecision=122500 #constraints=10756 162.64/162.71 c nbDecision=123000 #constraints=10756 163.34/163.40 c nbDecision=123500 #constraints=10756 164.14/164.21 c nbDecision=124000 #constraints=10807 164.94/165.03 c nbDecision=124500 #constraints=10890 165.95/166.06 c nbDecision=125000 #constraints=11086 166.25/166.40 c nbDecision=125500 #constraints=11086 166.95/167.06 c nbDecision=126000 #constraints=11086 167.65/167.72 c nbDecision=126500 #constraints=11086 168.45/168.50 c nbDecision=127000 #constraints=11113 169.25/169.38 c nbDecision=127500 #constraints=11216 170.35/170.48 c nbDecision=128000 #constraints=11429 170.65/170.79 c nbDecision=128500 #constraints=11429 171.34/171.46 c nbDecision=129000 #constraints=11429 172.04/172.11 c nbDecision=129500 #constraints=11429 172.74/172.88 c nbDecision=130000 #constraints=11440 173.65/173.74 c nbDecision=130500 #constraints=11515 174.44/174.58 c nbDecision=131000 #constraints=11619 175.04/175.13 c nbDecision=131500 #constraints=11660 175.54/175.64 c nbDecision=132000 #constraints=11660 176.24/176.31 c nbDecision=132500 #constraints=11660 176.84/176.99 c nbDecision=133000 #constraints=11660 177.74/177.90 c nbDecision=133500 #constraints=11736 178.64/178.72 c nbDecision=134000 #constraints=11811 178.94/179.08 c nbDecision=134500 #constraints=11811 179.64/179.75 c nbDecision=135000 #constraints=11811 180.34/180.41 c nbDecision=135500 #constraints=11811 181.04/181.17 c nbDecision=136000 #constraints=11823 182.04/182.15 c nbDecision=136500 #constraints=11946 182.93/183.06 c nbDecision=137000 #constraints=12062 183.33/183.49 c nbDecision=137500 #constraints=12073 184.03/184.10 c nbDecision=138000 #constraints=12073 184.64/184.77 c nbDecision=138500 #constraints=12073 185.43/185.52 c nbDecision=139000 #constraints=12093 186.23/186.36 c nbDecision=139500 #constraints=12156 187.23/187.37 c nbDecision=140000 #constraints=12305 187.83/187.93 c nbDecision=140500 #constraints=12360 188.33/188.48 c nbDecision=141000 #constraints=12360 189.04/189.14 c nbDecision=141500 #constraints=12360 189.74/189.89 c nbDecision=142000 #constraints=12370 190.74/190.80 c nbDecision=142500 #constraints=12448 191.54/191.66 c nbDecision=143000 #constraints=12543 192.23/192.40 c nbDecision=143500 #constraints=12632 192.73/192.83 c nbDecision=144000 #constraints=12632 193.33/193.49 c nbDecision=144500 #constraints=12632 194.13/194.23 c nbDecision=145000 #constraints=12641 195.13/195.29 c nbDecision=145500 #constraints=12704 195.93/196.07 c nbDecision=146000 #constraints=12760 196.84/196.99 c nbDecision=146500 #constraints=12888 197.23/197.31 c nbDecision=147000 #constraints=12888 197.84/197.98 c nbDecision=147500 #constraints=12888 198.53/198.64 c nbDecision=148000 #constraints=12888 199.33/199.43 c nbDecision=148500 #constraints=12900 200.23/200.32 c nbDecision=149000 #constraints=12982 201.14/201.29 c nbDecision=149500 #constraints=13129 201.63/201.73 c nbDecision=150000 #constraints=13137 202.24/202.33 c nbDecision=150500 #constraints=13137 202.83/203.00 c nbDecision=151000 #constraints=13137 203.63/203.72 c nbDecision=151500 #constraints=13146 204.43/204.56 c nbDecision=152000 #constraints=13195 205.43/205.58 c nbDecision=152500 #constraints=13348 206.03/206.16 c nbDecision=153000 #constraints=13389 206.53/206.66 c nbDecision=153500 #constraints=13389 207.33/207.41 c nbDecision=154000 #constraints=13409 208.03/208.10 c nbDecision=154500 #constraints=13409 208.83/208.91 c nbDecision=155000 #constraints=13450 209.73/209.82 c nbDecision=155500 #constraints=13556 210.53/210.69 c nbDecision=156000 #constraints=13663 210.93/211.06 c nbDecision=156500 #constraints=13663 211.62/211.73 c nbDecision=157000 #constraints=13663 212.23/212.38 c nbDecision=157500 #constraints=13663 213.02/213.12 c nbDecision=158000 #constraints=13674 213.82/213.92 c nbDecision=158500 #constraints=13721 214.82/214.91 c nbDecision=159000 #constraints=13874 215.32/215.42 c nbDecision=159500 #constraints=13909 215.82/215.98 c nbDecision=160000 #constraints=13909 216.53/216.65 c nbDecision=160500 #constraints=13909 217.32/217.46 c nbDecision=161000 #constraints=13923 218.12/218.28 c nbDecision=161500 #constraints=13965 219.12/219.26 c nbDecision=162000 #constraints=14093 219.92/220.02 c nbDecision=162500 #constraints=14162 220.42/220.53 c nbDecision=163000 #constraints=14163 220.92/221.04 c nbDecision=163500 #constraints=14163 221.62/221.70 c nbDecision=164000 #constraints=14163 222.32/222.46 c nbDecision=164500 #constraints=14168 223.33/223.41 c nbDecision=165000 #constraints=14242 224.33/224.41 c nbDecision=165500 #constraints=14364 224.93/225.05 c nbDecision=166000 #constraints=14383 225.53/225.64 c nbDecision=166500 #constraints=14388 225.93/226.05 c nbDecision=167000 #constraints=14388 226.63/226.71 c nbDecision=167500 #constraints=14388 227.23/227.37 c nbDecision=168000 #constraints=14388 228.22/228.33 c nbDecision=168500 #constraints=14440 229.32/229.41 c nbDecision=169000 #constraints=14579 230.22/230.36 c nbDecision=169500 #constraints=14720 230.93/231.03 c nbDecision=170000 #constraints=14760 231.32/231.41 c nbDecision=170500 #constraints=14760 231.93/232.08 c nbDecision=171000 #constraints=14760 232.62/232.73 c nbDecision=171500 #constraints=14760 233.42/233.52 c nbDecision=172000 #constraints=14778 234.22/234.37 c nbDecision=172500 #constraints=14843 235.22/235.30 c nbDecision=173000 #constraints=14963 235.92/236.04 c nbDecision=173500 #constraints=15007 236.22/236.36 c nbDecision=174000 #constraints=15007 236.92/237.03 c nbDecision=174500 #constraints=15007 237.52/237.69 c nbDecision=175000 #constraints=15007 238.32/238.44 c nbDecision=175500 #constraints=15017 239.22/239.36 c nbDecision=176000 #constraints=15082 240.22/240.39 c nbDecision=176500 #constraints=15205 240.92/241.02 c nbDecision=177000 #constraints=15217 241.31/241.47 c nbDecision=177500 #constraints=15218 241.92/242.05 c nbDecision=178000 #constraints=15218 242.61/242.72 c nbDecision=178500 #constraints=15218 243.41/243.53 c nbDecision=179000 #constraints=15232 244.31/244.40 c nbDecision=179500 #constraints=15282 245.12/245.28 c nbDecision=180000 #constraints=15364 246.01/246.11 c nbDecision=180500 #constraints=15460 246.51/246.66 c nbDecision=181000 #constraints=15475 247.01/247.14 c nbDecision=181500 #constraints=15475 247.71/247.83 c nbDecision=182000 #constraints=15481 248.61/248.77 c nbDecision=182500 #constraints=15502 249.51/249.66 c nbDecision=183000 #constraints=15555 250.41/250.59 c nbDecision=183500 #constraints=15655 251.22/251.32 c nbDecision=184000 #constraints=15708 251.92/252.01 c nbDecision=184500 #constraints=15764 252.32/252.41 c nbDecision=185000 #constraints=15764 252.92/253.07 c nbDecision=185500 #constraints=15764 253.71/253.83 c nbDecision=186000 #constraints=15769 254.91/255.09 c nbDecision=186500 #constraints=15849 255.81/255.97 c nbDecision=187000 #constraints=15910 256.91/257.03 c nbDecision=187500 #constraints=16048 257.61/257.78 c nbDecision=188000 #constraints=16081 258.01/258.11 c nbDecision=188500 #constraints=16081 258.61/258.76 c nbDecision=189000 #constraints=16081 259.31/259.42 c nbDecision=189500 #constraints=16081 260.11/260.27 c nbDecision=190000 #constraints=16100 261.11/261.23 c nbDecision=190500 #constraints=16181 262.11/262.28 c nbDecision=191000 #constraints=16311 262.81/262.99 c nbDecision=191500 #constraints=16365 263.31/263.49 c nbDecision=192000 #constraints=16374 263.91/264.04 c nbDecision=192500 #constraints=16374 264.61/264.70 c nbDecision=193000 #constraints=16374 265.31/265.42 c nbDecision=193500 #constraints=16376 266.11/266.29 c nbDecision=194000 #constraints=16424 266.91/267.04 c nbDecision=194500 #constraints=16457 267.81/267.96 c nbDecision=195000 #constraints=16569 268.51/268.68 c nbDecision=195500 #constraints=16635 269.31/269.40 c nbDecision=196000 #constraints=16669 269.90/270.07 c nbDecision=196500 #constraints=16669 270.60/270.73 c nbDecision=197000 #constraints=16669 271.51/271.63 c nbDecision=197500 #constraints=16707 272.40/272.59 c nbDecision=198000 #constraints=16794 273.50/273.65 c nbDecision=198500 #constraints=16945 274.10/274.24 c nbDecision=199000 #constraints=16945 274.60/274.75 c nbDecision=199500 #constraints=16965 275.20/275.30 c nbDecision=200000 #constraints=16965 275.80/275.96 c nbDecision=200500 #constraints=16965 276.70/276.85 c nbDecision=201000 #constraints=16983 277.60/277.74 c nbDecision=201500 #constraints=17030 278.60/278.79 c nbDecision=202000 #constraints=17137 279.40/279.59 c nbDecision=202500 #constraints=17200 280.10/280.26 c nbDecision=203000 #constraints=17235 280.50/280.68 c nbDecision=203500 #constraints=17235 281.20/281.35 c nbDecision=204000 #constraints=17235 281.90/282.03 c nbDecision=204500 #constraints=17235 283.30/283.42 c restart after 204801 decisions 283.50/283.65 c nbDecision=205000 #constraints=17307 283.90/284.03 c nbDecision=205500 #constraints=17307 284.60/284.70 c nbDecision=206000 #constraints=17307 285.20/285.38 c nbDecision=206500 #constraints=17307 286.91/287.01 c nbDecision=207000 #constraints=17389 287.90/288.04 c nbDecision=207500 #constraints=17495 289.00/289.11 c nbDecision=208000 #constraints=17644 289.80/289.92 c nbDecision=208500 #constraints=17699 290.10/290.25 c nbDecision=209000 #constraints=17699 290.70/290.87 c nbDecision=209500 #constraints=17699 291.40/291.53 c nbDecision=210000 #constraints=17699 292.40/292.59 c nbDecision=210500 #constraints=17728 293.30/293.47 c nbDecision=211000 #constraints=17771 294.30/294.47 c nbDecision=211500 #constraints=17874 295.10/295.23 c nbDecision=212000 #constraints=17920 295.80/295.96 c nbDecision=212500 #constraints=17984 296.99/297.14 c nbDecision=213000 #constraints=18202 298.09/298.24 c nbDecision=213500 #constraints=18329 298.79/298.90 c nbDecision=214000 #constraints=18329 299.59/299.77 c nbDecision=214500 #constraints=18345 300.49/300.69 c nbDecision=215000 #constraints=18405 301.49/301.69 c nbDecision=215500 #constraints=18504 302.19/302.34 c nbDecision=216000 #constraints=18523 302.89/303.02 c nbDecision=216500 #constraints=18566 304.60/304.71 c nbDecision=217000 #constraints=18869 306.49/306.67 c nbDecision=217500 #constraints=19249 308.39/308.51 c nbDecision=218000 #constraints=19602 309.49/309.61 c nbDecision=218500 #constraints=19771 310.59/310.77 c nbDecision=219000 #constraints=19934 312.89/313.01 c nbDecision=219500 #constraints=20332 313.79/313.92 c nbDecision=220000 #constraints=20406 314.59/314.72 c nbDecision=220500 #constraints=20446 315.89/316.06 c nbDecision=221000 #constraints=20586 316.69/316.83 c nbDecision=221500 #constraints=20615 317.39/317.59 c nbDecision=222000 #constraints=20641 318.19/318.31 c nbDecision=222500 #constraints=20657 318.89/319.02 c nbDecision=223000 #constraints=20672 319.59/319.76 c nbDecision=223500 #constraints=20691 320.29/320.46 c nbDecision=224000 #constraints=20705 320.99/321.18 c nbDecision=224500 #constraints=20719 321.79/321.91 c nbDecision=225000 #constraints=20737 322.49/322.63 c nbDecision=225500 #constraints=20751 323.19/323.36 c nbDecision=226000 #constraints=20767 323.89/324.09 c nbDecision=226500 #constraints=20784 324.69/324.81 c nbDecision=227000 #constraints=20799 325.39/325.55 c nbDecision=227500 #constraints=20816 326.09/326.28 c nbDecision=228000 #constraints=20830 326.89/327.00 c nbDecision=228500 #constraints=20846 327.59/327.71 c nbDecision=229000 #constraints=20860 328.29/328.43 c nbDecision=229500 #constraints=20877 328.99/329.14 c nbDecision=230000 #constraints=20891 329.69/329.84 c nbDecision=230500 #constraints=20905 330.39/330.56 c nbDecision=231000 #constraints=20920 331.09/331.29 c nbDecision=231500 #constraints=20935 331.88/332.09 c nbDecision=232000 #constraints=20946 332.58/332.75 c nbDecision=232500 #constraints=20946 333.88/334.01 c nbDecision=233000 #constraints=20983 334.58/334.78 c nbDecision=233500 #constraints=21000 335.48/335.61 c nbDecision=234000 #constraints=21044 336.28/336.48 c nbDecision=234500 #constraints=21102 336.98/337.17 c nbDecision=235000 #constraints=21132 337.68/337.84 c nbDecision=235500 #constraints=21145 338.68/338.89 c nbDecision=236000 #constraints=21226 339.79/339.92 c nbDecision=236500 #constraints=21301 340.69/340.83 c nbDecision=237000 #constraints=21345 341.39/341.59 c nbDecision=237500 #constraints=21361 342.48/342.69 c nbDecision=238000 #constraints=21455 343.28/343.44 c nbDecision=238500 #constraints=21469 344.08/344.27 c nbDecision=239000 #constraints=21480 344.78/344.94 c nbDecision=239500 #constraints=21480 345.58/345.74 c nbDecision=240000 #constraints=21494 346.48/346.60 c nbDecision=240500 #constraints=21528 347.58/347.78 c nbDecision=241000 #constraints=21653 348.48/348.68 c nbDecision=241500 #constraints=21726 349.28/349.41 c nbDecision=242000 #constraints=21776 350.87/351.08 c nbDecision=242500 #constraints=21932 351.57/351.75 c nbDecision=243000 #constraints=21932 352.27/352.42 c nbDecision=243500 #constraints=21932 353.17/353.38 c nbDecision=244000 #constraints=21966 354.17/354.33 c nbDecision=244500 #constraints=22031 355.58/355.75 c nbDecision=245000 #constraints=22199 356.28/356.45 c nbDecision=245500 #constraints=22230 357.08/357.20 c nbDecision=246000 #constraints=22280 358.28/358.50 c nbDecision=246500 #constraints=22387 359.98/360.15 c nbDecision=247000 #constraints=22560 360.68/360.82 c nbDecision=247500 #constraints=22560 361.38/361.53 c nbDecision=248000 #constraints=22561 362.38/362.50 c nbDecision=248500 #constraints=22604 363.27/363.46 c nbDecision=249000 #constraints=22668 364.27/364.40 c nbDecision=249500 #constraints=22749 364.98/365.15 c nbDecision=250000 #constraints=22797 366.08/366.25 c nbDecision=250500 #constraints=22868 366.77/366.92 c nbDecision=251000 #constraints=22868 367.37/367.58 c nbDecision=251500 #constraints=22868 368.37/368.55 c nbDecision=252000 #constraints=22898 369.27/369.47 c nbDecision=252500 #constraints=22946 370.37/370.57 c nbDecision=253000 #constraints=23040 371.17/371.33 c nbDecision=253500 #constraints=23088 371.87/372.07 c nbDecision=254000 #constraints=23132 375.97/376.12 c nbDecision=254500 #constraints=23498 381.27/381.43 c nbDecision=255000 #constraints=23932 383.27/383.42 c nbDecision=255500 #constraints=24082 384.37/384.59 c nbDecision=256000 #constraints=24153 385.66/385.88 c nbDecision=256500 #constraints=24248 386.56/386.70 c nbDecision=257000 #constraints=24263 387.36/387.57 c nbDecision=257500 #constraints=24284 388.17/388.37 c nbDecision=258000 #constraints=24297 389.06/389.23 c nbDecision=258500 #constraints=24315 389.86/390.04 c nbDecision=259000 #constraints=24330 390.66/390.89 c nbDecision=259500 #constraints=24348 391.56/391.75 c nbDecision=260000 #constraints=24369 392.46/392.63 c nbDecision=260500 #constraints=24390 393.26/393.48 c nbDecision=261000 #constraints=24408 394.16/394.32 c nbDecision=261500 #constraints=24423 394.96/395.13 c nbDecision=262000 #constraints=24438 395.96/396.11 c nbDecision=262500 #constraints=24465 396.76/396.97 c nbDecision=263000 #constraints=24484 397.66/397.82 c nbDecision=263500 #constraints=24501 398.56/398.72 c nbDecision=264000 #constraints=24525 399.46/399.63 c nbDecision=264500 #constraints=24546 400.36/400.50 c nbDecision=265000 #constraints=24564 401.26/401.42 c nbDecision=265500 #constraints=24585 402.05/402.29 c nbDecision=266000 #constraints=24606 403.05/403.21 c nbDecision=266500 #constraints=24627 403.95/404.10 c nbDecision=267000 #constraints=24648 404.75/404.98 c nbDecision=267500 #constraints=24666 405.76/405.92 c nbDecision=268000 #constraints=24690 406.65/406.83 c nbDecision=268500 #constraints=24711 407.55/407.70 c nbDecision=269000 #constraints=24730 408.36/408.56 c nbDecision=269500 #constraints=24748 409.26/409.45 c nbDecision=270000 #constraints=24768 410.16/410.31 c nbDecision=270500 #constraints=24783 410.96/411.17 c nbDecision=271000 #constraints=24798 411.86/412.07 c nbDecision=271500 #constraints=24816 412.76/412.94 c nbDecision=272000 #constraints=24834 413.66/413.83 c nbDecision=272500 #constraints=24852 414.66/414.80 c nbDecision=273000 #constraints=24867 415.25/415.48 c nbDecision=273500 #constraints=24869 415.95/416.15 c nbDecision=274000 #constraints=24869 416.76/416.99 c nbDecision=274500 #constraints=24884 417.95/418.14 c nbDecision=275000 #constraints=24976 418.75/418.97 c nbDecision=275500 #constraints=25014 419.45/419.66 c nbDecision=276000 #constraints=25038 422.35/422.55 c nbDecision=276500 #constraints=25189 423.65/423.82 c nbDecision=277000 #constraints=25231 424.25/424.48 c nbDecision=277500 #constraints=25231 425.15/425.31 c nbDecision=278000 #constraints=25240 426.05/426.28 c nbDecision=278500 #constraints=25293 427.15/427.32 c nbDecision=279000 #constraints=25363 427.85/428.02 c nbDecision=279500 #constraints=25389 428.45/428.68 c nbDecision=280000 #constraints=25393 429.45/429.65 c nbDecision=280500 #constraints=25434 430.55/430.71 c nbDecision=281000 #constraints=25479 431.35/431.56 c nbDecision=281500 #constraints=25489 432.05/432.21 c nbDecision=282000 #constraints=25489 433.25/433.41 c nbDecision=282500 #constraints=25538 434.35/434.54 c nbDecision=283000 #constraints=25626 435.45/435.61 c nbDecision=283500 #constraints=25723 436.15/436.37 c nbDecision=284000 #constraints=25765 437.05/437.22 c nbDecision=284500 #constraints=25814 439.44/439.68 c nbDecision=285000 #constraints=26060 440.24/440.48 c nbDecision=285500 #constraints=26064 440.94/441.15 c nbDecision=286000 #constraints=26064 441.94/442.13 c nbDecision=286500 #constraints=26098 442.84/443.03 c nbDecision=287000 #constraints=26142 443.95/444.11 c nbDecision=287500 #constraints=26240 444.65/444.83 c nbDecision=288000 #constraints=26277 445.45/445.60 c nbDecision=288500 #constraints=26287 446.05/446.27 c nbDecision=289000 #constraints=26287 446.75/446.93 c nbDecision=289500 #constraints=26287 447.75/447.90 c nbDecision=290000 #constraints=26325 448.65/448.82 c nbDecision=290500 #constraints=26372 449.85/450.01 c nbDecision=291000 #constraints=26479 450.55/450.71 c nbDecision=291500 #constraints=26507 452.24/452.42 c nbDecision=292000 #constraints=26589 455.64/455.80 c nbDecision=292500 #constraints=26757 456.24/456.46 c nbDecision=293000 #constraints=26757 457.34/457.52 c nbDecision=293500 #constraints=26791 458.34/458.56 c nbDecision=294000 #constraints=26853 459.54/459.73 c nbDecision=294500 #constraints=26941 460.24/460.40 c nbDecision=295000 #constraints=26959 461.24/461.44 c nbDecision=295500 #constraints=26994 465.93/466.18 c nbDecision=296000 #constraints=27333 467.03/467.29 c nbDecision=296500 #constraints=27371 469.44/469.69 c nbDecision=297000 #constraints=27476 474.43/474.67 c nbDecision=297500 #constraints=27725 482.24/482.48 c nbDecision=298000 #constraints=28085 483.14/483.32 c nbDecision=298500 #constraints=28090 483.74/483.98 c nbDecision=299000 #constraints=28090 484.94/485.13 c nbDecision=299500 #constraints=28120 485.73/485.98 c nbDecision=300000 #constraints=28148 486.94/487.17 c nbDecision=300500 #constraints=28240 487.73/487.99 c nbDecision=301000 #constraints=28290 488.43/488.67 c nbDecision=301500 #constraints=28299 491.03/491.29 c nbDecision=302000 #constraints=28505 492.73/492.99 c nbDecision=302500 #constraints=28587 494.73/494.99 c nbDecision=303000 #constraints=28696 496.43/496.63 c nbDecision=303500 #constraints=28780 498.53/498.79 c nbDecision=304000 #constraints=28915 500.23/500.47 c nbDecision=304500 #constraints=28998 502.12/502.36 c nbDecision=305000 #constraints=29107 503.53/503.72 c nbDecision=305500 #constraints=29161 505.12/505.34 c nbDecision=306000 #constraints=29243 506.82/507.08 c nbDecision=306500 #constraints=29326 507.92/508.18 c nbDecision=307000 #constraints=29346 508.92/509.19 c nbDecision=307500 #constraints=29360 510.12/510.38 c nbDecision=308000 #constraints=29380 511.33/511.50 c nbDecision=308500 #constraints=29400 512.33/512.57 c nbDecision=309000 #constraints=29417 513.43/513.68 c nbDecision=309500 #constraints=29435 514.42/514.67 c nbDecision=310000 #constraints=29448 515.62/515.82 c nbDecision=310500 #constraints=29468 516.62/516.90 c nbDecision=311000 #constraints=29485 517.82/518.01 c nbDecision=311500 #constraints=29504 518.82/519.07 c nbDecision=312000 #constraints=29520 519.92/520.17 c nbDecision=312500 #constraints=29538 521.12/521.34 c nbDecision=313000 #constraints=29559 522.12/522.39 c nbDecision=313500 #constraints=29574 523.12/523.39 c nbDecision=314000 #constraints=29581 523.82/524.05 c nbDecision=314500 #constraints=29581 524.52/524.77 c nbDecision=315000 #constraints=29584 525.72/525.90 c nbDecision=315500 #constraints=29643 526.92/527.12 c nbDecision=316000 #constraints=29723 527.52/527.76 c nbDecision=316500 #constraints=29731 528.32/528.53 c nbDecision=317000 #constraints=29765 530.71/530.98 c nbDecision=317500 #constraints=29909 533.42/533.60 c nbDecision=318000 #constraints=30041 535.92/536.10 c nbDecision=318500 #constraints=30181 538.91/539.15 c nbDecision=319000 #constraints=30352 541.91/542.13 c nbDecision=319500 #constraints=30516 546.12/546.37 c nbDecision=320000 #constraints=30736 549.41/549.69 c nbDecision=320500 #constraints=30901 553.91/554.16 c nbDecision=321000 #constraints=31143 557.61/557.83 c nbDecision=321500 #constraints=31320 560.01/560.26 c nbDecision=322000 #constraints=31426 563.91/564.17 c nbDecision=322500 #constraints=31619 569.21/569.43 c nbDecision=323000 #constraints=31852 572.41/572.65 c nbDecision=323500 #constraints=32023 574.20/574.40 c nbDecision=324000 #constraints=32068 576.50/576.70 c nbDecision=324500 #constraints=32147 578.31/578.57 c nbDecision=325000 #constraints=32193 579.00/579.24 c nbDecision=325500 #constraints=32193 579.70/579.94 c nbDecision=326000 #constraints=32193 580.70/580.98 c nbDecision=326500 #constraints=32235 581.90/582.14 c nbDecision=327000 #constraints=32303 582.50/582.79 c nbDecision=327500 #constraints=32310 583.50/583.78 c nbDecision=328000 #constraints=32380 586.90/587.19 c nbDecision=328500 #constraints=32486 589.90/590.10 c nbDecision=329000 #constraints=32608 591.80/592.02 c nbDecision=329500 #constraints=32673 592.40/592.67 c nbDecision=330000 #constraints=32673 593.20/593.45 c nbDecision=330500 #constraints=32680 594.29/594.51 c nbDecision=331000 #constraints=32737 595.49/595.72 c nbDecision=331500 #constraints=32819 596.09/596.38 c nbDecision=332000 #constraints=32832 597.19/597.40 c nbDecision=332500 #constraints=32857 597.79/598.07 c nbDecision=333000 #constraints=32857 598.49/598.77 c nbDecision=333500 #constraints=32857 599.59/599.88 c nbDecision=334000 #constraints=32901 600.99/601.28 c nbDecision=334500 #constraints=33001 601.89/602.16 c nbDecision=335000 #constraints=33036 602.59/602.83 c nbDecision=335500 #constraints=33049 605.19/605.44 c nbDecision=336000 #constraints=33128 609.60/609.89 c nbDecision=336500 #constraints=33314 611.50/611.72 c nbDecision=337000 #constraints=33342 613.29/613.56 c nbDecision=337500 #constraints=33371 614.89/615.13 c nbDecision=338000 #constraints=33394 616.80/617.05 c nbDecision=338500 #constraints=33426 618.59/618.89 c nbDecision=339000 #constraints=33454 620.39/620.61 c nbDecision=339500 #constraints=33480 622.29/622.57 c nbDecision=340000 #constraints=33510 624.19/624.41 c nbDecision=340500 #constraints=33540 625.99/626.28 c nbDecision=341000 #constraints=33570 627.89/628.12 c nbDecision=341500 #constraints=33597 629.59/629.85 c nbDecision=342000 #constraints=33624 631.58/631.82 c nbDecision=342500 #constraints=33655 633.29/633.50 c nbDecision=343000 #constraints=33680 635.08/635.39 c nbDecision=343500 #constraints=33708 636.88/637.16 c nbDecision=344000 #constraints=33733 638.79/639.10 c nbDecision=344500 #constraints=33763 640.89/641.10 c nbDecision=345000 #constraints=33798 642.79/643.05 c nbDecision=345500 #constraints=33830 644.59/644.84 c nbDecision=346000 #constraints=33855 646.59/646.83 c nbDecision=346500 #constraints=33889 648.48/648.72 c nbDecision=347000 #constraints=33919 650.38/650.67 c nbDecision=347500 #constraints=33949 652.48/652.77 c nbDecision=348000 #constraints=33985 654.38/654.66 c nbDecision=348500 #constraints=34015 656.18/656.48 c nbDecision=349000 #constraints=34043 658.08/658.40 c nbDecision=349500 #constraints=34075 659.97/660.24 c nbDecision=350000 #constraints=34102 661.87/662.13 c nbDecision=350500 #constraints=34132 663.65/663.95 c nbDecision=351000 #constraints=34158 665.65/665.97 c nbDecision=351500 #constraints=34191 667.64/667.91 c nbDecision=352000 #constraints=34221 669.44/669.79 c nbDecision=352500 #constraints=34250 671.44/671.76 c nbDecision=353000 #constraints=34281 673.54/673.80 c nbDecision=353500 #constraints=34314 675.42/675.74 c nbDecision=354000 #constraints=34344 677.42/677.76 c nbDecision=354500 #constraints=34377 679.32/679.62 c nbDecision=355000 #constraints=34404 681.31/681.60 c nbDecision=355500 #constraints=34436 683.21/683.50 c nbDecision=356000 #constraints=34463 685.30/685.63 c nbDecision=356500 #constraints=34500 686.99/687.35 c nbDecision=357000 #constraints=34524 689.09/689.40 c nbDecision=357500 #constraints=34554 690.98/691.32 c nbDecision=358000 #constraints=34581 693.08/693.42 c nbDecision=358500 #constraints=34613 694.78/695.19 c nbDecision=359000 #constraints=34639 696.58/696.98 c nbDecision=359500 #constraints=34663 698.48/698.82 c nbDecision=360000 #constraints=34689 700.38/700.76 c nbDecision=360500 #constraints=34720 702.37/702.78 c nbDecision=361000 #constraints=34749 703.97/704.38 c nbDecision=361500 #constraints=34768 706.07/706.41 c nbDecision=362000 #constraints=34799 707.97/708.40 c nbDecision=362500 #constraints=34829 709.97/710.37 c nbDecision=363000 #constraints=34859 712.16/712.52 c nbDecision=363500 #constraints=34894 714.06/714.42 c nbDecision=364000 #constraints=34925 715.95/716.30 c nbDecision=364500 #constraints=34951 718.05/718.48 c nbDecision=365000 #constraints=34986 719.85/720.26 c nbDecision=365500 #constraints=35012 721.75/722.16 c nbDecision=366000 #constraints=35039 723.75/724.19 c nbDecision=366500 #constraints=35068 725.75/726.19 c nbDecision=367000 #constraints=35097 727.75/728.17 c nbDecision=367500 #constraints=35128 730.05/730.47 c nbDecision=368000 #constraints=35168 731.95/732.38 c nbDecision=368500 #constraints=35195 733.95/734.33 c nbDecision=369000 #constraints=35224 735.85/736.26 c nbDecision=369500 #constraints=35252 737.75/738.19 c nbDecision=370000 #constraints=35280 739.75/740.14 c nbDecision=370500 #constraints=35308 741.65/742.06 c nbDecision=371000 #constraints=35335 743.65/744.05 c nbDecision=371500 #constraints=35364 745.45/745.88 c nbDecision=372000 #constraints=35387 747.14/747.57 c nbDecision=372500 #constraints=35409 749.24/749.61 c nbDecision=373000 #constraints=35441 751.24/751.66 c nbDecision=373500 #constraints=35473 753.24/753.64 c nbDecision=374000 #constraints=35500 755.24/755.63 c nbDecision=374500 #constraints=35529 757.14/757.52 c nbDecision=375000 #constraints=35557 759.04/759.50 c nbDecision=375500 #constraints=35584 761.14/761.55 c nbDecision=376000 #constraints=35614 763.34/763.77 c nbDecision=376500 #constraints=35647 765.34/765.78 c nbDecision=377000 #constraints=35676 767.35/767.74 c nbDecision=377500 #constraints=35703 769.55/769.93 c nbDecision=378000 #constraints=35737 771.64/772.06 c nbDecision=378500 #constraints=35772 773.64/774.07 c nbDecision=379000 #constraints=35801 775.64/776.10 c nbDecision=379500 #constraints=35830 777.64/778.01 c nbDecision=380000 #constraints=35856 779.74/780.14 c nbDecision=380500 #constraints=35888 781.54/781.97 c nbDecision=381000 #constraints=35914 783.73/784.20 c nbDecision=381500 #constraints=35948 785.83/786.21 c nbDecision=382000 #constraints=35977 787.83/788.27 c nbDecision=382500 #constraints=36006 789.83/790.26 c nbDecision=383000 #constraints=36035 791.83/792.25 c nbDecision=383500 #constraints=36064 793.53/793.96 c nbDecision=384000 #constraints=36085 795.63/796.01 c nbDecision=384500 #constraints=36115 797.62/798.02 c nbDecision=385000 #constraints=36144 799.82/800.22 c nbDecision=385500 #constraints=36173 801.72/802.11 c nbDecision=386000 #constraints=36198 804.02/804.40 c nbDecision=386500 #constraints=36232 805.83/806.26 c nbDecision=387000 #constraints=36254 808.03/808.48 c nbDecision=387500 #constraints=36285 809.82/810.24 c nbDecision=388000 #constraints=36308 811.82/812.28 c nbDecision=388500 #constraints=36338 813.82/814.25 c nbDecision=389000 #constraints=36365 815.82/816.29 c nbDecision=389500 #constraints=36395 818.12/818.50 c nbDecision=390000 #constraints=36429 820.12/820.58 c nbDecision=390500 #constraints=36459 822.12/822.58 c nbDecision=391000 #constraints=36487 824.12/824.53 c nbDecision=391500 #constraints=36513 826.32/826.71 c nbDecision=392000 #constraints=36544 828.52/828.93 c nbDecision=392500 #constraints=36576 830.52/830.93 c nbDecision=393000 #constraints=36604 832.72/833.15 c nbDecision=393500 #constraints=36634 834.72/835.11 c nbDecision=394000 #constraints=36661 836.72/837.19 c nbDecision=394500 #constraints=36688 838.82/839.24 c nbDecision=395000 #constraints=36716 840.91/841.32 c nbDecision=395500 #constraints=36745 843.01/843.40 c nbDecision=396000 #constraints=36774 845.11/845.57 c nbDecision=396500 #constraints=36804 846.91/847.36 c nbDecision=397000 #constraints=36826 849.11/849.59 c nbDecision=397500 #constraints=36858 851.01/851.45 c nbDecision=398000 #constraints=36883 853.32/853.71 c nbDecision=398500 #constraints=36916 855.22/855.65 c nbDecision=399000 #constraints=36941 857.11/857.53 c nbDecision=399500 #constraints=36964 859.31/859.79 c nbDecision=400000 #constraints=36998 861.51/861.97 c nbDecision=400500 #constraints=37028 863.41/863.80 c nbDecision=401000 #constraints=37050 865.51/865.97 c nbDecision=401500 #constraints=37079 867.71/868.15 c nbDecision=402000 #constraints=37107 869.71/870.17 c nbDecision=402500 #constraints=37134 871.91/872.40 c nbDecision=403000 #constraints=37165 873.70/874.19 c nbDecision=403500 #constraints=37186 875.60/876.09 c nbDecision=404000 #constraints=37208 877.80/878.23 c nbDecision=404500 #constraints=37237 879.90/880.31 c nbDecision=405000 #constraints=37264 883.30/883.79 c nbDecision=405500 #constraints=37316 885.70/886.12 c nbDecision=406000 #constraints=37361 888.20/888.66 c nbDecision=406500 #constraints=37409 890.51/890.97 c nbDecision=407000 #constraints=37447 892.91/893.30 c nbDecision=407500 #constraints=37491 895.30/895.80 c nbDecision=408000 #constraints=37537 898.21/898.60 c nbDecision=408500 #constraints=37596 900.80/901.22 c nbDecision=409000 #constraints=37647 903.10/903.54 c nbDecision=409500 #constraints=37689 903.70/904.18 c restart after 409601 decisions 904.40/904.83 c nbDecision=410000 #constraints=37702 905.10/905.52 c nbDecision=410500 #constraints=37702 905.70/906.18 c nbDecision=411000 #constraints=37702 906.40/906.88 c nbDecision=411500 #constraints=37702 907.40/907.83 c nbDecision=412000 #constraints=37730 908.39/908.86 c nbDecision=412500 #constraints=37774 909.49/909.91 c nbDecision=413000 #constraints=37823 910.09/910.58 c nbDecision=413500 #constraints=37836 911.69/912.15 c nbDecision=414000 #constraints=37852 913.99/914.46 c nbDecision=414500 #constraints=37885 916.70/917.13 c nbDecision=415000 #constraints=37927 919.20/919.65 c nbDecision=415500 #constraints=37965 921.30/921.76 c nbDecision=416000 #constraints=37992 923.60/924.01 c nbDecision=416500 #constraints=38024 925.79/926.23 c nbDecision=417000 #constraints=38056 928.09/928.56 c nbDecision=417500 #constraints=38092 930.19/930.62 c nbDecision=418000 #constraints=38119 932.49/933.00 c nbDecision=418500 #constraints=38151 935.39/935.85 c nbDecision=419000 #constraints=38198 937.89/938.31 c nbDecision=419500 #constraints=38237 940.39/940.83 c nbDecision=420000 #constraints=38275 942.89/943.31 c nbDecision=420500 #constraints=38313 945.39/945.90 c nbDecision=421000 #constraints=38354 947.88/948.30 c nbDecision=421500 #constraints=38391 950.18/950.62 c nbDecision=422000 #constraints=38424 952.48/952.94 c nbDecision=422500 #constraints=38458 954.88/955.36 c nbDecision=423000 #constraints=38492 957.48/957.93 c nbDecision=423500 #constraints=38531 959.88/960.37 c nbDecision=424000 #constraints=38565 962.28/962.70 c nbDecision=424500 #constraints=38599 964.68/965.17 c nbDecision=425000 #constraints=38634 967.17/967.65 c nbDecision=425500 #constraints=38669 969.79/970.30 c nbDecision=426000 #constraints=38712 972.28/972.76 c nbDecision=426500 #constraints=38749 974.88/975.32 c nbDecision=427000 #constraints=38788 977.28/977.76 c nbDecision=427500 #constraints=38825 979.88/980.34 c nbDecision=428000 #constraints=38864 982.17/982.64 c nbDecision=428500 #constraints=38895 984.77/985.28 c nbDecision=429000 #constraints=38934 987.07/987.55 c nbDecision=429500 #constraints=38964 989.27/989.76 c nbDecision=430000 #constraints=38994 991.57/992.01 c nbDecision=430500 #constraints=39025 993.87/994.38 c nbDecision=431000 #constraints=39059 996.17/996.63 c nbDecision=431500 #constraints=39089 998.47/998.95 c nbDecision=432000 #constraints=39119 1000.67/1001.11 c nbDecision=432500 #constraints=39144 1002.87/1003.39 c nbDecision=433000 #constraints=39175 1005.37/1005.85 c nbDecision=433500 #constraints=39211 1007.66/1008.12 c nbDecision=434000 #constraints=39242 1009.96/1010.41 c nbDecision=434500 #constraints=39273 1012.46/1012.95 c nbDecision=435000 #constraints=39311 1014.77/1015.28 c nbDecision=435500 #constraints=39342 1017.26/1017.76 c nbDecision=436000 #constraints=39377 1019.76/1020.21 c nbDecision=436500 #constraints=39413 1022.26/1022.74 c nbDecision=437000 #constraints=39448 1024.56/1025.06 c nbDecision=437500 #constraints=39479 1027.26/1027.73 c nbDecision=438000 #constraints=39517 1029.86/1030.34 c nbDecision=438500 #constraints=39556 1032.06/1032.59 c nbDecision=439000 #constraints=39586 1034.45/1034.98 c nbDecision=439500 #constraints=39620 1036.86/1037.39 c nbDecision=440000 #constraints=39651 1039.45/1039.96 c nbDecision=440500 #constraints=39683 1042.05/1042.54 c nbDecision=441000 #constraints=39718 1044.45/1044.93 c nbDecision=441500 #constraints=39751 1047.26/1047.71 c nbDecision=442000 #constraints=39790 1049.26/1049.74 c nbDecision=442500 #constraints=39815 1051.56/1052.01 c nbDecision=443000 #constraints=39845 1053.95/1054.41 c nbDecision=443500 #constraints=39878 1056.25/1056.72 c nbDecision=444000 #constraints=39910 1058.95/1059.48 c nbDecision=444500 #constraints=39950 1061.55/1062.01 c nbDecision=445000 #constraints=39986 1064.25/1064.70 c nbDecision=445500 #constraints=40024 1066.45/1066.93 c nbDecision=446000 #constraints=40052 1069.04/1069.52 c nbDecision=446500 #constraints=40086 1071.74/1072.23 c nbDecision=447000 #constraints=40125 1073.84/1074.33 c nbDecision=447500 #constraints=40149 1076.35/1076.81 c nbDecision=448000 #constraints=40181 1079.44/1079.92 c nbDecision=448500 #constraints=40232 1082.65/1083.16 c nbDecision=449000 #constraints=40296 1085.65/1086.20 c nbDecision=449500 #constraints=40351 1088.45/1088.92 c nbDecision=450000 #constraints=40399 1091.44/1091.94 c nbDecision=450500 #constraints=40454 1093.94/1094.48 c nbDecision=451000 #constraints=40498 1096.84/1097.35 c nbDecision=451500 #constraints=40547 1099.64/1100.17 c nbDecision=452000 #constraints=40596 1102.74/1103.22 c nbDecision=452500 #constraints=40653 1105.63/1106.15 c nbDecision=453000 #constraints=40708 1108.83/1109.38 c nbDecision=453500 #constraints=40770 1111.93/1112.47 c nbDecision=454000 #constraints=40826 1114.84/1115.38 c nbDecision=454500 #constraints=40877 1118.04/1118.58 c nbDecision=455000 #constraints=40937 1121.13/1121.67 c nbDecision=455500 #constraints=40989 1123.74/1124.23 c nbDecision=456000 #constraints=41030 1126.73/1127.25 c nbDecision=456500 #constraints=41083 1129.33/1129.86 c nbDecision=457000 #constraints=41123 1132.53/1133.08 c nbDecision=457500 #constraints=41180 1135.63/1136.12 c nbDecision=458000 #constraints=41232 1138.32/1138.81 c nbDecision=458500 #constraints=41276 1141.72/1142.23 c nbDecision=459000 #constraints=41332 1145.02/1145.54 c nbDecision=459500 #constraints=41390 1148.33/1148.87 c nbDecision=460000 #constraints=41445 1151.43/1151.94 c nbDecision=460500 #constraints=41496 1154.82/1155.38 c nbDecision=461000 #constraints=41559 1158.02/1158.52 c nbDecision=461500 #constraints=41612 1161.22/1161.73 c nbDecision=462000 #constraints=41668 1164.72/1165.24 c nbDecision=462500 #constraints=41730 1168.02/1168.59 c nbDecision=463000 #constraints=41784 1170.72/1171.20 c nbDecision=463500 #constraints=41824 1174.01/1174.54 c nbDecision=464000 #constraints=41884 1177.52/1178.07 c nbDecision=464500 #constraints=41938 1180.41/1180.99 c nbDecision=465000 #constraints=41976 1182.81/1183.35 c nbDecision=465500 #constraints=42003 1185.31/1185.86 c nbDecision=466000 #constraints=42033 1187.91/1188.40 c nbDecision=466500 #constraints=42066 1190.51/1191.04 c nbDecision=467000 #constraints=42102 1193.11/1193.65 c nbDecision=467500 #constraints=42133 1195.82/1196.33 c nbDecision=468000 #constraints=42167 1198.31/1198.90 c nbDecision=468500 #constraints=42200 1200.72/1201.29 c nbDecision=469000 #constraints=42229 1203.21/1203.77 c nbDecision=469500 #constraints=42259 1205.81/1206.35 c nbDecision=470000 #constraints=42289 1208.11/1208.63 c nbDecision=470500 #constraints=42317 1211.01/1211.50 c nbDecision=471000 #constraints=42354 1213.21/1213.78 c nbDecision=471500 #constraints=42380 1216.51/1217.04 c nbDecision=472000 #constraints=42424 1219.20/1219.72 c nbDecision=472500 #constraints=42456 1222.20/1222.74 c nbDecision=473000 #constraints=42497 1225.00/1225.60 c nbDecision=473500 #constraints=42533 1227.80/1228.40 c nbDecision=474000 #constraints=42568 1230.60/1231.11 c nbDecision=474500 #constraints=42604 1233.31/1233.88 c nbDecision=475000 #constraints=42641 1235.81/1236.37 c nbDecision=475500 #constraints=42671 1238.60/1239.17 c nbDecision=476000 #constraints=42707 1241.50/1242.09 c nbDecision=476500 #constraints=42744 1244.40/1244.91 c nbDecision=477000 #constraints=42778 1247.60/1248.13 c nbDecision=477500 #constraints=42821 1250.50/1251.02 c nbDecision=478000 #constraints=42856 1253.00/1253.59 c nbDecision=478500 #constraints=42888 1255.40/1255.90 c nbDecision=479000 #constraints=42913 1258.10/1258.69 c nbDecision=479500 #constraints=42948 1261.29/1261.90 c nbDecision=480000 #constraints=42990 1264.09/1264.69 c nbDecision=480500 #constraints=43032 1267.89/1268.46 c nbDecision=481000 #constraints=43099 1270.99/1271.58 c nbDecision=481500 #constraints=43147 1274.59/1275.17 c nbDecision=482000 #constraints=43205 1277.70/1278.22 c nbDecision=482500 #constraints=43253 1280.90/1281.49 c nbDecision=483000 #constraints=43304 1284.39/1284.92 c nbDecision=483500 #constraints=43357 1287.79/1288.37 c nbDecision=484000 #constraints=43414 1292.28/1292.86 c nbDecision=484500 #constraints=43474 1294.88/1295.41 c nbDecision=485000 #constraints=43503 1297.28/1297.83 c nbDecision=485500 #constraints=43531 1300.18/1300.76 c nbDecision=486000 #constraints=43566 1303.08/1303.63 c nbDecision=486500 #constraints=43602 1305.88/1306.46 c nbDecision=487000 #constraints=43635 1308.67/1309.22 c nbDecision=487500 #constraints=43667 1311.48/1312.03 c nbDecision=488000 #constraints=43701 1314.48/1315.03 c nbDecision=488500 #constraints=43738 1317.08/1317.63 c nbDecision=489000 #constraints=43769 1319.78/1320.37 c nbDecision=489500 #constraints=43803 1322.98/1323.55 c nbDecision=490000 #constraints=43840 1325.58/1326.19 c nbDecision=490500 #constraints=43869 1328.18/1328.78 c nbDecision=491000 #constraints=43897 1330.27/1330.88 c nbDecision=491500 #constraints=43920 1333.07/1333.65 c nbDecision=492000 #constraints=43952 1335.47/1336.09 c nbDecision=492500 #constraints=43979 1338.57/1339.19 c nbDecision=493000 #constraints=44014 1341.77/1342.32 c nbDecision=493500 #constraints=44050 1345.07/1345.63 c nbDecision=494000 #constraints=44102 1348.17/1348.74 c nbDecision=494500 #constraints=44144 1349.47/1350.07 c nbDecision=495000 #constraints=44154 1350.17/1350.72 c nbDecision=495500 #constraints=44154 1351.76/1352.33 c nbDecision=496000 #constraints=44207 1352.76/1353.36 c nbDecision=496500 #constraints=44240 1354.67/1355.26 c nbDecision=497000 #constraints=44362 1355.36/1355.91 c nbDecision=497500 #constraints=44368 1356.46/1357.04 c nbDecision=498000 #constraints=44432 1372.16/1372.77 c nbDecision=498500 #constraints=44629 1376.95/1377.59 c nbDecision=499000 #constraints=44744 1381.46/1382.09 c nbDecision=499500 #constraints=44845 1386.46/1387.07 c nbDecision=500000 #constraints=44955 1387.96/1388.52 c nbDecision=500500 #constraints=44967 1388.56/1389.19 c nbDecision=501000 #constraints=44967 1389.66/1390.22 c nbDecision=501500 #constraints=44993 1391.36/1391.96 c nbDecision=502000 #constraints=45094 1392.66/1393.27 c nbDecision=502500 #constraints=45161 1393.36/1393.95 c nbDecision=503000 #constraints=45171 1402.45/1403.02 c nbDecision=503500 #constraints=45269 1423.14/1423.76 c nbDecision=504000 #constraints=45503 1423.85/1424.42 c nbDecision=504500 #constraints=45503 1424.84/1425.41 c nbDecision=505000 #constraints=45518 1426.05/1426.65 c nbDecision=505500 #constraints=45568 1427.84/1428.44 c nbDecision=506000 #constraints=45663 1428.54/1429.18 c nbDecision=506500 #constraints=45678 1429.44/1430.06 c nbDecision=507000 #constraints=45709 1447.24/1447.86 c nbDecision=507500 #constraints=45916 1447.94/1448.52 c nbDecision=508000 #constraints=45916 1448.64/1449.21 c nbDecision=508500 #constraints=45916 1449.94/1450.59 c nbDecision=509000 #constraints=45974 1451.94/1452.59 c nbDecision=509500 #constraints=46095 1452.74/1453.30 c nbDecision=510000 #constraints=46108 1453.34/1453.98 c nbDecision=510500 #constraints=46119 1464.13/1464.70 c nbDecision=511000 #constraints=46237 1464.73/1465.36 c nbDecision=511500 #constraints=46237 1466.13/1466.72 c nbDecision=512000 #constraints=46269 1467.03/1467.66 c nbDecision=512500 #constraints=46293 1469.53/1470.11 c nbDecision=513000 #constraints=46452 1470.23/1470.81 c nbDecision=513500 #constraints=46463 1471.03/1471.64 c nbDecision=514000 #constraints=46490 1477.53/1478.11 c nbDecision=514500 #constraints=46571 1478.12/1478.77 c nbDecision=515000 #constraints=46571 1479.33/1479.92 c nbDecision=515500 #constraints=46606 1480.43/1481.01 c nbDecision=516000 #constraints=46643 1482.33/1482.90 c nbDecision=516500 #constraints=46762 1483.03/1483.68 c nbDecision=517000 #constraints=46782 1486.13/1486.77 c nbDecision=517500 #constraints=46812 1487.43/1488.01 c nbDecision=518000 #constraints=46817 1488.03/1488.70 c nbDecision=518500 #constraints=46817 1489.23/1489.86 c nbDecision=519000 #constraints=46855 1491.13/1491.77 c nbDecision=519500 #constraints=46966 1492.22/1492.87 c nbDecision=520000 #constraints=47004 1493.02/1493.64 c nbDecision=520500 #constraints=47023 1495.32/1495.92 c nbDecision=521000 #constraints=47062 1495.92/1496.59 c nbDecision=521500 #constraints=47062 1496.72/1497.39 c nbDecision=522000 #constraints=47069 1497.92/1498.53 c nbDecision=522500 #constraints=47108 1499.32/1499.96 c nbDecision=523000 #constraints=47176 1499.92/1500.56 c nbDecision=523500 #constraints=47176 1501.02/1501.65 c nbDecision=524000 #constraints=47229 1502.42/1503.09 c nbDecision=524500 #constraints=47235 1503.12/1503.78 c nbDecision=525000 #constraints=47235 1504.72/1505.38 c nbDecision=525500 #constraints=47288 1505.92/1506.54 c nbDecision=526000 #constraints=47331 1507.11/1507.75 c nbDecision=526500 #constraints=47389 1507.72/1508.40 c nbDecision=527000 #constraints=47395 1509.32/1509.97 c nbDecision=527500 #constraints=47419 1510.02/1510.63 c nbDecision=528000 #constraints=47419 1510.73/1511.33 c nbDecision=528500 #constraints=47419 1511.83/1512.42 c nbDecision=529000 #constraints=47453 1513.32/1513.91 c nbDecision=529500 #constraints=47525 1514.02/1514.63 c nbDecision=530000 #constraints=47539 1514.72/1515.39 c nbDecision=530500 #constraints=47559 1517.62/1518.25 c nbDecision=531000 #constraints=47582 1518.52/1519.15 c nbDecision=531500 #constraints=47592 1519.32/1519.98 c nbDecision=532000 #constraints=47602 1520.42/1521.06 c nbDecision=532500 #constraints=47637 1521.82/1522.48 c nbDecision=533000 #constraints=47706 1522.82/1523.41 c nbDecision=533500 #constraints=47742 1525.12/1525.79 c nbDecision=534000 #constraints=47764 1525.82/1526.45 c nbDecision=534500 #constraints=47764 1526.61/1527.25 c nbDecision=535000 #constraints=47770 1527.91/1528.58 c nbDecision=535500 #constraints=47825 1529.71/1530.31 c nbDecision=536000 #constraints=47918 1530.31/1530.91 c nbDecision=536500 #constraints=47918 1530.91/1531.53 c nbDecision=537000 #constraints=47922 1535.21/1535.81 c nbDecision=537500 #constraints=47955 1535.81/1536.47 c nbDecision=538000 #constraints=47955 1536.81/1537.47 c nbDecision=538500 #constraints=47969 1538.41/1539.03 c nbDecision=539000 #constraints=48045 1539.51/1540.19 c nbDecision=539500 #constraints=48091 1540.31/1540.99 c nbDecision=540000 #constraints=48113 1542.81/1543.42 c nbDecision=540500 #constraints=48130 1543.41/1544.08 c nbDecision=541000 #constraints=48130 1544.11/1544.79 c nbDecision=541500 #constraints=48130 1545.31/1545.93 c nbDecision=542000 #constraints=48165 1546.70/1547.32 c nbDecision=542500 #constraints=48225 1547.40/1548.01 c nbDecision=543000 #constraints=48233 1548.21/1548.89 c nbDecision=543500 #constraints=48264 1550.70/1551.36 c nbDecision=544000 #constraints=48282 1551.41/1552.02 c nbDecision=544500 #constraints=48282 1552.20/1552.88 c nbDecision=545000 #constraints=48293 1553.50/1554.18 c nbDecision=545500 #constraints=48347 1555.11/1555.71 c nbDecision=546000 #constraints=48416 1555.81/1556.47 c nbDecision=546500 #constraints=48433 1557.31/1557.93 c nbDecision=547000 #constraints=48439 1557.91/1558.60 c nbDecision=547500 #constraints=48439 1559.31/1559.94 c nbDecision=548000 #constraints=48466 1560.61/1561.29 c nbDecision=548500 #constraints=48519 1562.60/1563.23 c nbDecision=549000 #constraints=48627 1563.20/1563.84 c nbDecision=549500 #constraints=48627 1564.00/1564.66 c nbDecision=550000 #constraints=48651 1565.00/1565.69 c nbDecision=550500 #constraints=48665 1565.71/1566.36 c nbDecision=551000 #constraints=48665 1567.40/1568.04 c nbDecision=551500 #constraints=48720 1568.40/1569.06 c nbDecision=552000 #constraints=48749 1569.60/1570.20 c nbDecision=552500 #constraints=48793 1570.30/1570.90 c nbDecision=553000 #constraints=48805 1571.10/1571.79 c nbDecision=553500 #constraints=48807 1571.80/1572.44 c nbDecision=554000 #constraints=48807 1572.50/1573.16 c nbDecision=554500 #constraints=48807 1573.40/1574.03 c nbDecision=555000 #constraints=48823 1575.10/1575.72 c nbDecision=555500 #constraints=48907 1575.80/1576.41 c nbDecision=556000 #constraints=48916 1576.50/1577.19 c nbDecision=556500 #constraints=48936 1577.70/1578.33 c nbDecision=557000 #constraints=48939 1579.29/1580.00 c nbDecision=557500 #constraints=48978 1588.30/1588.90 c nbDecision=558000 #constraints=49305 1598.79/1599.43 c nbDecision=558500 #constraints=49674 1600.59/1601.20 c nbDecision=559000 #constraints=49732 1601.99/1602.69 c nbDecision=559500 #constraints=49800 1603.29/1603.92 c nbDecision=560000 #constraints=49846 1603.88/1604.53 c nbDecision=560500 #constraints=49846 1605.08/1605.70 c nbDecision=561000 #constraints=49857 1605.68/1606.37 c nbDecision=561500 #constraints=49857 1606.68/1607.37 c nbDecision=562000 #constraints=49871 1607.68/1608.37 c nbDecision=562500 #constraints=49893 1608.78/1609.40 c nbDecision=563000 #constraints=49922 1609.79/1610.43 c nbDecision=563500 #constraints=49959 1610.38/1611.09 c nbDecision=564000 #constraints=49967 1612.38/1613.00 c nbDecision=564500 #constraints=49977 1612.98/1613.65 c nbDecision=565000 #constraints=49977 1613.88/1614.50 c nbDecision=565500 #constraints=49986 1615.18/1615.85 c nbDecision=566000 #constraints=50039 1616.68/1617.39 c nbDecision=566500 #constraints=50106 1617.38/1618.08 c nbDecision=567000 #constraints=50114 1618.18/1618.80 c nbDecision=567500 #constraints=50127 1620.59/1621.27 c nbDecision=568000 #constraints=50141 1621.29/1621.96 c nbDecision=568500 #constraints=50141 1623.48/1624.10 c nbDecision=569000 #constraints=50221 1624.68/1625.34 c nbDecision=569500 #constraints=50270 1626.08/1626.74 c nbDecision=570000 #constraints=50330 1626.78/1627.42 c nbDecision=570500 #constraints=50339 1627.88/1628.51 c nbDecision=571000 #constraints=50366 1628.48/1629.17 c nbDecision=571500 #constraints=50366 1629.38/1630.10 c nbDecision=572000 #constraints=50375 1630.28/1630.91 c nbDecision=572500 #constraints=50384 1632.08/1632.77 c nbDecision=573000 #constraints=50481 1633.28/1633.93 c nbDecision=573500 #constraints=50525 1634.08/1634.78 c nbDecision=574000 #constraints=50551 1635.68/1636.37 c nbDecision=574500 #constraints=50565 1636.37/1637.03 c nbDecision=575000 #constraints=50565 1637.47/1638.10 c nbDecision=575500 #constraints=50581 1638.67/1639.36 c nbDecision=576000 #constraints=50627 1640.57/1641.20 c nbDecision=576500 #constraints=50729 1641.17/1641.81 c nbDecision=577000 #constraints=50729 1642.27/1642.94 c nbDecision=577500 #constraints=50736 1642.97/1643.61 c nbDecision=578000 #constraints=50736 1645.78/1646.46 c nbDecision=578500 #constraints=50819 1656.87/1657.57 c nbDecision=579000 #constraints=51265 1667.86/1668.59 c nbDecision=579500 #constraints=51704 1672.57/1673.28 c nbDecision=580000 #constraints=51870 1674.27/1674.90 c nbDecision=580500 #constraints=51942 1675.96/1676.64 c nbDecision=581000 #constraints=52026 1676.66/1677.34 c nbDecision=581500 #constraints=52035 1677.36/1678.04 c nbDecision=582000 #constraints=52045 1678.56/1679.28 c nbDecision=582500 #constraints=52049 1679.26/1679.94 c nbDecision=583000 #constraints=52049 1680.36/1681.04 c nbDecision=583500 #constraints=52072 1681.76/1682.49 c nbDecision=584000 #constraints=52134 1683.96/1684.68 c nbDecision=584500 #constraints=52251 1684.56/1685.28 c nbDecision=585000 #constraints=52251 1685.66/1686.33 c nbDecision=585500 #constraints=52269 1686.36/1687.00 c nbDecision=586000 #constraints=52269 1687.46/1688.15 c nbDecision=586500 #constraints=52284 1688.26/1688.97 c nbDecision=587000 #constraints=52293 1689.26/1689.90 c nbDecision=587500 #constraints=52314 1690.56/1691.21 c nbDecision=588000 #constraints=52369 1691.36/1692.02 c nbDecision=588500 #constraints=52391 1692.36/1693.07 c nbDecision=589000 #constraints=52393 1693.06/1693.72 c nbDecision=589500 #constraints=52393 1694.06/1694.76 c nbDecision=590000 #constraints=52405 1695.26/1695.93 c nbDecision=590500 #constraints=52443 1697.36/1698.06 c nbDecision=591000 #constraints=52554 1698.16/1698.81 c nbDecision=591500 #constraints=52568 1699.16/1699.85 c nbDecision=592000 #constraints=52585 1701.07/1701.75 c nbDecision=592500 #constraints=52594 1702.07/1702.74 c nbDecision=593000 #constraints=52604 1703.36/1704.00 c nbDecision=593500 #constraints=52644 1704.56/1705.29 c nbDecision=594000 #constraints=52690 1705.26/1705.97 c nbDecision=594500 #constraints=52696 1705.96/1706.69 c nbDecision=595000 #constraints=52708 1707.16/1707.90 c nbDecision=595500 #constraints=52711 1707.86/1708.56 c nbDecision=596000 #constraints=52711 1709.76/1710.46 c nbDecision=596500 #constraints=52765 1710.76/1711.48 c nbDecision=597000 #constraints=52791 1712.06/1712.79 c nbDecision=597500 #constraints=52852 1712.86/1713.54 c nbDecision=598000 #constraints=52869 1714.16/1714.85 c nbDecision=598500 #constraints=52875 1714.86/1715.51 c nbDecision=599000 #constraints=52875 1717.35/1718.04 c nbDecision=599500 #constraints=52961 1718.15/1718.89 c nbDecision=600000 #constraints=52973 1719.45/1720.19 c nbDecision=600500 #constraints=53025 1720.25/1720.91 c nbDecision=601000 #constraints=53037 1721.25/1721.93 c nbDecision=601500 #constraints=53039 1721.86/1722.60 c nbDecision=602000 #constraints=53039 1722.65/1723.35 c nbDecision=602500 #constraints=53039 1723.85/1724.52 c nbDecision=603000 #constraints=53073 1725.45/1726.10 c nbDecision=603500 #constraints=53146 1726.05/1726.76 c nbDecision=604000 #constraints=53152 1726.95/1727.62 c nbDecision=604500 #constraints=53179 1728.65/1729.37 c nbDecision=605000 #constraints=53197 1729.35/1730.03 c nbDecision=605500 #constraints=53197 1730.35/1731.04 c nbDecision=606000 #constraints=53207 1731.95/1732.61 c nbDecision=606500 #constraints=53273 1733.35/1734.07 c nbDecision=607000 #constraints=53335 1734.05/1734.75 c nbDecision=607500 #constraints=53343 1734.74/1735.45 c nbDecision=608000 #constraints=53354 1737.45/1738.17 c nbDecision=608500 #constraints=53373 1738.15/1738.83 c nbDecision=609000 #constraints=53373 1739.35/1740.00 c nbDecision=609500 #constraints=53394 1740.56/1741.24 c nbDecision=610000 #constraints=53437 1742.55/1743.24 c nbDecision=610500 #constraints=53541 1743.35/1744.03 c nbDecision=611000 #constraints=53558 1750.05/1750.75 c nbDecision=611500 #constraints=53628 1788.03/1788.79 c nbDecision=612000 #constraints=54081 1792.63/1793.35 c nbDecision=612500 #constraints=54122 1793.23/1794.00 c nbDecision=613000 #constraints=54122 1794.63/1795.39 c nbDecision=613500 #constraints=54146 1795.74/1796.47 c nbDecision=614000 #constraints=54176 1797.43/1798.13 c nbDecision=614500 #constraints=54258 1798.03/1798.78 c nbDecision=615000 #constraints=54263 1798.73/1799.47 c nbDecision=615500 #constraints=54272 1800.04/1800.71 Received signal 15 1800.14/1800.89 1800.14/1800.89 s UNKNOWN 1800.14/1800.89 1800.14/1800.89 c user time= 1799.64 s 1800.14/1800.89 c system time= 0.59091 s 1800.14/1800.89 c wall clock time=1800.89
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-356971-1176850201 -o ROOT/results/node1/solver-356971-1176850201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356971-1176850201/instance-356971-1176850201.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.94 0.95 3/77 20161 /proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=1468 CPUtime=0 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161057946 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830965 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 405 163 126 317 0 84 0 [startup+0.0447499 s] /proc/loadavg: 0.78 0.94 0.95 3/77 20161 /proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=2280 CPUtime=0.04 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 366 0 0 0 4 0 0 0 18 0 1 0 161057946 2334720 348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 570 348 131 317 0 249 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2280 [startup+0.101757 s] /proc/loadavg: 0.78 0.94 0.95 3/77 20161 /proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=3600 CPUtime=0.1 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 694 0 0 0 10 0 0 0 18 0 1 0 161057946 3686400 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 900 676 131 317 0 579 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3600 [startup+0.30178 s] /proc/loadavg: 0.78 0.94 0.95 3/77 20161 /proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=8220 CPUtime=0.29 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 1863 0 0 0 28 1 0 0 19 0 1 0 161057946 8417280 1845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 2055 1845 131 317 0 1734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8220 [startup+0.701828 s] /proc/loadavg: 0.78 0.94 0.95 3/77 20161 /proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=20276 CPUtime=0.69 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 4826 0 0 0 67 2 0 0 23 0 1 0 161057946 20762624 4808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5069 4809 137 317 0 4748 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20276 [startup+1.50192 s] /proc/loadavg: 0.80 0.94 0.95 2/78 20162 /proc/meminfo: memFree=1768616/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=22024 CPUtime=1.49 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5269 0 0 0 147 2 0 0 25 0 1 0 161057946 22552576 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5506 5251 139 317 0 5185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22024 [startup+3.10111 s] /proc/loadavg: 0.80 0.94 0.95 2/78 20162 /proc/meminfo: memFree=1768296/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=22024 CPUtime=3.09 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5269 0 0 0 307 2 0 0 25 0 1 0 161057946 22552576 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5506 5251 139 317 0 5185 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22024 [startup+6.30149 s] /proc/loadavg: 0.80 0.94 0.95 2/78 20162 /proc/meminfo: memFree=1768104/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=22024 CPUtime=6.29 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5269 0 0 0 627 2 0 0 25 0 1 0 161057946 22552576 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5506 5251 139 317 0 5185 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22024 [startup+12.7012 s] /proc/loadavg: 0.83 0.94 0.95 2/78 20162 /proc/meminfo: memFree=1767912/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=22156 CPUtime=12.68 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5301 0 0 0 1266 2 0 0 25 0 1 0 161057946 22687744 5283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5539 5283 139 317 0 5218 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22156 [startup+25.5027 s] /proc/loadavg: 0.85 0.94 0.95 2/78 20162 /proc/meminfo: memFree=1767656/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=22552 CPUtime=25.48 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5422 0 0 0 2546 2 0 0 25 0 1 0 161057946 23093248 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5638 5404 170 317 0 5317 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22552 [startup+51.1027 s] /proc/loadavg: 0.90 0.94 0.95 2/78 20162 /proc/meminfo: memFree=1766504/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=23724 CPUtime=51.07 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5725 0 0 0 5104 3 0 0 25 0 1 0 161057946 24293376 5707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 5931 5707 170 317 0 5610 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23724 [startup+102.307 s] /proc/loadavg: 0.96 0.95 0.95 2/78 20162 /proc/meminfo: memFree=1759016/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=31372 CPUtime=102.26 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 7643 0 0 0 10221 5 0 0 25 0 1 0 161057946 32124928 7585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 7843 7585 170 317 0 7522 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31372 [startup+162.303 s] /proc/loadavg: 0.98 0.96 0.95 2/78 20162 /proc/meminfo: memFree=1746792/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=43616 CPUtime=162.24 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 10688 0 0 0 16215 9 0 0 25 0 1 0 161057946 44662784 10630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 10904 10630 170 317 0 10583 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 43616 [startup+222.303 s] /proc/loadavg: 0.99 0.96 0.95 2/78 20162 /proc/meminfo: memFree=1739688/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=50956 CPUtime=222.22 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 12533 0 0 0 22211 11 0 0 25 0 1 0 161057946 52178944 12396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 12739 12396 170 317 0 12418 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 50956 [startup+282.303 s] /proc/loadavg: 1.06 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1733736/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=56884 CPUtime=282.2 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 14031 0 0 0 28207 13 0 0 25 0 1 0 161057946 58249216 13894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 14221 13894 170 317 0 13900 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 56884 [startup+342.302 s] /proc/loadavg: 1.02 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1718056/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=72484 CPUtime=342.19 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 17965 0 0 0 34202 17 0 0 25 0 1 0 161057946 74223616 17828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 18121 17828 170 317 0 17800 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 72484 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1707176/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=84132 CPUtime=402.15 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 20828 0 0 0 40196 19 0 0 25 0 1 0 161057946 86151168 20535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 21033 20535 170 317 0 20712 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 84132 [startup+462.302 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1700584/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=90432 CPUtime=462.14 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 22458 0 0 0 46192 22 0 0 25 0 1 0 161057946 92602368 22165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 22608 22165 170 317 0 22287 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 90432 [startup+522.302 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1689512/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=102416 CPUtime=522.12 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 25199 0 0 0 52187 25 0 0 25 0 1 0 161057946 104873984 24906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 25604 24906 170 317 0 25283 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 102416 [startup+582.302 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1678056/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=114432 CPUtime=582.1 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 28076 0 0 0 58182 28 0 0 25 0 1 0 161057946 117178368 27783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 28608 27783 170 317 0 28287 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 114432 [startup+642.301 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20162 /proc/meminfo: memFree=1672872/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=119280 CPUtime=642.09 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 29344 0 0 0 64179 30 0 0 25 0 1 0 161057946 122142720 29051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 29820 29051 170 317 0 29499 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 119280 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20360 /proc/meminfo: memFree=1654568/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=138648 CPUtime=941.89 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 33871 0 0 0 94151 38 0 0 25 0 1 0 161057946 141975552 33578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 34662 33578 170 317 0 34341 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 138648 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.96 2/78 20360 /proc/meminfo: memFree=1651112/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=141840 CPUtime=1001.87 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 34697 0 0 0 100148 39 0 0 25 0 1 0 161057946 145244160 34404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 35460 34404 170 317 0 35139 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 141840 [startup+1062.3 s] /proc/loadavg: 1.04 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1647912/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=144744 CPUtime=1061.85 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 35490 0 0 0 106145 40 0 0 25 0 1 0 161057946 148217856 35197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 36186 35197 170 317 0 35865 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 144744 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1644008/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=148372 CPUtime=1121.83 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 36470 0 0 0 112141 42 0 0 25 0 1 0 161057946 151932928 36177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 37093 36177 170 317 0 36772 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 148372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1640168/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=152008 CPUtime=1181.81 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 37432 0 0 0 118138 43 0 0 25 0 1 0 161057946 155656192 37139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 38002 37139 170 317 0 37681 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 152008 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1637288/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=154772 CPUtime=1241.8 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 38166 0 0 0 124135 45 0 0 25 0 1 0 161057946 158486528 37873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 38693 37873 170 317 0 38372 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 154772 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1633960/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=157880 CPUtime=1301.78 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 38974 0 0 0 130132 46 0 0 25 0 1 0 161057946 161669120 38681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 39470 38681 170 317 0 39149 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 157880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1630888/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=160764 CPUtime=1361.76 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 39748 0 0 0 136129 47 0 0 25 0 1 0 161057946 164622336 39455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 40191 39455 170 317 0 39870 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 160764 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 3/78 20360 /proc/meminfo: memFree=1625128/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=170312 CPUtime=1421.75 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 42008 0 0 0 142127 48 0 0 25 0 1 0 161057946 174399488 40843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 42578 40843 170 317 0 42257 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 170312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1622312/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=175800 CPUtime=1481.73 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 43292 0 0 0 148123 50 0 0 25 0 1 0 161057946 180019200 41632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 43950 41632 170 317 0 43629 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 175800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1618856/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=179080 CPUtime=1541.71 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 44116 0 0 0 154120 51 0 0 25 0 1 0 161057946 183377920 42456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 44770 42456 170 317 0 44449 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 179080 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1613096/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=184900 CPUtime=1601.69 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 45584 0 0 0 160116 53 0 0 25 0 1 0 161057946 189337600 43924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 46225 43924 170 317 0 45904 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 184900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1606632/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=191820 CPUtime=1661.67 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 47178 0 0 0 166112 55 0 0 25 0 1 0 161057946 196423680 45518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 47955 45518 170 317 0 47634 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 191820 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1601448/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=197064 CPUtime=1721.65 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 48468 0 0 0 172108 57 0 0 25 0 1 0 161057946 201793536 46808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 49266 46808 170 317 0 48945 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 197064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1598568/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=199952 CPUtime=1781.63 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49215 0 0 0 178105 58 0 0 25 0 1 0 161057946 204750848 47522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 49988 47522 170 317 0 49667 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 199952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1597736/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=200736 CPUtime=1800.04 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49410 0 0 0 179945 59 0 0 25 0 1 0 161057946 205553664 47717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 50184 47717 170 317 0 49863 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 200736 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: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1597736/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=200736 CPUtime=1800.14 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49411 0 0 0 179955 59 0 0 25 0 1 0 161057946 205553664 47718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 50184 47718 170 317 0 49863 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 200736 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.96 2/78 20360 /proc/meminfo: memFree=1597736/2055920 swapFree=4145928/4192956 [pid=20161] ppid=20159 vsize=197336 CPUtime=1800.23 /proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49428 0 0 0 179964 59 0 0 25 0 1 0 161057946 202072064 47134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20161/statm: 49334 47134 186 317 0 49013 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 197336 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.28 CPU user time (s): 1799.65 CPU system time (s): 0.621905 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 200736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.621905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49428 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= 18374 runsolver used 2.22066 second user time and 4.40533 second system time The end
Begin job on node1 on Tue Apr 17 22:50:01 UTC 2007 IDJOB= 356971 IDBENCH= 1708 IDSOLVER= 172 FILE ID= node1/356971-1176850201 PBS_JOBID= 4590236 Free space on /tmp= 66398 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb COMMAND LINE= oree /tmp/evaluation/356971-1176850201/instance-356971-1176850201.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-356971-1176850201 -o ROOT/results/node1/solver-356971-1176850201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356971-1176850201/instance-356971-1176850201.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7a90d6f729b5a7cbedbc2000a888cf36 RANDOM SEED= 580941956 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1789384 kB Buffers: 29728 kB Cached: 170080 kB SwapCached: 14460 kB Active: 63268 kB Inactive: 159148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789384 kB SwapTotal: 4192956 kB SwapFree: 4145928 kB Dirty: 3336 kB Writeback: 0 kB Mapped: 29760 kB Slab: 29584 kB Committed_AS: 4916924 kB PageTables: 1832 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= 66398 MiB End job on node1 on Tue Apr 17 23:20:04 UTC 2007