Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb |
MD5SUM | cbc7f776eebadde6a6228c5e168c70a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 60930 |
Total number of constraints | 2157 |
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 | 2157 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 31770 |
Biggest coefficient in the objective function | 2474 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 550404 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 550404 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.78/0.84 c ...done 0.78/0.84 c #vars=60930 #constraints=3301 hasObjective=yes 1.09/1.15 c res. mode=mod 1.09/1.15 c VSIDS like heuristics 1.09/1.15 c complete search running 1.69/1.75 c restart after 401 decisions 1.79/1.84 c nbDecision=500 #constraints=3350 2.19/2.27 c restart after 801 decisions 2.39/2.46 c nbDecision=1000 #constraints=3417 3.29/3.39 c nbDecision=1500 #constraints=3584 3.39/3.49 c restart after 1601 decisions 4.09/4.13 c nbDecision=2000 #constraints=3657 4.89/4.97 c nbDecision=2500 #constraints=3736 5.89/5.97 c nbDecision=3000 #constraints=3888 6.19/6.22 c restart after 3201 decisions 6.59/6.61 c nbDecision=3500 #constraints=3942 7.39/7.48 c nbDecision=4000 #constraints=4048 8.29/8.30 c nbDecision=4500 #constraints=4124 9.09/9.11 c nbDecision=5000 #constraints=4211 9.79/9.85 c nbDecision=5500 #constraints=4268 10.69/10.76 c nbDecision=6000 #constraints=4349 11.29/11.34 c restart after 6401 decisions 11.39/11.43 c nbDecision=6500 #constraints=4389 12.28/12.32 c nbDecision=7000 #constraints=4491 12.98/13.07 c nbDecision=7500 #constraints=4547 13.99/14.05 c nbDecision=8000 #constraints=4645 14.79/14.82 c nbDecision=8500 #constraints=4714 15.79/15.85 c nbDecision=9000 #constraints=4853 16.69/16.79 c nbDecision=9500 #constraints=4953 17.59/17.69 c nbDecision=10000 #constraints=5035 18.59/18.65 c nbDecision=10500 #constraints=5153 19.49/19.54 c nbDecision=11000 #constraints=5215 20.38/20.47 c nbDecision=11500 #constraints=5306 21.38/21.42 c nbDecision=12000 #constraints=5403 22.39/22.43 c nbDecision=12500 #constraints=5519 22.89/22.95 c restart after 12801 decisions 23.09/23.19 c nbDecision=13000 #constraints=5568 24.09/24.18 c nbDecision=13500 #constraints=5668 25.09/25.20 c nbDecision=14000 #constraints=5770 26.09/26.19 c nbDecision=14500 #constraints=5859 27.08/27.12 c nbDecision=15000 #constraints=5924 27.98/28.06 c nbDecision=15500 #constraints=5982 28.88/28.97 c nbDecision=16000 #constraints=6035 29.88/29.96 c nbDecision=16500 #constraints=6133 30.79/30.87 c nbDecision=17000 #constraints=6186 31.68/31.75 c nbDecision=17500 #constraints=6226 32.58/32.69 c nbDecision=18000 #constraints=6288 33.58/33.63 c nbDecision=18500 #constraints=6358 34.48/34.50 c nbDecision=19000 #constraints=6382 35.28/35.39 c nbDecision=19500 #constraints=6421 36.28/36.32 c nbDecision=20000 #constraints=6477 37.18/37.24 c nbDecision=20500 #constraints=6528 37.98/38.09 c nbDecision=21000 #constraints=6546 38.98/39.06 c nbDecision=21500 #constraints=6619 39.88/39.94 c nbDecision=22000 #constraints=6649 40.78/40.87 c nbDecision=22500 #constraints=6698 41.68/41.79 c nbDecision=23000 #constraints=6742 42.68/42.72 c nbDecision=23500 #constraints=6780 43.58/43.64 c nbDecision=24000 #constraints=6829 44.48/44.59 c nbDecision=24500 #constraints=6887 45.47/45.53 c nbDecision=25000 #constraints=6932 46.48/46.51 c nbDecision=25500 #constraints=6992 46.58/46.69 c restart after 25601 decisions 47.28/47.36 c nbDecision=26000 #constraints=7037 48.38/48.47 c nbDecision=26500 #constraints=7149 49.48/49.52 c nbDecision=27000 #constraints=7232 50.48/50.52 c nbDecision=27500 #constraints=7296 51.47/51.56 c nbDecision=28000 #constraints=7367 52.68/52.77 c nbDecision=28500 #constraints=7492 53.77/53.81 c nbDecision=29000 #constraints=7562 54.67/54.77 c nbDecision=29500 #constraints=7609 55.67/55.74 c nbDecision=30000 #constraints=7662 56.68/56.70 c nbDecision=30500 #constraints=7704 57.58/57.66 c nbDecision=31000 #constraints=7743 58.58/58.63 c nbDecision=31500 #constraints=7795 59.58/59.60 c nbDecision=32000 #constraints=7833 60.48/60.58 c nbDecision=32500 #constraints=7874 61.58/61.69 c nbDecision=33000 #constraints=7965 62.58/62.70 c nbDecision=33500 #constraints=8019 63.68/63.73 c nbDecision=34000 #constraints=8069 64.87/64.90 c nbDecision=34500 #constraints=8176 65.87/65.98 c nbDecision=35000 #constraints=8245 66.97/67.02 c nbDecision=35500 #constraints=8304 68.07/68.16 c nbDecision=36000 #constraints=8381 69.17/69.21 c nbDecision=36500 #constraints=8429 70.27/70.30 c nbDecision=37000 #constraints=8507 71.37/71.41 c nbDecision=37500 #constraints=8581 72.37/72.43 c nbDecision=38000 #constraints=8626 73.37/73.48 c nbDecision=38500 #constraints=8681 74.46/74.58 c nbDecision=39000 #constraints=8752 75.66/75.70 c nbDecision=39500 #constraints=8829 76.66/76.76 c nbDecision=40000 #constraints=8887 77.67/77.78 c nbDecision=40500 #constraints=8942 78.77/78.80 c nbDecision=41000 #constraints=8981 79.77/79.85 c nbDecision=41500 #constraints=9035 80.77/80.86 c nbDecision=42000 #constraints=9066 81.77/81.86 c nbDecision=42500 #constraints=9094 82.87/82.91 c nbDecision=43000 #constraints=9142 83.87/83.93 c nbDecision=43500 #constraints=9194 84.87/84.96 c nbDecision=44000 #constraints=9235 85.87/85.99 c nbDecision=44500 #constraints=9275 86.96/87.07 c nbDecision=45000 #constraints=9322 88.06/88.11 c nbDecision=45500 #constraints=9356 89.07/89.17 c nbDecision=46000 #constraints=9410 90.17/90.20 c nbDecision=46500 #constraints=9446 91.06/91.11 c nbDecision=47000 #constraints=9456 92.06/92.12 c nbDecision=47500 #constraints=9490 93.06/93.11 c nbDecision=48000 #constraints=9524 94.16/94.25 c nbDecision=48500 #constraints=9569 95.16/95.29 c nbDecision=49000 #constraints=9599 96.26/96.31 c nbDecision=49500 #constraints=9629 97.26/97.33 c nbDecision=50000 #constraints=9657 98.27/98.39 c nbDecision=50500 #constraints=9690 99.46/99.59 c nbDecision=51000 #constraints=9760 99.86/99.99 c restart after 51201 decisions 100.26/100.35 c nbDecision=51500 #constraints=9772 101.26/101.39 c nbDecision=52000 #constraints=9826 102.36/102.49 c nbDecision=52500 #constraints=9869 103.46/103.57 c nbDecision=53000 #constraints=9907 104.56/104.64 c nbDecision=53500 #constraints=9939 105.66/105.74 c nbDecision=54000 #constraints=9986 106.76/106.82 c nbDecision=54500 #constraints=10022 107.86/107.92 c nbDecision=55000 #constraints=10069 108.86/108.92 c nbDecision=55500 #constraints=10094 109.86/109.96 c nbDecision=56000 #constraints=10128 110.96/111.03 c nbDecision=56500 #constraints=10184 111.96/112.04 c nbDecision=57000 #constraints=10210 112.96/113.09 c nbDecision=57500 #constraints=10250 114.06/114.11 c nbDecision=58000 #constraints=10272 115.16/115.22 c nbDecision=58500 #constraints=10316 116.15/116.26 c nbDecision=59000 #constraints=10345 117.15/117.28 c nbDecision=59500 #constraints=10384 118.35/118.45 c nbDecision=60000 #constraints=10432 119.45/119.52 c nbDecision=60500 #constraints=10479 120.45/120.54 c nbDecision=61000 #constraints=10510 121.55/121.64 c nbDecision=61500 #constraints=10545 122.65/122.76 c nbDecision=62000 #constraints=10584 123.85/123.91 c nbDecision=62500 #constraints=10636 124.95/125.01 c nbDecision=63000 #constraints=10670 125.95/126.04 c nbDecision=63500 #constraints=10697 126.95/127.04 c nbDecision=64000 #constraints=10708 127.95/128.05 c nbDecision=64500 #constraints=10740 128.95/129.08 c nbDecision=65000 #constraints=10765 130.05/130.11 c nbDecision=65500 #constraints=10799 131.05/131.17 c nbDecision=66000 #constraints=10828 132.15/132.23 c nbDecision=66500 #constraints=10853 133.16/133.23 c nbDecision=67000 #constraints=10870 134.26/134.30 c nbDecision=67500 #constraints=10912 135.26/135.38 c nbDecision=68000 #constraints=10944 136.26/136.34 c nbDecision=68500 #constraints=10954 137.36/137.43 c nbDecision=69000 #constraints=10981 138.35/138.50 c nbDecision=69500 #constraints=11005 139.45/139.56 c nbDecision=70000 #constraints=11030 140.55/140.61 c nbDecision=70500 #constraints=11064 141.55/141.63 c nbDecision=71000 #constraints=11080 142.55/142.68 c nbDecision=71500 #constraints=11099 143.65/143.74 c nbDecision=72000 #constraints=11122 144.65/144.75 c nbDecision=72500 #constraints=11138 145.75/145.82 c nbDecision=73000 #constraints=11162 146.75/146.86 c nbDecision=73500 #constraints=11181 147.85/147.96 c nbDecision=74000 #constraints=11208 148.95/149.05 c nbDecision=74500 #constraints=11227 150.05/150.13 c nbDecision=75000 #constraints=11255 151.15/151.20 c nbDecision=75500 #constraints=11280 152.15/152.29 c nbDecision=76000 #constraints=11312 153.25/153.32 c nbDecision=76500 #constraints=11325 154.34/154.44 c nbDecision=77000 #constraints=11357 155.45/155.54 c nbDecision=77500 #constraints=11400 156.45/156.55 c nbDecision=78000 #constraints=11416 157.45/157.59 c nbDecision=78500 #constraints=11435 158.55/158.63 c nbDecision=79000 #constraints=11460 159.55/159.64 c nbDecision=79500 #constraints=11480 160.65/160.77 c nbDecision=80000 #constraints=11512 161.65/161.78 c nbDecision=80500 #constraints=11527 162.85/162.96 c nbDecision=81000 #constraints=11569 163.95/164.01 c nbDecision=81500 #constraints=11589 165.04/165.18 c nbDecision=82000 #constraints=11617 166.14/166.22 c nbDecision=82500 #constraints=11638 167.24/167.38 c nbDecision=83000 #constraints=11661 168.34/168.48 c nbDecision=83500 #constraints=11696 169.44/169.57 c nbDecision=84000 #constraints=11714 170.64/170.70 c nbDecision=84500 #constraints=11738 171.74/171.88 c nbDecision=85000 #constraints=11766 172.94/173.00 c nbDecision=85500 #constraints=11790 174.05/174.12 c nbDecision=86000 #constraints=11816 175.05/175.19 c nbDecision=86500 #constraints=11842 176.25/176.35 c nbDecision=87000 #constraints=11873 177.54/177.63 c nbDecision=87500 #constraints=11913 178.54/178.68 c nbDecision=88000 #constraints=11931 179.74/179.86 c nbDecision=88500 #constraints=11960 180.84/180.96 c nbDecision=89000 #constraints=11984 181.94/182.07 c nbDecision=89500 #constraints=12016 183.14/183.26 c nbDecision=90000 #constraints=12046 184.34/184.44 c nbDecision=90500 #constraints=12071 185.44/185.59 c nbDecision=91000 #constraints=12096 186.64/186.71 c nbDecision=91500 #constraints=12119 187.73/187.85 c nbDecision=92000 #constraints=12145 188.93/189.03 c nbDecision=92500 #constraints=12179 189.93/190.05 c nbDecision=93000 #constraints=12189 191.03/191.14 c nbDecision=93500 #constraints=12206 192.23/192.31 c nbDecision=94000 #constraints=12227 193.23/193.37 c nbDecision=94500 #constraints=12241 194.44/194.52 c nbDecision=95000 #constraints=12266 195.54/195.68 c nbDecision=95500 #constraints=12296 196.64/196.76 c nbDecision=96000 #constraints=12326 197.84/197.90 c nbDecision=96500 #constraints=12354 198.94/199.05 c nbDecision=97000 #constraints=12372 200.04/200.19 c nbDecision=97500 #constraints=12399 201.04/201.19 c nbDecision=98000 #constraints=12408 202.14/202.29 c nbDecision=98500 #constraints=12433 203.44/203.54 c nbDecision=99000 #constraints=12475 204.74/204.87 c nbDecision=99500 #constraints=12517 205.93/206.01 c nbDecision=100000 #constraints=12540 207.03/207.15 c nbDecision=100500 #constraints=12570 208.13/208.24 c nbDecision=101000 #constraints=12590 209.23/209.39 c nbDecision=101500 #constraints=12628 210.33/210.45 c nbDecision=102000 #constraints=12645 211.14/211.29 c restart after 102401 decisions 211.33/211.47 c nbDecision=102500 #constraints=12659 212.63/212.77 c nbDecision=103000 #constraints=12742 214.13/214.25 c nbDecision=103500 #constraints=12813 215.54/215.68 c nbDecision=104000 #constraints=12862 216.94/217.03 c nbDecision=104500 #constraints=12919 218.33/218.47 c nbDecision=105000 #constraints=12976 219.53/219.68 c nbDecision=105500 #constraints=13013 220.83/220.95 c nbDecision=106000 #constraints=13055 222.23/222.30 c nbDecision=106500 #constraints=13111 223.43/223.54 c nbDecision=107000 #constraints=13146 224.73/224.81 c nbDecision=107500 #constraints=13196 225.83/225.99 c nbDecision=108000 #constraints=13228 227.03/227.11 c nbDecision=108500 #constraints=13253 228.13/228.24 c nbDecision=109000 #constraints=13280 229.33/229.42 c nbDecision=109500 #constraints=13305 230.43/230.52 c nbDecision=110000 #constraints=13332 231.52/231.69 c nbDecision=110500 #constraints=13367 232.82/232.91 c nbDecision=111000 #constraints=13388 233.82/233.97 c nbDecision=111500 #constraints=13412 234.92/235.09 c nbDecision=112000 #constraints=13434 236.13/236.27 c nbDecision=112500 #constraints=13459 237.23/237.37 c nbDecision=113000 #constraints=13471 238.43/238.54 c nbDecision=113500 #constraints=13502 239.53/239.65 c nbDecision=114000 #constraints=13530 240.93/241.02 c nbDecision=114500 #constraints=13571 242.13/242.22 c nbDecision=115000 #constraints=13591 243.43/243.57 c nbDecision=115500 #constraints=13638 244.63/244.75 c nbDecision=116000 #constraints=13664 245.83/245.97 c nbDecision=116500 #constraints=13701 247.13/247.24 c nbDecision=117000 #constraints=13743 248.33/248.46 c nbDecision=117500 #constraints=13763 249.53/249.65 c nbDecision=118000 #constraints=13793 251.22/251.31 c nbDecision=118500 #constraints=13853 252.72/252.81 c nbDecision=119000 #constraints=13900 254.12/254.22 c nbDecision=119500 #constraints=13944 255.52/255.61 c nbDecision=120000 #constraints=13989 256.62/256.78 c nbDecision=120500 #constraints=14010 257.82/257.92 c nbDecision=121000 #constraints=14033 258.92/259.02 c nbDecision=121500 #constraints=14049 260.12/260.26 c nbDecision=122000 #constraints=14074 261.32/261.43 c nbDecision=122500 #constraints=14103 262.52/262.63 c nbDecision=123000 #constraints=14127 263.72/263.82 c nbDecision=123500 #constraints=14153 264.81/264.91 c nbDecision=124000 #constraints=14173 265.92/266.09 c nbDecision=124500 #constraints=14200 267.13/267.22 c nbDecision=125000 #constraints=14213 268.23/268.32 c nbDecision=125500 #constraints=14224 269.43/269.53 c nbDecision=126000 #constraints=14250 270.53/270.69 c nbDecision=126500 #constraints=14275 271.82/271.92 c nbDecision=127000 #constraints=14315 273.02/273.19 c nbDecision=127500 #constraints=14341 274.42/274.53 c nbDecision=128000 #constraints=14381 275.62/275.76 c nbDecision=128500 #constraints=14407 276.81/276.99 c nbDecision=129000 #constraints=14437 278.11/278.24 c nbDecision=129500 #constraints=14464 279.49/279.61 c nbDecision=130000 #constraints=14509 280.79/280.98 c nbDecision=130500 #constraints=14549 282.08/282.29 c nbDecision=131000 #constraints=14581 283.38/283.50 c nbDecision=131500 #constraints=14606 284.78/284.97 c nbDecision=132000 #constraints=14656 285.98/286.20 c nbDecision=132500 #constraints=14675 287.18/287.38 c nbDecision=133000 #constraints=14702 288.57/288.72 c nbDecision=133500 #constraints=14724 289.67/289.89 c nbDecision=134000 #constraints=14757 291.06/291.29 c nbDecision=134500 #constraints=14788 292.46/292.63 c nbDecision=135000 #constraints=14823 293.75/293.94 c nbDecision=135500 #constraints=14865 295.06/295.24 c nbDecision=136000 #constraints=14897 296.35/296.50 c nbDecision=136500 #constraints=14930 297.45/297.69 c nbDecision=137000 #constraints=14946 299.05/299.27 c nbDecision=137500 #constraints=15010 300.74/300.93 c nbDecision=138000 #constraints=15081 302.14/302.34 c nbDecision=138500 #constraints=15111 303.53/303.73 c nbDecision=139000 #constraints=15149 304.73/304.95 c nbDecision=139500 #constraints=15173 306.13/306.30 c nbDecision=140000 #constraints=15226 307.84/308.03 c nbDecision=140500 #constraints=15279 309.13/309.39 c nbDecision=141000 #constraints=15302 310.53/310.70 c nbDecision=141500 #constraints=15324 311.73/311.99 c nbDecision=142000 #constraints=15351 313.33/313.51 c nbDecision=142500 #constraints=15400 314.82/315.06 c nbDecision=143000 #constraints=15435 316.53/316.73 c nbDecision=143500 #constraints=15498 317.92/318.18 c nbDecision=144000 #constraints=15530 319.42/319.61 c nbDecision=144500 #constraints=15567 320.92/321.10 c nbDecision=145000 #constraints=15613 322.12/322.39 c nbDecision=145500 #constraints=15644 323.41/323.66 c nbDecision=146000 #constraints=15662 324.81/325.02 c nbDecision=146500 #constraints=15690 326.01/326.26 c nbDecision=147000 #constraints=15711 327.31/327.50 c nbDecision=147500 #constraints=15727 328.42/328.69 c nbDecision=148000 #constraints=15742 329.71/329.92 c nbDecision=148500 #constraints=15770 330.91/331.13 c nbDecision=149000 #constraints=15793 332.10/332.33 c nbDecision=149500 #constraints=15818 333.30/333.59 c nbDecision=150000 #constraints=15837 334.70/334.96 c nbDecision=150500 #constraints=15873 336.00/336.20 c nbDecision=151000 #constraints=15891 337.20/337.47 c nbDecision=151500 #constraints=15920 338.50/338.75 c nbDecision=152000 #constraints=15954 340.00/340.24 c nbDecision=152500 #constraints=15991 341.40/341.63 c nbDecision=153000 #constraints=16025 342.59/342.84 c nbDecision=153500 #constraints=16040 343.79/344.02 c nbDecision=154000 #constraints=16054 344.99/345.24 c nbDecision=154500 #constraints=16068 346.20/346.42 c nbDecision=155000 #constraints=16083 347.49/347.79 c nbDecision=155500 #constraints=16107 348.89/349.11 c nbDecision=156000 #constraints=16134 350.19/350.42 c nbDecision=156500 #constraints=16161 351.50/351.71 c nbDecision=157000 #constraints=16192 352.70/352.98 c nbDecision=157500 #constraints=16218 354.00/354.21 c nbDecision=158000 #constraints=16236 355.20/355.41 c nbDecision=158500 #constraints=16248 356.30/356.57 c nbDecision=159000 #constraints=16260 357.70/357.92 c nbDecision=159500 #constraints=16289 358.90/359.16 c nbDecision=160000 #constraints=16308 360.10/360.39 c nbDecision=160500 #constraints=16323 361.40/361.69 c nbDecision=161000 #constraints=16348 362.80/363.01 c nbDecision=161500 #constraints=16367 363.99/364.22 c nbDecision=162000 #constraints=16391 365.19/365.46 c nbDecision=162500 #constraints=16409 366.39/366.62 c nbDecision=163000 #constraints=16419 367.69/367.93 c nbDecision=163500 #constraints=16451 368.89/369.17 c nbDecision=164000 #constraints=16473 370.19/370.40 c nbDecision=164500 #constraints=16489 371.29/371.56 c nbDecision=165000 #constraints=16507 372.60/372.87 c nbDecision=165500 #constraints=16538 373.79/374.09 c nbDecision=166000 #constraints=16558 375.19/375.43 c nbDecision=166500 #constraints=16586 376.49/376.72 c nbDecision=167000 #constraints=16609 377.69/377.95 c nbDecision=167500 #constraints=16632 378.88/379.19 c nbDecision=168000 #constraints=16650 380.29/380.55 c nbDecision=168500 #constraints=16683 381.78/382.00 c nbDecision=169000 #constraints=16719 383.48/383.76 c nbDecision=169500 #constraints=16760 384.99/385.20 c nbDecision=170000 #constraints=16789 386.29/386.53 c nbDecision=170500 #constraints=16807 387.79/388.00 c nbDecision=171000 #constraints=16832 389.09/389.35 c nbDecision=171500 #constraints=16857 390.29/390.55 c nbDecision=172000 #constraints=16870 391.49/391.78 c nbDecision=172500 #constraints=16887 392.79/393.01 c nbDecision=173000 #constraints=16908 393.99/394.21 c nbDecision=173500 #constraints=16920 395.18/395.41 c nbDecision=174000 #constraints=16940 396.98/397.22 c nbDecision=174500 #constraints=16989 398.38/398.64 c nbDecision=175000 #constraints=17018 399.78/400.06 c nbDecision=175500 #constraints=17058 401.58/401.88 c nbDecision=176000 #constraints=17133 403.08/403.33 c nbDecision=176500 #constraints=17189 404.38/404.65 c nbDecision=177000 #constraints=17253 405.88/406.17 c nbDecision=177500 #constraints=17281 407.28/407.57 c nbDecision=178000 #constraints=17349 408.88/409.11 c nbDecision=178500 #constraints=17433 410.28/410.52 c nbDecision=179000 #constraints=17491 411.68/411.97 c nbDecision=179500 #constraints=17530 412.88/413.12 c nbDecision=180000 #constraints=17556 414.49/414.72 c nbDecision=180500 #constraints=17611 416.18/416.46 c nbDecision=181000 #constraints=17698 417.68/417.98 c nbDecision=181500 #constraints=17752 419.28/419.52 c nbDecision=182000 #constraints=17818 420.68/420.98 c nbDecision=182500 #constraints=17878 422.38/422.60 c nbDecision=183000 #constraints=17925 424.18/424.49 c nbDecision=183500 #constraints=17965 425.58/425.86 c nbDecision=184000 #constraints=17991 426.88/427.15 c nbDecision=184500 #constraints=18019 428.07/428.31 c nbDecision=185000 #constraints=18029 429.57/429.85 c nbDecision=185500 #constraints=18055 431.37/431.65 c nbDecision=186000 #constraints=18107 433.08/433.36 c nbDecision=186500 #constraints=18143 434.47/434.71 c nbDecision=187000 #constraints=18164 435.98/436.21 c nbDecision=187500 #constraints=18203 437.08/437.37 c nbDecision=188000 #constraints=18216 438.48/438.78 c nbDecision=188500 #constraints=18238 439.88/440.10 c nbDecision=189000 #constraints=18258 441.28/441.56 c nbDecision=189500 #constraints=18290 442.77/443.04 c nbDecision=190000 #constraints=18320 444.08/444.36 c nbDecision=190500 #constraints=18336 445.57/445.84 c nbDecision=191000 #constraints=18375 446.77/447.09 c nbDecision=191500 #constraints=18387 448.07/448.34 c nbDecision=192000 #constraints=18401 449.37/449.68 c nbDecision=192500 #constraints=18422 450.78/451.07 c nbDecision=193000 #constraints=18449 452.37/452.64 c nbDecision=193500 #constraints=18477 453.87/454.12 c nbDecision=194000 #constraints=18527 455.17/455.41 c nbDecision=194500 #constraints=18545 456.47/456.77 c nbDecision=195000 #constraints=18570 457.67/457.93 c nbDecision=195500 #constraints=18579 458.97/459.22 c nbDecision=196000 #constraints=18597 460.16/460.49 c nbDecision=196500 #constraints=18616 461.67/461.92 c nbDecision=197000 #constraints=18642 462.87/463.19 c nbDecision=197500 #constraints=18655 464.16/464.43 c nbDecision=198000 #constraints=18675 465.76/466.01 c nbDecision=198500 #constraints=18717 467.17/467.41 c nbDecision=199000 #constraints=18756 468.46/468.73 c nbDecision=199500 #constraints=18779 469.86/470.18 c nbDecision=200000 #constraints=18827 471.36/471.63 c nbDecision=200500 #constraints=18847 472.56/472.87 c nbDecision=201000 #constraints=18860 473.96/474.24 c nbDecision=201500 #constraints=18885 475.26/475.51 c nbDecision=202000 #constraints=18902 476.47/476.73 c nbDecision=202500 #constraints=18917 477.77/478.05 c nbDecision=203000 #constraints=18937 479.16/479.48 c nbDecision=203500 #constraints=18959 480.56/480.82 c nbDecision=204000 #constraints=18976 481.86/482.13 c nbDecision=204500 #constraints=18992 482.66/482.96 c restart after 204801 decisions 483.06/483.38 c nbDecision=205000 #constraints=19003 484.76/485.01 c nbDecision=205500 #constraints=19053 486.86/487.14 c nbDecision=206000 #constraints=19112 488.56/488.88 c nbDecision=206500 #constraints=19166 490.36/490.65 c nbDecision=207000 #constraints=19203 492.16/492.40 c nbDecision=207500 #constraints=19250 493.86/494.16 c nbDecision=208000 #constraints=19306 495.55/495.80 c nbDecision=208500 #constraints=19349 497.25/497.55 c nbDecision=209000 #constraints=19389 499.06/499.37 c nbDecision=209500 #constraints=19442 500.55/500.81 c nbDecision=210000 #constraints=19466 502.05/502.37 c nbDecision=210500 #constraints=19505 503.46/503.71 c nbDecision=211000 #constraints=19525 505.06/505.39 c nbDecision=211500 #constraints=19556 506.46/506.71 c nbDecision=212000 #constraints=19573 507.76/508.06 c nbDecision=212500 #constraints=19589 509.66/509.97 c nbDecision=213000 #constraints=19645 511.26/511.60 c nbDecision=213500 #constraints=19680 512.66/512.94 c nbDecision=214000 #constraints=19699 513.85/514.17 c nbDecision=214500 #constraints=19714 515.05/515.37 c nbDecision=215000 #constraints=19726 516.45/516.74 c nbDecision=215500 #constraints=19748 517.76/518.10 c nbDecision=216000 #constraints=19773 519.25/519.59 c nbDecision=216500 #constraints=19799 520.95/521.22 c nbDecision=217000 #constraints=19830 522.35/522.69 c nbDecision=217500 #constraints=19850 524.35/524.62 c nbDecision=218000 #constraints=19904 525.75/526.06 c nbDecision=218500 #constraints=19929 527.55/527.88 c nbDecision=219000 #constraints=19966 529.15/529.48 c nbDecision=219500 #constraints=19998 530.75/531.06 c nbDecision=220000 #constraints=20023 532.25/532.57 c nbDecision=220500 #constraints=20048 533.65/533.96 c nbDecision=221000 #constraints=20064 535.46/535.74 c nbDecision=221500 #constraints=20109 536.85/537.15 c nbDecision=222000 #constraints=20131 538.35/538.62 c nbDecision=222500 #constraints=20153 540.05/540.31 c nbDecision=223000 #constraints=20184 541.35/541.64 c nbDecision=223500 #constraints=20202 542.85/543.14 c nbDecision=224000 #constraints=20221 544.25/544.59 c nbDecision=224500 #constraints=20242 545.65/545.93 c nbDecision=225000 #constraints=20260 547.05/547.36 c nbDecision=225500 #constraints=20285 548.45/548.75 c nbDecision=226000 #constraints=20307 549.85/550.12 c nbDecision=226500 #constraints=20324 551.15/551.42 c nbDecision=227000 #constraints=20337 552.45/552.72 c nbDecision=227500 #constraints=20357 553.84/554.17 c nbDecision=228000 #constraints=20382 555.54/555.87 c nbDecision=228500 #constraints=20412 557.14/557.43 c nbDecision=229000 #constraints=20442 558.74/559.01 c nbDecision=229500 #constraints=20471 560.54/560.88 c nbDecision=230000 #constraints=20512 562.04/562.30 c nbDecision=230500 #constraints=20535 563.44/563.70 c nbDecision=231000 #constraints=20556 564.74/565.05 c nbDecision=231500 #constraints=20578 566.24/566.54 c nbDecision=232000 #constraints=20613 567.74/568.10 c nbDecision=232500 #constraints=20633 569.24/569.57 c nbDecision=233000 #constraints=20657 570.64/570.99 c nbDecision=233500 #constraints=20677 572.14/572.40 c nbDecision=234000 #constraints=20695 573.73/574.04 c nbDecision=234500 #constraints=20729 575.13/575.43 c nbDecision=235000 #constraints=20744 576.63/576.96 c nbDecision=235500 #constraints=20777 578.54/578.80 c nbDecision=236000 #constraints=20809 579.84/580.19 c nbDecision=236500 #constraints=20826 581.34/581.69 c nbDecision=237000 #constraints=20851 582.94/583.24 c nbDecision=237500 #constraints=20885 584.64/584.91 c nbDecision=238000 #constraints=20924 586.04/586.31 c nbDecision=238500 #constraints=20942 587.54/587.87 c nbDecision=239000 #constraints=20969 589.34/589.64 c nbDecision=239500 #constraints=20996 591.14/591.43 c nbDecision=240000 #constraints=21033 592.83/593.11 c nbDecision=240500 #constraints=21064 594.63/594.95 c nbDecision=241000 #constraints=21127 596.33/596.65 c nbDecision=241500 #constraints=21161 597.63/597.96 c nbDecision=242000 #constraints=21184 599.03/599.31 c nbDecision=242500 #constraints=21200 600.43/600.78 c nbDecision=243000 #constraints=21225 601.93/602.27 c nbDecision=243500 #constraints=21244 603.33/603.70 c nbDecision=244000 #constraints=21266 604.93/605.25 c nbDecision=244500 #constraints=21294 606.23/606.56 c nbDecision=245000 #constraints=21310 607.73/608.01 c nbDecision=245500 #constraints=21340 609.03/609.32 c nbDecision=246000 #constraints=21351 610.63/610.93 c nbDecision=246500 #constraints=21388 612.12/612.48 c nbDecision=247000 #constraints=21413 613.53/613.84 c nbDecision=247500 #constraints=21442 615.52/615.86 c nbDecision=248000 #constraints=21487 617.52/617.82 c nbDecision=248500 #constraints=21529 619.22/619.50 c nbDecision=249000 #constraints=21563 620.92/621.23 c nbDecision=249500 #constraints=21592 622.23/622.55 c nbDecision=250000 #constraints=21607 623.62/623.98 c nbDecision=250500 #constraints=21624 625.22/625.57 c nbDecision=251000 #constraints=21645 626.73/627.03 c nbDecision=251500 #constraints=21665 628.13/628.41 c nbDecision=252000 #constraints=21682 629.53/629.89 c nbDecision=252500 #constraints=21704 631.03/631.40 c nbDecision=253000 #constraints=21726 632.52/632.82 c nbDecision=253500 #constraints=21741 634.02/634.32 c nbDecision=254000 #constraints=21763 635.43/635.77 c nbDecision=254500 #constraints=21782 636.92/637.25 c nbDecision=255000 #constraints=21807 638.32/638.61 c nbDecision=255500 #constraints=21830 639.72/640.04 c nbDecision=256000 #constraints=21856 641.52/641.80 c nbDecision=256500 #constraints=21888 643.12/643.48 c nbDecision=257000 #constraints=21910 644.72/645.04 c nbDecision=257500 #constraints=21930 646.31/646.61 c nbDecision=258000 #constraints=21954 647.62/647.99 c nbDecision=258500 #constraints=21968 649.21/649.57 c nbDecision=259000 #constraints=21986 650.71/651.06 c nbDecision=259500 #constraints=22001 652.41/652.77 c nbDecision=260000 #constraints=22027 654.01/654.37 c nbDecision=260500 #constraints=22047 655.61/655.95 c nbDecision=261000 #constraints=22069 657.22/657.57 c nbDecision=261500 #constraints=22114 659.62/659.98 c nbDecision=262000 #constraints=22159 661.22/661.51 c nbDecision=262500 #constraints=22184 662.52/662.85 c nbDecision=263000 #constraints=22197 664.22/664.54 c nbDecision=263500 #constraints=22222 665.62/665.98 c nbDecision=264000 #constraints=22237 667.02/667.33 c nbDecision=264500 #constraints=22251 668.52/668.82 c nbDecision=265000 #constraints=22273 669.92/670.25 c nbDecision=265500 #constraints=22293 671.62/671.95 c nbDecision=266000 #constraints=22321 673.12/673.44 c nbDecision=266500 #constraints=22340 674.51/674.85 c nbDecision=267000 #constraints=22366 675.91/676.28 c nbDecision=267500 #constraints=22385 677.41/677.72 c nbDecision=268000 #constraints=22398 678.91/679.21 c nbDecision=268500 #constraints=22415 680.31/680.66 c nbDecision=269000 #constraints=22431 681.71/682.07 c nbDecision=269500 #constraints=22448 683.41/683.71 c nbDecision=270000 #constraints=22471 684.81/685.11 c nbDecision=270500 #constraints=22485 686.11/686.45 c nbDecision=271000 #constraints=22496 687.91/688.26 c nbDecision=271500 #constraints=22534 689.41/689.74 c nbDecision=272000 #constraints=22551 690.81/691.14 c nbDecision=272500 #constraints=22570 692.31/692.60 c nbDecision=273000 #constraints=22588 693.60/693.98 c nbDecision=273500 #constraints=22602 695.40/695.73 c nbDecision=274000 #constraints=22626 696.81/697.14 c nbDecision=274500 #constraints=22642 698.40/698.76 c nbDecision=275000 #constraints=22665 699.80/700.19 c nbDecision=275500 #constraints=22680 701.30/701.62 c nbDecision=276000 #constraints=22694 702.70/703.04 c nbDecision=276500 #constraints=22709 704.20/704.58 c nbDecision=277000 #constraints=22735 705.80/706.16 c nbDecision=277500 #constraints=22754 707.51/707.83 c nbDecision=278000 #constraints=22783 709.01/709.36 c nbDecision=278500 #constraints=22800 710.41/710.70 c nbDecision=279000 #constraints=22812 711.71/712.07 c nbDecision=279500 #constraints=22827 713.20/713.52 c nbDecision=280000 #constraints=22848 715.00/715.36 c nbDecision=280500 #constraints=22880 716.60/716.92 c nbDecision=281000 #constraints=22897 718.10/718.45 c nbDecision=281500 #constraints=22916 719.90/720.27 c nbDecision=282000 #constraints=22939 721.50/721.88 c nbDecision=282500 #constraints=22963 722.90/723.23 c nbDecision=283000 #constraints=22978 724.80/725.15 c nbDecision=283500 #constraints=23012 726.50/726.87 c nbDecision=284000 #constraints=23078 728.30/728.67 c nbDecision=284500 #constraints=23101 729.90/730.28 c nbDecision=285000 #constraints=23120 731.20/731.58 c nbDecision=285500 #constraints=23131 732.89/733.25 c nbDecision=286000 #constraints=23154 734.51/734.83 c nbDecision=286500 #constraints=23186 736.20/736.52 c nbDecision=287000 #constraints=23215 737.60/737.99 c nbDecision=287500 #constraints=23233 739.10/739.44 c nbDecision=288000 #constraints=23253 740.80/741.16 c nbDecision=288500 #constraints=23296 742.60/742.95 c nbDecision=289000 #constraints=23326 744.60/744.93 c nbDecision=289500 #constraints=23364 747.00/747.36 c nbDecision=290000 #constraints=23422 748.80/749.12 c nbDecision=290500 #constraints=23443 750.70/751.06 c nbDecision=291000 #constraints=23478 752.29/752.66 c nbDecision=291500 #constraints=23511 754.09/754.47 c nbDecision=292000 #constraints=23534 755.59/755.97 c nbDecision=292500 #constraints=23548 757.09/757.44 c nbDecision=293000 #constraints=23564 758.60/758.98 c nbDecision=293500 #constraints=23584 759.99/760.38 c nbDecision=294000 #constraints=23596 761.69/762.01 c nbDecision=294500 #constraints=23632 763.29/763.64 c nbDecision=295000 #constraints=23652 764.69/765.02 c nbDecision=295500 #constraints=23662 766.29/766.62 c nbDecision=296000 #constraints=23686 767.69/768.05 c nbDecision=296500 #constraints=23701 769.09/769.47 c nbDecision=297000 #constraints=23715 770.69/771.02 c nbDecision=297500 #constraints=23734 772.39/772.71 c nbDecision=298000 #constraints=23767 773.79/774.15 c nbDecision=298500 #constraints=23781 775.49/775.80 c nbDecision=299000 #constraints=23801 777.19/777.55 c nbDecision=299500 #constraints=23836 778.79/779.11 c nbDecision=300000 #constraints=23853 780.79/781.12 c nbDecision=300500 #constraints=23892 782.48/782.81 c nbDecision=301000 #constraints=23935 785.28/785.65 c nbDecision=301500 #constraints=23993 787.48/787.84 c nbDecision=302000 #constraints=24038 789.68/790.08 c nbDecision=302500 #constraints=24078 791.58/791.90 c nbDecision=303000 #constraints=24118 793.78/794.12 c nbDecision=303500 #constraints=24173 796.18/796.52 c nbDecision=304000 #constraints=24224 797.68/798.02 c nbDecision=304500 #constraints=24245 799.38/799.72 c nbDecision=305000 #constraints=24292 801.78/802.11 c nbDecision=305500 #constraints=24345 803.38/803.74 c nbDecision=306000 #constraints=24367 804.78/805.11 c nbDecision=306500 #constraints=24392 807.18/807.51 c nbDecision=307000 #constraints=24452 808.88/809.24 c nbDecision=307500 #constraints=24489 810.29/810.69 c nbDecision=308000 #constraints=24523 812.08/812.40 c nbDecision=308500 #constraints=24558 813.88/814.21 c nbDecision=309000 #constraints=24597 815.78/816.13 c nbDecision=309500 #constraints=24645 817.78/818.12 c nbDecision=310000 #constraints=24684 819.28/819.69 c nbDecision=310500 #constraints=24715 820.88/821.29 c nbDecision=311000 #constraints=24734 822.48/822.85 c nbDecision=311500 #constraints=24759 824.38/824.73 c nbDecision=312000 #constraints=24797 825.78/826.18 c nbDecision=312500 #constraints=24811 827.17/827.57 c nbDecision=313000 #constraints=24839 828.87/829.24 c nbDecision=313500 #constraints=24874 830.87/831.23 c nbDecision=314000 #constraints=24913 832.57/832.91 c nbDecision=314500 #constraints=24939 834.47/834.87 c nbDecision=315000 #constraints=24989 835.97/836.36 c nbDecision=315500 #constraints=25005 837.67/838.01 c nbDecision=316000 #constraints=25031 839.27/839.61 c nbDecision=316500 #constraints=25057 840.77/841.18 c nbDecision=317000 #constraints=25084 842.37/842.70 c nbDecision=317500 #constraints=25108 844.06/844.42 c nbDecision=318000 #constraints=25144 845.47/845.82 c nbDecision=318500 #constraints=25166 847.46/847.88 c nbDecision=319000 #constraints=25198 849.66/850.06 c nbDecision=319500 #constraints=25229 851.27/851.63 c nbDecision=320000 #constraints=25245 853.37/853.71 c nbDecision=320500 #constraints=25282 855.27/855.62 c nbDecision=321000 #constraints=25314 857.17/857.53 c nbDecision=321500 #constraints=25348 858.97/859.34 c nbDecision=322000 #constraints=25371 860.97/861.34 c nbDecision=322500 #constraints=25417 863.17/863.56 c nbDecision=323000 #constraints=25444 865.56/865.91 c nbDecision=323500 #constraints=25496 867.96/868.35 c nbDecision=324000 #constraints=25539 870.16/870.52 c nbDecision=324500 #constraints=25576 872.46/872.83 c nbDecision=325000 #constraints=25614 874.36/874.76 c nbDecision=325500 #constraints=25644 875.96/876.35 c nbDecision=326000 #constraints=25666 877.56/877.96 c nbDecision=326500 #constraints=25687 879.16/879.53 c nbDecision=327000 #constraints=25711 880.86/881.20 c nbDecision=327500 #constraints=25742 882.36/882.73 c nbDecision=328000 #constraints=25763 884.16/884.56 c nbDecision=328500 #constraints=25787 885.96/886.32 c nbDecision=329000 #constraints=25814 887.46/887.85 c nbDecision=329500 #constraints=25834 888.86/889.23 c nbDecision=330000 #constraints=25847 890.36/890.78 c nbDecision=330500 #constraints=25867 891.96/892.34 c nbDecision=331000 #constraints=25885 893.66/894.07 c nbDecision=331500 #constraints=25911 895.26/895.64 c nbDecision=332000 #constraints=25932 896.95/897.34 c nbDecision=332500 #constraints=25957 898.55/898.95 c nbDecision=333000 #constraints=25974 900.25/900.63 c nbDecision=333500 #constraints=25993 901.66/902.03 c nbDecision=334000 #constraints=26006 903.25/903.68 c nbDecision=334500 #constraints=26025 904.86/905.26 c nbDecision=335000 #constraints=26044 906.55/906.99 c nbDecision=335500 #constraints=26068 908.15/908.50 c nbDecision=336000 #constraints=26084 909.55/909.98 c nbDecision=336500 #constraints=26097 911.35/911.73 c nbDecision=337000 #constraints=26121 913.15/913.51 c nbDecision=337500 #constraints=26147 914.55/914.91 c nbDecision=338000 #constraints=26159 916.05/916.43 c nbDecision=338500 #constraints=26186 917.55/917.93 c nbDecision=339000 #constraints=26205 918.95/919.32 c nbDecision=339500 #constraints=26220 920.65/921.05 c nbDecision=340000 #constraints=26244 922.25/922.68 c nbDecision=340500 #constraints=26267 923.85/924.24 c nbDecision=341000 #constraints=26290 925.35/925.73 c nbDecision=341500 #constraints=26305 926.65/927.07 c nbDecision=342000 #constraints=26318 928.25/928.67 c nbDecision=342500 #constraints=26336 929.85/930.27 c nbDecision=343000 #constraints=26354 931.75/932.17 c nbDecision=343500 #constraints=26387 933.35/933.78 c nbDecision=344000 #constraints=26405 935.04/935.43 c nbDecision=344500 #constraints=26425 937.04/937.45 c nbDecision=345000 #constraints=26454 938.95/939.31 c nbDecision=345500 #constraints=26482 940.64/941.08 c nbDecision=346000 #constraints=26501 942.35/942.74 c nbDecision=346500 #constraints=26518 943.94/944.36 c nbDecision=347000 #constraints=26541 945.64/946.01 c nbDecision=347500 #constraints=26568 947.14/947.58 c nbDecision=348000 #constraints=26591 948.75/949.18 c nbDecision=348500 #constraints=26617 950.54/950.91 c nbDecision=349000 #constraints=26642 952.25/952.63 c nbDecision=349500 #constraints=26667 953.64/954.09 c nbDecision=350000 #constraints=26684 955.64/956.07 c nbDecision=350500 #constraints=26708 957.74/958.13 c nbDecision=351000 #constraints=26740 959.74/960.11 c nbDecision=351500 #constraints=26783 962.24/962.68 c nbDecision=352000 #constraints=26820 964.74/965.11 c nbDecision=352500 #constraints=26855 967.93/968.34 c nbDecision=353000 #constraints=26906 969.63/970.02 c nbDecision=353500 #constraints=26924 971.83/972.30 c nbDecision=354000 #constraints=26966 973.53/973.95 c nbDecision=354500 #constraints=26989 975.64/976.00 c nbDecision=355000 #constraints=27029 977.74/978.18 c nbDecision=355500 #constraints=27064 980.64/981.08 c nbDecision=356000 #constraints=27109 983.34/983.72 c nbDecision=356500 #constraints=27179 985.14/985.59 c nbDecision=357000 #constraints=27219 988.13/988.59 c nbDecision=357500 #constraints=27268 990.43/990.87 c nbDecision=358000 #constraints=27304 992.53/992.97 c nbDecision=358500 #constraints=27345 994.63/995.01 c nbDecision=359000 #constraints=27379 996.33/996.71 c nbDecision=359500 #constraints=27423 998.63/999.01 c nbDecision=360000 #constraints=27478 1001.12/1001.52 c nbDecision=360500 #constraints=27516 1002.63/1003.06 c nbDecision=361000 #constraints=27562 1004.94/1005.38 c nbDecision=361500 #constraints=27619 1007.83/1008.29 c nbDecision=362000 #constraints=27665 1010.33/1010.70 c nbDecision=362500 #constraints=27699 1012.13/1012.50 c nbDecision=363000 #constraints=27719 1013.83/1014.29 c nbDecision=363500 #constraints=27740 1015.63/1016.03 c nbDecision=364000 #constraints=27765 1017.33/1017.75 c nbDecision=364500 #constraints=27796 1019.13/1019.57 c nbDecision=365000 #constraints=27818 1020.92/1021.36 c nbDecision=365500 #constraints=27839 1022.63/1023.08 c nbDecision=366000 #constraints=27856 1024.12/1024.58 c nbDecision=366500 #constraints=27872 1025.83/1026.25 c nbDecision=367000 #constraints=27888 1028.03/1028.48 c nbDecision=367500 #constraints=27930 1029.62/1030.08 c nbDecision=368000 #constraints=27946 1031.62/1032.09 c nbDecision=368500 #constraints=27977 1033.22/1033.68 c nbDecision=369000 #constraints=27997 1034.82/1035.24 c nbDecision=369500 #constraints=28014 1036.72/1037.17 c nbDecision=370000 #constraints=28046 1038.42/1038.86 c nbDecision=370500 #constraints=28062 1040.12/1040.55 c nbDecision=371000 #constraints=28078 1042.42/1042.85 c nbDecision=371500 #constraints=28112 1044.53/1044.93 c nbDecision=372000 #constraints=28132 1046.73/1047.14 c nbDecision=372500 #constraints=28165 1049.12/1049.56 c nbDecision=373000 #constraints=28202 1050.92/1051.36 c nbDecision=373500 #constraints=28226 1052.42/1052.86 c nbDecision=374000 #constraints=28240 1054.02/1054.46 c nbDecision=374500 #constraints=28275 1056.72/1057.11 c nbDecision=375000 #constraints=28315 1059.32/1059.74 c nbDecision=375500 #constraints=28362 1061.91/1062.39 c nbDecision=376000 #constraints=28401 1064.21/1064.62 c nbDecision=376500 #constraints=28437 1066.11/1066.58 c nbDecision=377000 #constraints=28484 1068.91/1069.35 c nbDecision=377500 #constraints=28537 1071.21/1071.65 c nbDecision=378000 #constraints=28595 1073.31/1073.79 c nbDecision=378500 #constraints=28638 1075.00/1075.47 c nbDecision=379000 #constraints=28663 1077.41/1077.86 c nbDecision=379500 #constraints=28702 1079.91/1080.38 c nbDecision=380000 #constraints=28767 1082.31/1082.76 c nbDecision=380500 #constraints=28804 1084.61/1085.00 c nbDecision=381000 #constraints=28838 1086.91/1087.36 c nbDecision=381500 #constraints=28870 1089.11/1089.53 c nbDecision=382000 #constraints=28912 1091.71/1092.10 c nbDecision=382500 #constraints=28947 1093.90/1094.33 c nbDecision=383000 #constraints=28982 1095.50/1095.95 c nbDecision=383500 #constraints=28996 1098.00/1098.42 c nbDecision=384000 #constraints=29049 1100.30/1100.79 c nbDecision=384500 #constraints=29081 1102.80/1103.21 c nbDecision=385000 #constraints=29114 1105.00/1105.50 c nbDecision=385500 #constraints=29132 1108.30/1108.77 c nbDecision=386000 #constraints=29198 1110.10/1110.50 c nbDecision=386500 #constraints=29225 1112.49/1112.93 c nbDecision=387000 #constraints=29285 1114.69/1115.15 c nbDecision=387500 #constraints=29331 1116.40/1116.83 c nbDecision=388000 #constraints=29360 1118.50/1118.90 c nbDecision=388500 #constraints=29382 1120.60/1121.03 c nbDecision=389000 #constraints=29407 1122.40/1122.86 c nbDecision=389500 #constraints=29430 1124.30/1124.79 c nbDecision=390000 #constraints=29458 1126.20/1126.60 c nbDecision=390500 #constraints=29494 1127.50/1127.98 c nbDecision=391000 #constraints=29507 1129.40/1129.83 c nbDecision=391500 #constraints=29543 1131.40/1131.87 c nbDecision=392000 #constraints=29563 1133.49/1133.98 c nbDecision=392500 #constraints=29586 1135.89/1136.39 c nbDecision=393000 #constraints=29619 1137.89/1138.32 c nbDecision=393500 #constraints=29640 1140.30/1140.72 c nbDecision=394000 #constraints=29682 1142.29/1142.74 c nbDecision=394500 #constraints=29706 1143.99/1144.47 c nbDecision=395000 #constraints=29727 1146.09/1146.50 c nbDecision=395500 #constraints=29752 1147.89/1148.38 c nbDecision=396000 #constraints=29771 1149.49/1149.99 c nbDecision=396500 #constraints=29789 1151.39/1151.85 c nbDecision=397000 #constraints=29810 1152.99/1153.44 c nbDecision=397500 #constraints=29825 1154.79/1155.28 c nbDecision=398000 #constraints=29851 1157.59/1158.05 c nbDecision=398500 #constraints=29895 1160.09/1160.54 c nbDecision=399000 #constraints=29928 1161.88/1162.38 c nbDecision=399500 #constraints=29947 1163.58/1164.00 c nbDecision=400000 #constraints=29967 1165.28/1165.77 c nbDecision=400500 #constraints=29990 1166.98/1167.42 c nbDecision=401000 #constraints=30006 1168.58/1169.05 c nbDecision=401500 #constraints=30024 1170.08/1170.57 c nbDecision=402000 #constraints=30044 1172.08/1172.50 c nbDecision=402500 #constraints=30064 1174.58/1175.03 c nbDecision=403000 #constraints=30097 1176.48/1176.94 c nbDecision=403500 #constraints=30125 1178.28/1178.74 c nbDecision=404000 #constraints=30142 1180.18/1180.60 c nbDecision=404500 #constraints=30162 1181.57/1182.04 c nbDecision=405000 #constraints=30172 1183.37/1183.88 c nbDecision=405500 #constraints=30200 1185.28/1185.78 c nbDecision=406000 #constraints=30229 1186.97/1187.42 c nbDecision=406500 #constraints=30241 1188.58/1189.03 c nbDecision=407000 #constraints=30260 1190.07/1190.60 c nbDecision=407500 #constraints=30273 1192.08/1192.53 c nbDecision=408000 #constraints=30295 1193.68/1194.16 c nbDecision=408500 #constraints=30309 1195.38/1195.88 c nbDecision=409000 #constraints=30324 1197.08/1197.58 c nbDecision=409500 #constraints=30342 1197.48/1197.94 c restart after 409601 decisions 1198.48/1198.98 c nbDecision=410000 #constraints=30348 1201.18/1201.60 c nbDecision=410500 #constraints=30382 1203.87/1204.33 c nbDecision=411000 #constraints=30423 1206.67/1207.13 c nbDecision=411500 #constraints=30459 1208.77/1209.29 c nbDecision=412000 #constraints=30483 1211.37/1211.88 c nbDecision=412500 #constraints=30522 1213.47/1213.95 c nbDecision=413000 #constraints=30543 1216.07/1216.58 c nbDecision=413500 #constraints=30577 1218.07/1218.52 c nbDecision=414000 #constraints=30609 1220.57/1221.05 c nbDecision=414500 #constraints=30636 1223.06/1223.50 c nbDecision=415000 #constraints=30671 1225.26/1225.73 c nbDecision=415500 #constraints=30697 1226.96/1227.49 c nbDecision=416000 #constraints=30717 1228.47/1228.99 c nbDecision=416500 #constraints=30728 1230.17/1230.67 c nbDecision=417000 #constraints=30744 1231.97/1232.41 c nbDecision=417500 #constraints=30765 1233.56/1234.09 c nbDecision=418000 #constraints=30779 1236.66/1237.13 c nbDecision=418500 #constraints=30828 1239.46/1239.94 c nbDecision=419000 #constraints=30877 1242.36/1242.84 c nbDecision=419500 #constraints=30927 1244.86/1245.36 c nbDecision=420000 #constraints=30963 1246.76/1247.25 c nbDecision=420500 #constraints=30981 1248.86/1249.37 c nbDecision=421000 #constraints=31008 1251.16/1251.63 c nbDecision=421500 #constraints=31044 1253.75/1254.25 c nbDecision=422000 #constraints=31083 1255.77/1256.20 c nbDecision=422500 #constraints=31110 1257.46/1257.99 c nbDecision=423000 #constraints=31138 1259.26/1259.79 c nbDecision=423500 #constraints=31162 1260.76/1261.24 c nbDecision=424000 #constraints=31174 1262.36/1262.89 c nbDecision=424500 #constraints=31194 1264.06/1264.59 c nbDecision=425000 #constraints=31214 1265.76/1266.28 c nbDecision=425500 #constraints=31233 1268.06/1268.52 c nbDecision=426000 #constraints=31265 1270.16/1270.65 c nbDecision=426500 #constraints=31293 1272.16/1272.62 c nbDecision=427000 #constraints=31324 1274.25/1274.78 c nbDecision=427500 #constraints=31351 1276.15/1276.61 c nbDecision=428000 #constraints=31368 1277.95/1278.46 c nbDecision=428500 #constraints=31386 1279.96/1280.49 c nbDecision=429000 #constraints=31421 1281.95/1282.49 c nbDecision=429500 #constraints=31441 1283.75/1284.24 c nbDecision=430000 #constraints=31468 1285.65/1286.12 c nbDecision=430500 #constraints=31489 1288.35/1288.86 c nbDecision=431000 #constraints=31534 1290.24/1290.75 c nbDecision=431500 #constraints=31560 1292.54/1293.03 c nbDecision=432000 #constraints=31592 1294.64/1295.18 c nbDecision=432500 #constraints=31618 1296.14/1296.68 c nbDecision=433000 #constraints=31629 1298.35/1298.86 c nbDecision=433500 #constraints=31662 1299.95/1300.45 c nbDecision=434000 #constraints=31675 1301.95/1302.44 c nbDecision=434500 #constraints=31698 1303.65/1304.19 c nbDecision=435000 #constraints=31714 1305.65/1306.12 c nbDecision=435500 #constraints=31735 1307.15/1307.60 c nbDecision=436000 #constraints=31746 1309.45/1309.96 c nbDecision=436500 #constraints=31775 1311.14/1311.66 c nbDecision=437000 #constraints=31793 1312.85/1313.38 c nbDecision=437500 #constraints=31809 1314.74/1315.26 c nbDecision=438000 #constraints=31835 1316.54/1317.04 c nbDecision=438500 #constraints=31860 1318.34/1318.81 c nbDecision=439000 #constraints=31883 1319.94/1320.44 c nbDecision=439500 #constraints=31907 1321.64/1322.12 c nbDecision=440000 #constraints=31921 1323.44/1323.95 c nbDecision=440500 #constraints=31938 1325.24/1325.78 c nbDecision=441000 #constraints=31956 1327.34/1327.80 c nbDecision=441500 #constraints=31978 1329.94/1330.41 c nbDecision=442000 #constraints=32027 1331.93/1332.42 c nbDecision=442500 #constraints=32058 1333.84/1334.31 c nbDecision=443000 #constraints=32083 1336.13/1336.66 c nbDecision=443500 #constraints=32118 1338.24/1338.79 c nbDecision=444000 #constraints=32147 1340.13/1340.66 c nbDecision=444500 #constraints=32170 1342.23/1342.70 c nbDecision=445000 #constraints=32201 1344.03/1344.53 c nbDecision=445500 #constraints=32222 1345.63/1346.18 c nbDecision=446000 #constraints=32236 1347.63/1348.10 c nbDecision=446500 #constraints=32260 1349.33/1349.90 c nbDecision=447000 #constraints=32283 1351.44/1351.92 c nbDecision=447500 #constraints=32317 1353.93/1354.43 c nbDecision=448000 #constraints=32345 1356.13/1356.64 c nbDecision=448500 #constraints=32367 1358.53/1359.00 c nbDecision=449000 #constraints=32394 1360.83/1361.34 c nbDecision=449500 #constraints=32428 1362.72/1363.27 c nbDecision=450000 #constraints=32447 1365.03/1365.58 c nbDecision=450500 #constraints=32478 1366.63/1367.11 c nbDecision=451000 #constraints=32488 1368.63/1369.19 c nbDecision=451500 #constraints=32512 1370.93/1371.49 c nbDecision=452000 #constraints=32540 1372.73/1373.26 c nbDecision=452500 #constraints=32555 1374.53/1375.05 c nbDecision=453000 #constraints=32573 1376.72/1377.26 c nbDecision=453500 #constraints=32600 1379.02/1379.57 c nbDecision=454000 #constraints=32625 1381.02/1381.51 c nbDecision=454500 #constraints=32645 1382.92/1383.46 c nbDecision=455000 #constraints=32669 1385.32/1385.81 c nbDecision=455500 #constraints=32712 1386.83/1387.40 c nbDecision=456000 #constraints=32728 1388.92/1389.43 c nbDecision=456500 #constraints=32748 1391.12/1391.63 c nbDecision=457000 #constraints=32770 1393.13/1393.61 c nbDecision=457500 #constraints=32790 1394.92/1395.48 c nbDecision=458000 #constraints=32810 1397.32/1397.82 c nbDecision=458500 #constraints=32838 1399.42/1399.99 c nbDecision=459000 #constraints=32873 1401.42/1401.97 c nbDecision=459500 #constraints=32890 1403.22/1403.70 c nbDecision=460000 #constraints=32906 1404.92/1405.42 c nbDecision=460500 #constraints=32930 1406.91/1407.40 c nbDecision=461000 #constraints=32946 1408.41/1409.00 c nbDecision=461500 #constraints=32957 1410.31/1410.80 c nbDecision=462000 #constraints=32973 1412.01/1412.59 c nbDecision=462500 #constraints=32992 1413.41/1413.96 c nbDecision=463000 #constraints=33000 1415.31/1415.82 c nbDecision=463500 #constraints=33017 1416.81/1417.32 c nbDecision=464000 #constraints=33028 1418.71/1419.20 c nbDecision=464500 #constraints=33051 1420.51/1421.10 c nbDecision=465000 #constraints=33066 1422.62/1423.12 c nbDecision=465500 #constraints=33087 1424.41/1424.91 c nbDecision=466000 #constraints=33103 1426.71/1427.28 c nbDecision=466500 #constraints=33129 1428.91/1429.47 c nbDecision=467000 #constraints=33166 1430.62/1431.20 c nbDecision=467500 #constraints=33183 1432.51/1433.06 c nbDecision=468000 #constraints=33212 1434.21/1434.78 c nbDecision=468500 #constraints=33229 1435.91/1436.48 c nbDecision=469000 #constraints=33242 1437.81/1438.31 c nbDecision=469500 #constraints=33259 1439.61/1440.14 c nbDecision=470000 #constraints=33275 1441.61/1442.16 c nbDecision=470500 #constraints=33304 1443.71/1444.21 c nbDecision=471000 #constraints=33323 1445.60/1446.18 c nbDecision=471500 #constraints=33341 1447.50/1448.04 c nbDecision=472000 #constraints=33362 1449.31/1449.90 c nbDecision=472500 #constraints=33378 1451.30/1451.81 c nbDecision=473000 #constraints=33408 1452.90/1453.48 c nbDecision=473500 #constraints=33421 1454.90/1455.47 c nbDecision=474000 #constraints=33442 1456.70/1457.26 c nbDecision=474500 #constraints=33458 1458.70/1459.28 c nbDecision=475000 #constraints=33483 1461.10/1461.68 c nbDecision=475500 #constraints=33511 1463.00/1463.53 c nbDecision=476000 #constraints=33534 1464.90/1465.45 c nbDecision=476500 #constraints=33557 1466.60/1467.15 c nbDecision=477000 #constraints=33570 1468.50/1469.01 c nbDecision=477500 #constraints=33583 1470.60/1471.16 c nbDecision=478000 #constraints=33602 1472.40/1472.99 c nbDecision=478500 #constraints=33618 1474.29/1474.88 c nbDecision=479000 #constraints=33635 1475.89/1476.46 c nbDecision=479500 #constraints=33652 1477.39/1477.95 c nbDecision=480000 #constraints=33662 1479.39/1479.90 c nbDecision=480500 #constraints=33686 1480.79/1481.34 c nbDecision=481000 #constraints=33696 1482.79/1483.32 c nbDecision=481500 #constraints=33722 1484.69/1485.29 c nbDecision=482000 #constraints=33757 1487.49/1488.08 c nbDecision=482500 #constraints=33784 1489.59/1490.17 c nbDecision=483000 #constraints=33802 1491.69/1492.27 c nbDecision=483500 #constraints=33822 1494.69/1495.23 c nbDecision=484000 #constraints=33860 1496.99/1497.59 c nbDecision=484500 #constraints=33894 1498.99/1499.58 c nbDecision=485000 #constraints=33911 1501.49/1502.03 c nbDecision=485500 #constraints=33938 1503.99/1504.56 c nbDecision=486000 #constraints=33975 1505.99/1506.54 c nbDecision=486500 #constraints=33995 1508.49/1509.05 c nbDecision=487000 #constraints=34022 1510.69/1511.27 c nbDecision=487500 #constraints=34055 1512.69/1513.21 c nbDecision=488000 #constraints=34072 1514.88/1515.44 c nbDecision=488500 #constraints=34101 1516.98/1517.57 c nbDecision=489000 #constraints=34123 1519.28/1519.86 c nbDecision=489500 #constraints=34156 1521.79/1522.34 c nbDecision=490000 #constraints=34189 1524.28/1524.82 c nbDecision=490500 #constraints=34217 1526.68/1527.23 c nbDecision=491000 #constraints=34241 1528.78/1529.35 c nbDecision=491500 #constraints=34261 1530.88/1531.43 c nbDecision=492000 #constraints=34282 1532.98/1533.53 c nbDecision=492500 #constraints=34310 1534.78/1535.35 c nbDecision=493000 #constraints=34331 1536.48/1537.06 c nbDecision=493500 #constraints=34353 1538.28/1538.84 c nbDecision=494000 #constraints=34370 1540.07/1540.70 c nbDecision=494500 #constraints=34392 1542.37/1542.97 c nbDecision=495000 #constraints=34415 1545.17/1545.71 c nbDecision=495500 #constraints=34449 1547.18/1547.74 c nbDecision=496000 #constraints=34468 1549.17/1549.77 c nbDecision=496500 #constraints=34487 1551.08/1551.64 c nbDecision=497000 #constraints=34503 1552.98/1553.55 c nbDecision=497500 #constraints=34523 1555.08/1555.68 c nbDecision=498000 #constraints=34556 1557.08/1557.65 c nbDecision=498500 #constraints=34575 1559.18/1559.75 c nbDecision=499000 #constraints=34593 1561.18/1561.74 c nbDecision=499500 #constraints=34610 1562.97/1563.53 c nbDecision=500000 #constraints=34631 1565.07/1565.65 c nbDecision=500500 #constraints=34655 1567.17/1567.77 c nbDecision=501000 #constraints=34672 1569.27/1569.86 c nbDecision=501500 #constraints=34694 1570.87/1571.47 c nbDecision=502000 #constraints=34707 1572.47/1573.08 c nbDecision=502500 #constraints=34718 1574.07/1574.62 c nbDecision=503000 #constraints=34733 1576.67/1577.27 c nbDecision=503500 #constraints=34768 1578.57/1579.15 c nbDecision=504000 #constraints=34785 1580.37/1580.92 c nbDecision=504500 #constraints=34800 1582.17/1582.72 c nbDecision=505000 #constraints=34815 1584.17/1584.76 c nbDecision=505500 #constraints=34847 1585.86/1586.46 c nbDecision=506000 #constraints=34859 1587.46/1588.08 c nbDecision=506500 #constraints=34871 1589.06/1589.67 c nbDecision=507000 #constraints=34882 1590.96/1591.58 c nbDecision=507500 #constraints=34899 1592.56/1593.14 c nbDecision=508000 #constraints=34909 1594.16/1594.79 c nbDecision=508500 #constraints=34922 1596.06/1596.60 c nbDecision=509000 #constraints=34944 1597.86/1598.41 c nbDecision=509500 #constraints=34958 1599.96/1600.54 c nbDecision=510000 #constraints=34976 1601.96/1602.56 c nbDecision=510500 #constraints=35001 1603.86/1604.41 c nbDecision=511000 #constraints=35017 1605.46/1606.04 c nbDecision=511500 #constraints=35038 1607.15/1607.76 c nbDecision=512000 #constraints=35052 1609.05/1609.61 c nbDecision=512500 #constraints=35068 1610.96/1611.57 c nbDecision=513000 #constraints=35085 1613.06/1613.62 c nbDecision=513500 #constraints=35109 1614.96/1615.54 c nbDecision=514000 #constraints=35131 1616.76/1617.39 c nbDecision=514500 #constraints=35153 1618.56/1619.19 c nbDecision=515000 #constraints=35171 1620.46/1621.03 c nbDecision=515500 #constraints=35193 1623.06/1623.64 c nbDecision=516000 #constraints=35223 1625.16/1625.73 c nbDecision=516500 #constraints=35240 1626.76/1627.36 c nbDecision=517000 #constraints=35256 1628.56/1629.16 c nbDecision=517500 #constraints=35269 1630.25/1630.88 c nbDecision=518000 #constraints=35283 1632.15/1632.78 c nbDecision=518500 #constraints=35298 1633.95/1634.57 c nbDecision=519000 #constraints=35319 1635.95/1636.54 c nbDecision=519500 #constraints=35336 1637.65/1638.21 c nbDecision=520000 #constraints=35351 1639.34/1639.93 c nbDecision=520500 #constraints=35363 1641.44/1642.02 c nbDecision=521000 #constraints=35383 1643.86/1644.44 c nbDecision=521500 #constraints=35408 1646.05/1646.67 c nbDecision=522000 #constraints=35429 1647.95/1648.54 c nbDecision=522500 #constraints=35449 1650.45/1651.04 c nbDecision=523000 #constraints=35481 1652.55/1653.19 c nbDecision=523500 #constraints=35503 1654.15/1654.75 c nbDecision=524000 #constraints=35513 1656.14/1656.74 c nbDecision=524500 #constraints=35531 1658.44/1659.06 c nbDecision=525000 #constraints=35553 1660.34/1660.96 c nbDecision=525500 #constraints=35568 1662.44/1663.00 c nbDecision=526000 #constraints=35585 1664.14/1664.74 c nbDecision=526500 #constraints=35603 1666.04/1666.61 c nbDecision=527000 #constraints=35623 1667.84/1668.47 c nbDecision=527500 #constraints=35638 1669.83/1670.41 c nbDecision=528000 #constraints=35657 1671.44/1672.08 c nbDecision=528500 #constraints=35669 1673.13/1673.73 c nbDecision=529000 #constraints=35684 1675.34/1675.97 c nbDecision=529500 #constraints=35705 1677.64/1678.22 c nbDecision=530000 #constraints=35737 1679.64/1680.23 c nbDecision=530500 #constraints=35756 1681.54/1682.13 c nbDecision=531000 #constraints=35769 1683.34/1684.00 c nbDecision=531500 #constraints=35784 1684.84/1685.49 c nbDecision=532000 #constraints=35793 1686.64/1687.24 c nbDecision=532500 #constraints=35804 1689.14/1689.75 c nbDecision=533000 #constraints=35833 1691.04/1691.63 c nbDecision=533500 #constraints=35848 1693.14/1693.77 c nbDecision=534000 #constraints=35871 1694.83/1695.47 c nbDecision=534500 #constraints=35885 1696.93/1697.50 c nbDecision=535000 #constraints=35903 1698.73/1699.36 c nbDecision=535500 #constraints=35926 1700.73/1701.34 c nbDecision=536000 #constraints=35948 1702.43/1703.08 c nbDecision=536500 #constraints=35961 1704.53/1705.15 c nbDecision=537000 #constraints=35987 1706.23/1706.85 c nbDecision=537500 #constraints=35999 1708.23/1708.89 c nbDecision=538000 #constraints=36020 1710.12/1710.79 c nbDecision=538500 #constraints=36036 1712.42/1713.00 c nbDecision=539000 #constraints=36056 1714.22/1714.90 c nbDecision=539500 #constraints=36071 1716.32/1716.93 c nbDecision=540000 #constraints=36094 1718.23/1718.83 c nbDecision=540500 #constraints=36113 1720.13/1720.75 c nbDecision=541000 #constraints=36129 1722.13/1722.76 c nbDecision=541500 #constraints=36152 1723.93/1724.55 c nbDecision=542000 #constraints=36167 1725.62/1726.29 c nbDecision=542500 #constraints=36186 1727.43/1728.04 c nbDecision=543000 #constraints=36201 1729.92/1730.52 c nbDecision=543500 #constraints=36227 1731.93/1732.58 c nbDecision=544000 #constraints=36246 1733.82/1734.42 c nbDecision=544500 #constraints=36260 1735.82/1736.40 c nbDecision=545000 #constraints=36280 1737.52/1738.16 c nbDecision=545500 #constraints=36293 1739.82/1740.46 c nbDecision=546000 #constraints=36316 1741.72/1742.33 c nbDecision=546500 #constraints=36333 1743.82/1744.46 c nbDecision=547000 #constraints=36359 1745.62/1746.20 c nbDecision=547500 #constraints=36377 1747.71/1748.32 c nbDecision=548000 #constraints=36404 1749.42/1750.07 c nbDecision=548500 #constraints=36420 1751.21/1751.85 c nbDecision=549000 #constraints=36442 1752.91/1753.58 c nbDecision=549500 #constraints=36462 1754.61/1755.28 c nbDecision=550000 #constraints=36476 1757.02/1757.60 c nbDecision=550500 #constraints=36497 1758.72/1759.33 c nbDecision=551000 #constraints=36509 1760.72/1761.36 c nbDecision=551500 #constraints=36527 1762.62/1763.24 c nbDecision=552000 #constraints=36542 1764.71/1765.34 c nbDecision=552500 #constraints=36567 1766.61/1767.23 c nbDecision=553000 #constraints=36581 1768.51/1769.11 c nbDecision=553500 #constraints=36600 1770.31/1770.96 c nbDecision=554000 #constraints=36622 1772.21/1772.80 c nbDecision=554500 #constraints=36635 1773.91/1774.56 c nbDecision=555000 #constraints=36648 1775.71/1776.36 c nbDecision=555500 #constraints=36660 1777.91/1778.53 c nbDecision=556000 #constraints=36686 1779.80/1780.49 c nbDecision=556500 #constraints=36702 1781.80/1782.41 c nbDecision=557000 #constraints=36719 1783.80/1784.47 c nbDecision=557500 #constraints=36736 1785.40/1786.02 c nbDecision=558000 #constraints=36751 1787.00/1787.70 c nbDecision=558500 #constraints=36763 1788.90/1789.57 c nbDecision=559000 #constraints=36780 1790.60/1791.24 c nbDecision=559500 #constraints=36795 1792.20/1792.84 c nbDecision=560000 #constraints=36810 1794.60/1795.21 c nbDecision=560500 #constraints=36836 1796.40/1797.02 c nbDecision=561000 #constraints=36852 1798.10/1798.75 c nbDecision=561500 #constraints=36870 1800.01/1800.61 Received signal 15 1800.01/1800.70 1800.01/1800.70 s UNKNOWN 1800.01/1800.70 1800.01/1800.70 c user time= 1799.5 s 1800.01/1800.70 c system time= 0.619905 s 1800.01/1800.70 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-356985-1176850586 -o ROOT/results/node2/solver-356985-1176850586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356985-1176850586/instance-356985-1176850586.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: 1.00 0.99 0.98 3/77 13146 /proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=1620 CPUtime=0 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161096396 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 405 175 126 317 0 84 0 [startup+0.0729779 s] /proc/loadavg: 1.00 0.99 0.98 3/77 13146 /proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=2400 CPUtime=0.07 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 511 0 0 0 7 0 0 0 18 0 1 0 161096396 2457600 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714781 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 600 395 127 317 0 279 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2400 [startup+0.101981 s] /proc/loadavg: 1.00 0.99 0.98 3/77 13146 /proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=2760 CPUtime=0.09 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 596 0 0 0 9 0 0 0 18 0 1 0 161096396 2826240 480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 690 480 131 317 0 369 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2760 [startup+0.302001 s] /proc/loadavg: 1.00 0.99 0.98 3/77 13146 /proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=6604 CPUtime=0.29 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 1549 0 0 0 29 0 0 0 19 0 1 0 161096396 6762496 1433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 1651 1434 131 317 0 1330 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6604 [startup+0.701042 s] /proc/loadavg: 1.00 0.99 0.98 3/77 13146 /proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=15600 CPUtime=0.69 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 3805 0 0 0 68 1 0 0 23 0 1 0 161096396 15974400 3689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 3900 3689 131 317 0 3579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15600 [startup+1.50112 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1786416/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=28056 CPUtime=1.49 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 6916 0 0 0 146 3 0 0 25 0 1 0 161096396 28729344 6800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 7014 6800 139 317 0 6693 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28056 [startup+3.10129 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1785008/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=28584 CPUtime=3.08 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 7039 0 0 0 305 3 0 0 25 0 1 0 161096396 29270016 6923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 7146 6923 139 317 0 6825 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28584 [startup+6.30162 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1782832/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=30824 CPUtime=6.29 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 7611 0 0 0 625 4 0 0 25 0 1 0 161096396 31563776 7495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 7706 7495 139 317 0 7385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30824 [startup+12.7023 s] /proc/loadavg: 1.00 0.99 0.98 3/78 13147 /proc/meminfo: memFree=1778800/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=34516 CPUtime=12.68 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 8544 0 0 0 1264 4 0 0 25 0 1 0 161096396 35344384 8428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 8629 8428 170 317 0 8308 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34516 [startup+25.5016 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1771760/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=41484 CPUtime=25.49 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 10295 0 0 0 2543 6 0 0 25 0 1 0 161096396 42479616 10179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 10371 10179 170 317 0 10050 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41484 [startup+51.1013 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1761584/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=51868 CPUtime=51.07 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 12899 0 0 0 5099 8 0 0 25 0 1 0 161096396 53112832 12739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 12967 12739 170 317 0 12646 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51868 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1743216/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=70448 CPUtime=102.27 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 17395 0 0 0 10215 12 0 0 25 0 1 0 161096396 72138752 17235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 17612 17235 170 317 0 17291 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70448 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1731824/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=81972 CPUtime=162.25 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 20258 0 0 0 16211 14 0 0 25 0 1 0 161096396 83939328 20098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 20493 20098 170 317 0 20172 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 81972 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13147 /proc/meminfo: memFree=1720816/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=93024 CPUtime=222.23 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 23046 0 0 0 22206 17 0 0 25 0 1 0 161096396 95256576 22800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 23256 22800 170 317 0 22935 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 93024 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.98 2/84 13219 /proc/meminfo: memFree=1711288/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=101680 CPUtime=282.18 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 25106 0 0 0 28199 19 0 0 25 0 1 0 161096396 104120320 24860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 25420 24860 170 317 0 25099 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 101680 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1703600/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=110204 CPUtime=342.1 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 27282 0 0 0 34188 22 0 0 25 0 1 0 161096396 112848896 27036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 27551 27036 170 317 0 27230 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 110204 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1695152/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=120344 CPUtime=402.08 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 29436 0 0 0 40184 24 0 0 25 0 1 0 161096396 123232256 29190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 30086 29190 170 317 0 29765 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 120344 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1685104/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=130496 CPUtime=462.06 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 31912 0 0 0 46180 26 0 0 25 0 1 0 161096396 133627904 31666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 32624 31666 170 317 0 32303 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 130496 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1677488/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=139512 CPUtime=522.05 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 33827 0 0 0 52177 28 0 0 25 0 1 0 161096396 142860288 33581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 34878 33581 170 317 0 34557 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 139512 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1670832/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=146224 CPUtime=582.04 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 35451 0 0 0 58174 30 0 0 25 0 1 0 161096396 149733376 35205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 36556 35205 170 317 0 36235 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 146224 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1665008/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=152152 CPUtime=642.02 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 36939 0 0 0 64171 31 0 0 25 0 1 0 161096396 155803648 36693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 38038 36693 170 317 0 37717 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 152152 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1640688/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=175544 CPUtime=881.96 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 43164 0 0 0 88158 38 0 0 25 0 1 0 161096396 179757056 42747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 43886 42747 170 317 0 43565 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 175544 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1635888/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=180524 CPUtime=941.94 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 44361 0 0 0 94155 39 0 0 25 0 1 0 161096396 184856576 43944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 45131 43944 170 317 0 44810 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 180524 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1628784/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=189804 CPUtime=1001.92 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 46579 0 0 0 100151 41 0 0 25 0 1 0 161096396 194359296 45700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710980 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 47451 45700 170 317 0 47130 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 189804 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1623408/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=194660 CPUtime=1061.91 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 47938 0 0 0 106148 43 0 0 25 0 1 0 161096396 199331840 47059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 48665 47059 170 317 0 48344 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 194660 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1615856/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=204080 CPUtime=1121.9 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 50226 0 0 0 112145 45 0 0 25 0 1 0 161096396 208977920 48951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 51020 48951 170 317 0 50699 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 204080 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1610288/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=211132 CPUtime=1181.87 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 51968 0 0 0 118141 46 0 0 25 0 1 0 161096396 216199168 50330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 52783 50330 170 317 0 52462 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 211132 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1604528/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=220364 CPUtime=1241.86 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 54099 0 0 0 124138 48 0 0 25 0 1 0 161096396 225652736 51768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 55091 51768 170 317 0 54770 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 220364 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1599024/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=225356 CPUtime=1301.85 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 55476 0 0 0 130135 50 0 0 25 0 1 0 161096396 230764544 53112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 56339 53112 170 317 0 56018 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 225356 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1593840/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=230504 CPUtime=1361.83 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 56900 0 0 0 136132 51 0 0 25 0 1 0 161096396 236036096 54437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 57626 54437 170 317 0 57305 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 230504 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1588848/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=235200 CPUtime=1421.81 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 58200 0 0 0 142128 53 0 0 25 0 1 0 161096396 240844800 55671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 58800 55671 170 317 0 58479 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 235200 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1584176/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=239568 CPUtime=1481.79 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 59367 0 0 0 148125 54 0 0 25 0 1 0 161096396 245317632 56838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 59892 56838 170 317 0 59571 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 239568 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1579184/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=243912 CPUtime=1541.77 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 60594 0 0 0 154122 55 0 0 25 0 1 0 161096396 249765888 58065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 60978 58065 170 317 0 60657 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 243912 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1574768/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=247972 CPUtime=1601.76 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 61738 0 0 0 160120 56 0 0 25 0 1 0 161096396 253923328 59176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 61993 59176 170 317 0 61672 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 247972 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1570480/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=251788 CPUtime=1661.74 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 62809 0 0 0 166116 58 0 0 25 0 1 0 161096396 257830912 60247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 62947 60247 170 317 0 62626 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 251788 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1566256/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=255608 CPUtime=1721.73 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 63865 0 0 0 172113 60 0 0 25 0 1 0 161096396 261742592 61303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 63902 61303 170 317 0 63581 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 255608 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1562032/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=259532 CPUtime=1781.7 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 64955 0 0 0 178109 61 0 0 25 0 1 0 161096396 265760768 62360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 64883 62360 170 317 0 64562 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 259532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1560624/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=260704 CPUtime=1800.01 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 65296 0 0 0 179940 61 0 0 25 0 1 0 161096396 266960896 62701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 65176 62701 170 317 0 64855 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 260704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13345 /proc/meminfo: memFree=1560624/2055920 swapFree=4138452/4192956 [pid=13146] ppid=13144 vsize=260704 CPUtime=1800.11 /proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 65315 0 0 0 179950 61 0 0 25 0 1 0 161096396 266960896 62720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13146/statm: 65176 62720 186 317 0 64855 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 260704 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.18 CPU user time (s): 1799.52 CPU system time (s): 0.660899 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 260704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.660899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65315 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= 38109 runsolver used 2.17067 second user time and 4.40733 second system time The end
Begin job on node2 on Tue Apr 17 22:56:26 UTC 2007 IDJOB= 356985 IDBENCH= 1724 IDSOLVER= 172 FILE ID= node2/356985-1176850586 PBS_JOBID= 4590199 Free space on /tmp= 66510 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-stocfor2.opb COMMAND LINE= oree /tmp/evaluation/356985-1176850586/instance-356985-1176850586.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-356985-1176850586 -o ROOT/results/node2/solver-356985-1176850586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356985-1176850586/instance-356985-1176850586.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cbc7f776eebadde6a6228c5e168c70a1 RANDOM SEED= 74551361 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1812368 kB Buffers: 31848 kB Cached: 137300 kB SwapCached: 22952 kB Active: 82628 kB Inactive: 120412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812368 kB SwapTotal: 4192956 kB SwapFree: 4138452 kB Dirty: 4288 kB Writeback: 0 kB Mapped: 30184 kB Slab: 25976 kB Committed_AS: 7095636 kB PageTables: 1860 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= 66510 MiB End job on node2 on Tue Apr 17 23:26:29 UTC 2007