Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 13258 | 1800.12 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb |
MD5SUM | e9bdb75d971f85face52b6150a0bc6b1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13258 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13258 |
Optimality of the best value was proved | NO |
Number of variables | 1260 |
Total number of constraints | 104 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1160 |
Biggest coefficient in the objective function | 6487 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 525000 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 105486 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525000 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.01 c ...done 0.00/0.01 c #vars=1260 #constraints=125 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.03 c restart after 401 decisions 0.00/0.03 c nbDecision=500 #constraints=125 0.00/0.03 c restart after 801 decisions 0.00/0.04 c nbDecision=1000 #constraints=125 0.00/0.07 c nbDecision=1500 #constraints=134 0.07/0.09 c restart after 1601 decisions 0.07/0.09 c nbDecision=2000 #constraints=160 0.09/0.15 c nbDecision=2500 #constraints=219 0.09/0.17 c nbDecision=3000 #constraints=225 0.09/0.17 c restart after 3201 decisions 0.09/0.18 c nbDecision=3500 #constraints=229 0.19/0.22 c nbDecision=4000 #constraints=264 0.19/0.26 c nbDecision=4500 #constraints=298 0.19/0.27 c nbDecision=5000 #constraints=301 0.39/0.40 c nbDecision=5500 #constraints=408 0.39/0.42 c nbDecision=6000 #constraints=420 0.49/0.52 c restart after 6401 decisions 0.49/0.53 c nbDecision=6500 #constraints=488 0.49/0.54 c nbDecision=7000 #constraints=488 0.59/0.67 c nbDecision=7500 #constraints=631 0.69/0.71 c nbDecision=8000 #constraints=653 0.69/0.74 c nbDecision=8500 #constraints=662 0.79/0.81 c nbDecision=9000 #constraints=725 0.79/0.83 c nbDecision=9500 #constraints=734 0.79/0.87 c nbDecision=10000 #constraints=760 0.89/0.98 c nbDecision=10500 #constraints=850 0.99/1.02 c nbDecision=11000 #constraints=869 1.09/1.14 c nbDecision=11500 #constraints=957 1.09/1.17 c nbDecision=12000 #constraints=969 1.19/1.20 c nbDecision=12500 #constraints=975 1.19/1.25 c restart after 12801 decisions 1.19/1.27 c nbDecision=13000 #constraints=1014 1.19/1.28 c nbDecision=13500 #constraints=1014 1.29/1.33 c nbDecision=14000 #constraints=1029 1.29/1.34 c nbDecision=14126 #constraints=1032 1.29/1.34 c linear search for optimum 1.29/1.34 o 13282 1.29/1.39 c nbDecision=14133 #constraints=1040 1.29/1.39 o 13280 1.49/1.51 c nbDecision=14149 #constraints=1057 1.49/1.51 o 13278 1.89/1.93 c nbDecision=14206 #constraints=1115 1.89/1.93 o 13276 2.79/2.81 c nbDecision=14322 #constraints=1232 2.79/2.81 o 13274 3.99/4.09 c nbDecision=14500 #constraints=1413 6.49/6.56 c nbDecision=14792 #constraints=1703 6.49/6.56 o 13272 8.39/8.44 c nbDecision=15000 #constraints=1915 13.79/13.84 c nbDecision=15500 #constraints=2416 16.78/16.89 c nbDecision=15737 #constraints=2649 16.78/16.89 o 13270 20.39/20.50 c nbDecision=16000 #constraints=2916 21.89/21.96 c nbDecision=16092 #constraints=3007 21.89/21.96 o 13268 23.68/23.76 c nbDecision=16202 #constraints=3118 23.68/23.76 o 13266 28.88/28.93 c nbDecision=16500 #constraints=3417 30.99/31.09 c nbDecision=16616 #constraints=3533 30.99/31.09 o 13264 38.98/39.06 c nbDecision=17000 #constraints=3924 49.08/49.16 c nbDecision=17440 #constraints=4358 49.08/49.16 o 13262 50.68/50.76 c nbDecision=17500 #constraints=4423 64.67/64.79 c nbDecision=18000 #constraints=4926 80.27/80.39 c nbDecision=18500 #constraints=5422 97.97/98.03 c nbDecision=19000 #constraints=5925 117.86/117.92 c nbDecision=19500 #constraints=6424 120.86/120.96 c nbDecision=19580 #constraints=6500 120.86/120.96 o 13260 140.15/140.29 c nbDecision=20000 #constraints=6924 150.25/150.38 c nbDecision=20227 #constraints=7148 150.25/150.38 o 13258 164.65/164.79 c nbDecision=20500 #constraints=7424 192.65/192.76 c nbDecision=21000 #constraints=7932 221.93/222.07 c nbDecision=21500 #constraints=8424 253.23/253.39 c nbDecision=22000 #constraints=8924 286.32/286.40 c nbDecision=22500 #constraints=9425 320.21/320.30 c nbDecision=23000 #constraints=9922 360.10/360.29 c nbDecision=23500 #constraints=10428 399.69/399.82 c nbDecision=24000 #constraints=10926 449.88/450.02 c nbDecision=24500 #constraints=11421 503.96/504.13 c nbDecision=25000 #constraints=11920 553.55/553.77 c nbDecision=25500 #constraints=12423 563.35/563.50 c restart after 25601 decisions 567.04/567.22 c nbDecision=26000 #constraints=12525 571.94/572.12 c nbDecision=26500 #constraints=12563 576.04/576.21 c nbDecision=27000 #constraints=12574 584.15/584.34 c nbDecision=27500 #constraints=12640 587.65/587.81 c nbDecision=28000 #constraints=12644 597.64/597.88 c nbDecision=28500 #constraints=12746 602.24/602.46 c nbDecision=29000 #constraints=12761 609.73/609.95 c nbDecision=29500 #constraints=12820 615.13/615.34 c nbDecision=30000 #constraints=12854 624.04/624.26 c nbDecision=30500 #constraints=12925 628.54/628.75 c nbDecision=31000 #constraints=12947 634.13/634.33 c nbDecision=31500 #constraints=12983 641.83/642.03 c nbDecision=32000 #constraints=13041 650.13/650.34 c nbDecision=32500 #constraints=13110 655.12/655.35 c nbDecision=33000 #constraints=13138 661.82/662.01 c nbDecision=33500 #constraints=13177 665.82/666.00 c nbDecision=34000 #constraints=13189 671.02/671.24 c nbDecision=34500 #constraints=13214 674.42/674.64 c nbDecision=35000 #constraints=13219 682.42/682.68 c nbDecision=35500 #constraints=13287 688.42/688.65 c nbDecision=36000 #constraints=13319 692.82/693.05 c nbDecision=36500 #constraints=13336 697.12/697.30 c nbDecision=37000 #constraints=13346 703.52/703.77 c nbDecision=37500 #constraints=13392 709.11/709.31 c nbDecision=38000 #constraints=13420 712.71/712.92 c nbDecision=38500 #constraints=13428 718.81/719.01 c nbDecision=39000 #constraints=13471 726.61/726.89 c nbDecision=39500 #constraints=13527 730.41/730.62 c nbDecision=40000 #constraints=13535 735.61/735.88 c nbDecision=40500 #constraints=13557 739.50/739.74 c nbDecision=41000 #constraints=13567 744.20/744.44 c nbDecision=41500 #constraints=13582 750.90/751.14 c nbDecision=42000 #constraints=13628 756.10/756.33 c nbDecision=42500 #constraints=13649 759.39/759.64 c nbDecision=43000 #constraints=13653 765.80/766.02 c nbDecision=43500 #constraints=13700 770.80/771.03 c nbDecision=44000 #constraints=13719 774.60/774.89 c nbDecision=44500 #constraints=13729 781.59/781.80 c nbDecision=45000 #constraints=13774 787.19/787.45 c nbDecision=45500 #constraints=13807 791.59/791.88 c nbDecision=46000 #constraints=13818 796.59/796.84 c nbDecision=46500 #constraints=13846 802.29/802.52 c nbDecision=47000 #constraints=13873 806.38/806.64 c nbDecision=47500 #constraints=13889 810.89/811.15 c nbDecision=48000 #constraints=13900 818.89/819.19 c nbDecision=48500 #constraints=13963 823.88/824.11 c nbDecision=49000 #constraints=13987 828.68/828.99 c nbDecision=49500 #constraints=14004 832.58/832.88 c nbDecision=50000 #constraints=14015 839.88/840.14 c nbDecision=50500 #constraints=14071 844.68/844.94 c nbDecision=51000 #constraints=14087 846.17/846.44 c restart after 51201 decisions 848.67/848.95 c nbDecision=51500 #constraints=14089 852.37/852.63 c nbDecision=52000 #constraints=14107 856.37/856.64 c nbDecision=52500 #constraints=14120 864.37/864.64 c nbDecision=53000 #constraints=14184 869.47/869.72 c nbDecision=53500 #constraints=14205 878.37/878.67 c nbDecision=54000 #constraints=14284 882.17/882.46 c nbDecision=54500 #constraints=14293 892.87/893.16 c nbDecision=55000 #constraints=14381 896.86/897.15 c nbDecision=55500 #constraints=14393 902.86/903.17 c nbDecision=56000 #constraints=14428 906.96/907.25 c nbDecision=56500 #constraints=14435 911.26/911.52 c nbDecision=57000 #constraints=14450 915.76/916.03 c nbDecision=57500 #constraints=14463 922.85/923.10 c nbDecision=58000 #constraints=14513 929.86/930.13 c nbDecision=58500 #constraints=14559 934.46/934.77 c nbDecision=59000 #constraints=14580 939.16/939.48 c nbDecision=59500 #constraints=14593 942.46/942.72 c nbDecision=60000 #constraints=14596 949.95/950.29 c nbDecision=60500 #constraints=14656 954.46/954.73 c nbDecision=61000 #constraints=14668 958.25/958.53 c nbDecision=61500 #constraints=14676 966.95/967.27 c nbDecision=62000 #constraints=14741 972.45/972.75 c nbDecision=62500 #constraints=14772 977.34/977.65 c nbDecision=63000 #constraints=14786 982.05/982.37 c nbDecision=63500 #constraints=14808 987.44/987.71 c nbDecision=64000 #constraints=14828 991.14/991.40 c nbDecision=64500 #constraints=14838 998.14/998.43 c nbDecision=65000 #constraints=14884 1003.34/1003.66 c nbDecision=65500 #constraints=14906 1006.84/1007.16 c nbDecision=66000 #constraints=14910 1014.64/1014.90 c nbDecision=66500 #constraints=14964 1018.24/1018.59 c nbDecision=67000 #constraints=14972 1023.33/1023.70 c nbDecision=67500 #constraints=14989 1030.73/1031.05 c nbDecision=68000 #constraints=15043 1035.13/1035.48 c nbDecision=68500 #constraints=15059 1039.33/1039.64 c nbDecision=69000 #constraints=15065 1045.32/1045.65 c nbDecision=69500 #constraints=15104 1050.02/1050.32 c nbDecision=70000 #constraints=15119 1054.82/1055.17 c nbDecision=70500 #constraints=15141 1059.62/1059.93 c nbDecision=71000 #constraints=15155 1067.63/1067.98 c nbDecision=71500 #constraints=15215 1072.52/1072.83 c nbDecision=72000 #constraints=15237 1077.42/1077.79 c nbDecision=72500 #constraints=15252 1081.62/1081.93 c nbDecision=73000 #constraints=15264 1090.52/1090.87 c nbDecision=73500 #constraints=15331 1094.22/1094.58 c nbDecision=74000 #constraints=15339 1099.21/1099.57 c nbDecision=74500 #constraints=15353 1102.81/1103.18 c nbDecision=75000 #constraints=15359 1111.31/1111.60 c nbDecision=75500 #constraints=15424 1116.30/1116.65 c nbDecision=76000 #constraints=15440 1120.40/1120.72 c nbDecision=76500 #constraints=15451 1125.01/1125.36 c nbDecision=77000 #constraints=15463 1129.41/1129.76 c nbDecision=77500 #constraints=15471 1134.81/1135.15 c nbDecision=78000 #constraints=15497 1138.71/1139.03 c nbDecision=78500 #constraints=15506 1144.81/1145.19 c nbDecision=79000 #constraints=15533 1148.40/1148.72 c nbDecision=79500 #constraints=15538 1153.10/1153.46 c nbDecision=80000 #constraints=15551 1156.60/1156.99 c nbDecision=80500 #constraints=15556 1163.60/1163.93 c nbDecision=81000 #constraints=15592 1167.20/1167.52 c nbDecision=81500 #constraints=15597 1172.99/1173.35 c nbDecision=82000 #constraints=15622 1176.29/1176.69 c nbDecision=82500 #constraints=15625 1181.29/1181.60 c nbDecision=83000 #constraints=15641 1184.79/1185.13 c nbDecision=83500 #constraints=15646 1191.79/1192.16 c nbDecision=84000 #constraints=15684 1195.69/1196.00 c nbDecision=84500 #constraints=15691 1200.49/1200.88 c nbDecision=85000 #constraints=15706 1206.19/1206.54 c nbDecision=85500 #constraints=15735 1210.59/1210.98 c nbDecision=86000 #constraints=15746 1214.39/1214.77 c nbDecision=86500 #constraints=15755 1221.69/1222.04 c nbDecision=87000 #constraints=15794 1225.68/1226.04 c nbDecision=87500 #constraints=15805 1231.08/1231.40 c nbDecision=88000 #constraints=15825 1234.28/1234.64 c nbDecision=88500 #constraints=15828 1239.18/1239.54 c nbDecision=89000 #constraints=15842 1242.58/1242.92 c nbDecision=89500 #constraints=15846 1249.28/1249.65 c nbDecision=90000 #constraints=15880 1253.17/1253.55 c nbDecision=90500 #constraints=15891 1258.27/1258.65 c nbDecision=91000 #constraints=15907 1261.67/1262.02 c nbDecision=91500 #constraints=15911 1268.37/1268.79 c nbDecision=92000 #constraints=15947 1272.17/1272.54 c nbDecision=92500 #constraints=15957 1276.67/1277.08 c nbDecision=93000 #constraints=15965 1282.17/1282.57 c nbDecision=93500 #constraints=15994 1287.46/1287.82 c nbDecision=94000 #constraints=16018 1291.76/1292.13 c nbDecision=94500 #constraints=16026 1297.56/1297.94 c nbDecision=95000 #constraints=16056 1301.77/1302.17 c nbDecision=95500 #constraints=16063 1306.07/1306.47 c nbDecision=96000 #constraints=16076 1310.46/1310.83 c nbDecision=96500 #constraints=16085 1317.16/1317.58 c nbDecision=97000 #constraints=16124 1321.86/1322.22 c nbDecision=97500 #constraints=16136 1326.66/1327.03 c nbDecision=98000 #constraints=16156 1332.95/1333.36 c nbDecision=98500 #constraints=16187 1337.55/1337.99 c nbDecision=99000 #constraints=16205 1342.85/1343.25 c nbDecision=99500 #constraints=16223 1346.95/1347.31 c nbDecision=100000 #constraints=16235 1353.65/1354.01 c nbDecision=100500 #constraints=16276 1358.25/1358.64 c nbDecision=101000 #constraints=16287 1363.24/1363.63 c nbDecision=101500 #constraints=16299 1366.44/1366.81 c nbDecision=102000 #constraints=16303 1369.74/1370.15 c restart after 102401 decisions 1372.04/1372.49 c nbDecision=102500 #constraints=16309 1373.64/1374.02 c nbDecision=103000 #constraints=16309 1378.34/1378.71 c nbDecision=103500 #constraints=16327 1383.34/1383.73 c nbDecision=104000 #constraints=16341 1387.75/1388.19 c nbDecision=104500 #constraints=16357 1392.74/1393.11 c nbDecision=105000 #constraints=16371 1396.34/1396.75 c nbDecision=105500 #constraints=16377 1401.94/1402.38 c nbDecision=106000 #constraints=16396 1406.14/1406.56 c nbDecision=106500 #constraints=16408 1411.04/1411.41 c nbDecision=107000 #constraints=16420 1414.73/1415.13 c nbDecision=107500 #constraints=16427 1419.23/1419.64 c nbDecision=108000 #constraints=16436 1422.73/1423.12 c nbDecision=108500 #constraints=16440 1428.93/1429.30 c nbDecision=109000 #constraints=16466 1432.53/1432.99 c nbDecision=109500 #constraints=16472 1437.03/1437.48 c nbDecision=110000 #constraints=16481 1440.73/1441.17 c nbDecision=110500 #constraints=16487 1446.72/1447.13 c nbDecision=111000 #constraints=16513 1450.32/1450.72 c nbDecision=111500 #constraints=16518 1456.03/1456.49 c nbDecision=112000 #constraints=16540 1460.43/1460.88 c nbDecision=112500 #constraints=16553 1465.42/1465.89 c nbDecision=113000 #constraints=16568 1469.02/1469.43 c nbDecision=113500 #constraints=16573 1473.32/1473.73 c nbDecision=114000 #constraints=16581 1478.22/1478.66 c nbDecision=114500 #constraints=16599 1483.22/1483.66 c nbDecision=115000 #constraints=16614 1488.22/1488.61 c nbDecision=115500 #constraints=16634 1493.01/1493.50 c nbDecision=116000 #constraints=16648 1496.81/1497.29 c nbDecision=116500 #constraints=16655 1501.12/1501.53 c nbDecision=117000 #constraints=16662 1506.51/1506.96 c nbDecision=117500 #constraints=16685 1511.11/1511.57 c nbDecision=118000 #constraints=16695 1516.51/1516.95 c nbDecision=118500 #constraints=16719 1521.01/1521.40 c nbDecision=119000 #constraints=16727 1525.10/1525.55 c nbDecision=119500 #constraints=16738 1530.80/1531.28 c nbDecision=120000 #constraints=16760 1535.20/1535.64 c nbDecision=120500 #constraints=16774 1539.80/1540.24 c nbDecision=121000 #constraints=16783 1543.50/1543.97 c nbDecision=121500 #constraints=16790 1550.10/1550.57 c nbDecision=122000 #constraints=16823 1553.80/1554.30 c nbDecision=122500 #constraints=16830 1560.20/1560.68 c nbDecision=123000 #constraints=16857 1564.60/1565.05 c nbDecision=123500 #constraints=16871 1569.39/1569.84 c nbDecision=124000 #constraints=16882 1572.89/1573.35 c nbDecision=124500 #constraints=16888 1577.39/1577.88 c nbDecision=125000 #constraints=16896 1582.19/1582.65 c nbDecision=125500 #constraints=16913 1587.49/1587.97 c nbDecision=126000 #constraints=16930 1592.09/1592.53 c nbDecision=126500 #constraints=16946 1597.39/1597.81 c nbDecision=127000 #constraints=16963 1601.19/1601.69 c nbDecision=127500 #constraints=16972 1607.58/1608.03 c nbDecision=128000 #constraints=16999 1611.38/1611.89 c nbDecision=128500 #constraints=17008 1616.68/1617.15 c nbDecision=129000 #constraints=17030 1620.98/1621.41 c nbDecision=129500 #constraints=17038 1625.98/1626.40 c nbDecision=130000 #constraints=17051 1629.27/1629.73 c nbDecision=130500 #constraints=17054 1635.07/1635.55 c nbDecision=131000 #constraints=17084 1639.67/1640.18 c nbDecision=131500 #constraints=17094 1644.17/1644.69 c nbDecision=132000 #constraints=17102 1648.77/1649.27 c nbDecision=132500 #constraints=17119 1653.77/1654.27 c nbDecision=133000 #constraints=17132 1657.67/1658.16 c nbDecision=133500 #constraints=17142 1662.37/1662.80 c nbDecision=134000 #constraints=17152 1667.87/1668.38 c nbDecision=134500 #constraints=17179 1672.27/1672.79 c nbDecision=135000 #constraints=17186 1676.37/1676.89 c nbDecision=135500 #constraints=17198 1680.96/1681.44 c nbDecision=136000 #constraints=17207 1684.46/1684.96 c nbDecision=136500 #constraints=17212 1690.96/1691.49 c nbDecision=137000 #constraints=17241 1694.76/1695.29 c nbDecision=137500 #constraints=17251 1699.66/1700.16 c nbDecision=138000 #constraints=17262 1702.96/1703.45 c nbDecision=138500 #constraints=17266 1708.45/1708.92 c nbDecision=139000 #constraints=17291 1712.85/1713.35 c nbDecision=139500 #constraints=17300 1717.75/1718.26 c nbDecision=140000 #constraints=17312 1723.45/1723.92 c nbDecision=140500 #constraints=17339 1727.35/1727.86 c nbDecision=141000 #constraints=17348 1734.04/1734.57 c nbDecision=141500 #constraints=17381 1737.94/1738.41 c nbDecision=142000 #constraints=17389 1742.94/1743.49 c nbDecision=142500 #constraints=17405 1746.45/1746.90 c nbDecision=143000 #constraints=17408 1753.84/1754.38 c nbDecision=143500 #constraints=17450 1757.64/1758.10 c nbDecision=144000 #constraints=17455 1762.54/1763.03 c nbDecision=144500 #constraints=17468 1768.34/1768.81 c nbDecision=145000 #constraints=17497 1772.64/1773.17 c nbDecision=145500 #constraints=17506 1776.63/1777.13 c nbDecision=146000 #constraints=17513 1783.13/1783.61 c nbDecision=146500 #constraints=17543 1787.83/1788.36 c nbDecision=147000 #constraints=17560 1792.43/1792.97 c nbDecision=147500 #constraints=17568 1796.13/1796.65 c nbDecision=148000 #constraints=17573 1800.03/1800.50 Received signal 15 1800.03/1800.53 1800.03/1800.53 s SATISFIABLE 1800.03/1800.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.03/1800.53 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.03/1800.53 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.03/1800.53 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 1800.03/1800.53 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.03/1800.53 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.03/1800.53 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.03/1800.53 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.03/1800.53 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.03/1800.53 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.03/1800.53 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.03/1800.53 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.03/1800.53 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.03/1800.53 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.03/1800.53 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.03/1800.53 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.03/1800.53 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.03/1800.53 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.03/1800.53 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.03/1800.53 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.03/1800.53 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.03/1800.53 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.03/1800.53 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.03/1800.53 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.03/1800.53 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.03/1800.53 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.03/1800.53 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.03/1800.53 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.03/1800.53 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.03/1800.53 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.03/1800.53 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.03/1800.53 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 1800.03/1800.53 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.03/1800.53 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.03/1800.53 v -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.03/1800.53 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.03/1800.53 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.03/1800.53 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.03/1800.53 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.03/1800.53 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.03/1800.53 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.03/1800.53 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.03/1800.53 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 1800.03/1800.53 v x925 x926 x927 x928 x929 x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.03/1800.53 v -x947 x948 x949 x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 x966 -x967 x968 1800.03/1800.53 v -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 x984 x985 -x986 -x987 -x988 -x989 1800.03/1800.53 v -x990 x991 x992 x993 x994 x995 x996 x997 x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 -x1009 -x1010 1800.03/1800.53 v -x1011 -x1012 -x1013 -x1014 -x1015 x1016 x1017 x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 1800.03/1800.53 v -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 1800.03/1800.53 v -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 1800.03/1800.53 v x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1800.03/1800.53 v x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 1800.03/1800.53 v x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 1800.03/1800.53 v x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 -x1135 x1136 -x1137 -x1138 1800.03/1800.53 v -x1139 -x1140 -x1141 x1142 -x1143 -x1144 x1145 x1146 -x1147 -x1148 x1149 x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 1800.03/1800.53 v -x1157 -x1158 x1159 -x1160 -x1161 x1162 x1163 -x1164 -x1165 x1166 x1167 x1168 x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1800.53 v -x1176 x1177 -x1178 x1179 x1180 -x1181 -x1182 x1183 x1184 -x1185 x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 1800.03/1800.53 v -x1194 -x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.03/1800.53 v -x1212 x1213 x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 1800.03/1800.53 v -x1230 x1231 x1232 -x1233 -x1234 x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 x1247 1800.03/1800.53 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1800.53 1800.03/1800.53 c user time= 1799.55 s 1800.03/1800.53 c system time= 0.516921 s 1800.03/1800.53 c wall clock time=1800.53
OK 13258
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-357003-1176851137 -o ROOT/results/node12/solver-357003-1176851137 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357003-1176851137/instance-357003-1176851137.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29685 /proc/meminfo: memFree=1617008/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=1468 CPUtime=0 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 161151081 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 367 164 131 317 0 46 0 [startup+0.080741 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29685 /proc/meminfo: memFree=1617008/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=1992 CPUtime=0.07 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 315 0 0 0 7 0 0 0 18 0 1 0 161151081 2039808 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717808 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 498 297 139 317 0 177 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1992 [startup+0.101743 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29685 /proc/meminfo: memFree=1617008/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=2120 CPUtime=0.09 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 336 0 0 0 9 0 0 0 18 0 1 0 161151081 2170880 318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 530 318 139 317 0 209 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2120 [startup+0.301763 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29685 /proc/meminfo: memFree=1617008/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=3036 CPUtime=0.29 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 575 0 0 0 29 0 0 0 19 0 1 0 161151081 3108864 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 759 557 139 317 0 438 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3036 [startup+0.701803 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29685 /proc/meminfo: memFree=1617008/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=4736 CPUtime=0.69 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 1012 0 0 0 69 0 0 0 23 0 1 0 161151081 4849664 994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 1184 994 139 317 0 863 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4736 [startup+1.50188 s] /proc/loadavg: 0.92 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1612712/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=7096 CPUtime=1.49 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 1622 0 0 0 149 0 0 0 25 0 1 0 161151081 7266304 1604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 1774 1604 170 317 0 1453 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7096 [startup+3.10104 s] /proc/loadavg: 0.93 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1609512/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=12064 CPUtime=3.09 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 2803 0 0 0 309 0 0 0 25 0 1 0 161151081 12353536 2785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 3016 2785 170 317 0 2695 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12064 [startup+6.30136 s] /proc/loadavg: 0.93 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1599976/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=20648 CPUtime=6.29 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 4915 0 0 0 628 1 0 0 25 0 1 0 161151081 21143552 4897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554575 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 5162 4897 170 317 0 4841 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20648 [startup+12.702 s] /proc/loadavg: 0.94 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1585768/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=34464 CPUtime=12.68 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 8249 0 0 0 1265 3 0 0 25 0 1 0 161151081 35291136 8231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 8616 8231 170 317 0 8295 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34464 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.98 3/78 29686 /proc/meminfo: memFree=1565352/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=55780 CPUtime=25.49 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 13137 0 0 0 2543 6 0 0 25 0 1 0 161151081 57118720 13119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 13945 13119 170 317 0 13624 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55780 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1538600/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=82880 CPUtime=51.08 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 19856 0 0 0 5098 10 0 0 25 0 1 0 161151081 84869120 19838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 20720 19838 170 317 0 20399 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 82880 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1502888/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=122612 CPUtime=102.27 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 28642 0 0 0 10213 14 0 0 25 0 1 0 161151081 125554688 28624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 30653 28624 170 317 0 30332 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 122612 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1475368/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=150844 CPUtime=162.25 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 35538 0 0 0 16208 17 0 0 25 0 1 0 161151081 154464256 35520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 37711 35520 170 317 0 37390 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 150844 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1457128/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=167832 CPUtime=222.23 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 40121 0 0 0 22203 20 0 0 25 0 1 0 161151081 171859968 40045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 41958 40045 170 317 0 41637 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 167832 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1436264/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=191956 CPUtime=282.22 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 45341 0 0 0 28198 24 0 0 25 0 1 0 161151081 196562944 45265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 47989 45265 170 317 0 47668 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 191956 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1419240/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=208644 CPUtime=342.21 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 49572 0 0 0 34195 26 0 0 25 0 1 0 161151081 213651456 49496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 52161 49496 170 317 0 51840 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 208644 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1403176/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=226044 CPUtime=402.19 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 53578 0 0 0 40190 29 0 0 25 0 1 0 161151081 231469056 53502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 56511 53502 170 317 0 56190 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 226044 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1391208/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=240016 CPUtime=462.17 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 56529 0 0 0 46186 31 0 0 25 0 1 0 161151081 245776384 56453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 60004 56453 170 317 0 59683 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 240016 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1380328/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=252412 CPUtime=522.16 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 59276 0 0 0 52184 32 0 0 25 0 1 0 161151081 258469888 59200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 63103 59200 170 317 0 62782 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 252412 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1369704/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=263640 CPUtime=582.15 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 61883 0 0 0 58180 35 0 0 25 0 1 0 161151081 269967360 61807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 65910 61807 170 317 0 65589 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 263640 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1367400/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=266116 CPUtime=642.13 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 62450 0 0 0 64177 36 0 0 25 0 1 0 161151081 272502784 62374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 66529 62374 170 317 0 66208 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 266116 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1359976/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=274928 CPUtime=882.07 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 64304 0 0 0 88167 40 0 0 25 0 1 0 161151081 281526272 64228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 68732 64228 170 317 0 68411 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 274928 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1358440/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=276232 CPUtime=942.06 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 64679 0 0 0 94165 41 0 0 25 0 1 0 161151081 282861568 64603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 69058 64603 170 317 0 68737 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 276232 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1356840/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=277816 CPUtime=1002.04 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 65080 0 0 0 100162 42 0 0 25 0 1 0 161151081 284483584 65004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 69454 65004 170 317 0 69133 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 277816 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1355432/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=279124 CPUtime=1062.02 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 65434 0 0 0 106160 42 0 0 25 0 1 0 161151081 285822976 65358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 69781 65358 170 317 0 69460 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 279124 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1354088/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=280420 CPUtime=1122 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 65771 0 0 0 112157 43 0 0 25 0 1 0 161151081 287150080 65695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 70105 65695 170 317 0 69784 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 280420 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1353064/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=281200 CPUtime=1181.99 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 66027 0 0 0 118155 44 0 0 25 0 1 0 161151081 287948800 65951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 70300 65951 170 317 0 69979 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 281200 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1352104/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=282120 CPUtime=1241.98 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 66258 0 0 0 124153 45 0 0 25 0 1 0 161151081 288890880 66182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 70530 66182 170 317 0 70209 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 282120 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1351016/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=283032 CPUtime=1301.97 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 66527 0 0 0 130151 46 0 0 25 0 1 0 161151081 289824768 66451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 70758 66451 170 317 0 70437 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 283032 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1349800/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=284232 CPUtime=1361.95 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 66826 0 0 0 136149 46 0 0 25 0 1 0 161151081 291053568 66750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 71058 66750 170 317 0 70737 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 284232 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1349096/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=284880 CPUtime=1421.94 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 67007 0 0 0 142147 47 0 0 25 0 1 0 161151081 291717120 66931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 71220 66931 170 317 0 70899 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 284880 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1347752/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=286376 CPUtime=1481.92 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 67408 0 0 0 148144 48 0 0 25 0 1 0 161151081 293249024 67218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 71594 67218 170 317 0 71273 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 286376 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29686 /proc/meminfo: memFree=1347368/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=286896 CPUtime=1541.9 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 67557 0 0 0 154142 48 0 0 25 0 1 0 161151081 293781504 67367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563467 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 71724 67367 170 317 0 71403 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 286896 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29688 /proc/meminfo: memFree=1346408/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=287676 CPUtime=1601.88 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 67782 0 0 0 160139 49 0 0 25 0 1 0 161151081 294580224 67592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 71919 67592 170 317 0 71598 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 287676 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29688 /proc/meminfo: memFree=1345576/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=288584 CPUtime=1661.87 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 68026 0 0 0 166137 50 0 0 25 0 1 0 161151081 295510016 67803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 72146 67803 170 317 0 71825 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 288584 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29688 /proc/meminfo: memFree=1344680/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=289372 CPUtime=1721.85 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 68261 0 0 0 172135 50 0 0 25 0 1 0 161151081 296316928 68038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 72343 68038 170 317 0 72022 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 289372 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29688 /proc/meminfo: memFree=1343656/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=290296 CPUtime=1781.83 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 68511 0 0 0 178132 51 0 0 25 0 1 0 161151081 297263104 68288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 72574 68288 170 317 0 72253 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 290296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29688 /proc/meminfo: memFree=1343400/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=290552 CPUtime=1800.03 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 68571 0 0 0 179952 51 0 0 25 0 1 0 161151081 297525248 68348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 72638 68348 170 317 0 72317 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 290552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29688 /proc/meminfo: memFree=1343400/2055920 swapFree=4154608/4192956 [pid=29685] ppid=29683 vsize=290552 CPUtime=1800.03 /proc/29685/stat : 29685 (oree) R 29683 29685 29342 0 -1 4194304 68571 0 0 0 179952 51 0 0 25 0 1 0 161151081 297525248 68348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29685/statm: 72638 68348 170 317 0 72317 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 290552 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.12 CPU user time (s): 1799.56 CPU system time (s): 0.564914 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 290552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.564914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68587 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= 1463 runsolver used 2.15467 second user time and 4.41633 second system time The end
Begin job on node12 on Tue Apr 17 23:05:37 UTC 2007 IDJOB= 357003 IDBENCH= 1764 IDSOLVER= 172 FILE ID= node12/357003-1176851137 PBS_JOBID= 4590214 Free space on /tmp= 66102 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb COMMAND LINE= oree /tmp/evaluation/357003-1176851137/instance-357003-1176851137.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-357003-1176851137 -o ROOT/results/node12/solver-357003-1176851137 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357003-1176851137/instance-357003-1176851137.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e9bdb75d971f85face52b6150a0bc6b1 RANDOM SEED= 191368673 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1617616 kB Buffers: 38668 kB Cached: 302768 kB SwapCached: 17536 kB Active: 40824 kB Inactive: 330028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1617616 kB SwapTotal: 4192956 kB SwapFree: 4154608 kB Dirty: 1372 kB Writeback: 0 kB Mapped: 30408 kB Slab: 53020 kB Committed_AS: 4268992 kB PageTables: 1796 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= 66102 MiB End job on node12 on Tue Apr 17 23:35:40 UTC 2007