Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos20.opb |
MD5SUM | d5ea3d9967a24b7bed67317421f8b87e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -468992 |
Best CPU time to get the best result obtained on this benchmark | 4.34934 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -468992 |
Optimality of the best value was proved | YES |
Number of variables | 8411 |
Total number of constraints | 2456 |
Number of constraints which are clauses | 412 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 1618 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 5368709115 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 171798691840 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 344670818303 |
Number of bits of the biggest sum of numbers | 39 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.12 c ...done 0.09/0.12 c #vars=8411 #constraints=3210 hasObjective=yes 0.09/0.14 c res. mode=mod 0.09/0.14 c VSIDS like heuristics 0.09/0.14 c complete search running 0.19/0.25 c restart after 401 decisions 0.19/0.28 c nbDecision=500 #constraints=3260 0.29/0.36 c restart after 801 decisions 0.39/0.41 c nbDecision=1000 #constraints=3283 0.49/0.54 c nbDecision=1500 #constraints=3307 0.49/0.56 c restart after 1601 decisions 0.59/0.66 c nbDecision=2000 #constraints=3329 0.69/0.78 c nbDecision=2500 #constraints=3352 0.89/0.97 c nbDecision=3000 #constraints=3386 0.99/1.03 c restart after 3201 decisions 1.29/1.32 c nbDecision=3500 #constraints=3417 1.59/1.68 c nbDecision=4000 #constraints=3449 2.39/2.47 c nbDecision=4500 #constraints=3490 2.89/2.98 c nbDecision=5000 #constraints=3517 3.09/3.19 c nbDecision=5500 #constraints=3538 3.39/3.43 c nbDecision=6000 #constraints=3563 3.69/3.78 c restart after 6401 decisions 3.79/3.83 c nbDecision=6500 #constraints=3605 5.49/5.57 c nbDecision=7000 #constraints=3675 6.29/6.32 c nbDecision=7500 #constraints=3724 7.39/7.46 c nbDecision=8000 #constraints=3785 8.29/8.31 c nbDecision=8500 #constraints=3829 9.29/9.30 c nbDecision=9000 #constraints=3879 9.99/10.01 c nbDecision=9500 #constraints=3925 10.59/10.63 c nbDecision=10000 #constraints=3951 11.09/11.19 c nbDecision=10500 #constraints=3991 12.10/12.13 c nbDecision=11000 #constraints=4037 13.59/13.67 c nbDecision=11500 #constraints=4083 14.69/14.78 c nbDecision=12000 #constraints=4136 15.99/16.07 c nbDecision=12500 #constraints=4204 17.08/17.16 c restart after 12801 decisions 17.38/17.49 c nbDecision=13000 #constraints=4266 20.48/20.57 c nbDecision=13500 #constraints=4342 21.78/21.85 c nbDecision=14000 #constraints=4403 23.59/23.66 c nbDecision=14500 #constraints=4467 24.89/24.97 c nbDecision=15000 #constraints=4532 26.69/26.74 c nbDecision=15500 #constraints=4591 28.49/28.51 c nbDecision=16000 #constraints=4645 30.18/30.25 c nbDecision=16500 #constraints=4700 31.79/31.80 c nbDecision=17000 #constraints=4757 34.58/34.61 c nbDecision=17500 #constraints=4828 36.88/36.95 c nbDecision=18000 #constraints=4887 38.88/38.94 c nbDecision=18500 #constraints=4941 43.18/43.23 c nbDecision=19000 #constraints=5065 45.48/45.57 c nbDecision=19500 #constraints=5142 47.78/47.80 c nbDecision=20000 #constraints=5242 52.78/52.86 c nbDecision=20500 #constraints=5356 55.68/55.71 c nbDecision=21000 #constraints=5450 59.38/59.44 c nbDecision=21500 #constraints=5531 61.98/62.01 c nbDecision=22000 #constraints=5626 63.68/63.70 c nbDecision=22500 #constraints=5689 63.68/63.79 c nbDecision=23000 #constraints=5736 63.78/63.88 c nbDecision=23500 #constraints=5780 63.87/63.97 c nbDecision=24000 #constraints=5822 63.97/64.06 c nbDecision=24500 #constraints=5869 64.07/64.16 c nbDecision=25000 #constraints=5921 64.17/64.26 c nbDecision=25500 #constraints=5975 64.17/64.28 c restart after 25601 decisions 64.37/64.44 c nbDecision=26000 #constraints=6008 64.47/64.52 c nbDecision=26500 #constraints=6034 64.47/64.59 c nbDecision=27000 #constraints=6064 64.57/64.65 c nbDecision=27500 #constraints=6083 64.67/64.72 c nbDecision=28000 #constraints=6104 64.67/64.77 c nbDecision=28500 #constraints=6119 64.78/64.86 c nbDecision=29000 #constraints=6153 64.88/64.96 c nbDecision=29500 #constraints=6195 64.97/65.05 c nbDecision=30000 #constraints=6236 65.07/65.13 c nbDecision=30500 #constraints=6265 65.17/65.21 c nbDecision=31000 #constraints=6291 65.17/65.29 c nbDecision=31500 #constraints=6310 65.27/65.36 c nbDecision=32000 #constraints=6331 65.37/65.47 c nbDecision=32500 #constraints=6366 65.47/65.56 c nbDecision=33000 #constraints=6389 65.57/65.63 c nbDecision=33500 #constraints=6410 65.67/65.70 c nbDecision=34000 #constraints=6433 65.67/65.79 c nbDecision=34500 #constraints=6465 65.77/65.87 c nbDecision=35000 #constraints=6487 65.88/65.97 c nbDecision=35500 #constraints=6530 65.98/66.08 c nbDecision=36000 #constraints=6568 66.07/66.18 c nbDecision=36500 #constraints=6602 66.17/66.26 c nbDecision=37000 #constraints=6628 66.27/66.36 c nbDecision=37500 #constraints=6650 66.37/66.47 c nbDecision=38000 #constraints=6688 66.57/66.60 c nbDecision=38500 #constraints=6740 66.67/66.75 c nbDecision=39000 #constraints=6786 66.77/66.83 c nbDecision=39500 #constraints=6808 66.87/66.94 c nbDecision=40000 #constraints=6843 66.97/67.04 c nbDecision=40500 #constraints=6872 67.07/67.13 c nbDecision=41000 #constraints=6895 67.17/67.23 c nbDecision=41500 #constraints=6931 67.27/67.35 c nbDecision=42000 #constraints=6970 67.37/67.46 c nbDecision=42500 #constraints=6998 67.47/67.56 c nbDecision=43000 #constraints=7029 67.57/67.68 c nbDecision=43500 #constraints=7064 67.67/67.79 c nbDecision=44000 #constraints=7093 67.87/67.90 c nbDecision=44500 #constraints=7126 67.97/68.04 c nbDecision=45000 #constraints=7166 68.07/68.17 c nbDecision=45500 #constraints=7203 68.27/68.30 c nbDecision=46000 #constraints=7239 68.37/68.45 c nbDecision=46500 #constraints=7276 68.47/68.58 c nbDecision=47000 #constraints=7311 68.67/68.73 c nbDecision=47500 #constraints=7349 68.77/68.86 c nbDecision=48000 #constraints=7381 68.87/68.98 c nbDecision=48500 #constraints=7410 69.07/69.14 c nbDecision=49000 #constraints=7449 69.27/69.33 c nbDecision=49500 #constraints=7498 69.47/69.53 c nbDecision=50000 #constraints=7544 69.67/69.71 c nbDecision=50500 #constraints=7587 69.87/69.95 c nbDecision=51000 #constraints=7645 69.87/69.98 c restart after 51201 decisions 70.07/70.18 c nbDecision=51500 #constraints=7672 70.27/70.38 c nbDecision=52000 #constraints=7730 70.58/70.60 c nbDecision=52500 #constraints=7792 70.78/70.85 c nbDecision=53000 #constraints=7857 70.98/71.05 c nbDecision=53500 #constraints=7904 71.17/71.21 c nbDecision=54000 #constraints=7941 71.27/71.39 c nbDecision=54500 #constraints=7978 71.48/71.55 c nbDecision=55000 #constraints=8008 71.97/72.10 c nbDecision=55500 #constraints=8051 72.27/72.30 c nbDecision=56000 #constraints=8093 72.37/72.49 c nbDecision=56500 #constraints=8138 72.67/72.72 c nbDecision=57000 #constraints=8185 72.97/73.00 c nbDecision=57500 #constraints=8235 73.17/73.26 c nbDecision=58000 #constraints=8279 73.47/73.53 c nbDecision=58500 #constraints=8332 73.67/73.75 c nbDecision=59000 #constraints=8375 73.97/74.01 c nbDecision=59500 #constraints=8426 74.07/74.16 c nbDecision=60000 #constraints=8452 74.27/74.38 c nbDecision=60500 #constraints=8491 74.47/74.59 c nbDecision=61000 #constraints=8523 74.87/74.90 c nbDecision=61500 #constraints=8569 75.17/75.23 c nbDecision=62000 #constraints=8629 75.47/75.53 c nbDecision=62500 #constraints=8683 75.77/75.81 c nbDecision=63000 #constraints=8730 76.07/76.11 c nbDecision=63500 #constraints=8780 76.37/76.43 c nbDecision=64000 #constraints=8839 76.67/76.78 c nbDecision=64500 #constraints=8905 77.07/77.18 c nbDecision=65000 #constraints=8976 77.37/77.49 c nbDecision=65500 #constraints=9021 77.88/77.92 c nbDecision=66000 #constraints=9096 78.18/78.25 c nbDecision=66500 #constraints=9144 78.48/78.59 c nbDecision=67000 #constraints=9198 78.88/78.95 c nbDecision=67500 #constraints=9250 79.27/79.34 c nbDecision=68000 #constraints=9312 79.67/79.76 c nbDecision=68500 #constraints=9376 80.07/80.12 c nbDecision=69000 #constraints=9428 80.47/80.55 c nbDecision=69500 #constraints=9499 80.87/80.97 c nbDecision=70000 #constraints=9559 81.28/81.35 c nbDecision=70500 #constraints=9611 81.77/81.80 c nbDecision=71000 #constraints=9668 82.07/82.15 c nbDecision=71500 #constraints=9712 82.48/82.52 c nbDecision=72000 #constraints=9761 82.97/83.02 c nbDecision=72500 #constraints=9824 83.57/83.60 c nbDecision=73000 #constraints=9890 84.07/84.19 c nbDecision=73500 #constraints=9966 84.77/84.81 c nbDecision=74000 #constraints=10049 85.27/85.38 c nbDecision=74500 #constraints=10117 85.77/85.85 c nbDecision=75000 #constraints=10161 86.27/86.36 c nbDecision=75500 #constraints=10209 86.77/86.81 c nbDecision=76000 #constraints=10256 87.27/87.39 c nbDecision=76500 #constraints=10320 87.87/87.91 c nbDecision=77000 #constraints=10374 88.37/88.42 c nbDecision=77500 #constraints=10428 88.98/89.07 c nbDecision=78000 #constraints=10510 89.57/89.64 c nbDecision=78500 #constraints=10561 90.08/90.15 c nbDecision=79000 #constraints=10612 90.57/90.65 c nbDecision=79500 #constraints=10659 91.07/91.15 c nbDecision=80000 #constraints=10706 91.87/91.98 c nbDecision=80500 #constraints=10775 92.47/92.58 c nbDecision=81000 #constraints=10827 93.07/93.14 c nbDecision=81500 #constraints=10883 93.47/93.59 c nbDecision=82000 #constraints=10923 94.07/94.14 c nbDecision=82500 #constraints=10977 94.57/94.64 c nbDecision=83000 #constraints=11025 95.17/95.22 c nbDecision=83500 #constraints=11072 95.67/95.80 c nbDecision=84000 #constraints=11117 96.27/96.36 c nbDecision=84500 #constraints=11165 96.96/97.02 c nbDecision=85000 #constraints=11221 98.36/98.40 c nbDecision=85500 #constraints=11325 99.16/99.27 c nbDecision=86000 #constraints=11392 99.76/99.83 c nbDecision=86500 #constraints=11439 100.46/100.53 c nbDecision=87000 #constraints=11496 101.07/101.20 c nbDecision=87500 #constraints=11562 101.66/101.74 c nbDecision=88000 #constraints=11610 102.17/102.30 c nbDecision=88500 #constraints=11662 102.76/102.89 c nbDecision=89000 #constraints=11715 103.37/103.41 c nbDecision=89500 #constraints=11754 104.17/104.22 c nbDecision=90000 #constraints=11805 104.97/105.04 c nbDecision=90500 #constraints=11869 105.96/106.10 c nbDecision=91000 #constraints=11945 107.46/107.59 c nbDecision=91500 #constraints=12049 108.66/108.79 c nbDecision=92000 #constraints=12126 110.77/110.86 c nbDecision=92500 #constraints=12239 112.17/112.22 c nbDecision=93000 #constraints=12326 113.06/113.14 c nbDecision=93500 #constraints=12393 113.96/114.09 c nbDecision=94000 #constraints=12459 114.96/115.04 c nbDecision=94500 #constraints=12520 115.76/115.85 c nbDecision=95000 #constraints=12576 116.56/116.69 c nbDecision=95500 #constraints=12646 117.56/117.63 c nbDecision=96000 #constraints=12708 118.66/118.71 c nbDecision=96500 #constraints=12781 119.36/119.44 c nbDecision=97000 #constraints=12832 120.36/120.40 c nbDecision=97500 #constraints=12895 121.46/121.56 c nbDecision=98000 #constraints=12954 122.46/122.51 c nbDecision=98500 #constraints=13005 123.96/124.06 c nbDecision=99000 #constraints=13096 124.96/125.08 c nbDecision=99500 #constraints=13156 126.56/126.65 c nbDecision=100000 #constraints=13245 127.96/128.09 c nbDecision=100500 #constraints=13317 129.16/129.29 c nbDecision=101000 #constraints=13391 130.05/130.16 c nbDecision=101500 #constraints=13449 130.65/130.75 c nbDecision=102000 #constraints=13483 131.35/131.47 c restart after 102401 decisions 131.86/131.99 c nbDecision=102500 #constraints=13545 132.85/132.99 c nbDecision=103000 #constraints=13604 133.66/133.79 c nbDecision=103500 #constraints=13649 134.76/134.84 c nbDecision=104000 #constraints=13703 136.36/136.44 c nbDecision=104500 #constraints=13786 137.26/137.37 c nbDecision=105000 #constraints=13836 138.26/138.37 c nbDecision=105500 #constraints=13894 139.36/139.49 c nbDecision=106000 #constraints=13954 140.36/140.44 c nbDecision=106500 #constraints=14004 141.66/141.76 c nbDecision=107000 #constraints=14075 142.56/142.62 c nbDecision=107500 #constraints=14122 144.26/144.31 c nbDecision=108000 #constraints=14204 145.06/145.16 c nbDecision=108500 #constraints=14247 146.26/146.38 c nbDecision=109000 #constraints=14307 147.15/147.29 c nbDecision=109500 #constraints=14354 148.25/148.40 c nbDecision=110000 #constraints=14406 149.35/149.40 c nbDecision=110500 #constraints=14457 150.75/150.83 c nbDecision=111000 #constraints=14511 152.95/153.04 c nbDecision=111500 #constraints=14610 155.55/155.64 c nbDecision=112000 #constraints=14713 158.15/158.22 c nbDecision=112500 #constraints=14806 159.25/159.35 c nbDecision=113000 #constraints=14849 162.05/162.15 c nbDecision=113500 #constraints=14947 164.45/164.56 c nbDecision=114000 #constraints=15039 165.75/165.82 c nbDecision=114500 #constraints=15101 167.15/167.29 c nbDecision=115000 #constraints=15161 168.45/168.50 c nbDecision=115500 #constraints=15209 170.45/170.53 c nbDecision=116000 #constraints=15278 171.85/171.93 c nbDecision=116500 #constraints=15344 173.25/173.39 c nbDecision=117000 #constraints=15409 175.15/175.22 c nbDecision=117500 #constraints=15486 178.05/178.12 c nbDecision=118000 #constraints=15594 181.45/181.54 c nbDecision=118500 #constraints=15713 184.14/184.24 c nbDecision=119000 #constraints=15819 187.54/187.62 c nbDecision=119500 #constraints=15928 190.34/190.44 c nbDecision=120000 #constraints=16035 192.24/192.33 c nbDecision=120500 #constraints=16105 195.34/195.43 c nbDecision=121000 #constraints=16218 200.54/200.69 c nbDecision=121500 #constraints=16378 203.44/203.52 c nbDecision=122000 #constraints=16471 206.34/206.46 c nbDecision=122500 #constraints=16569 209.54/209.68 c nbDecision=123000 #constraints=16694 211.94/212.06 c nbDecision=123500 #constraints=16782 216.23/216.38 c nbDecision=124000 #constraints=16911 220.43/220.53 c nbDecision=124500 #constraints=17034 222.43/222.52 c nbDecision=125000 #constraints=17105 226.03/226.13 c nbDecision=125500 #constraints=17213 230.33/230.42 c nbDecision=126000 #constraints=17347 234.03/234.12 c nbDecision=126500 #constraints=17486 238.03/238.15 c nbDecision=127000 #constraints=17611 242.83/242.97 c nbDecision=127500 #constraints=17741 247.02/247.18 c nbDecision=128000 #constraints=17854 252.32/252.47 c nbDecision=128500 #constraints=17972 254.73/254.88 c nbDecision=129000 #constraints=18030 257.53/257.69 c nbDecision=129500 #constraints=18100 263.53/263.64 c nbDecision=130000 #constraints=18230 266.72/266.89 c nbDecision=130500 #constraints=18310 269.82/269.94 c nbDecision=131000 #constraints=18380 275.82/275.95 c nbDecision=131500 #constraints=18502 279.52/279.60 c nbDecision=132000 #constraints=18583 281.32/281.48 c nbDecision=132500 #constraints=18649 283.51/283.69 c nbDecision=133000 #constraints=18721 285.42/285.53 c nbDecision=133500 #constraints=18794 287.02/287.16 c nbDecision=134000 #constraints=18851 290.02/290.12 c nbDecision=134500 #constraints=18917 291.82/291.90 c nbDecision=135000 #constraints=18970 294.22/294.39 c nbDecision=135500 #constraints=19041 296.52/296.61 c nbDecision=136000 #constraints=19113 300.12/300.25 c nbDecision=136500 #constraints=19198 302.42/302.57 c nbDecision=137000 #constraints=19263 304.11/304.24 c nbDecision=137500 #constraints=19319 306.11/306.27 c nbDecision=138000 #constraints=19389 307.72/307.82 c nbDecision=138500 #constraints=19442 309.42/309.56 c nbDecision=139000 #constraints=19494 311.31/311.45 c nbDecision=139500 #constraints=19554 314.52/314.64 c nbDecision=140000 #constraints=19635 318.51/318.68 c nbDecision=140500 #constraints=19747 320.11/320.29 c nbDecision=141000 #constraints=19798 322.01/322.11 c nbDecision=141500 #constraints=19853 325.41/325.52 c nbDecision=142000 #constraints=19943 330.11/330.25 c nbDecision=142500 #constraints=20048 333.60/333.77 c nbDecision=143000 #constraints=20132 340.10/340.26 c nbDecision=143500 #constraints=20299 347.81/347.96 c nbDecision=144000 #constraints=20471 354.50/354.63 c nbDecision=144500 #constraints=20601 360.90/361.08 c nbDecision=145000 #constraints=20720 366.20/366.33 c nbDecision=145500 #constraints=20848 372.09/372.26 c nbDecision=146000 #constraints=20972 378.00/378.17 c nbDecision=146500 #constraints=21091 384.19/384.39 c nbDecision=147000 #constraints=21221 391.19/391.37 c nbDecision=147500 #constraints=21336 396.49/396.60 c nbDecision=148000 #constraints=21445 402.28/402.42 c nbDecision=148500 #constraints=21564 408.89/409.03 c nbDecision=149000 #constraints=21694 418.08/418.24 c nbDecision=149500 #constraints=21862 426.28/426.46 c nbDecision=150000 #constraints=22036 436.78/436.93 c nbDecision=150500 #constraints=22260 439.17/439.30 c nbDecision=151000 #constraints=22303 440.77/440.91 c nbDecision=151500 #constraints=22342 442.57/442.80 c nbDecision=152000 #constraints=22396 445.97/446.18 c nbDecision=152500 #constraints=22473 447.48/447.64 c nbDecision=153000 #constraints=22521 449.07/449.28 c nbDecision=153500 #constraints=22550 450.77/450.98 c nbDecision=154000 #constraints=22593 453.07/453.24 c nbDecision=154500 #constraints=22650 455.27/455.41 c nbDecision=155000 #constraints=22708 457.37/457.51 c nbDecision=155500 #constraints=22765 458.77/458.97 c nbDecision=156000 #constraints=22809 461.17/461.38 c nbDecision=156500 #constraints=22883 463.07/463.27 c nbDecision=157000 #constraints=22946 464.88/465.02 c nbDecision=157500 #constraints=23009 468.48/468.68 c nbDecision=158000 #constraints=23100 475.46/475.60 c nbDecision=158500 #constraints=23238 479.96/480.11 c nbDecision=159000 #constraints=23330 482.57/482.76 c nbDecision=159500 #constraints=23390 484.67/484.84 c nbDecision=160000 #constraints=23447 486.37/486.52 c nbDecision=160500 #constraints=23492 488.17/488.35 c nbDecision=161000 #constraints=23540 489.97/490.18 c nbDecision=161500 #constraints=23592 491.87/492.00 c nbDecision=162000 #constraints=23640 493.67/493.84 c nbDecision=162500 #constraints=23688 495.87/496.06 c nbDecision=163000 #constraints=23766 497.86/498.02 c nbDecision=163500 #constraints=23832 499.86/500.07 c nbDecision=164000 #constraints=23895 501.76/501.93 c nbDecision=164500 #constraints=23952 506.06/506.28 c nbDecision=165000 #constraints=24041 514.06/514.24 c nbDecision=165500 #constraints=24181 522.05/522.24 c nbDecision=166000 #constraints=24321 528.76/528.94 c nbDecision=166500 #constraints=24422 531.06/531.22 c nbDecision=167000 #constraints=24494 533.66/533.80 c nbDecision=167500 #constraints=24570 540.96/541.12 c nbDecision=168000 #constraints=24700 551.65/551.87 c nbDecision=168500 #constraints=24899 563.05/563.23 c nbDecision=169000 #constraints=25095 572.65/572.83 c nbDecision=169500 #constraints=25242 578.15/578.38 c nbDecision=170000 #constraints=25312 586.15/586.30 c nbDecision=170500 #constraints=25434 594.04/594.23 c nbDecision=171000 #constraints=25554 604.63/604.82 c nbDecision=171500 #constraints=25727 611.34/611.51 c nbDecision=172000 #constraints=25856 616.94/617.11 c nbDecision=172500 #constraints=25941 622.94/623.13 c nbDecision=173000 #constraints=26034 628.53/628.78 c nbDecision=173500 #constraints=26115 635.03/635.29 c nbDecision=174000 #constraints=26207 641.93/642.12 c nbDecision=174500 #constraints=26311 649.42/649.60 c nbDecision=175000 #constraints=26429 655.32/655.57 c nbDecision=175500 #constraints=26509 660.32/660.59 c nbDecision=176000 #constraints=26585 663.83/664.04 c nbDecision=176500 #constraints=26663 669.22/669.41 c nbDecision=177000 #constraints=26765 675.02/675.23 c nbDecision=177500 #constraints=26867 682.42/682.69 c nbDecision=178000 #constraints=26992 691.41/691.60 c nbDecision=178500 #constraints=27126 705.31/705.55 c nbDecision=179000 #constraints=27328 715.71/715.95 c nbDecision=179500 #constraints=27481 726.70/726.91 c nbDecision=180000 #constraints=27619 740.21/740.45 c nbDecision=180500 #constraints=27805 755.80/756.02 c nbDecision=181000 #constraints=28017 772.89/773.12 c nbDecision=181500 #constraints=28277 786.09/786.32 c nbDecision=182000 #constraints=28499 797.49/797.72 c nbDecision=182500 #constraints=28705 808.99/809.26 c nbDecision=183000 #constraints=28877 820.88/821.16 c nbDecision=183500 #constraints=29043 830.58/830.83 c nbDecision=184000 #constraints=29184 840.98/841.28 c nbDecision=184500 #constraints=29310 849.78/850.04 c nbDecision=185000 #constraints=29420 859.47/859.77 c nbDecision=185500 #constraints=29537 864.67/864.99 c nbDecision=186000 #constraints=29621 868.57/868.86 c nbDecision=186500 #constraints=29693 875.46/875.71 c nbDecision=187000 #constraints=29795 888.57/888.81 c nbDecision=187500 #constraints=29969 896.36/896.65 c nbDecision=188000 #constraints=30074 903.66/903.93 c nbDecision=188500 #constraints=30178 908.27/908.55 c nbDecision=189000 #constraints=30260 923.16/923.44 c nbDecision=189500 #constraints=30407 933.66/933.93 c nbDecision=190000 #constraints=30540 944.56/944.89 c nbDecision=190500 #constraints=30666 959.24/959.50 c nbDecision=191000 #constraints=30836 971.05/971.32 c nbDecision=191500 #constraints=30977 982.14/982.48 c nbDecision=192000 #constraints=31111 993.54/993.89 c nbDecision=192500 #constraints=31249 1004.63/1004.95 c nbDecision=193000 #constraints=31396 1012.54/1012.82 c nbDecision=193500 #constraints=31514 1026.83/1027.13 c nbDecision=194000 #constraints=31697 1043.12/1043.48 c nbDecision=194500 #constraints=31871 1052.52/1052.89 c nbDecision=195000 #constraints=31998 1065.33/1065.63 c nbDecision=195500 #constraints=32164 1079.72/1080.03 c nbDecision=196000 #constraints=32353 1093.02/1093.39 c nbDecision=196500 #constraints=32508 1103.71/1104.00 c nbDecision=197000 #constraints=32632 1106.21/1106.53 c nbDecision=197500 #constraints=32694 1112.51/1112.81 c nbDecision=198000 #constraints=32797 1118.91/1119.21 c nbDecision=198500 #constraints=32892 1125.31/1125.61 c nbDecision=199000 #constraints=32987 1129.81/1130.15 c nbDecision=199500 #constraints=33063 1145.81/1146.11 c nbDecision=200000 #constraints=33244 1159.30/1159.69 c nbDecision=200500 #constraints=33419 1162.00/1162.37 c nbDecision=201000 #constraints=33470 1170.29/1170.65 c nbDecision=201500 #constraints=33606 1178.89/1179.26 c nbDecision=202000 #constraints=33719 1181.79/1182.12 c nbDecision=202500 #constraints=33779 1192.79/1193.12 c nbDecision=203000 #constraints=33893 1205.59/1205.94 c nbDecision=203500 #constraints=34041 1209.69/1210.03 c nbDecision=204000 #constraints=34121 1212.99/1213.39 c nbDecision=204500 #constraints=34201 1215.38/1215.73 c restart after 204801 decisions 1217.98/1218.33 c nbDecision=205000 #constraints=34269 1220.48/1220.88 c nbDecision=205500 #constraints=34298 1223.48/1223.81 c nbDecision=206000 #constraints=34324 1226.78/1227.11 c nbDecision=206500 #constraints=34355 1230.38/1230.70 c nbDecision=207000 #constraints=34394 1233.38/1233.72 c nbDecision=207500 #constraints=34427 1235.58/1235.98 c nbDecision=208000 #constraints=34448 1238.07/1238.49 c nbDecision=208500 #constraints=34472 1241.77/1242.15 c nbDecision=209000 #constraints=34509 1244.17/1244.50 c nbDecision=209500 #constraints=34536 1245.67/1246.06 c nbDecision=210000 #constraints=34574 1248.38/1248.77 c nbDecision=210500 #constraints=34632 1250.88/1251.29 c nbDecision=211000 #constraints=34669 1253.28/1253.62 c nbDecision=211500 #constraints=34723 1255.18/1255.57 c nbDecision=212000 #constraints=34758 1258.17/1258.50 c nbDecision=212500 #constraints=34804 1260.87/1261.28 c nbDecision=213000 #constraints=34838 1264.17/1264.50 c nbDecision=213500 #constraints=34886 1266.57/1266.92 c nbDecision=214000 #constraints=34922 1269.67/1270.02 c nbDecision=214500 #constraints=34970 1272.47/1272.89 c nbDecision=215000 #constraints=35009 1275.87/1276.29 c nbDecision=215500 #constraints=35048 1278.36/1278.79 c nbDecision=216000 #constraints=35099 1281.26/1281.69 c nbDecision=216500 #constraints=35145 1284.66/1285.01 c nbDecision=217000 #constraints=35232 1287.66/1288.06 c nbDecision=217500 #constraints=35298 1290.06/1290.43 c nbDecision=218000 #constraints=35338 1292.47/1292.89 c nbDecision=218500 #constraints=35381 1294.97/1295.34 c nbDecision=219000 #constraints=35435 1298.17/1298.54 c nbDecision=219500 #constraints=35492 1301.46/1301.82 c nbDecision=220000 #constraints=35555 1304.36/1304.78 c nbDecision=220500 #constraints=35598 1307.26/1307.67 c nbDecision=221000 #constraints=35653 1310.56/1310.91 c nbDecision=221500 #constraints=35695 1312.96/1313.32 c nbDecision=222000 #constraints=35729 1317.06/1317.40 c nbDecision=222500 #constraints=35780 1322.86/1323.29 c nbDecision=223000 #constraints=35841 1326.75/1327.10 c nbDecision=223500 #constraints=35882 1329.25/1329.68 c nbDecision=224000 #constraints=35921 1332.95/1333.35 c nbDecision=224500 #constraints=35968 1336.15/1336.58 c nbDecision=225000 #constraints=36024 1341.15/1341.52 c nbDecision=225500 #constraints=36082 1344.75/1345.18 c nbDecision=226000 #constraints=36128 1349.25/1349.62 c nbDecision=226500 #constraints=36182 1352.35/1352.73 c nbDecision=227000 #constraints=36225 1356.34/1356.77 c nbDecision=227500 #constraints=36305 1360.35/1360.71 c nbDecision=228000 #constraints=36363 1363.14/1363.56 c nbDecision=228500 #constraints=36415 1367.55/1367.97 c nbDecision=229000 #constraints=36479 1370.55/1370.98 c nbDecision=229500 #constraints=36549 1374.24/1374.65 c nbDecision=230000 #constraints=36635 1377.44/1377.81 c nbDecision=230500 #constraints=36693 1381.54/1381.99 c nbDecision=231000 #constraints=36773 1385.74/1386.15 c nbDecision=231500 #constraints=36848 1388.74/1389.15 c nbDecision=232000 #constraints=36922 1391.24/1391.61 c nbDecision=232500 #constraints=36979 1394.34/1394.80 c nbDecision=233000 #constraints=37026 1397.93/1398.34 c nbDecision=233500 #constraints=37067 1401.53/1401.90 c nbDecision=234000 #constraints=37120 1406.33/1406.78 c nbDecision=234500 #constraints=37231 1410.84/1411.26 c nbDecision=235000 #constraints=37327 1414.84/1415.23 c nbDecision=235500 #constraints=37400 1418.54/1418.95 c nbDecision=236000 #constraints=37456 1423.73/1424.13 c nbDecision=236500 #constraints=37556 1427.53/1427.91 c nbDecision=237000 #constraints=37628 1431.73/1432.14 c nbDecision=237500 #constraints=37696 1435.13/1435.59 c nbDecision=238000 #constraints=37732 1438.33/1438.80 c nbDecision=238500 #constraints=37784 1443.13/1443.57 c nbDecision=239000 #constraints=37848 1446.93/1447.33 c nbDecision=239500 #constraints=37924 1450.63/1451.03 c nbDecision=240000 #constraints=37980 1457.03/1457.49 c nbDecision=240500 #constraints=38047 1464.92/1465.37 c nbDecision=241000 #constraints=38120 1471.72/1472.19 c nbDecision=241500 #constraints=38176 1476.71/1477.18 c nbDecision=242000 #constraints=38258 1483.52/1483.98 c nbDecision=242500 #constraints=38341 1486.51/1486.97 c nbDecision=243000 #constraints=38373 1490.61/1491.10 c nbDecision=243500 #constraints=38417 1494.11/1494.53 c nbDecision=244000 #constraints=38462 1497.71/1498.18 c nbDecision=244500 #constraints=38509 1503.11/1503.59 c nbDecision=245000 #constraints=38566 1507.30/1507.72 c nbDecision=245500 #constraints=38624 1511.41/1511.89 c nbDecision=246000 #constraints=38683 1519.31/1519.72 c nbDecision=246500 #constraints=38750 1525.31/1525.76 c nbDecision=247000 #constraints=38793 1529.20/1529.67 c nbDecision=247500 #constraints=38845 1533.60/1534.09 c nbDecision=248000 #constraints=38929 1538.70/1539.17 c nbDecision=248500 #constraints=39006 1542.91/1543.33 c nbDecision=249000 #constraints=39059 1546.50/1546.98 c nbDecision=249500 #constraints=39106 1550.70/1551.16 c nbDecision=250000 #constraints=39171 1556.59/1557.00 c nbDecision=250500 #constraints=39317 1561.79/1562.28 c nbDecision=251000 #constraints=39442 1565.40/1565.88 c nbDecision=251500 #constraints=39497 1569.09/1569.53 c nbDecision=252000 #constraints=39555 1573.69/1574.19 c nbDecision=252500 #constraints=39649 1578.99/1579.45 c nbDecision=253000 #constraints=39717 1583.18/1583.60 c nbDecision=253500 #constraints=39778 1586.89/1587.35 c nbDecision=254000 #constraints=39833 1590.09/1590.56 c nbDecision=254500 #constraints=39887 1593.48/1593.99 c nbDecision=255000 #constraints=39931 1597.18/1597.63 c nbDecision=255500 #constraints=39982 1600.48/1600.95 c nbDecision=256000 #constraints=40037 1604.08/1604.53 c nbDecision=256500 #constraints=40079 1607.58/1608.01 c nbDecision=257000 #constraints=40118 1611.98/1612.49 c nbDecision=257500 #constraints=40200 1615.08/1615.50 c nbDecision=258000 #constraints=40238 1619.78/1620.21 c nbDecision=258500 #constraints=40296 1626.17/1626.68 c nbDecision=259000 #constraints=40408 1633.88/1634.38 c nbDecision=259500 #constraints=40577 1638.08/1638.52 c nbDecision=260000 #constraints=40640 1642.38/1642.84 c nbDecision=260500 #constraints=40688 1646.07/1646.59 c nbDecision=261000 #constraints=40748 1650.87/1651.38 c nbDecision=261500 #constraints=40811 1655.97/1656.44 c nbDecision=262000 #constraints=40893 1659.27/1659.79 c nbDecision=262500 #constraints=40958 1663.36/1663.82 c nbDecision=263000 #constraints=41042 1667.77/1668.27 c nbDecision=263500 #constraints=41116 1671.27/1671.75 c nbDecision=264000 #constraints=41149 1674.37/1674.88 c nbDecision=264500 #constraints=41183 1677.97/1678.48 c nbDecision=265000 #constraints=41229 1682.47/1682.95 c nbDecision=265500 #constraints=41288 1685.96/1686.49 c nbDecision=266000 #constraints=41367 1689.56/1690.09 c nbDecision=266500 #constraints=41430 1693.36/1693.86 c nbDecision=267000 #constraints=41505 1697.66/1698.13 c nbDecision=267500 #constraints=41580 1700.95/1701.46 c nbDecision=268000 #constraints=41646 1705.85/1706.30 c nbDecision=268500 #constraints=41722 1710.26/1710.72 c nbDecision=269000 #constraints=41787 1714.86/1715.35 c nbDecision=269500 #constraints=41843 1717.66/1718.18 c nbDecision=270000 #constraints=41878 1719.65/1720.19 c nbDecision=270500 #constraints=41918 1722.35/1722.88 c nbDecision=271000 #constraints=41955 1724.95/1725.44 c nbDecision=271500 #constraints=41994 1727.35/1727.85 c nbDecision=272000 #constraints=42030 1730.15/1730.62 c nbDecision=272500 #constraints=42072 1732.94/1733.45 c nbDecision=273000 #constraints=42131 1736.54/1737.00 c nbDecision=273500 #constraints=42198 1739.54/1740.10 c nbDecision=274000 #constraints=42257 1742.94/1743.40 c nbDecision=274500 #constraints=42314 1746.65/1747.17 c nbDecision=275000 #constraints=42390 1750.94/1751.47 c nbDecision=275500 #constraints=42475 1755.15/1755.65 c nbDecision=276000 #constraints=42531 1758.04/1758.58 c nbDecision=276500 #constraints=42585 1761.24/1761.76 c nbDecision=277000 #constraints=42635 1764.24/1764.75 c nbDecision=277500 #constraints=42679 1767.84/1768.35 c nbDecision=278000 #constraints=42724 1771.24/1771.75 c nbDecision=278500 #constraints=42767 1774.54/1775.09 c nbDecision=279000 #constraints=42813 1778.93/1779.48 c nbDecision=279500 #constraints=42884 1783.74/1784.29 c nbDecision=280000 #constraints=42950 1788.04/1788.58 c nbDecision=280500 #constraints=43005 1795.03/1795.58 c nbDecision=281000 #constraints=43079 1798.13/1798.68 c nbDecision=281500 #constraints=43123 1800.03/1800.50 Received signal 15 1800.03/1800.50 1800.03/1800.50 s UNKNOWN 1800.03/1800.50 1800.03/1800.50 c user time= 1799.54 s 1800.03/1800.50 c system time= 0.509922 s 1800.03/1800.50 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-365388-1176992634 -o ROOT/results/node26/solver-365388-1176992634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365388-1176992634/instance-365388-1176992634.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28018 /proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=1468 CPUtime=0 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 180 0 0 0 0 0 0 0 19 0 1 0 147180269 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 367 162 131 317 0 46 0 [startup+0.0592901 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28018 /proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=2528 CPUtime=0.05 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 445 0 0 0 5 0 0 0 19 0 1 0 147180269 2588672 427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 632 428 131 317 0 311 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2528 [startup+0.101293 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28018 /proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=3320 CPUtime=0.09 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 645 0 0 0 9 0 0 0 20 0 1 0 147180269 3399680 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 830 627 131 317 0 509 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3320 [startup+0.301311 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28018 /proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=5416 CPUtime=0.29 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1149 0 0 0 29 0 0 0 22 0 1 0 147180269 5545984 1131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 1354 1131 139 317 0 1033 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5416 [startup+0.70135 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28018 /proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=5416 CPUtime=0.69 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1149 0 0 0 69 0 0 0 25 0 1 0 147180269 5545984 1131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 1354 1131 139 317 0 1033 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5416 [startup+1.50142 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1806256/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=5820 CPUtime=1.49 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1245 0 0 0 149 0 0 0 25 0 1 0 147180269 5959680 1227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 1455 1227 139 317 0 1134 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5820 [startup+3.10257 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1805296/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=6768 CPUtime=3.09 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1479 0 0 0 309 0 0 0 25 0 1 0 147180269 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 1692 1461 139 317 0 1371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6768 [startup+6.30187 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1803632/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=8324 CPUtime=6.29 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1911 0 0 0 628 1 0 0 25 0 1 0 147180269 8523776 1893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 2081 1893 170 317 0 1760 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8324 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1800176/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=11496 CPUtime=12.69 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 2686 0 0 0 1268 1 0 0 25 0 1 0 147180269 11771904 2668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 2874 2668 170 317 0 2553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11496 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1794096/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=17644 CPUtime=25.49 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 4222 0 0 0 2547 2 0 0 25 0 1 0 147180269 18067456 4204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 4411 4204 170 317 0 4090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17644 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1782960/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=28924 CPUtime=51.08 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 6966 0 0 0 5105 3 0 0 25 0 1 0 147180269 29618176 6948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 7231 6948 170 317 0 6910 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28924 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 3/78 28019 /proc/meminfo: memFree=1757232/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=55292 CPUtime=102.27 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 13431 0 0 0 10220 7 0 0 25 0 1 0 147180269 56619008 13369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 13823 13369 170 317 0 13502 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 55292 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1741808/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=71628 CPUtime=162.25 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 17332 0 0 0 16213 12 0 0 25 0 1 0 147180269 73347072 17184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 17907 17184 170 317 0 17586 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 71628 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1732336/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=81096 CPUtime=222.23 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 19656 0 0 0 22210 13 0 0 25 0 1 0 147180269 83042304 19508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 20274 19508 170 317 0 19953 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 81096 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1725872/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=87188 CPUtime=282.22 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 21310 0 0 0 28207 15 0 0 25 0 1 0 147180269 89280512 21162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 21797 21162 170 317 0 21476 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 87188 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1717360/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=97496 CPUtime=342.2 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 23405 0 0 0 34203 17 0 0 25 0 1 0 147180269 99835904 23257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 24374 23257 170 317 0 24053 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 97496 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1712048/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=102888 CPUtime=402.18 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 24752 0 0 0 40199 19 0 0 25 0 1 0 147180269 105357312 24604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 25722 24604 170 317 0 25401 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 102888 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1706288/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=108196 CPUtime=462.17 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 26162 0 0 0 46197 20 0 0 25 0 1 0 147180269 110792704 26014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 27049 26014 170 317 0 26728 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 108196 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1699888/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=114184 CPUtime=522.15 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 27761 0 0 0 52193 22 0 0 25 0 1 0 147180269 116924416 27613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 28546 27613 170 317 0 28225 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 114184 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1695152/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=119700 CPUtime=582.14 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 29249 0 0 0 58190 24 0 0 25 0 1 0 147180269 122572800 28766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 29925 28766 170 317 0 29604 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 119700 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28019 /proc/meminfo: memFree=1691184/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=123540 CPUtime=642.13 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 30267 0 0 0 64188 25 0 0 25 0 1 0 147180269 126504960 29784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 30885 29784 170 317 0 30564 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 123540 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1673776/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=146164 CPUtime=882.07 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 35735 0 0 0 88177 30 0 0 25 0 1 0 147180269 149671936 34097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 36541 34097 170 317 0 36220 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 146164 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1670320/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=149572 CPUtime=942.05 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 36630 0 0 0 94174 31 0 0 25 0 1 0 147180269 153161728 34959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 37393 34959 170 317 0 37072 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 149572 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1666800/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=152984 CPUtime=1002.03 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 37588 0 0 0 100171 32 0 0 25 0 1 0 147180269 156655616 35818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 38246 35818 170 317 0 37925 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 152984 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1663344/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=156380 CPUtime=1062.02 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 38539 0 0 0 106169 33 0 0 25 0 1 0 147180269 160133120 36703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 39095 36703 170 317 0 38774 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 156380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1659184/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=160304 CPUtime=1122.01 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 39610 0 0 0 112166 35 0 0 25 0 1 0 147180269 164151296 37741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 40076 37741 170 317 0 39755 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 160304 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1655280/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=164228 CPUtime=1181.99 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 40657 0 0 0 118163 36 0 0 25 0 1 0 147180269 168169472 38722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 41057 38722 170 317 0 40736 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 164228 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1652400/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=166852 CPUtime=1241.97 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 41369 0 0 0 124160 37 0 0 25 0 1 0 147180269 170856448 39434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 41713 39434 170 317 0 41392 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 166852 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1650096/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=168952 CPUtime=1301.97 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 41925 0 0 0 130158 39 0 0 25 0 1 0 147180269 173006848 39990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 42238 39990 170 317 0 41917 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 168952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1648368/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=170748 CPUtime=1361.94 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 42359 0 0 0 136155 39 0 0 25 0 1 0 147180269 174845952 40424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 42687 40424 170 317 0 42366 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 170748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1644144/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=175528 CPUtime=1421.94 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 43413 0 0 0 142153 41 0 0 25 0 1 0 147180269 179740672 41478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 43882 41478 170 317 0 43561 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 175528 [startup+1482.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 28021 /proc/meminfo: memFree=1638448/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=181332 CPUtime=1481.91 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 44917 0 0 0 148149 42 0 0 25 0 1 0 147180269 185683968 42916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 45333 42916 170 317 0 45012 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 181332 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 28021 /proc/meminfo: memFree=1635632/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=183828 CPUtime=1541.9 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 45609 0 0 0 154147 43 0 0 25 0 1 0 147180269 188239872 43608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 45957 43608 170 317 0 45636 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 183828 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1628016/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=191444 CPUtime=1601.88 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 47498 0 0 0 160144 44 0 0 25 0 1 0 147180269 196038656 45497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 47861 45497 170 317 0 47540 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 191444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1618096/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=201856 CPUtime=1661.87 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 50009 0 0 0 166141 46 0 0 25 0 1 0 147180269 206700544 48008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 50464 48008 170 317 0 50143 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 201856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1609264/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=210872 CPUtime=1721.85 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 52209 0 0 0 172137 48 0 0 25 0 1 0 147180269 215932928 50208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 52718 50208 170 317 0 52397 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 210872 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1602160/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=218068 CPUtime=1781.83 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 54097 0 0 0 178134 49 0 0 25 0 1 0 147180269 223301632 51965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 54517 51965 170 317 0 54196 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 218068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1600240/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=220016 CPUtime=1800.03 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 54562 0 0 0 179953 50 0 0 25 0 1 0 147180269 225296384 52430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 55004 52430 170 317 0 54683 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 220016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28021 /proc/meminfo: memFree=1600240/2055920 swapFree=4170240/4192956 [pid=28018] ppid=28016 vsize=220016 CPUtime=1800.03 /proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 54562 0 0 0 179953 50 0 0 25 0 1 0 147180269 225296384 52430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28018/statm: 55004 52430 170 317 0 54683 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 220016 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.09 CPU user time (s): 1799.55 CPU system time (s): 0.546916 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 220016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.546916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54578 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= 7 involuntary context switches= 4173 runsolver used 2.15667 second user time and 4.41433 second system time The end
Begin job on node26 on Thu Apr 19 14:23:55 UTC 2007 IDJOB= 365388 IDBENCH= 2321 IDSOLVER= 172 FILE ID= node26/365388-1176992634 PBS_JOBID= 4630461 Free space on /tmp= 66435 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb COMMAND LINE= oree /tmp/evaluation/365388-1176992634/instance-365388-1176992634.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-365388-1176992634 -o ROOT/results/node26/solver-365388-1176992634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365388-1176992634/instance-365388-1176992634.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d5ea3d9967a24b7bed67317421f8b87e RANDOM SEED= 86908949 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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: 1810832 kB Buffers: 31332 kB Cached: 127108 kB SwapCached: 3128 kB Active: 83424 kB Inactive: 97944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810832 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 1748 kB Writeback: 0 kB Mapped: 30480 kB Slab: 49320 kB Committed_AS: 1029104 kB PageTables: 1716 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= 66435 MiB End job on node26 on Thu Apr 19 14:53:57 UTC 2007