Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.95 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-dfl001.opb |
MD5SUM | 82090c0a4adcfdd30e3ab97004b5e93d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 366703 |
Total number of constraints | 6084 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6084 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 187033 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 882752655849462510276 |
Number of bits of the sum of numbers in the objective function | 70 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 4277072243466308763648 |
Number of bits of the biggest sum of numbers | 72 |
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... 4.99/5.02 c ...done 4.99/5.03 c #vars=366703 #constraints=12156 hasObjective=yes 8.18/8.25 c res. mode=mod 8.18/8.25 c VSIDS like heuristics 8.18/8.25 c complete search running 13.59/13.63 c restart after 401 decisions 14.59/14.63 c nbDecision=500 #constraints=12177 17.49/17.57 c restart after 801 decisions 19.49/19.55 c nbDecision=1000 #constraints=12190 24.38/24.40 c nbDecision=1500 #constraints=12194 25.29/25.37 c restart after 1601 decisions 29.28/29.33 c nbDecision=2000 #constraints=12199 34.07/34.15 c nbDecision=2500 #constraints=12202 38.96/39.01 c nbDecision=3000 #constraints=12207 40.86/40.94 c restart after 3201 decisions 43.76/43.86 c nbDecision=3500 #constraints=12208 48.86/48.92 c nbDecision=4000 #constraints=12267 53.76/53.81 c nbDecision=4500 #constraints=12272 58.55/58.67 c nbDecision=5000 #constraints=12280 63.55/63.60 c nbDecision=5500 #constraints=12305 68.25/68.39 c nbDecision=6000 #constraints=12306 72.15/72.25 c restart after 6401 decisions 73.15/73.26 c nbDecision=6500 #constraints=12306 78.05/78.12 c nbDecision=7000 #constraints=12312 82.85/82.93 c nbDecision=7500 #constraints=12316 87.74/87.82 c nbDecision=8000 #constraints=12331 92.54/92.63 c nbDecision=8500 #constraints=12333 97.44/97.52 c nbDecision=9000 #constraints=12339 102.24/102.31 c nbDecision=9500 #constraints=12343 107.03/107.15 c nbDecision=10000 #constraints=12355 111.83/111.96 c nbDecision=10500 #constraints=12358 116.63/116.77 c nbDecision=11000 #constraints=12362 121.63/121.72 c nbDecision=11500 #constraints=12389 126.33/126.50 c nbDecision=12000 #constraints=12389 131.22/131.34 c nbDecision=12500 #constraints=12390 134.13/134.27 c restart after 12801 decisions 136.12/136.25 c nbDecision=13000 #constraints=12392 140.92/141.05 c nbDecision=13500 #constraints=12392 145.62/145.78 c nbDecision=14000 #constraints=12395 150.52/150.67 c nbDecision=14500 #constraints=12413 155.32/155.47 c nbDecision=15000 #constraints=12413 160.11/160.20 c nbDecision=15500 #constraints=12416 164.92/165.07 c nbDecision=16000 #constraints=12428 169.71/169.85 c nbDecision=16500 #constraints=12429 174.61/174.74 c nbDecision=17000 #constraints=12456 179.41/179.59 c nbDecision=17500 #constraints=12461 184.21/184.34 c nbDecision=18000 #constraints=12470 189.21/189.31 c nbDecision=18500 #constraints=12497 194.00/194.15 c nbDecision=19000 #constraints=12497 198.90/199.00 c nbDecision=19500 #constraints=12508 204.01/204.14 c nbDecision=20000 #constraints=12543 208.80/208.91 c nbDecision=20500 #constraints=12544 213.80/213.92 c nbDecision=21000 #constraints=12572 218.50/218.68 c nbDecision=21500 #constraints=12574 223.40/223.59 c nbDecision=22000 #constraints=12587 228.30/228.48 c nbDecision=22500 #constraints=12607 233.29/233.43 c nbDecision=23000 #constraints=12627 238.29/238.41 c nbDecision=23500 #constraints=12648 242.99/243.20 c nbDecision=24000 #constraints=12656 247.79/247.96 c nbDecision=24500 #constraints=12658 252.58/252.80 c nbDecision=25000 #constraints=12658 257.39/257.55 c nbDecision=25500 #constraints=12659 258.39/258.52 c restart after 25601 decisions 262.28/262.43 c nbDecision=26000 #constraints=12660 266.98/267.16 c nbDecision=26500 #constraints=12660 272.08/272.29 c nbDecision=27000 #constraints=12690 277.08/277.21 c nbDecision=27500 #constraints=12705 281.77/281.97 c nbDecision=28000 #constraints=12709 286.87/287.02 c nbDecision=28500 #constraints=12720 291.57/291.75 c nbDecision=29000 #constraints=12721 296.46/296.61 c nbDecision=29500 #constraints=12726 301.27/301.48 c nbDecision=30000 #constraints=12740 306.16/306.37 c nbDecision=30500 #constraints=12758 311.06/311.28 c nbDecision=31000 #constraints=12778 316.06/316.28 c nbDecision=31500 #constraints=12805 321.06/321.24 c nbDecision=32000 #constraints=12831 325.95/326.18 c nbDecision=32500 #constraints=12861 330.75/330.95 c nbDecision=33000 #constraints=12873 335.75/335.95 c nbDecision=33500 #constraints=12878 340.65/340.81 c nbDecision=34000 #constraints=12885 345.45/345.66 c nbDecision=34500 #constraints=12897 350.34/350.54 c nbDecision=35000 #constraints=12911 355.25/355.47 c nbDecision=35500 #constraints=12927 360.14/360.36 c nbDecision=36000 #constraints=12943 364.95/365.17 c nbDecision=36500 #constraints=12952 369.75/369.92 c nbDecision=37000 #constraints=12952 374.54/374.71 c nbDecision=37500 #constraints=12957 379.24/379.47 c nbDecision=38000 #constraints=12960 384.04/384.22 c nbDecision=38500 #constraints=12965 388.84/389.02 c nbDecision=39000 #constraints=12974 393.54/393.79 c nbDecision=39500 #constraints=12974 398.43/398.62 c nbDecision=40000 #constraints=12976 403.23/403.48 c nbDecision=40500 #constraints=12990 407.93/408.19 c nbDecision=41000 #constraints=12991 412.83/413.00 c nbDecision=41500 #constraints=12991 417.53/417.74 c nbDecision=42000 #constraints=12991 422.52/422.70 c nbDecision=42500 #constraints=13034 427.32/427.57 c nbDecision=43000 #constraints=13035 432.12/432.33 c nbDecision=43500 #constraints=13035 436.92/437.17 c nbDecision=44000 #constraints=13036 441.72/441.91 c nbDecision=44500 #constraints=13036 446.42/446.69 c nbDecision=45000 #constraints=13037 451.21/451.46 c nbDecision=45500 #constraints=13037 456.01/456.23 c nbDecision=46000 #constraints=13037 460.91/461.10 c nbDecision=46500 #constraints=13039 465.61/465.86 c nbDecision=47000 #constraints=13039 470.41/470.67 c nbDecision=47500 #constraints=13057 475.30/475.52 c nbDecision=48000 #constraints=13067 480.10/480.33 c nbDecision=48500 #constraints=13068 484.80/485.06 c nbDecision=49000 #constraints=13072 489.60/489.87 c nbDecision=49500 #constraints=13074 494.50/494.71 c nbDecision=50000 #constraints=13074 499.30/499.50 c nbDecision=50500 #constraints=13074 504.09/504.33 c nbDecision=51000 #constraints=13095 506.09/506.32 c restart after 51201 decisions 508.99/509.25 c nbDecision=51500 #constraints=13108 513.79/514.05 c nbDecision=52000 #constraints=13108 518.59/518.81 c nbDecision=52500 #constraints=13112 523.39/523.61 c nbDecision=53000 #constraints=13114 528.18/528.41 c nbDecision=53500 #constraints=13114 532.88/533.16 c nbDecision=54000 #constraints=13114 537.68/537.95 c nbDecision=54500 #constraints=13121 542.48/542.74 c nbDecision=55000 #constraints=13122 547.17/547.48 c nbDecision=55500 #constraints=13123 551.98/552.26 c nbDecision=56000 #constraints=13129 556.77/557.01 c nbDecision=56500 #constraints=13131 561.47/561.70 c nbDecision=57000 #constraints=13132 566.17/566.49 c nbDecision=57500 #constraints=13133 570.97/571.21 c nbDecision=58000 #constraints=13133 575.66/575.98 c nbDecision=58500 #constraints=13134 580.46/580.76 c nbDecision=59000 #constraints=13135 585.26/585.53 c nbDecision=59500 #constraints=13138 589.96/590.27 c nbDecision=60000 #constraints=13138 594.66/594.99 c nbDecision=60500 #constraints=13138 599.66/599.90 c nbDecision=61000 #constraints=13145 604.36/604.66 c nbDecision=61500 #constraints=13145 609.16/609.47 c nbDecision=62000 #constraints=13161 613.96/614.29 c nbDecision=62500 #constraints=13161 618.76/619.06 c nbDecision=63000 #constraints=13165 623.46/623.77 c nbDecision=63500 #constraints=13167 628.35/628.61 c nbDecision=64000 #constraints=13181 633.05/633.36 c nbDecision=64500 #constraints=13181 637.85/638.12 c nbDecision=65000 #constraints=13183 642.55/642.87 c nbDecision=65500 #constraints=13186 647.32/647.62 c nbDecision=66000 #constraints=13186 652.12/652.43 c nbDecision=66500 #constraints=13200 657.01/657.30 c nbDecision=67000 #constraints=13206 661.79/662.13 c nbDecision=67500 #constraints=13207 666.48/666.85 c nbDecision=68000 #constraints=13208 671.16/671.55 c nbDecision=68500 #constraints=13214 675.96/676.39 c nbDecision=69000 #constraints=13231 680.75/681.10 c nbDecision=69500 #constraints=13231 685.55/685.91 c nbDecision=70000 #constraints=13234 690.25/690.69 c nbDecision=70500 #constraints=13234 695.04/695.49 c nbDecision=71000 #constraints=13234 699.82/700.20 c nbDecision=71500 #constraints=13238 704.62/705.05 c nbDecision=72000 #constraints=13242 709.42/709.83 c nbDecision=72500 #constraints=13242 714.12/714.56 c nbDecision=73000 #constraints=13243 718.91/719.34 c nbDecision=73500 #constraints=13252 723.61/724.03 c nbDecision=74000 #constraints=13257 728.31/728.74 c nbDecision=74500 #constraints=13263 733.02/733.49 c nbDecision=75000 #constraints=13270 737.82/738.26 c nbDecision=75500 #constraints=13284 742.71/743.17 c nbDecision=76000 #constraints=13295 747.51/747.95 c nbDecision=76500 #constraints=13295 752.31/752.71 c nbDecision=77000 #constraints=13295 757.01/757.41 c nbDecision=77500 #constraints=13296 761.71/762.19 c nbDecision=78000 #constraints=13315 766.41/766.86 c nbDecision=78500 #constraints=13317 771.50/771.91 c nbDecision=79000 #constraints=13337 776.30/776.72 c nbDecision=79500 #constraints=13350 781.10/781.53 c nbDecision=80000 #constraints=13362 785.70/786.20 c nbDecision=80500 #constraints=13366 790.50/790.93 c nbDecision=81000 #constraints=13371 795.29/795.70 c nbDecision=81500 #constraints=13377 799.99/800.40 c nbDecision=82000 #constraints=13380 804.79/805.26 c nbDecision=82500 #constraints=13398 809.69/810.11 c nbDecision=83000 #constraints=13409 814.39/814.81 c nbDecision=83500 #constraints=13410 819.28/819.70 c nbDecision=84000 #constraints=13433 823.98/824.43 c nbDecision=84500 #constraints=13434 828.68/829.14 c nbDecision=85000 #constraints=13436 833.38/833.88 c nbDecision=85500 #constraints=13443 838.08/838.59 c nbDecision=86000 #constraints=13445 842.77/843.25 c nbDecision=86500 #constraints=13447 847.47/847.93 c nbDecision=87000 #constraints=13450 852.17/852.67 c nbDecision=87500 #constraints=13453 856.87/857.37 c nbDecision=88000 #constraints=13454 861.97/862.43 c nbDecision=88500 #constraints=13482 866.67/867.13 c nbDecision=89000 #constraints=13482 871.36/871.81 c nbDecision=89500 #constraints=13482 876.16/876.65 c nbDecision=90000 #constraints=13502 880.96/881.44 c nbDecision=90500 #constraints=13512 885.86/886.31 c nbDecision=91000 #constraints=13538 890.76/891.25 c nbDecision=91500 #constraints=13549 895.56/896.04 c nbDecision=92000 #constraints=13551 900.26/900.74 c nbDecision=92500 #constraints=13551 904.86/905.40 c nbDecision=93000 #constraints=13552 909.86/910.40 c nbDecision=93500 #constraints=13614 914.86/915.31 c nbDecision=94000 #constraints=13615 919.55/920.08 c nbDecision=94500 #constraints=13616 924.25/924.78 c nbDecision=95000 #constraints=13621 928.95/929.47 c nbDecision=95500 #constraints=13625 933.85/934.38 c nbDecision=96000 #constraints=13642 938.65/939.12 c nbDecision=96500 #constraints=13647 943.35/943.85 c nbDecision=97000 #constraints=13657 948.44/948.97 c nbDecision=97500 #constraints=13688 953.14/953.67 c nbDecision=98000 #constraints=13692 957.94/958.49 c nbDecision=98500 #constraints=13707 962.63/963.20 c nbDecision=99000 #constraints=13709 967.33/967.88 c nbDecision=99500 #constraints=13713 973.13/973.60 c nbDecision=100000 #constraints=13756 977.93/978.42 c nbDecision=100500 #constraints=13770 982.53/983.09 c nbDecision=101000 #constraints=13770 987.22/987.78 c nbDecision=101500 #constraints=13775 991.92/992.49 c nbDecision=102000 #constraints=13779 995.72/996.29 c restart after 102401 decisions 996.82/997.32 c nbDecision=102500 #constraints=13781 1001.72/1002.28 c nbDecision=103000 #constraints=13788 1006.52/1007.02 c nbDecision=103500 #constraints=13793 1011.22/1011.72 c nbDecision=104000 #constraints=13793 1015.92/1016.43 c nbDecision=104500 #constraints=13795 1020.91/1021.42 c nbDecision=105000 #constraints=13824 1025.61/1026.14 c nbDecision=105500 #constraints=13824 1030.31/1030.83 c nbDecision=106000 #constraints=13824 1035.00/1035.54 c nbDecision=106500 #constraints=13825 1039.70/1040.25 c nbDecision=107000 #constraints=13828 1044.80/1045.36 c nbDecision=107500 #constraints=13842 1049.50/1050.08 c nbDecision=108000 #constraints=13842 1054.20/1054.77 c nbDecision=108500 #constraints=13842 1058.90/1059.47 c nbDecision=109000 #constraints=13845 1064.41/1064.92 c nbDecision=109500 #constraints=13870 1069.30/1069.81 c nbDecision=110000 #constraints=13882 1074.10/1074.68 c nbDecision=110500 #constraints=13892 1078.90/1079.43 c nbDecision=111000 #constraints=13892 1083.49/1084.09 c nbDecision=111500 #constraints=13893 1088.19/1088.78 c nbDecision=112000 #constraints=13896 1092.89/1093.48 c nbDecision=112500 #constraints=13899 1098.09/1098.61 c nbDecision=113000 #constraints=13921 1102.79/1103.38 c nbDecision=113500 #constraints=13931 1107.48/1108.04 c nbDecision=114000 #constraints=13931 1112.18/1112.75 c nbDecision=114500 #constraints=13934 1116.98/1117.51 c nbDecision=115000 #constraints=13940 1121.98/1122.51 c nbDecision=115500 #constraints=13971 1126.68/1127.26 c nbDecision=116000 #constraints=13971 1131.48/1132.01 c nbDecision=116500 #constraints=13972 1136.17/1136.75 c nbDecision=117000 #constraints=13973 1140.87/1141.45 c nbDecision=117500 #constraints=13977 1145.77/1146.33 c nbDecision=118000 #constraints=13998 1150.47/1151.08 c nbDecision=118500 #constraints=13998 1155.27/1155.84 c nbDecision=119000 #constraints=13999 1159.97/1160.57 c nbDecision=119500 #constraints=14000 1164.66/1165.28 c nbDecision=120000 #constraints=14006 1169.56/1170.12 c nbDecision=120500 #constraints=14031 1174.26/1174.80 c nbDecision=121000 #constraints=14031 1178.86/1179.49 c nbDecision=121500 #constraints=14033 1183.76/1184.33 c nbDecision=122000 #constraints=14075 1188.35/1188.99 c nbDecision=122500 #constraints=14075 1193.06/1193.68 c nbDecision=123000 #constraints=14078 1197.85/1198.45 c nbDecision=123500 #constraints=14086 1202.55/1203.15 c nbDecision=124000 #constraints=14086 1207.25/1207.80 c nbDecision=124500 #constraints=14087 1211.94/1212.51 c nbDecision=125000 #constraints=14100 1216.94/1217.55 c nbDecision=125500 #constraints=14170 1221.84/1222.45 c nbDecision=126000 #constraints=14173 1226.64/1227.21 c nbDecision=126500 #constraints=14173 1231.34/1231.93 c nbDecision=127000 #constraints=14173 1236.04/1236.64 c nbDecision=127500 #constraints=14173 1240.93/1241.51 c nbDecision=128000 #constraints=14201 1245.84/1246.42 c nbDecision=128500 #constraints=14218 1250.63/1251.21 c nbDecision=129000 #constraints=14219 1255.33/1255.94 c nbDecision=129500 #constraints=14219 1260.03/1260.64 c nbDecision=130000 #constraints=14219 1264.73/1265.37 c nbDecision=130500 #constraints=14223 1270.22/1270.85 c nbDecision=131000 #constraints=14279 1275.02/1275.63 c nbDecision=131500 #constraints=14280 1279.72/1280.35 c nbDecision=132000 #constraints=14281 1284.42/1285.06 c nbDecision=132500 #constraints=14285 1289.21/1289.85 c nbDecision=133000 #constraints=14297 1293.91/1294.55 c nbDecision=133500 #constraints=14299 1298.61/1299.27 c nbDecision=134000 #constraints=14302 1303.61/1304.25 c nbDecision=134500 #constraints=14327 1308.31/1308.94 c nbDecision=135000 #constraints=14328 1313.11/1313.78 c nbDecision=135500 #constraints=14333 1317.91/1318.54 c nbDecision=136000 #constraints=14333 1322.61/1323.27 c nbDecision=136500 #constraints=14333 1327.61/1328.27 c nbDecision=137000 #constraints=14339 1332.31/1333.00 c nbDecision=137500 #constraints=14340 1337.21/1337.87 c nbDecision=138000 #constraints=14344 1342.01/1342.60 c nbDecision=138500 #constraints=14344 1346.60/1347.27 c nbDecision=139000 #constraints=14345 1351.50/1352.14 c nbDecision=139500 #constraints=14349 1356.30/1356.93 c nbDecision=140000 #constraints=14353 1361.10/1361.75 c nbDecision=140500 #constraints=14355 1365.80/1366.47 c nbDecision=141000 #constraints=14357 1370.49/1371.14 c nbDecision=141500 #constraints=14357 1375.39/1376.04 c nbDecision=142000 #constraints=14361 1380.09/1380.75 c nbDecision=142500 #constraints=14361 1384.89/1385.58 c nbDecision=143000 #constraints=14368 1389.69/1390.31 c nbDecision=143500 #constraints=14368 1394.39/1395.01 c nbDecision=144000 #constraints=14368 1399.18/1399.81 c nbDecision=144500 #constraints=14371 1403.88/1404.54 c nbDecision=145000 #constraints=14371 1408.58/1409.23 c nbDecision=145500 #constraints=14371 1413.28/1413.94 c nbDecision=146000 #constraints=14373 1418.08/1418.76 c nbDecision=146500 #constraints=14374 1422.88/1423.58 c nbDecision=147000 #constraints=14387 1427.57/1428.25 c nbDecision=147500 #constraints=14387 1432.37/1433.05 c nbDecision=148000 #constraints=14388 1437.07/1437.78 c nbDecision=148500 #constraints=14388 1441.77/1442.46 c nbDecision=149000 #constraints=14389 1446.57/1447.21 c nbDecision=149500 #constraints=14390 1451.26/1451.94 c nbDecision=150000 #constraints=14390 1455.96/1456.66 c nbDecision=150500 #constraints=14391 1460.76/1461.40 c nbDecision=151000 #constraints=14393 1465.46/1466.14 c nbDecision=151500 #constraints=14393 1470.16/1470.85 c nbDecision=152000 #constraints=14394 1474.86/1475.55 c nbDecision=152500 #constraints=14394 1479.75/1480.43 c nbDecision=153000 #constraints=14397 1484.46/1485.12 c nbDecision=153500 #constraints=14397 1489.25/1489.91 c nbDecision=154000 #constraints=14401 1494.05/1494.70 c nbDecision=154500 #constraints=14401 1498.75/1499.41 c nbDecision=155000 #constraints=14402 1503.64/1504.31 c nbDecision=155500 #constraints=14406 1508.34/1509.00 c nbDecision=156000 #constraints=14406 1513.04/1513.71 c nbDecision=156500 #constraints=14406 1517.74/1518.43 c nbDecision=157000 #constraints=14408 1522.54/1523.23 c nbDecision=157500 #constraints=14410 1527.34/1528.03 c nbDecision=158000 #constraints=14424 1532.03/1532.70 c nbDecision=158500 #constraints=14425 1536.83/1537.55 c nbDecision=159000 #constraints=14437 1541.63/1542.38 c nbDecision=159500 #constraints=14441 1546.33/1547.07 c nbDecision=160000 #constraints=14441 1551.03/1551.80 c nbDecision=160500 #constraints=14443 1555.83/1556.59 c nbDecision=161000 #constraints=14444 1560.62/1561.33 c nbDecision=161500 #constraints=14444 1565.32/1566.01 c nbDecision=162000 #constraints=14444 1570.12/1570.86 c nbDecision=162500 #constraints=14453 1574.92/1575.62 c nbDecision=163000 #constraints=14453 1579.62/1580.30 c nbDecision=163500 #constraints=14453 1584.42/1585.17 c nbDecision=164000 #constraints=14458 1589.11/1589.89 c nbDecision=164500 #constraints=14459 1593.91/1594.64 c nbDecision=165000 #constraints=14460 1598.81/1599.52 c nbDecision=165500 #constraints=14463 1603.51/1604.20 c nbDecision=166000 #constraints=14463 1608.21/1608.98 c nbDecision=166500 #constraints=14466 1612.90/1613.66 c nbDecision=167000 #constraints=14466 1618.10/1618.87 c nbDecision=167500 #constraints=14493 1622.80/1623.58 c nbDecision=168000 #constraints=14496 1627.60/1628.32 c nbDecision=168500 #constraints=14498 1632.81/1633.51 c nbDecision=169000 #constraints=14530 1637.60/1638.30 c nbDecision=169500 #constraints=14530 1642.30/1643.00 c nbDecision=170000 #constraints=14531 1647.00/1647.77 c nbDecision=170500 #constraints=14533 1652.59/1653.40 c nbDecision=171000 #constraints=14594 1657.39/1658.15 c nbDecision=171500 #constraints=14595 1662.19/1662.92 c nbDecision=172000 #constraints=14598 1666.89/1667.62 c nbDecision=172500 #constraints=14603 1671.78/1672.52 c nbDecision=173000 #constraints=14609 1676.48/1677.25 c nbDecision=173500 #constraints=14609 1681.38/1682.13 c nbDecision=174000 #constraints=14613 1686.08/1686.85 c nbDecision=174500 #constraints=14616 1690.88/1691.60 c nbDecision=175000 #constraints=14618 1695.67/1696.49 c nbDecision=175500 #constraints=14620 1700.47/1701.22 c nbDecision=176000 #constraints=14620 1705.27/1706.08 c nbDecision=176500 #constraints=14624 1710.07/1710.81 c nbDecision=177000 #constraints=14624 1714.77/1715.55 c nbDecision=177500 #constraints=14625 1719.57/1720.33 c nbDecision=178000 #constraints=14627 1724.46/1725.23 c nbDecision=178500 #constraints=14630 1729.16/1729.96 c nbDecision=179000 #constraints=14630 1734.06/1734.81 c nbDecision=179500 #constraints=14634 1738.76/1739.56 c nbDecision=180000 #constraints=14634 1743.46/1744.26 c nbDecision=180500 #constraints=14635 1748.16/1748.96 c nbDecision=181000 #constraints=14637 1752.95/1753.70 c nbDecision=181500 #constraints=14640 1757.95/1758.74 c nbDecision=182000 #constraints=14665 1762.65/1763.44 c nbDecision=182500 #constraints=14665 1767.45/1768.24 c nbDecision=183000 #constraints=14667 1772.25/1773.01 c nbDecision=183500 #constraints=14667 1776.95/1777.79 c nbDecision=184000 #constraints=14667 1781.74/1782.52 c nbDecision=184500 #constraints=14669 1786.44/1787.22 c nbDecision=185000 #constraints=14671 1791.34/1792.18 c nbDecision=185500 #constraints=14696 1796.14/1796.91 c nbDecision=186000 #constraints=14697 1800.04/1800.80 Received signal 15 1800.04/1800.81 1800.04/1800.81 s UNKNOWN 1800.04/1800.81 1800.04/1800.81 c user time= 1799.77 s 1800.04/1800.81 c system time= 0.289955 s 1800.04/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-357315-1176994217 -o ROOT/results/node66/solver-357315-1176994217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357315-1176994217/instance-357315-1176994217.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.95 0.98 3/64 25414 /proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=1468 CPUtime=0 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175411350 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 367 160 127 317 0 46 0 [startup+0.102909 s] /proc/loadavg: 0.91 0.95 0.98 3/64 25414 /proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=3440 CPUtime=0.09 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 175411350 3522560 529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 860 529 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.202928 s] /proc/loadavg: 0.91 0.95 0.98 3/64 25414 /proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=5520 CPUtime=0.19 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 1413 0 0 0 19 0 0 0 18 0 1 0 175411350 5652480 911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 1380 911 127 317 0 1059 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5520 [startup+0.302948 s] /proc/loadavg: 0.91 0.95 0.98 3/64 25414 /proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=5520 CPUtime=0.29 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 1554 0 0 0 29 0 0 0 19 0 1 0 175411350 5652480 1052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 1380 1052 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.702027 s] /proc/loadavg: 0.91 0.95 0.98 3/64 25414 /proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=9548 CPUtime=0.69 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 2913 0 0 0 68 1 0 0 22 0 1 0 175411350 9777152 1898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 2387 1898 128 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50119 s] /proc/loadavg: 0.91 0.95 0.98 2/65 25415 /proc/meminfo: memFree=1412448/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=23628 CPUtime=1.49 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 6320 0 0 0 147 2 0 0 25 0 1 0 175411350 24195072 5305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 5907 5306 131 317 0 5586 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23628 [startup+3.10151 s] /proc/loadavg: 0.92 0.95 0.98 2/65 25415 /proc/meminfo: memFree=1389408/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=57532 CPUtime=3.08 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 14696 0 0 0 301 7 0 0 25 0 1 0 175411350 58912768 13681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 14383 13681 131 317 0 14062 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 57532 [startup+6.30114 s] /proc/loadavg: 0.92 0.95 0.98 2/65 25415 /proc/meminfo: memFree=1294752/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=137720 CPUtime=6.29 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 34607 0 0 0 612 17 0 0 25 0 1 0 175411350 141025280 33592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 34430 33592 137 317 0 34109 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 137720 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.98 2/65 25415 /proc/meminfo: memFree=1277224/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=151516 CPUtime=12.69 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38028 0 0 0 1250 19 0 0 25 0 1 0 175411350 155152384 36929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 37879 36929 139 317 0 37558 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 151516 [startup+25.503 s] /proc/loadavg: 0.94 0.96 0.98 2/65 25415 /proc/meminfo: memFree=1277416/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=151516 CPUtime=25.48 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38028 0 0 0 2529 19 0 0 25 0 1 0 175411350 155152384 36929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 37879 36929 139 317 0 37558 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 151516 [startup+51.1021 s] /proc/loadavg: 0.96 0.96 0.98 2/65 25415 /proc/meminfo: memFree=1277160/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=151912 CPUtime=51.06 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38128 0 0 0 5087 19 0 0 25 0 1 0 175411350 155557888 37029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384559 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 37978 37029 139 317 0 37657 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 151912 [startup+102.301 s] /proc/loadavg: 0.98 0.96 0.98 2/65 25415 /proc/meminfo: memFree=1276456/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=152572 CPUtime=102.24 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38317 0 0 0 10205 19 0 0 25 0 1 0 175411350 156233728 37218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 38143 37218 139 317 0 37822 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 152572 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1275624/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=153504 CPUtime=162.21 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38527 0 0 0 16202 19 0 0 25 0 1 0 175411350 157188096 37428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 38376 37428 139 317 0 38055 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 153504 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1272552/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=156724 CPUtime=222.2 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 39312 0 0 0 22200 20 0 0 25 0 1 0 175411350 160485376 38213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 39181 38213 170 317 0 38860 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 156724 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1269672/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=159624 CPUtime=282.17 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 40027 0 0 0 28197 20 0 0 25 0 1 0 175411350 163454976 38928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 39906 38928 170 317 0 39585 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 159624 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1265768/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=163728 CPUtime=342.15 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 41025 0 0 0 34195 20 0 0 25 0 1 0 175411350 167657472 39926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 40932 39926 170 317 0 40611 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 163728 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1263976/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=165416 CPUtime=402.13 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 41446 0 0 0 40192 21 0 0 25 0 1 0 175411350 169385984 40347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 41354 40347 170 317 0 41033 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 165416 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1262952/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=166596 CPUtime=462.11 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 41709 0 0 0 46190 21 0 0 25 0 1 0 175411350 170594304 40610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 41649 40610 170 317 0 41328 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 166596 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1261288/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=168196 CPUtime=522.08 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 42123 0 0 0 52187 21 0 0 25 0 1 0 175411350 172232704 41024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 42049 41024 170 317 0 41728 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 168196 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1260968/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=168596 CPUtime=582.06 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 42204 0 0 0 58185 21 0 0 25 0 1 0 175411350 172642304 41105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 42149 41105 170 317 0 41828 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 168596 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 25415 /proc/meminfo: memFree=1260264/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=169252 CPUtime=642.05 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 42376 0 0 0 64183 22 0 0 25 0 1 0 175411350 173314048 41277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 42313 41277 170 317 0 41992 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 169252 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.01 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1253864/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=175728 CPUtime=881.86 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 43927 0 0 0 88162 24 0 0 25 0 1 0 175411350 179945472 42828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 43932 42828 170 317 0 43611 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 175728 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1251368/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=178144 CPUtime=941.84 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 44542 0 0 0 94159 25 0 0 25 0 1 0 175411350 182419456 43443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 44536 43443 170 317 0 44215 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 178144 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1247400/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=182364 CPUtime=1001.82 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 45542 0 0 0 100157 25 0 0 25 0 1 0 175411350 186740736 44443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 45591 44443 170 317 0 45270 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 182364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1245608/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=184440 CPUtime=1061.8 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 46053 0 0 0 106154 26 0 0 25 0 1 0 175411350 188866560 44954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 46110 44954 170 317 0 45789 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 184440 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1243176/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=186676 CPUtime=1121.78 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 46614 0 0 0 112152 26 0 0 25 0 1 0 175411350 191156224 45515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 46669 45515 170 317 0 46348 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 186676 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1242536/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=187476 CPUtime=1181.76 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 46820 0 0 0 118150 26 0 0 25 0 1 0 175411350 191975424 45721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 46869 45721 170 317 0 46548 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 187476 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1240552/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=189344 CPUtime=1241.73 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 47266 0 0 0 124147 26 0 0 25 0 1 0 175411350 193888256 46167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 47336 46167 170 317 0 47015 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 189344 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1237992/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=192124 CPUtime=1301.71 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 47936 0 0 0 130145 26 0 0 25 0 1 0 175411350 196734976 46837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 48031 46837 170 317 0 47710 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 192124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1236776/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=193260 CPUtime=1361.7 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48216 0 0 0 136143 27 0 0 25 0 1 0 175411350 197898240 47117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 48315 47117 170 317 0 47994 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 193260 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1236072/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=193904 CPUtime=1421.68 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48380 0 0 0 142141 27 0 0 25 0 1 0 175411350 198557696 47281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 48476 47281 170 317 0 48155 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 193904 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1235880/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=194048 CPUtime=1481.65 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48423 0 0 0 148138 27 0 0 25 0 1 0 175411350 198705152 47324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 48512 47324 170 317 0 48191 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 194048 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1234920/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=194976 CPUtime=1541.63 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48657 0 0 0 154136 27 0 0 25 0 1 0 175411350 199655424 47558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 48744 47558 170 317 0 48423 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 194976 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1234216/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=195764 CPUtime=1601.61 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48828 0 0 0 160134 27 0 0 25 0 1 0 175411350 200462336 47729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 48941 47729 170 317 0 48620 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 195764 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1228392/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=202096 CPUtime=1661.59 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 50321 0 0 0 166131 28 0 0 25 0 1 0 175411350 206946304 49222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 50524 49222 170 317 0 50203 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 202096 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1227624/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=202856 CPUtime=1721.57 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 50503 0 0 0 172129 28 0 0 25 0 1 0 175411350 207724544 49404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 50714 49404 170 317 0 50393 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 202856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1226024/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=204356 CPUtime=1781.54 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 50904 0 0 0 178126 28 0 0 25 0 1 0 175411350 209260544 49805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 51089 49805 170 317 0 50768 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 204356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1225320/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=205156 CPUtime=1800.04 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 51078 0 0 0 179976 28 0 0 25 0 1 0 175411350 210079744 49979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 51289 49979 170 317 0 50968 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 205156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25613 /proc/meminfo: memFree=1225320/2055920 swapFree=4182980/4192956 [pid=25414] ppid=25412 vsize=197312 CPUtime=1800.15 /proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 51094 0 0 0 179986 29 0 0 25 0 1 0 175411350 202047488 48100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134557252 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25414/statm: 49328 48100 186 317 0 49007 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 197312 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.19 CPU user time (s): 1799.87 CPU system time (s): 0.320951 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 205156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.320951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51094 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= 1758 runsolver used 1.35179 second user time and 3.65944 second system time The end
Begin job on node66 on Thu Apr 19 14:50:18 UTC 2007 IDJOB= 357315 IDBENCH= 2388 IDSOLVER= 172 FILE ID= node66/357315-1176994217 PBS_JOBID= 4630470 Free space on /tmp= 66389 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb COMMAND LINE= oree /tmp/evaluation/357315-1176994217/instance-357315-1176994217.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-357315-1176994217 -o ROOT/results/node66/solver-357315-1176994217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357315-1176994217/instance-357315-1176994217.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 82090c0a4adcfdd30e3ab97004b5e93d RANDOM SEED= 60466172 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1425344 kB Buffers: 29488 kB Cached: 529176 kB SwapCached: 3696 kB Active: 226040 kB Inactive: 342512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1425344 kB SwapTotal: 4192956 kB SwapFree: 4182980 kB Dirty: 20632 kB Writeback: 0 kB Mapped: 15816 kB Slab: 48032 kB Committed_AS: 829692 kB PageTables: 1376 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= 66389 MiB End job on node66 on Thu Apr 19 15:20:21 UTC 2007