Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb |
MD5SUM | 2fc9de6105f21066ef788431e0787cd8 |
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 | 9060 |
Total number of constraints | 429 |
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 | 429 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 6930 |
Biggest coefficient in the objective function | 3308 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 529735 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529735 |
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.19/0.25 c ...done 0.19/0.25 c #vars=9060 #constraints=490 hasObjective=yes 0.29/0.35 c res. mode=mod 0.29/0.35 c VSIDS like heuristics 0.29/0.35 c complete search running 0.29/0.39 c restart after 401 decisions 0.39/0.40 c nbDecision=500 #constraints=490 0.39/0.43 c restart after 801 decisions 0.39/0.44 c nbDecision=1000 #constraints=490 0.39/0.49 c nbDecision=1500 #constraints=490 0.49/0.50 c restart after 1601 decisions 0.49/0.53 c nbDecision=2000 #constraints=490 0.49/0.58 c nbDecision=2500 #constraints=490 0.59/0.62 c nbDecision=3000 #constraints=490 0.59/0.64 c restart after 3201 decisions 0.59/0.67 c nbDecision=3500 #constraints=491 0.69/0.71 c nbDecision=4000 #constraints=491 0.69/0.75 c nbDecision=4500 #constraints=491 0.79/0.81 c nbDecision=5000 #constraints=516 0.89/0.99 c nbDecision=5500 #constraints=652 1.09/1.18 c nbDecision=6000 #constraints=752 1.29/1.35 c restart after 6401 decisions 1.29/1.37 c nbDecision=6500 #constraints=819 1.39/1.42 c nbDecision=7000 #constraints=819 1.39/1.46 c nbDecision=7500 #constraints=819 1.49/1.50 c nbDecision=8000 #constraints=819 1.49/1.58 c nbDecision=8500 #constraints=856 1.69/1.73 c nbDecision=9000 #constraints=959 1.89/1.96 c nbDecision=9500 #constraints=1087 2.20/2.22 c nbDecision=10000 #constraints=1194 2.39/2.49 c nbDecision=10500 #constraints=1264 2.69/2.75 c nbDecision=11000 #constraints=1343 2.99/3.06 c nbDecision=11500 #constraints=1413 3.29/3.36 c nbDecision=12000 #constraints=1475 3.59/3.65 c nbDecision=12500 #constraints=1542 3.79/3.81 c restart after 12801 decisions 3.79/3.85 c nbDecision=13000 #constraints=1579 3.79/3.89 c nbDecision=13500 #constraints=1579 3.89/3.93 c nbDecision=14000 #constraints=1579 3.89/3.98 c nbDecision=14500 #constraints=1579 4.09/4.17 c nbDecision=15000 #constraints=1679 4.40/4.41 c nbDecision=15500 #constraints=1772 4.59/4.67 c nbDecision=16000 #constraints=1886 4.89/4.96 c nbDecision=16500 #constraints=1999 5.39/5.43 c nbDecision=17000 #constraints=2186 5.59/5.68 c nbDecision=17500 #constraints=2240 5.89/5.96 c nbDecision=18000 #constraints=2330 6.19/6.21 c nbDecision=18500 #constraints=2371 6.39/6.49 c nbDecision=19000 #constraints=2419 6.69/6.78 c nbDecision=19500 #constraints=2475 6.99/7.05 c nbDecision=20000 #constraints=2521 7.29/7.34 c nbDecision=20500 #constraints=2560 7.59/7.65 c nbDecision=21000 #constraints=2616 7.88/7.98 c nbDecision=21500 #constraints=2669 8.18/8.29 c nbDecision=22000 #constraints=2724 8.69/8.73 c nbDecision=22500 #constraints=2827 8.98/9.05 c nbDecision=23000 #constraints=2864 9.38/9.42 c nbDecision=23500 #constraints=2911 9.68/9.75 c nbDecision=24000 #constraints=2953 10.08/10.13 c nbDecision=24500 #constraints=3004 10.48/10.56 c nbDecision=25000 #constraints=3074 10.89/10.93 c nbDecision=25500 #constraints=3119 10.89/10.98 c restart after 25601 decisions 10.99/11.08 c nbDecision=26000 #constraints=3122 11.08/11.12 c nbDecision=26500 #constraints=3122 11.18/11.21 c nbDecision=27000 #constraints=3122 11.28/11.34 c nbDecision=27500 #constraints=3172 11.68/11.71 c nbDecision=28000 #constraints=3237 12.10/12.17 c nbDecision=28500 #constraints=3307 12.59/12.61 c nbDecision=29000 #constraints=3352 12.89/12.99 c nbDecision=29500 #constraints=3382 13.29/13.38 c nbDecision=30000 #constraints=3414 13.69/13.80 c nbDecision=30500 #constraints=3454 14.19/14.26 c nbDecision=31000 #constraints=3495 14.79/14.88 c nbDecision=31500 #constraints=3553 15.58/15.68 c nbDecision=32000 #constraints=3620 16.08/16.11 c nbDecision=32500 #constraints=3652 16.58/16.67 c nbDecision=33000 #constraints=3698 17.08/17.12 c nbDecision=33500 #constraints=3738 17.59/17.62 c nbDecision=34000 #constraints=3794 17.98/18.09 c nbDecision=34500 #constraints=3836 18.38/18.48 c nbDecision=35000 #constraints=3865 18.99/19.03 c nbDecision=35500 #constraints=3907 19.39/19.50 c nbDecision=36000 #constraints=3942 19.89/19.96 c nbDecision=36500 #constraints=3983 20.49/20.50 c nbDecision=37000 #constraints=4020 20.99/21.01 c nbDecision=37500 #constraints=4057 21.39/21.49 c nbDecision=38000 #constraints=4089 21.99/22.05 c nbDecision=38500 #constraints=4132 22.48/22.56 c nbDecision=39000 #constraints=4165 23.08/23.19 c nbDecision=39500 #constraints=4209 23.69/23.71 c nbDecision=40000 #constraints=4242 24.19/24.29 c nbDecision=40500 #constraints=4284 24.69/24.71 c nbDecision=41000 #constraints=4315 25.19/25.21 c nbDecision=41500 #constraints=4344 25.68/25.78 c nbDecision=42000 #constraints=4384 26.28/26.35 c nbDecision=42500 #constraints=4421 26.89/26.93 c nbDecision=43000 #constraints=4457 27.29/27.40 c nbDecision=43500 #constraints=4487 27.88/27.92 c nbDecision=44000 #constraints=4529 28.49/28.51 c nbDecision=44500 #constraints=4570 29.28/29.34 c nbDecision=45000 #constraints=4628 29.98/30.01 c nbDecision=45500 #constraints=4672 30.58/30.61 c nbDecision=46000 #constraints=4701 31.19/31.22 c nbDecision=46500 #constraints=4745 31.79/31.83 c nbDecision=47000 #constraints=4782 32.39/32.40 c nbDecision=47500 #constraints=4811 33.18/33.21 c nbDecision=48000 #constraints=4863 33.99/34.08 c nbDecision=48500 #constraints=4912 34.78/34.83 c nbDecision=49000 #constraints=4952 35.28/35.38 c nbDecision=49500 #constraints=4981 35.88/35.96 c nbDecision=50000 #constraints=5016 36.48/36.57 c nbDecision=50500 #constraints=5050 37.18/37.22 c nbDecision=51000 #constraints=5078 37.48/37.52 c restart after 51201 decisions 37.68/37.77 c nbDecision=51500 #constraints=5098 37.78/37.82 c nbDecision=52000 #constraints=5098 37.88/37.93 c nbDecision=52500 #constraints=5098 38.07/38.10 c nbDecision=53000 #constraints=5114 38.88/38.95 c nbDecision=53500 #constraints=5229 39.78/39.81 c nbDecision=54000 #constraints=5325 40.68/40.74 c nbDecision=54500 #constraints=5420 41.57/41.68 c nbDecision=55000 #constraints=5531 42.47/42.53 c nbDecision=55500 #constraints=5596 43.47/43.55 c nbDecision=56000 #constraints=5679 44.47/44.51 c nbDecision=56500 #constraints=5747 45.47/45.56 c nbDecision=57000 #constraints=5820 46.28/46.31 c nbDecision=57500 #constraints=5875 47.18/47.25 c nbDecision=58000 #constraints=5939 48.18/48.23 c nbDecision=58500 #constraints=6000 49.08/49.18 c nbDecision=59000 #constraints=6076 50.08/50.14 c nbDecision=59500 #constraints=6148 51.28/51.35 c nbDecision=60000 #constraints=6221 52.28/52.34 c nbDecision=60500 #constraints=6275 53.27/53.32 c nbDecision=61000 #constraints=6317 54.07/54.18 c nbDecision=61500 #constraints=6356 54.88/55.00 c nbDecision=62000 #constraints=6402 55.77/55.87 c nbDecision=62500 #constraints=6437 56.77/56.86 c nbDecision=63000 #constraints=6499 57.67/57.78 c nbDecision=63500 #constraints=6546 58.87/58.96 c nbDecision=64000 #constraints=6600 60.07/60.16 c nbDecision=64500 #constraints=6651 61.37/61.48 c nbDecision=65000 #constraints=6713 62.47/62.53 c nbDecision=65500 #constraints=6757 63.48/63.55 c nbDecision=66000 #constraints=6800 64.48/64.53 c nbDecision=66500 #constraints=6838 65.67/65.73 c nbDecision=67000 #constraints=6890 66.87/66.93 c nbDecision=67500 #constraints=6949 67.87/67.93 c nbDecision=68000 #constraints=6985 68.87/68.95 c nbDecision=68500 #constraints=7020 69.87/69.97 c nbDecision=69000 #constraints=7080 70.77/70.89 c nbDecision=69500 #constraints=7123 71.97/72.08 c nbDecision=70000 #constraints=7191 72.87/72.97 c nbDecision=70500 #constraints=7227 73.87/73.97 c nbDecision=71000 #constraints=7273 74.87/74.98 c nbDecision=71500 #constraints=7312 75.87/75.92 c nbDecision=72000 #constraints=7351 76.98/77.03 c nbDecision=72500 #constraints=7406 78.08/78.16 c nbDecision=73000 #constraints=7471 78.87/78.97 c nbDecision=73500 #constraints=7517 80.07/80.16 c nbDecision=74000 #constraints=7573 81.07/81.16 c nbDecision=74500 #constraints=7613 81.97/82.10 c nbDecision=75000 #constraints=7654 83.06/83.12 c nbDecision=75500 #constraints=7703 84.06/84.11 c nbDecision=76000 #constraints=7745 84.96/85.05 c nbDecision=76500 #constraints=7791 85.86/85.92 c nbDecision=77000 #constraints=7828 86.87/86.92 c nbDecision=77500 #constraints=7865 87.86/87.97 c nbDecision=78000 #constraints=7903 88.97/89.01 c nbDecision=78500 #constraints=7940 89.87/89.99 c nbDecision=79000 #constraints=7978 90.87/90.98 c nbDecision=79500 #constraints=8014 91.87/91.91 c nbDecision=80000 #constraints=8046 92.76/92.83 c nbDecision=80500 #constraints=8088 93.76/93.85 c nbDecision=81000 #constraints=8128 95.16/95.26 c nbDecision=81500 #constraints=8178 96.36/96.49 c nbDecision=82000 #constraints=8219 97.66/97.75 c nbDecision=82500 #constraints=8264 98.66/98.78 c nbDecision=83000 #constraints=8302 99.56/99.61 c nbDecision=83500 #constraints=8334 100.46/100.59 c nbDecision=84000 #constraints=8371 101.56/101.66 c nbDecision=84500 #constraints=8410 102.66/102.71 c nbDecision=85000 #constraints=8456 103.76/103.88 c nbDecision=85500 #constraints=8507 104.86/104.93 c nbDecision=86000 #constraints=8546 106.26/106.35 c nbDecision=86500 #constraints=8597 107.36/107.46 c nbDecision=87000 #constraints=8634 108.76/108.87 c nbDecision=87500 #constraints=8682 110.06/110.13 c nbDecision=88000 #constraints=8722 111.16/111.21 c nbDecision=88500 #constraints=8763 112.35/112.46 c nbDecision=89000 #constraints=8799 113.66/113.71 c nbDecision=89500 #constraints=8843 114.76/114.84 c nbDecision=90000 #constraints=8876 116.16/116.21 c nbDecision=90500 #constraints=8913 117.66/117.74 c nbDecision=91000 #constraints=8967 119.06/119.18 c nbDecision=91500 #constraints=9017 120.46/120.54 c nbDecision=92000 #constraints=9060 121.66/121.77 c nbDecision=92500 #constraints=9100 122.85/122.98 c nbDecision=93000 #constraints=9139 123.95/124.01 c nbDecision=93500 #constraints=9177 125.05/125.13 c nbDecision=94000 #constraints=9220 126.16/126.23 c nbDecision=94500 #constraints=9258 127.26/127.38 c nbDecision=95000 #constraints=9300 128.46/128.54 c nbDecision=95500 #constraints=9337 129.76/129.81 c nbDecision=96000 #constraints=9378 130.76/130.81 c nbDecision=96500 #constraints=9413 131.96/132.08 c nbDecision=97000 #constraints=9463 133.15/133.27 c nbDecision=97500 #constraints=9498 134.45/134.50 c nbDecision=98000 #constraints=9540 135.85/135.95 c nbDecision=98500 #constraints=9587 136.85/136.93 c nbDecision=99000 #constraints=9614 137.95/138.04 c nbDecision=99500 #constraints=9648 139.05/139.17 c nbDecision=100000 #constraints=9685 140.55/140.66 c nbDecision=100500 #constraints=9734 141.85/141.93 c nbDecision=101000 #constraints=9768 142.85/142.99 c nbDecision=101500 #constraints=9798 144.26/144.36 c nbDecision=102000 #constraints=9843 145.45/145.52 c restart after 102401 decisions 145.95/146.08 c nbDecision=102500 #constraints=9881 146.05/146.13 c nbDecision=103000 #constraints=9881 146.05/146.18 c nbDecision=103500 #constraints=9881 146.55/146.60 c nbDecision=104000 #constraints=9881 146.75/146.89 c nbDecision=104500 #constraints=9913 148.05/148.19 c nbDecision=105000 #constraints=9961 149.35/149.45 c nbDecision=105500 #constraints=10001 150.55/150.65 c nbDecision=106000 #constraints=10045 151.95/152.06 c nbDecision=106500 #constraints=10089 153.25/153.36 c nbDecision=107000 #constraints=10133 154.75/154.81 c nbDecision=107500 #constraints=10181 156.45/156.54 c nbDecision=108000 #constraints=10231 158.04/158.17 c nbDecision=108500 #constraints=10275 159.54/159.61 c nbDecision=109000 #constraints=10318 160.84/160.97 c nbDecision=109500 #constraints=10363 162.84/162.97 c nbDecision=110000 #constraints=10416 164.64/164.77 c nbDecision=110500 #constraints=10478 166.44/166.51 c nbDecision=111000 #constraints=10533 167.74/167.88 c nbDecision=111500 #constraints=10579 169.05/169.13 c nbDecision=112000 #constraints=10634 170.65/170.71 c nbDecision=112500 #constraints=10687 172.35/172.45 c nbDecision=113000 #constraints=10738 173.95/174.04 c nbDecision=113500 #constraints=10776 175.54/175.66 c nbDecision=114000 #constraints=10825 178.14/178.29 c nbDecision=114500 #constraints=10900 179.74/179.87 c nbDecision=115000 #constraints=10935 181.34/181.47 c nbDecision=115500 #constraints=10984 183.34/183.43 c nbDecision=116000 #constraints=11032 185.24/185.36 c nbDecision=116500 #constraints=11079 187.44/187.51 c nbDecision=117000 #constraints=11127 189.84/189.92 c nbDecision=117500 #constraints=11180 192.03/192.15 c nbDecision=118000 #constraints=11231 194.04/194.15 c nbDecision=118500 #constraints=11274 196.14/196.23 c nbDecision=119000 #constraints=11319 198.04/198.12 c nbDecision=119500 #constraints=11363 199.84/199.93 c nbDecision=120000 #constraints=11418 202.04/202.19 c nbDecision=120500 #constraints=11469 203.34/203.45 c nbDecision=121000 #constraints=11506 205.23/205.31 c nbDecision=121500 #constraints=11546 207.43/207.54 c nbDecision=122000 #constraints=11590 209.43/209.60 c nbDecision=122500 #constraints=11633 211.53/211.61 c nbDecision=123000 #constraints=11674 213.43/213.57 c nbDecision=123500 #constraints=11717 214.83/214.91 c nbDecision=124000 #constraints=11747 216.43/216.55 c nbDecision=124500 #constraints=11785 219.13/219.28 c nbDecision=125000 #constraints=11842 221.33/221.41 c nbDecision=125500 #constraints=11898 223.13/223.20 c nbDecision=126000 #constraints=11937 225.13/225.30 c nbDecision=126500 #constraints=11983 227.53/227.69 c nbDecision=127000 #constraints=12030 229.83/229.93 c nbDecision=127500 #constraints=12079 231.72/231.84 c nbDecision=128000 #constraints=12122 233.52/233.63 c nbDecision=128500 #constraints=12166 235.42/235.53 c nbDecision=129000 #constraints=12213 237.32/237.44 c nbDecision=129500 #constraints=12254 239.83/239.90 c nbDecision=130000 #constraints=12303 241.43/241.51 c nbDecision=130500 #constraints=12342 243.33/243.47 c nbDecision=131000 #constraints=12378 245.23/245.37 c nbDecision=131500 #constraints=12418 247.53/247.63 c nbDecision=132000 #constraints=12467 249.43/249.51 c nbDecision=132500 #constraints=12508 251.62/251.75 c nbDecision=133000 #constraints=12555 253.52/253.61 c nbDecision=133500 #constraints=12595 255.52/255.64 c nbDecision=134000 #constraints=12636 257.42/257.58 c nbDecision=134500 #constraints=12679 259.52/259.65 c nbDecision=135000 #constraints=12728 261.12/261.23 c nbDecision=135500 #constraints=12767 263.12/263.28 c nbDecision=136000 #constraints=12809 264.82/264.99 c nbDecision=136500 #constraints=12846 267.12/267.23 c nbDecision=137000 #constraints=12889 269.12/269.28 c nbDecision=137500 #constraints=12930 271.01/271.15 c nbDecision=138000 #constraints=12971 272.81/272.93 c nbDecision=138500 #constraints=13018 275.01/275.18 c nbDecision=139000 #constraints=13075 276.92/277.05 c nbDecision=139500 #constraints=13119 278.32/278.49 c nbDecision=140000 #constraints=13152 280.62/280.79 c nbDecision=140500 #constraints=13216 282.91/283.05 c nbDecision=141000 #constraints=13266 284.72/284.82 c nbDecision=141500 #constraints=13308 286.61/286.72 c nbDecision=142000 #constraints=13362 288.31/288.49 c nbDecision=142500 #constraints=13406 290.21/290.36 c nbDecision=143000 #constraints=13456 292.21/292.38 c nbDecision=143500 #constraints=13510 294.00/294.15 c nbDecision=144000 #constraints=13549 295.60/295.74 c nbDecision=144500 #constraints=13585 297.50/297.66 c nbDecision=145000 #constraints=13622 299.30/299.41 c nbDecision=145500 #constraints=13659 301.41/301.59 c nbDecision=146000 #constraints=13712 303.61/303.76 c nbDecision=146500 #constraints=13760 305.51/305.66 c nbDecision=147000 #constraints=13804 307.71/307.86 c nbDecision=147500 #constraints=13852 309.81/309.96 c nbDecision=148000 #constraints=13900 311.91/312.07 c nbDecision=148500 #constraints=13947 313.41/313.58 c nbDecision=149000 #constraints=13979 315.40/315.59 c nbDecision=149500 #constraints=14028 317.30/317.46 c nbDecision=150000 #constraints=14066 319.20/319.34 c nbDecision=150500 #constraints=14114 321.80/321.95 c nbDecision=151000 #constraints=14167 323.90/324.07 c nbDecision=151500 #constraints=14218 326.10/326.22 c nbDecision=152000 #constraints=14267 328.10/328.28 c nbDecision=152500 #constraints=14305 330.50/330.67 c nbDecision=153000 #constraints=14356 332.30/332.45 c nbDecision=153500 #constraints=14394 334.09/334.26 c nbDecision=154000 #constraints=14435 336.69/336.81 c nbDecision=154500 #constraints=14485 338.99/339.19 c nbDecision=155000 #constraints=14533 341.50/341.69 c nbDecision=155500 #constraints=14585 343.80/343.99 c nbDecision=156000 #constraints=14638 346.50/346.61 c nbDecision=156500 #constraints=14689 348.60/348.77 c nbDecision=157000 #constraints=14744 350.59/350.71 c nbDecision=157500 #constraints=14793 353.59/353.75 c nbDecision=158000 #constraints=14856 356.09/356.26 c nbDecision=158500 #constraints=14911 358.39/358.54 c nbDecision=159000 #constraints=14967 360.19/360.37 c nbDecision=159500 #constraints=15003 362.29/362.43 c nbDecision=160000 #constraints=15044 364.79/364.98 c nbDecision=160500 #constraints=15097 367.69/367.85 c nbDecision=161000 #constraints=15161 369.79/369.96 c nbDecision=161500 #constraints=15208 371.69/371.88 c nbDecision=162000 #constraints=15243 373.99/374.13 c nbDecision=162500 #constraints=15284 376.79/376.97 c nbDecision=163000 #constraints=15334 378.99/379.12 c nbDecision=163500 #constraints=15373 380.79/380.92 c nbDecision=164000 #constraints=15405 382.98/383.11 c nbDecision=164500 #constraints=15444 384.89/385.02 c nbDecision=165000 #constraints=15481 387.38/387.59 c nbDecision=165500 #constraints=15535 389.08/389.20 c nbDecision=166000 #constraints=15564 391.28/391.44 c nbDecision=166500 #constraints=15604 393.29/393.46 c nbDecision=167000 #constraints=15637 395.49/395.70 c nbDecision=167500 #constraints=15677 397.68/397.85 c nbDecision=168000 #constraints=15715 400.08/400.26 c nbDecision=168500 #constraints=15763 402.39/402.53 c nbDecision=169000 #constraints=15801 404.69/404.82 c nbDecision=169500 #constraints=15843 407.18/407.37 c nbDecision=170000 #constraints=15892 409.88/410.01 c nbDecision=170500 #constraints=15943 411.98/412.17 c nbDecision=171000 #constraints=15980 413.88/414.03 c nbDecision=171500 #constraints=16015 416.68/416.81 c nbDecision=172000 #constraints=16065 419.07/419.21 c nbDecision=172500 #constraints=16107 421.27/421.47 c nbDecision=173000 #constraints=16145 423.57/423.71 c nbDecision=173500 #constraints=16185 426.18/426.32 c nbDecision=174000 #constraints=16232 428.68/428.84 c nbDecision=174500 #constraints=16279 430.98/431.12 c nbDecision=175000 #constraints=16320 433.67/433.82 c nbDecision=175500 #constraints=16371 436.48/436.61 c nbDecision=176000 #constraints=16425 438.47/438.65 c nbDecision=176500 #constraints=16467 441.17/441.34 c nbDecision=177000 #constraints=16521 443.17/443.32 c nbDecision=177500 #constraints=16560 446.17/446.36 c nbDecision=178000 #constraints=16620 449.16/449.31 c nbDecision=178500 #constraints=16666 451.56/451.76 c nbDecision=179000 #constraints=16708 454.17/454.35 c nbDecision=179500 #constraints=16751 457.06/457.29 c nbDecision=180000 #constraints=16802 459.16/459.33 c nbDecision=180500 #constraints=16842 461.16/461.37 c nbDecision=181000 #constraints=16874 463.36/463.59 c nbDecision=181500 #constraints=16913 466.07/466.25 c nbDecision=182000 #constraints=16953 468.56/468.70 c nbDecision=182500 #constraints=16991 470.96/471.12 c nbDecision=183000 #constraints=17035 472.96/473.19 c nbDecision=183500 #constraints=17075 475.76/475.90 c nbDecision=184000 #constraints=17116 478.16/478.40 c nbDecision=184500 #constraints=17154 480.57/480.71 c nbDecision=185000 #constraints=17190 482.96/483.15 c nbDecision=185500 #constraints=17230 485.26/485.41 c nbDecision=186000 #constraints=17264 487.36/487.55 c nbDecision=186500 #constraints=17297 489.76/489.96 c nbDecision=187000 #constraints=17341 491.86/492.01 c nbDecision=187500 #constraints=17373 494.15/494.38 c nbDecision=188000 #constraints=17422 496.55/496.74 c nbDecision=188500 #constraints=17465 499.26/499.49 c nbDecision=189000 #constraints=17510 501.05/501.25 c nbDecision=189500 #constraints=17544 503.45/503.69 c nbDecision=190000 #constraints=17583 505.85/506.08 c nbDecision=190500 #constraints=17624 508.05/508.26 c nbDecision=191000 #constraints=17662 510.65/510.87 c nbDecision=191500 #constraints=17707 512.95/513.17 c nbDecision=192000 #constraints=17751 516.55/516.79 c nbDecision=192500 #constraints=17814 519.55/519.74 c nbDecision=193000 #constraints=17859 521.95/522.16 c nbDecision=193500 #constraints=17893 524.45/524.66 c nbDecision=194000 #constraints=17928 526.95/527.11 c nbDecision=194500 #constraints=17964 529.65/529.87 c nbDecision=195000 #constraints=18010 532.45/532.60 c nbDecision=195500 #constraints=18050 535.34/535.51 c nbDecision=196000 #constraints=18088 538.44/538.60 c nbDecision=196500 #constraints=18137 540.14/540.30 c nbDecision=197000 #constraints=18164 543.14/543.33 c nbDecision=197500 #constraints=18223 545.54/545.74 c nbDecision=198000 #constraints=18262 548.54/548.73 c nbDecision=198500 #constraints=18304 551.64/551.88 c nbDecision=199000 #constraints=18359 554.64/554.85 c nbDecision=199500 #constraints=18403 557.63/557.84 c nbDecision=200000 #constraints=18449 560.93/561.19 c nbDecision=200500 #constraints=18496 563.93/564.13 c nbDecision=201000 #constraints=18539 567.33/567.56 c nbDecision=201500 #constraints=18592 569.33/569.50 c nbDecision=202000 #constraints=18623 572.04/572.21 c nbDecision=202500 #constraints=18666 575.14/575.31 c nbDecision=203000 #constraints=18717 578.03/578.24 c nbDecision=203500 #constraints=18760 580.03/580.25 c nbDecision=204000 #constraints=18791 582.73/582.93 c nbDecision=204500 #constraints=18842 583.93/584.12 c restart after 204801 decisions 585.13/585.34 c nbDecision=205000 #constraints=18861 585.13/585.38 c nbDecision=205500 #constraints=18861 585.53/585.74 c nbDecision=206000 #constraints=18861 586.13/586.30 c nbDecision=206500 #constraints=18861 588.43/588.67 c nbDecision=207000 #constraints=18954 590.53/590.79 c nbDecision=207500 #constraints=19022 592.63/592.83 c nbDecision=208000 #constraints=19068 594.93/595.11 c nbDecision=208500 #constraints=19182 597.22/597.42 c nbDecision=209000 #constraints=19246 599.42/599.62 c nbDecision=209500 #constraints=19312 601.43/601.67 c nbDecision=210000 #constraints=19358 604.02/604.26 c nbDecision=210500 #constraints=19442 605.82/606.07 c nbDecision=211000 #constraints=19549 607.52/607.76 c nbDecision=211500 #constraints=20030 609.61/609.84 c nbDecision=212000 #constraints=20462 611.72/611.93 c nbDecision=212500 #constraints=20623 614.62/614.81 c nbDecision=213000 #constraints=20848 616.62/616.85 c nbDecision=213500 #constraints=21110 618.71/618.96 c nbDecision=214000 #constraints=21419 620.62/620.89 c nbDecision=214500 #constraints=21704 624.92/625.18 c nbDecision=215000 #constraints=22100 628.32/628.57 c nbDecision=215500 #constraints=22419 632.81/633.08 c nbDecision=216000 #constraints=22766 637.51/637.72 c nbDecision=216500 #constraints=23098 642.31/642.59 c nbDecision=217000 #constraints=23408 647.21/647.45 c nbDecision=217500 #constraints=23689 652.30/652.58 c nbDecision=218000 #constraints=23974 658.10/658.31 c nbDecision=218500 #constraints=24264 662.80/663.00 c nbDecision=219000 #constraints=24538 666.91/667.13 c nbDecision=219500 #constraints=24766 668.51/668.75 c nbDecision=220000 #constraints=24946 670.30/670.53 c nbDecision=220500 #constraints=25129 672.20/672.42 c nbDecision=221000 #constraints=25340 676.40/676.66 c nbDecision=221500 #constraints=25475 681.80/682.02 c nbDecision=222000 #constraints=25639 686.10/686.35 c nbDecision=222500 #constraints=25853 689.90/690.19 c nbDecision=223000 #constraints=26063 694.39/694.64 c nbDecision=223500 #constraints=26265 698.80/699.00 c nbDecision=224000 #constraints=26475 702.70/702.99 c nbDecision=224500 #constraints=26668 707.29/707.57 c nbDecision=225000 #constraints=26847 711.99/712.25 c nbDecision=225500 #constraints=27029 716.18/716.43 c nbDecision=226000 #constraints=27214 721.57/721.86 c nbDecision=226500 #constraints=27443 724.87/725.16 c nbDecision=227000 #constraints=27589 728.36/728.68 c nbDecision=227500 #constraints=27741 732.54/732.80 c nbDecision=228000 #constraints=27907 736.64/736.95 c nbDecision=228500 #constraints=28069 742.72/743.09 c nbDecision=229000 #constraints=28276 747.01/747.34 c nbDecision=229500 #constraints=28438 753.80/754.16 c nbDecision=230000 #constraints=28657 758.40/758.74 c nbDecision=230500 #constraints=28818 763.20/763.56 c nbDecision=231000 #constraints=28983 768.09/768.49 c nbDecision=231500 #constraints=29147 774.99/775.38 c nbDecision=232000 #constraints=29346 779.98/780.31 c nbDecision=232500 #constraints=29510 786.39/786.71 c nbDecision=233000 #constraints=29701 791.49/791.84 c nbDecision=233500 #constraints=29858 796.28/796.66 c nbDecision=234000 #constraints=30019 800.68/801.01 c nbDecision=234500 #constraints=30168 805.07/805.46 c nbDecision=235000 #constraints=30332 810.68/811.04 c nbDecision=235500 #constraints=30514 815.67/816.01 c nbDecision=236000 #constraints=30679 821.07/821.41 c nbDecision=236500 #constraints=30840 825.68/826.09 c nbDecision=237000 #constraints=31014 830.27/830.69 c nbDecision=237500 #constraints=31181 835.97/836.31 c nbDecision=238000 #constraints=31348 843.07/843.43 c nbDecision=238500 #constraints=31543 848.07/848.44 c nbDecision=239000 #constraints=31696 852.77/853.12 c nbDecision=239500 #constraints=31869 858.16/858.55 c nbDecision=240000 #constraints=32031 862.36/862.77 c nbDecision=240500 #constraints=32171 867.76/868.13 c nbDecision=241000 #constraints=32342 873.46/873.84 c nbDecision=241500 #constraints=32510 880.16/880.54 c nbDecision=242000 #constraints=32703 885.06/885.49 c nbDecision=242500 #constraints=32865 891.25/891.67 c nbDecision=243000 #constraints=33031 897.76/898.16 c nbDecision=243500 #constraints=33220 902.45/902.80 c nbDecision=244000 #constraints=33373 908.05/908.42 c nbDecision=244500 #constraints=33549 914.24/914.62 c nbDecision=245000 #constraints=33723 919.95/920.35 c nbDecision=245500 #constraints=33881 925.75/926.13 c nbDecision=246000 #constraints=34037 932.95/933.34 c nbDecision=246500 #constraints=34227 939.54/939.96 c nbDecision=247000 #constraints=34377 946.14/946.50 c nbDecision=247500 #constraints=34545 953.94/954.36 c nbDecision=248000 #constraints=34709 960.54/960.90 c nbDecision=248500 #constraints=34865 968.13/968.56 c nbDecision=249000 #constraints=35038 975.73/976.19 c nbDecision=249500 #constraints=35209 982.43/982.85 c nbDecision=250000 #constraints=35363 988.43/988.81 c nbDecision=250500 #constraints=35508 995.13/995.58 c nbDecision=251000 #constraints=35672 1003.02/1003.41 c nbDecision=251500 #constraints=35857 1009.82/1010.22 c nbDecision=252000 #constraints=36005 1018.52/1018.98 c nbDecision=252500 #constraints=36180 1025.82/1026.26 c nbDecision=253000 #constraints=36343 1034.72/1035.16 c nbDecision=253500 #constraints=36512 1042.71/1043.17 c nbDecision=254000 #constraints=36669 1051.51/1051.99 c nbDecision=254500 #constraints=36848 1061.11/1061.50 c nbDecision=255000 #constraints=37031 1070.70/1071.18 c nbDecision=255500 #constraints=37237 1079.59/1080.02 c nbDecision=256000 #constraints=37398 1088.20/1088.68 c nbDecision=256500 #constraints=37562 1096.09/1096.50 c nbDecision=257000 #constraints=37726 1106.89/1107.35 c nbDecision=257500 #constraints=37910 1116.19/1116.60 c nbDecision=258000 #constraints=38103 1124.79/1125.29 c nbDecision=258500 #constraints=38265 1134.89/1135.30 c nbDecision=259000 #constraints=38445 1145.68/1146.14 c nbDecision=259500 #constraints=38622 1156.68/1157.18 c nbDecision=260000 #constraints=38815 1167.47/1167.92 c nbDecision=260500 #constraints=38996 1177.37/1177.80 c nbDecision=261000 #constraints=39166 1185.77/1186.29 c nbDecision=261500 #constraints=39316 1193.17/1193.60 c nbDecision=262000 #constraints=39467 1202.86/1203.35 c nbDecision=262500 #constraints=39632 1213.26/1213.71 c nbDecision=263000 #constraints=39820 1222.36/1222.84 c nbDecision=263500 #constraints=39979 1232.05/1232.50 c nbDecision=264000 #constraints=40145 1241.55/1242.08 c nbDecision=264500 #constraints=40307 1252.35/1252.81 c nbDecision=265000 #constraints=40503 1263.35/1263.83 c nbDecision=265500 #constraints=40694 1271.84/1272.36 c nbDecision=266000 #constraints=40853 1280.43/1280.90 c nbDecision=266500 #constraints=41015 1289.24/1289.73 c nbDecision=267000 #constraints=41192 1300.44/1300.91 c nbDecision=267500 #constraints=41360 1313.03/1313.51 c nbDecision=268000 #constraints=41526 1327.53/1328.07 c nbDecision=268500 #constraints=41712 1340.03/1340.51 c nbDecision=269000 #constraints=41883 1354.12/1354.67 c nbDecision=269500 #constraints=42075 1364.52/1365.02 c nbDecision=270000 #constraints=42228 1375.91/1376.43 c nbDecision=270500 #constraints=42385 1386.11/1386.62 c nbDecision=271000 #constraints=42532 1399.41/1399.94 c nbDecision=271500 #constraints=42717 1411.71/1412.20 c nbDecision=272000 #constraints=42883 1425.01/1425.55 c nbDecision=272500 #constraints=43051 1435.80/1436.36 c nbDecision=273000 #constraints=43209 1447.00/1447.56 c nbDecision=273500 #constraints=43354 1459.39/1459.99 c nbDecision=274000 #constraints=43534 1469.89/1470.49 c nbDecision=274500 #constraints=43685 1480.08/1480.62 c nbDecision=275000 #constraints=43842 1490.78/1491.36 c nbDecision=275500 #constraints=44001 1502.68/1503.23 c nbDecision=276000 #constraints=44162 1515.57/1516.19 c nbDecision=276500 #constraints=44329 1526.58/1527.16 c nbDecision=277000 #constraints=44477 1538.77/1539.39 c nbDecision=277500 #constraints=44655 1553.17/1553.73 c nbDecision=278000 #constraints=44824 1567.06/1567.61 c nbDecision=278500 #constraints=44991 1579.26/1579.90 c nbDecision=279000 #constraints=45152 1590.25/1590.84 c nbDecision=279500 #constraints=45305 1602.85/1603.47 c nbDecision=280000 #constraints=45471 1613.65/1614.25 c nbDecision=280500 #constraints=45610 1625.74/1626.30 c nbDecision=281000 #constraints=45764 1638.24/1638.82 c nbDecision=281500 #constraints=45927 1650.84/1651.40 c nbDecision=282000 #constraints=46094 1664.83/1665.41 c nbDecision=282500 #constraints=46260 1678.43/1679.05 c nbDecision=283000 #constraints=46429 1689.82/1690.41 c nbDecision=283500 #constraints=46575 1701.23/1701.87 c nbDecision=284000 #constraints=46729 1715.12/1715.73 c nbDecision=284500 #constraints=46909 1726.32/1726.94 c nbDecision=285000 #constraints=47080 1739.01/1739.61 c nbDecision=285500 #constraints=47226 1750.41/1751.06 c nbDecision=286000 #constraints=47396 1763.51/1764.17 c nbDecision=286500 #constraints=47580 1778.20/1778.88 c nbDecision=287000 #constraints=47758 1794.30/1794.93 c nbDecision=287500 #constraints=47929 1800.00/1800.60 Received signal 15 1800.00/1800.68 1800.00/1800.68 s UNKNOWN 1800.00/1800.68 1800.00/1800.68 c user time= 1799.26 s 1800.00/1800.68 c system time= 0.826874 s 1800.00/1800.68 c wall clock time=1800.69
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-356969-1176850145 -o ROOT/results/node61/solver-356969-1176850145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356969-1176850145/instance-356969-1176850145.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.95 3/64 12219 /proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=1620 CPUtime=0 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 96978105 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 405 167 126 317 0 84 0 [startup+0.0551249 s] /proc/loadavg: 0.92 0.97 0.95 3/64 12219 /proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=2280 CPUtime=0.05 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 388 0 0 0 5 0 0 0 18 0 1 0 96978105 2334720 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 570 370 131 317 0 249 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2280 [startup+0.101129 s] /proc/loadavg: 0.92 0.97 0.95 3/64 12219 /proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=3080 CPUtime=0.09 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 584 0 0 0 9 0 0 0 18 0 1 0 96978105 3153920 566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 770 567 131 317 0 449 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3080 [startup+0.301148 s] /proc/loadavg: 0.92 0.97 0.95 3/64 12219 /proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=7492 CPUtime=0.29 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 1666 0 0 0 29 0 0 0 19 0 1 0 96978105 7671808 1648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 1873 1648 137 317 0 1552 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7492 [startup+0.701186 s] /proc/loadavg: 0.92 0.97 0.95 3/64 12219 /proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=8044 CPUtime=0.69 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 1800 0 0 0 69 0 0 0 22 0 1 0 96978105 8237056 1782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 2011 1782 139 317 0 1690 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8044 [startup+1.50126 s] /proc/loadavg: 0.92 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1793848/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=10272 CPUtime=1.49 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 2401 0 0 0 149 0 0 0 25 0 1 0 96978105 10518528 2383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 2568 2383 170 317 0 2247 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10272 [startup+3.10142 s] /proc/loadavg: 0.92 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1790264/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=14992 CPUtime=3.09 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 3565 0 0 0 308 1 0 0 25 0 1 0 96978105 15351808 3547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 3748 3547 170 317 0 3427 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14992 [startup+6.30272 s] /proc/loadavg: 0.93 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1781560/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=23600 CPUtime=6.29 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 5700 0 0 0 627 2 0 0 25 0 1 0 96978105 24166400 5682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 5900 5682 170 317 0 5579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23600 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1769784/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=33396 CPUtime=12.69 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 8156 0 0 0 1266 3 0 0 25 0 1 0 96978105 34197504 8138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 8349 8138 170 317 0 8028 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33396 [startup+25.5015 s] /proc/loadavg: 0.95 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1758520/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=45708 CPUtime=25.48 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 10897 0 0 0 2543 5 0 0 25 0 1 0 96978105 46804992 10879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 11427 10879 170 317 0 11106 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45708 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1742200/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=61804 CPUtime=51.08 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 14964 0 0 0 5099 9 0 0 25 0 1 0 96978105 63287296 14946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715652 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 15451 14946 170 317 0 15130 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61804 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1719992/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=84972 CPUtime=102.26 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 20437 0 0 0 10214 12 0 0 25 0 1 0 96978105 87011328 20419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 21243 20419 170 317 0 20922 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 84972 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1701752/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=101756 CPUtime=162.24 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 25059 0 0 0 16209 15 0 0 25 0 1 0 96978105 104198144 24983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 25439 24983 170 317 0 25118 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 101756 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1685048/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=121556 CPUtime=222.23 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 29207 0 0 0 22205 18 0 0 25 0 1 0 96978105 124473344 29131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 30389 29131 170 317 0 30068 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 121556 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1669240/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=140680 CPUtime=282.22 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 33194 0 0 0 28202 20 0 0 25 0 1 0 96978105 144056320 33118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 35170 33118 170 317 0 34849 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 140680 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1656056/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=152472 CPUtime=342.2 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 36433 0 0 0 34198 22 0 0 25 0 1 0 96978105 156131328 36357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 38118 36357 170 317 0 37797 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 152472 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1644472/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=163244 CPUtime=402.18 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 39338 0 0 0 40194 24 0 0 25 0 1 0 96978105 167161856 39262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 40811 39262 170 317 0 40490 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 163244 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1633848/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=173140 CPUtime=462.16 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 42097 0 0 0 46191 25 0 0 25 0 1 0 96978105 177295360 41906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 43285 41906 170 317 0 42964 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 173140 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1624312/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=181780 CPUtime=522.15 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 44498 0 0 0 52187 28 0 0 25 0 1 0 96978105 186142720 44307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 45445 44307 170 317 0 45124 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 181780 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1614968/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=190028 CPUtime=582.13 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 46808 0 0 0 58184 29 0 0 25 0 1 0 96978105 194588672 46617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 47507 46617 170 317 0 47186 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 190028 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12220 /proc/meminfo: memFree=1578680/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=233244 CPUtime=642.11 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 57443 0 0 0 64175 36 0 0 25 0 1 0 96978105 238841856 55635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 58311 55635 170 317 0 57990 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 233244 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1504952/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=303308 CPUtime=881.95 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 76437 0 0 0 88141 54 0 0 25 0 1 0 96978105 310587392 74002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 75827 74002 170 317 0 75506 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 303308 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1491896/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=316000 CPUtime=941.94 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 79965 0 0 0 94137 57 0 0 25 0 1 0 96978105 323584000 77270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 79000 77270 170 317 0 78679 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 316000 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1480568/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=327988 CPUtime=1001.92 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 83194 0 0 0 100133 59 0 0 25 0 1 0 96978105 335859712 80070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 81997 80070 170 317 0 81676 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 327988 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1470264/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=352964 CPUtime=1061.9 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 89103 0 0 0 106128 62 0 0 25 0 1 0 96978105 361435136 82664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 88241 82664 170 317 0 87920 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 352964 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1460984/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=366220 CPUtime=1121.89 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 92575 0 0 0 112125 64 0 0 25 0 1 0 96978105 375009280 84964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 91555 84964 170 317 0 91234 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 366220 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1452920/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=373720 CPUtime=1181.87 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 94703 0 0 0 118120 67 0 0 25 0 1 0 96978105 382689280 86993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 93430 86993 170 317 0 93109 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 373720 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1444408/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=381804 CPUtime=1241.85 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 96955 0 0 0 124117 68 0 0 25 0 1 0 96978105 390967296 89115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 95451 89115 170 317 0 95130 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 381804 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1435768/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=389908 CPUtime=1301.84 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 99274 0 0 0 130114 70 0 0 25 0 1 0 96978105 399265792 91238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 97477 91238 170 317 0 97156 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 389908 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1429240/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=395940 CPUtime=1361.81 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 100975 0 0 0 136110 71 0 0 25 0 1 0 96978105 405442560 92874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 98985 92874 170 317 0 98664 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 395940 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1422520/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=401856 CPUtime=1421.81 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 102686 0 0 0 142108 73 0 0 25 0 1 0 96978105 411500544 94520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 100464 94520 170 317 0 100143 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 401856 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1415928/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=408028 CPUtime=1481.78 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 104350 0 0 0 148104 74 0 0 25 0 1 0 96978105 417820672 96184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 102007 96184 170 317 0 101686 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 408028 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1408952/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=414244 CPUtime=1541.76 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 106195 0 0 0 154100 76 0 0 25 0 1 0 96978105 424185856 97899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 103561 97899 170 317 0 103240 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 414244 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1403192/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=420392 CPUtime=1601.75 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 107846 0 0 0 160097 78 0 0 25 0 1 0 96978105 430481408 99355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 105098 99355 170 317 0 104777 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 420392 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1396856/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=426736 CPUtime=1661.73 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 109669 0 0 0 166094 79 0 0 25 0 1 0 96978105 436977664 100918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 106684 100918 170 317 0 106363 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 426736 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1390776/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=432760 CPUtime=1721.72 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 111321 0 0 0 172091 81 0 0 25 0 1 0 96978105 443146240 102440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 108190 102440 170 317 0 107869 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 432760 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1384312/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=439040 CPUtime=1781.7 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 113160 0 0 0 178088 82 0 0 25 0 1 0 96978105 449576960 104051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 109760 104051 170 317 0 109439 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 439040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1382712/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=440588 CPUtime=1800 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 113544 0 0 0 179918 82 0 0 25 0 1 0 96978105 451162112 104435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 110147 104435 170 317 0 109826 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 440588 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: 0.99 0.97 0.95 2/65 12418 /proc/meminfo: memFree=1382712/2055920 swapFree=4181928/4192956 [pid=12219] ppid=12217 vsize=0 CPUtime=1800.1 /proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194308 113560 0 0 0 179927 83 0 0 25 0 1 0 96978105 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12219/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.17 CPU user time (s): 1799.28 CPU system time (s): 0.890864 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 440588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.890864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113560 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= 4607 runsolver used 1.37779 second user time and 3.64345 second system time The end
Begin job on node61 on Tue Apr 17 22:49:05 UTC 2007 IDJOB= 356969 IDBENCH= 1706 IDSOLVER= 172 FILE ID= node61/356969-1176850145 PBS_JOBID= 4590191 Free space on /tmp= 66509 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-agg3.opb COMMAND LINE= oree /tmp/evaluation/356969-1176850145/instance-356969-1176850145.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-356969-1176850145 -o ROOT/results/node61/solver-356969-1176850145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356969-1176850145/instance-356969-1176850145.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2fc9de6105f21066ef788431e0787cd8 RANDOM SEED= 382373456 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1801880 kB Buffers: 20568 kB Cached: 192240 kB SwapCached: 5336 kB Active: 105848 kB Inactive: 119060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801880 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 2196 kB Writeback: 0 kB Mapped: 15336 kB Slab: 15220 kB Committed_AS: 779404 kB PageTables: 1388 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= 66509 MiB End job on node61 on Tue Apr 17 23:19:07 UTC 2007