Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
MD5SUM | c716bc6c519760d619aa6878c926054c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54618714 |
Best CPU time to get the best result obtained on this benchmark | 1800.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31249460 |
Optimality of the best value was proved | NO |
Number of variables | 6402 |
Total number of constraints | 4465 |
Number of constraints which are clauses | 2785 |
Number of constraints which are cardinality constraints (but not clauses) | 1428 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 511 |
Number of terms in the objective function | 4170 |
Biggest coefficient in the objective function | 23582998528 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 2904924551250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2904924551250 |
Number of bits of the biggest sum of numbers | 42 |
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.13 c ...done 0.09/0.13 c #vars=6402 #constraints=5930 hasObjective=yes 0.69/0.71 c res. mode=mod 0.69/0.71 c VSIDS like heuristics 0.69/0.71 c complete search running 0.69/0.74 c restart after 401 decisions 0.69/0.75 c nbDecision=500 #constraints=5930 0.69/0.77 c restart after 801 decisions 0.69/0.79 c nbDecision=1000 #constraints=5930 1.29/1.39 c nbDecision=1500 #constraints=5966 1.39/1.41 c restart after 1601 decisions 1.39/1.44 c nbDecision=2000 #constraints=5973 1.99/2.00 c nbDecision=2500 #constraints=6019 3.39/3.49 c nbDecision=3000 #constraints=6111 3.79/3.86 c restart after 3201 decisions 3.79/3.89 c nbDecision=3500 #constraints=6123 3.99/4.02 c nbDecision=4000 #constraints=6146 4.59/4.67 c nbDecision=4500 #constraints=6210 4.79/4.85 c nbDecision=5000 #constraints=6296 4.99/5.04 c nbDecision=5500 #constraints=6362 5.09/5.17 c nbDecision=6000 #constraints=6402 5.19/5.28 c restart after 6401 decisions 5.29/5.30 c nbDecision=6500 #constraints=6439 5.29/5.39 c nbDecision=7000 #constraints=6443 5.69/5.73 c nbDecision=7500 #constraints=6493 6.19/6.23 c nbDecision=8000 #constraints=6536 6.59/6.63 c nbDecision=8500 #constraints=6564 6.89/6.95 c nbDecision=9000 #constraints=6601 7.59/7.63 c nbDecision=9500 #constraints=6666 8.09/8.18 c nbDecision=10000 #constraints=6727 8.59/8.61 c nbDecision=10500 #constraints=6774 8.99/9.09 c nbDecision=11000 #constraints=6813 9.59/9.60 c nbDecision=11500 #constraints=6847 9.90/9.93 c nbDecision=12000 #constraints=6871 10.19/10.20 c nbDecision=12500 #constraints=6900 10.39/10.42 c restart after 12801 decisions 10.39/10.47 c nbDecision=13000 #constraints=6921 10.59/10.64 c nbDecision=13500 #constraints=6932 11.00/11.08 c nbDecision=14000 #constraints=6979 11.79/11.88 c nbDecision=14500 #constraints=7042 12.69/12.78 c nbDecision=15000 #constraints=7107 13.19/13.27 c nbDecision=15500 #constraints=7136 13.49/13.56 c nbDecision=16000 #constraints=7155 13.99/14.06 c nbDecision=16500 #constraints=7208 14.88/14.96 c nbDecision=17000 #constraints=7263 15.18/15.22 c nbDecision=17500 #constraints=7276 15.88/15.90 c nbDecision=18000 #constraints=7329 16.98/17.01 c nbDecision=18500 #constraints=7427 17.78/17.87 c nbDecision=19000 #constraints=7506 18.19/18.26 c nbDecision=19500 #constraints=7548 18.79/18.84 c nbDecision=20000 #constraints=7588 19.29/19.38 c nbDecision=20500 #constraints=7629 19.59/19.69 c nbDecision=21000 #constraints=7656 20.69/20.74 c nbDecision=21500 #constraints=7726 21.68/21.75 c nbDecision=22000 #constraints=7786 22.28/22.34 c nbDecision=22500 #constraints=7821 22.78/22.84 c nbDecision=23000 #constraints=7864 23.38/23.41 c nbDecision=23500 #constraints=7893 23.98/24.00 c nbDecision=24000 #constraints=7929 24.28/24.39 c nbDecision=24500 #constraints=7949 24.68/24.79 c nbDecision=25000 #constraints=7970 25.59/25.68 c nbDecision=25500 #constraints=8057 25.89/25.90 c restart after 25601 decisions 25.99/26.07 c nbDecision=26000 #constraints=8073 26.19/26.22 c nbDecision=26500 #constraints=8086 26.39/26.48 c nbDecision=27000 #constraints=8126 26.59/26.66 c nbDecision=27500 #constraints=8151 26.78/26.89 c nbDecision=28000 #constraints=8183 26.98/27.01 c nbDecision=28500 #constraints=8205 28.58/28.65 c nbDecision=29000 #constraints=8398 29.48/29.58 c nbDecision=29500 #constraints=8481 32.98/33.04 c nbDecision=30000 #constraints=8783 38.48/38.52 c nbDecision=30500 #constraints=9202 40.68/40.71 c nbDecision=31000 #constraints=9295 42.58/42.66 c nbDecision=31500 #constraints=9373 45.08/45.11 c nbDecision=32000 #constraints=9462 47.48/47.53 c nbDecision=32500 #constraints=9539 50.38/50.49 c nbDecision=33000 #constraints=9633 52.38/52.49 c nbDecision=33500 #constraints=9695 54.87/55.00 c nbDecision=34000 #constraints=9768 57.28/57.39 c nbDecision=34500 #constraints=9843 59.58/59.64 c nbDecision=35000 #constraints=9913 61.68/61.78 c nbDecision=35500 #constraints=9985 63.97/64.05 c nbDecision=36000 #constraints=10054 66.27/66.37 c nbDecision=36500 #constraints=10132 68.57/68.64 c nbDecision=37000 #constraints=10212 70.97/71.02 c nbDecision=37500 #constraints=10300 73.67/73.71 c nbDecision=38000 #constraints=10392 75.97/76.02 c nbDecision=38500 #constraints=10467 78.87/78.94 c nbDecision=39000 #constraints=10565 81.77/81.84 c nbDecision=39500 #constraints=10665 84.57/84.67 c nbDecision=40000 #constraints=10756 87.86/87.99 c nbDecision=40500 #constraints=10858 91.46/91.50 c nbDecision=41000 #constraints=10933 95.56/95.68 c nbDecision=41500 #constraints=11022 99.46/99.55 c nbDecision=42000 #constraints=11097 103.56/103.65 c nbDecision=42500 #constraints=11172 106.66/106.71 c nbDecision=43000 #constraints=11233 109.56/109.63 c nbDecision=43500 #constraints=11291 112.26/112.39 c nbDecision=44000 #constraints=11349 114.86/114.94 c nbDecision=44500 #constraints=11406 117.66/117.74 c nbDecision=45000 #constraints=11469 123.05/123.18 c nbDecision=45500 #constraints=11557 126.95/127.01 c nbDecision=46000 #constraints=11646 131.25/131.35 c nbDecision=46500 #constraints=11728 136.95/137.06 c nbDecision=47000 #constraints=11820 143.44/143.54 c nbDecision=47500 #constraints=11919 148.75/148.87 c nbDecision=48000 #constraints=11993 155.34/155.46 c nbDecision=48500 #constraints=12085 159.54/159.69 c nbDecision=49000 #constraints=12168 164.94/165.05 c nbDecision=49500 #constraints=12260 169.23/169.36 c nbDecision=50000 #constraints=12326 174.94/175.03 c nbDecision=50500 #constraints=12408 179.83/179.99 c nbDecision=51000 #constraints=12489 180.93/181.07 c restart after 51201 decisions 182.23/182.34 c nbDecision=51500 #constraints=12507 183.33/183.44 c nbDecision=52000 #constraints=12512 185.63/185.76 c nbDecision=52500 #constraints=12555 187.23/187.37 c nbDecision=53000 #constraints=12580 189.23/189.31 c nbDecision=53500 #constraints=12606 190.74/190.81 c nbDecision=54000 #constraints=12627 192.63/192.76 c nbDecision=54500 #constraints=12663 194.13/194.28 c nbDecision=55000 #constraints=12683 198.53/198.61 c nbDecision=55500 #constraints=12774 202.13/202.27 c nbDecision=56000 #constraints=12847 205.82/205.99 c nbDecision=56500 #constraints=12920 207.62/207.77 c nbDecision=57000 #constraints=12949 208.93/209.09 c nbDecision=57500 #constraints=12966 212.52/212.66 c nbDecision=58000 #constraints=13033 215.12/215.21 c nbDecision=58500 #constraints=13071 217.72/217.81 c nbDecision=59000 #constraints=13106 220.22/220.31 c nbDecision=59500 #constraints=13161 222.32/222.44 c nbDecision=60000 #constraints=13191 224.72/224.88 c nbDecision=60500 #constraints=13230 226.82/226.97 c nbDecision=61000 #constraints=13269 230.11/230.29 c nbDecision=61500 #constraints=13347 232.61/232.76 c nbDecision=62000 #constraints=13412 235.22/235.33 c nbDecision=62500 #constraints=13478 237.42/237.58 c nbDecision=63000 #constraints=13534 239.52/239.63 c nbDecision=63500 #constraints=13564 242.42/242.59 c nbDecision=64000 #constraints=13609 246.32/246.42 c nbDecision=64500 #constraints=13682 249.02/249.13 c nbDecision=65000 #constraints=13703 252.21/252.30 c nbDecision=65500 #constraints=13754 255.01/255.18 c nbDecision=66000 #constraints=13799 261.81/261.94 c nbDecision=66500 #constraints=13920 266.11/266.22 c nbDecision=67000 #constraints=14005 269.51/269.61 c nbDecision=67500 #constraints=14070 272.51/272.67 c nbDecision=68000 #constraints=14115 275.21/275.37 c nbDecision=68500 #constraints=14158 277.21/277.33 c nbDecision=69000 #constraints=14188 281.51/281.63 c nbDecision=69500 #constraints=14270 283.20/283.30 c nbDecision=70000 #constraints=14292 285.40/285.59 c nbDecision=70500 #constraints=14330 287.50/287.64 c nbDecision=71000 #constraints=14354 291.40/291.57 c nbDecision=71500 #constraints=14425 296.10/296.22 c nbDecision=72000 #constraints=14511 298.79/298.95 c nbDecision=72500 #constraints=14558 303.19/303.36 c nbDecision=73000 #constraints=14647 306.49/306.62 c nbDecision=73500 #constraints=14694 310.39/310.57 c nbDecision=74000 #constraints=14748 312.59/312.79 c nbDecision=74500 #constraints=14772 315.69/315.84 c nbDecision=75000 #constraints=14832 317.69/317.83 c nbDecision=75500 #constraints=14863 320.59/320.74 c nbDecision=76000 #constraints=14898 322.99/323.16 c nbDecision=76500 #constraints=14932 325.59/325.79 c nbDecision=77000 #constraints=14972 339.98/340.14 c nbDecision=77500 #constraints=15187 344.28/344.42 c nbDecision=78000 #constraints=15248 346.28/346.49 c nbDecision=78500 #constraints=15271 349.38/349.54 c nbDecision=79000 #constraints=15334 351.58/351.74 c nbDecision=79500 #constraints=15358 355.18/355.34 c nbDecision=80000 #constraints=15398 358.77/358.93 c nbDecision=80500 #constraints=15450 361.07/361.29 c nbDecision=81000 #constraints=15482 363.67/363.87 c nbDecision=81500 #constraints=15516 366.77/367.00 c nbDecision=82000 #constraints=15562 369.77/369.95 c nbDecision=82500 #constraints=15601 373.58/373.73 c nbDecision=83000 #constraints=15663 377.28/377.43 c nbDecision=83500 #constraints=15721 379.38/379.57 c nbDecision=84000 #constraints=15744 382.17/382.31 c nbDecision=84500 #constraints=15774 390.37/390.60 c nbDecision=85000 #constraints=15915 396.27/396.42 c nbDecision=85500 #constraints=16012 399.27/399.41 c nbDecision=86000 #constraints=16060 402.06/402.25 c nbDecision=86500 #constraints=16089 404.46/404.68 c nbDecision=87000 #constraints=16109 407.26/407.49 c nbDecision=87500 #constraints=16159 410.66/410.80 c nbDecision=88000 #constraints=16204 413.76/413.99 c nbDecision=88500 #constraints=16263 416.56/416.76 c nbDecision=89000 #constraints=16292 419.86/420.07 c nbDecision=89500 #constraints=16340 422.55/422.75 c nbDecision=90000 #constraints=16372 426.25/426.42 c nbDecision=90500 #constraints=16409 430.45/430.69 c nbDecision=91000 #constraints=16457 435.15/435.36 c nbDecision=91500 #constraints=16517 438.45/438.60 c nbDecision=92000 #constraints=16544 441.35/441.56 c nbDecision=92500 #constraints=16571 444.55/444.72 c nbDecision=93000 #constraints=16608 451.35/451.59 c nbDecision=93500 #constraints=16716 454.45/454.61 c nbDecision=94000 #constraints=16752 456.84/457.02 c nbDecision=94500 #constraints=16782 466.54/466.78 c nbDecision=95000 #constraints=16959 478.54/478.72 c nbDecision=95500 #constraints=17173 481.74/481.98 c nbDecision=96000 #constraints=17201 485.73/485.96 c nbDecision=96500 #constraints=17277 491.93/492.10 c nbDecision=97000 #constraints=17349 494.53/494.77 c nbDecision=97500 #constraints=17375 500.14/500.33 c nbDecision=98000 #constraints=17446 505.84/506.04 c nbDecision=98500 #constraints=17524 509.33/509.57 c nbDecision=99000 #constraints=17552 523.82/524.08 c nbDecision=99500 #constraints=17740 526.72/526.90 c nbDecision=100000 #constraints=17754 537.12/537.35 c nbDecision=100500 #constraints=17914 540.32/540.52 c nbDecision=101000 #constraints=17939 543.52/543.75 c nbDecision=101500 #constraints=17962 547.12/547.35 c nbDecision=102000 #constraints=17991 549.82/550.10 c restart after 102401 decisions 551.61/551.84 c nbDecision=102500 #constraints=18020 553.12/553.36 c nbDecision=103000 #constraints=18020 559.81/560.08 c nbDecision=103500 #constraints=18105 563.21/563.50 c nbDecision=104000 #constraints=18129 568.40/568.64 c nbDecision=104500 #constraints=18182 571.81/572.03 c nbDecision=105000 #constraints=18203 576.00/576.21 c nbDecision=105500 #constraints=18242 579.41/579.63 c nbDecision=106000 #constraints=18304 583.01/583.28 c nbDecision=106500 #constraints=18377 586.10/586.33 c nbDecision=107000 #constraints=18449 589.10/589.38 c nbDecision=107500 #constraints=18505 591.70/591.97 c nbDecision=108000 #constraints=18522 594.80/595.09 c nbDecision=108500 #constraints=18541 598.50/598.71 c nbDecision=109000 #constraints=18567 605.50/605.73 c nbDecision=109500 #constraints=18638 610.10/610.35 c nbDecision=110000 #constraints=18667 613.30/613.53 c nbDecision=110500 #constraints=18683 620.69/620.98 c nbDecision=111000 #constraints=18744 623.99/624.28 c nbDecision=111500 #constraints=18759 638.89/639.14 c nbDecision=112000 #constraints=18928 643.68/643.96 c nbDecision=112500 #constraints=18972 648.78/649.10 c nbDecision=113000 #constraints=19019 663.28/663.53 c nbDecision=113500 #constraints=19175 683.78/684.09 c nbDecision=114000 #constraints=19502 700.57/700.85 c nbDecision=114500 #constraints=19717 704.57/704.81 c nbDecision=115000 #constraints=19752 709.27/709.56 c nbDecision=115500 #constraints=19785 713.16/713.49 c nbDecision=116000 #constraints=19821 718.06/718.30 c nbDecision=116500 #constraints=19856 721.96/722.28 c nbDecision=117000 #constraints=19872 727.16/727.46 c nbDecision=117500 #constraints=19913 730.95/731.29 c nbDecision=118000 #constraints=19942 737.95/738.26 c nbDecision=118500 #constraints=20023 741.85/742.10 c nbDecision=119000 #constraints=20042 750.05/750.31 c nbDecision=119500 #constraints=20131 762.25/762.59 c nbDecision=120000 #constraints=20285 769.24/769.57 c nbDecision=120500 #constraints=20362 775.05/775.33 c nbDecision=121000 #constraints=20416 781.95/782.26 c nbDecision=121500 #constraints=20511 788.44/788.70 c nbDecision=122000 #constraints=20578 794.63/794.97 c nbDecision=122500 #constraints=20637 798.63/798.91 c nbDecision=123000 #constraints=20658 805.43/805.72 c nbDecision=123500 #constraints=20725 810.44/810.71 c nbDecision=124000 #constraints=20767 817.03/817.37 c nbDecision=124500 #constraints=20834 821.23/821.53 c nbDecision=125000 #constraints=20860 831.43/831.71 c nbDecision=125500 #constraints=20963 858.61/858.99 c nbDecision=126000 #constraints=21370 875.51/875.83 c nbDecision=126500 #constraints=21596 879.61/879.95 c nbDecision=127000 #constraints=21625 884.01/884.30 c nbDecision=127500 #constraints=21645 892.71/893.02 c nbDecision=128000 #constraints=21732 898.20/898.51 c nbDecision=128500 #constraints=21765 904.10/904.44 c nbDecision=129000 #constraints=21811 910.20/910.50 c nbDecision=129500 #constraints=21848 915.19/915.54 c nbDecision=130000 #constraints=21880 921.69/922.04 c nbDecision=130500 #constraints=21929 927.59/927.92 c nbDecision=131000 #constraints=21964 931.69/932.00 c nbDecision=131500 #constraints=21980 951.69/952.01 c nbDecision=132000 #constraints=22223 968.48/968.87 c nbDecision=132500 #constraints=22407 972.97/973.32 c nbDecision=133000 #constraints=22434 980.78/981.18 c nbDecision=133500 #constraints=22511 985.88/986.24 c nbDecision=134000 #constraints=22549 994.18/994.57 c nbDecision=134500 #constraints=22648 1001.97/1002.32 c nbDecision=135000 #constraints=22689 1007.07/1007.43 c nbDecision=135500 #constraints=22705 1011.97/1012.32 c nbDecision=136000 #constraints=22745 1015.97/1016.32 c nbDecision=136500 #constraints=22764 1043.66/1044.07 c nbDecision=137000 #constraints=23055 1072.94/1073.30 c nbDecision=137500 #constraints=23409 1085.45/1085.84 c nbDecision=138000 #constraints=23540 1092.05/1092.49 c nbDecision=138500 #constraints=23576 1100.44/1100.85 c nbDecision=139000 #constraints=23637 1107.03/1107.43 c nbDecision=139500 #constraints=23679 1112.23/1112.68 c nbDecision=140000 #constraints=23692 1116.53/1116.99 c nbDecision=140500 #constraints=23720 1122.23/1122.67 c nbDecision=141000 #constraints=23738 1127.63/1128.01 c nbDecision=141500 #constraints=23756 1132.32/1132.76 c nbDecision=142000 #constraints=23773 1141.43/1141.82 c nbDecision=142500 #constraints=23844 1146.52/1146.91 c nbDecision=143000 #constraints=23890 1151.72/1152.20 c nbDecision=143500 #constraints=23979 1155.12/1155.59 c nbDecision=144000 #constraints=24042 1161.32/1161.75 c nbDecision=144500 #constraints=24107 1167.42/1167.82 c nbDecision=145000 #constraints=24133 1175.52/1175.90 c nbDecision=145500 #constraints=24195 1181.02/1181.45 c nbDecision=146000 #constraints=24215 1189.81/1190.27 c nbDecision=146500 #constraints=24262 1200.91/1201.33 c nbDecision=147000 #constraints=24359 1207.50/1207.99 c nbDecision=147500 #constraints=24410 1215.30/1215.75 c nbDecision=148000 #constraints=24477 1221.20/1221.69 c nbDecision=148500 #constraints=24498 1240.50/1240.91 c nbDecision=149000 #constraints=24661 1270.38/1270.90 c nbDecision=149500 #constraints=24917 1278.48/1278.92 c nbDecision=150000 #constraints=24966 1290.98/1291.44 c nbDecision=150500 #constraints=25103 1308.88/1309.30 c nbDecision=151000 #constraints=25281 1317.17/1317.64 c nbDecision=151500 #constraints=25333 1324.67/1325.17 c nbDecision=152000 #constraints=25373 1332.56/1333.06 c nbDecision=152500 #constraints=25443 1344.86/1345.31 c nbDecision=153000 #constraints=25502 1353.02/1353.59 c nbDecision=153500 #constraints=25575 1360.40/1360.99 c nbDecision=154000 #constraints=25626 1366.99/1367.55 c nbDecision=154500 #constraints=25645 1374.37/1374.94 c nbDecision=155000 #constraints=25680 1382.76/1383.31 c nbDecision=155500 #constraints=25722 1389.65/1390.28 c nbDecision=156000 #constraints=25779 1397.64/1398.24 c nbDecision=156500 #constraints=25819 1407.73/1408.32 c nbDecision=157000 #constraints=25924 1416.04/1416.68 c nbDecision=157500 #constraints=25993 1421.63/1422.26 c nbDecision=158000 #constraints=26025 1429.53/1430.19 c nbDecision=158500 #constraints=26064 1437.63/1438.24 c nbDecision=159000 #constraints=26119 1444.12/1444.78 c nbDecision=159500 #constraints=26171 1451.12/1451.80 c nbDecision=160000 #constraints=26201 1457.22/1457.86 c nbDecision=160500 #constraints=26259 1463.42/1464.07 c nbDecision=161000 #constraints=26315 1470.52/1471.17 c nbDecision=161500 #constraints=26372 1477.92/1478.52 c nbDecision=162000 #constraints=26407 1501.50/1502.15 c nbDecision=162500 #constraints=26588 1512.01/1512.65 c nbDecision=163000 #constraints=26661 1519.80/1520.47 c nbDecision=163500 #constraints=26681 1531.59/1532.20 c nbDecision=164000 #constraints=26773 1544.70/1545.34 c nbDecision=164500 #constraints=26894 1551.50/1552.15 c nbDecision=165000 #constraints=26916 1557.39/1558.07 c nbDecision=165500 #constraints=26973 1577.28/1577.93 c nbDecision=166000 #constraints=27146 1590.87/1591.51 c nbDecision=166500 #constraints=27255 1598.07/1598.79 c nbDecision=167000 #constraints=27269 1617.07/1617.79 c nbDecision=167500 #constraints=27379 1623.17/1623.80 c nbDecision=168000 #constraints=27406 1629.16/1629.81 c nbDecision=168500 #constraints=27434 1636.76/1637.46 c nbDecision=169000 #constraints=27478 1683.04/1683.71 c nbDecision=169500 #constraints=27785 1748.93/1749.68 c nbDecision=170000 #constraints=28199 1764.82/1765.51 c nbDecision=170500 #constraints=28292 1772.11/1772.86 c nbDecision=171000 #constraints=28334 1782.22/1782.91 c nbDecision=171500 #constraints=28386 1800.02/1800.70 Received signal 15 1800.02/1800.72 1800.02/1800.72 s UNKNOWN 1800.02/1800.72 1800.02/1800.72 c user time= 1799.43 s 1800.02/1800.72 c system time= 0.613906 s 1800.02/1800.72 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-357290-1176993517 -o ROOT/results/node25/solver-357290-1176993517 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357290-1176993517/instance-357290-1176993517.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.91 0.97 0.99 3/64 30136 /proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=1468 CPUtime=0 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147268772 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 367 161 126 317 0 46 0 [startup+0.103298 s] /proc/loadavg: 0.91 0.97 0.99 3/64 30136 /proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=3340 CPUtime=0.09 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 147268772 3420160 614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 835 614 131 317 0 514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3340 [startup+0.201314 s] /proc/loadavg: 0.91 0.97 0.99 3/64 30136 /proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=5212 CPUtime=0.19 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1119 0 0 0 19 0 0 0 19 0 1 0 147268772 5337088 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 1303 1101 137 317 0 982 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5212 [startup+0.301331 s] /proc/loadavg: 0.91 0.97 0.99 3/64 30136 /proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=5212 CPUtime=0.29 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1119 0 0 0 29 0 0 0 20 0 1 0 147268772 5337088 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 1303 1101 137 317 0 982 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5212 [startup+0.701399 s] /proc/loadavg: 0.91 0.97 0.99 3/64 30136 /proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=5344 CPUtime=0.69 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1132 0 0 0 69 0 0 0 23 0 1 0 147268772 5472256 1114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 1336 1114 137 317 0 1015 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5344 [startup+1.50153 s] /proc/loadavg: 0.91 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1831256/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=6024 CPUtime=1.49 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1325 0 0 0 149 0 0 0 25 0 1 0 147268772 6168576 1266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 1506 1266 139 317 0 1185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6024 [startup+3.10181 s] /proc/loadavg: 0.91 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1830488/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=7072 CPUtime=3.09 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1595 0 0 0 309 0 0 0 25 0 1 0 147268772 7241728 1536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 1768 1536 170 317 0 1447 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7072 [startup+6.30135 s] /proc/loadavg: 0.92 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1824600/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=13104 CPUtime=6.29 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 3106 0 0 0 628 1 0 0 25 0 1 0 147268772 13418496 3047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 3276 3047 170 317 0 2955 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13104 [startup+12.7014 s] /proc/loadavg: 0.93 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1817624/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=19832 CPUtime=12.69 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 4799 0 0 0 1267 2 0 0 25 0 1 0 147268772 20307968 4740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 4958 4740 170 317 0 4637 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19832 [startup+25.5016 s] /proc/loadavg: 0.94 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1803416/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=33564 CPUtime=25.49 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 8202 0 0 0 2545 4 0 0 25 0 1 0 147268772 34369536 8143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 8391 8143 170 317 0 8070 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33564 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1775064/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=64736 CPUtime=51.08 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 15365 0 0 0 5100 8 0 0 25 0 1 0 147268772 66289664 15306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 16184 15306 170 317 0 15863 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64736 [startup+102.302 s] /proc/loadavg: 0.98 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1734936/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=109436 CPUtime=102.27 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 25259 0 0 0 10215 12 0 0 25 0 1 0 147268772 112062464 25200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 27359 25200 170 317 0 27038 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 109436 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1707032/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=140904 CPUtime=162.24 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 32378 0 0 0 16209 15 0 0 25 0 1 0 147268772 144285696 32238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 35226 32238 170 317 0 34905 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 140904 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1685912/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=166236 CPUtime=222.22 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 37565 0 0 0 22204 18 0 0 25 0 1 0 147268772 170225664 37425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 41559 37425 170 317 0 41238 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 166236 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1668824/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=183488 CPUtime=282.2 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 41844 0 0 0 28200 20 0 0 25 0 1 0 147268772 187891712 41704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 45872 41704 170 317 0 45551 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 183488 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1652184/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=199620 CPUtime=342.18 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 45999 0 0 0 34195 23 0 0 25 0 1 0 147268772 204410880 45859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 49905 45859 170 317 0 49584 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 199620 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1635672/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=219472 CPUtime=402.16 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 50105 0 0 0 40191 25 0 0 25 0 1 0 147268772 224739328 49965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 54868 49965 170 317 0 54547 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 219472 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1625432/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=229420 CPUtime=462.14 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 52667 0 0 0 46188 26 0 0 25 0 1 0 147268772 234926080 52527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 57355 52527 170 317 0 57034 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 229420 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 30137 /proc/meminfo: memFree=1608152/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=247792 CPUtime=522.12 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 56988 0 0 0 52184 28 0 0 25 0 1 0 147268772 253739008 56848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 61948 56848 170 317 0 61627 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 247792 [startup+582.302 s] /proc/loadavg: 1.03 0.99 0.99 2/65 30137 /proc/meminfo: memFree=1596952/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=258416 CPUtime=582.11 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 59774 0 0 0 58181 30 0 0 25 0 1 0 147268772 264617984 59634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 64604 59634 170 317 0 64283 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 258416 [startup+642.302 s] /proc/loadavg: 1.04 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1586072/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=269216 CPUtime=642.08 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 62538 0 0 0 64176 32 0 0 25 0 1 0 147268772 275677184 62398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 67304 62398 170 317 0 66983 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 269216 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1525208/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=332352 CPUtime=882.01 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 77612 0 0 0 88162 39 0 0 25 0 1 0 147268772 340328448 77472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 83088 77472 170 317 0 82767 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 332352 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1516120/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=341140 CPUtime=941.98 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 79952 0 0 0 94158 40 0 0 25 0 1 0 147268772 349327360 79812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 85285 79812 170 317 0 84964 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 341140 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1499416/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=360976 CPUtime=1001.97 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 84057 0 0 0 100155 42 0 0 25 0 1 0 147268772 369639424 83917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 90244 83917 170 317 0 89923 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 360976 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1484376/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=375696 CPUtime=1061.95 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 87818 0 0 0 106151 44 0 0 25 0 1 0 147268772 384712704 87678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 93924 87678 170 317 0 93603 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 375696 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1474712/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=385844 CPUtime=1121.93 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 90367 0 0 0 112148 45 0 0 25 0 1 0 147268772 395104256 90065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 96461 90065 170 317 0 96140 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 385844 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1467352/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=392704 CPUtime=1181.91 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 92227 0 0 0 118145 46 0 0 25 0 1 0 147268772 402128896 91925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 98176 91925 170 317 0 97855 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 392704 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1458648/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=400868 CPUtime=1241.89 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 94416 0 0 0 124142 47 0 0 25 0 1 0 147268772 410488832 94081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 100217 94081 170 317 0 99896 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 400868 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30137 /proc/meminfo: memFree=1443544/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=426924 CPUtime=1301.87 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 100223 0 0 0 130138 49 0 0 25 0 1 0 147268772 437170176 97875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711009 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 106731 97875 170 317 0 106410 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 426924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 30245 /proc/meminfo: memFree=1436056/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=432944 CPUtime=1361.8 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 101698 0 0 0 136129 51 0 0 25 0 1 0 147268772 443334656 99350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 108236 99350 170 317 0 107915 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 432944 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1430544/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=438648 CPUtime=1421.74 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 103341 0 0 0 142122 52 0 0 25 0 1 0 147268772 449175552 100993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 109662 100993 170 317 0 109341 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 438648 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1423440/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=446188 CPUtime=1481.71 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 105208 0 0 0 148118 53 0 0 25 0 1 0 147268772 456896512 102794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 111547 102794 170 317 0 111226 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 446188 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1411088/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=463200 CPUtime=1541.7 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 108295 0 0 0 154115 55 0 0 25 0 1 0 147268772 474316800 105881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 115800 105881 170 317 0 115479 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 463200 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1402064/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=474232 CPUtime=1601.68 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 110601 0 0 0 160112 56 0 0 25 0 1 0 147268772 485613568 108154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 118558 108154 170 317 0 118237 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 474232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1392208/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=485768 CPUtime=1661.65 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 113103 0 0 0 166109 56 0 0 25 0 1 0 147268772 497426432 110623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 121442 110623 170 317 0 121121 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 485768 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1379736/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=499244 CPUtime=1721.63 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 116279 0 0 0 172105 58 0 0 25 0 1 0 147268772 511225856 113733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 124811 113733 170 317 0 124490 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 499244 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1370008/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=509000 CPUtime=1781.62 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 118747 0 0 0 178102 60 0 0 25 0 1 0 147268772 521216000 116168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 127250 116168 170 317 0 126929 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 509000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1364824/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=513852 CPUtime=1800.02 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 120064 0 0 0 179941 61 0 0 25 0 1 0 147268772 526184448 117452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 128463 117452 170 317 0 128142 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 513852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30335 /proc/meminfo: memFree=1364824/2055920 swapFree=4182972/4192956 [pid=30136] ppid=30134 vsize=0 CPUtime=1800.11 /proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194308 120080 0 0 0 179943 68 0 0 25 0 1 0 147268772 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30136/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.13 CPU user time (s): 1799.44 CPU system time (s): 0.691894 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 513852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.691894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120080 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= 2626 runsolver used 1.39179 second user time and 3.60545 second system time The end
Begin job on node25 on Thu Apr 19 14:38:37 UTC 2007 IDJOB= 357290 IDBENCH= 2354 IDSOLVER= 172 FILE ID= node25/357290-1176993517 PBS_JOBID= 4630422 Free space on /tmp= 66368 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/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= oree /tmp/evaluation/357290-1176993517/instance-357290-1176993517.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-357290-1176993517 -o ROOT/results/node25/solver-357290-1176993517 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357290-1176993517/instance-357290-1176993517.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED= 34921666 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1835960 kB Buffers: 26652 kB Cached: 145784 kB SwapCached: 3684 kB Active: 75660 kB Inactive: 106796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835960 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 1732 kB Writeback: 0 kB Mapped: 15988 kB Slab: 23576 kB Committed_AS: 2176344 kB PageTables: 1472 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= 66368 MiB End job on node25 on Thu Apr 19 15:08:40 UTC 2007