Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb |
MD5SUM | 7b9d3fef35f44b9f29a1eccedaaa362f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 366703 |
Total number of constraints | 6084 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6084 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 187033 |
Biggest coefficient in the objective function | 1278 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 704610 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 704610 |
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... 3.89/3.97 c ...done 3.89/3.97 c #vars=366703 #constraints=12156 hasObjective=yes 7.09/7.17 c res. mode=mod 7.09/7.17 c VSIDS like heuristics 7.09/7.17 c complete search running 12.29/12.34 c restart after 401 decisions 13.29/13.32 c nbDecision=500 #constraints=12231 16.39/16.47 c restart after 801 decisions 18.49/18.56 c nbDecision=1000 #constraints=12300 23.88/23.93 c nbDecision=1500 #constraints=12386 24.88/24.99 c restart after 1601 decisions 29.08/29.16 c nbDecision=2000 #constraints=12451 34.27/34.31 c nbDecision=2500 #constraints=12502 39.48/39.55 c nbDecision=3000 #constraints=12569 41.46/41.57 c restart after 3201 decisions 44.66/44.76 c nbDecision=3500 #constraints=12630 49.96/50.06 c nbDecision=4000 #constraints=12707 55.16/55.23 c nbDecision=4500 #constraints=12743 60.25/60.38 c nbDecision=5000 #constraints=12780 65.36/65.47 c nbDecision=5500 #constraints=12816 70.46/70.55 c nbDecision=6000 #constraints=12838 74.66/74.73 c restart after 6401 decisions 75.66/75.74 c nbDecision=6500 #constraints=12892 80.75/80.87 c nbDecision=7000 #constraints=12921 85.95/86.09 c nbDecision=7500 #constraints=12971 91.15/91.27 c nbDecision=8000 #constraints=13008 96.25/96.32 c nbDecision=8500 #constraints=13023 101.25/101.35 c nbDecision=9000 #constraints=13035 106.34/106.49 c nbDecision=9500 #constraints=13067 111.54/111.69 c nbDecision=10000 #constraints=13109 116.94/117.08 c nbDecision=10500 #constraints=13199 122.14/122.28 c nbDecision=11000 #constraints=13245 127.54/127.61 c nbDecision=11500 #constraints=13313 132.73/132.85 c nbDecision=12000 #constraints=13349 137.93/138.07 c nbDecision=12500 #constraints=13399 141.03/141.19 c restart after 12801 decisions 143.13/143.21 c nbDecision=13000 #constraints=13435 148.23/148.40 c nbDecision=13500 #constraints=13484 153.53/153.66 c nbDecision=14000 #constraints=13534 158.83/158.90 c nbDecision=14500 #constraints=13581 164.13/164.26 c nbDecision=15000 #constraints=13655 169.23/169.32 c nbDecision=15500 #constraints=13673 174.32/174.44 c nbDecision=16000 #constraints=13694 179.42/179.54 c nbDecision=16500 #constraints=13715 184.52/184.62 c nbDecision=17000 #constraints=13733 189.62/189.77 c nbDecision=17500 #constraints=13770 194.81/194.93 c nbDecision=18000 #constraints=13801 199.91/200.05 c nbDecision=18500 #constraints=13828 205.12/205.22 c nbDecision=19000 #constraints=13864 210.22/210.34 c nbDecision=19500 #constraints=13890 215.42/215.56 c nbDecision=20000 #constraints=13922 220.51/220.68 c nbDecision=20500 #constraints=13941 225.61/225.76 c nbDecision=21000 #constraints=13957 230.81/230.95 c nbDecision=21500 #constraints=13985 235.91/236.03 c nbDecision=22000 #constraints=13995 241.01/241.15 c nbDecision=22500 #constraints=14017 246.00/246.18 c nbDecision=23000 #constraints=14024 251.10/251.29 c nbDecision=23500 #constraints=14045 256.30/256.48 c nbDecision=24000 #constraints=14078 261.50/261.62 c nbDecision=24500 #constraints=14100 266.69/266.80 c nbDecision=25000 #constraints=14140 271.79/271.96 c nbDecision=25500 #constraints=14162 272.79/272.98 c restart after 25601 decisions 276.89/277.06 c nbDecision=26000 #constraints=14182 282.19/282.31 c nbDecision=26500 #constraints=14242 287.30/287.41 c nbDecision=27000 #constraints=14273 292.40/292.52 c nbDecision=27500 #constraints=14294 297.59/297.77 c nbDecision=28000 #constraints=14338 302.69/302.82 c nbDecision=28500 #constraints=14355 307.79/307.92 c nbDecision=29000 #constraints=14376 312.99/313.14 c nbDecision=29500 #constraints=14410 318.29/318.40 c nbDecision=30000 #constraints=14448 323.48/323.61 c nbDecision=30500 #constraints=14484 328.57/328.71 c nbDecision=31000 #constraints=14501 333.87/334.01 c nbDecision=31500 #constraints=14554 338.96/339.18 c nbDecision=32000 #constraints=14573 344.04/344.29 c nbDecision=32500 #constraints=14597 349.23/349.45 c nbDecision=33000 #constraints=14619 354.42/354.68 c nbDecision=33500 #constraints=14658 359.80/360.02 c nbDecision=34000 #constraints=14699 364.91/365.19 c nbDecision=34500 #constraints=14727 370.10/370.35 c nbDecision=35000 #constraints=14746 375.30/375.55 c nbDecision=35500 #constraints=14776 380.50/380.71 c nbDecision=36000 #constraints=14802 385.68/385.91 c nbDecision=36500 #constraints=14835 390.67/390.99 c nbDecision=37000 #constraints=14844 395.87/396.16 c nbDecision=37500 #constraints=14870 401.18/401.42 c nbDecision=38000 #constraints=14906 406.47/406.74 c nbDecision=38500 #constraints=14952 411.77/412.09 c nbDecision=39000 #constraints=14992 417.57/417.85 c nbDecision=39500 #constraints=15071 423.17/423.42 c nbDecision=40000 #constraints=15137 429.56/429.83 c nbDecision=40500 #constraints=15276 434.66/434.94 c nbDecision=41000 #constraints=15283 439.76/440.06 c nbDecision=41500 #constraints=15297 444.86/445.15 c nbDecision=42000 #constraints=15310 449.96/450.23 c nbDecision=42500 #constraints=15318 455.06/455.39 c nbDecision=43000 #constraints=15336 460.25/460.52 c nbDecision=43500 #constraints=15352 465.46/465.77 c nbDecision=44000 #constraints=15393 470.76/471.02 c nbDecision=44500 #constraints=15422 475.96/476.21 c nbDecision=45000 #constraints=15444 481.06/481.35 c nbDecision=45500 #constraints=15457 486.15/486.41 c nbDecision=46000 #constraints=15463 491.36/491.62 c nbDecision=46500 #constraints=15492 496.45/496.77 c nbDecision=47000 #constraints=15506 501.75/502.00 c nbDecision=47500 #constraints=15530 506.85/507.13 c nbDecision=48000 #constraints=15547 512.04/512.31 c nbDecision=48500 #constraints=15561 517.24/517.54 c nbDecision=49000 #constraints=15579 522.34/522.68 c nbDecision=49500 #constraints=15605 527.44/527.74 c nbDecision=50000 #constraints=15611 532.53/532.88 c nbDecision=50500 #constraints=15620 537.73/538.02 c nbDecision=51000 #constraints=15636 539.73/540.09 c restart after 51201 decisions 542.93/543.21 c nbDecision=51500 #constraints=15672 548.04/548.35 c nbDecision=52000 #constraints=15704 553.43/553.73 c nbDecision=52500 #constraints=15787 558.53/558.81 c nbDecision=53000 #constraints=15802 563.83/564.16 c nbDecision=53500 #constraints=15852 569.02/569.37 c nbDecision=54000 #constraints=15881 574.32/574.67 c nbDecision=54500 #constraints=15909 579.62/579.92 c nbDecision=55000 #constraints=15935 584.82/585.16 c nbDecision=55500 #constraints=15956 590.21/590.53 c nbDecision=56000 #constraints=15998 595.51/595.84 c nbDecision=56500 #constraints=16043 600.72/601.09 c nbDecision=57000 #constraints=16064 605.92/606.25 c nbDecision=57500 #constraints=16078 611.12/611.42 c nbDecision=58000 #constraints=16091 616.61/616.95 c nbDecision=58500 #constraints=16144 621.91/622.23 c nbDecision=59000 #constraints=16178 627.11/627.48 c nbDecision=59500 #constraints=16203 632.30/632.66 c nbDecision=60000 #constraints=16217 637.51/637.82 c nbDecision=60500 #constraints=16234 642.81/643.19 c nbDecision=61000 #constraints=16280 648.11/648.40 c nbDecision=61500 #constraints=16317 653.30/653.65 c nbDecision=62000 #constraints=16336 658.51/658.88 c nbDecision=62500 #constraints=16353 663.60/663.98 c nbDecision=63000 #constraints=16362 668.80/669.14 c nbDecision=63500 #constraints=16380 674.30/674.66 c nbDecision=64000 #constraints=16426 679.50/679.85 c nbDecision=64500 #constraints=16438 684.69/685.03 c nbDecision=65000 #constraints=16457 689.79/690.18 c nbDecision=65500 #constraints=16468 694.99/695.34 c nbDecision=66000 #constraints=16484 700.29/700.63 c nbDecision=66500 #constraints=16513 705.58/705.90 c nbDecision=67000 #constraints=16539 710.89/711.21 c nbDecision=67500 #constraints=16568 716.09/716.45 c nbDecision=68000 #constraints=16582 721.19/721.56 c nbDecision=68500 #constraints=16590 726.28/726.63 c nbDecision=69000 #constraints=16596 731.48/731.87 c nbDecision=69500 #constraints=16630 736.68/737.08 c nbDecision=70000 #constraints=16643 741.88/742.25 c nbDecision=70500 #constraints=16659 747.08/747.42 c nbDecision=71000 #constraints=16678 752.17/752.57 c nbDecision=71500 #constraints=16694 757.48/757.85 c nbDecision=72000 #constraints=16709 763.07/763.47 c nbDecision=72500 #constraints=16760 768.47/768.85 c nbDecision=73000 #constraints=16797 773.67/774.10 c nbDecision=73500 #constraints=16818 778.86/779.29 c nbDecision=74000 #constraints=16835 784.16/784.50 c nbDecision=74500 #constraints=16852 789.26/789.68 c nbDecision=75000 #constraints=16871 794.56/794.90 c nbDecision=75500 #constraints=16890 799.86/800.22 c nbDecision=76000 #constraints=16908 804.96/805.35 c nbDecision=76500 #constraints=16916 810.86/811.25 c nbDecision=77000 #constraints=16967 816.35/816.79 c nbDecision=77500 #constraints=16997 821.55/821.97 c nbDecision=78000 #constraints=17008 826.75/827.14 c nbDecision=78500 #constraints=17024 831.85/832.26 c nbDecision=79000 #constraints=17030 837.05/837.40 c nbDecision=79500 #constraints=17037 842.34/842.71 c nbDecision=80000 #constraints=17056 847.65/848.06 c nbDecision=80500 #constraints=17083 853.44/853.86 c nbDecision=81000 #constraints=17122 859.14/859.53 c nbDecision=81500 #constraints=17166 865.24/865.66 c nbDecision=82000 #constraints=17227 870.44/870.87 c nbDecision=82500 #constraints=17239 875.84/876.26 c nbDecision=83000 #constraints=17259 880.94/881.39 c nbDecision=83500 #constraints=17266 886.54/886.97 c nbDecision=84000 #constraints=17303 892.03/892.46 c nbDecision=84500 #constraints=17327 897.43/897.88 c nbDecision=85000 #constraints=17348 903.03/903.46 c nbDecision=85500 #constraints=17378 909.13/909.59 c nbDecision=86000 #constraints=17436 916.33/916.71 c nbDecision=86500 #constraints=17542 924.82/925.21 c nbDecision=87000 #constraints=17711 930.13/930.55 c nbDecision=87500 #constraints=17741 935.42/935.80 c nbDecision=88000 #constraints=17765 940.62/941.08 c nbDecision=88500 #constraints=17790 945.82/946.23 c nbDecision=89000 #constraints=17810 951.02/951.42 c nbDecision=89500 #constraints=17828 956.32/956.73 c nbDecision=90000 #constraints=17844 961.61/962.09 c nbDecision=90500 #constraints=17863 967.11/967.60 c nbDecision=91000 #constraints=17900 972.71/973.14 c nbDecision=91500 #constraints=17930 978.51/978.96 c nbDecision=92000 #constraints=17983 984.20/984.63 c nbDecision=92500 #constraints=18039 989.60/990.04 c nbDecision=93000 #constraints=18073 994.80/995.23 c nbDecision=93500 #constraints=18091 1000.00/1000.48 c nbDecision=94000 #constraints=18105 1005.40/1005.87 c nbDecision=94500 #constraints=18127 1011.30/1011.71 c nbDecision=95000 #constraints=18185 1016.89/1017.38 c nbDecision=95500 #constraints=18234 1022.29/1022.71 c nbDecision=96000 #constraints=18258 1027.39/1027.83 c nbDecision=96500 #constraints=18268 1032.69/1033.18 c nbDecision=97000 #constraints=18297 1038.19/1038.60 c nbDecision=97500 #constraints=18325 1043.69/1044.18 c nbDecision=98000 #constraints=18373 1049.38/1049.82 c nbDecision=98500 #constraints=18427 1054.88/1055.34 c nbDecision=99000 #constraints=18469 1060.18/1060.68 c nbDecision=99500 #constraints=18501 1065.58/1066.00 c nbDecision=100000 #constraints=18531 1071.27/1071.78 c nbDecision=100500 #constraints=18596 1076.78/1077.22 c nbDecision=101000 #constraints=18626 1082.08/1082.57 c nbDecision=101500 #constraints=18654 1087.27/1087.78 c nbDecision=102000 #constraints=18682 1091.97/1092.42 c restart after 102401 decisions 1092.98/1093.50 c nbDecision=102500 #constraints=18735 1098.47/1098.95 c nbDecision=103000 #constraints=18773 1104.56/1105.02 c nbDecision=103500 #constraints=18842 1110.47/1110.92 c nbDecision=104000 #constraints=18914 1116.37/1116.84 c nbDecision=104500 #constraints=18973 1121.97/1122.44 c nbDecision=105000 #constraints=19021 1127.36/1127.84 c nbDecision=105500 #constraints=19053 1132.66/1133.14 c nbDecision=106000 #constraints=19078 1138.56/1139.06 c nbDecision=106500 #constraints=19148 1144.36/1144.80 c nbDecision=107000 #constraints=19198 1149.75/1150.26 c nbDecision=107500 #constraints=19227 1155.25/1155.80 c nbDecision=108000 #constraints=19262 1160.66/1161.14 c nbDecision=108500 #constraints=19294 1165.85/1166.36 c nbDecision=109000 #constraints=19308 1171.15/1171.63 c nbDecision=109500 #constraints=19319 1176.85/1177.31 c nbDecision=110000 #constraints=19354 1182.25/1182.71 c nbDecision=110500 #constraints=19377 1187.74/1188.22 c nbDecision=111000 #constraints=19406 1193.05/1193.53 c nbDecision=111500 #constraints=19421 1198.44/1198.91 c nbDecision=112000 #constraints=19450 1203.74/1204.30 c nbDecision=112500 #constraints=19473 1209.33/1209.81 c nbDecision=113000 #constraints=19502 1214.74/1215.22 c nbDecision=113500 #constraints=19532 1220.24/1220.70 c nbDecision=114000 #constraints=19562 1225.43/1225.97 c nbDecision=114500 #constraints=19576 1230.73/1231.23 c nbDecision=115000 #constraints=19592 1236.23/1236.71 c nbDecision=115500 #constraints=19624 1241.53/1242.01 c nbDecision=116000 #constraints=19645 1246.83/1247.38 c nbDecision=116500 #constraints=19669 1252.12/1252.68 c nbDecision=117000 #constraints=19692 1257.52/1258.06 c nbDecision=117500 #constraints=19710 1262.93/1263.41 c nbDecision=118000 #constraints=19732 1268.12/1268.61 c nbDecision=118500 #constraints=19750 1273.42/1273.98 c nbDecision=119000 #constraints=19772 1278.82/1279.35 c nbDecision=119500 #constraints=19797 1284.11/1284.61 c nbDecision=120000 #constraints=19815 1289.21/1289.79 c nbDecision=120500 #constraints=19832 1294.51/1295.09 c nbDecision=121000 #constraints=19852 1299.91/1300.41 c nbDecision=121500 #constraints=19884 1305.11/1305.69 c nbDecision=122000 #constraints=19911 1310.71/1311.28 c nbDecision=122500 #constraints=19948 1316.30/1316.87 c nbDecision=123000 #constraints=19983 1321.60/1322.12 c nbDecision=123500 #constraints=19993 1327.00/1327.58 c nbDecision=124000 #constraints=20017 1332.30/1332.87 c nbDecision=124500 #constraints=20042 1337.70/1338.27 c nbDecision=125000 #constraints=20060 1343.00/1343.51 c nbDecision=125500 #constraints=20073 1348.20/1348.73 c nbDecision=126000 #constraints=20091 1353.69/1354.23 c nbDecision=126500 #constraints=20112 1358.99/1359.51 c nbDecision=127000 #constraints=20126 1364.19/1364.76 c nbDecision=127500 #constraints=20141 1369.59/1370.11 c nbDecision=128000 #constraints=20160 1374.79/1375.38 c nbDecision=128500 #constraints=20171 1380.08/1380.66 c nbDecision=129000 #constraints=20193 1385.38/1385.98 c nbDecision=129500 #constraints=20216 1390.69/1391.26 c nbDecision=130000 #constraints=20234 1395.98/1396.56 c nbDecision=130500 #constraints=20247 1401.18/1401.79 c nbDecision=131000 #constraints=20261 1406.48/1407.07 c nbDecision=131500 #constraints=20285 1412.17/1412.76 c nbDecision=132000 #constraints=20317 1417.47/1418.07 c nbDecision=132500 #constraints=20330 1422.77/1423.33 c nbDecision=133000 #constraints=20353 1428.37/1428.94 c nbDecision=133500 #constraints=20388 1433.67/1434.24 c nbDecision=134000 #constraints=20408 1438.96/1439.54 c nbDecision=134500 #constraints=20423 1444.36/1444.98 c nbDecision=135000 #constraints=20447 1449.57/1450.15 c nbDecision=135500 #constraints=20459 1454.87/1455.48 c nbDecision=136000 #constraints=20479 1460.27/1460.86 c nbDecision=136500 #constraints=20505 1465.46/1466.05 c nbDecision=137000 #constraints=20515 1470.86/1471.43 c nbDecision=137500 #constraints=20537 1476.06/1476.68 c nbDecision=138000 #constraints=20557 1481.46/1482.03 c nbDecision=138500 #constraints=20574 1486.75/1487.33 c nbDecision=139000 #constraints=20595 1491.95/1492.58 c nbDecision=139500 #constraints=20611 1497.25/1497.81 c nbDecision=140000 #constraints=20625 1502.45/1503.06 c nbDecision=140500 #constraints=20641 1508.15/1508.74 c nbDecision=141000 #constraints=20678 1513.35/1513.94 c nbDecision=141500 #constraints=20685 1518.75/1519.37 c nbDecision=142000 #constraints=20711 1524.05/1524.65 c nbDecision=142500 #constraints=20727 1529.24/1529.84 c nbDecision=143000 #constraints=20736 1534.64/1535.26 c nbDecision=143500 #constraints=20762 1540.04/1540.68 c nbDecision=144000 #constraints=20784 1545.34/1545.91 c nbDecision=144500 #constraints=20796 1550.53/1551.18 c nbDecision=145000 #constraints=20809 1555.84/1556.45 c nbDecision=145500 #constraints=20823 1561.13/1561.74 c nbDecision=146000 #constraints=20839 1566.33/1566.95 c nbDecision=146500 #constraints=20850 1571.63/1572.21 c nbDecision=147000 #constraints=20863 1576.93/1577.54 c nbDecision=147500 #constraints=20883 1582.23/1582.83 c nbDecision=148000 #constraints=20909 1587.62/1588.24 c nbDecision=148500 #constraints=20937 1593.02/1593.64 c nbDecision=149000 #constraints=20965 1598.42/1599.04 c nbDecision=149500 #constraints=20986 1603.62/1604.29 c nbDecision=150000 #constraints=21002 1608.92/1609.58 c nbDecision=150500 #constraints=21023 1614.31/1614.92 c nbDecision=151000 #constraints=21044 1619.62/1620.22 c nbDecision=151500 #constraints=21062 1625.02/1625.69 c nbDecision=152000 #constraints=21096 1630.31/1630.97 c nbDecision=152500 #constraints=21110 1635.61/1636.23 c nbDecision=153000 #constraints=21123 1640.91/1641.54 c nbDecision=153500 #constraints=21143 1646.31/1646.91 c nbDecision=154000 #constraints=21165 1651.61/1652.30 c nbDecision=154500 #constraints=21183 1657.01/1657.67 c nbDecision=155000 #constraints=21198 1662.40/1663.04 c nbDecision=155500 #constraints=21224 1667.80/1668.47 c nbDecision=156000 #constraints=21256 1673.20/1673.84 c nbDecision=156500 #constraints=21277 1678.69/1679.38 c nbDecision=157000 #constraints=21307 1684.30/1684.99 c nbDecision=157500 #constraints=21353 1689.50/1690.19 c nbDecision=158000 #constraints=21360 1694.99/1695.69 c nbDecision=158500 #constraints=21379 1700.79/1701.46 c nbDecision=159000 #constraints=21420 1706.19/1706.89 c nbDecision=159500 #constraints=21442 1711.59/1712.29 c nbDecision=160000 #constraints=21457 1717.18/1717.89 c nbDecision=160500 #constraints=21480 1722.48/1723.10 c nbDecision=161000 #constraints=21489 1727.88/1728.56 c nbDecision=161500 #constraints=21508 1733.28/1733.93 c nbDecision=162000 #constraints=21521 1738.78/1739.45 c nbDecision=162500 #constraints=21547 1744.18/1744.85 c nbDecision=163000 #constraints=21569 1749.58/1750.25 c nbDecision=163500 #constraints=21586 1754.88/1755.54 c nbDecision=164000 #constraints=21596 1760.18/1760.88 c nbDecision=164500 #constraints=21618 1765.67/1766.38 c nbDecision=165000 #constraints=21639 1771.17/1771.89 c nbDecision=165500 #constraints=21670 1776.57/1777.27 c nbDecision=166000 #constraints=21687 1781.77/1782.47 c nbDecision=166500 #constraints=21695 1787.26/1787.90 c nbDecision=167000 #constraints=21717 1792.46/1793.14 c nbDecision=167500 #constraints=21725 1797.86/1798.56 c nbDecision=168000 #constraints=21743 1800.07/1800.71 Received signal 15 1800.07/1800.71 1800.07/1800.71 s UNKNOWN 1800.07/1800.72 1800.07/1800.72 c user time= 1799.58 s 1800.07/1800.72 c system time= 0.507922 s 1800.07/1800.72 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-356982-1176850531 -o ROOT/results/node17/solver-356982-1176850531 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356982-1176850531/instance-356982-1176850531.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.98 0.99 3/77 17835 /proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=1620 CPUtime=0 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132970727 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 405 176 126 317 0 84 0 [startup+0.0995931 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17835 /proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=3440 CPUtime=0.09 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 895 0 0 0 9 0 0 0 18 0 1 0 132970727 3522560 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 860 651 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.101592 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17835 /proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=5624 CPUtime=0.09 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 957 0 0 0 9 0 0 0 18 0 1 0 132970727 5758976 712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 1406 714 126 317 0 1085 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5624 [startup+0.301612 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17835 /proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=9548 CPUtime=0.29 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 2912 0 0 0 29 0 0 0 19 0 1 0 132970727 9777152 1897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 2387 1897 127 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701655 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17835 /proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=16908 CPUtime=0.69 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 4687 0 0 0 68 1 0 0 22 0 1 0 132970727 17313792 3672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 4227 3672 131 317 0 3906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16908 [startup+1.50174 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1671984/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=36820 CPUtime=1.49 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 9590 0 0 0 145 4 0 0 25 0 1 0 132970727 37703680 8575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 9205 8575 131 317 0 8884 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36820 [startup+3.10191 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1644592/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=76680 CPUtime=3.09 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 19396 0 0 0 299 10 0 0 25 0 1 0 132970727 78520320 18381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 19170 18382 131 317 0 18849 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 76680 [startup+6.30124 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1557104/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=147192 CPUtime=6.29 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 36984 0 0 0 611 18 0 0 25 0 1 0 132970727 150724608 35969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 36798 35969 137 317 0 36477 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 147192 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1545840/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=151352 CPUtime=12.69 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 37999 0 0 0 1251 18 0 0 25 0 1 0 132970727 154984448 36900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 37838 36900 139 317 0 37517 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 151352 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1545648/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=151748 CPUtime=25.48 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 38115 0 0 0 2530 18 0 0 25 0 1 0 132970727 155389952 37016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 37937 37016 139 317 0 37616 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 151748 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1544752/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=152804 CPUtime=51.06 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 38364 0 0 0 5087 19 0 0 25 0 1 0 132970727 156471296 37265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 38201 37265 139 317 0 37880 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 152804 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1543344/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=154120 CPUtime=102.25 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 38706 0 0 0 10205 20 0 0 25 0 1 0 132970727 157818880 37607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 38530 37607 139 317 0 38209 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 154120 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1539376/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=158180 CPUtime=162.23 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 39744 0 0 0 16202 21 0 0 25 0 1 0 132970727 161976320 38645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 39545 38645 170 317 0 39224 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 158180 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17836 /proc/meminfo: memFree=1536368/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=160896 CPUtime=222.21 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 40456 0 0 0 22199 22 0 0 25 0 1 0 132970727 164757504 39357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 40224 39357 170 317 0 39903 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 160896 [startup+282.301 s] /proc/loadavg: 1.03 1.00 1.00 2/78 17836 /proc/meminfo: memFree=1534256/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=163132 CPUtime=282.19 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 40993 0 0 0 28197 22 0 0 25 0 1 0 132970727 167047168 39894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 40783 39894 170 317 0 40462 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 163132 [startup+342.301 s] /proc/loadavg: 1.12 1.03 1.01 2/84 17918 /proc/meminfo: memFree=1529280/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=166856 CPUtime=342.15 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 41922 0 0 0 34191 24 0 0 25 0 1 0 132970727 170860544 40823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 41714 40823 170 317 0 41393 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 166856 [startup+402.302 s] /proc/loadavg: 1.12 1.04 1.00 2/78 18034 /proc/meminfo: memFree=1527472/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=169644 CPUtime=402.07 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 42638 0 0 0 40182 25 0 0 25 0 1 0 132970727 173715456 41539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 42411 41539 170 317 0 42090 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 169644 [startup+462.302 s] /proc/loadavg: 1.11 1.04 1.00 2/78 18034 /proc/meminfo: memFree=1519024/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=178796 CPUtime=462.05 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 44773 0 0 0 46179 26 0 0 25 0 1 0 132970727 183087104 43674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 44699 43674 170 317 0 44378 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 178796 [startup+522.301 s] /proc/loadavg: 1.10 1.05 1.00 2/78 18034 /proc/meminfo: memFree=1516592/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=181288 CPUtime=522.04 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 45406 0 0 0 52177 27 0 0 25 0 1 0 132970727 185638912 44307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 45322 44307 170 317 0 45001 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 181288 [startup+582.301 s] /proc/loadavg: 1.09 1.05 1.00 2/78 18034 /proc/meminfo: memFree=1514096/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=183532 CPUtime=582.02 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 46023 0 0 0 58174 28 0 0 25 0 1 0 132970727 187936768 44924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 45883 44924 170 317 0 45562 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 183532 [startup+642.302 s] /proc/loadavg: 1.03 1.04 1.00 2/78 18034 /proc/meminfo: memFree=1510640/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=186560 CPUtime=642.01 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 46876 0 0 0 64171 30 0 0 25 0 1 0 132970727 191037440 45777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 46640 45777 170 317 0 46319 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 186560 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18034 /proc/meminfo: memFree=1495728/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=202792 CPUtime=881.94 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 50592 0 0 0 88161 33 0 0 25 0 1 0 132970727 207659008 49493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 50698 49493 170 317 0 50377 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 202792 [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18034 /proc/meminfo: memFree=1486384/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=212116 CPUtime=941.92 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 52935 0 0 0 94157 35 0 0 25 0 1 0 132970727 217206784 51836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 53029 51836 170 317 0 52708 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 212116 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1482160/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=216092 CPUtime=1001.9 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 53976 0 0 0 100154 36 0 0 25 0 1 0 132970727 221278208 52877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 54023 52877 170 317 0 53702 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 216092 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1476528/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=221156 CPUtime=1061.88 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 55375 0 0 0 106151 37 0 0 25 0 1 0 132970727 226463744 54276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 55289 54276 170 317 0 54968 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 221156 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1470064/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=227176 CPUtime=1121.87 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 56996 0 0 0 112148 39 0 0 25 0 1 0 132970727 232628224 55897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 56794 55897 170 317 0 56473 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 227176 [startup+1182.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 18034 /proc/meminfo: memFree=1462000/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=238240 CPUtime=1181.85 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 59025 0 0 0 118145 40 0 0 25 0 1 0 132970727 243957760 57926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 59560 57926 170 317 0 59239 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 238240 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18034 /proc/meminfo: memFree=1457776/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=243048 CPUtime=1241.83 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 60045 0 0 0 124142 41 0 0 25 0 1 0 132970727 248881152 58946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 60762 58946 170 317 0 60441 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 243048 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1454448/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=245940 CPUtime=1301.81 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 60890 0 0 0 130139 42 0 0 25 0 1 0 132970727 251842560 59791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 61485 59791 170 317 0 61164 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 245940 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1451376/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=248960 CPUtime=1361.79 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 61660 0 0 0 136136 43 0 0 25 0 1 0 132970727 254935040 60561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 62240 60561 170 317 0 61919 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 248960 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1448560/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=251532 CPUtime=1421.77 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 62331 0 0 0 142133 44 0 0 25 0 1 0 132970727 257568768 61232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 62883 61232 170 317 0 62562 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 251532 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1445488/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=254124 CPUtime=1481.76 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 63093 0 0 0 148131 45 0 0 25 0 1 0 132970727 260222976 61994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 63531 61994 170 317 0 63210 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 254124 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1442928/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=256768 CPUtime=1541.74 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 63759 0 0 0 154128 46 0 0 25 0 1 0 132970727 262930432 62660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 64192 62660 170 317 0 63871 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 256768 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1440432/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=259160 CPUtime=1601.72 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 64392 0 0 0 160125 47 0 0 25 0 1 0 132970727 265379840 63293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 64790 63293 170 317 0 64469 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 259160 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1436592/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=263268 CPUtime=1661.7 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 65355 0 0 0 166122 48 0 0 25 0 1 0 132970727 269586432 64256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 65817 64256 170 317 0 65496 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 263268 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1433264/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=266632 CPUtime=1721.68 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 66191 0 0 0 172119 49 0 0 25 0 1 0 132970727 273031168 65092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 66658 65092 170 317 0 66337 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 266632 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1429680/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=270200 CPUtime=1781.67 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 67075 0 0 0 178117 50 0 0 25 0 1 0 132970727 276684800 65976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 67550 65976 170 317 0 67229 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 270200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1428784/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=270828 CPUtime=1800.07 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 67276 0 0 0 179957 50 0 0 25 0 1 0 132970727 277327872 66177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 67707 66177 170 317 0 67386 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 270828 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18034 /proc/meminfo: memFree=1428784/2055920 swapFree=4123136/4192956 [pid=17835] ppid=17833 vsize=262984 CPUtime=1800.16 /proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 67292 0 0 0 179966 50 0 0 25 0 1 0 132970727 269295616 64249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135138633 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17835/statm: 65746 64249 186 317 0 65425 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 262984 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.24 CPU user time (s): 1799.68 CPU system time (s): 0.553915 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 270828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.553915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67292 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= 27810 runsolver used 2.18067 second user time and 4.36134 second system time The end
Begin job on node17 on Tue Apr 17 22:55:32 UTC 2007 IDJOB= 356982 IDBENCH= 1721 IDSOLVER= 172 FILE ID= node17/356982-1176850531 PBS_JOBID= 4590198 Free space on /tmp= 66456 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb COMMAND LINE= oree /tmp/evaluation/356982-1176850531/instance-356982-1176850531.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-356982-1176850531 -o ROOT/results/node17/solver-356982-1176850531 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356982-1176850531/instance-356982-1176850531.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7b9d3fef35f44b9f29a1eccedaaa362f RANDOM SEED= 531381130 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1693968 kB Buffers: 35588 kB Cached: 216468 kB SwapCached: 32524 kB Active: 111088 kB Inactive: 183136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1693968 kB SwapTotal: 4192956 kB SwapFree: 4123136 kB Dirty: 15492 kB Writeback: 0 kB Mapped: 34528 kB Slab: 53240 kB Committed_AS: 7032932 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= 66456 MiB End job on node17 on Tue Apr 17 23:25:35 UTC 2007