Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb |
MD5SUM | e3cb0aa6fa78151ec6baa005375728ca |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1782.79 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of variables | 42220 |
Total number of constraints | 1481 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 17 |
Number of constraints which are nor clauses,nor cardinality constraints | 1464 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4780 |
Number of terms in the objective function | 155 |
Biggest coefficient in the objective function | 52429 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524395 |
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 | 528063 |
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.49/0.50 c ...done 0.49/0.50 c #vars=42220 #constraints=1538 hasObjective=yes 0.49/0.59 c res. mode=mod 0.49/0.59 c VSIDS like heuristics 0.49/0.59 c complete search running 1.59/1.69 c restart after 401 decisions 2.09/2.18 c nbDecision=500 #constraints=1584 2.89/2.97 c restart after 801 decisions 3.20/3.28 c nbDecision=1000 #constraints=1634 3.79/3.87 c nbDecision=1500 #constraints=1652 3.89/3.97 c restart after 1601 decisions 4.99/5.07 c nbDecision=2000 #constraints=1686 6.29/6.35 c nbDecision=2500 #constraints=1727 7.59/7.62 c nbDecision=3000 #constraints=1767 8.09/8.16 c restart after 3201 decisions 8.69/8.74 c nbDecision=3500 #constraints=1790 9.49/9.52 c nbDecision=4000 #constraints=1807 10.29/10.32 c nbDecision=4500 #constraints=1824 10.99/11.08 c nbDecision=5000 #constraints=1840 11.79/11.87 c nbDecision=5500 #constraints=1857 12.59/12.62 c nbDecision=6000 #constraints=1873 13.20/13.27 c restart after 6401 decisions 13.49/13.58 c nbDecision=6500 #constraints=1886 14.29/14.32 c nbDecision=7000 #constraints=1905 14.99/15.06 c nbDecision=7500 #constraints=1923 15.78/15.81 c nbDecision=8000 #constraints=1940 16.49/16.59 c nbDecision=8500 #constraints=1958 17.29/17.35 c nbDecision=9000 #constraints=1976 18.09/18.12 c nbDecision=9500 #constraints=1994 18.79/18.89 c nbDecision=10000 #constraints=2012 19.58/19.65 c nbDecision=10500 #constraints=2030 20.39/20.45 c nbDecision=11000 #constraints=2049 21.19/21.22 c nbDecision=11500 #constraints=2067 21.99/22.00 c nbDecision=12000 #constraints=2084 22.78/22.87 c nbDecision=12500 #constraints=2103 23.38/23.42 c restart after 12801 decisions 24.39/24.46 c nbDecision=13000 #constraints=2153 25.29/25.39 c nbDecision=13500 #constraints=2170 26.28/26.31 c nbDecision=14000 #constraints=2185 27.08/27.12 c nbDecision=14500 #constraints=2200 27.88/27.90 c nbDecision=15000 #constraints=2214 28.78/28.86 c nbDecision=15500 #constraints=2229 29.69/29.71 c nbDecision=16000 #constraints=2244 30.48/30.53 c nbDecision=16500 #constraints=2259 31.38/31.46 c nbDecision=17000 #constraints=2273 32.28/32.37 c nbDecision=17500 #constraints=2288 33.08/33.20 c nbDecision=18000 #constraints=2303 33.99/34.06 c nbDecision=18500 #constraints=2317 34.98/35.02 c nbDecision=19000 #constraints=2333 35.78/35.85 c nbDecision=19500 #constraints=2348 36.58/36.68 c nbDecision=20000 #constraints=2362 37.58/37.68 c nbDecision=20500 #constraints=2377 38.58/38.62 c nbDecision=21000 #constraints=2393 39.28/39.35 c nbDecision=21500 #constraints=2406 40.28/40.38 c nbDecision=22000 #constraints=2421 41.28/41.30 c nbDecision=22500 #constraints=2436 42.08/42.12 c nbDecision=23000 #constraints=2451 42.98/43.01 c nbDecision=23500 #constraints=2466 43.88/43.98 c nbDecision=24000 #constraints=2481 44.78/44.88 c nbDecision=24500 #constraints=2496 45.58/45.66 c nbDecision=25000 #constraints=2510 46.48/46.59 c nbDecision=25500 #constraints=2524 46.68/46.71 c restart after 25601 decisions 48.48/48.53 c nbDecision=26000 #constraints=2572 49.18/49.23 c nbDecision=26500 #constraints=2592 49.87/49.91 c nbDecision=27000 #constraints=2612 50.48/50.58 c nbDecision=27500 #constraints=2631 51.18/51.26 c nbDecision=28000 #constraints=2651 51.87/51.93 c nbDecision=28500 #constraints=2670 52.57/52.61 c nbDecision=29000 #constraints=2690 53.27/53.30 c nbDecision=29500 #constraints=2709 53.87/53.99 c nbDecision=30000 #constraints=2729 54.57/54.67 c nbDecision=30500 #constraints=2748 55.27/55.36 c nbDecision=31000 #constraints=2768 55.97/56.05 c nbDecision=31500 #constraints=2787 56.68/56.75 c nbDecision=32000 #constraints=2807 57.38/57.45 c nbDecision=32500 #constraints=2827 58.08/58.16 c nbDecision=33000 #constraints=2846 58.78/58.87 c nbDecision=33500 #constraints=2866 59.48/59.56 c nbDecision=34000 #constraints=2886 60.18/60.27 c nbDecision=34500 #constraints=2906 60.88/60.97 c nbDecision=35000 #constraints=2926 61.68/61.70 c nbDecision=35500 #constraints=2946 62.27/62.39 c nbDecision=36000 #constraints=2966 63.08/63.12 c nbDecision=36500 #constraints=2985 63.78/63.83 c nbDecision=37000 #constraints=3005 64.47/64.55 c nbDecision=37500 #constraints=3024 65.17/65.29 c nbDecision=38000 #constraints=3045 65.97/66.04 c nbDecision=38500 #constraints=3065 66.67/66.78 c nbDecision=39000 #constraints=3085 67.37/67.49 c nbDecision=39500 #constraints=3104 68.17/68.21 c nbDecision=40000 #constraints=3124 68.87/68.90 c nbDecision=40500 #constraints=3143 69.57/69.63 c nbDecision=41000 #constraints=3163 70.27/70.35 c nbDecision=41500 #constraints=3182 70.97/71.07 c nbDecision=42000 #constraints=3202 71.77/71.80 c nbDecision=42500 #constraints=3221 72.47/72.55 c nbDecision=43000 #constraints=3241 73.27/73.30 c nbDecision=43500 #constraints=3261 73.97/74.05 c nbDecision=44000 #constraints=3281 74.67/74.79 c nbDecision=44500 #constraints=3301 75.47/75.52 c nbDecision=45000 #constraints=3320 76.27/76.32 c nbDecision=45500 #constraints=3340 76.98/77.08 c nbDecision=46000 #constraints=3360 77.77/77.85 c nbDecision=46500 #constraints=3380 78.57/78.62 c nbDecision=47000 #constraints=3400 79.27/79.38 c nbDecision=47500 #constraints=3420 80.07/80.14 c nbDecision=48000 #constraints=3440 80.87/80.90 c nbDecision=48500 #constraints=3460 81.57/81.69 c nbDecision=49000 #constraints=3479 82.37/82.48 c nbDecision=49500 #constraints=3499 83.17/83.25 c nbDecision=50000 #constraints=3519 83.97/84.03 c nbDecision=50500 #constraints=3538 84.77/84.83 c nbDecision=51000 #constraints=3558 85.07/85.12 c restart after 51201 decisions 86.26/86.31 c nbDecision=51500 #constraints=3574 86.96/87.07 c nbDecision=52000 #constraints=3592 87.77/87.82 c nbDecision=52500 #constraints=3610 88.47/88.55 c nbDecision=53000 #constraints=3627 89.17/89.27 c nbDecision=53500 #constraints=3644 89.97/90.00 c nbDecision=54000 #constraints=3661 90.67/90.75 c nbDecision=54500 #constraints=3679 91.36/91.48 c nbDecision=55000 #constraints=3696 92.16/92.23 c nbDecision=55500 #constraints=3714 92.96/93.02 c nbDecision=56000 #constraints=3732 93.66/93.79 c nbDecision=56500 #constraints=3750 94.46/94.50 c nbDecision=57000 #constraints=3766 95.16/95.26 c nbDecision=57500 #constraints=3783 95.96/96.04 c nbDecision=58000 #constraints=3800 96.77/96.82 c nbDecision=58500 #constraints=3818 97.57/97.63 c nbDecision=59000 #constraints=3836 98.46/98.52 c nbDecision=59500 #constraints=3854 99.26/99.35 c nbDecision=60000 #constraints=3872 100.07/100.18 c nbDecision=60500 #constraints=3890 100.96/101.01 c nbDecision=61000 #constraints=3907 101.76/101.86 c nbDecision=61500 #constraints=3925 102.57/102.69 c nbDecision=62000 #constraints=3943 103.47/103.52 c nbDecision=62500 #constraints=3960 104.37/104.42 c nbDecision=63000 #constraints=3979 105.16/105.28 c nbDecision=63500 #constraints=3997 106.06/106.10 c nbDecision=64000 #constraints=4014 106.96/107.03 c nbDecision=64500 #constraints=4033 107.87/107.98 c nbDecision=65000 #constraints=4051 108.66/108.78 c nbDecision=65500 #constraints=4068 109.56/109.62 c nbDecision=66000 #constraints=4085 110.46/110.55 c nbDecision=66500 #constraints=4103 111.36/111.48 c nbDecision=67000 #constraints=4121 112.26/112.38 c nbDecision=67500 #constraints=4138 113.16/113.30 c nbDecision=68000 #constraints=4156 114.16/114.21 c nbDecision=68500 #constraints=4173 115.06/115.13 c nbDecision=69000 #constraints=4190 115.96/116.03 c nbDecision=69500 #constraints=4207 116.86/116.98 c nbDecision=70000 #constraints=4225 117.76/117.84 c nbDecision=70500 #constraints=4242 118.66/118.77 c nbDecision=71000 #constraints=4259 119.56/119.65 c nbDecision=71500 #constraints=4275 120.56/120.66 c nbDecision=72000 #constraints=4293 121.56/121.70 c nbDecision=72500 #constraints=4311 122.55/122.67 c nbDecision=73000 #constraints=4328 123.55/123.68 c nbDecision=73500 #constraints=4346 124.55/124.68 c nbDecision=74000 #constraints=4364 125.55/125.68 c nbDecision=74500 #constraints=4381 126.56/126.62 c nbDecision=75000 #constraints=4399 127.66/127.71 c nbDecision=75500 #constraints=4418 128.66/128.74 c nbDecision=76000 #constraints=4435 129.76/129.81 c nbDecision=76500 #constraints=4452 130.86/130.92 c nbDecision=77000 #constraints=4470 131.96/132.02 c nbDecision=77500 #constraints=4488 132.96/133.06 c nbDecision=78000 #constraints=4505 133.95/134.05 c nbDecision=78500 #constraints=4522 134.95/135.06 c nbDecision=79000 #constraints=4539 136.05/136.15 c nbDecision=79500 #constraints=4556 137.16/137.21 c nbDecision=80000 #constraints=4574 138.16/138.26 c nbDecision=80500 #constraints=4591 139.25/139.32 c nbDecision=81000 #constraints=4609 140.25/140.34 c nbDecision=81500 #constraints=4626 141.25/141.37 c nbDecision=82000 #constraints=4644 142.35/142.47 c nbDecision=82500 #constraints=4662 143.35/143.49 c nbDecision=83000 #constraints=4679 144.45/144.56 c nbDecision=83500 #constraints=4696 145.55/145.62 c nbDecision=84000 #constraints=4714 146.55/146.69 c nbDecision=84500 #constraints=4732 147.65/147.70 c nbDecision=85000 #constraints=4749 148.75/148.84 c nbDecision=85500 #constraints=4767 149.85/149.96 c nbDecision=86000 #constraints=4784 151.05/151.12 c nbDecision=86500 #constraints=4801 152.25/152.30 c nbDecision=87000 #constraints=4819 153.35/153.48 c nbDecision=87500 #constraints=4837 154.45/154.59 c nbDecision=88000 #constraints=4854 155.55/155.68 c nbDecision=88500 #constraints=4871 156.75/156.82 c nbDecision=89000 #constraints=4889 157.74/157.85 c nbDecision=89500 #constraints=4905 158.95/159.05 c nbDecision=90000 #constraints=4923 160.15/160.23 c nbDecision=90500 #constraints=4940 161.35/161.43 c nbDecision=91000 #constraints=4957 162.55/162.64 c nbDecision=91500 #constraints=4975 163.75/163.86 c nbDecision=92000 #constraints=4993 164.85/164.93 c nbDecision=92500 #constraints=5010 165.95/166.02 c nbDecision=93000 #constraints=5027 167.15/167.27 c nbDecision=93500 #constraints=5044 168.45/168.56 c nbDecision=94000 #constraints=5062 169.85/169.90 c nbDecision=94500 #constraints=5080 171.04/171.17 c nbDecision=95000 #constraints=5098 172.34/172.43 c nbDecision=95500 #constraints=5116 173.54/173.62 c nbDecision=96000 #constraints=5133 174.74/174.85 c nbDecision=96500 #constraints=5151 175.95/176.05 c nbDecision=97000 #constraints=5169 177.15/177.23 c nbDecision=97500 #constraints=5187 178.35/178.46 c nbDecision=98000 #constraints=5203 179.84/179.99 c nbDecision=98500 #constraints=5221 181.24/181.39 c nbDecision=99000 #constraints=5238 182.75/182.87 c nbDecision=99500 #constraints=5257 184.14/184.21 c nbDecision=100000 #constraints=5275 185.44/185.56 c nbDecision=100500 #constraints=5293 186.94/187.03 c nbDecision=101000 #constraints=5310 188.54/188.62 c nbDecision=101500 #constraints=5328 190.04/190.18 c nbDecision=102000 #constraints=5346 191.24/191.35 c restart after 102401 decisions 194.74/194.88 c nbDecision=102500 #constraints=5363 197.34/197.46 c nbDecision=103000 #constraints=5392 199.74/199.87 c nbDecision=103500 #constraints=5420 202.53/202.65 c nbDecision=104000 #constraints=5448 205.13/205.24 c nbDecision=104500 #constraints=5478 208.03/208.16 c nbDecision=105000 #constraints=5506 210.63/210.73 c nbDecision=105500 #constraints=5534 213.73/213.88 c nbDecision=106000 #constraints=5563 217.04/217.14 c nbDecision=106500 #constraints=5593 220.23/220.31 c nbDecision=107000 #constraints=5621 223.23/223.38 c nbDecision=107500 #constraints=5650 226.43/226.53 c nbDecision=108000 #constraints=5677 229.53/229.69 c nbDecision=108500 #constraints=5707 232.73/232.86 c nbDecision=109000 #constraints=5734 235.73/235.87 c nbDecision=109500 #constraints=5763 239.22/239.30 c nbDecision=110000 #constraints=5792 242.33/242.42 c nbDecision=110500 #constraints=5821 245.62/245.72 c nbDecision=111000 #constraints=5850 248.82/248.96 c nbDecision=111500 #constraints=5878 252.22/252.33 c nbDecision=112000 #constraints=5906 255.32/255.49 c nbDecision=112500 #constraints=5935 258.52/258.65 c nbDecision=113000 #constraints=5962 261.72/261.85 c nbDecision=113500 #constraints=5990 265.52/265.65 c nbDecision=114000 #constraints=6019 269.21/269.30 c nbDecision=114500 #constraints=6048 273.12/273.23 c nbDecision=115000 #constraints=6075 276.62/276.73 c nbDecision=115500 #constraints=6101 280.31/280.50 c nbDecision=116000 #constraints=6130 284.22/284.33 c nbDecision=116500 #constraints=6157 287.71/287.88 c nbDecision=117000 #constraints=6186 291.91/292.09 c nbDecision=117500 #constraints=6214 295.61/295.72 c nbDecision=118000 #constraints=6241 299.31/299.46 c nbDecision=118500 #constraints=6270 303.30/303.41 c nbDecision=119000 #constraints=6299 306.51/306.63 c nbDecision=119500 #constraints=6326 310.11/310.29 c nbDecision=120000 #constraints=6355 313.60/313.78 c nbDecision=120500 #constraints=6384 317.20/317.36 c nbDecision=121000 #constraints=6412 320.61/320.73 c nbDecision=121500 #constraints=6440 324.10/324.28 c nbDecision=122000 #constraints=6469 327.90/328.02 c nbDecision=122500 #constraints=6498 332.20/332.30 c nbDecision=123000 #constraints=6526 335.70/335.85 c nbDecision=123500 #constraints=6554 340.40/340.51 c nbDecision=124000 #constraints=6583 344.30/344.41 c nbDecision=124500 #constraints=6612 348.70/348.81 c nbDecision=125000 #constraints=6640 352.80/352.96 c nbDecision=125500 #constraints=6668 357.09/357.20 c nbDecision=126000 #constraints=6698 361.29/361.49 c nbDecision=126500 #constraints=6726 365.30/365.41 c nbDecision=127000 #constraints=6755 369.89/370.04 c nbDecision=127500 #constraints=6783 373.79/373.98 c nbDecision=128000 #constraints=6811 378.09/378.25 c nbDecision=128500 #constraints=6839 382.49/382.66 c nbDecision=129000 #constraints=6867 386.78/386.93 c nbDecision=129500 #constraints=6897 391.29/391.42 c nbDecision=130000 #constraints=6925 394.88/395.08 c nbDecision=130500 #constraints=6952 400.18/400.34 c nbDecision=131000 #constraints=6982 404.78/404.90 c nbDecision=131500 #constraints=7010 409.08/409.26 c nbDecision=132000 #constraints=7039 413.78/413.91 c nbDecision=132500 #constraints=7065 418.48/418.65 c nbDecision=133000 #constraints=7093 422.77/422.91 c nbDecision=133500 #constraints=7122 427.98/428.18 c nbDecision=134000 #constraints=7151 432.78/432.96 c nbDecision=134500 #constraints=7179 437.18/437.31 c nbDecision=135000 #constraints=7207 441.37/441.56 c nbDecision=135500 #constraints=7235 445.07/445.28 c nbDecision=136000 #constraints=7264 449.47/449.60 c nbDecision=136500 #constraints=7292 452.98/453.19 c nbDecision=137000 #constraints=7320 457.27/457.47 c nbDecision=137500 #constraints=7348 460.97/461.16 c nbDecision=138000 #constraints=7377 465.56/465.73 c nbDecision=138500 #constraints=7406 469.57/469.79 c nbDecision=139000 #constraints=7436 474.26/474.44 c nbDecision=139500 #constraints=7463 478.56/478.77 c nbDecision=140000 #constraints=7491 483.56/483.78 c nbDecision=140500 #constraints=7520 488.26/488.49 c nbDecision=141000 #constraints=7548 492.85/493.02 c nbDecision=141500 #constraints=7577 497.76/497.96 c nbDecision=142000 #constraints=7605 501.95/502.16 c nbDecision=142500 #constraints=7634 506.96/507.15 c nbDecision=143000 #constraints=7661 511.56/511.71 c nbDecision=143500 #constraints=7688 516.25/516.46 c nbDecision=144000 #constraints=7717 521.05/521.29 c nbDecision=144500 #constraints=7744 525.35/525.57 c nbDecision=145000 #constraints=7772 530.65/530.86 c nbDecision=145500 #constraints=7802 535.34/535.51 c nbDecision=146000 #constraints=7829 540.14/540.39 c nbDecision=146500 #constraints=7858 545.15/545.36 c nbDecision=147000 #constraints=7886 549.85/550.00 c nbDecision=147500 #constraints=7915 555.34/555.59 c nbDecision=148000 #constraints=7943 560.34/560.56 c nbDecision=148500 #constraints=7970 565.04/565.24 c nbDecision=149000 #constraints=7999 570.53/570.72 c nbDecision=149500 #constraints=8026 575.63/575.88 c nbDecision=150000 #constraints=8053 580.44/580.66 c nbDecision=150500 #constraints=8082 586.14/586.40 c nbDecision=151000 #constraints=8110 591.73/591.95 c nbDecision=151500 #constraints=8140 597.04/597.23 c nbDecision=152000 #constraints=8169 602.23/602.46 c nbDecision=152500 #constraints=8196 607.03/607.29 c nbDecision=153000 #constraints=8225 613.02/613.24 c nbDecision=153500 #constraints=8255 618.42/618.62 c nbDecision=154000 #constraints=8285 623.73/623.93 c nbDecision=154500 #constraints=8314 629.03/629.28 c nbDecision=155000 #constraints=8342 633.51/633.74 c nbDecision=155500 #constraints=8370 639.10/639.38 c nbDecision=156000 #constraints=8398 643.89/644.19 c nbDecision=156500 #constraints=8425 649.37/649.62 c nbDecision=157000 #constraints=8455 654.57/654.84 c nbDecision=157500 #constraints=8483 659.55/659.90 c nbDecision=158000 #constraints=8512 665.34/665.67 c nbDecision=158500 #constraints=8539 670.95/671.25 c nbDecision=159000 #constraints=8567 676.25/676.52 c nbDecision=159500 #constraints=8596 682.34/682.64 c nbDecision=160000 #constraints=8625 687.62/687.93 c nbDecision=160500 #constraints=8652 693.11/693.48 c nbDecision=161000 #constraints=8681 699.92/700.23 c nbDecision=161500 #constraints=8710 706.01/706.40 c nbDecision=162000 #constraints=8740 712.01/712.30 c nbDecision=162500 #constraints=8769 717.72/718.01 c nbDecision=163000 #constraints=8796 723.01/723.36 c nbDecision=163500 #constraints=8824 729.01/729.31 c nbDecision=164000 #constraints=8853 734.91/735.29 c nbDecision=164500 #constraints=8881 740.21/740.58 c nbDecision=165000 #constraints=8909 746.10/746.46 c nbDecision=165500 #constraints=8937 752.60/752.95 c nbDecision=166000 #constraints=8965 758.80/759.16 c nbDecision=166500 #constraints=8993 765.21/765.55 c nbDecision=167000 #constraints=9022 772.00/772.36 c nbDecision=167500 #constraints=9049 778.49/778.82 c nbDecision=168000 #constraints=9076 784.60/784.97 c nbDecision=168500 #constraints=9104 791.19/791.52 c nbDecision=169000 #constraints=9132 797.89/798.29 c nbDecision=169500 #constraints=9159 803.48/803.85 c nbDecision=170000 #constraints=9186 808.79/809.15 c nbDecision=170500 #constraints=9215 815.38/815.76 c nbDecision=171000 #constraints=9246 821.29/821.65 c nbDecision=171500 #constraints=9277 827.59/827.91 c nbDecision=172000 #constraints=9305 833.88/834.21 c nbDecision=172500 #constraints=9334 839.78/840.10 c nbDecision=173000 #constraints=9364 844.98/845.33 c nbDecision=173500 #constraints=9394 851.48/851.80 c nbDecision=174000 #constraints=9424 856.27/856.61 c nbDecision=174500 #constraints=9451 861.87/862.21 c nbDecision=175000 #constraints=9481 866.68/867.08 c nbDecision=175500 #constraints=9510 872.57/872.91 c nbDecision=176000 #constraints=9539 877.27/877.61 c nbDecision=176500 #constraints=9567 883.07/883.49 c nbDecision=177000 #constraints=9596 888.47/888.83 c nbDecision=177500 #constraints=9624 894.47/894.87 c nbDecision=178000 #constraints=9653 900.16/900.58 c nbDecision=178500 #constraints=9681 905.26/905.68 c nbDecision=179000 #constraints=9708 911.76/912.19 c nbDecision=179500 #constraints=9737 916.86/917.28 c nbDecision=180000 #constraints=9765 922.95/923.31 c nbDecision=180500 #constraints=9792 928.86/929.23 c nbDecision=181000 #constraints=9821 934.45/934.80 c nbDecision=181500 #constraints=9849 940.55/940.98 c nbDecision=182000 #constraints=9877 945.85/946.24 c nbDecision=182500 #constraints=9904 952.16/952.52 c nbDecision=183000 #constraints=9933 957.75/958.15 c nbDecision=183500 #constraints=9960 963.74/964.15 c nbDecision=184000 #constraints=9990 970.45/970.90 c nbDecision=184500 #constraints=10017 976.54/976.93 c nbDecision=185000 #constraints=10045 983.04/983.46 c nbDecision=185500 #constraints=10074 989.84/990.24 c nbDecision=186000 #constraints=10102 996.04/996.47 c nbDecision=186500 #constraints=10131 1002.84/1003.27 c nbDecision=187000 #constraints=10160 1009.94/1010.38 c nbDecision=187500 #constraints=10190 1015.73/1016.16 c nbDecision=188000 #constraints=10218 1022.64/1023.08 c nbDecision=188500 #constraints=10246 1028.63/1029.03 c nbDecision=189000 #constraints=10273 1035.43/1035.83 c nbDecision=189500 #constraints=10303 1042.22/1042.69 c nbDecision=190000 #constraints=10332 1047.62/1048.00 c nbDecision=190500 #constraints=10359 1054.62/1055.04 c nbDecision=191000 #constraints=10388 1060.52/1060.96 c nbDecision=191500 #constraints=10416 1066.22/1066.61 c nbDecision=192000 #constraints=10444 1072.91/1073.32 c nbDecision=192500 #constraints=10473 1078.42/1078.83 c nbDecision=193000 #constraints=10502 1085.71/1086.10 c nbDecision=193500 #constraints=10530 1092.51/1092.98 c nbDecision=194000 #constraints=10559 1098.81/1099.27 c nbDecision=194500 #constraints=10587 1106.31/1106.78 c nbDecision=195000 #constraints=10616 1112.51/1112.97 c nbDecision=195500 #constraints=10643 1119.60/1120.03 c nbDecision=196000 #constraints=10673 1126.60/1127.02 c nbDecision=196500 #constraints=10701 1133.00/1133.40 c nbDecision=197000 #constraints=10729 1139.90/1140.34 c nbDecision=197500 #constraints=10757 1146.90/1147.39 c nbDecision=198000 #constraints=10785 1152.99/1153.43 c nbDecision=198500 #constraints=10812 1159.99/1160.46 c nbDecision=199000 #constraints=10841 1167.49/1167.92 c nbDecision=199500 #constraints=10871 1173.79/1174.22 c nbDecision=200000 #constraints=10900 1182.39/1182.83 c nbDecision=200500 #constraints=10928 1190.38/1190.83 c nbDecision=201000 #constraints=10956 1197.68/1198.11 c nbDecision=201500 #constraints=10984 1205.48/1205.93 c nbDecision=202000 #constraints=11013 1214.38/1214.83 c nbDecision=202500 #constraints=11042 1221.68/1222.17 c nbDecision=203000 #constraints=11069 1229.28/1229.74 c nbDecision=203500 #constraints=11099 1238.08/1238.57 c nbDecision=204000 #constraints=11127 1245.47/1245.92 c nbDecision=204500 #constraints=11157 1249.87/1250.39 c restart after 204801 decisions 1277.17/1277.69 c nbDecision=205000 #constraints=11182 1296.26/1296.77 c nbDecision=205500 #constraints=11208 1316.05/1316.50 c nbDecision=206000 #constraints=11235 1334.55/1335.07 c nbDecision=206500 #constraints=11262 1353.74/1354.23 c nbDecision=207000 #constraints=11289 1371.54/1372.06 c nbDecision=207500 #constraints=11316 1391.43/1391.93 c nbDecision=208000 #constraints=11344 1409.92/1410.49 c nbDecision=208500 #constraints=11371 1428.72/1429.24 c nbDecision=209000 #constraints=11399 1448.31/1448.81 c nbDecision=209500 #constraints=11427 1468.41/1468.95 c nbDecision=210000 #constraints=11454 1486.41/1486.94 c nbDecision=210500 #constraints=11480 1505.61/1506.17 c nbDecision=211000 #constraints=11508 1525.70/1526.26 c nbDecision=211500 #constraints=11535 1546.99/1547.56 c nbDecision=212000 #constraints=11562 1565.28/1565.89 c nbDecision=212500 #constraints=11590 1583.58/1584.16 c nbDecision=213000 #constraints=11617 1601.67/1602.22 c nbDecision=213500 #constraints=11644 1621.57/1622.14 c nbDecision=214000 #constraints=11671 1641.67/1642.23 c nbDecision=214500 #constraints=11699 1666.46/1667.02 c nbDecision=215000 #constraints=11731 1685.66/1686.29 c nbDecision=215500 #constraints=11760 1704.75/1705.31 c nbDecision=216000 #constraints=11787 1724.64/1725.24 c nbDecision=216500 #constraints=11815 1745.34/1745.94 c nbDecision=217000 #constraints=11842 1766.03/1766.61 c nbDecision=217500 #constraints=11869 1783.83/1784.42 c nbDecision=218000 #constraints=11897 1800.03/1800.60 Received signal 15 1800.03/1800.61 1800.03/1800.61 s UNKNOWN 1800.03/1800.61 1800.03/1800.61 c user time= 1798.99 s 1800.03/1800.61 c system time= 1.06484 s 1800.03/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-356868-1176846630 -o ROOT/results/node74/solver-356868-1176846630 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356868-1176846630/instance-356868-1176846630.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.77 0.92 0.95 3/66 14821 /proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1468 CPUtime=0 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132577762 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 367 165 131 317 0 46 0 [startup+0.0713061 s] /proc/loadavg: 0.77 0.92 0.95 3/66 14821 /proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=3080 CPUtime=0.06 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 495 0 0 0 6 0 0 0 18 0 1 0 132577762 3153920 477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 770 477 131 317 0 449 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3080 [startup+0.101309 s] /proc/loadavg: 0.77 0.92 0.95 3/66 14821 /proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=3960 CPUtime=0.09 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 132577762 4055040 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284241 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 990 648 131 317 0 669 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3960 [startup+0.301331 s] /proc/loadavg: 0.77 0.92 0.95 3/66 14821 /proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=8796 CPUtime=0.29 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 1656 0 0 0 29 0 0 0 19 0 1 0 132577762 9007104 1638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 2199 1638 131 317 0 1878 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8796 [startup+0.701377 s] /proc/loadavg: 0.77 0.92 0.95 3/66 14821 /proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=19688 CPUtime=0.69 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 4173 0 0 0 68 1 0 0 22 0 1 0 132577762 20160512 4155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 4922 4155 138 317 0 4601 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19688 [startup+1.50147 s] /proc/loadavg: 0.79 0.92 0.95 2/67 14822 /proc/meminfo: memFree=1513216/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=21932 CPUtime=1.49 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 4649 0 0 0 148 1 0 0 25 0 1 0 132577762 22458368 4631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 5483 4631 139 317 0 5162 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21932 [startup+3.10265 s] /proc/loadavg: 0.79 0.92 0.95 2/67 14822 /proc/meminfo: memFree=1508544/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=32508 CPUtime=3.09 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 6909 0 0 0 307 2 0 0 25 0 1 0 132577762 33288192 6886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 8127 6886 139 317 0 7806 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32508 [startup+6.30202 s] /proc/loadavg: 0.79 0.92 0.95 2/67 14822 /proc/meminfo: memFree=1495424/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=46400 CPUtime=6.29 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 9911 0 0 0 627 2 0 0 25 0 1 0 132577762 47513600 9888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 11600 9888 139 317 0 11279 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46400 [startup+12.7018 s] /proc/loadavg: 0.82 0.93 0.95 2/67 14822 /proc/meminfo: memFree=1477184/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=64200 CPUtime=12.69 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 13603 0 0 0 1266 3 0 0 25 0 1 0 132577762 65740800 13580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 16050 13580 139 317 0 15729 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64200 [startup+25.5012 s] /proc/loadavg: 0.85 0.93 0.95 2/67 14822 /proc/meminfo: memFree=1443136/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=103700 CPUtime=25.49 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 21929 0 0 0 2542 7 0 0 25 0 1 0 132577762 106188800 21898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 25925 21898 139 317 0 25604 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 103700 [startup+51.1012 s] /proc/loadavg: 0.90 0.93 0.95 2/67 14822 /proc/meminfo: memFree=1392384/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=162560 CPUtime=51.07 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 34544 0 0 0 5096 11 0 0 25 0 1 0 132577762 166461440 34487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 40640 34487 139 317 0 40319 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 162560 [startup+102.305 s] /proc/loadavg: 0.96 0.94 0.95 2/67 14822 /proc/meminfo: memFree=1327872/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=235180 CPUtime=102.27 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 50601 0 0 0 10209 18 0 0 25 0 1 0 132577762 240824320 50522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 58795 50522 139 317 0 58474 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 235180 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.95 2/67 14822 /proc/meminfo: memFree=1216128/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=369408 CPUtime=162.25 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 78821 0 0 0 16197 28 0 0 25 0 1 0 132577762 378273792 78602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 92352 78602 139 317 0 92031 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 369408 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.95 2/67 14822 /proc/meminfo: memFree=1129600/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=481776 CPUtime=222.23 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 100315 0 0 0 22186 37 0 0 25 0 1 0 132577762 493338624 99990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 120444 99990 139 317 0 120123 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 481776 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.95 2/67 14822 /proc/meminfo: memFree=1079872/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=538220 CPUtime=282.22 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 112944 0 0 0 28179 43 0 0 25 0 1 0 132577762 551137280 112566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 134555 112566 139 317 0 134234 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 538220 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 14822 /proc/meminfo: memFree=1033920/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=588592 CPUtime=342.19 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 124259 0 0 0 34172 47 0 0 25 0 1 0 132577762 602718208 123836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 147148 123836 139 317 0 146827 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 588592 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 14822 /proc/meminfo: memFree=994496/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=633132 CPUtime=402.19 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 134275 0 0 0 40167 52 0 0 25 0 1 0 132577762 648327168 133799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 158283 133799 139 317 0 157962 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 633132 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 14822 /proc/meminfo: memFree=959040/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=676276 CPUtime=462.17 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 143005 0 0 0 46163 54 0 0 25 0 1 0 132577762 692506624 142510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 169069 142510 139 317 0 168748 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 676276 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 14822 /proc/meminfo: memFree=880576/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=793004 CPUtime=522.15 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 162714 0 0 0 52153 62 0 0 25 0 1 0 132577762 812036096 162182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 198251 162182 139 317 0 197930 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 793004 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 14822 /proc/meminfo: memFree=846272/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=830456 CPUtime=582.14 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 171179 0 0 0 58148 66 0 0 25 0 1 0 132577762 850386944 170628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 207614 170628 139 317 0 207293 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 830456 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/73 14896 /proc/meminfo: memFree=812432/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=866852 CPUtime=642.1 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 179302 0 0 0 64141 69 0 0 25 0 1 0 132577762 887656448 178722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 216713 178722 139 317 0 216392 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 866852 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=696448/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=997872 CPUtime=881.97 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 208594 0 0 0 88117 80 0 0 25 0 1 0 132577762 1021820928 207914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 249468 207914 139 317 0 249147 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 997872 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=667328/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1030912 CPUtime=941.96 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 216102 0 0 0 94112 84 0 0 25 0 1 0 132577762 1055653888 215382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 257728 215382 139 317 0 257407 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 1030912 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=639424/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1060908 CPUtime=1001.94 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 222911 0 0 0 100107 87 0 0 25 0 1 0 132577762 1086369792 222169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 265227 222169 139 317 0 264906 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 1060908 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=613504/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1090572 CPUtime=1061.92 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 229494 0 0 0 106103 89 0 0 25 0 1 0 132577762 1116745728 228723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 272643 228723 139 317 0 272322 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1090572 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=587392/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1119544 CPUtime=1121.9 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 236026 0 0 0 112098 92 0 0 25 0 1 0 132577762 1146413056 235162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 279886 235162 139 317 0 279565 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1119544 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=563072/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1146928 CPUtime=1181.89 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 242132 0 0 0 118094 95 0 0 25 0 1 0 132577762 1174454272 241243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 286732 241243 139 317 0 286411 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1146928 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=541952/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1171516 CPUtime=1241.87 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 247489 0 0 0 124090 97 0 0 25 0 1 0 132577762 1199632384 246573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 292879 246573 139 317 0 292558 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1171516 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15020 /proc/meminfo: memFree=533696/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1180904 CPUtime=1301.86 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 249427 0 0 0 130088 98 0 0 25 0 1 0 132577762 1209245696 248511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 295226 248511 139 317 0 294905 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1180904 [startup+1362.3 s] /proc/loadavg: 1.03 0.99 0.96 2/67 15020 /proc/meminfo: memFree=523712/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1192588 CPUtime=1361.84 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 251915 0 0 0 136085 99 0 0 25 0 1 0 132577762 1221210112 250999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 298147 250999 139 317 0 297826 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1192588 [startup+1422.31 s] /proc/loadavg: 1.01 0.99 0.96 2/67 15020 /proc/meminfo: memFree=515584/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1202388 CPUtime=1421.82 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 253923 0 0 0 142083 99 0 0 25 0 1 0 132577762 1231245312 253007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 300597 253007 139 317 0 300276 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1202388 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=503232/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1216540 CPUtime=1481.81 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 257063 0 0 0 148080 101 0 0 25 0 1 0 132577762 1245736960 256128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 304135 256128 139 317 0 303814 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1216540 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=495552/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1225892 CPUtime=1541.79 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 258939 0 0 0 154077 102 0 0 25 0 1 0 132577762 1255313408 258004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 306473 258004 139 317 0 306152 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1225892 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=487808/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1235652 CPUtime=1601.77 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 260917 0 0 0 160075 102 0 0 25 0 1 0 132577762 1265307648 259982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 308913 259982 139 317 0 308592 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1235652 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=470848/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1254376 CPUtime=1661.76 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 265169 0 0 0 166071 105 0 0 25 0 1 0 132577762 1284481024 264215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 313594 264215 139 317 0 313273 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1254376 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=463488/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1263488 CPUtime=1721.74 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 267016 0 0 0 172069 105 0 0 25 0 1 0 132577762 1293811712 266062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 315872 266062 139 317 0 315551 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1263488 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=455872/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1272792 CPUtime=1781.72 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 268896 0 0 0 178067 105 0 0 25 0 1 0 132577762 1303339008 267942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 318198 267942 139 317 0 317877 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1272792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.96 2/67 15020 /proc/meminfo: memFree=453504/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=1275704 CPUtime=1800.03 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 269459 0 0 0 179897 106 0 0 25 0 1 0 132577762 1306320896 268505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 318926 268505 139 317 0 318605 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1275704 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.96 2/67 15020 /proc/meminfo: memFree=453504/2055920 swapFree=4183056/4192956 [pid=14821] ppid=14819 vsize=0 CPUtime=1800.13 /proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194308 269475 0 0 0 179899 114 0 0 25 0 1 0 132577762 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14821/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.23 CPU user time (s): 1799 CPU system time (s): 1.23281 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 1275704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.23281 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269475 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= 3444 runsolver used 2.30865 second user time and 3.98939 second system time The end
Begin job on node74 on Tue Apr 17 21:50:30 UTC 2007 IDJOB= 356868 IDBENCH= 1572 IDSOLVER= 172 FILE ID= node74/356868-1176846630 PBS_JOBID= 4590193 Free space on /tmp= 103225 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb COMMAND LINE= oree /tmp/evaluation/356868-1176846630/instance-356868-1176846630.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-356868-1176846630 -o ROOT/results/node74/solver-356868-1176846630 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356868-1176846630/instance-356868-1176846630.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e3cb0aa6fa78151ec6baa005375728ca RANDOM SEED= 424017650 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1530528 kB Buffers: 36172 kB Cached: 437768 kB SwapCached: 3760 kB Active: 356560 kB Inactive: 127688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1530528 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 3208 kB Writeback: 0 kB Mapped: 15540 kB Slab: 26936 kB Committed_AS: 1954276 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103225 MiB End job on node74 on Tue Apr 17 22:20:33 UTC 2007