Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1801.35 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb |
MD5SUM | 4c72c91139ee79c29342b8f97e9b4cad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.47247 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 104670 |
Total number of constraints | 2262 |
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 | 2262 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2460 |
Number of terms in the objective function | 50550 |
Biggest coefficient in the objective function | 14942 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 568060 |
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 | 568060 |
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... 1.19/1.22 c ...done 1.19/1.22 c #vars=104670 #constraints=3590 hasObjective=yes 1.99/2.09 c res. mode=mod 1.99/2.09 c VSIDS like heuristics 1.99/2.09 c complete search running 3.39/3.48 c restart after 401 decisions 3.69/3.70 c nbDecision=500 #constraints=3591 4.40/4.48 c restart after 801 decisions 4.89/4.97 c nbDecision=1000 #constraints=3591 6.19/6.26 c nbDecision=1500 #constraints=3591 6.49/6.53 c restart after 1601 decisions 7.49/7.53 c nbDecision=2000 #constraints=3591 8.79/8.82 c nbDecision=2500 #constraints=3591 10.09/10.11 c nbDecision=3000 #constraints=3591 10.59/10.60 c restart after 3201 decisions 11.29/11.35 c nbDecision=3500 #constraints=3592 12.59/12.65 c nbDecision=4000 #constraints=3592 13.89/13.95 c nbDecision=4500 #constraints=3592 15.18/15.28 c nbDecision=5000 #constraints=3632 16.49/16.58 c nbDecision=5500 #constraints=3632 17.78/17.88 c nbDecision=6000 #constraints=3632 18.88/18.92 c restart after 6401 decisions 19.08/19.14 c nbDecision=6500 #constraints=3632 20.38/20.44 c nbDecision=7000 #constraints=3632 21.68/21.73 c nbDecision=7500 #constraints=3632 22.98/23.01 c nbDecision=8000 #constraints=3632 24.28/24.31 c nbDecision=8500 #constraints=3677 25.58/25.60 c nbDecision=9000 #constraints=3677 26.78/26.89 c nbDecision=9500 #constraints=3677 28.08/28.15 c nbDecision=10000 #constraints=3678 29.38/29.44 c nbDecision=10500 #constraints=3678 30.68/30.73 c nbDecision=11000 #constraints=3678 32.07/32.14 c nbDecision=11500 #constraints=3765 33.37/33.48 c nbDecision=12000 #constraints=3801 34.67/34.79 c nbDecision=12500 #constraints=3801 35.47/35.57 c restart after 12801 decisions 35.97/36.06 c nbDecision=13000 #constraints=3801 37.27/37.36 c nbDecision=13500 #constraints=3801 38.57/38.66 c nbDecision=14000 #constraints=3801 39.87/39.94 c nbDecision=14500 #constraints=3823 41.17/41.23 c nbDecision=15000 #constraints=3823 42.47/42.52 c nbDecision=15500 #constraints=3823 43.77/43.81 c nbDecision=16000 #constraints=3832 44.97/45.07 c nbDecision=16500 #constraints=3833 46.26/46.36 c nbDecision=17000 #constraints=3833 47.56/47.64 c nbDecision=17500 #constraints=3833 48.86/48.92 c nbDecision=18000 #constraints=3846 50.16/50.21 c nbDecision=18500 #constraints=3846 51.46/51.51 c nbDecision=19000 #constraints=3846 52.77/52.82 c nbDecision=19500 #constraints=3899 54.06/54.13 c nbDecision=20000 #constraints=3899 55.36/55.43 c nbDecision=20500 #constraints=3899 56.66/56.72 c nbDecision=21000 #constraints=3899 57.96/58.06 c nbDecision=21500 #constraints=3972 59.25/59.40 c nbDecision=22000 #constraints=3972 60.55/60.69 c nbDecision=22500 #constraints=3972 61.85/61.95 c nbDecision=23000 #constraints=3983 63.15/63.25 c nbDecision=23500 #constraints=3983 64.45/64.54 c nbDecision=24000 #constraints=3983 65.75/65.82 c nbDecision=24500 #constraints=3983 67.05/67.14 c nbDecision=25000 #constraints=4048 68.35/68.43 c nbDecision=25500 #constraints=4048 68.55/68.69 c restart after 25601 decisions 69.55/69.69 c nbDecision=26000 #constraints=4048 70.85/71.00 c nbDecision=26500 #constraints=4048 72.15/72.29 c nbDecision=27000 #constraints=4048 73.56/73.63 c nbDecision=27500 #constraints=4116 74.85/74.93 c nbDecision=28000 #constraints=4116 76.15/76.23 c nbDecision=28500 #constraints=4116 77.45/77.54 c nbDecision=29000 #constraints=4126 78.75/78.87 c nbDecision=29500 #constraints=4174 80.04/80.17 c nbDecision=30000 #constraints=4174 81.35/81.45 c nbDecision=30500 #constraints=4174 82.64/82.77 c nbDecision=31000 #constraints=4208 83.94/84.06 c nbDecision=31500 #constraints=4244 85.24/85.35 c nbDecision=32000 #constraints=4244 86.54/86.64 c nbDecision=32500 #constraints=4244 87.84/87.94 c nbDecision=33000 #constraints=4262 89.14/89.29 c nbDecision=33500 #constraints=4353 90.44/90.59 c nbDecision=34000 #constraints=4353 91.74/91.89 c nbDecision=34500 #constraints=4353 93.04/93.19 c nbDecision=35000 #constraints=4353 94.44/94.51 c nbDecision=35500 #constraints=4410 95.74/95.81 c nbDecision=36000 #constraints=4410 97.04/97.11 c nbDecision=36500 #constraints=4410 98.34/98.42 c nbDecision=37000 #constraints=4425 99.63/99.75 c nbDecision=37500 #constraints=4490 100.93/101.05 c nbDecision=38000 #constraints=4490 102.24/102.33 c nbDecision=38500 #constraints=4490 103.53/103.62 c nbDecision=39000 #constraints=4499 104.93/105.00 c nbDecision=39500 #constraints=4585 106.22/106.30 c nbDecision=40000 #constraints=4585 107.42/107.58 c nbDecision=40500 #constraints=4585 108.73/108.87 c nbDecision=41000 #constraints=4585 110.12/110.22 c nbDecision=41500 #constraints=4649 111.42/111.50 c nbDecision=42000 #constraints=4653 112.72/112.80 c nbDecision=42500 #constraints=4653 113.92/114.09 c nbDecision=43000 #constraints=4653 115.33/115.45 c nbDecision=43500 #constraints=4705 116.62/116.76 c nbDecision=44000 #constraints=4745 117.92/118.07 c nbDecision=44500 #constraints=4745 119.22/119.36 c nbDecision=45000 #constraints=4745 120.52/120.69 c nbDecision=45500 #constraints=4780 121.82/121.99 c nbDecision=46000 #constraints=4818 123.12/123.28 c nbDecision=46500 #constraints=4818 124.41/124.58 c nbDecision=47000 #constraints=4818 125.71/125.87 c nbDecision=47500 #constraints=4834 127.11/127.20 c nbDecision=48000 #constraints=4908 128.31/128.49 c nbDecision=48500 #constraints=4908 129.61/129.78 c nbDecision=49000 #constraints=4908 130.91/131.08 c nbDecision=49500 #constraints=4916 132.31/132.43 c nbDecision=50000 #constraints=4978 133.61/133.72 c nbDecision=50500 #constraints=4978 134.91/135.02 c nbDecision=51000 #constraints=4978 135.41/135.54 c restart after 51201 decisions 136.11/136.29 c nbDecision=51500 #constraints=4978 137.41/137.60 c nbDecision=52000 #constraints=4978 138.70/138.89 c nbDecision=52500 #constraints=4978 140.10/140.22 c nbDecision=53000 #constraints=5007 141.40/141.52 c nbDecision=53500 #constraints=5048 142.70/142.82 c nbDecision=54000 #constraints=5048 144.01/144.10 c nbDecision=54500 #constraints=5048 145.30/145.40 c nbDecision=55000 #constraints=5064 146.60/146.77 c nbDecision=55500 #constraints=5154 147.90/148.04 c nbDecision=56000 #constraints=5154 149.20/149.36 c nbDecision=56500 #constraints=5154 150.50/150.67 c nbDecision=57000 #constraints=5154 151.89/152.01 c nbDecision=57500 #constraints=5197 153.19/153.33 c nbDecision=58000 #constraints=5257 154.49/154.64 c nbDecision=58500 #constraints=5257 155.79/155.93 c nbDecision=59000 #constraints=5257 157.10/157.24 c nbDecision=59500 #constraints=5266 158.39/158.56 c nbDecision=60000 #constraints=5304 159.69/159.88 c nbDecision=60500 #constraints=5346 160.99/161.17 c nbDecision=61000 #constraints=5346 162.29/162.45 c nbDecision=61500 #constraints=5346 163.59/163.74 c nbDecision=62000 #constraints=5355 164.89/165.06 c nbDecision=62500 #constraints=5407 166.19/166.35 c nbDecision=63000 #constraints=5430 167.49/167.64 c nbDecision=63500 #constraints=5430 168.79/168.92 c nbDecision=64000 #constraints=5430 170.08/170.27 c nbDecision=64500 #constraints=5464 171.38/171.59 c nbDecision=65000 #constraints=5516 172.68/172.89 c nbDecision=65500 #constraints=5516 173.98/174.19 c nbDecision=66000 #constraints=5516 175.28/175.48 c nbDecision=66500 #constraints=5516 176.68/176.85 c nbDecision=67000 #constraints=5579 177.98/178.14 c nbDecision=67500 #constraints=5611 179.28/179.45 c nbDecision=68000 #constraints=5611 180.58/180.73 c nbDecision=68500 #constraints=5611 181.88/182.04 c nbDecision=69000 #constraints=5627 183.18/183.35 c nbDecision=69500 #constraints=5667 184.47/184.68 c nbDecision=70000 #constraints=5732 185.78/185.97 c nbDecision=70500 #constraints=5732 187.07/187.25 c nbDecision=71000 #constraints=5732 188.37/188.56 c nbDecision=71500 #constraints=5748 189.77/189.92 c nbDecision=72000 #constraints=5825 191.07/191.23 c nbDecision=72500 #constraints=5869 192.38/192.54 c nbDecision=73000 #constraints=5869 193.67/193.84 c nbDecision=73500 #constraints=5869 194.96/195.18 c nbDecision=74000 #constraints=5878 196.36/196.56 c nbDecision=74500 #constraints=5959 197.66/197.85 c nbDecision=75000 #constraints=5972 198.97/199.15 c nbDecision=75500 #constraints=5972 200.26/200.43 c nbDecision=76000 #constraints=5972 201.56/201.74 c nbDecision=76500 #constraints=5993 202.86/203.10 c nbDecision=77000 #constraints=6064 204.16/204.37 c nbDecision=77500 #constraints=6069 205.46/205.66 c nbDecision=78000 #constraints=6069 206.76/206.94 c nbDecision=78500 #constraints=6069 208.06/208.28 c nbDecision=79000 #constraints=6113 209.47/209.62 c nbDecision=79500 #constraints=6211 210.77/210.93 c nbDecision=80000 #constraints=6211 212.07/212.23 c nbDecision=80500 #constraints=6211 213.37/213.52 c nbDecision=81000 #constraints=6211 214.67/214.85 c nbDecision=81500 #constraints=6236 215.96/216.19 c nbDecision=82000 #constraints=6304 217.36/217.51 c nbDecision=82500 #constraints=6304 218.66/218.81 c nbDecision=83000 #constraints=6304 219.95/220.10 c nbDecision=83500 #constraints=6304 221.25/221.41 c nbDecision=84000 #constraints=6331 222.55/222.71 c nbDecision=84500 #constraints=6393 223.85/224.01 c nbDecision=85000 #constraints=6393 225.05/225.29 c nbDecision=85500 #constraints=6393 226.36/226.59 c nbDecision=86000 #constraints=6402 227.65/227.88 c nbDecision=86500 #constraints=6415 228.95/229.20 c nbDecision=87000 #constraints=6475 230.35/230.50 c nbDecision=87500 #constraints=6507 231.65/231.80 c nbDecision=88000 #constraints=6507 232.85/233.10 c nbDecision=88500 #constraints=6507 234.25/234.44 c nbDecision=89000 #constraints=6538 235.55/235.77 c nbDecision=89500 #constraints=6584 236.85/237.07 c nbDecision=90000 #constraints=6619 238.15/238.37 c nbDecision=90500 #constraints=6619 239.54/239.72 c nbDecision=91000 #constraints=6619 240.84/241.00 c nbDecision=91500 #constraints=6619 242.14/242.31 c nbDecision=92000 #constraints=6660 243.44/243.62 c nbDecision=92500 #constraints=6707 244.74/244.91 c nbDecision=93000 #constraints=6707 245.94/246.20 c nbDecision=93500 #constraints=6707 247.34/247.51 c nbDecision=94000 #constraints=6728 248.64/248.83 c nbDecision=94500 #constraints=6780 249.93/250.13 c nbDecision=95000 #constraints=6808 251.23/251.43 c nbDecision=95500 #constraints=6808 252.53/252.73 c nbDecision=96000 #constraints=6808 253.84/254.05 c nbDecision=96500 #constraints=6825 255.13/255.40 c nbDecision=97000 #constraints=6885 256.53/256.70 c nbDecision=97500 #constraints=6913 257.83/258.00 c nbDecision=98000 #constraints=6913 259.03/259.29 c nbDecision=98500 #constraints=6913 260.33/260.60 c nbDecision=99000 #constraints=6928 261.73/261.95 c nbDecision=99500 #constraints=6980 263.02/263.28 c nbDecision=100000 #constraints=6998 264.32/264.57 c nbDecision=100500 #constraints=6998 265.62/265.86 c nbDecision=101000 #constraints=6998 266.92/267.14 c nbDecision=101500 #constraints=6998 268.22/268.45 c nbDecision=102000 #constraints=7037 269.32/269.54 c restart after 102401 decisions 269.52/269.77 c nbDecision=102500 #constraints=7110 270.82/271.07 c nbDecision=103000 #constraints=7110 272.12/272.38 c nbDecision=103500 #constraints=7110 273.42/273.68 c nbDecision=104000 #constraints=7116 274.82/275.01 c nbDecision=104500 #constraints=7143 276.12/276.32 c nbDecision=105000 #constraints=7190 277.32/277.60 c nbDecision=105500 #constraints=7191 278.62/278.89 c nbDecision=106000 #constraints=7191 279.92/280.18 c nbDecision=106500 #constraints=7191 281.22/281.49 c nbDecision=107000 #constraints=7208 282.62/282.81 c nbDecision=107500 #constraints=7251 283.91/284.18 c nbDecision=108000 #constraints=7364 285.21/285.47 c nbDecision=108500 #constraints=7364 286.51/286.76 c nbDecision=109000 #constraints=7364 287.81/288.05 c nbDecision=109500 #constraints=7374 289.11/289.38 c nbDecision=110000 #constraints=7405 290.50/290.73 c nbDecision=110500 #constraints=7477 291.80/292.01 c nbDecision=111000 #constraints=7488 293.10/293.31 c nbDecision=111500 #constraints=7488 294.40/294.61 c nbDecision=112000 #constraints=7488 295.70/295.96 c nbDecision=112500 #constraints=7519 297.01/297.29 c nbDecision=113000 #constraints=7569 298.31/298.55 c nbDecision=113500 #constraints=7581 299.61/299.85 c nbDecision=114000 #constraints=7581 300.91/301.14 c nbDecision=114500 #constraints=7581 302.21/302.42 c nbDecision=115000 #constraints=7581 303.50/303.73 c nbDecision=115500 #constraints=7606 304.80/305.05 c nbDecision=116000 #constraints=7674 306.10/306.33 c nbDecision=116500 #constraints=7692 307.40/307.63 c nbDecision=117000 #constraints=7692 308.69/308.94 c nbDecision=117500 #constraints=7692 310.00/310.26 c nbDecision=118000 #constraints=7708 311.29/311.58 c nbDecision=118500 #constraints=7756 312.59/312.88 c nbDecision=119000 #constraints=7803 313.89/314.18 c nbDecision=119500 #constraints=7803 315.19/315.48 c nbDecision=120000 #constraints=7803 316.49/316.78 c nbDecision=120500 #constraints=7811 317.89/318.11 c nbDecision=121000 #constraints=7844 319.19/319.42 c nbDecision=121500 #constraints=7896 320.49/320.70 c nbDecision=122000 #constraints=7901 321.69/321.99 c nbDecision=122500 #constraints=7901 322.99/323.27 c nbDecision=123000 #constraints=7901 324.39/324.61 c nbDecision=123500 #constraints=7936 325.68/325.95 c nbDecision=124000 #constraints=8000 326.98/327.26 c nbDecision=124500 #constraints=8069 328.28/328.55 c nbDecision=125000 #constraints=8069 329.58/329.86 c nbDecision=125500 #constraints=8069 330.88/331.15 c nbDecision=126000 #constraints=8069 332.28/332.52 c nbDecision=126500 #constraints=8113 333.58/333.82 c nbDecision=127000 #constraints=8146 334.88/335.11 c nbDecision=127500 #constraints=8196 336.18/336.41 c nbDecision=128000 #constraints=8196 337.48/337.71 c nbDecision=128500 #constraints=8196 338.78/339.00 c nbDecision=129000 #constraints=8196 340.08/340.30 c nbDecision=129500 #constraints=8211 341.38/341.62 c nbDecision=130000 #constraints=8263 342.68/342.90 c nbDecision=130500 #constraints=8289 343.88/344.19 c nbDecision=131000 #constraints=8289 345.18/345.48 c nbDecision=131500 #constraints=8289 346.58/346.81 c nbDecision=132000 #constraints=8314 347.88/348.12 c nbDecision=132500 #constraints=8345 349.17/349.45 c nbDecision=133000 #constraints=8421 350.47/350.75 c nbDecision=133500 #constraints=8440 351.78/352.05 c nbDecision=134000 #constraints=8440 353.07/353.34 c nbDecision=134500 #constraints=8440 354.36/354.69 c nbDecision=135000 #constraints=8452 355.76/356.03 c nbDecision=135500 #constraints=8499 357.06/357.33 c nbDecision=136000 #constraints=8550 358.36/358.63 c nbDecision=136500 #constraints=8561 359.66/359.93 c nbDecision=137000 #constraints=8561 360.96/361.21 c nbDecision=137500 #constraints=8561 362.26/362.55 c nbDecision=138000 #constraints=8591 363.56/363.83 c nbDecision=138500 #constraints=8616 364.86/365.12 c nbDecision=139000 #constraints=8673 366.16/366.42 c nbDecision=139500 #constraints=8673 367.45/367.70 c nbDecision=140000 #constraints=8673 368.65/368.98 c nbDecision=140500 #constraints=8673 370.05/370.31 c nbDecision=141000 #constraints=8696 371.35/371.63 c nbDecision=141500 #constraints=8738 372.65/372.92 c nbDecision=142000 #constraints=8771 373.94/374.25 c nbDecision=142500 #constraints=8771 375.24/375.55 c nbDecision=143000 #constraints=8771 376.54/376.87 c nbDecision=143500 #constraints=8786 377.84/378.18 c nbDecision=144000 #constraints=8803 379.24/379.54 c nbDecision=144500 #constraints=8884 380.54/380.84 c nbDecision=145000 #constraints=8954 381.74/382.09 c nbDecision=145500 #constraints=8969 383.04/383.38 c nbDecision=146000 #constraints=8969 384.34/384.68 c nbDecision=146500 #constraints=8969 385.65/385.99 c nbDecision=147000 #constraints=8978 387.04/387.32 c nbDecision=147500 #constraints=9005 388.34/388.65 c nbDecision=148000 #constraints=9071 389.64/389.94 c nbDecision=148500 #constraints=9110 390.94/391.25 c nbDecision=149000 #constraints=9110 392.24/392.55 c nbDecision=149500 #constraints=9110 393.54/393.84 c nbDecision=150000 #constraints=9110 394.83/395.15 c nbDecision=150500 #constraints=9126 396.14/396.45 c nbDecision=151000 #constraints=9164 397.44/397.71 c nbDecision=151500 #constraints=9200 398.64/398.99 c nbDecision=152000 #constraints=9217 399.93/400.29 c nbDecision=152500 #constraints=9217 401.32/401.65 c nbDecision=153000 #constraints=9217 402.63/402.99 c nbDecision=153500 #constraints=9241 403.93/404.30 c nbDecision=154000 #constraints=9258 405.22/405.58 c nbDecision=154500 #constraints=9286 406.52/406.82 c nbDecision=155000 #constraints=9322 407.83/408.11 c nbDecision=155500 #constraints=9322 409.12/409.40 c nbDecision=156000 #constraints=9322 410.42/410.70 c nbDecision=156500 #constraints=9322 411.72/412.04 c nbDecision=157000 #constraints=9345 413.02/413.35 c nbDecision=157500 #constraints=9373 414.32/414.68 c nbDecision=158000 #constraints=9454 415.62/415.97 c nbDecision=158500 #constraints=9455 416.92/417.27 c nbDecision=159000 #constraints=9455 418.22/418.57 c nbDecision=159500 #constraints=9455 419.62/419.95 c nbDecision=160000 #constraints=9486 420.92/421.26 c nbDecision=160500 #constraints=9521 422.21/422.55 c nbDecision=161000 #constraints=9569 423.41/423.75 c nbDecision=161500 #constraints=9588 424.71/425.05 c nbDecision=162000 #constraints=9588 426.01/426.34 c nbDecision=162500 #constraints=9588 427.31/427.64 c nbDecision=163000 #constraints=9597 428.61/428.98 c nbDecision=163500 #constraints=9620 429.90/430.29 c nbDecision=164000 #constraints=9650 431.20/431.59 c nbDecision=164500 #constraints=9696 432.51/432.83 c nbDecision=165000 #constraints=9718 433.80/434.10 c nbDecision=165500 #constraints=9733 435.10/435.41 c nbDecision=166000 #constraints=9733 436.41/436.71 c nbDecision=166500 #constraints=9733 437.71/438.04 c nbDecision=167000 #constraints=9746 439.00/439.34 c nbDecision=167500 #constraints=9761 440.30/440.62 c nbDecision=168000 #constraints=9790 441.50/441.85 c nbDecision=168500 #constraints=9816 442.81/443.11 c nbDecision=169000 #constraints=9864 444.11/444.41 c nbDecision=169500 #constraints=9864 445.31/445.69 c nbDecision=170000 #constraints=9864 446.70/447.06 c nbDecision=170500 #constraints=9879 448.00/448.37 c nbDecision=171000 #constraints=9896 449.30/449.67 c nbDecision=171500 #constraints=9932 450.60/450.95 c nbDecision=172000 #constraints=9974 451.90/452.21 c nbDecision=172500 #constraints=10031 453.10/453.50 c nbDecision=173000 #constraints=10031 454.40/454.79 c nbDecision=173500 #constraints=10031 455.69/456.08 c nbDecision=174000 #constraints=10031 457.09/457.41 c nbDecision=174500 #constraints=10047 458.40/458.71 c nbDecision=175000 #constraints=10067 459.59/459.98 c nbDecision=175500 #constraints=10090 460.89/461.20 c nbDecision=176000 #constraints=10121 462.09/462.43 c nbDecision=176500 #constraints=10167 463.39/463.73 c nbDecision=177000 #constraints=10167 464.69/465.08 c nbDecision=177500 #constraints=10167 465.99/466.39 c nbDecision=178000 #constraints=10174 467.38/467.76 c nbDecision=178500 #constraints=10220 468.78/469.14 c nbDecision=179000 #constraints=10296 470.08/470.41 c nbDecision=179500 #constraints=10334 471.28/471.62 c nbDecision=180000 #constraints=10336 472.58/472.92 c nbDecision=180500 #constraints=10336 473.88/474.22 c nbDecision=181000 #constraints=10336 475.18/475.53 c nbDecision=181500 #constraints=10343 476.48/476.85 c nbDecision=182000 #constraints=10359 477.77/478.19 c nbDecision=182500 #constraints=10398 479.07/479.43 c nbDecision=183000 #constraints=10410 480.28/480.62 c nbDecision=183500 #constraints=10423 481.57/481.90 c nbDecision=184000 #constraints=10424 482.77/483.19 c nbDecision=184500 #constraints=10424 484.07/484.47 c nbDecision=185000 #constraints=10424 485.47/485.80 c nbDecision=185500 #constraints=10445 486.77/487.13 c nbDecision=186000 #constraints=10490 488.07/488.40 c nbDecision=186500 #constraints=10524 489.27/489.61 c nbDecision=187000 #constraints=10545 490.57/490.90 c nbDecision=187500 #constraints=10574 491.86/492.23 c nbDecision=188000 #constraints=10574 493.16/493.54 c nbDecision=188500 #constraints=10574 494.46/494.86 c nbDecision=189000 #constraints=10584 495.76/496.20 c nbDecision=189500 #constraints=10615 497.06/497.48 c nbDecision=190000 #constraints=10643 498.35/498.72 c nbDecision=190500 #constraints=10671 499.55/499.98 c nbDecision=191000 #constraints=10710 500.85/501.27 c nbDecision=191500 #constraints=10710 502.15/502.56 c nbDecision=192000 #constraints=10710 503.46/503.86 c nbDecision=192500 #constraints=10717 504.85/505.20 c nbDecision=193000 #constraints=10747 506.15/506.52 c nbDecision=193500 #constraints=10791 507.35/507.76 c nbDecision=194000 #constraints=10809 508.65/509.01 c nbDecision=194500 #constraints=10851 509.85/510.27 c nbDecision=195000 #constraints=10877 511.15/511.57 c nbDecision=195500 #constraints=10877 512.45/512.87 c nbDecision=196000 #constraints=10877 513.75/514.18 c nbDecision=196500 #constraints=10885 515.15/515.52 c nbDecision=197000 #constraints=10909 516.45/516.82 c nbDecision=197500 #constraints=10941 517.65/518.04 c nbDecision=198000 #constraints=10951 518.85/519.27 c nbDecision=198500 #constraints=10991 520.15/520.56 c nbDecision=199000 #constraints=10991 521.45/521.84 c nbDecision=199500 #constraints=10991 522.75/523.12 c nbDecision=200000 #constraints=10991 524.04/524.43 c nbDecision=200500 #constraints=10998 525.35/525.70 c nbDecision=201000 #constraints=11011 526.55/526.97 c nbDecision=201500 #constraints=11043 527.74/528.16 c nbDecision=202000 #constraints=11049 528.94/529.39 c nbDecision=202500 #constraints=11079 530.24/530.69 c nbDecision=203000 #constraints=11079 531.54/531.99 c nbDecision=203500 #constraints=11079 532.94/533.31 c nbDecision=204000 #constraints=11087 534.24/534.67 c nbDecision=204500 #constraints=11122 535.04/535.47 c restart after 204801 decisions 535.54/535.97 c nbDecision=205000 #constraints=11137 536.84/537.27 c nbDecision=205500 #constraints=11137 538.13/538.59 c nbDecision=206000 #constraints=11137 539.43/539.90 c nbDecision=206500 #constraints=11144 540.83/541.25 c nbDecision=207000 #constraints=11176 542.13/542.54 c nbDecision=207500 #constraints=11196 543.33/543.78 c nbDecision=208000 #constraints=11209 544.53/544.96 c nbDecision=208500 #constraints=11209 545.83/546.23 c nbDecision=209000 #constraints=11281 547.13/547.53 c nbDecision=209500 #constraints=11281 548.43/548.81 c nbDecision=210000 #constraints=11281 549.63/550.10 c nbDecision=210500 #constraints=11281 550.93/551.39 c nbDecision=211000 #constraints=11286 552.23/552.67 c nbDecision=211500 #constraints=11292 553.52/553.97 c nbDecision=212000 #constraints=11330 554.82/555.24 c nbDecision=212500 #constraints=11349 556.12/556.52 c nbDecision=213000 #constraints=11398 557.41/557.82 c nbDecision=213500 #constraints=11398 558.71/559.12 c nbDecision=214000 #constraints=11398 560.01/560.40 c nbDecision=214500 #constraints=11398 561.31/561.71 c nbDecision=215000 #constraints=11411 562.61/563.02 c nbDecision=215500 #constraints=11451 563.81/564.27 c nbDecision=216000 #constraints=11475 565.01/565.48 c nbDecision=216500 #constraints=11504 566.31/566.74 c nbDecision=217000 #constraints=11563 567.61/568.03 c nbDecision=217500 #constraints=11563 568.91/569.32 c nbDecision=218000 #constraints=11563 570.20/570.63 c nbDecision=218500 #constraints=11571 571.61/572.01 c nbDecision=219000 #constraints=11609 572.90/573.32 c nbDecision=219500 #constraints=11636 574.10/574.56 c nbDecision=220000 #constraints=11650 575.30/575.79 c nbDecision=220500 #constraints=11688 576.60/577.05 c nbDecision=221000 #constraints=11724 577.90/578.35 c nbDecision=221500 #constraints=11724 579.20/579.65 c nbDecision=222000 #constraints=11724 580.60/581.00 c nbDecision=222500 #constraints=11747 581.90/582.35 c nbDecision=223000 #constraints=11780 583.20/583.63 c nbDecision=223500 #constraints=11801 584.49/584.90 c nbDecision=224000 #constraints=11834 585.69/586.11 c nbDecision=224500 #constraints=11856 586.90/587.33 c nbDecision=225000 #constraints=11885 588.19/588.62 c nbDecision=225500 #constraints=11885 589.49/589.91 c nbDecision=226000 #constraints=11885 590.79/591.20 c nbDecision=226500 #constraints=11885 592.09/592.54 c nbDecision=227000 #constraints=11908 593.39/593.82 c nbDecision=227500 #constraints=11920 594.69/595.10 c nbDecision=228000 #constraints=11957 595.89/596.35 c nbDecision=228500 #constraints=11999 597.19/597.60 c nbDecision=229000 #constraints=12048 598.48/598.92 c nbDecision=229500 #constraints=12048 599.78/600.24 c nbDecision=230000 #constraints=12048 601.08/601.52 c nbDecision=230500 #constraints=12048 602.38/602.86 c nbDecision=231000 #constraints=12074 603.68/604.16 c nbDecision=231500 #constraints=12096 604.88/605.38 c nbDecision=232000 #constraints=12101 606.18/606.64 c nbDecision=232500 #constraints=12160 607.38/607.89 c nbDecision=233000 #constraints=12242 608.68/609.17 c nbDecision=233500 #constraints=12253 609.98/610.47 c nbDecision=234000 #constraints=12253 611.28/611.76 c nbDecision=234500 #constraints=12253 612.67/613.14 c nbDecision=235000 #constraints=12281 613.97/614.47 c nbDecision=235500 #constraints=12304 615.27/615.73 c nbDecision=236000 #constraints=12313 616.47/616.94 c nbDecision=236500 #constraints=12316 617.68/618.17 c nbDecision=237000 #constraints=12363 618.97/619.48 c nbDecision=237500 #constraints=12411 620.27/620.77 c nbDecision=238000 #constraints=12411 621.57/622.05 c nbDecision=238500 #constraints=12411 622.87/623.35 c nbDecision=239000 #constraints=12418 624.17/624.64 c nbDecision=239500 #constraints=12427 625.48/625.96 c nbDecision=240000 #constraints=12474 626.68/627.17 c nbDecision=240500 #constraints=12481 627.98/628.40 c nbDecision=241000 #constraints=12533 629.18/629.69 c nbDecision=241500 #constraints=12582 630.57/631.02 c nbDecision=242000 #constraints=12582 631.87/632.31 c nbDecision=242500 #constraints=12582 633.17/633.64 c nbDecision=243000 #constraints=12589 634.47/634.91 c nbDecision=243500 #constraints=12589 635.77/636.21 c nbDecision=244000 #constraints=12622 636.97/637.46 c nbDecision=244500 #constraints=12646 638.17/638.67 c nbDecision=245000 #constraints=12673 639.47/639.97 c nbDecision=245500 #constraints=12732 640.77/641.26 c nbDecision=246000 #constraints=12732 642.06/642.55 c nbDecision=246500 #constraints=12732 643.36/643.85 c nbDecision=247000 #constraints=12736 644.76/645.24 c nbDecision=247500 #constraints=12769 646.06/646.53 c nbDecision=248000 #constraints=12793 647.26/647.75 c nbDecision=248500 #constraints=12808 648.46/648.96 c nbDecision=249000 #constraints=12846 649.76/650.26 c nbDecision=249500 #constraints=12898 651.05/651.56 c nbDecision=250000 #constraints=12898 652.35/652.86 c nbDecision=250500 #constraints=12898 653.65/654.17 c nbDecision=251000 #constraints=12905 654.95/655.50 c nbDecision=251500 #constraints=12923 656.26/656.78 c nbDecision=252000 #constraints=12932 657.55/658.01 c nbDecision=252500 #constraints=12941 658.75/659.21 c nbDecision=253000 #constraints=12955 660.05/660.50 c nbDecision=253500 #constraints=13047 661.25/661.79 c nbDecision=254000 #constraints=13047 662.55/663.08 c nbDecision=254500 #constraints=13047 663.85/664.33 c nbDecision=255000 #constraints=13048 665.15/665.63 c nbDecision=255500 #constraints=13048 666.45/666.92 c nbDecision=256000 #constraints=13048 667.75/668.25 c nbDecision=256500 #constraints=13063 669.05/669.59 c nbDecision=257000 #constraints=13085 670.45/670.92 c nbDecision=257500 #constraints=13117 671.65/672.18 c nbDecision=258000 #constraints=13135 672.84/673.39 c nbDecision=258500 #constraints=13144 674.14/674.64 c nbDecision=259000 #constraints=13212 675.44/675.96 c nbDecision=259500 #constraints=13230 676.74/677.28 c nbDecision=260000 #constraints=13230 678.03/678.57 c nbDecision=260500 #constraints=13230 679.43/679.97 c nbDecision=261000 #constraints=13263 680.73/681.27 c nbDecision=261500 #constraints=13280 682.03/682.54 c nbDecision=262000 #constraints=13299 683.23/683.75 c nbDecision=262500 #constraints=13309 684.43/684.96 c nbDecision=263000 #constraints=13348 685.73/686.30 c nbDecision=263500 #constraints=13408 687.13/687.61 c nbDecision=264000 #constraints=13424 688.43/688.93 c nbDecision=264500 #constraints=13458 689.62/690.18 c nbDecision=265000 #constraints=13464 690.82/691.39 c nbDecision=265500 #constraints=13487 692.22/692.75 c nbDecision=266000 #constraints=13553 693.62/694.12 c nbDecision=266500 #constraints=13583 694.92/695.44 c nbDecision=267000 #constraints=13612 696.12/696.67 c nbDecision=267500 #constraints=13616 697.32/697.85 c nbDecision=268000 #constraints=13616 698.52/699.08 c nbDecision=268500 #constraints=13625 699.82/700.38 c nbDecision=269000 #constraints=13625 701.12/701.66 c nbDecision=269500 #constraints=13625 702.52/703.00 c nbDecision=270000 #constraints=13643 703.82/704.33 c nbDecision=270500 #constraints=13660 705.12/705.61 c nbDecision=271000 #constraints=13677 706.32/706.85 c nbDecision=271500 #constraints=13696 707.52/708.05 c nbDecision=272000 #constraints=13718 708.82/709.34 c nbDecision=272500 #constraints=13762 710.22/710.70 c nbDecision=273000 #constraints=13789 711.51/712.01 c nbDecision=273500 #constraints=13809 712.71/713.27 c nbDecision=274000 #constraints=13831 714.01/714.52 c nbDecision=274500 #constraints=13876 715.31/715.83 c nbDecision=275000 #constraints=13923 716.71/717.21 c nbDecision=275500 #constraints=13952 718.01/718.56 c nbDecision=276000 #constraints=13988 719.31/719.80 c nbDecision=276500 #constraints=13996 720.51/721.02 c nbDecision=277000 #constraints=14025 721.80/722.38 c nbDecision=277500 #constraints=14099 723.10/723.70 c nbDecision=278000 #constraints=14105 724.50/725.02 c nbDecision=278500 #constraints=14135 725.69/726.27 c nbDecision=279000 #constraints=14150 726.89/727.47 c nbDecision=279500 #constraints=14165 728.19/728.71 c nbDecision=280000 #constraints=14211 729.59/730.13 c nbDecision=280500 #constraints=14249 730.90/731.46 c nbDecision=281000 #constraints=14271 732.19/732.71 c nbDecision=281500 #constraints=14279 733.39/733.95 c nbDecision=282000 #constraints=14297 734.68/735.24 c nbDecision=282500 #constraints=14350 736.08/736.66 c nbDecision=283000 #constraints=14385 737.38/737.98 c nbDecision=283500 #constraints=14404 738.68/739.29 c nbDecision=284000 #constraints=14439 739.88/740.48 c nbDecision=284500 #constraints=14439 741.08/741.68 c nbDecision=285000 #constraints=14465 742.58/743.16 c nbDecision=285500 #constraints=14544 743.88/744.48 c nbDecision=286000 #constraints=14565 745.18/745.76 c nbDecision=286500 #constraints=14582 746.48/747.00 c nbDecision=287000 #constraints=14605 747.68/748.21 c nbDecision=287500 #constraints=14632 748.97/749.58 c nbDecision=288000 #constraints=14680 750.27/750.88 c nbDecision=288500 #constraints=14686 751.57/752.19 c nbDecision=289000 #constraints=14708 752.88/753.40 c nbDecision=289500 #constraints=14708 754.08/754.61 c nbDecision=290000 #constraints=14723 755.37/755.92 c nbDecision=290500 #constraints=14765 756.67/757.21 c nbDecision=291000 #constraints=14765 757.98/758.57 c nbDecision=291500 #constraints=14804 759.28/759.80 c nbDecision=292000 #constraints=14811 760.38/760.99 c nbDecision=292500 #constraints=14818 761.68/762.25 c nbDecision=293000 #constraints=14841 762.98/763.57 c nbDecision=293500 #constraints=14853 764.27/764.85 c nbDecision=294000 #constraints=14867 765.57/766.13 c nbDecision=294500 #constraints=14896 766.77/767.34 c nbDecision=295000 #constraints=14908 768.07/768.66 c nbDecision=295500 #constraints=14956 769.37/769.98 c nbDecision=296000 #constraints=14964 770.66/771.27 c nbDecision=296500 #constraints=14976 771.96/772.56 c nbDecision=297000 #constraints=15003 773.16/773.78 c nbDecision=297500 #constraints=15022 774.56/775.14 c nbDecision=298000 #constraints=15095 775.86/776.45 c nbDecision=298500 #constraints=15103 777.16/777.76 c nbDecision=299000 #constraints=15118 778.45/779.04 c nbDecision=299500 #constraints=15131 779.65/780.26 c nbDecision=300000 #constraints=15147 780.85/781.46 c nbDecision=300500 #constraints=15172 782.35/782.91 c nbDecision=301000 #constraints=15235 783.55/784.19 c nbDecision=301500 #constraints=15243 784.85/785.45 c nbDecision=302000 #constraints=15252 786.05/786.63 c nbDecision=302500 #constraints=15252 787.25/787.84 c nbDecision=303000 #constraints=15284 788.55/789.15 c nbDecision=303500 #constraints=15295 789.84/790.47 c nbDecision=304000 #constraints=15313 791.14/791.77 c nbDecision=304500 #constraints=15335 792.34/792.97 c nbDecision=305000 #constraints=15335 793.55/794.18 c nbDecision=305500 #constraints=15352 794.94/795.52 c nbDecision=306000 #constraints=15399 796.24/796.88 c nbDecision=306500 #constraints=15425 797.54/798.18 c nbDecision=307000 #constraints=15445 798.84/799.41 c nbDecision=307500 #constraints=15453 800.04/800.62 c nbDecision=308000 #constraints=15476 801.34/801.92 c nbDecision=308500 #constraints=15502 802.64/803.25 c nbDecision=309000 #constraints=15518 804.04/804.64 c nbDecision=309500 #constraints=15571 805.24/805.85 c nbDecision=310000 #constraints=15578 806.44/807.05 c nbDecision=310500 #constraints=15594 807.73/808.32 c nbDecision=311000 #constraints=15603 809.05/809.61 c nbDecision=311500 #constraints=15607 810.34/810.97 c nbDecision=312000 #constraints=15649 811.64/812.23 c nbDecision=312500 #constraints=15664 812.84/813.43 c nbDecision=313000 #constraints=15672 814.13/814.72 c nbDecision=313500 #constraints=15707 815.43/816.05 c nbDecision=314000 #constraints=15720 816.73/817.36 c nbDecision=314500 #constraints=15736 818.03/818.61 c nbDecision=315000 #constraints=15750 819.23/819.87 c nbDecision=315500 #constraints=15792 820.53/821.17 c nbDecision=316000 #constraints=15844 821.83/822.48 c nbDecision=316500 #constraints=15852 823.13/823.73 c nbDecision=317000 #constraints=15852 824.42/825.08 c nbDecision=317500 #constraints=15878 825.62/826.27 c nbDecision=318000 #constraints=15878 826.82/827.44 c nbDecision=318500 #constraints=15892 828.12/828.79 c nbDecision=319000 #constraints=15920 829.52/830.11 c nbDecision=319500 #constraints=15939 830.82/831.48 c nbDecision=320000 #constraints=15993 832.02/832.68 c nbDecision=320500 #constraints=15993 833.22/833.85 c nbDecision=321000 #constraints=15993 834.61/835.20 c nbDecision=321500 #constraints=16007 835.91/836.52 c nbDecision=322000 #constraints=16020 837.21/837.80 c nbDecision=322500 #constraints=16033 838.41/839.02 c nbDecision=323000 #constraints=16038 839.61/840.21 c nbDecision=323500 #constraints=16043 840.91/841.59 c nbDecision=324000 #constraints=16102 842.31/842.96 c nbDecision=324500 #constraints=16129 843.61/844.28 c nbDecision=325000 #constraints=16159 844.81/845.48 c nbDecision=325500 #constraints=16159 846.11/846.72 c nbDecision=326000 #constraints=16194 847.41/848.00 c nbDecision=326500 #constraints=16211 848.71/849.36 c nbDecision=327000 #constraints=16235 850.00/850.70 c nbDecision=327500 #constraints=16265 851.30/851.94 c nbDecision=328000 #constraints=16272 852.50/853.15 c nbDecision=328500 #constraints=16289 853.80/854.45 c nbDecision=329000 #constraints=16323 855.11/855.79 c nbDecision=329500 #constraints=16338 856.50/857.17 c nbDecision=330000 #constraints=16381 857.80/858.42 c nbDecision=330500 #constraints=16390 859.00/859.61 c nbDecision=331000 #constraints=16390 860.19/860.89 c nbDecision=331500 #constraints=16435 861.49/862.18 c nbDecision=332000 #constraints=16438 862.90/863.57 c nbDecision=332500 #constraints=16488 864.19/864.84 c nbDecision=333000 #constraints=16505 865.39/866.04 c nbDecision=333500 #constraints=16519 866.59/867.29 c nbDecision=334000 #constraints=16553 868.09/868.74 c nbDecision=334500 #constraints=16596 869.48/870.13 c nbDecision=335000 #constraints=16611 870.68/871.37 c nbDecision=335500 #constraints=16615 871.88/872.58 c nbDecision=336000 #constraints=16623 873.09/873.79 c nbDecision=336500 #constraints=16654 874.59/875.20 c nbDecision=337000 #constraints=16676 875.78/876.49 c nbDecision=337500 #constraints=16684 877.09/877.74 c nbDecision=338000 #constraints=16689 878.29/878.94 c nbDecision=338500 #constraints=16689 879.48/880.17 c nbDecision=339000 #constraints=16726 880.98/881.64 c nbDecision=339500 #constraints=16780 882.18/882.89 c nbDecision=340000 #constraints=16780 883.48/884.17 c nbDecision=340500 #constraints=16798 884.68/885.37 c nbDecision=341000 #constraints=16806 885.89/886.56 c nbDecision=341500 #constraints=16823 887.28/887.95 c nbDecision=342000 #constraints=16853 888.58/889.28 c nbDecision=342500 #constraints=16875 889.88/890.55 c nbDecision=343000 #constraints=16889 891.08/891.75 c nbDecision=343500 #constraints=16889 892.28/892.94 c nbDecision=344000 #constraints=16902 893.68/894.35 c nbDecision=344500 #constraints=16933 894.98/895.68 c nbDecision=345000 #constraints=16949 896.28/896.96 c nbDecision=345500 #constraints=16964 897.48/898.18 c nbDecision=346000 #constraints=16978 898.78/899.40 c nbDecision=346500 #constraints=17007 900.08/900.73 c nbDecision=347000 #constraints=17023 901.38/902.08 c nbDecision=347500 #constraints=17049 902.67/903.39 c nbDecision=348000 #constraints=17074 903.97/904.62 c nbDecision=348500 #constraints=17083 905.17/905.83 c nbDecision=349000 #constraints=17106 906.47/907.17 c nbDecision=349500 #constraints=17124 907.77/908.50 c nbDecision=350000 #constraints=17140 909.16/909.82 c nbDecision=350500 #constraints=17174 910.36/911.03 c nbDecision=351000 #constraints=17174 911.56/912.25 c nbDecision=351500 #constraints=17197 912.96/913.63 c nbDecision=352000 #constraints=17236 914.26/914.98 c nbDecision=352500 #constraints=17252 915.56/916.26 c nbDecision=353000 #constraints=17267 916.76/917.45 c nbDecision=353500 #constraints=17267 917.95/918.66 c nbDecision=354000 #constraints=17290 919.35/920.02 c nbDecision=354500 #constraints=17303 920.55/921.29 c nbDecision=355000 #constraints=17307 921.85/922.54 c nbDecision=355500 #constraints=17313 923.05/923.76 c nbDecision=356000 #constraints=17329 924.25/924.97 c nbDecision=356500 #constraints=17356 925.65/926.34 c nbDecision=357000 #constraints=17377 927.05/927.70 c nbDecision=357500 #constraints=17405 928.25/928.97 c nbDecision=358000 #constraints=17418 929.45/930.17 c nbDecision=358500 #constraints=17418 930.65/931.34 c nbDecision=359000 #constraints=17418 931.95/932.67 c nbDecision=359500 #constraints=17441 933.35/934.01 c nbDecision=360000 #constraints=17457 934.54/935.28 c nbDecision=360500 #constraints=17464 935.84/936.52 c nbDecision=361000 #constraints=17475 937.04/937.72 c nbDecision=361500 #constraints=17482 938.34/939.04 c nbDecision=362000 #constraints=17506 939.64/940.35 c nbDecision=362500 #constraints=17514 940.95/941.65 c nbDecision=363000 #constraints=17534 942.14/942.89 c nbDecision=363500 #constraints=17544 943.34/944.07 c nbDecision=364000 #constraints=17551 944.64/945.35 c nbDecision=364500 #constraints=17575 945.94/946.63 c nbDecision=365000 #constraints=17575 947.24/947.93 c nbDecision=365500 #constraints=17591 948.44/949.14 c nbDecision=366000 #constraints=17591 949.64/950.33 c nbDecision=366500 #constraints=17598 950.94/951.63 c nbDecision=367000 #constraints=17631 952.23/952.96 c nbDecision=367500 #constraints=17631 953.63/954.37 c nbDecision=368000 #constraints=17678 954.93/955.62 c nbDecision=368500 #constraints=17686 956.13/956.82 c nbDecision=369000 #constraints=17689 957.33/958.09 c nbDecision=369500 #constraints=17723 958.72/959.44 c nbDecision=370000 #constraints=17727 960.12/960.84 c nbDecision=370500 #constraints=17748 961.41/962.10 c nbDecision=371000 #constraints=17748 962.61/963.31 c nbDecision=371500 #constraints=17757 963.81/964.51 c nbDecision=372000 #constraints=17780 965.11/965.89 c nbDecision=372500 #constraints=17798 966.51/967.22 c nbDecision=373000 #constraints=17819 967.71/968.48 c nbDecision=373500 #constraints=17830 968.91/969.68 c nbDecision=374000 #constraints=17838 970.11/970.89 c nbDecision=374500 #constraints=17863 971.51/972.27 c nbDecision=375000 #constraints=17880 972.81/973.56 c nbDecision=375500 #constraints=17888 974.11/974.85 c nbDecision=376000 #constraints=17908 975.31/976.06 c nbDecision=376500 #constraints=17916 976.61/977.31 c nbDecision=377000 #constraints=17963 978.01/978.71 c nbDecision=377500 #constraints=17982 979.21/980.00 c nbDecision=378000 #constraints=17990 980.51/981.23 c nbDecision=378500 #constraints=17990 981.70/982.43 c nbDecision=379000 #constraints=17995 982.90/983.62 c nbDecision=379500 #constraints=18009 984.30/985.03 c nbDecision=380000 #constraints=18041 985.60/986.33 c nbDecision=380500 #constraints=18052 986.80/987.57 c nbDecision=381000 #constraints=18057 988.00/988.79 c nbDecision=381500 #constraints=18071 989.31/990.03 c nbDecision=382000 #constraints=18096 990.60/991.38 c nbDecision=382500 #constraints=18110 992.00/992.70 c nbDecision=383000 #constraints=18125 993.20/993.96 c nbDecision=383500 #constraints=18138 994.40/995.15 c nbDecision=384000 #constraints=18138 995.70/996.41 c nbDecision=384500 #constraints=18154 997.00/997.70 c nbDecision=385000 #constraints=18154 998.39/999.10 c nbDecision=385500 #constraints=18181 999.59/1000.39 c nbDecision=386000 #constraints=18206 1000.89/1001.61 c nbDecision=386500 #constraints=18223 1002.09/1002.86 c nbDecision=387000 #constraints=18241 1003.49/1004.21 c nbDecision=387500 #constraints=18255 1004.78/1005.52 c nbDecision=388000 #constraints=18273 1005.98/1006.76 c nbDecision=388500 #constraints=18280 1007.18/1007.98 c nbDecision=389000 #constraints=18297 1008.48/1009.25 c nbDecision=389500 #constraints=18322 1009.78/1010.59 c nbDecision=390000 #constraints=18334 1011.18/1011.93 c nbDecision=390500 #constraints=18355 1012.48/1013.24 c nbDecision=391000 #constraints=18383 1013.68/1014.45 c nbDecision=391500 #constraints=18388 1014.88/1015.65 c nbDecision=392000 #constraints=18401 1016.18/1016.99 c nbDecision=392500 #constraints=18416 1017.48/1018.26 c nbDecision=393000 #constraints=18416 1018.78/1019.53 c nbDecision=393500 #constraints=18424 1019.98/1020.73 c nbDecision=394000 #constraints=18424 1021.19/1021.95 c nbDecision=394500 #constraints=18458 1022.58/1023.31 c nbDecision=395000 #constraints=18474 1023.98/1024.75 c nbDecision=395500 #constraints=18519 1025.28/1026.06 c nbDecision=396000 #constraints=18547 1026.48/1027.25 c nbDecision=396500 #constraints=18547 1027.69/1028.43 c nbDecision=397000 #constraints=18555 1028.98/1029.79 c nbDecision=397500 #constraints=18586 1030.48/1031.20 c nbDecision=398000 #constraints=18618 1031.78/1032.53 c nbDecision=398500 #constraints=18644 1032.98/1033.73 c nbDecision=399000 #constraints=18644 1034.18/1034.93 c nbDecision=399500 #constraints=18650 1035.58/1036.33 c nbDecision=400000 #constraints=18693 1036.88/1037.61 c nbDecision=400500 #constraints=18693 1038.08/1038.88 c nbDecision=401000 #constraints=18697 1039.28/1040.09 c nbDecision=401500 #constraints=18697 1040.48/1041.28 c nbDecision=402000 #constraints=18711 1041.88/1042.64 c nbDecision=402500 #constraints=18735 1043.17/1043.97 c nbDecision=403000 #constraints=18747 1044.47/1045.22 c nbDecision=403500 #constraints=18747 1045.67/1046.44 c nbDecision=404000 #constraints=18755 1046.87/1047.65 c nbDecision=404500 #constraints=18777 1048.16/1048.98 c nbDecision=405000 #constraints=18788 1049.56/1050.34 c nbDecision=405500 #constraints=18803 1050.86/1051.65 c nbDecision=406000 #constraints=18821 1052.06/1052.86 c nbDecision=406500 #constraints=18821 1053.26/1054.05 c nbDecision=407000 #constraints=18822 1054.66/1055.40 c nbDecision=407500 #constraints=18863 1056.06/1056.83 c nbDecision=408000 #constraints=18898 1057.36/1058.19 c nbDecision=408500 #constraints=18932 1058.65/1059.42 c nbDecision=409000 #constraints=18936 1059.85/1060.65 c nbDecision=409500 #constraints=18960 1060.15/1060.91 c restart after 409601 decisions 1061.15/1061.95 c nbDecision=410000 #constraints=18973 1062.45/1063.24 c nbDecision=410500 #constraints=18973 1063.75/1064.52 c nbDecision=411000 #constraints=18973 1065.06/1065.85 c nbDecision=411500 #constraints=18987 1066.35/1067.14 c nbDecision=412000 #constraints=18987 1067.65/1068.42 c nbDecision=412500 #constraints=18987 1069.05/1069.80 c nbDecision=413000 #constraints=19004 1070.35/1071.14 c nbDecision=413500 #constraints=19017 1071.65/1072.44 c nbDecision=414000 #constraints=19030 1072.85/1073.65 c nbDecision=414500 #constraints=19030 1074.05/1074.86 c nbDecision=415000 #constraints=19044 1075.45/1076.20 c nbDecision=415500 #constraints=19063 1076.65/1077.49 c nbDecision=416000 #constraints=19063 1077.95/1078.78 c nbDecision=416500 #constraints=19075 1079.15/1079.99 c nbDecision=417000 #constraints=19075 1080.35/1081.18 c nbDecision=417500 #constraints=19082 1081.65/1082.49 c nbDecision=418000 #constraints=19107 1083.05/1083.84 c nbDecision=418500 #constraints=19123 1084.34/1085.11 c nbDecision=419000 #constraints=19129 1085.54/1086.37 c nbDecision=419500 #constraints=19145 1086.84/1087.60 c nbDecision=420000 #constraints=19168 1088.04/1088.85 c nbDecision=420500 #constraints=19192 1089.34/1090.16 c nbDecision=421000 #constraints=19192 1090.63/1091.45 c nbDecision=421500 #constraints=19192 1091.93/1092.75 c nbDecision=422000 #constraints=19192 1093.33/1094.15 c nbDecision=422500 #constraints=19213 1094.63/1095.48 c nbDecision=423000 #constraints=19228 1095.93/1096.77 c nbDecision=423500 #constraints=19246 1097.12/1097.97 c nbDecision=424000 #constraints=19247 1098.42/1099.23 c nbDecision=424500 #constraints=19282 1099.72/1100.53 c nbDecision=425000 #constraints=19282 1101.02/1101.81 c nbDecision=425500 #constraints=19282 1102.32/1103.17 c nbDecision=426000 #constraints=19297 1103.72/1104.53 c nbDecision=426500 #constraints=19314 1105.02/1105.85 c nbDecision=427000 #constraints=19332 1106.22/1107.10 c nbDecision=427500 #constraints=19340 1107.42/1108.28 c nbDecision=428000 #constraints=19340 1108.82/1109.67 c nbDecision=428500 #constraints=19392 1110.52/1111.32 c nbDecision=429000 #constraints=19456 1111.82/1112.61 c nbDecision=429500 #constraints=19463 1113.13/1113.90 c nbDecision=430000 #constraints=19482 1114.33/1115.11 c nbDecision=430500 #constraints=19489 1115.63/1116.41 c nbDecision=431000 #constraints=19523 1117.02/1117.80 c nbDecision=431500 #constraints=19540 1118.32/1119.10 c nbDecision=432000 #constraints=19550 1119.62/1120.41 c nbDecision=432500 #constraints=19579 1120.82/1121.61 c nbDecision=433000 #constraints=19586 1122.12/1122.94 c nbDecision=433500 #constraints=19633 1123.42/1124.26 c nbDecision=434000 #constraints=19639 1124.72/1125.55 c nbDecision=434500 #constraints=19648 1126.02/1126.83 c nbDecision=435000 #constraints=19667 1127.22/1128.01 c nbDecision=435500 #constraints=19667 1128.52/1129.37 c nbDecision=436000 #constraints=19694 1129.82/1130.68 c nbDecision=436500 #constraints=19699 1131.12/1131.97 c nbDecision=437000 #constraints=19706 1132.42/1133.25 c nbDecision=437500 #constraints=19719 1133.62/1134.44 c nbDecision=438000 #constraints=19719 1135.01/1135.81 c nbDecision=438500 #constraints=19743 1136.31/1137.15 c nbDecision=439000 #constraints=19749 1137.61/1138.42 c nbDecision=439500 #constraints=19749 1138.90/1139.71 c nbDecision=440000 #constraints=19758 1140.10/1140.95 c nbDecision=440500 #constraints=19783 1141.40/1142.26 c nbDecision=441000 #constraints=19813 1142.80/1143.61 c nbDecision=441500 #constraints=19826 1144.09/1144.95 c nbDecision=442000 #constraints=19851 1145.40/1146.21 c nbDecision=442500 #constraints=19865 1146.50/1147.39 c nbDecision=443000 #constraints=19865 1147.79/1148.69 c nbDecision=443500 #constraints=19889 1149.19/1150.00 c nbDecision=444000 #constraints=19895 1150.49/1151.31 c nbDecision=444500 #constraints=19906 1151.69/1152.56 c nbDecision=445000 #constraints=19908 1152.89/1153.78 c nbDecision=445500 #constraints=19921 1154.09/1154.98 c nbDecision=446000 #constraints=19934 1155.69/1156.55 c nbDecision=446500 #constraints=19982 1157.09/1157.91 c nbDecision=447000 #constraints=20007 1158.29/1159.18 c nbDecision=447500 #constraints=20014 1159.49/1160.40 c nbDecision=448000 #constraints=20025 1160.69/1161.59 c nbDecision=448500 #constraints=20039 1162.19/1163.02 c nbDecision=449000 #constraints=20071 1163.48/1164.34 c nbDecision=449500 #constraints=20084 1164.78/1165.64 c nbDecision=450000 #constraints=20103 1165.98/1166.84 c nbDecision=450500 #constraints=20103 1167.18/1168.01 c nbDecision=451000 #constraints=20103 1168.68/1169.52 c nbDecision=451500 #constraints=20158 1169.98/1170.81 c nbDecision=452000 #constraints=20162 1171.18/1172.08 c nbDecision=452500 #constraints=20167 1172.48/1173.31 c nbDecision=453000 #constraints=20171 1173.68/1174.53 c nbDecision=453500 #constraints=20191 1174.98/1175.88 c nbDecision=454000 #constraints=20213 1176.38/1177.21 c nbDecision=454500 #constraints=20223 1177.78/1178.61 c nbDecision=455000 #constraints=20266 1178.98/1179.85 c nbDecision=455500 #constraints=20274 1180.18/1181.08 c nbDecision=456000 #constraints=20298 1181.68/1182.50 c nbDecision=456500 #constraints=20342 1182.98/1183.89 c nbDecision=457000 #constraints=20363 1184.37/1185.21 c nbDecision=457500 #constraints=20369 1185.57/1186.46 c nbDecision=458000 #constraints=20384 1186.77/1187.66 c nbDecision=458500 #constraints=20398 1188.07/1188.98 c nbDecision=459000 #constraints=20422 1189.47/1190.34 c nbDecision=459500 #constraints=20437 1190.77/1191.64 c nbDecision=460000 #constraints=20449 1191.97/1192.90 c nbDecision=460500 #constraints=20460 1193.27/1194.10 c nbDecision=461000 #constraints=20467 1194.57/1195.44 c nbDecision=461500 #constraints=20498 1195.97/1196.81 c nbDecision=462000 #constraints=20516 1197.26/1198.12 c nbDecision=462500 #constraints=20528 1198.46/1199.33 c nbDecision=463000 #constraints=20528 1199.66/1200.52 c nbDecision=463500 #constraints=20535 1200.96/1201.86 c nbDecision=464000 #constraints=20569 1202.26/1203.15 c nbDecision=464500 #constraints=20572 1203.56/1204.47 c nbDecision=465000 #constraints=20590 1204.76/1205.69 c nbDecision=465500 #constraints=20595 1205.96/1206.86 c nbDecision=466000 #constraints=20595 1207.26/1208.18 c nbDecision=466500 #constraints=20614 1208.66/1209.59 c nbDecision=467000 #constraints=20644 1210.06/1210.91 c nbDecision=467500 #constraints=20664 1211.26/1212.18 c nbDecision=468000 #constraints=20684 1212.46/1213.39 c nbDecision=468500 #constraints=20698 1213.85/1214.77 c nbDecision=469000 #constraints=20729 1215.25/1216.15 c nbDecision=469500 #constraints=20752 1216.65/1217.50 c nbDecision=470000 #constraints=20780 1217.86/1218.72 c nbDecision=470500 #constraints=20783 1219.06/1219.93 c nbDecision=471000 #constraints=20795 1220.35/1221.26 c nbDecision=471500 #constraints=20808 1221.65/1222.56 c nbDecision=472000 #constraints=20814 1222.95/1223.86 c nbDecision=472500 #constraints=20827 1224.15/1225.08 c nbDecision=473000 #constraints=20833 1225.45/1226.30 c nbDecision=473500 #constraints=20854 1226.75/1227.62 c nbDecision=474000 #constraints=20866 1228.24/1229.15 c nbDecision=474500 #constraints=20907 1229.63/1230.57 c nbDecision=475000 #constraints=20933 1230.93/1231.81 c nbDecision=475500 #constraints=20938 1232.03/1232.99 c nbDecision=476000 #constraints=20938 1233.43/1234.36 c nbDecision=476500 #constraints=20968 1234.83/1235.75 c nbDecision=477000 #constraints=20987 1236.13/1237.01 c nbDecision=477500 #constraints=20988 1237.32/1238.24 c nbDecision=478000 #constraints=20989 1238.52/1239.45 c nbDecision=478500 #constraints=21002 1239.83/1240.78 c nbDecision=479000 #constraints=21019 1241.12/1242.09 c nbDecision=479500 #constraints=21026 1242.52/1243.42 c nbDecision=480000 #constraints=21050 1243.72/1244.62 c nbDecision=480500 #constraints=21050 1244.92/1245.81 c nbDecision=481000 #constraints=21055 1246.22/1247.14 c nbDecision=481500 #constraints=21086 1247.53/1248.50 c nbDecision=482000 #constraints=21105 1248.93/1249.81 c nbDecision=482500 #constraints=21125 1250.13/1251.05 c nbDecision=483000 #constraints=21132 1251.33/1252.24 c nbDecision=483500 #constraints=21137 1252.63/1253.56 c nbDecision=484000 #constraints=21145 1254.03/1254.91 c nbDecision=484500 #constraints=21159 1255.33/1256.23 c nbDecision=485000 #constraints=21179 1256.53/1257.44 c nbDecision=485500 #constraints=21179 1257.72/1258.65 c nbDecision=486000 #constraints=21191 1259.12/1260.01 c nbDecision=486500 #constraints=21208 1260.42/1261.32 c nbDecision=487000 #constraints=21216 1261.62/1262.57 c nbDecision=487500 #constraints=21221 1262.82/1263.76 c nbDecision=488000 #constraints=21221 1264.02/1264.94 c nbDecision=488500 #constraints=21227 1265.32/1266.28 c nbDecision=489000 #constraints=21235 1266.62/1267.57 c nbDecision=489500 #constraints=21242 1267.92/1268.82 c nbDecision=490000 #constraints=21251 1269.12/1270.01 c nbDecision=490500 #constraints=21251 1270.32/1271.27 c nbDecision=491000 #constraints=21272 1271.62/1272.57 c nbDecision=491500 #constraints=21272 1273.01/1273.93 c nbDecision=492000 #constraints=21293 1274.31/1275.21 c nbDecision=492500 #constraints=21308 1275.51/1276.42 c nbDecision=493000 #constraints=21312 1276.71/1277.68 c nbDecision=493500 #constraints=21331 1278.11/1279.03 c nbDecision=494000 #constraints=21343 1279.41/1280.34 c nbDecision=494500 #constraints=21355 1280.71/1281.62 c nbDecision=495000 #constraints=21372 1281.91/1282.81 c nbDecision=495500 #constraints=21373 1283.11/1284.00 c nbDecision=496000 #constraints=21385 1284.61/1285.51 c nbDecision=496500 #constraints=21422 1285.91/1286.88 c nbDecision=497000 #constraints=21451 1287.21/1288.13 c nbDecision=497500 #constraints=21458 1288.41/1289.34 c nbDecision=498000 #constraints=21465 1289.60/1290.51 c nbDecision=498500 #constraints=21465 1291.00/1291.95 c nbDecision=499000 #constraints=21487 1292.40/1293.34 c nbDecision=499500 #constraints=21515 1293.71/1294.61 c nbDecision=500000 #constraints=21527 1294.91/1295.81 c nbDecision=500500 #constraints=21527 1296.20/1297.14 c nbDecision=501000 #constraints=21555 1297.60/1298.55 c nbDecision=501500 #constraints=21580 1298.90/1299.85 c nbDecision=502000 #constraints=21589 1300.20/1301.12 c nbDecision=502500 #constraints=21606 1301.40/1302.31 c nbDecision=503000 #constraints=21611 1302.60/1303.60 c nbDecision=503500 #constraints=21621 1304.00/1304.94 c nbDecision=504000 #constraints=21632 1305.30/1306.25 c nbDecision=504500 #constraints=21647 1306.50/1307.47 c nbDecision=505000 #constraints=21647 1307.70/1308.65 c nbDecision=505500 #constraints=21647 1308.90/1309.89 c nbDecision=506000 #constraints=21652 1310.30/1311.25 c nbDecision=506500 #constraints=21664 1311.70/1312.61 c nbDecision=507000 #constraints=21687 1312.90/1313.89 c nbDecision=507500 #constraints=21700 1314.20/1315.13 c nbDecision=508000 #constraints=21718 1315.40/1316.37 c nbDecision=508500 #constraints=21725 1316.69/1317.70 c nbDecision=509000 #constraints=21732 1318.09/1319.05 c nbDecision=509500 #constraints=21749 1319.38/1320.36 c nbDecision=510000 #constraints=21769 1320.58/1321.54 c nbDecision=510500 #constraints=21769 1321.98/1322.91 c nbDecision=511000 #constraints=21821 1323.38/1324.33 c nbDecision=511500 #constraints=21847 1324.68/1325.65 c nbDecision=512000 #constraints=21863 1325.88/1326.88 c nbDecision=512500 #constraints=21863 1327.08/1328.07 c nbDecision=513000 #constraints=21867 1328.28/1329.27 c nbDecision=513500 #constraints=21884 1329.68/1330.65 c nbDecision=514000 #constraints=21897 1331.08/1332.05 c nbDecision=514500 #constraints=21927 1332.37/1333.33 c nbDecision=515000 #constraints=21939 1333.57/1334.53 c nbDecision=515500 #constraints=21939 1334.77/1335.72 c nbDecision=516000 #constraints=21945 1336.17/1337.16 c nbDecision=516500 #constraints=21980 1337.47/1338.48 c nbDecision=517000 #constraints=21989 1338.78/1339.78 c nbDecision=517500 #constraints=22008 1339.98/1340.97 c nbDecision=518000 #constraints=22008 1341.17/1342.15 c nbDecision=518500 #constraints=22008 1342.57/1343.56 c nbDecision=519000 #constraints=22028 1343.97/1344.91 c nbDecision=519500 #constraints=22049 1345.17/1346.15 c nbDecision=520000 #constraints=22049 1346.37/1347.36 c nbDecision=520500 #constraints=22054 1347.57/1348.58 c nbDecision=521000 #constraints=22078 1348.97/1349.93 c nbDecision=521500 #constraints=22099 1350.37/1351.32 c nbDecision=522000 #constraints=22125 1351.67/1352.61 c nbDecision=522500 #constraints=22138 1352.87/1353.81 c nbDecision=523000 #constraints=22138 1354.07/1355.01 c nbDecision=523500 #constraints=22145 1355.46/1356.41 c nbDecision=524000 #constraints=22163 1356.86/1357.84 c nbDecision=524500 #constraints=22202 1358.16/1359.10 c nbDecision=525000 #constraints=22206 1359.26/1360.29 c nbDecision=525500 #constraints=22206 1360.46/1361.47 c nbDecision=526000 #constraints=22210 1361.87/1362.87 c nbDecision=526500 #constraints=22226 1363.26/1364.20 c nbDecision=527000 #constraints=22238 1364.45/1365.45 c nbDecision=527500 #constraints=22244 1365.65/1366.67 c nbDecision=528000 #constraints=22244 1366.85/1367.89 c nbDecision=528500 #constraints=22247 1368.25/1369.21 c nbDecision=529000 #constraints=22252 1369.45/1370.50 c nbDecision=529500 #constraints=22259 1370.75/1371.78 c nbDecision=530000 #constraints=22273 1372.04/1373.00 c nbDecision=530500 #constraints=22281 1373.34/1374.30 c nbDecision=531000 #constraints=22305 1374.54/1375.59 c nbDecision=531500 #constraints=22305 1375.94/1376.95 c nbDecision=532000 #constraints=22328 1377.25/1378.23 c nbDecision=532500 #constraints=22345 1378.45/1379.44 c nbDecision=533000 #constraints=22351 1379.74/1380.75 c nbDecision=533500 #constraints=22382 1381.04/1382.03 c nbDecision=534000 #constraints=22383 1382.34/1383.32 c nbDecision=534500 #constraints=22392 1383.54/1384.55 c nbDecision=535000 #constraints=22396 1384.74/1385.75 c nbDecision=535500 #constraints=22402 1386.04/1387.02 c nbDecision=536000 #constraints=22412 1387.34/1388.33 c nbDecision=536500 #constraints=22418 1388.64/1389.61 c nbDecision=537000 #constraints=22426 1389.84/1390.84 c nbDecision=537500 #constraints=22426 1391.04/1392.04 c nbDecision=538000 #constraints=22430 1392.34/1393.31 c nbDecision=538500 #constraints=22433 1393.64/1394.63 c nbDecision=539000 #constraints=22439 1394.94/1395.92 c nbDecision=539500 #constraints=22445 1396.14/1397.17 c nbDecision=540000 #constraints=22455 1397.34/1398.38 c nbDecision=540500 #constraints=22462 1398.74/1399.70 c nbDecision=541000 #constraints=22479 1400.03/1401.05 c nbDecision=541500 #constraints=22491 1401.33/1402.40 c nbDecision=542000 #constraints=22512 1402.64/1403.64 c nbDecision=542500 #constraints=22518 1403.83/1404.88 c nbDecision=543000 #constraints=22543 1405.13/1406.19 c nbDecision=543500 #constraints=22573 1406.53/1407.55 c nbDecision=544000 #constraints=22588 1407.93/1408.91 c nbDecision=544500 #constraints=22614 1409.13/1410.16 c nbDecision=545000 #constraints=22620 1410.33/1411.35 c nbDecision=545500 #constraints=22620 1411.61/1412.66 c nbDecision=546000 #constraints=22637 1412.91/1413.98 c nbDecision=546500 #constraints=22642 1414.31/1415.30 c nbDecision=547000 #constraints=22655 1415.51/1416.59 c nbDecision=547500 #constraints=22671 1416.82/1417.82 c nbDecision=548000 #constraints=22685 1418.01/1419.01 c nbDecision=548500 #constraints=22692 1419.41/1420.43 c nbDecision=549000 #constraints=22709 1420.71/1421.76 c nbDecision=549500 #constraints=22723 1421.91/1422.99 c nbDecision=550000 #constraints=22723 1423.11/1424.19 c nbDecision=550500 #constraints=22731 1424.41/1425.48 c nbDecision=551000 #constraints=22760 1425.71/1426.79 c nbDecision=551500 #constraints=22766 1427.01/1428.05 c nbDecision=552000 #constraints=22766 1428.31/1429.30 c nbDecision=552500 #constraints=22779 1429.41/1430.49 c nbDecision=553000 #constraints=22779 1430.81/1431.80 c nbDecision=553500 #constraints=22793 1432.21/1433.23 c nbDecision=554000 #constraints=22820 1433.51/1434.54 c nbDecision=554500 #constraints=22830 1434.70/1435.79 c nbDecision=555000 #constraints=22842 1435.90/1436.99 c nbDecision=555500 #constraints=22849 1437.30/1438.32 c nbDecision=556000 #constraints=22871 1438.60/1439.64 c nbDecision=556500 #constraints=22875 1439.91/1440.95 c nbDecision=557000 #constraints=22888 1441.11/1442.19 c nbDecision=557500 #constraints=22895 1442.30/1443.39 c nbDecision=558000 #constraints=22902 1443.60/1444.67 c nbDecision=558500 #constraints=22927 1445.00/1446.01 c nbDecision=559000 #constraints=22939 1446.20/1447.28 c nbDecision=559500 #constraints=22942 1447.50/1448.53 c nbDecision=560000 #constraints=22953 1448.70/1449.74 c nbDecision=560500 #constraints=22964 1450.00/1451.02 c nbDecision=561000 #constraints=22967 1451.30/1452.37 c nbDecision=561500 #constraints=22981 1452.60/1453.69 c nbDecision=562000 #constraints=22994 1453.89/1454.97 c nbDecision=562500 #constraints=23006 1455.19/1456.20 c nbDecision=563000 #constraints=23024 1456.49/1457.56 c nbDecision=563500 #constraints=23061 1457.89/1458.91 c nbDecision=564000 #constraints=23065 1459.19/1460.29 c nbDecision=564500 #constraints=23094 1460.49/1461.52 c nbDecision=565000 #constraints=23098 1461.69/1462.71 c nbDecision=565500 #constraints=23106 1462.99/1464.01 c nbDecision=566000 #constraints=23115 1464.29/1465.33 c nbDecision=566500 #constraints=23121 1465.59/1466.64 c nbDecision=567000 #constraints=23138 1466.79/1467.86 c nbDecision=567500 #constraints=23138 1468.09/1469.14 c nbDecision=568000 #constraints=23179 1469.39/1470.45 c nbDecision=568500 #constraints=23194 1470.79/1471.82 c nbDecision=569000 #constraints=23209 1472.09/1473.17 c nbDecision=569500 #constraints=23229 1473.28/1474.39 c nbDecision=570000 #constraints=23229 1474.48/1475.60 c nbDecision=570500 #constraints=23235 1475.88/1476.94 c nbDecision=571000 #constraints=23257 1477.18/1478.27 c nbDecision=571500 #constraints=23265 1478.58/1479.61 c nbDecision=572000 #constraints=23286 1479.78/1480.82 c nbDecision=572500 #constraints=23286 1480.98/1482.01 c nbDecision=573000 #constraints=23293 1482.28/1483.35 c nbDecision=573500 #constraints=23314 1483.58/1484.63 c nbDecision=574000 #constraints=23314 1484.88/1485.90 c nbDecision=574500 #constraints=23322 1485.98/1487.10 c nbDecision=575000 #constraints=23322 1487.28/1488.31 c nbDecision=575500 #constraints=23338 1488.58/1489.67 c nbDecision=576000 #constraints=23357 1489.88/1490.96 c nbDecision=576500 #constraints=23357 1491.18/1492.27 c nbDecision=577000 #constraints=23373 1492.38/1493.48 c nbDecision=577500 #constraints=23373 1493.58/1494.67 c nbDecision=578000 #constraints=23377 1494.98/1496.00 c nbDecision=578500 #constraints=23384 1496.38/1497.40 c nbDecision=579000 #constraints=23406 1497.58/1498.69 c nbDecision=579500 #constraints=23416 1498.87/1499.94 c nbDecision=580000 #constraints=23423 1500.07/1501.17 c nbDecision=580500 #constraints=23452 1501.47/1502.59 c nbDecision=581000 #constraints=23473 1502.97/1504.01 c nbDecision=581500 #constraints=23502 1504.26/1505.37 c nbDecision=582000 #constraints=23521 1505.46/1506.57 c nbDecision=582500 #constraints=23521 1506.66/1507.78 c nbDecision=583000 #constraints=23537 1508.06/1509.16 c nbDecision=583500 #constraints=23561 1509.36/1510.48 c nbDecision=584000 #constraints=23570 1510.76/1511.81 c nbDecision=584500 #constraints=23589 1511.96/1513.02 c nbDecision=585000 #constraints=23589 1513.16/1514.22 c nbDecision=585500 #constraints=23595 1514.46/1515.54 c nbDecision=586000 #constraints=23596 1515.76/1516.83 c nbDecision=586500 #constraints=23596 1516.96/1518.07 c nbDecision=587000 #constraints=23596 1518.16/1519.28 c nbDecision=587500 #constraints=23602 1519.35/1520.49 c nbDecision=588000 #constraints=23616 1520.85/1521.90 c nbDecision=588500 #constraints=23631 1522.25/1523.31 c nbDecision=589000 #constraints=23665 1523.46/1524.57 c nbDecision=589500 #constraints=23673 1524.66/1525.79 c nbDecision=590000 #constraints=23682 1525.95/1527.02 c nbDecision=590500 #constraints=23688 1527.25/1528.35 c nbDecision=591000 #constraints=23695 1528.65/1529.70 c nbDecision=591500 #constraints=23714 1529.85/1530.98 c nbDecision=592000 #constraints=23728 1531.15/1532.21 c nbDecision=592500 #constraints=23741 1532.45/1533.55 c nbDecision=593000 #constraints=23777 1533.95/1535.02 c nbDecision=593500 #constraints=23807 1535.15/1536.29 c nbDecision=594000 #constraints=23807 1536.45/1537.57 c nbDecision=594500 #constraints=23820 1537.64/1538.78 c nbDecision=595000 #constraints=23825 1538.95/1540.07 c nbDecision=595500 #constraints=23838 1540.24/1541.39 c nbDecision=596000 #constraints=23845 1541.54/1542.68 c nbDecision=596500 #constraints=23853 1542.84/1543.93 c nbDecision=597000 #constraints=23859 1544.03/1545.15 c nbDecision=597500 #constraints=23863 1545.33/1546.41 c nbDecision=598000 #constraints=23869 1546.64/1547.73 c nbDecision=598500 #constraints=23876 1547.93/1549.07 c nbDecision=599000 #constraints=23896 1549.23/1550.36 c nbDecision=599500 #constraints=23908 1550.42/1551.58 c nbDecision=600000 #constraints=23908 1551.72/1552.81 c nbDecision=600500 #constraints=23910 1553.02/1554.11 c nbDecision=601000 #constraints=23910 1554.23/1555.39 c nbDecision=601500 #constraints=23910 1555.52/1556.63 c nbDecision=602000 #constraints=23910 1556.72/1557.85 c nbDecision=602500 #constraints=23916 1557.92/1559.06 c nbDecision=603000 #constraints=23934 1559.32/1560.48 c nbDecision=603500 #constraints=23949 1560.62/1561.74 c nbDecision=604000 #constraints=23949 1561.82/1563.00 c nbDecision=604500 #constraints=23957 1563.13/1564.21 c nbDecision=605000 #constraints=23969 1564.42/1565.50 c nbDecision=605500 #constraints=23984 1565.72/1566.89 c nbDecision=606000 #constraints=24001 1567.02/1568.15 c nbDecision=606500 #constraints=24001 1568.22/1569.39 c nbDecision=607000 #constraints=24007 1569.52/1570.61 c nbDecision=607500 #constraints=24021 1570.72/1571.89 c nbDecision=608000 #constraints=24038 1572.02/1573.19 c nbDecision=608500 #constraints=24038 1573.31/1574.47 c nbDecision=609000 #constraints=24038 1574.61/1575.75 c nbDecision=609500 #constraints=24052 1575.81/1576.95 c nbDecision=610000 #constraints=24052 1577.01/1578.18 c nbDecision=610500 #constraints=24071 1578.42/1579.51 c nbDecision=611000 #constraints=24074 1579.71/1580.86 c nbDecision=611500 #constraints=24089 1581.01/1582.17 c nbDecision=612000 #constraints=24112 1582.31/1583.41 c nbDecision=612500 #constraints=24130 1583.51/1584.62 c nbDecision=613000 #constraints=24146 1584.81/1585.98 c nbDecision=613500 #constraints=24155 1586.11/1587.25 c nbDecision=614000 #constraints=24155 1587.41/1588.55 c nbDecision=614500 #constraints=24169 1588.60/1589.78 c nbDecision=615000 #constraints=24169 1589.80/1590.98 c nbDecision=615500 #constraints=24175 1591.20/1592.34 c nbDecision=616000 #constraints=24185 1592.50/1593.63 c nbDecision=616500 #constraints=24185 1593.80/1594.91 c nbDecision=617000 #constraints=24193 1594.99/1596.12 c nbDecision=617500 #constraints=24193 1596.19/1597.35 c nbDecision=618000 #constraints=24215 1597.59/1598.72 c nbDecision=618500 #constraints=24224 1598.89/1600.09 c nbDecision=619000 #constraints=24243 1600.19/1601.33 c nbDecision=619500 #constraints=24246 1601.39/1602.52 c nbDecision=620000 #constraints=24246 1602.59/1603.75 c nbDecision=620500 #constraints=24274 1603.99/1605.17 c nbDecision=621000 #constraints=24292 1605.29/1606.48 c nbDecision=621500 #constraints=24303 1606.58/1607.75 c nbDecision=622000 #constraints=24310 1607.78/1608.94 c nbDecision=622500 #constraints=24310 1608.99/1610.14 c nbDecision=623000 #constraints=24318 1610.39/1611.56 c nbDecision=623500 #constraints=24338 1611.68/1612.87 c nbDecision=624000 #constraints=24345 1612.98/1614.15 c nbDecision=624500 #constraints=24352 1614.18/1615.35 c nbDecision=625000 #constraints=24352 1615.38/1616.55 c nbDecision=625500 #constraints=24359 1616.78/1617.99 c nbDecision=626000 #constraints=24374 1618.08/1619.27 c nbDecision=626500 #constraints=24374 1619.38/1620.59 c nbDecision=627000 #constraints=24397 1620.58/1621.78 c nbDecision=627500 #constraints=24397 1621.88/1623.03 c nbDecision=628000 #constraints=24430 1623.28/1624.44 c nbDecision=628500 #constraints=24444 1624.58/1625.76 c nbDecision=629000 #constraints=24457 1625.88/1627.02 c nbDecision=629500 #constraints=24467 1627.08/1628.22 c nbDecision=630000 #constraints=24473 1628.28/1629.49 c nbDecision=630500 #constraints=24492 1629.68/1630.88 c nbDecision=631000 #constraints=24509 1631.09/1632.24 c nbDecision=631500 #constraints=24525 1632.39/1633.55 c nbDecision=632000 #constraints=24547 1633.58/1634.79 c nbDecision=632500 #constraints=24547 1634.88/1636.04 c nbDecision=633000 #constraints=24554 1636.18/1637.34 c nbDecision=633500 #constraints=24554 1637.48/1638.61 c nbDecision=634000 #constraints=24554 1638.78/1639.92 c nbDecision=634500 #constraints=24571 1639.98/1641.13 c nbDecision=635000 #constraints=24578 1641.17/1642.35 c nbDecision=635500 #constraints=24585 1642.47/1643.69 c nbDecision=636000 #constraints=24588 1643.77/1644.95 c nbDecision=636500 #constraints=24588 1644.97/1646.18 c nbDecision=637000 #constraints=24588 1646.16/1647.36 c nbDecision=637500 #constraints=24588 1647.46/1648.65 c nbDecision=638000 #constraints=24610 1648.77/1649.94 c nbDecision=638500 #constraints=24610 1650.06/1651.25 c nbDecision=639000 #constraints=24617 1651.36/1652.52 c nbDecision=639500 #constraints=24626 1652.56/1653.72 c nbDecision=640000 #constraints=24626 1653.76/1654.98 c nbDecision=640500 #constraints=24639 1655.16/1656.39 c nbDecision=641000 #constraints=24659 1656.57/1657.74 c nbDecision=641500 #constraints=24677 1657.86/1659.01 c nbDecision=642000 #constraints=24688 1659.06/1660.22 c nbDecision=642500 #constraints=24693 1660.36/1661.50 c nbDecision=643000 #constraints=24718 1661.66/1662.85 c nbDecision=643500 #constraints=24728 1662.96/1664.18 c nbDecision=644000 #constraints=24746 1664.26/1665.45 c nbDecision=644500 #constraints=24758 1665.45/1666.65 c nbDecision=645000 #constraints=24764 1666.75/1667.91 c nbDecision=645500 #constraints=24772 1668.05/1669.28 c nbDecision=646000 #constraints=24786 1669.35/1670.59 c nbDecision=646500 #constraints=24798 1670.76/1671.92 c nbDecision=647000 #constraints=24826 1671.96/1673.15 c nbDecision=647500 #constraints=24837 1673.25/1674.47 c nbDecision=648000 #constraints=24875 1674.65/1675.84 c nbDecision=648500 #constraints=24887 1675.95/1677.15 c nbDecision=649000 #constraints=24894 1677.15/1678.37 c nbDecision=649500 #constraints=24894 1678.45/1679.64 c nbDecision=650000 #constraints=24908 1679.84/1681.04 c nbDecision=650500 #constraints=24934 1681.14/1682.32 c nbDecision=651000 #constraints=24934 1682.44/1683.64 c nbDecision=651500 #constraints=24950 1683.64/1684.84 c nbDecision=652000 #constraints=24950 1684.84/1686.02 c nbDecision=652500 #constraints=24950 1686.24/1687.46 c nbDecision=653000 #constraints=24970 1687.63/1688.87 c nbDecision=653500 #constraints=24990 1688.93/1690.13 c nbDecision=654000 #constraints=24996 1690.13/1691.35 c nbDecision=654500 #constraints=25002 1691.33/1692.54 c nbDecision=655000 #constraints=25008 1692.73/1693.98 c nbDecision=655500 #constraints=25038 1694.03/1695.26 c nbDecision=656000 #constraints=25038 1695.33/1696.59 c nbDecision=656500 #constraints=25057 1696.53/1697.79 c nbDecision=657000 #constraints=25057 1697.83/1699.01 c nbDecision=657500 #constraints=25069 1699.22/1700.45 c nbDecision=658000 #constraints=25096 1700.53/1701.77 c nbDecision=658500 #constraints=25109 1701.82/1703.02 c nbDecision=659000 #constraints=25109 1703.02/1704.21 c nbDecision=659500 #constraints=25109 1704.22/1705.44 c nbDecision=660000 #constraints=25134 1705.62/1706.86 c nbDecision=660500 #constraints=25149 1706.92/1708.19 c nbDecision=661000 #constraints=25163 1708.22/1709.43 c nbDecision=661500 #constraints=25163 1709.42/1710.62 c nbDecision=662000 #constraints=25163 1710.62/1711.83 c nbDecision=662500 #constraints=25177 1712.12/1713.31 c nbDecision=663000 #constraints=25205 1713.42/1714.63 c nbDecision=663500 #constraints=25212 1714.62/1715.86 c nbDecision=664000 #constraints=25212 1715.82/1717.07 c nbDecision=664500 #constraints=25219 1717.11/1718.34 c nbDecision=665000 #constraints=25226 1718.51/1719.70 c nbDecision=665500 #constraints=25236 1719.81/1721.01 c nbDecision=666000 #constraints=25246 1721.01/1722.23 c nbDecision=666500 #constraints=25246 1722.21/1723.46 c nbDecision=667000 #constraints=25262 1723.51/1724.77 c nbDecision=667500 #constraints=25278 1724.90/1726.19 c nbDecision=668000 #constraints=25303 1726.20/1727.49 c nbDecision=668500 #constraints=25311 1727.50/1728.78 c nbDecision=669000 #constraints=25329 1728.70/1729.99 c nbDecision=669500 #constraints=25336 1730.00/1731.29 c nbDecision=670000 #constraints=25363 1731.50/1732.73 c nbDecision=670500 #constraints=25387 1732.80/1734.03 c nbDecision=671000 #constraints=25393 1734.09/1735.34 c nbDecision=671500 #constraints=25404 1735.29/1736.54 c nbDecision=672000 #constraints=25404 1736.49/1737.76 c nbDecision=672500 #constraints=25423 1737.89/1739.16 c nbDecision=673000 #constraints=25433 1739.29/1740.58 c nbDecision=673500 #constraints=25464 1740.59/1741.83 c nbDecision=674000 #constraints=25470 1741.79/1743.02 c nbDecision=674500 #constraints=25470 1742.99/1744.26 c nbDecision=675000 #constraints=25477 1744.39/1745.63 c nbDecision=675500 #constraints=25490 1745.69/1746.94 c nbDecision=676000 #constraints=25500 1746.88/1748.18 c nbDecision=676500 #constraints=25504 1748.08/1749.37 c nbDecision=677000 #constraints=25504 1749.38/1750.68 c nbDecision=677500 #constraints=25533 1750.68/1751.99 c nbDecision=678000 #constraints=25534 1751.98/1753.28 c nbDecision=678500 #constraints=25537 1753.28/1754.55 c nbDecision=679000 #constraints=25547 1754.48/1755.76 c nbDecision=679500 #constraints=25556 1755.88/1757.11 c nbDecision=680000 #constraints=25569 1757.18/1758.44 c nbDecision=680500 #constraints=25575 1758.48/1759.74 c nbDecision=681000 #constraints=25582 1759.68/1760.95 c nbDecision=681500 #constraints=25582 1760.88/1762.15 c nbDecision=682000 #constraints=25589 1762.18/1763.47 c nbDecision=682500 #constraints=25601 1763.58/1764.83 c nbDecision=683000 #constraints=25615 1764.88/1766.14 c nbDecision=683500 #constraints=25627 1766.07/1767.37 c nbDecision=684000 #constraints=25627 1767.28/1768.55 c nbDecision=684500 #constraints=25627 1768.58/1769.87 c nbDecision=685000 #constraints=25643 1769.88/1771.17 c nbDecision=685500 #constraints=25644 1771.17/1772.47 c nbDecision=686000 #constraints=25649 1772.47/1773.74 c nbDecision=686500 #constraints=25657 1773.67/1774.97 c nbDecision=687000 #constraints=25670 1774.97/1776.22 c nbDecision=687500 #constraints=25678 1776.38/1777.60 c nbDecision=688000 #constraints=25692 1777.67/1778.90 c nbDecision=688500 #constraints=25696 1778.86/1780.17 c nbDecision=689000 #constraints=25703 1780.06/1781.36 c nbDecision=689500 #constraints=25703 1781.36/1782.64 c nbDecision=690000 #constraints=25726 1782.66/1783.97 c nbDecision=690500 #constraints=25733 1784.06/1785.37 c nbDecision=691000 #constraints=25763 1785.36/1786.66 c nbDecision=691500 #constraints=25779 1786.56/1787.88 c nbDecision=692000 #constraints=25792 1787.86/1789.10 c nbDecision=692500 #constraints=25804 1789.26/1790.51 c nbDecision=693000 #constraints=25816 1790.56/1791.84 c nbDecision=693500 #constraints=25827 1791.86/1793.13 c nbDecision=694000 #constraints=25846 1793.06/1794.34 c nbDecision=694500 #constraints=25852 1794.35/1795.69 c nbDecision=695000 #constraints=25876 1795.75/1797.03 c nbDecision=695500 #constraints=25883 1797.05/1798.32 c nbDecision=696000 #constraints=25887 1798.26/1799.58 c nbDecision=696500 #constraints=25890 1799.46/1800.77 c nbDecision=697000 #constraints=25890 1800.06/1801.30 Received signal 15 1800.06/1801.30 1800.06/1801.30 s UNKNOWN 1800.06/1801.30 1800.06/1801.30 c user time= 1799.7 s 1800.06/1801.30 c system time= 0.363944 s 1800.06/1801.30 c wall clock time=1801.31
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-363028-1176850476 -o ROOT/results/node58/solver-363028-1176850476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363028-1176850476/instance-363028-1176850476.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.98 3/64 10982 /proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=1620 CPUtime=0 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 132957369 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 405 176 126 317 0 84 0 [startup+0.060644 s] /proc/loadavg: 0.92 0.98 0.98 3/64 10982 /proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=3440 CPUtime=0.05 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 791 0 0 0 5 0 0 0 18 0 1 0 132957369 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 860 547 126 317 0 539 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3440 [startup+0.10165 s] /proc/loadavg: 0.92 0.98 0.98 3/64 10982 /proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=3440 CPUtime=0.09 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 841 0 0 0 9 0 0 0 18 0 1 0 132957369 3522560 596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 860 596 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301683 s] /proc/loadavg: 0.92 0.98 0.98 3/64 10982 /proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=6756 CPUtime=0.29 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 1667 0 0 0 29 0 0 0 19 0 1 0 132957369 6918144 1422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 1689 1422 131 317 0 1368 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6756 [startup+0.70175 s] /proc/loadavg: 0.92 0.98 0.98 3/64 10982 /proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=16276 CPUtime=0.69 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 3967 0 0 0 67 2 0 0 23 0 1 0 132957369 16666624 3722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 4069 3722 131 317 0 3748 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16276 [startup+1.50189 s] /proc/loadavg: 0.92 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1443944/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=40852 CPUtime=1.49 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10039 0 0 0 145 4 0 0 25 0 1 0 132957369 41832448 9794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 10213 9794 137 317 0 9892 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40852 [startup+3.10115 s] /proc/loadavg: 0.92 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1423464/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=44088 CPUtime=3.09 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 304 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11022 10581 139 317 0 10701 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44088 [startup+6.30169 s] /proc/loadavg: 0.93 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1422952/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=44088 CPUtime=6.29 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 624 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11022 10581 139 317 0 10701 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44088 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1423224/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=44088 CPUtime=12.69 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 1264 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11022 10581 139 317 0 10701 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44088 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1423416/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=44088 CPUtime=25.48 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 2543 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11022 10581 139 317 0 10701 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44088 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1423352/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=44220 CPUtime=51.06 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10848 0 0 0 5101 5 0 0 25 0 1 0 132957369 45281280 10603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11055 10603 139 317 0 10734 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 44220 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1422392/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=45276 CPUtime=102.24 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 11120 0 0 0 10218 6 0 0 25 0 1 0 132957369 46362624 10875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11319 10875 139 317 0 10998 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 45276 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1420664/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=46988 CPUtime=162.19 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 11540 0 0 0 16213 6 0 0 25 0 1 0 132957369 48115712 11295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 11747 11295 139 317 0 11426 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 46988 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1418744/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=48964 CPUtime=222.15 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 12047 0 0 0 22208 7 0 0 25 0 1 0 132957369 50139136 11802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 12241 11802 139 317 0 11920 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 48964 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1416952/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=50988 CPUtime=282.12 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 12560 0 0 0 28205 7 0 0 25 0 1 0 132957369 52211712 12267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 12747 12267 139 317 0 12426 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 50988 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10983 /proc/meminfo: memFree=1414776/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=53112 CPUtime=342.08 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 13083 0 0 0 34199 9 0 0 25 0 1 0 132957369 54386688 12790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 13278 12790 139 317 0 12957 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 53112 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/71 11091 /proc/meminfo: memFree=1411400/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=55092 CPUtime=402.02 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 13596 0 0 0 40187 15 0 0 25 0 1 0 132957369 56414208 13303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 13773 13303 139 317 0 13452 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 55092 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1410168/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=57336 CPUtime=461.99 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 14177 0 0 0 46175 24 0 0 25 0 1 0 132957369 58712064 13884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 14334 13884 139 317 0 14013 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 57336 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1408440/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=59044 CPUtime=521.95 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 14613 0 0 0 52170 25 0 0 25 0 1 0 132957369 60461056 14320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 14761 14320 139 317 0 14440 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 59044 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1407032/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=60624 CPUtime=581.9 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 14998 0 0 0 58165 25 0 0 25 0 1 0 132957369 62078976 14705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 15156 14705 139 317 0 14835 0 Current children cumulated CPU time (s) 581.9 Current children cumulated vsize (KiB) 60624 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1404984/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=62604 CPUtime=641.87 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 15498 0 0 0 64161 26 0 0 25 0 1 0 132957369 64106496 15205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 15651 15205 139 317 0 15330 0 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (KiB) 62604 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1395768/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=72196 CPUtime=881.68 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 17913 0 0 0 88139 29 0 0 25 0 1 0 132957369 73928704 17526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 18049 17526 139 317 0 17728 0 Current children cumulated CPU time (s) 881.68 Current children cumulated vsize (KiB) 72196 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1393848/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=74040 CPUtime=941.64 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 18393 0 0 0 94135 29 0 0 25 0 1 0 132957369 75816960 18006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 18510 18006 139 317 0 18189 0 Current children cumulated CPU time (s) 941.64 Current children cumulated vsize (KiB) 74040 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1392184/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=75748 CPUtime=1001.59 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 18799 0 0 0 100130 29 0 0 25 0 1 0 132957369 77565952 18412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 18937 18412 139 317 0 18616 0 Current children cumulated CPU time (s) 1001.59 Current children cumulated vsize (KiB) 75748 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1390648/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=77192 CPUtime=1061.55 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 19184 0 0 0 106125 30 0 0 25 0 1 0 132957369 79044608 18797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 19298 18797 139 317 0 18977 0 Current children cumulated CPU time (s) 1061.55 Current children cumulated vsize (KiB) 77192 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1389176/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=78636 CPUtime=1121.52 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 19565 0 0 0 112121 31 0 0 25 0 1 0 132957369 80523264 19178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 19659 19178 170 317 0 19338 0 Current children cumulated CPU time (s) 1121.52 Current children cumulated vsize (KiB) 78636 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1387640/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=80208 CPUtime=1181.48 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 19967 0 0 0 118116 32 0 0 25 0 1 0 132957369 82132992 19580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10982/statm: 20052 19580 170 317 0 19731 0 Current children cumulated CPU time (s) 1181.48 Current children cumulated vsize (KiB) 80208 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1386040/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=81516 CPUtime=1241.42 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 20311 0 0 0 124110 32 0 0 25 0 1 0 132957369 83472384 19924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 20379 19924 170 317 0 20058 0 Current children cumulated CPU time (s) 1241.42 Current children cumulated vsize (KiB) 81516 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1384888/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=82692 CPUtime=1301.4 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 20604 0 0 0 130107 33 0 0 25 0 1 0 132957369 84676608 20217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 20673 20217 170 317 0 20352 0 Current children cumulated CPU time (s) 1301.4 Current children cumulated vsize (KiB) 82692 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1383736/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=83748 CPUtime=1361.36 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 20889 0 0 0 136103 33 0 0 25 0 1 0 132957369 85757952 20502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 20937 20502 170 317 0 20616 0 Current children cumulated CPU time (s) 1361.36 Current children cumulated vsize (KiB) 83748 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1382520/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=85064 CPUtime=1421.31 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 21206 0 0 0 142098 33 0 0 25 0 1 0 132957369 87105536 20819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 21266 20819 170 317 0 20945 0 Current children cumulated CPU time (s) 1421.31 Current children cumulated vsize (KiB) 85064 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1381368/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=86236 CPUtime=1481.28 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 21506 0 0 0 148094 34 0 0 25 0 1 0 132957369 88305664 21119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 21559 21119 170 317 0 21238 0 Current children cumulated CPU time (s) 1481.28 Current children cumulated vsize (KiB) 86236 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1379960/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=87548 CPUtime=1541.24 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 21841 0 0 0 154090 34 0 0 25 0 1 0 132957369 89649152 21454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 21887 21454 170 317 0 21566 0 Current children cumulated CPU time (s) 1541.24 Current children cumulated vsize (KiB) 87548 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1378808/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=88604 CPUtime=1601.19 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 22122 0 0 0 160085 34 0 0 25 0 1 0 132957369 90730496 21735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 22151 21735 170 317 0 21830 0 Current children cumulated CPU time (s) 1601.19 Current children cumulated vsize (KiB) 88604 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1377592/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=89916 CPUtime=1661.16 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 22434 0 0 0 166081 35 0 0 25 0 1 0 132957369 92073984 22047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 22479 22047 170 317 0 22158 0 Current children cumulated CPU time (s) 1661.16 Current children cumulated vsize (KiB) 89916 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1376376/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=91100 CPUtime=1721.11 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 22754 0 0 0 172076 35 0 0 25 0 1 0 132957369 93286400 22367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 22775 22367 170 317 0 22454 0 Current children cumulated CPU time (s) 1721.11 Current children cumulated vsize (KiB) 91100 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1374968/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=92416 CPUtime=1781.06 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 23074 0 0 0 178070 36 0 0 25 0 1 0 132957369 94633984 22687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 23104 22687 170 317 0 22783 0 Current children cumulated CPU time (s) 1781.06 Current children cumulated vsize (KiB) 92416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1374328/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=93072 CPUtime=1800.06 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 23226 0 0 0 179970 36 0 0 25 0 1 0 132957369 95305728 22839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 23268 22839 170 317 0 22947 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 93072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 11181 /proc/meminfo: memFree=1374328/2055920 swapFree=4184528/4192956 [pid=10982] ppid=10980 vsize=93072 CPUtime=1800.06 /proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 23226 0 0 0 179970 36 0 0 25 0 1 0 132957369 95305728 22839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10982/statm: 23268 22839 170 317 0 22947 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 93072 Child status: 0 Real time (s): 1801.35 CPU time (s): 1800.11 CPU user time (s): 1799.73 CPU system time (s): 0.376942 CPU usage (%): 99.931 Max. virtual memory (cumulated for all children) (KiB): 93072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.376942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23242 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= 6224 runsolver used 1.85672 second user time and 4.78527 second system time The end
Begin job on node58 on Tue Apr 17 22:54:37 UTC 2007 IDJOB= 363028 IDBENCH= 1718 IDSOLVER= 172 FILE ID= node58/363028-1176850476 PBS_JOBID= 4590197 Free space on /tmp= 66482 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-bnl2.opb COMMAND LINE= oree /tmp/evaluation/363028-1176850476/instance-363028-1176850476.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-363028-1176850476 -o ROOT/results/node58/solver-363028-1176850476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363028-1176850476/instance-363028-1176850476.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4c72c91139ee79c29342b8f97e9b4cad RANDOM SEED= 566016792 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1465672 kB Buffers: 45872 kB Cached: 458428 kB SwapCached: 2504 kB Active: 228628 kB Inactive: 287916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1465672 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 6212 kB Writeback: 0 kB Mapped: 18528 kB Slab: 59816 kB Committed_AS: 916264 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66482 MiB End job on node58 on Tue Apr 17 23:24:40 UTC 2007