Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.71 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-shell.opb |
MD5SUM | 812fb8d8b2de50e0f82554fbb1bd21a5 |
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 | 45231 |
Total number of constraints | 653 |
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 | 653 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1560 |
Number of terms in the objective function | 39844 |
Biggest coefficient in the objective function | 2101312749568 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 249967315526150 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 2101312749568 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 249967315526150 |
Number of bits of the biggest sum of numbers | 48 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.49/0.50 c ...done 0.49/0.50 c #vars=45231 #constraints=1188 hasObjective=yes 0.89/0.99 c res. mode=mod 0.89/0.99 c VSIDS like heuristics 0.89/0.99 c complete search running 1.29/1.31 c restart after 401 decisions 1.29/1.38 c nbDecision=500 #constraints=1224 1.49/1.59 c restart after 801 decisions 1.69/1.73 c nbDecision=1000 #constraints=1235 1.99/2.07 c nbDecision=1500 #constraints=1242 2.09/2.14 c restart after 1601 decisions 2.39/2.42 c nbDecision=2000 #constraints=1245 2.79/2.82 c nbDecision=2500 #constraints=1279 3.19/3.22 c nbDecision=3000 #constraints=1309 3.29/3.37 c restart after 3201 decisions 3.49/3.58 c nbDecision=3500 #constraints=1318 3.99/4.10 c nbDecision=4000 #constraints=1357 4.40/4.45 c nbDecision=4500 #constraints=1370 4.79/4.80 c nbDecision=5000 #constraints=1374 5.19/5.20 c nbDecision=5500 #constraints=1417 5.49/5.54 c nbDecision=6000 #constraints=1439 5.79/5.80 c restart after 6401 decisions 5.79/5.87 c nbDecision=6500 #constraints=1450 6.19/6.24 c nbDecision=7000 #constraints=1462 6.49/6.59 c nbDecision=7500 #constraints=1465 6.89/6.94 c nbDecision=8000 #constraints=1475 7.19/7.26 c nbDecision=8500 #constraints=1481 7.59/7.62 c nbDecision=9000 #constraints=1486 7.89/7.96 c nbDecision=9500 #constraints=1501 8.29/8.31 c nbDecision=10000 #constraints=1503 8.59/8.65 c nbDecision=10500 #constraints=1511 8.99/9.00 c nbDecision=11000 #constraints=1515 9.29/9.33 c nbDecision=11500 #constraints=1518 9.59/9.69 c nbDecision=12000 #constraints=1520 9.99/10.01 c nbDecision=12500 #constraints=1527 10.19/10.20 c restart after 12801 decisions 10.29/10.35 c nbDecision=13000 #constraints=1534 10.69/10.70 c nbDecision=13500 #constraints=1539 10.99/11.02 c nbDecision=14000 #constraints=1547 11.29/11.35 c nbDecision=14500 #constraints=1558 11.59/11.67 c nbDecision=15000 #constraints=1567 11.99/12.01 c nbDecision=15500 #constraints=1597 12.29/12.33 c nbDecision=16000 #constraints=1606 12.59/12.66 c nbDecision=16500 #constraints=1611 12.89/12.99 c nbDecision=17000 #constraints=1622 13.28/13.33 c nbDecision=17500 #constraints=1653 13.58/13.65 c nbDecision=18000 #constraints=1655 13.98/14.00 c nbDecision=18500 #constraints=1674 14.29/14.32 c nbDecision=19000 #constraints=1677 14.58/14.64 c nbDecision=19500 #constraints=1681 14.88/14.97 c nbDecision=20000 #constraints=1683 15.18/15.29 c nbDecision=20500 #constraints=1693 15.58/15.61 c nbDecision=21000 #constraints=1695 15.88/15.93 c nbDecision=21500 #constraints=1698 16.18/16.25 c nbDecision=22000 #constraints=1700 16.49/16.57 c nbDecision=22500 #constraints=1706 16.88/16.92 c nbDecision=23000 #constraints=1725 17.18/17.24 c nbDecision=23500 #constraints=1726 19.08/19.12 c nbDecision=24000 #constraints=1771 51.58/51.65 c nbDecision=24500 #constraints=2280 84.97/85.03 c nbDecision=25000 #constraints=2783 119.06/119.19 c nbDecision=25500 #constraints=3281 126.36/126.40 c restart after 25601 decisions 126.66/126.75 c nbDecision=26000 #constraints=3384 127.05/127.14 c nbDecision=26500 #constraints=3392 127.46/127.59 c nbDecision=27000 #constraints=3398 127.85/128.00 c nbDecision=27500 #constraints=3401 128.25/128.36 c nbDecision=28000 #constraints=3406 128.76/128.81 c nbDecision=28500 #constraints=3412 129.06/129.16 c nbDecision=29000 #constraints=3413 129.46/129.54 c nbDecision=29500 #constraints=3426 129.85/129.94 c nbDecision=30000 #constraints=3430 130.25/130.31 c nbDecision=30500 #constraints=3439 130.55/130.67 c nbDecision=31000 #constraints=3443 130.95/131.09 c nbDecision=31500 #constraints=3448 132.55/132.60 c nbDecision=32000 #constraints=3522 164.55/164.65 c nbDecision=32500 #constraints=4044 208.44/208.60 c nbDecision=33000 #constraints=4543 252.03/252.12 c nbDecision=33500 #constraints=5045 296.21/296.37 c nbDecision=34000 #constraints=5550 342.01/342.16 c nbDecision=34500 #constraints=6048 389.69/389.86 c nbDecision=35000 #constraints=6549 439.38/439.55 c nbDecision=35500 #constraints=7049 490.47/490.66 c nbDecision=36000 #constraints=7549 545.06/545.29 c nbDecision=36500 #constraints=8049 598.14/598.31 c nbDecision=37000 #constraints=8548 627.03/627.22 c nbDecision=37500 #constraints=8825 628.13/628.33 c nbDecision=38000 #constraints=8827 629.13/629.30 c nbDecision=38500 #constraints=8832 629.63/629.80 c nbDecision=39000 #constraints=8836 630.73/630.92 c nbDecision=39500 #constraints=8839 631.73/631.95 c nbDecision=40000 #constraints=8840 632.13/632.36 c nbDecision=40500 #constraints=8844 633.23/633.45 c nbDecision=41000 #constraints=8848 634.13/634.39 c nbDecision=41500 #constraints=8853 635.43/635.61 c nbDecision=42000 #constraints=8856 636.33/636.54 c nbDecision=42500 #constraints=8857 637.53/637.72 c nbDecision=43000 #constraints=8859 638.33/638.56 c nbDecision=43500 #constraints=8862 639.73/639.90 c nbDecision=44000 #constraints=8864 640.53/640.72 c nbDecision=44500 #constraints=8865 641.43/641.66 c nbDecision=45000 #constraints=8866 642.63/642.85 c nbDecision=45500 #constraints=8868 643.53/643.73 c nbDecision=46000 #constraints=8870 644.03/644.26 c nbDecision=46500 #constraints=8871 645.13/645.36 c nbDecision=47000 #constraints=8877 646.13/646.34 c nbDecision=47500 #constraints=8880 647.33/647.51 c nbDecision=48000 #constraints=8884 648.13/648.37 c nbDecision=48500 #constraints=8891 648.73/648.91 c nbDecision=49000 #constraints=8893 649.73/649.95 c nbDecision=49500 #constraints=8895 650.83/651.02 c nbDecision=50000 #constraints=8899 651.82/652.02 c nbDecision=50500 #constraints=8900 653.23/653.46 c nbDecision=51000 #constraints=8902 653.72/653.94 c restart after 51201 decisions 654.42/654.60 c nbDecision=51500 #constraints=8903 654.92/655.12 c nbDecision=52000 #constraints=8906 656.02/656.22 c nbDecision=52500 #constraints=8918 656.62/656.85 c nbDecision=53000 #constraints=8920 657.22/657.49 c nbDecision=53500 #constraints=8931 658.02/658.28 c nbDecision=54000 #constraints=8933 658.82/659.09 c nbDecision=54500 #constraints=8939 659.62/659.87 c nbDecision=55000 #constraints=8941 660.52/660.74 c nbDecision=55500 #constraints=8944 661.32/661.55 c nbDecision=56000 #constraints=8952 661.72/661.91 c nbDecision=56500 #constraints=8955 662.12/662.36 c nbDecision=57000 #constraints=8966 662.92/663.11 c nbDecision=57500 #constraints=8967 663.62/663.82 c nbDecision=58000 #constraints=8970 664.72/664.93 c nbDecision=58500 #constraints=8985 665.62/665.85 c nbDecision=59000 #constraints=8992 666.22/666.48 c nbDecision=59500 #constraints=9003 667.12/667.32 c nbDecision=60000 #constraints=9004 667.72/667.93 c nbDecision=60500 #constraints=9009 668.52/668.77 c nbDecision=61000 #constraints=9013 669.32/669.52 c nbDecision=61500 #constraints=9017 670.02/670.21 c nbDecision=62000 #constraints=9026 670.82/671.01 c nbDecision=62500 #constraints=9030 671.32/671.52 c nbDecision=63000 #constraints=9032 672.12/672.30 c nbDecision=63500 #constraints=9035 672.72/672.97 c nbDecision=64000 #constraints=9043 673.32/673.56 c nbDecision=64500 #constraints=9044 692.02/692.29 c nbDecision=65000 #constraints=9314 730.31/730.52 c nbDecision=65500 #constraints=9816 773.11/773.37 c nbDecision=66000 #constraints=10316 818.89/819.18 c nbDecision=66500 #constraints=10814 870.27/870.51 c nbDecision=67000 #constraints=11317 923.77/924.05 c nbDecision=67500 #constraints=11815 980.54/980.84 c nbDecision=68000 #constraints=12319 1027.53/1027.87 c nbDecision=68500 #constraints=12751 1028.14/1028.49 c nbDecision=69000 #constraints=12752 1028.63/1028.98 c nbDecision=69500 #constraints=12756 1029.24/1029.52 c nbDecision=70000 #constraints=12756 1029.93/1030.20 c nbDecision=70500 #constraints=12757 1030.53/1030.80 c nbDecision=71000 #constraints=12758 1030.93/1031.29 c nbDecision=71500 #constraints=12759 1031.54/1031.84 c nbDecision=72000 #constraints=12762 1032.13/1032.48 c nbDecision=72500 #constraints=12764 1032.54/1032.87 c nbDecision=73000 #constraints=12766 1033.23/1033.50 c nbDecision=73500 #constraints=12781 1033.53/1033.86 c nbDecision=74000 #constraints=12782 1033.93/1034.26 c nbDecision=74500 #constraints=12784 1034.53/1034.85 c nbDecision=75000 #constraints=12785 1034.93/1035.25 c nbDecision=75500 #constraints=12789 1035.53/1035.81 c nbDecision=76000 #constraints=12791 1035.93/1036.22 c nbDecision=76500 #constraints=12795 1036.33/1036.63 c nbDecision=77000 #constraints=12795 1036.93/1037.26 c nbDecision=77500 #constraints=12796 1037.43/1037.70 c nbDecision=78000 #constraints=12798 1037.93/1038.30 c nbDecision=78500 #constraints=12801 1038.33/1038.69 c nbDecision=79000 #constraints=12803 1038.93/1039.24 c nbDecision=79500 #constraints=12805 1039.33/1039.61 c nbDecision=80000 #constraints=12806 1039.73/1040.03 c nbDecision=80500 #constraints=12808 1040.43/1040.70 c nbDecision=81000 #constraints=12812 1040.83/1041.14 c nbDecision=81500 #constraints=12815 1041.43/1041.74 c nbDecision=82000 #constraints=12820 1041.83/1042.12 c nbDecision=82500 #constraints=12822 1042.23/1042.59 c nbDecision=83000 #constraints=12823 1042.83/1043.10 c nbDecision=83500 #constraints=12829 1043.23/1043.53 c nbDecision=84000 #constraints=12830 1043.83/1044.11 c nbDecision=84500 #constraints=12831 1044.23/1044.53 c nbDecision=85000 #constraints=12833 1044.83/1045.12 c nbDecision=85500 #constraints=12834 1045.23/1045.50 c nbDecision=86000 #constraints=12834 1045.63/1045.93 c nbDecision=86500 #constraints=12835 1046.22/1046.53 c nbDecision=87000 #constraints=12837 1046.62/1046.93 c nbDecision=87500 #constraints=12839 1047.42/1047.72 c nbDecision=88000 #constraints=12841 1048.52/1048.85 c nbDecision=88500 #constraints=12848 1048.92/1049.29 c nbDecision=89000 #constraints=12849 1049.62/1049.92 c nbDecision=89500 #constraints=12850 1050.42/1050.77 c nbDecision=90000 #constraints=12853 1051.13/1051.48 c nbDecision=90500 #constraints=12854 1051.73/1052.08 c nbDecision=91000 #constraints=12868 1052.73/1053.02 c nbDecision=91500 #constraints=12874 1053.23/1053.54 c nbDecision=92000 #constraints=12883 1053.73/1054.06 c nbDecision=92500 #constraints=12884 1054.13/1054.49 c nbDecision=93000 #constraints=12891 1054.63/1054.98 c nbDecision=93500 #constraints=12894 1055.03/1055.32 c nbDecision=94000 #constraints=12894 1055.43/1055.78 c nbDecision=94500 #constraints=12896 1056.03/1056.37 c nbDecision=95000 #constraints=12898 1056.63/1056.94 c nbDecision=95500 #constraints=12902 1057.23/1057.54 c nbDecision=96000 #constraints=12904 1057.63/1057.94 c nbDecision=96500 #constraints=12907 1058.23/1058.50 c nbDecision=97000 #constraints=12909 1058.53/1058.88 c nbDecision=97500 #constraints=12911 1059.13/1059.42 c nbDecision=98000 #constraints=12912 1060.93/1061.27 c nbDecision=98500 #constraints=12924 1090.71/1091.04 c nbDecision=99000 #constraints=13372 1125.81/1126.14 c nbDecision=99500 #constraints=13873 1161.80/1162.18 c nbDecision=100000 #constraints=14371 1196.19/1196.53 c nbDecision=100500 #constraints=14829 1236.58/1236.99 c nbDecision=101000 #constraints=15335 1274.47/1274.86 c nbDecision=101500 #constraints=15834 1311.27/1311.63 c nbDecision=102000 #constraints=16335 1345.15/1345.59 c restart after 102401 decisions 1346.25/1346.60 c nbDecision=102500 #constraints=16737 1346.95/1347.38 c nbDecision=103000 #constraints=16737 1347.65/1348.00 c nbDecision=103500 #constraints=16740 1348.55/1348.93 c nbDecision=104000 #constraints=16745 1349.25/1349.68 c nbDecision=104500 #constraints=16745 1350.25/1350.68 c nbDecision=105000 #constraints=16747 1351.55/1351.96 c nbDecision=105500 #constraints=16753 1351.95/1352.32 c nbDecision=106000 #constraints=16753 1353.55/1353.96 c nbDecision=106500 #constraints=16758 1354.65/1355.00 c nbDecision=107000 #constraints=16761 1356.05/1356.40 c nbDecision=107500 #constraints=16765 1357.05/1357.46 c nbDecision=108000 #constraints=16766 1357.85/1358.25 c nbDecision=108500 #constraints=16768 1358.85/1359.27 c nbDecision=109000 #constraints=16769 1359.65/1360.07 c nbDecision=109500 #constraints=16770 1361.15/1361.55 c nbDecision=110000 #constraints=16777 1361.75/1362.10 c nbDecision=110500 #constraints=16778 1363.55/1363.98 c nbDecision=111000 #constraints=16783 1364.75/1365.17 c nbDecision=111500 #constraints=16790 1366.14/1366.51 c nbDecision=112000 #constraints=16792 1366.64/1367.05 c nbDecision=112500 #constraints=16796 1367.84/1368.23 c nbDecision=113000 #constraints=16797 1369.54/1369.98 c nbDecision=113500 #constraints=16800 1370.34/1370.73 c nbDecision=114000 #constraints=16800 1371.44/1371.88 c nbDecision=114500 #constraints=16802 1373.14/1373.58 c nbDecision=115000 #constraints=16817 1374.34/1374.79 c nbDecision=115500 #constraints=16818 1375.24/1375.65 c nbDecision=116000 #constraints=16819 1376.64/1377.07 c nbDecision=116500 #constraints=16820 1377.24/1377.63 c nbDecision=117000 #constraints=16821 1378.65/1379.04 c nbDecision=117500 #constraints=16823 1379.95/1380.32 c nbDecision=118000 #constraints=16824 1381.55/1381.93 c nbDecision=118500 #constraints=16828 1382.75/1383.18 c nbDecision=119000 #constraints=16829 1383.65/1384.07 c nbDecision=119500 #constraints=16833 1384.85/1385.25 c nbDecision=120000 #constraints=16834 1385.65/1386.03 c nbDecision=120500 #constraints=16835 1386.55/1386.96 c nbDecision=121000 #constraints=16837 1387.45/1387.87 c nbDecision=121500 #constraints=16838 1389.35/1389.79 c nbDecision=122000 #constraints=16851 1389.95/1390.39 c nbDecision=122500 #constraints=16853 1390.75/1391.10 c nbDecision=123000 #constraints=16854 1391.15/1391.55 c nbDecision=123500 #constraints=16867 1392.54/1392.91 c nbDecision=124000 #constraints=16868 1393.64/1394.07 c nbDecision=124500 #constraints=16870 1394.64/1395.02 c nbDecision=125000 #constraints=16874 1395.64/1396.04 c nbDecision=125500 #constraints=16876 1396.44/1396.81 c nbDecision=126000 #constraints=16876 1396.94/1397.33 c nbDecision=126500 #constraints=16877 1398.14/1398.59 c nbDecision=127000 #constraints=16879 1399.34/1399.71 c nbDecision=127500 #constraints=16881 1400.04/1400.47 c nbDecision=128000 #constraints=16881 1400.64/1401.05 c nbDecision=128500 #constraints=16884 1401.54/1401.98 c nbDecision=129000 #constraints=16885 1402.64/1403.02 c nbDecision=129500 #constraints=16888 1403.54/1403.96 c nbDecision=130000 #constraints=16889 1404.64/1405.05 c nbDecision=130500 #constraints=16899 1405.74/1406.14 c nbDecision=131000 #constraints=16907 1406.54/1406.96 c nbDecision=131500 #constraints=16911 1407.54/1407.99 c nbDecision=132000 #constraints=16912 1408.94/1409.39 c nbDecision=132500 #constraints=16922 1409.93/1410.39 c nbDecision=133000 #constraints=16924 1410.73/1411.13 c nbDecision=133500 #constraints=16932 1411.33/1411.71 c nbDecision=134000 #constraints=16938 1412.73/1413.17 c nbDecision=134500 #constraints=16961 1413.33/1413.73 c nbDecision=135000 #constraints=16962 1414.24/1414.61 c nbDecision=135500 #constraints=16964 1415.23/1415.69 c nbDecision=136000 #constraints=16968 1416.23/1416.70 c nbDecision=136500 #constraints=16969 1417.93/1418.30 c nbDecision=137000 #constraints=16979 1418.43/1418.87 c nbDecision=137500 #constraints=16980 1419.43/1419.84 c nbDecision=138000 #constraints=16984 1420.33/1420.70 c nbDecision=138500 #constraints=16984 1421.73/1422.12 c nbDecision=139000 #constraints=16989 1422.23/1422.69 c nbDecision=139500 #constraints=16991 1422.93/1423.31 c nbDecision=140000 #constraints=16993 1423.43/1423.82 c nbDecision=140500 #constraints=16994 1423.83/1424.28 c nbDecision=141000 #constraints=16994 1424.43/1424.89 c nbDecision=141500 #constraints=16998 1425.03/1425.46 c nbDecision=142000 #constraints=16999 1425.43/1425.82 c nbDecision=142500 #constraints=17000 1426.03/1426.44 c nbDecision=143000 #constraints=17002 1426.63/1427.05 c nbDecision=143500 #constraints=17005 1427.33/1427.77 c nbDecision=144000 #constraints=17007 1427.73/1428.12 c nbDecision=144500 #constraints=17007 1428.33/1428.73 c nbDecision=145000 #constraints=17008 1429.03/1429.40 c nbDecision=145500 #constraints=17012 1429.63/1430.01 c nbDecision=146000 #constraints=17015 1430.13/1430.50 c nbDecision=146500 #constraints=17016 1430.63/1431.02 c nbDecision=147000 #constraints=17016 1432.03/1432.41 c nbDecision=147500 #constraints=17019 1432.63/1433.03 c nbDecision=148000 #constraints=17020 1433.13/1433.52 c nbDecision=148500 #constraints=17021 1433.53/1433.98 c nbDecision=149000 #constraints=17022 1434.93/1435.33 c nbDecision=149500 #constraints=17024 1435.92/1436.37 c nbDecision=150000 #constraints=17025 1436.62/1437.01 c nbDecision=150500 #constraints=17025 1437.23/1437.69 c nbDecision=151000 #constraints=17025 1438.72/1439.14 c nbDecision=151500 #constraints=17050 1439.53/1439.94 c nbDecision=152000 #constraints=17050 1440.02/1440.43 c nbDecision=152500 #constraints=17061 1440.92/1441.34 c nbDecision=153000 #constraints=17065 1441.82/1442.20 c nbDecision=153500 #constraints=17065 1444.22/1444.68 c nbDecision=154000 #constraints=17081 1444.72/1445.18 c nbDecision=154500 #constraints=17081 1445.32/1445.75 c nbDecision=155000 #constraints=17082 1446.22/1446.69 c nbDecision=155500 #constraints=17083 1446.92/1447.38 c nbDecision=156000 #constraints=17083 1447.62/1448.07 c nbDecision=156500 #constraints=17088 1448.32/1448.77 c nbDecision=157000 #constraints=17089 1449.02/1449.47 c nbDecision=157500 #constraints=17091 1449.62/1450.01 c nbDecision=158000 #constraints=17093 1450.02/1450.48 c nbDecision=158500 #constraints=17099 1450.42/1450.83 c nbDecision=159000 #constraints=17102 1450.82/1451.25 c nbDecision=159500 #constraints=17115 1451.12/1451.59 c nbDecision=160000 #constraints=17117 1453.22/1453.63 c nbDecision=160500 #constraints=17129 1493.82/1494.22 c nbDecision=161000 #constraints=17611 1545.69/1546.17 c nbDecision=161500 #constraints=18114 1603.88/1604.33 c nbDecision=162000 #constraints=18614 1667.87/1668.31 c nbDecision=162500 #constraints=19116 1736.06/1736.50 c nbDecision=163000 #constraints=19616 1785.64/1786.14 c nbDecision=163500 #constraints=19979 1785.95/1786.49 c nbDecision=164000 #constraints=19982 1786.34/1786.86 c nbDecision=164500 #constraints=19985 1786.64/1787.19 c nbDecision=165000 #constraints=19986 1787.05/1787.55 c nbDecision=165500 #constraints=19990 1787.44/1787.90 c nbDecision=166000 #constraints=19993 1787.74/1788.28 c nbDecision=166500 #constraints=19997 1788.15/1788.64 c nbDecision=167000 #constraints=20000 1788.44/1788.98 c nbDecision=167500 #constraints=20002 1788.84/1789.35 c nbDecision=168000 #constraints=20005 1789.25/1789.70 c nbDecision=168500 #constraints=20007 1789.54/1790.05 c nbDecision=169000 #constraints=20009 1789.94/1790.43 c nbDecision=169500 #constraints=20013 1790.24/1790.79 c nbDecision=170000 #constraints=20017 1790.64/1791.12 c nbDecision=170500 #constraints=20018 1791.04/1791.58 c nbDecision=171000 #constraints=20043 1791.64/1792.19 c nbDecision=171500 #constraints=20045 1792.44/1793.00 c nbDecision=172000 #constraints=20048 1793.14/1793.68 c nbDecision=172500 #constraints=20063 1793.54/1794.03 c nbDecision=173000 #constraints=20064 1800.04/1800.50 Received signal 15 1800.14/1800.66 1800.14/1800.66 s UNKNOWN 1800.14/1800.66 1800.14/1800.66 c user time= 1799.77 s 1800.14/1800.66 c system time= 0.436933 s 1800.14/1800.66 c wall clock time=1800.67
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-357352-1176995437 -o ROOT/results/node4/solver-357352-1176995437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357352-1176995437/instance-357352-1176995437.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10210 /proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=1468 CPUtime=0 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175581463 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 367 161 127 317 0 46 0 [startup+0.0518969 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10210 /proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=2400 CPUtime=0.04 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 460 0 0 0 4 0 0 0 18 0 1 0 175581463 2457600 344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 600 345 127 317 0 279 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2400 [startup+0.101902 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10210 /proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=3440 CPUtime=0.09 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 790 0 0 0 9 0 0 0 18 0 1 0 175581463 3522560 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 860 545 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301921 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10210 /proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=6664 CPUtime=0.29 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 1579 0 0 0 28 1 0 0 19 0 1 0 175581463 6823936 1334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 1666 1334 131 317 0 1345 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6664 [startup+0.701959 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10210 /proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=15364 CPUtime=0.69 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 3759 0 0 0 67 2 0 0 22 0 1 0 175581463 15732736 3514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 3841 3514 137 317 0 3520 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15364 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1690768/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=16880 CPUtime=1.49 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4107 0 0 0 147 2 0 0 25 0 1 0 175581463 17285120 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 4220 3862 139 317 0 3899 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16880 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1690576/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=17144 CPUtime=3.09 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4173 0 0 0 307 2 0 0 25 0 1 0 175581463 17555456 3928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 4286 3928 139 317 0 3965 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17144 [startup+6.30149 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1689680/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=17664 CPUtime=6.29 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4322 0 0 0 626 3 0 0 25 0 1 0 175581463 18087936 4077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 4416 4077 139 317 0 4095 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17664 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1689232/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=18060 CPUtime=12.69 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4423 0 0 0 1266 3 0 0 25 0 1 0 175581463 18493440 4178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606860 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 4515 4178 139 317 0 4194 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18060 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1687824/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=19504 CPUtime=25.48 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4789 0 0 0 2545 3 0 0 25 0 1 0 175581463 19972096 4544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 4876 4544 139 317 0 4555 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19504 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1684176/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=23432 CPUtime=51.08 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 5740 0 0 0 5104 4 0 0 25 0 1 0 175581463 23994368 5495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 5858 5495 139 317 0 5537 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23432 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1677840/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=29920 CPUtime=102.27 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 7312 0 0 0 10222 5 0 0 25 0 1 0 175581463 30638080 7067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 7480 7067 139 317 0 7159 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29920 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1669264/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=38624 CPUtime=162.25 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 9475 0 0 0 16219 6 0 0 25 0 1 0 175581463 39550976 9230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 9656 9230 170 317 0 9335 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38624 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1662416/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=45472 CPUtime=222.23 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 11173 0 0 0 22215 8 0 0 25 0 1 0 175581463 46563328 10928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 11368 10928 170 317 0 11047 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45472 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1655824/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=51780 CPUtime=282.22 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 12831 0 0 0 28213 9 0 0 25 0 1 0 175581463 53022720 12586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 12945 12586 170 317 0 12624 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 51780 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1647696/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=61440 CPUtime=342.2 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 14832 0 0 0 34210 10 0 0 25 0 1 0 175581463 62914560 14587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 15360 14587 170 317 0 15039 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 61440 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1641808/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=66844 CPUtime=402.19 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 16295 0 0 0 40208 11 0 0 25 0 1 0 175581463 68448256 16050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 16711 16050 170 317 0 16390 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 66844 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1636368/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=71932 CPUtime=462.18 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 17688 0 0 0 46205 13 0 0 25 0 1 0 175581463 73658368 17443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 17983 17443 170 317 0 17662 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 71932 [startup+522.302 s] /proc/loadavg: 1.03 1.01 1.00 2/78 10211 /proc/meminfo: memFree=1630416/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=78756 CPUtime=522.16 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 19185 0 0 0 52202 14 0 0 25 0 1 0 175581463 80646144 18940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 19689 18940 170 317 0 19368 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 78756 [startup+582.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 10211 /proc/meminfo: memFree=1623888/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=85688 CPUtime=582.15 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 20791 0 0 0 58199 16 0 0 25 0 1 0 175581463 87744512 20488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 21422 20488 170 317 0 21101 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 85688 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1620112/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=89220 CPUtime=642.13 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 21795 0 0 0 64196 17 0 0 25 0 1 0 175581463 91361280 21492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 22305 21492 170 317 0 21984 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 89220 ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1593808/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=118516 CPUtime=942.06 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 28326 0 0 0 94182 24 0 0 25 0 1 0 175581463 121360384 28023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 29629 28023 170 317 0 29308 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 118516 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1589456/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=122416 CPUtime=1002.04 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 29390 0 0 0 100179 25 0 0 25 0 1 0 175581463 125353984 29087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 30604 29087 170 317 0 30283 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 122416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1587216/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=124624 CPUtime=1062.03 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 29980 0 0 0 106177 26 0 0 25 0 1 0 175581463 127614976 29677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 31156 29677 170 317 0 30835 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 124624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 10211 /proc/meminfo: memFree=1580560/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=130748 CPUtime=1122 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 31638 0 0 0 112173 27 0 0 25 0 1 0 175581463 133885952 31335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 32687 31335 170 317 0 32366 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 130748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10211 /proc/meminfo: memFree=1574224/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=136432 CPUtime=1181.99 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 33218 0 0 0 118170 29 0 0 25 0 1 0 175581463 139706368 32915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 34108 32915 170 317 0 33787 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 136432 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1568400/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=141884 CPUtime=1241.97 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 34645 0 0 0 124167 30 0 0 25 0 1 0 175581463 145289216 34342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 35471 34342 170 317 0 35150 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 141884 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1560080/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=151976 CPUtime=1301.96 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 36717 0 0 0 130164 32 0 0 25 0 1 0 175581463 155623424 36414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 37994 36414 170 317 0 37673 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 151976 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 10213 /proc/meminfo: memFree=1556432/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=155928 CPUtime=1361.95 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 37754 0 0 0 136162 33 0 0 25 0 1 0 175581463 159670272 37337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 38982 37337 170 317 0 38661 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 155928 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10213 /proc/meminfo: memFree=1555728/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=156452 CPUtime=1421.93 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 37917 0 0 0 142159 34 0 0 25 0 1 0 175581463 160206848 37500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 39113 37500 170 317 0 38792 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 156452 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1552080/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=160172 CPUtime=1481.91 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 38893 0 0 0 148156 35 0 0 25 0 1 0 175581463 164016128 38476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 40043 38476 170 317 0 39722 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 160172 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1546000/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=166320 CPUtime=1541.9 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 40375 0 0 0 154154 36 0 0 25 0 1 0 175581463 170311680 39958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 41580 39958 170 317 0 41259 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 166320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1540880/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=171112 CPUtime=1601.88 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 41662 0 0 0 160150 38 0 0 25 0 1 0 175581463 175218688 41245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 42778 41245 170 317 0 42457 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 171112 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1535312/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=183528 CPUtime=1661.87 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 44370 0 0 0 166147 40 0 0 25 0 1 0 175581463 187932672 42633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 45882 42633 170 317 0 45561 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 183528 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10213 /proc/meminfo: memFree=1530448/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=188420 CPUtime=1721.85 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 45589 0 0 0 172144 41 0 0 25 0 1 0 175581463 192942080 43852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 47105 43852 170 317 0 46784 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 188420 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 10213 /proc/meminfo: memFree=1526096/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=193336 CPUtime=1781.84 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 46670 0 0 0 178141 43 0 0 25 0 1 0 175581463 197976064 44933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 48334 44933 170 317 0 48013 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 193336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 1.01 1.00 2/78 10213 /proc/meminfo: memFree=1524560/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=195052 CPUtime=1800.04 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 47035 0 0 0 179961 43 0 0 25 0 1 0 175581463 199733248 45298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 48763 45298 170 317 0 48442 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 195052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.03 1.01 1.00 2/79 10214 /proc/meminfo: memFree=1524552/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=195052 CPUtime=1800.14 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 47039 0 0 0 179971 43 0 0 25 0 1 0 175581463 199733248 45302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 48763 45302 170 317 0 48442 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 195052 [startup+1800.71 s] /proc/loadavg: 1.03 1.01 1.00 2/79 10214 /proc/meminfo: memFree=1524552/2055920 swapFree=4153812/4192956 [pid=10210] ppid=10208 vsize=0 CPUtime=1800.24 /proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194308 47055 0 0 0 179978 46 0 0 25 0 1 0 175581463 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10210/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.25 CPU user time (s): 1799.79 CPU system time (s): 0.465929 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 195052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.465929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47055 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= 2946 runsolver used 2.16967 second user time and 4.17936 second system time The end
Begin job on node4 on Thu Apr 19 15:10:37 UTC 2007 IDJOB= 357352 IDBENCH= 2461 IDSOLVER= 172 FILE ID= node4/357352-1176995437 PBS_JOBID= 4630445 Free space on /tmp= 66471 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-shell.opb COMMAND LINE= oree /tmp/evaluation/357352-1176995437/instance-357352-1176995437.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-357352-1176995437 -o ROOT/results/node4/solver-357352-1176995437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357352-1176995437/instance-357352-1176995437.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 812fb8d8b2de50e0f82554fbb1bd21a5 RANDOM SEED= 463001158 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1706160 kB Buffers: 37036 kB Cached: 229260 kB SwapCached: 2236 kB Active: 78196 kB Inactive: 212420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1706160 kB SwapTotal: 4192956 kB SwapFree: 4153812 kB Dirty: 3172 kB Writeback: 0 kB Mapped: 31892 kB Slab: 44652 kB Committed_AS: 5291700 kB PageTables: 1824 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= 66471 MiB End job on node4 on Thu Apr 19 15:40:40 UTC 2007