Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.96 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb |
MD5SUM | ab5e35dff8e81ea7a1176a4145ab1bff |
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 | 13736 |
Total number of constraints | 597 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 592 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
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 | 524564 |
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.09/0.17 c ...done 0.09/0.17 c #vars=13736 #constraints=726 hasObjective=yes 0.19/0.21 c res. mode=mod 0.19/0.21 c VSIDS like heuristics 0.19/0.21 c complete search running 0.48/0.51 c restart after 401 decisions 0.58/0.60 c nbDecision=500 #constraints=848 1.09/1.14 c restart after 801 decisions 1.29/1.32 c nbDecision=1000 #constraints=1201 1.49/1.55 c nbDecision=1500 #constraints=1437 1.49/1.59 c restart after 1601 decisions 1.99/2.06 c nbDecision=2000 #constraints=1709 2.69/2.76 c nbDecision=2500 #constraints=2132 3.09/3.14 c nbDecision=3000 #constraints=2372 3.20/3.24 c restart after 3201 decisions 3.89/3.93 c nbDecision=3500 #constraints=2705 5.78/5.82 c nbDecision=4000 #constraints=3188 8.49/8.59 c nbDecision=4500 #constraints=3668 12.19/12.28 c nbDecision=5000 #constraints=4156 17.18/17.21 c nbDecision=5500 #constraints=4647 23.09/23.17 c nbDecision=6000 #constraints=5130 28.98/29.01 c restart after 6401 decisions 29.69/29.75 c nbDecision=6500 #constraints=5523 30.08/30.16 c nbDecision=7000 #constraints=5703 30.38/30.41 c nbDecision=7500 #constraints=5950 30.48/30.60 c nbDecision=8000 #constraints=6099 30.78/30.82 c nbDecision=8500 #constraints=6265 30.98/31.05 c nbDecision=9000 #constraints=6442 31.18/31.25 c nbDecision=9500 #constraints=6589 31.38/31.47 c nbDecision=10000 #constraints=6741 31.67/31.72 c nbDecision=10500 #constraints=6930 31.89/31.96 c nbDecision=11000 #constraints=7081 32.18/32.21 c nbDecision=11500 #constraints=7218 32.38/32.44 c nbDecision=12000 #constraints=7348 32.58/32.67 c nbDecision=12500 #constraints=7464 32.68/32.79 c restart after 12801 decisions 34.08/34.11 c nbDecision=13000 #constraints=7584 34.28/34.38 c nbDecision=13500 #constraints=7764 34.48/34.58 c nbDecision=14000 #constraints=7876 34.77/34.88 c nbDecision=14500 #constraints=8067 35.09/35.18 c nbDecision=15000 #constraints=8251 35.38/35.48 c nbDecision=15500 #constraints=8452 35.68/35.77 c nbDecision=16000 #constraints=8621 35.98/36.08 c nbDecision=16500 #constraints=8791 36.18/36.30 c nbDecision=17000 #constraints=8891 36.57/36.63 c nbDecision=17500 #constraints=9057 36.88/36.90 c nbDecision=18000 #constraints=9190 37.08/37.17 c nbDecision=18500 #constraints=9328 37.38/37.44 c nbDecision=19000 #constraints=9445 37.58/37.69 c nbDecision=19500 #constraints=9557 37.88/37.94 c nbDecision=20000 #constraints=9660 38.18/38.26 c nbDecision=20500 #constraints=9797 38.48/38.58 c nbDecision=21000 #constraints=9941 38.78/38.82 c nbDecision=21500 #constraints=10015 38.98/39.07 c nbDecision=22000 #constraints=10098 39.18/39.29 c nbDecision=22500 #constraints=10174 39.58/39.61 c nbDecision=23000 #constraints=10306 39.77/39.88 c nbDecision=23500 #constraints=10422 40.07/40.11 c nbDecision=24000 #constraints=10491 40.27/40.33 c nbDecision=24500 #constraints=10554 40.48/40.56 c nbDecision=25000 #constraints=10612 40.78/40.84 c nbDecision=25500 #constraints=10703 40.78/40.89 c restart after 25601 decisions 44.08/44.18 c nbDecision=26000 #constraints=10950 44.57/44.63 c nbDecision=26500 #constraints=11132 44.98/45.06 c nbDecision=27000 #constraints=11276 45.48/45.51 c nbDecision=27500 #constraints=11442 45.88/45.91 c nbDecision=28000 #constraints=11594 46.18/46.28 c nbDecision=28500 #constraints=11721 46.57/46.65 c nbDecision=29000 #constraints=11834 46.97/47.00 c nbDecision=29500 #constraints=11949 47.27/47.40 c nbDecision=30000 #constraints=12069 47.67/47.74 c nbDecision=30500 #constraints=12170 47.97/48.07 c nbDecision=31000 #constraints=12280 48.28/48.39 c nbDecision=31500 #constraints=12353 48.67/48.73 c nbDecision=32000 #constraints=12449 48.87/48.98 c nbDecision=32500 #constraints=12520 49.27/49.31 c nbDecision=33000 #constraints=12599 49.57/49.69 c nbDecision=33500 #constraints=12721 49.87/49.99 c nbDecision=34000 #constraints=12793 50.37/50.42 c nbDecision=34500 #constraints=12942 50.67/50.79 c nbDecision=35000 #constraints=13044 51.07/51.13 c nbDecision=35500 #constraints=13124 51.37/51.45 c nbDecision=36000 #constraints=13200 51.57/51.70 c nbDecision=36500 #constraints=13247 51.97/52.04 c nbDecision=37000 #constraints=13342 52.27/52.36 c nbDecision=37500 #constraints=13422 52.57/52.69 c nbDecision=38000 #constraints=13513 52.97/53.05 c nbDecision=38500 #constraints=13598 53.38/53.47 c nbDecision=39000 #constraints=13696 53.67/53.75 c nbDecision=39500 #constraints=13747 53.97/54.09 c nbDecision=40000 #constraints=13821 54.37/54.48 c nbDecision=40500 #constraints=13920 54.67/54.78 c nbDecision=41000 #constraints=13976 54.97/55.06 c nbDecision=41500 #constraints=14036 55.27/55.37 c nbDecision=42000 #constraints=14107 55.57/55.63 c nbDecision=42500 #constraints=14164 55.87/55.99 c nbDecision=43000 #constraints=14249 56.27/56.35 c nbDecision=43500 #constraints=14315 56.57/56.67 c nbDecision=44000 #constraints=14384 56.97/57.02 c nbDecision=44500 #constraints=14463 57.27/57.39 c nbDecision=45000 #constraints=14546 57.67/57.70 c nbDecision=45500 #constraints=14600 57.87/57.92 c nbDecision=46000 #constraints=14625 58.17/58.25 c nbDecision=46500 #constraints=14703 58.47/58.59 c nbDecision=47000 #constraints=14767 58.87/58.96 c nbDecision=47500 #constraints=14859 59.17/59.30 c nbDecision=48000 #constraints=14919 59.57/59.64 c nbDecision=48500 #constraints=14980 59.87/59.99 c nbDecision=49000 #constraints=15061 60.27/60.36 c nbDecision=49500 #constraints=15135 60.67/60.79 c nbDecision=50000 #constraints=15225 61.07/61.16 c nbDecision=50500 #constraints=15283 61.36/61.49 c nbDecision=51000 #constraints=15337 61.57/61.64 c restart after 51201 decisions 67.27/67.35 c nbDecision=51500 #constraints=15589 78.66/78.75 c nbDecision=52000 #constraints=16064 92.76/92.82 c nbDecision=52500 #constraints=16545 107.15/107.25 c nbDecision=53000 #constraints=16940 107.55/107.67 c nbDecision=53500 #constraints=17027 108.06/108.12 c nbDecision=54000 #constraints=17112 108.56/108.60 c nbDecision=54500 #constraints=17227 108.96/109.04 c nbDecision=55000 #constraints=17322 109.45/109.57 c nbDecision=55500 #constraints=17429 110.05/110.10 c nbDecision=56000 #constraints=17554 110.45/110.51 c nbDecision=56500 #constraints=17629 110.85/110.92 c nbDecision=57000 #constraints=17702 111.35/111.40 c nbDecision=57500 #constraints=17796 111.75/111.87 c nbDecision=58000 #constraints=17890 112.25/112.39 c nbDecision=58500 #constraints=17997 112.75/112.82 c nbDecision=59000 #constraints=18077 113.05/113.20 c nbDecision=59500 #constraints=18151 113.45/113.59 c nbDecision=60000 #constraints=18212 113.85/113.91 c nbDecision=60500 #constraints=18266 114.15/114.25 c nbDecision=61000 #constraints=18312 114.55/114.69 c nbDecision=61500 #constraints=18391 114.95/115.04 c nbDecision=62000 #constraints=18440 115.25/115.35 c nbDecision=62500 #constraints=18486 115.55/115.68 c nbDecision=63000 #constraints=18528 115.95/116.08 c nbDecision=63500 #constraints=18585 116.45/116.52 c nbDecision=64000 #constraints=18666 116.85/116.98 c nbDecision=64500 #constraints=18750 117.25/117.36 c nbDecision=65000 #constraints=18803 117.75/117.82 c nbDecision=65500 #constraints=18899 118.05/118.19 c nbDecision=66000 #constraints=18967 118.55/118.66 c nbDecision=66500 #constraints=19041 118.95/119.02 c nbDecision=67000 #constraints=19096 119.15/119.28 c nbDecision=67500 #constraints=19117 119.65/119.70 c nbDecision=68000 #constraints=19190 119.95/120.09 c nbDecision=68500 #constraints=19244 120.44/120.51 c nbDecision=69000 #constraints=19303 120.75/120.82 c nbDecision=69500 #constraints=19337 121.15/121.24 c nbDecision=70000 #constraints=19402 121.55/121.68 c nbDecision=70500 #constraints=19486 121.95/122.09 c nbDecision=71000 #constraints=19544 122.35/122.47 c nbDecision=71500 #constraints=19604 122.65/122.75 c nbDecision=72000 #constraints=19635 123.15/123.22 c nbDecision=72500 #constraints=19703 123.44/123.56 c nbDecision=73000 #constraints=19743 123.84/123.90 c nbDecision=73500 #constraints=19786 124.15/124.22 c nbDecision=74000 #constraints=19824 124.44/124.58 c nbDecision=74500 #constraints=19881 124.74/124.86 c nbDecision=75000 #constraints=19900 125.24/125.30 c nbDecision=75500 #constraints=19967 125.54/125.62 c nbDecision=76000 #constraints=20001 125.95/126.09 c nbDecision=76500 #constraints=20080 126.35/126.44 c nbDecision=77000 #constraints=20113 126.74/126.82 c nbDecision=77500 #constraints=20158 127.04/127.11 c nbDecision=78000 #constraints=20181 127.45/127.50 c nbDecision=78500 #constraints=20228 127.74/127.83 c nbDecision=79000 #constraints=20270 128.04/128.18 c nbDecision=79500 #constraints=20321 128.44/128.52 c nbDecision=80000 #constraints=20356 128.84/128.93 c nbDecision=80500 #constraints=20413 129.14/129.29 c nbDecision=81000 #constraints=20445 129.54/129.67 c nbDecision=81500 #constraints=20493 129.94/130.01 c nbDecision=82000 #constraints=20533 130.14/130.26 c nbDecision=82500 #constraints=20546 130.64/130.70 c nbDecision=83000 #constraints=20590 130.94/131.06 c nbDecision=83500 #constraints=20625 131.35/131.43 c nbDecision=84000 #constraints=20664 131.65/131.78 c nbDecision=84500 #constraints=20694 132.04/132.19 c nbDecision=85000 #constraints=20745 132.44/132.57 c nbDecision=85500 #constraints=20791 132.95/133.03 c nbDecision=86000 #constraints=20860 133.34/133.46 c nbDecision=86500 #constraints=20907 133.84/133.94 c nbDecision=87000 #constraints=20969 134.24/134.38 c nbDecision=87500 #constraints=21021 134.54/134.68 c nbDecision=88000 #constraints=21051 134.94/135.07 c nbDecision=88500 #constraints=21093 135.25/135.34 c nbDecision=89000 #constraints=21108 135.64/135.70 c nbDecision=89500 #constraints=21136 135.94/136.06 c nbDecision=90000 #constraints=21189 136.24/136.39 c nbDecision=90500 #constraints=21215 136.54/136.68 c nbDecision=91000 #constraints=21233 137.04/137.12 c nbDecision=91500 #constraints=21296 137.44/137.55 c nbDecision=92000 #constraints=21353 137.84/137.94 c nbDecision=92500 #constraints=21391 138.34/138.42 c nbDecision=93000 #constraints=21453 138.64/138.76 c nbDecision=93500 #constraints=21488 139.14/139.21 c nbDecision=94000 #constraints=21545 139.44/139.59 c nbDecision=94500 #constraints=21589 139.84/139.95 c nbDecision=95000 #constraints=21621 140.24/140.38 c nbDecision=95500 #constraints=21673 140.64/140.77 c nbDecision=96000 #constraints=21711 141.04/141.14 c nbDecision=96500 #constraints=21743 141.44/141.54 c nbDecision=97000 #constraints=21798 141.74/141.88 c nbDecision=97500 #constraints=21838 142.04/142.18 c nbDecision=98000 #constraints=21858 142.44/142.50 c nbDecision=98500 #constraints=21877 142.84/142.91 c nbDecision=99000 #constraints=21911 143.34/143.40 c nbDecision=99500 #constraints=21966 143.54/143.67 c nbDecision=100000 #constraints=21976 143.94/144.01 c nbDecision=100500 #constraints=22011 144.43/144.53 c nbDecision=101000 #constraints=22080 144.94/145.07 c nbDecision=101500 #constraints=22136 145.34/145.47 c nbDecision=102000 #constraints=22167 145.64/145.77 c restart after 102401 decisions 148.14/148.23 c nbDecision=102500 #constraints=22201 149.74/149.89 c nbDecision=103000 #constraints=22307 150.24/150.38 c nbDecision=103500 #constraints=22397 150.74/150.86 c nbDecision=104000 #constraints=22479 151.14/151.25 c nbDecision=104500 #constraints=22543 151.64/151.80 c nbDecision=105000 #constraints=22658 152.13/152.27 c nbDecision=105500 #constraints=22761 152.84/152.92 c nbDecision=106000 #constraints=22880 153.24/153.39 c nbDecision=106500 #constraints=22959 153.74/153.88 c nbDecision=107000 #constraints=23051 154.24/154.30 c nbDecision=107500 #constraints=23103 154.63/154.77 c nbDecision=108000 #constraints=23174 155.13/155.20 c nbDecision=108500 #constraints=23225 155.53/155.62 c nbDecision=109000 #constraints=23281 155.93/156.08 c nbDecision=109500 #constraints=23353 156.43/156.51 c nbDecision=110000 #constraints=23422 156.93/157.03 c nbDecision=110500 #constraints=23510 157.33/157.42 c nbDecision=111000 #constraints=23555 157.73/157.83 c nbDecision=111500 #constraints=23627 158.13/158.22 c nbDecision=112000 #constraints=23684 158.53/158.67 c nbDecision=112500 #constraints=23750 159.03/159.13 c nbDecision=113000 #constraints=23818 159.33/159.49 c nbDecision=113500 #constraints=23861 159.92/160.06 c nbDecision=114000 #constraints=23954 160.44/160.55 c nbDecision=114500 #constraints=24025 160.83/160.92 c nbDecision=115000 #constraints=24072 161.33/161.41 c nbDecision=115500 #constraints=24146 161.63/161.79 c nbDecision=116000 #constraints=24178 162.03/162.19 c nbDecision=116500 #constraints=24228 162.43/162.50 c nbDecision=117000 #constraints=24259 162.83/162.97 c nbDecision=117500 #constraints=24323 163.13/163.29 c nbDecision=118000 #constraints=24351 163.53/163.69 c nbDecision=118500 #constraints=24397 164.02/164.17 c nbDecision=119000 #constraints=24471 164.42/164.50 c nbDecision=119500 #constraints=24503 164.92/165.08 c nbDecision=120000 #constraints=24617 165.42/165.57 c nbDecision=120500 #constraints=24662 165.93/166.07 c nbDecision=121000 #constraints=24726 166.33/166.43 c nbDecision=121500 #constraints=24762 166.73/166.83 c nbDecision=122000 #constraints=24811 167.13/167.28 c nbDecision=122500 #constraints=24863 167.82/167.91 c nbDecision=123000 #constraints=24957 168.23/168.32 c nbDecision=123500 #constraints=24996 168.52/168.69 c nbDecision=124000 #constraints=25033 169.02/169.14 c nbDecision=124500 #constraints=25084 169.62/169.70 c nbDecision=125000 #constraints=25150 170.02/170.15 c nbDecision=125500 #constraints=25200 170.42/170.59 c nbDecision=126000 #constraints=25253 171.02/171.17 c nbDecision=126500 #constraints=25336 171.52/171.66 c nbDecision=127000 #constraints=25382 172.02/172.11 c nbDecision=127500 #constraints=25441 172.52/172.62 c nbDecision=128000 #constraints=25512 172.91/173.03 c nbDecision=128500 #constraints=25555 173.31/173.47 c nbDecision=129000 #constraints=25600 173.73/173.81 c nbDecision=129500 #constraints=25637 174.22/174.36 c nbDecision=130000 #constraints=25715 174.73/174.82 c nbDecision=130500 #constraints=25763 175.12/175.24 c nbDecision=131000 #constraints=25811 175.52/175.69 c nbDecision=131500 #constraints=25852 175.92/176.07 c nbDecision=132000 #constraints=25890 176.32/176.48 c nbDecision=132500 #constraints=25940 176.72/176.82 c nbDecision=133000 #constraints=25970 177.12/177.20 c nbDecision=133500 #constraints=26002 177.42/177.55 c nbDecision=134000 #constraints=26031 177.82/177.98 c nbDecision=134500 #constraints=26082 178.42/178.54 c nbDecision=135000 #constraints=26165 179.02/179.17 c nbDecision=135500 #constraints=26246 179.61/179.71 c nbDecision=136000 #constraints=26295 180.01/180.11 c nbDecision=136500 #constraints=26332 180.41/180.50 c nbDecision=137000 #constraints=26364 180.91/181.06 c nbDecision=137500 #constraints=26427 181.42/181.56 c nbDecision=138000 #constraints=26481 182.01/182.10 c nbDecision=138500 #constraints=26551 182.42/182.57 c nbDecision=139000 #constraints=26590 183.11/183.21 c nbDecision=139500 #constraints=26657 183.51/183.66 c nbDecision=140000 #constraints=26706 184.01/184.19 c nbDecision=140500 #constraints=26766 184.51/184.68 c nbDecision=141000 #constraints=26824 185.01/185.11 c nbDecision=141500 #constraints=26859 185.41/185.58 c nbDecision=142000 #constraints=26902 185.91/186.06 c nbDecision=142500 #constraints=26949 186.41/186.52 c nbDecision=143000 #constraints=26985 186.81/186.96 c nbDecision=143500 #constraints=27028 187.31/187.48 c nbDecision=144000 #constraints=27091 187.71/187.86 c nbDecision=144500 #constraints=27126 188.32/188.43 c nbDecision=145000 #constraints=27183 188.82/188.94 c nbDecision=145500 #constraints=27243 189.41/189.59 c nbDecision=146000 #constraints=27321 189.91/190.07 c nbDecision=146500 #constraints=27377 190.61/190.71 c nbDecision=147000 #constraints=27472 191.11/191.24 c nbDecision=147500 #constraints=27543 191.71/191.80 c nbDecision=148000 #constraints=27590 192.21/192.35 c nbDecision=148500 #constraints=27660 192.61/192.78 c nbDecision=149000 #constraints=27697 193.21/193.31 c nbDecision=149500 #constraints=27742 193.71/193.82 c nbDecision=150000 #constraints=27789 194.11/194.28 c nbDecision=150500 #constraints=27822 194.51/194.67 c nbDecision=151000 #constraints=27851 195.01/195.17 c nbDecision=151500 #constraints=27897 195.61/195.72 c nbDecision=152000 #constraints=27939 196.01/196.12 c nbDecision=152500 #constraints=27975 196.51/196.69 c nbDecision=153000 #constraints=28030 197.02/197.17 c nbDecision=153500 #constraints=28066 197.61/197.77 c nbDecision=154000 #constraints=28128 198.01/198.18 c nbDecision=154500 #constraints=28164 198.71/198.80 c nbDecision=155000 #constraints=28228 199.02/199.17 c nbDecision=155500 #constraints=28253 199.61/199.75 c nbDecision=156000 #constraints=28308 200.02/200.17 c nbDecision=156500 #constraints=28338 200.51/200.63 c nbDecision=157000 #constraints=28383 201.11/201.27 c nbDecision=157500 #constraints=28458 201.81/201.94 c nbDecision=158000 #constraints=28527 202.31/202.49 c nbDecision=158500 #constraints=28581 202.91/203.06 c nbDecision=159000 #constraints=28629 203.51/203.66 c nbDecision=159500 #constraints=28683 204.01/204.16 c nbDecision=160000 #constraints=28726 204.41/204.58 c nbDecision=160500 #constraints=28757 205.10/205.21 c nbDecision=161000 #constraints=28812 205.70/205.85 c nbDecision=161500 #constraints=28886 206.10/206.26 c nbDecision=162000 #constraints=28918 206.80/206.90 c nbDecision=162500 #constraints=28973 207.20/207.35 c nbDecision=163000 #constraints=29009 207.81/207.93 c nbDecision=163500 #constraints=29047 208.30/208.49 c nbDecision=164000 #constraints=29103 208.81/208.95 c nbDecision=164500 #constraints=29140 209.31/209.43 c nbDecision=165000 #constraints=29183 210.11/210.26 c nbDecision=165500 #constraints=29294 210.71/210.90 c nbDecision=166000 #constraints=29359 211.30/211.44 c nbDecision=166500 #constraints=29395 212.00/212.16 c nbDecision=167000 #constraints=29468 212.70/212.82 c nbDecision=167500 #constraints=29531 213.21/213.35 c nbDecision=168000 #constraints=29567 213.60/213.78 c nbDecision=168500 #constraints=29593 214.20/214.36 c nbDecision=169000 #constraints=29638 214.70/214.84 c nbDecision=169500 #constraints=29681 215.30/215.41 c nbDecision=170000 #constraints=29723 215.80/215.96 c nbDecision=170500 #constraints=29758 216.20/216.38 c nbDecision=171000 #constraints=29787 216.90/217.04 c nbDecision=171500 #constraints=29857 217.40/217.59 c nbDecision=172000 #constraints=29898 217.90/218.02 c nbDecision=172500 #constraints=29924 218.40/218.54 c nbDecision=173000 #constraints=29966 219.00/219.11 c nbDecision=173500 #constraints=30012 219.50/219.63 c nbDecision=174000 #constraints=30047 220.00/220.18 c nbDecision=174500 #constraints=30083 220.60/220.71 c nbDecision=175000 #constraints=30124 221.10/221.29 c nbDecision=175500 #constraints=30176 221.70/221.83 c nbDecision=176000 #constraints=30214 222.20/222.37 c nbDecision=176500 #constraints=30270 222.70/222.86 c nbDecision=177000 #constraints=30308 223.30/223.44 c nbDecision=177500 #constraints=30344 223.90/224.01 c nbDecision=178000 #constraints=30381 224.30/224.48 c nbDecision=178500 #constraints=30407 224.80/224.93 c nbDecision=179000 #constraints=30432 225.50/225.60 c nbDecision=179500 #constraints=30487 226.20/226.31 c nbDecision=180000 #constraints=30555 226.89/227.08 c nbDecision=180500 #constraints=30630 227.39/227.53 c nbDecision=181000 #constraints=30655 227.89/228.01 c nbDecision=181500 #constraints=30689 228.49/228.62 c nbDecision=182000 #constraints=30734 229.39/229.52 c nbDecision=182500 #constraints=30835 229.89/230.03 c nbDecision=183000 #constraints=30869 230.59/230.77 c nbDecision=183500 #constraints=30927 231.49/231.68 c nbDecision=184000 #constraints=31024 231.99/232.17 c nbDecision=184500 #constraints=31060 232.69/232.86 c nbDecision=185000 #constraints=31128 233.69/233.80 c nbDecision=185500 #constraints=31233 234.39/234.54 c nbDecision=186000 #constraints=31303 234.99/235.16 c nbDecision=186500 #constraints=31362 235.89/236.01 c nbDecision=187000 #constraints=31452 236.80/236.95 c nbDecision=187500 #constraints=31585 237.29/237.45 c nbDecision=188000 #constraints=31614 237.79/237.96 c nbDecision=188500 #constraints=31639 238.39/238.54 c nbDecision=189000 #constraints=31694 238.89/239.09 c nbDecision=189500 #constraints=31736 239.70/239.86 c nbDecision=190000 #constraints=31802 240.19/240.32 c nbDecision=190500 #constraints=31822 240.70/240.80 c nbDecision=191000 #constraints=31843 241.29/241.40 c nbDecision=191500 #constraints=31887 241.80/241.93 c nbDecision=192000 #constraints=31909 242.29/242.42 c nbDecision=192500 #constraints=31933 242.90/243.09 c nbDecision=193000 #constraints=31978 243.49/243.67 c nbDecision=193500 #constraints=32007 244.09/244.20 c nbDecision=194000 #constraints=32040 244.59/244.75 c nbDecision=194500 #constraints=32073 245.09/245.26 c nbDecision=195000 #constraints=32102 245.69/245.84 c nbDecision=195500 #constraints=32139 246.19/246.37 c nbDecision=196000 #constraints=32170 246.89/247.03 c nbDecision=196500 #constraints=32213 247.39/247.51 c nbDecision=197000 #constraints=32239 247.99/248.11 c nbDecision=197500 #constraints=32273 248.59/248.80 c nbDecision=198000 #constraints=32314 249.09/249.22 c nbDecision=198500 #constraints=32327 249.69/249.81 c nbDecision=199000 #constraints=32364 249.99/250.19 c nbDecision=199500 #constraints=32373 250.48/250.69 c nbDecision=200000 #constraints=32398 251.08/251.27 c nbDecision=200500 #constraints=32430 251.58/251.78 c nbDecision=201000 #constraints=32450 252.18/252.32 c nbDecision=201500 #constraints=32474 252.58/252.70 c nbDecision=202000 #constraints=32480 252.98/253.14 c nbDecision=202500 #constraints=32490 253.38/253.57 c nbDecision=203000 #constraints=32513 254.08/254.22 c nbDecision=203500 #constraints=32555 254.48/254.67 c nbDecision=204000 #constraints=32572 254.98/255.12 c nbDecision=204500 #constraints=32594 255.18/255.39 c restart after 204801 decisions 256.69/256.80 c nbDecision=205000 #constraints=32657 257.58/257.74 c nbDecision=205500 #constraints=32765 258.58/258.75 c nbDecision=206000 #constraints=32881 259.48/259.68 c nbDecision=206500 #constraints=32984 260.08/260.24 c nbDecision=207000 #constraints=33053 261.09/261.28 c nbDecision=207500 #constraints=33158 262.09/262.21 c nbDecision=208000 #constraints=33249 262.89/263.06 c nbDecision=208500 #constraints=33328 263.58/263.77 c nbDecision=209000 #constraints=33400 264.38/264.51 c nbDecision=209500 #constraints=33466 265.18/265.33 c nbDecision=210000 #constraints=33566 265.88/266.06 c nbDecision=210500 #constraints=33624 266.68/266.81 c nbDecision=211000 #constraints=33696 267.58/267.77 c nbDecision=211500 #constraints=33799 268.48/268.66 c nbDecision=212000 #constraints=33878 269.38/269.55 c nbDecision=212500 #constraints=33972 270.28/270.41 c nbDecision=213000 #constraints=34047 270.88/271.04 c nbDecision=213500 #constraints=34111 271.68/271.80 c nbDecision=214000 #constraints=34174 272.48/272.67 c nbDecision=214500 #constraints=34255 273.27/273.41 c nbDecision=215000 #constraints=34331 274.07/274.24 c nbDecision=215500 #constraints=34400 274.78/274.98 c nbDecision=216000 #constraints=34467 275.68/275.83 c nbDecision=216500 #constraints=34545 276.18/276.38 c nbDecision=217000 #constraints=34577 276.98/277.12 c nbDecision=217500 #constraints=34637 277.67/277.80 c nbDecision=218000 #constraints=34692 278.37/278.58 c nbDecision=218500 #constraints=34745 279.28/279.47 c nbDecision=219000 #constraints=34827 280.47/280.69 c nbDecision=219500 #constraints=34950 281.38/281.59 c nbDecision=220000 #constraints=35026 282.08/282.29 c nbDecision=220500 #constraints=35079 282.98/283.13 c nbDecision=221000 #constraints=35155 283.87/284.06 c nbDecision=221500 #constraints=35232 284.68/284.86 c nbDecision=222000 #constraints=35299 285.27/285.42 c nbDecision=222500 #constraints=35325 286.37/286.53 c nbDecision=223000 #constraints=35436 287.07/287.20 c nbDecision=223500 #constraints=35475 287.67/287.82 c nbDecision=224000 #constraints=35528 288.57/288.76 c nbDecision=224500 #constraints=35603 289.37/289.53 c nbDecision=225000 #constraints=35658 289.87/290.09 c nbDecision=225500 #constraints=35689 290.67/290.87 c nbDecision=226000 #constraints=35753 291.37/291.59 c nbDecision=226500 #constraints=35787 292.06/292.26 c nbDecision=227000 #constraints=35837 292.87/293.02 c nbDecision=227500 #constraints=35885 293.58/293.73 c nbDecision=228000 #constraints=35938 294.27/294.44 c nbDecision=228500 #constraints=35972 295.07/295.23 c nbDecision=229000 #constraints=36045 295.77/295.92 c nbDecision=229500 #constraints=36099 296.57/296.71 c nbDecision=230000 #constraints=36164 297.36/297.54 c nbDecision=230500 #constraints=36217 298.47/298.69 c nbDecision=231000 #constraints=36316 299.37/299.57 c nbDecision=231500 #constraints=36393 300.07/300.29 c nbDecision=232000 #constraints=36435 300.77/300.94 c nbDecision=232500 #constraints=36476 301.57/301.79 c nbDecision=233000 #constraints=36552 302.37/302.56 c nbDecision=233500 #constraints=36596 303.16/303.38 c nbDecision=234000 #constraints=36654 304.26/304.46 c nbDecision=234500 #constraints=36726 305.06/305.25 c nbDecision=235000 #constraints=36776 305.87/306.06 c nbDecision=235500 #constraints=36842 306.77/306.90 c nbDecision=236000 #constraints=36911 307.47/307.67 c nbDecision=236500 #constraints=36963 308.57/308.76 c nbDecision=237000 #constraints=37038 309.17/309.33 c nbDecision=237500 #constraints=37070 309.86/310.02 c nbDecision=238000 #constraints=37111 310.66/310.86 c nbDecision=238500 #constraints=37174 311.46/311.67 c nbDecision=239000 #constraints=37232 312.16/312.36 c nbDecision=239500 #constraints=37279 312.86/313.03 c nbDecision=240000 #constraints=37315 313.36/313.55 c nbDecision=240500 #constraints=37344 314.26/314.43 c nbDecision=241000 #constraints=37407 315.46/315.68 c nbDecision=241500 #constraints=37505 316.16/316.39 c nbDecision=242000 #constraints=37537 317.16/317.38 c nbDecision=242500 #constraints=37591 318.16/318.33 c nbDecision=243000 #constraints=37661 318.77/318.99 c nbDecision=243500 #constraints=37693 319.76/319.91 c nbDecision=244000 #constraints=37759 320.56/320.77 c nbDecision=244500 #constraints=37822 321.46/321.60 c nbDecision=245000 #constraints=37870 322.26/322.42 c nbDecision=245500 #constraints=37923 323.06/323.25 c nbDecision=246000 #constraints=37971 323.85/324.02 c nbDecision=246500 #constraints=38015 324.65/324.85 c nbDecision=247000 #constraints=38072 325.45/325.61 c nbDecision=247500 #constraints=38113 326.34/326.57 c nbDecision=248000 #constraints=38187 327.13/327.33 c nbDecision=248500 #constraints=38230 328.64/328.85 c nbDecision=249000 #constraints=38363 329.43/329.63 c nbDecision=249500 #constraints=38407 330.03/330.25 c nbDecision=250000 #constraints=38432 331.13/331.30 c nbDecision=250500 #constraints=38492 331.83/332.08 c nbDecision=251000 #constraints=38536 332.73/332.96 c nbDecision=251500 #constraints=38587 333.52/333.73 c nbDecision=252000 #constraints=38627 334.42/334.62 c nbDecision=252500 #constraints=38685 335.02/335.23 c nbDecision=253000 #constraints=38716 335.92/336.10 c nbDecision=253500 #constraints=38779 336.72/336.92 c nbDecision=254000 #constraints=38832 337.61/337.81 c nbDecision=254500 #constraints=38892 338.52/338.79 c nbDecision=255000 #constraints=38948 339.51/339.73 c nbDecision=255500 #constraints=39023 340.81/341.09 c nbDecision=256000 #constraints=39120 341.61/341.82 c nbDecision=256500 #constraints=39151 342.60/342.81 c nbDecision=257000 #constraints=39208 343.20/343.46 c nbDecision=257500 #constraints=39232 344.11/344.38 c nbDecision=258000 #constraints=39287 344.90/345.17 c nbDecision=258500 #constraints=39333 345.70/345.94 c nbDecision=259000 #constraints=39370 346.70/346.94 c nbDecision=259500 #constraints=39439 347.60/347.87 c nbDecision=260000 #constraints=39494 348.69/348.97 c nbDecision=260500 #constraints=39550 349.98/350.22 c nbDecision=261000 #constraints=39647 350.78/351.04 c nbDecision=261500 #constraints=39697 351.68/351.93 c nbDecision=262000 #constraints=39752 352.58/352.81 c nbDecision=262500 #constraints=39786 353.48/353.73 c nbDecision=263000 #constraints=39837 354.37/354.60 c nbDecision=263500 #constraints=39887 355.17/355.45 c nbDecision=264000 #constraints=39933 356.17/356.44 c nbDecision=264500 #constraints=39980 357.27/357.54 c nbDecision=265000 #constraints=40055 358.07/358.35 c nbDecision=265500 #constraints=40095 358.97/359.29 c nbDecision=266000 #constraints=40147 359.66/359.99 c nbDecision=266500 #constraints=40173 360.76/361.07 c nbDecision=267000 #constraints=40246 361.68/361.98 c nbDecision=267500 #constraints=40292 362.97/363.27 c nbDecision=268000 #constraints=40375 363.57/363.88 c nbDecision=268500 #constraints=40410 364.57/364.81 c nbDecision=269000 #constraints=40456 365.66/365.91 c nbDecision=269500 #constraints=40518 366.76/367.02 c nbDecision=270000 #constraints=40590 367.86/368.18 c nbDecision=270500 #constraints=40652 368.76/369.04 c nbDecision=271000 #constraints=40691 370.15/370.43 c nbDecision=271500 #constraints=40792 371.35/371.67 c nbDecision=272000 #constraints=40869 372.57/372.82 c nbDecision=272500 #constraints=40948 375.16/375.41 c nbDecision=273000 #constraints=41189 376.26/376.52 c nbDecision=273500 #constraints=41288 376.96/377.28 c nbDecision=274000 #constraints=41340 377.66/377.95 c nbDecision=274500 #constraints=41396 378.34/378.67 c nbDecision=275000 #constraints=41436 379.04/379.39 c nbDecision=275500 #constraints=41479 379.74/380.00 c nbDecision=276000 #constraints=41505 380.34/380.68 c nbDecision=276500 #constraints=41543 381.04/381.35 c nbDecision=277000 #constraints=41581 381.74/382.05 c nbDecision=277500 #constraints=41633 382.64/382.92 c nbDecision=278000 #constraints=41691 383.34/383.61 c nbDecision=278500 #constraints=41721 383.94/384.29 c nbDecision=279000 #constraints=41758 384.65/384.93 c nbDecision=279500 #constraints=41780 385.24/385.54 c nbDecision=280000 #constraints=41809 386.04/386.36 c nbDecision=280500 #constraints=41871 386.84/387.12 c nbDecision=281000 #constraints=41911 387.44/387.77 c nbDecision=281500 #constraints=41940 388.34/388.61 c nbDecision=282000 #constraints=41992 388.94/389.25 c nbDecision=282500 #constraints=42023 389.54/389.89 c nbDecision=283000 #constraints=42056 390.44/390.75 c nbDecision=283500 #constraints=42117 391.13/391.47 c nbDecision=284000 #constraints=42160 392.03/392.37 c nbDecision=284500 #constraints=42231 392.73/393.08 c nbDecision=285000 #constraints=42276 393.54/393.81 c nbDecision=285500 #constraints=42315 394.24/394.57 c nbDecision=286000 #constraints=42364 395.14/395.44 c nbDecision=286500 #constraints=42431 395.83/396.15 c nbDecision=287000 #constraints=42501 396.63/396.97 c nbDecision=287500 #constraints=42559 397.33/397.68 c nbDecision=288000 #constraints=42607 398.13/398.46 c nbDecision=288500 #constraints=42652 398.73/399.10 c nbDecision=289000 #constraints=42676 399.64/399.92 c nbDecision=289500 #constraints=42724 400.54/400.81 c nbDecision=290000 #constraints=42781 401.14/401.49 c nbDecision=290500 #constraints=42810 401.83/402.15 c nbDecision=291000 #constraints=42845 402.53/402.84 c nbDecision=291500 #constraints=42872 403.23/403.56 c nbDecision=292000 #constraints=42912 403.93/404.25 c nbDecision=292500 #constraints=42943 404.83/405.13 c nbDecision=293000 #constraints=42988 405.63/405.91 c nbDecision=293500 #constraints=43031 406.43/406.72 c nbDecision=294000 #constraints=43078 407.03/407.31 c nbDecision=294500 #constraints=43104 407.73/408.02 c nbDecision=295000 #constraints=43144 408.72/409.09 c nbDecision=295500 #constraints=43220 409.53/409.83 c nbDecision=296000 #constraints=43261 410.33/410.66 c nbDecision=296500 #constraints=43313 411.03/411.40 c nbDecision=297000 #constraints=43347 411.93/412.21 c nbDecision=297500 #constraints=43401 412.53/412.86 c nbDecision=298000 #constraints=43441 413.42/413.70 c nbDecision=298500 #constraints=43497 414.22/414.56 c nbDecision=299000 #constraints=43563 415.33/415.61 c nbDecision=299500 #constraints=43658 416.13/416.44 c nbDecision=300000 #constraints=43714 416.93/417.28 c nbDecision=300500 #constraints=43758 417.83/418.12 c nbDecision=301000 #constraints=43814 418.73/419.10 c nbDecision=301500 #constraints=43881 419.52/419.89 c nbDecision=302000 #constraints=43929 420.22/420.53 c nbDecision=302500 #constraints=43958 421.03/421.36 c nbDecision=303000 #constraints=44007 421.92/422.23 c nbDecision=303500 #constraints=44054 422.62/422.99 c nbDecision=304000 #constraints=44085 423.42/423.75 c nbDecision=304500 #constraints=44128 424.22/424.52 c nbDecision=305000 #constraints=44160 425.02/425.37 c nbDecision=305500 #constraints=44200 425.92/426.25 c nbDecision=306000 #constraints=44252 427.02/427.32 c nbDecision=306500 #constraints=44313 427.62/427.91 c nbDecision=307000 #constraints=44340 428.32/428.63 c nbDecision=307500 #constraints=44373 429.02/429.39 c nbDecision=308000 #constraints=44409 430.02/430.35 c nbDecision=308500 #constraints=44474 430.82/431.12 c nbDecision=309000 #constraints=44516 431.71/432.02 c nbDecision=309500 #constraints=44595 432.51/432.86 c nbDecision=310000 #constraints=44641 433.61/433.90 c nbDecision=310500 #constraints=44694 434.41/434.76 c nbDecision=311000 #constraints=44742 435.31/435.64 c nbDecision=311500 #constraints=44791 436.21/436.52 c nbDecision=312000 #constraints=44838 437.02/437.38 c nbDecision=312500 #constraints=44886 438.02/438.31 c nbDecision=313000 #constraints=44938 438.72/439.09 c nbDecision=313500 #constraints=44977 439.72/440.02 c nbDecision=314000 #constraints=45031 440.52/440.80 c nbDecision=314500 #constraints=45064 441.22/441.59 c nbDecision=315000 #constraints=45100 441.92/442.28 c nbDecision=315500 #constraints=45123 442.81/443.14 c nbDecision=316000 #constraints=45173 443.61/443.99 c nbDecision=316500 #constraints=45219 444.61/444.94 c nbDecision=317000 #constraints=45282 445.21/445.55 c nbDecision=317500 #constraints=45313 446.31/446.66 c nbDecision=318000 #constraints=45403 447.01/447.31 c nbDecision=318500 #constraints=45428 447.61/447.99 c nbDecision=319000 #constraints=45452 448.51/448.85 c nbDecision=319500 #constraints=45501 449.21/449.53 c nbDecision=320000 #constraints=45537 450.11/450.45 c nbDecision=320500 #constraints=45587 451.11/451.43 c nbDecision=321000 #constraints=45639 452.00/452.30 c nbDecision=321500 #constraints=45682 452.91/453.22 c nbDecision=322000 #constraints=45730 453.70/454.00 c nbDecision=322500 #constraints=45767 454.50/454.84 c nbDecision=323000 #constraints=45806 455.20/455.57 c nbDecision=323500 #constraints=45835 455.90/456.22 c nbDecision=324000 #constraints=45871 456.70/457.00 c nbDecision=324500 #constraints=45909 457.81/458.15 c nbDecision=325000 #constraints=45993 458.51/458.80 c nbDecision=325500 #constraints=46018 459.30/459.70 c nbDecision=326000 #constraints=46069 460.10/460.47 c nbDecision=326500 #constraints=46095 460.90/461.29 c nbDecision=327000 #constraints=46132 461.70/462.07 c nbDecision=327500 #constraints=46162 462.70/463.01 c nbDecision=328000 #constraints=46213 463.40/463.78 c nbDecision=328500 #constraints=46247 464.29/464.61 c nbDecision=329000 #constraints=46286 465.39/465.70 c nbDecision=329500 #constraints=46354 466.60/466.94 c nbDecision=330000 #constraints=46451 467.50/467.88 c nbDecision=330500 #constraints=46497 468.30/468.61 c nbDecision=331000 #constraints=46537 469.20/469.58 c nbDecision=331500 #constraints=46590 470.20/470.58 c nbDecision=332000 #constraints=46635 471.00/471.39 c nbDecision=332500 #constraints=46679 471.80/472.13 c nbDecision=333000 #constraints=46703 472.60/472.98 c nbDecision=333500 #constraints=46752 473.90/474.20 c nbDecision=334000 #constraints=46846 474.70/475.07 c nbDecision=334500 #constraints=46885 475.60/475.91 c nbDecision=335000 #constraints=46918 476.50/476.89 c nbDecision=335500 #constraints=46975 477.19/477.54 c nbDecision=336000 #constraints=46998 478.20/478.56 c nbDecision=336500 #constraints=47065 478.99/479.34 c nbDecision=337000 #constraints=47105 480.09/480.47 c nbDecision=337500 #constraints=47167 480.89/481.28 c nbDecision=338000 #constraints=47202 481.79/482.16 c nbDecision=338500 #constraints=47254 482.69/483.05 c nbDecision=339000 #constraints=47298 483.49/483.80 c nbDecision=339500 #constraints=47338 484.49/484.83 c nbDecision=340000 #constraints=47402 485.39/485.76 c nbDecision=340500 #constraints=47447 486.79/487.16 c nbDecision=341000 #constraints=47546 487.68/488.04 c nbDecision=341500 #constraints=47586 488.99/489.30 c nbDecision=342000 #constraints=47675 489.99/490.36 c nbDecision=342500 #constraints=47736 491.59/491.98 c nbDecision=343000 #constraints=47880 493.29/493.68 c nbDecision=343500 #constraints=48053 494.88/495.29 c nbDecision=344000 #constraints=48189 496.48/496.81 c nbDecision=344500 #constraints=48297 497.89/498.24 c nbDecision=345000 #constraints=48408 499.68/500.03 c nbDecision=345500 #constraints=48540 501.48/501.85 c nbDecision=346000 #constraints=48673 503.28/503.63 c nbDecision=346500 #constraints=48799 505.08/505.48 c nbDecision=347000 #constraints=48927 507.28/507.68 c nbDecision=347500 #constraints=49065 509.38/509.73 c nbDecision=348000 #constraints=49189 511.09/511.43 c nbDecision=348500 #constraints=49286 513.08/513.45 c nbDecision=349000 #constraints=49395 515.49/515.83 c nbDecision=349500 #constraints=49538 517.87/518.25 c nbDecision=350000 #constraints=49672 519.88/520.27 c nbDecision=350500 #constraints=49780 521.98/522.32 c nbDecision=351000 #constraints=49897 524.07/524.43 c nbDecision=351500 #constraints=49996 525.67/526.06 c nbDecision=352000 #constraints=50076 527.38/527.80 c nbDecision=352500 #constraints=50150 529.78/530.16 c nbDecision=353000 #constraints=50277 531.27/531.61 c nbDecision=353500 #constraints=50346 532.57/532.93 c nbDecision=354000 #constraints=50395 534.47/534.80 c nbDecision=354500 #constraints=50483 536.37/536.77 c nbDecision=355000 #constraints=50574 538.47/538.84 c nbDecision=355500 #constraints=50669 540.57/540.97 c nbDecision=356000 #constraints=50776 542.87/543.20 c nbDecision=356500 #constraints=50876 545.07/545.49 c nbDecision=357000 #constraints=50978 547.17/547.59 c nbDecision=357500 #constraints=51064 549.06/549.48 c nbDecision=358000 #constraints=51144 551.36/551.72 c nbDecision=358500 #constraints=51237 553.36/553.74 c nbDecision=359000 #constraints=51323 555.97/556.31 c nbDecision=359500 #constraints=51437 557.86/558.22 c nbDecision=360000 #constraints=51514 560.26/560.61 c nbDecision=360500 #constraints=51615 562.37/562.76 c nbDecision=361000 #constraints=51703 564.46/564.84 c nbDecision=361500 #constraints=51784 567.26/567.63 c nbDecision=362000 #constraints=51897 569.47/569.86 c nbDecision=362500 #constraints=51979 571.16/571.55 c nbDecision=363000 #constraints=52031 573.76/574.18 c nbDecision=363500 #constraints=52131 576.06/576.46 c nbDecision=364000 #constraints=52226 579.36/579.77 c nbDecision=364500 #constraints=52361 583.25/583.66 c nbDecision=365000 #constraints=52516 586.05/586.40 c nbDecision=365500 #constraints=52620 588.75/589.13 c nbDecision=366000 #constraints=52716 591.05/591.43 c nbDecision=366500 #constraints=52794 594.25/594.64 c nbDecision=367000 #constraints=52909 596.65/597.02 c nbDecision=367500 #constraints=52995 599.06/599.42 c nbDecision=368000 #constraints=53077 602.24/602.60 c nbDecision=368500 #constraints=53189 604.85/605.22 c nbDecision=369000 #constraints=53284 608.14/608.52 c nbDecision=369500 #constraints=53394 611.44/611.83 c nbDecision=370000 #constraints=53502 614.14/614.52 c nbDecision=370500 #constraints=53588 616.14/616.54 c nbDecision=371000 #constraints=53652 618.74/619.12 c nbDecision=371500 #constraints=53731 622.44/622.88 c nbDecision=372000 #constraints=53842 625.44/625.83 c nbDecision=372500 #constraints=53957 627.74/628.18 c nbDecision=373000 #constraints=54034 630.24/630.63 c nbDecision=373500 #constraints=54105 632.93/633.33 c nbDecision=374000 #constraints=54192 636.14/636.53 c nbDecision=374500 #constraints=54308 638.83/639.24 c nbDecision=375000 #constraints=54391 641.74/642.18 c nbDecision=375500 #constraints=54500 645.24/645.65 c nbDecision=376000 #constraints=54608 647.84/648.28 c nbDecision=376500 #constraints=54683 651.03/651.48 c nbDecision=377000 #constraints=54780 654.43/654.86 c nbDecision=377500 #constraints=54884 658.03/658.42 c nbDecision=378000 #constraints=55005 662.52/662.98 c nbDecision=378500 #constraints=55160 666.33/666.74 c nbDecision=379000 #constraints=55282 669.13/669.52 c nbDecision=379500 #constraints=55369 672.52/672.90 c nbDecision=380000 #constraints=55463 675.72/676.12 c nbDecision=380500 #constraints=55549 678.33/678.73 c nbDecision=381000 #constraints=55622 681.42/681.86 c nbDecision=381500 #constraints=55713 684.42/684.84 c nbDecision=382000 #constraints=55796 687.21/687.64 c nbDecision=382500 #constraints=55881 689.42/689.81 c nbDecision=383000 #constraints=55936 692.52/692.93 c nbDecision=383500 #constraints=56023 695.11/695.58 c nbDecision=384000 #constraints=56099 699.01/699.43 c nbDecision=384500 #constraints=56211 701.42/701.84 c nbDecision=385000 #constraints=56275 705.41/705.88 c nbDecision=385500 #constraints=56386 708.52/708.96 c nbDecision=386000 #constraints=56473 710.51/710.93 c nbDecision=386500 #constraints=56513 713.61/714.09 c nbDecision=387000 #constraints=56600 716.11/716.52 c nbDecision=387500 #constraints=56662 718.41/718.87 c nbDecision=388000 #constraints=56718 721.41/721.85 c nbDecision=388500 #constraints=56801 724.81/725.28 c nbDecision=389000 #constraints=56884 728.41/728.85 c nbDecision=389500 #constraints=56982 730.20/730.65 c nbDecision=390000 #constraints=57021 733.40/733.89 c nbDecision=390500 #constraints=57105 736.70/737.12 c nbDecision=391000 #constraints=57185 740.20/740.61 c nbDecision=391500 #constraints=57289 743.70/744.13 c nbDecision=392000 #constraints=57366 746.60/747.00 c nbDecision=392500 #constraints=57436 749.81/750.30 c nbDecision=393000 #constraints=57509 752.19/752.67 c nbDecision=393500 #constraints=57554 755.10/755.57 c nbDecision=394000 #constraints=57617 758.39/758.90 c nbDecision=394500 #constraints=57688 761.40/761.85 c nbDecision=395000 #constraints=57744 763.80/764.20 c nbDecision=395500 #constraints=57798 767.29/767.76 c nbDecision=396000 #constraints=57876 770.89/771.36 c nbDecision=396500 #constraints=57968 774.59/775.02 c nbDecision=397000 #constraints=58064 778.78/779.28 c nbDecision=397500 #constraints=58174 782.69/783.19 c nbDecision=398000 #constraints=58289 785.89/786.40 c nbDecision=398500 #constraints=58362 789.79/790.27 c nbDecision=399000 #constraints=58449 793.08/793.59 c nbDecision=399500 #constraints=58521 797.28/797.70 c nbDecision=400000 #constraints=58613 799.98/800.44 c nbDecision=400500 #constraints=58666 802.88/803.39 c nbDecision=401000 #constraints=58724 806.48/807.00 c nbDecision=401500 #constraints=58807 810.07/810.50 c nbDecision=402000 #constraints=58871 813.58/814.07 c nbDecision=402500 #constraints=58945 816.57/817.05 c nbDecision=403000 #constraints=58995 819.27/819.72 c nbDecision=403500 #constraints=59035 822.77/823.28 c nbDecision=404000 #constraints=59110 828.07/828.59 c nbDecision=404500 #constraints=59221 832.07/832.52 c nbDecision=405000 #constraints=59312 835.07/835.57 c nbDecision=405500 #constraints=59392 839.17/839.63 c nbDecision=406000 #constraints=59485 842.76/843.22 c nbDecision=406500 #constraints=59555 845.66/846.14 c nbDecision=407000 #constraints=59616 849.56/850.05 c nbDecision=407500 #constraints=59700 853.46/853.90 c nbDecision=408000 #constraints=59770 857.46/857.98 c nbDecision=408500 #constraints=59846 860.16/860.66 c nbDecision=409000 #constraints=59894 864.46/864.90 c nbDecision=409500 #constraints=59986 865.66/866.17 c restart after 409601 decisions 873.66/874.15 c nbDecision=410000 #constraints=60081 875.76/876.25 c nbDecision=410500 #constraints=60141 878.15/878.69 c nbDecision=411000 #constraints=60230 880.05/880.59 c nbDecision=411500 #constraints=60295 882.25/882.70 c nbDecision=412000 #constraints=60368 884.95/885.41 c nbDecision=412500 #constraints=60476 887.25/887.74 c nbDecision=413000 #constraints=60557 888.94/889.40 c nbDecision=413500 #constraints=60606 891.05/891.50 c nbDecision=414000 #constraints=60665 892.95/893.46 c nbDecision=414500 #constraints=60720 895.55/896.01 c nbDecision=415000 #constraints=60804 897.55/898.06 c nbDecision=415500 #constraints=60855 900.24/900.71 c nbDecision=416000 #constraints=60927 902.14/902.63 c nbDecision=416500 #constraints=60976 904.64/905.20 c nbDecision=417000 #constraints=61050 906.64/907.13 c nbDecision=417500 #constraints=61090 908.64/909.11 c nbDecision=418000 #constraints=61139 911.04/911.50 c nbDecision=418500 #constraints=61216 913.14/913.66 c nbDecision=419000 #constraints=61274 915.04/915.52 c nbDecision=419500 #constraints=61328 917.34/917.88 c nbDecision=420000 #constraints=61398 919.34/919.84 c nbDecision=420500 #constraints=61442 921.44/921.95 c nbDecision=421000 #constraints=61497 923.44/923.97 c nbDecision=421500 #constraints=61543 925.74/926.22 c nbDecision=422000 #constraints=61582 928.03/928.60 c nbDecision=422500 #constraints=61662 929.73/930.22 c nbDecision=423000 #constraints=61711 932.03/932.57 c nbDecision=423500 #constraints=61767 933.83/934.33 c nbDecision=424000 #constraints=61798 935.83/936.39 c nbDecision=424500 #constraints=61850 938.23/938.75 c nbDecision=425000 #constraints=61893 939.83/940.33 c nbDecision=425500 #constraints=61937 942.02/942.51 c nbDecision=426000 #constraints=61996 944.23/944.72 c nbDecision=426500 #constraints=62045 947.33/947.83 c nbDecision=427000 #constraints=62156 949.63/950.19 c nbDecision=427500 #constraints=62225 951.63/952.15 c nbDecision=428000 #constraints=62266 953.53/954.08 c nbDecision=428500 #constraints=62299 956.13/956.65 c nbDecision=429000 #constraints=62356 957.53/958.09 c nbDecision=429500 #constraints=62382 960.12/960.62 c nbDecision=430000 #constraints=62441 962.62/963.17 c nbDecision=430500 #constraints=62517 964.82/965.32 c nbDecision=431000 #constraints=62571 967.02/967.58 c nbDecision=431500 #constraints=62606 969.02/969.50 c nbDecision=432000 #constraints=62650 970.82/971.34 c nbDecision=432500 #constraints=62687 972.92/973.47 c nbDecision=433000 #constraints=62720 975.31/975.82 c nbDecision=433500 #constraints=62768 977.01/977.55 c nbDecision=434000 #constraints=62788 979.02/979.55 c nbDecision=434500 #constraints=62836 980.52/981.04 c nbDecision=435000 #constraints=62867 982.72/983.30 c nbDecision=435500 #constraints=62916 984.82/985.31 c nbDecision=436000 #constraints=62962 987.11/987.60 c nbDecision=436500 #constraints=63026 989.01/989.50 c nbDecision=437000 #constraints=63056 991.01/991.54 c nbDecision=437500 #constraints=63103 993.41/993.97 c nbDecision=438000 #constraints=63163 996.21/996.70 c nbDecision=438500 #constraints=63258 998.61/999.11 c nbDecision=439000 #constraints=63304 1000.41/1000.98 c nbDecision=439500 #constraints=63328 1002.40/1002.94 c nbDecision=440000 #constraints=63372 1004.70/1005.30 c nbDecision=440500 #constraints=63433 1006.80/1007.37 c nbDecision=441000 #constraints=63479 1008.50/1009.09 c nbDecision=441500 #constraints=63498 1010.80/1011.30 c nbDecision=442000 #constraints=63544 1012.70/1013.26 c nbDecision=442500 #constraints=63584 1014.50/1015.06 c nbDecision=443000 #constraints=63608 1016.80/1017.32 c nbDecision=443500 #constraints=63651 1018.70/1019.25 c nbDecision=444000 #constraints=63695 1020.89/1021.41 c nbDecision=444500 #constraints=63739 1022.79/1023.37 c nbDecision=445000 #constraints=63780 1025.19/1025.72 c nbDecision=445500 #constraints=63832 1026.99/1027.57 c nbDecision=446000 #constraints=63867 1028.99/1029.52 c nbDecision=446500 #constraints=63897 1031.10/1031.60 c nbDecision=447000 #constraints=63939 1033.29/1033.86 c nbDecision=447500 #constraints=63999 1035.69/1036.26 c nbDecision=448000 #constraints=64060 1038.59/1039.14 c nbDecision=448500 #constraints=64148 1040.69/1041.28 c nbDecision=449000 #constraints=64191 1042.49/1043.05 c nbDecision=449500 #constraints=64222 1044.68/1045.22 c nbDecision=450000 #constraints=64262 1046.98/1047.55 c nbDecision=450500 #constraints=64315 1048.88/1049.48 c nbDecision=451000 #constraints=64350 1051.78/1052.32 c nbDecision=451500 #constraints=64403 1053.69/1054.25 c nbDecision=452000 #constraints=64434 1055.59/1056.18 c nbDecision=452500 #constraints=64468 1057.59/1058.18 c nbDecision=453000 #constraints=64511 1059.89/1060.41 c nbDecision=453500 #constraints=64549 1061.68/1062.20 c nbDecision=454000 #constraints=64570 1063.58/1064.12 c nbDecision=454500 #constraints=64599 1065.38/1065.97 c nbDecision=455000 #constraints=64628 1067.48/1068.05 c nbDecision=455500 #constraints=64668 1069.78/1070.31 c nbDecision=456000 #constraints=64727 1072.77/1073.37 c nbDecision=456500 #constraints=64809 1075.28/1075.86 c nbDecision=457000 #constraints=64868 1077.28/1077.83 c nbDecision=457500 #constraints=64903 1079.18/1079.73 c nbDecision=458000 #constraints=64931 1081.58/1082.10 c nbDecision=458500 #constraints=64978 1083.38/1083.97 c nbDecision=459000 #constraints=65005 1086.08/1086.60 c nbDecision=459500 #constraints=65052 1087.97/1088.52 c nbDecision=460000 #constraints=65085 1089.97/1090.58 c nbDecision=460500 #constraints=65120 1091.78/1092.37 c nbDecision=461000 #constraints=65146 1093.98/1094.54 c nbDecision=461500 #constraints=65191 1096.18/1096.71 c nbDecision=462000 #constraints=65232 1098.37/1098.99 c nbDecision=462500 #constraints=65274 1100.87/1101.48 c nbDecision=463000 #constraints=65325 1103.77/1104.33 c nbDecision=463500 #constraints=65399 1105.76/1106.37 c nbDecision=464000 #constraints=65436 1107.76/1108.31 c nbDecision=464500 #constraints=65469 1110.06/1110.65 c nbDecision=465000 #constraints=65519 1112.16/1112.75 c nbDecision=465500 #constraints=65560 1114.77/1115.35 c nbDecision=466000 #constraints=65605 1116.86/1117.43 c nbDecision=466500 #constraints=65646 1118.76/1119.35 c nbDecision=467000 #constraints=65673 1120.96/1121.53 c nbDecision=467500 #constraints=65714 1123.76/1124.33 c nbDecision=468000 #constraints=65765 1126.97/1127.58 c nbDecision=468500 #constraints=65860 1128.96/1129.50 c nbDecision=469000 #constraints=65886 1131.06/1131.63 c nbDecision=469500 #constraints=65930 1133.06/1133.66 c nbDecision=470000 #constraints=65968 1135.25/1135.83 c nbDecision=470500 #constraints=66005 1137.25/1137.89 c nbDecision=471000 #constraints=66048 1139.55/1140.14 c nbDecision=471500 #constraints=66091 1141.55/1142.19 c nbDecision=472000 #constraints=66124 1145.25/1145.86 c nbDecision=472500 #constraints=66223 1147.25/1147.80 c nbDecision=473000 #constraints=66256 1149.45/1150.02 c nbDecision=473500 #constraints=66300 1151.45/1152.01 c nbDecision=474000 #constraints=66327 1153.25/1153.84 c nbDecision=474500 #constraints=66347 1155.85/1156.42 c nbDecision=475000 #constraints=66393 1159.24/1159.82 c nbDecision=475500 #constraints=66495 1161.44/1162.02 c nbDecision=476000 #constraints=66532 1163.74/1164.30 c nbDecision=476500 #constraints=66573 1166.25/1166.87 c nbDecision=477000 #constraints=66630 1169.15/1169.73 c nbDecision=477500 #constraints=66705 1171.35/1171.97 c nbDecision=478000 #constraints=66738 1175.35/1175.93 c nbDecision=478500 #constraints=66832 1177.74/1178.32 c nbDecision=479000 #constraints=66876 1180.24/1180.90 c nbDecision=479500 #constraints=66939 1183.44/1184.06 c nbDecision=480000 #constraints=67030 1187.23/1187.83 c nbDecision=480500 #constraints=67159 1191.34/1191.94 c nbDecision=481000 #constraints=67279 1194.54/1195.13 c nbDecision=481500 #constraints=67353 1198.73/1199.36 c nbDecision=482000 #constraints=67455 1201.74/1202.33 c nbDecision=482500 #constraints=67527 1205.13/1205.71 c nbDecision=483000 #constraints=67605 1208.82/1209.49 c nbDecision=483500 #constraints=67686 1211.53/1212.16 c nbDecision=484000 #constraints=67753 1214.53/1215.18 c nbDecision=484500 #constraints=67826 1217.13/1217.75 c nbDecision=485000 #constraints=67907 1220.93/1221.51 c nbDecision=485500 #constraints=67983 1222.83/1223.41 c nbDecision=486000 #constraints=67995 1226.02/1226.64 c nbDecision=486500 #constraints=68057 1229.42/1230.07 c nbDecision=487000 #constraints=68124 1232.53/1233.16 c nbDecision=487500 #constraints=68191 1235.62/1236.26 c nbDecision=488000 #constraints=68277 1238.42/1239.07 c nbDecision=488500 #constraints=68335 1241.72/1242.31 c nbDecision=489000 #constraints=68410 1245.32/1245.90 c nbDecision=489500 #constraints=68494 1248.22/1248.80 c nbDecision=490000 #constraints=68576 1251.22/1251.82 c nbDecision=490500 #constraints=68643 1254.41/1255.01 c nbDecision=491000 #constraints=68712 1257.41/1258.03 c nbDecision=491500 #constraints=68763 1260.01/1260.69 c nbDecision=492000 #constraints=68819 1263.71/1264.38 c nbDecision=492500 #constraints=68918 1267.21/1267.83 c nbDecision=493000 #constraints=68993 1269.61/1270.26 c nbDecision=493500 #constraints=69052 1273.11/1273.77 c nbDecision=494000 #constraints=69153 1276.61/1277.23 c nbDecision=494500 #constraints=69238 1279.40/1280.00 c nbDecision=495000 #constraints=69299 1282.91/1283.50 c nbDecision=495500 #constraints=69360 1286.21/1286.82 c nbDecision=496000 #constraints=69419 1289.80/1290.42 c nbDecision=496500 #constraints=69498 1293.20/1293.88 c nbDecision=497000 #constraints=69570 1296.89/1297.55 c nbDecision=497500 #constraints=69651 1300.10/1300.74 c nbDecision=498000 #constraints=69731 1303.10/1303.78 c nbDecision=498500 #constraints=69815 1305.89/1306.59 c nbDecision=499000 #constraints=69858 1308.49/1309.17 c nbDecision=499500 #constraints=69905 1312.10/1312.80 c nbDecision=500000 #constraints=69988 1315.10/1315.71 c nbDecision=500500 #constraints=70046 1318.69/1319.31 c nbDecision=501000 #constraints=70137 1322.09/1322.77 c nbDecision=501500 #constraints=70203 1324.99/1325.60 c nbDecision=502000 #constraints=70266 1327.98/1328.65 c nbDecision=502500 #constraints=70331 1330.78/1331.41 c nbDecision=503000 #constraints=70389 1333.59/1334.25 c nbDecision=503500 #constraints=70445 1336.78/1337.47 c nbDecision=504000 #constraints=70497 1340.38/1341.03 c nbDecision=504500 #constraints=70583 1343.49/1344.16 c nbDecision=505000 #constraints=70649 1346.79/1347.40 c nbDecision=505500 #constraints=70714 1350.38/1351.00 c nbDecision=506000 #constraints=70800 1352.58/1353.21 c nbDecision=506500 #constraints=70846 1355.78/1356.48 c nbDecision=507000 #constraints=70910 1359.47/1360.20 c nbDecision=507500 #constraints=70977 1363.57/1364.25 c nbDecision=508000 #constraints=71056 1366.58/1367.29 c nbDecision=508500 #constraints=71127 1369.57/1370.24 c nbDecision=509000 #constraints=71185 1372.47/1373.11 c nbDecision=509500 #constraints=71239 1377.27/1377.96 c nbDecision=510000 #constraints=71332 1380.76/1381.47 c nbDecision=510500 #constraints=71395 1384.37/1385.09 c nbDecision=511000 #constraints=71478 1388.47/1389.16 c nbDecision=511500 #constraints=71549 1392.66/1393.37 c nbDecision=512000 #constraints=71632 1395.86/1396.59 c nbDecision=512500 #constraints=71676 1398.57/1399.29 c nbDecision=513000 #constraints=71711 1401.66/1402.34 c nbDecision=513500 #constraints=71753 1405.16/1405.83 c nbDecision=514000 #constraints=71807 1408.47/1409.11 c nbDecision=514500 #constraints=71867 1411.56/1412.21 c nbDecision=515000 #constraints=71924 1415.75/1416.42 c nbDecision=515500 #constraints=72016 1417.95/1418.64 c nbDecision=516000 #constraints=72060 1421.85/1422.56 c nbDecision=516500 #constraints=72132 1426.06/1426.74 c nbDecision=517000 #constraints=72211 1429.95/1430.60 c nbDecision=517500 #constraints=72284 1434.55/1435.24 c nbDecision=518000 #constraints=72361 1437.35/1438.06 c nbDecision=518500 #constraints=72400 1440.74/1441.49 c nbDecision=519000 #constraints=72454 1444.54/1445.26 c nbDecision=519500 #constraints=72508 1447.65/1448.33 c nbDecision=520000 #constraints=72573 1451.14/1451.88 c nbDecision=520500 #constraints=72625 1454.34/1455.06 c nbDecision=521000 #constraints=72676 1457.24/1457.93 c nbDecision=521500 #constraints=72720 1460.74/1461.43 c nbDecision=522000 #constraints=72775 1464.33/1465.07 c nbDecision=522500 #constraints=72837 1468.34/1469.08 c nbDecision=523000 #constraints=72916 1472.94/1473.67 c nbDecision=523500 #constraints=72998 1476.24/1476.96 c nbDecision=524000 #constraints=73059 1479.84/1480.53 c nbDecision=524500 #constraints=73123 1482.93/1483.63 c nbDecision=525000 #constraints=73175 1486.33/1487.05 c nbDecision=525500 #constraints=73228 1489.83/1490.58 c nbDecision=526000 #constraints=73282 1493.22/1494.00 c nbDecision=526500 #constraints=73341 1496.93/1497.68 c nbDecision=527000 #constraints=73407 1500.23/1500.93 c nbDecision=527500 #constraints=73456 1503.23/1503.92 c nbDecision=528000 #constraints=73499 1506.62/1507.30 c nbDecision=528500 #constraints=73555 1510.82/1511.54 c nbDecision=529000 #constraints=73632 1514.72/1515.48 c nbDecision=529500 #constraints=73702 1517.72/1518.42 c nbDecision=530000 #constraints=73755 1521.12/1521.85 c nbDecision=530500 #constraints=73800 1525.61/1526.36 c nbDecision=531000 #constraints=73869 1529.02/1529.74 c nbDecision=531500 #constraints=73929 1532.42/1533.19 c nbDecision=532000 #constraints=73993 1536.71/1537.47 c nbDecision=532500 #constraints=74053 1540.01/1540.70 c nbDecision=533000 #constraints=74097 1545.11/1545.89 c nbDecision=533500 #constraints=74177 1550.31/1551.07 c nbDecision=534000 #constraints=74253 1555.71/1556.40 c nbDecision=534500 #constraints=74335 1560.30/1561.08 c nbDecision=535000 #constraints=74406 1565.50/1566.22 c nbDecision=535500 #constraints=74496 1569.20/1569.92 c nbDecision=536000 #constraints=74560 1573.50/1574.24 c nbDecision=536500 #constraints=74626 1577.71/1578.43 c nbDecision=537000 #constraints=74690 1580.80/1581.59 c nbDecision=537500 #constraints=74745 1584.70/1585.44 c nbDecision=538000 #constraints=74790 1589.19/1589.96 c nbDecision=538500 #constraints=74854 1594.19/1594.95 c nbDecision=539000 #constraints=74926 1597.99/1598.73 c nbDecision=539500 #constraints=74974 1601.59/1602.38 c nbDecision=540000 #constraints=75036 1605.69/1606.40 c nbDecision=540500 #constraints=75106 1610.68/1611.42 c nbDecision=541000 #constraints=75182 1615.29/1616.03 c nbDecision=541500 #constraints=75246 1618.78/1619.57 c nbDecision=542000 #constraints=75284 1623.99/1624.76 c nbDecision=542500 #constraints=75357 1627.48/1628.26 c nbDecision=543000 #constraints=75409 1631.07/1631.80 c nbDecision=543500 #constraints=75466 1635.28/1636.05 c nbDecision=544000 #constraints=75542 1638.68/1639.49 c nbDecision=544500 #constraints=75596 1643.47/1644.26 c nbDecision=545000 #constraints=75672 1646.47/1647.23 c nbDecision=545500 #constraints=75699 1650.97/1651.73 c nbDecision=546000 #constraints=75760 1655.36/1656.19 c nbDecision=546500 #constraints=75829 1659.46/1660.21 c nbDecision=547000 #constraints=75886 1664.17/1664.91 c nbDecision=547500 #constraints=75960 1667.87/1668.66 c nbDecision=548000 #constraints=76020 1671.76/1672.58 c nbDecision=548500 #constraints=76082 1675.46/1676.28 c nbDecision=549000 #constraints=76126 1680.36/1681.13 c nbDecision=549500 #constraints=76203 1684.95/1685.75 c nbDecision=550000 #constraints=76266 1689.05/1689.81 c nbDecision=550500 #constraints=76319 1693.56/1694.39 c nbDecision=551000 #constraints=76387 1697.26/1698.06 c nbDecision=551500 #constraints=76440 1700.86/1701.62 c nbDecision=552000 #constraints=76487 1704.95/1705.74 c nbDecision=552500 #constraints=76549 1709.25/1710.09 c nbDecision=553000 #constraints=76608 1714.15/1714.93 c nbDecision=553500 #constraints=76679 1718.84/1719.62 c nbDecision=554000 #constraints=76746 1723.55/1724.37 c nbDecision=554500 #constraints=76814 1728.64/1729.47 c nbDecision=555000 #constraints=76884 1732.34/1733.15 c nbDecision=555500 #constraints=76938 1737.04/1737.84 c nbDecision=556000 #constraints=76999 1741.14/1741.93 c nbDecision=556500 #constraints=77058 1744.54/1745.37 c nbDecision=557000 #constraints=77101 1749.44/1750.25 c nbDecision=557500 #constraints=77183 1753.83/1754.64 c nbDecision=558000 #constraints=77232 1758.53/1759.32 c nbDecision=558500 #constraints=77298 1761.83/1762.67 c nbDecision=559000 #constraints=77349 1768.33/1769.14 c nbDecision=559500 #constraints=77439 1772.93/1773.72 c nbDecision=560000 #constraints=77506 1776.53/1777.37 c nbDecision=560500 #constraints=77558 1780.72/1781.57 c nbDecision=561000 #constraints=77612 1784.92/1785.75 c nbDecision=561500 #constraints=77672 1789.93/1790.77 c nbDecision=562000 #constraints=77750 1794.02/1794.85 c nbDecision=562500 #constraints=77806 1797.92/1798.75 c nbDecision=563000 #constraints=77855 1800.02/1800.80 Received signal 15 1800.02/1800.80 1800.02/1800.80 s UNKNOWN 1800.02/1800.80 1800.02/1800.80 c user time= 1798.6 s 1800.02/1800.80 c system time= 1.43678 s 1800.02/1800.80 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-356877-1176846937 -o ROOT/results/node69/solver-356877-1176846937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356877-1176846937/instance-356877-1176846937.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.92 0.98 0.99 3/64 18689 /proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=1468 CPUtime=0 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 160683133 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 367 168 131 317 0 46 0 [startup+0.0730599 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18689 /proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=3208 CPUtime=0.06 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 609 0 0 0 6 0 0 0 18 0 1 0 160683133 3284992 591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827801 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 802 591 131 317 0 481 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3208 [startup+0.101063 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18689 /proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=3736 CPUtime=0.09 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 738 0 0 0 9 0 0 0 18 0 1 0 160683133 3825664 720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 934 720 131 317 0 613 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3736 [startup+0.301095 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18689 /proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=7020 CPUtime=0.29 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 1556 0 0 0 29 0 0 0 19 0 1 0 160683133 7188480 1538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 1755 1538 139 317 0 1434 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7020 [startup+0.70116 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18689 /proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=7540 CPUtime=0.69 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 1732 0 0 0 68 1 0 0 22 0 1 0 160683133 7720960 1714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 1885 1714 170 317 0 1564 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7540 [startup+1.50129 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1589668/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=10464 CPUtime=1.49 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 2464 0 0 0 148 1 0 0 25 0 1 0 160683133 10715136 2446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 2616 2446 170 317 0 2295 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10464 [startup+3.10155 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1586660/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=13220 CPUtime=3.09 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 3130 0 0 0 308 1 0 0 25 0 1 0 160683133 13537280 3112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 3305 3112 170 317 0 2984 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13220 [startup+6.30107 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1581028/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=17952 CPUtime=6.28 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 4312 0 0 0 626 2 0 0 25 0 1 0 160683133 18382848 4294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 4488 4294 170 317 0 4167 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17952 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1576356/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=22048 CPUtime=12.68 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 5307 0 0 0 1264 4 0 0 25 0 1 0 160683133 22577152 5289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 5512 5289 170 317 0 5191 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22048 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1571236/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=27124 CPUtime=25.48 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 6549 0 0 0 2543 5 0 0 25 0 1 0 160683133 27774976 6531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 6781 6531 170 317 0 6460 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27124 [startup+51.1013 s] /proc/loadavg: 0.97 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1525668/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=73664 CPUtime=51.07 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 18180 0 0 0 5094 13 0 0 25 0 1 0 160683133 75431936 18104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 18416 18104 170 317 0 18095 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73664 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1504292/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=94820 CPUtime=102.26 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 23347 0 0 0 10208 18 0 0 25 0 1 0 160683133 97095680 23157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 23705 23157 170 317 0 23384 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 94820 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1460580/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=139068 CPUtime=162.23 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 34349 0 0 0 16195 28 0 0 25 0 1 0 160683133 142405632 34159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 34767 34159 170 317 0 34446 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139068 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1424420/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=175696 CPUtime=222.2 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 43311 0 0 0 22185 35 0 0 25 0 1 0 160683133 179912704 43121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 43924 43121 170 317 0 43603 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 175696 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18690 /proc/meminfo: memFree=1400932/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=205956 CPUtime=282.18 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 50339 0 0 0 28176 42 0 0 25 0 1 0 160683133 210898944 49889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 51489 49889 170 317 0 51168 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 205956 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 18798 /proc/meminfo: memFree=1374068/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=228108 CPUtime=342.1 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 55825 0 0 0 34159 51 0 0 25 0 1 0 160683133 233582592 55375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 57027 55375 170 317 0 56706 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 228108 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18888 /proc/meminfo: memFree=1356324/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=245676 CPUtime=402.03 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 60522 0 0 0 40146 57 0 0 25 0 1 0 160683133 251572224 60072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 61419 60072 170 317 0 61098 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 245676 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18888 /proc/meminfo: memFree=1336740/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=266380 CPUtime=462 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 65366 0 0 0 46139 61 0 0 25 0 1 0 160683133 272773120 64916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 66595 64916 170 317 0 66274 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 266380 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18888 /proc/meminfo: memFree=1273444/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=336364 CPUtime=521.98 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 81552 0 0 0 52129 69 0 0 25 0 1 0 160683133 344436736 81102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 84091 81102 170 317 0 83770 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 336364 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18888 /proc/meminfo: memFree=1198052/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=415164 CPUtime=581.95 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 100025 0 0 0 58118 77 0 0 25 0 1 0 160683133 425127936 99575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 103791 99575 170 317 0 103470 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 415164 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18888 /proc/meminfo: memFree=1138596/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=476336 CPUtime=641.94 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 114809 0 0 0 64109 85 0 0 25 0 1 0 160683133 487768064 114359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 119084 114359 170 317 0 118763 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 476336 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18888 /proc/meminfo: memFree=966820/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=679552 CPUtime=881.85 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 161381 0 0 0 88080 105 0 0 25 0 1 0 160683133 695861248 157202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 169888 157202 170 317 0 169567 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 679552 [startup+942.302 s] /proc/loadavg: 1.03 1.00 1.00 2/65 18888 /proc/meminfo: memFree=957860/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=689304 CPUtime=941.82 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 164074 0 0 0 94076 106 0 0 25 0 1 0 160683133 705847296 159433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 172326 159433 170 317 0 172005 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 689304 [startup+1002.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 18888 /proc/meminfo: memFree=951076/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=695444 CPUtime=1001.8 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 165803 0 0 0 100072 108 0 0 25 0 1 0 160683133 712134656 161129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 173861 161129 170 317 0 173540 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 695444 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 18888 /proc/meminfo: memFree=945316/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=700828 CPUtime=1061.78 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 167244 0 0 0 106068 110 0 0 25 0 1 0 160683133 717647872 162570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 175207 162570 170 317 0 174886 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 700828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=939044/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=706596 CPUtime=1121.76 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 168874 0 0 0 112065 111 0 0 25 0 1 0 160683133 723554304 164135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 176649 164135 170 317 0 176328 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 706596 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=932452/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=714452 CPUtime=1181.74 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 170998 0 0 0 118061 113 0 0 25 0 1 0 160683133 731598848 165807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 178613 165807 170 317 0 178292 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 714452 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=911652/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=733968 CPUtime=1241.72 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 176234 0 0 0 124056 116 0 0 25 0 1 0 160683133 751583232 171043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 183492 171043 170 317 0 183171 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 733968 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=885988/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=760996 CPUtime=1301.7 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 182564 0 0 0 130051 119 0 0 25 0 1 0 160683133 779259904 177373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 190249 177373 170 317 0 189928 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 760996 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=861924/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=785732 CPUtime=1361.67 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 188616 0 0 0 136045 122 0 0 25 0 1 0 160683133 804589568 183425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 196433 183425 170 317 0 196112 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 785732 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=842660/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=803996 CPUtime=1421.65 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 193443 0 0 0 142040 125 0 0 25 0 1 0 160683133 823291904 188186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 200999 188186 170 317 0 200678 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 803996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=822884/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=826468 CPUtime=1481.63 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 198996 0 0 0 148035 128 0 0 25 0 1 0 160683133 846303232 193145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 206617 193145 170 317 0 206296 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 826468 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=804260/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=847740 CPUtime=1541.61 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 204298 0 0 0 154030 131 0 0 25 0 1 0 160683133 868085760 197754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 211935 197754 170 317 0 211614 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 847740 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=786340/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=875924 CPUtime=1601.59 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 210870 0 0 0 160024 135 0 0 25 0 1 0 160683133 896946176 202280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 218981 202280 170 317 0 218660 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 875924 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=769700/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=891172 CPUtime=1661.56 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 214954 0 0 0 166019 137 0 0 25 0 1 0 160683133 912560128 206364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 222793 206364 170 317 0 222472 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 891172 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=750500/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=913280 CPUtime=1721.55 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 219832 0 0 0 172015 140 0 0 25 0 1 0 160683133 935198720 211209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 228320 211209 170 317 0 227999 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 913280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=734820/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=928176 CPUtime=1781.53 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 223716 0 0 0 178011 142 0 0 25 0 1 0 160683133 950452224 215093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 232044 215093 170 317 0 231723 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 928176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=730212/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=932756 CPUtime=1800.02 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 224834 0 0 0 179859 143 0 0 25 0 1 0 160683133 955142144 216211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 233189 216211 170 317 0 232868 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 932756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18888 /proc/meminfo: memFree=730212/2055920 swapFree=4182840/4192956 [pid=18689] ppid=18687 vsize=0 CPUtime=1800.12 /proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194308 224850 0 0 0 179860 152 0 0 25 0 1 0 160683133 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18689/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.19 CPU user time (s): 1798.61 CPU system time (s): 1.57576 CPU usage (%): 99.9569 Max. virtual memory (cumulated for all children) (KiB): 932756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.61 system time used= 1.57576 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224850 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= 3503 runsolver used 1.41778 second user time and 3.63945 second system time The end
Begin job on node69 on Tue Apr 17 21:55:37 UTC 2007 IDJOB= 356877 IDBENCH= 1583 IDSOLVER= 172 FILE ID= node69/356877-1176846937 PBS_JOBID= 4590151 Free space on /tmp= 66522 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb COMMAND LINE= oree /tmp/evaluation/356877-1176846937/instance-356877-1176846937.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-356877-1176846937 -o ROOT/results/node69/solver-356877-1176846937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356877-1176846937/instance-356877-1176846937.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ab5e35dff8e81ea7a1176a4145ab1bff RANDOM SEED= 463261677 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1597252 kB Buffers: 28732 kB Cached: 380724 kB SwapCached: 5208 kB Active: 238268 kB Inactive: 182056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1597252 kB SwapTotal: 4192956 kB SwapFree: 4182840 kB Dirty: 1840 kB Writeback: 0 kB Mapped: 15488 kB Slab: 24252 kB Committed_AS: 1425848 kB PageTables: 1472 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= 66522 MiB End job on node69 on Tue Apr 17 22:25:40 UTC 2007