Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-boeing1.opb |
MD5SUM | ceb2e4b71eb9bdf9c63b27bfd911be00 |
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 | 8869 |
Total number of constraints | 561 |
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 | 561 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 6849 |
Number of terms in the objective function | 6523 |
Biggest coefficient in the objective function | 7301 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 529587 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529932 |
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.09/0.19 c ...done 0.09/0.19 c #vars=8869 #constraints=571 hasObjective=yes 0.19/0.28 c res. mode=mod 0.19/0.28 c VSIDS like heuristics 0.19/0.28 c complete search running 0.39/0.46 c restart after 401 decisions 0.39/0.49 c nbDecision=500 #constraints=910 0.59/0.63 c restart after 801 decisions 0.69/0.74 c nbDecision=1000 #constraints=1292 0.89/0.98 c nbDecision=1500 #constraints=1613 0.99/1.03 c restart after 1601 decisions 1.19/1.27 c nbDecision=2000 #constraints=1932 1.49/1.59 c nbDecision=2500 #constraints=2316 1.79/1.89 c nbDecision=3000 #constraints=2674 1.99/2.02 c restart after 3201 decisions 2.19/2.20 c nbDecision=3500 #constraints=2959 2.49/2.59 c nbDecision=4000 #constraints=3306 2.89/2.90 c nbDecision=4500 #constraints=3615 3.19/3.22 c nbDecision=5000 #constraints=3901 3.79/3.82 c nbDecision=5500 #constraints=4225 4.19/4.28 c nbDecision=6000 #constraints=4512 4.49/4.57 c restart after 6401 decisions 4.69/4.73 c nbDecision=6500 #constraints=4780 5.68/5.75 c nbDecision=7000 #constraints=5141 6.38/6.45 c nbDecision=7500 #constraints=5467 6.99/7.04 c nbDecision=8000 #constraints=5749 7.49/7.57 c nbDecision=8500 #constraints=5955 8.49/8.54 c nbDecision=9000 #constraints=6247 9.68/9.74 c nbDecision=9500 #constraints=6564 10.48/10.55 c nbDecision=10000 #constraints=6844 11.18/11.20 c nbDecision=10500 #constraints=7063 12.09/12.17 c nbDecision=11000 #constraints=7336 13.39/13.40 c nbDecision=11500 #constraints=7642 14.29/14.34 c nbDecision=12000 #constraints=7904 15.09/15.14 c nbDecision=12500 #constraints=8226 15.49/15.58 c restart after 12801 decisions 16.29/16.33 c nbDecision=13000 #constraints=8471 17.98/18.00 c nbDecision=13500 #constraints=8827 19.08/19.11 c nbDecision=14000 #constraints=9143 19.88/19.92 c nbDecision=14500 #constraints=9407 20.68/20.71 c nbDecision=15000 #constraints=9695 22.69/22.71 c nbDecision=15500 #constraints=10015 24.19/24.29 c nbDecision=16000 #constraints=10311 25.29/25.31 c nbDecision=16500 #constraints=10543 26.29/26.39 c nbDecision=17000 #constraints=10805 28.18/28.28 c nbDecision=17500 #constraints=11163 29.68/29.75 c nbDecision=18000 #constraints=11407 30.88/30.98 c nbDecision=18500 #constraints=11614 32.79/32.83 c nbDecision=19000 #constraints=11886 34.48/34.54 c nbDecision=19500 #constraints=12184 35.68/35.74 c nbDecision=20000 #constraints=12416 36.68/36.74 c nbDecision=20500 #constraints=12556 38.58/38.65 c nbDecision=21000 #constraints=12873 40.48/40.51 c nbDecision=21500 #constraints=13151 41.79/41.86 c nbDecision=22000 #constraints=13345 43.58/43.65 c nbDecision=22500 #constraints=13581 45.38/45.50 c nbDecision=23000 #constraints=13909 47.08/47.16 c nbDecision=23500 #constraints=14144 48.68/48.79 c nbDecision=24000 #constraints=14316 50.78/50.83 c nbDecision=24500 #constraints=14579 52.28/52.33 c nbDecision=25000 #constraints=14894 53.47/53.53 c nbDecision=25500 #constraints=15037 53.88/53.91 c restart after 25601 decisions 55.07/55.10 c nbDecision=26000 #constraints=15283 56.27/56.39 c nbDecision=26500 #constraints=15450 59.57/59.67 c nbDecision=27000 #constraints=15728 61.98/62.04 c nbDecision=27500 #constraints=16050 64.07/64.12 c nbDecision=28000 #constraints=16373 65.57/65.69 c nbDecision=28500 #constraints=16587 68.67/68.76 c nbDecision=29000 #constraints=16867 71.78/71.85 c nbDecision=29500 #constraints=17168 73.68/73.80 c nbDecision=30000 #constraints=17464 75.37/75.47 c nbDecision=30500 #constraints=17641 78.57/78.60 c nbDecision=31000 #constraints=17874 81.27/81.31 c nbDecision=31500 #constraints=18178 83.47/83.54 c nbDecision=32000 #constraints=18455 85.07/85.10 c nbDecision=32500 #constraints=18638 87.97/88.06 c nbDecision=33000 #constraints=18888 90.07/90.17 c nbDecision=33500 #constraints=19131 91.96/92.04 c nbDecision=34000 #constraints=19309 95.06/95.18 c nbDecision=34500 #constraints=19557 98.17/98.21 c nbDecision=35000 #constraints=19872 100.47/100.54 c nbDecision=35500 #constraints=20139 102.06/102.13 c nbDecision=36000 #constraints=20312 105.36/105.42 c nbDecision=36500 #constraints=20581 108.56/108.61 c nbDecision=37000 #constraints=20893 110.96/111.00 c nbDecision=37500 #constraints=21155 113.76/113.82 c nbDecision=38000 #constraints=21354 117.26/117.33 c nbDecision=38500 #constraints=21630 119.66/119.80 c nbDecision=39000 #constraints=21889 121.66/121.76 c nbDecision=39500 #constraints=22067 125.36/125.45 c nbDecision=40000 #constraints=22418 128.46/128.50 c nbDecision=40500 #constraints=22715 130.46/130.56 c nbDecision=41000 #constraints=22914 134.16/134.25 c nbDecision=41500 #constraints=23167 137.15/137.25 c nbDecision=42000 #constraints=23451 139.05/139.14 c nbDecision=42500 #constraints=23672 142.25/142.30 c nbDecision=43000 #constraints=23911 145.25/145.38 c nbDecision=43500 #constraints=24192 147.55/147.66 c nbDecision=44000 #constraints=24409 149.86/149.94 c nbDecision=44500 #constraints=24544 153.55/153.63 c nbDecision=45000 #constraints=24853 156.16/156.23 c nbDecision=45500 #constraints=25043 159.75/159.89 c nbDecision=46000 #constraints=25287 162.65/162.80 c nbDecision=46500 #constraints=25549 165.05/165.18 c nbDecision=47000 #constraints=25694 168.94/169.00 c nbDecision=47500 #constraints=25962 171.24/171.31 c nbDecision=48000 #constraints=26125 174.34/174.49 c nbDecision=48500 #constraints=26352 177.65/177.74 c nbDecision=49000 #constraints=26624 179.94/180.09 c nbDecision=49500 #constraints=26853 183.34/183.45 c nbDecision=50000 #constraints=27074 185.94/186.01 c nbDecision=50500 #constraints=27286 189.05/189.20 c nbDecision=51000 #constraints=27479 190.54/190.67 c restart after 51201 decisions 193.24/193.33 c nbDecision=51500 #constraints=27718 196.54/196.70 c nbDecision=52000 #constraints=27982 198.64/198.78 c nbDecision=52500 #constraints=28099 202.04/202.10 c nbDecision=53000 #constraints=28345 204.84/204.93 c nbDecision=53500 #constraints=28562 207.84/207.93 c nbDecision=54000 #constraints=28778 211.24/211.30 c nbDecision=54500 #constraints=28991 214.63/214.75 c nbDecision=55000 #constraints=29224 217.74/217.89 c nbDecision=55500 #constraints=29417 221.13/221.22 c nbDecision=56000 #constraints=29615 223.83/224.00 c nbDecision=56500 #constraints=29765 227.93/228.08 c nbDecision=57000 #constraints=30014 230.33/230.43 c nbDecision=57500 #constraints=30170 233.63/233.75 c nbDecision=58000 #constraints=30404 236.23/236.30 c nbDecision=58500 #constraints=30542 239.33/239.45 c nbDecision=59000 #constraints=30751 242.43/242.55 c nbDecision=59500 #constraints=30928 245.62/245.76 c nbDecision=60000 #constraints=31096 248.62/248.76 c nbDecision=60500 #constraints=31250 251.52/251.62 c nbDecision=61000 #constraints=31430 254.72/254.85 c nbDecision=61500 #constraints=31595 257.32/257.43 c nbDecision=62000 #constraints=31729 260.63/260.71 c nbDecision=62500 #constraints=31881 263.62/263.78 c nbDecision=63000 #constraints=32114 266.12/266.23 c nbDecision=63500 #constraints=32264 268.92/269.09 c nbDecision=64000 #constraints=32396 271.52/271.63 c nbDecision=64500 #constraints=32586 274.12/274.29 c nbDecision=65000 #constraints=32782 276.61/276.74 c nbDecision=65500 #constraints=32874 279.01/279.17 c nbDecision=66000 #constraints=33091 283.52/283.70 c nbDecision=66500 #constraints=33351 286.52/286.63 c nbDecision=67000 #constraints=33584 290.12/290.26 c nbDecision=67500 #constraints=33810 294.01/294.20 c nbDecision=68000 #constraints=34007 298.81/298.99 c nbDecision=68500 #constraints=34231 302.81/302.97 c nbDecision=69000 #constraints=34414 307.51/307.69 c nbDecision=69500 #constraints=34645 311.01/311.12 c nbDecision=70000 #constraints=34798 315.61/315.71 c nbDecision=70500 #constraints=35014 319.70/319.83 c nbDecision=71000 #constraints=35204 323.31/323.42 c nbDecision=71500 #constraints=35362 327.11/327.24 c nbDecision=72000 #constraints=35573 330.70/330.84 c nbDecision=72500 #constraints=35776 334.01/334.16 c nbDecision=73000 #constraints=35985 338.10/338.21 c nbDecision=73500 #constraints=36172 341.70/341.87 c nbDecision=74000 #constraints=36366 345.50/345.60 c nbDecision=74500 #constraints=36557 348.61/348.71 c nbDecision=75000 #constraints=36678 351.91/352.03 c nbDecision=75500 #constraints=36808 355.50/355.65 c nbDecision=76000 #constraints=36955 359.10/359.20 c nbDecision=76500 #constraints=37096 362.69/362.84 c nbDecision=77000 #constraints=37275 365.99/366.12 c nbDecision=77500 #constraints=37430 368.89/369.08 c nbDecision=78000 #constraints=37538 371.99/372.11 c nbDecision=78500 #constraints=37682 374.49/374.62 c nbDecision=79000 #constraints=37784 379.29/379.41 c nbDecision=79500 #constraints=38059 382.99/383.14 c nbDecision=80000 #constraints=38212 387.09/387.27 c nbDecision=80500 #constraints=38453 391.39/391.53 c nbDecision=81000 #constraints=38625 396.78/397.00 c nbDecision=81500 #constraints=38847 400.88/401.02 c nbDecision=82000 #constraints=39004 405.39/405.57 c nbDecision=82500 #constraints=39185 409.38/409.57 c nbDecision=83000 #constraints=39377 413.48/413.66 c nbDecision=83500 #constraints=39526 418.27/418.41 c nbDecision=84000 #constraints=39761 422.68/422.82 c nbDecision=84500 #constraints=39928 426.48/426.62 c nbDecision=85000 #constraints=40106 430.67/430.84 c nbDecision=85500 #constraints=40255 434.97/435.10 c nbDecision=86000 #constraints=40408 438.98/439.19 c nbDecision=86500 #constraints=40553 443.18/443.31 c nbDecision=87000 #constraints=40695 447.48/447.60 c nbDecision=87500 #constraints=40846 450.67/450.86 c nbDecision=88000 #constraints=40955 453.87/454.05 c nbDecision=88500 #constraints=41058 456.87/457.03 c nbDecision=89000 #constraints=41148 460.36/460.59 c nbDecision=89500 #constraints=41262 463.67/463.81 c nbDecision=90000 #constraints=41396 469.57/469.78 c nbDecision=90500 #constraints=41635 474.27/474.46 c nbDecision=91000 #constraints=41800 480.06/480.20 c nbDecision=91500 #constraints=42014 484.36/484.52 c nbDecision=92000 #constraints=42204 488.66/488.84 c nbDecision=92500 #constraints=42356 493.77/493.91 c nbDecision=93000 #constraints=42577 497.76/497.93 c nbDecision=93500 #constraints=42762 502.95/503.13 c nbDecision=94000 #constraints=43017 508.05/508.29 c nbDecision=94500 #constraints=43189 512.16/512.32 c nbDecision=95000 #constraints=43317 517.05/517.21 c nbDecision=95500 #constraints=43486 521.75/521.92 c nbDecision=96000 #constraints=43671 526.75/526.97 c nbDecision=96500 #constraints=43831 531.06/531.22 c nbDecision=97000 #constraints=43963 534.85/535.06 c nbDecision=97500 #constraints=44080 539.24/539.40 c nbDecision=98000 #constraints=44252 542.94/543.15 c nbDecision=98500 #constraints=44406 547.04/547.27 c nbDecision=99000 #constraints=44523 550.34/550.59 c nbDecision=99500 #constraints=44658 553.54/553.79 c nbDecision=100000 #constraints=44742 558.14/558.38 c nbDecision=100500 #constraints=44944 563.24/563.44 c nbDecision=101000 #constraints=45160 567.94/568.11 c nbDecision=101500 #constraints=45379 573.33/573.51 c nbDecision=102000 #constraints=45598 576.63/576.87 c restart after 102401 decisions 579.93/580.16 c nbDecision=102500 #constraints=45775 595.73/595.95 c nbDecision=103000 #constraints=46084 605.43/605.66 c nbDecision=103500 #constraints=46370 611.02/611.25 c nbDecision=104000 #constraints=46587 620.13/620.35 c nbDecision=104500 #constraints=46802 636.32/636.54 c nbDecision=105000 #constraints=47109 644.92/645.18 c nbDecision=105500 #constraints=47381 650.72/650.95 c nbDecision=106000 #constraints=47554 666.51/666.79 c nbDecision=106500 #constraints=47820 676.70/676.91 c nbDecision=107000 #constraints=48096 682.51/682.71 c nbDecision=107500 #constraints=48321 689.01/689.29 c nbDecision=108000 #constraints=48589 702.90/703.12 c nbDecision=108500 #constraints=48899 710.50/710.78 c nbDecision=109000 #constraints=49131 716.79/717.04 c nbDecision=109500 #constraints=49322 726.79/727.06 c nbDecision=110000 #constraints=49543 737.39/737.69 c nbDecision=110500 #constraints=49815 744.39/744.69 c nbDecision=111000 #constraints=50036 749.89/750.17 c nbDecision=111500 #constraints=50195 762.78/763.05 c nbDecision=112000 #constraints=50483 770.08/770.38 c nbDecision=112500 #constraints=50708 776.58/776.82 c nbDecision=113000 #constraints=50868 787.58/787.85 c nbDecision=113500 #constraints=51121 795.08/795.40 c nbDecision=114000 #constraints=51352 802.37/802.68 c nbDecision=114500 #constraints=51520 813.37/813.63 c nbDecision=115000 #constraints=51835 820.17/820.43 c nbDecision=115500 #constraints=52089 827.06/827.33 c nbDecision=116000 #constraints=52291 837.37/837.62 c nbDecision=116500 #constraints=52562 844.26/844.55 c nbDecision=117000 #constraints=52765 853.86/854.19 c nbDecision=117500 #constraints=53000 861.15/861.45 c nbDecision=118000 #constraints=53220 867.76/868.08 c nbDecision=118500 #constraints=53423 877.15/877.50 c nbDecision=119000 #constraints=53688 883.05/883.32 c nbDecision=119500 #constraints=53850 892.55/892.85 c nbDecision=120000 #constraints=54125 900.15/900.43 c nbDecision=120500 #constraints=54347 906.84/907.18 c nbDecision=121000 #constraints=54557 915.64/915.90 c nbDecision=121500 #constraints=54808 921.45/921.73 c nbDecision=122000 #constraints=54954 929.94/930.22 c nbDecision=122500 #constraints=55199 935.04/935.33 c nbDecision=123000 #constraints=55326 942.63/942.95 c nbDecision=123500 #constraints=55545 948.03/948.35 c nbDecision=124000 #constraints=55728 955.73/956.01 c nbDecision=124500 #constraints=55937 961.33/961.67 c nbDecision=125000 #constraints=56124 969.33/969.61 c nbDecision=125500 #constraints=56349 975.33/975.65 c nbDecision=126000 #constraints=56500 982.22/982.52 c nbDecision=126500 #constraints=56734 988.22/988.53 c nbDecision=127000 #constraints=56889 994.12/994.41 c nbDecision=127500 #constraints=57085 1000.92/1001.20 c nbDecision=128000 #constraints=57269 1006.51/1006.89 c nbDecision=128500 #constraints=57449 1013.32/1013.66 c nbDecision=129000 #constraints=57629 1019.21/1019.54 c nbDecision=129500 #constraints=57783 1024.81/1025.18 c nbDecision=130000 #constraints=57926 1031.41/1031.77 c nbDecision=130500 #constraints=58094 1036.81/1037.14 c nbDecision=131000 #constraints=58224 1042.91/1043.28 c nbDecision=131500 #constraints=58377 1048.11/1048.49 c nbDecision=132000 #constraints=58535 1053.51/1053.87 c nbDecision=132500 #constraints=58670 1059.20/1059.57 c nbDecision=133000 #constraints=58851 1064.30/1064.63 c nbDecision=133500 #constraints=58970 1070.40/1070.76 c nbDecision=134000 #constraints=59108 1074.60/1074.94 c nbDecision=134500 #constraints=59238 1081.90/1082.20 c nbDecision=135000 #constraints=59385 1100.49/1100.85 c nbDecision=135500 #constraints=59671 1111.49/1111.82 c nbDecision=136000 #constraints=59934 1118.09/1118.45 c nbDecision=136500 #constraints=60147 1128.78/1129.10 c nbDecision=137000 #constraints=60306 1143.98/1144.33 c nbDecision=137500 #constraints=60594 1152.38/1152.78 c nbDecision=138000 #constraints=60813 1157.88/1158.29 c nbDecision=138500 #constraints=60942 1176.47/1176.81 c nbDecision=139000 #constraints=61252 1185.97/1186.38 c nbDecision=139500 #constraints=61495 1192.57/1192.92 c nbDecision=140000 #constraints=61694 1208.07/1208.46 c nbDecision=140500 #constraints=61960 1217.06/1217.46 c nbDecision=141000 #constraints=62226 1223.77/1224.11 c nbDecision=141500 #constraints=62410 1234.36/1234.73 c nbDecision=142000 #constraints=62622 1247.35/1247.79 c nbDecision=142500 #constraints=62912 1255.05/1255.47 c nbDecision=143000 #constraints=63175 1267.45/1267.87 c nbDecision=143500 #constraints=63394 1277.35/1277.77 c nbDecision=144000 #constraints=63672 1284.34/1284.79 c nbDecision=144500 #constraints=63844 1296.75/1297.11 c nbDecision=145000 #constraints=64079 1304.94/1305.36 c nbDecision=145500 #constraints=64321 1311.64/1312.03 c nbDecision=146000 #constraints=64469 1322.73/1323.19 c nbDecision=146500 #constraints=64694 1331.63/1332.04 c nbDecision=147000 #constraints=64949 1338.14/1338.56 c nbDecision=147500 #constraints=65085 1350.93/1351.30 c nbDecision=148000 #constraints=65368 1357.53/1357.91 c nbDecision=148500 #constraints=65638 1365.73/1366.12 c nbDecision=149000 #constraints=65835 1375.72/1376.19 c nbDecision=149500 #constraints=66061 1383.22/1383.64 c nbDecision=150000 #constraints=66235 1394.32/1394.79 c nbDecision=150500 #constraints=66485 1401.12/1401.55 c nbDecision=151000 #constraints=66643 1410.62/1411.08 c nbDecision=151500 #constraints=66853 1418.91/1419.32 c nbDecision=152000 #constraints=67084 1426.71/1427.18 c nbDecision=152500 #constraints=67251 1434.90/1435.33 c nbDecision=153000 #constraints=67443 1442.00/1442.48 c nbDecision=153500 #constraints=67596 1450.31/1450.80 c nbDecision=154000 #constraints=67836 1457.70/1458.16 c nbDecision=154500 #constraints=67993 1465.10/1465.51 c nbDecision=155000 #constraints=68207 1473.80/1474.23 c nbDecision=155500 #constraints=68401 1480.59/1481.04 c nbDecision=156000 #constraints=68555 1490.19/1490.67 c nbDecision=156500 #constraints=68777 1496.49/1496.97 c nbDecision=157000 #constraints=68918 1504.49/1504.90 c nbDecision=157500 #constraints=69094 1513.09/1513.52 c nbDecision=158000 #constraints=69287 1520.68/1521.10 c nbDecision=158500 #constraints=69455 1527.68/1528.11 c nbDecision=159000 #constraints=69645 1534.38/1534.85 c nbDecision=159500 #constraints=69826 1541.78/1542.27 c nbDecision=160000 #constraints=70035 1547.98/1548.47 c nbDecision=160500 #constraints=70205 1553.88/1554.32 c nbDecision=161000 #constraints=70364 1560.87/1561.32 c nbDecision=161500 #constraints=70512 1566.67/1567.17 c nbDecision=162000 #constraints=70666 1572.68/1573.12 c nbDecision=162500 #constraints=70786 1578.17/1578.63 c nbDecision=163000 #constraints=70934 1582.77/1583.30 c nbDecision=163500 #constraints=71024 1586.97/1587.48 c nbDecision=164000 #constraints=71146 1592.37/1592.82 c nbDecision=164500 #constraints=71246 1609.26/1609.74 c nbDecision=165000 #constraints=71505 1624.26/1624.74 c nbDecision=165500 #constraints=71798 1636.86/1637.34 c nbDecision=166000 #constraints=72073 1644.85/1645.33 c nbDecision=166500 #constraints=72236 1666.64/1667.11 c nbDecision=167000 #constraints=72546 1678.85/1679.37 c nbDecision=167500 #constraints=72805 1686.14/1686.62 c nbDecision=168000 #constraints=72951 1704.54/1705.04 c nbDecision=168500 #constraints=73246 1718.43/1718.91 c nbDecision=169000 #constraints=73515 1727.23/1727.78 c nbDecision=169500 #constraints=73707 1742.93/1743.47 c nbDecision=170000 #constraints=73931 1756.92/1757.46 c nbDecision=170500 #constraints=74214 1765.32/1765.85 c nbDecision=171000 #constraints=74388 1779.32/1779.85 c nbDecision=171500 #constraints=74598 1791.81/1792.34 c nbDecision=172000 #constraints=74837 1800.01/1800.50 Received signal 15 1800.01/1800.51 1800.01/1800.51 s UNKNOWN 1800.01/1800.51 1800.01/1800.51 c user time= 1799.41 s 1800.01/1800.51 c system time= 0.617906 s 1800.01/1800.51 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-356943-1176848953 -o ROOT/results/node21/solver-356943-1176848953 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356943-1176848953/instance-356943-1176848953.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.80 0.95 0.98 3/77 6272 /proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=1620 CPUtime=0 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132812603 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 405 166 126 317 0 84 0 [startup+0.082878 s] /proc/loadavg: 0.80 0.95 0.98 3/77 6272 /proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=2860 CPUtime=0.07 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 498 0 0 0 7 0 0 0 18 0 1 0 132812603 2928640 480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 715 480 131 317 0 394 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2860 [startup+0.101879 s] /proc/loadavg: 0.80 0.95 0.98 3/77 6272 /proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=3124 CPUtime=0.09 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 578 0 0 0 9 0 0 0 18 0 1 0 132812603 3198976 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 781 560 131 317 0 460 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3124 [startup+0.301902 s] /proc/loadavg: 0.80 0.95 0.98 3/77 6272 /proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=6220 CPUtime=0.29 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 1339 0 0 0 29 0 0 0 19 0 1 0 132812603 6369280 1321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385269 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 1555 1321 139 317 0 1234 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6220 [startup+0.701945 s] /proc/loadavg: 0.80 0.95 0.98 3/77 6272 /proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=7792 CPUtime=0.69 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 1714 0 0 0 69 0 0 0 23 0 1 0 132812603 7979008 1696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 1948 1696 139 317 0 1627 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7792 [startup+1.50103 s] /proc/loadavg: 0.80 0.95 0.98 2/78 6273 /proc/meminfo: memFree=1784560/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=9876 CPUtime=1.49 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 2238 0 0 0 148 1 0 0 25 0 1 0 132812603 10113024 2220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710772 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 2469 2220 139 317 0 2148 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9876 [startup+3.10121 s] /proc/loadavg: 0.80 0.95 0.98 2/78 6273 /proc/meminfo: memFree=1781552/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=13848 CPUtime=3.09 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 3243 0 0 0 308 1 0 0 25 0 1 0 132812603 14180352 3225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 3462 3225 139 317 0 3141 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13848 [startup+6.30156 s] /proc/loadavg: 0.81 0.95 0.98 2/78 6273 /proc/meminfo: memFree=1775600/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=18548 CPUtime=6.28 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 4379 0 0 0 626 2 0 0 25 0 1 0 132812603 18993152 4361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 4637 4361 170 317 0 4316 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18548 [startup+12.7023 s] /proc/loadavg: 0.83 0.95 0.98 2/78 6273 /proc/meminfo: memFree=1769712/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=24332 CPUtime=12.68 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 5687 0 0 0 1265 3 0 0 25 0 1 0 132812603 24915968 5669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 6083 5669 170 317 0 5762 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24332 [startup+25.5017 s] /proc/loadavg: 0.86 0.95 0.98 2/78 6273 /proc/meminfo: memFree=1762736/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=30944 CPUtime=25.48 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 7460 0 0 0 2543 5 0 0 25 0 1 0 132812603 31686656 7385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 7736 7385 170 317 0 7415 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30944 [startup+51.1014 s] /proc/loadavg: 0.91 0.96 0.98 2/78 6273 /proc/meminfo: memFree=1752048/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=42828 CPUtime=51.08 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 10139 0 0 0 5101 7 0 0 25 0 1 0 132812603 43855872 10064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 10707 10064 170 317 0 10386 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42828 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 6273 /proc/meminfo: memFree=1738864/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=55372 CPUtime=102.27 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 13476 0 0 0 10217 10 0 0 25 0 1 0 132812603 56700928 13288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 13843 13288 170 317 0 13522 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 55372 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1725872/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=72284 CPUtime=162.25 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 17683 0 0 0 16212 13 0 0 25 0 1 0 132812603 74018816 16571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 18071 16571 170 317 0 17750 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72284 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1712560/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=84468 CPUtime=222.23 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 21018 0 0 0 22208 15 0 0 25 0 1 0 132812603 86495232 19840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 21117 19840 170 317 0 20796 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 84468 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1699760/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=97000 CPUtime=282.22 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 24422 0 0 0 28203 19 0 0 25 0 1 0 132812603 99328000 22985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 24250 22985 170 317 0 23929 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 97000 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1688560/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=108060 CPUtime=342.2 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 27337 0 0 0 34198 22 0 0 25 0 1 0 132812603 110653440 25834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 27015 25834 170 317 0 26694 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 108060 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1678768/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=116936 CPUtime=402.18 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 29854 0 0 0 40194 24 0 0 25 0 1 0 132812603 119742464 28285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 29234 28285 170 317 0 28913 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 116936 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1669424/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=126100 CPUtime=462.17 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 32174 0 0 0 46189 28 0 0 25 0 1 0 132812603 129126400 30605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 31525 30605 170 317 0 31204 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 126100 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6273 /proc/meminfo: memFree=1659888/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=146932 CPUtime=522.15 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 37304 0 0 0 52183 32 0 0 25 0 1 0 132812603 150458368 33002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 36733 33002 170 317 0 36412 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 146932 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1652464/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=154364 CPUtime=582.13 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 39356 0 0 0 58179 34 0 0 25 0 1 0 132812603 158068736 34824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 38591 34824 170 317 0 38270 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 154364 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1648496/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=157520 CPUtime=642.13 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 40326 0 0 0 64177 36 0 0 25 0 1 0 132812603 161300480 35794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 39380 35794 170 317 0 39059 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 157520 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1631664/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=171580 CPUtime=882.05 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 44544 0 0 0 88164 41 0 0 25 0 1 0 132812603 175697920 40012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 42895 40012 170 317 0 42574 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 171580 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1627248/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=175656 CPUtime=942.03 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 45721 0 0 0 94160 43 0 0 25 0 1 0 132812603 179871744 41124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 43914 41124 170 317 0 43593 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 175656 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1622768/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=179744 CPUtime=1002.02 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 46905 0 0 0 100158 44 0 0 25 0 1 0 132812603 184057856 42243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 44936 42243 170 317 0 44615 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 179744 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1618608/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=183152 CPUtime=1062 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 47948 0 0 0 106154 46 0 0 25 0 1 0 132812603 187547648 43286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 45788 43286 170 317 0 45467 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 183152 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1615280/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=186172 CPUtime=1121.98 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 48840 0 0 0 112151 47 0 0 25 0 1 0 132812603 190640128 44113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 46543 44113 170 317 0 46222 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 186172 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1612144/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=189052 CPUtime=1181.98 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 49685 0 0 0 118149 49 0 0 25 0 1 0 132812603 193589248 44893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 47263 44893 170 317 0 46942 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 189052 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1608496/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=192060 CPUtime=1241.95 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 50591 0 0 0 124145 50 0 0 25 0 1 0 132812603 196669440 45799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 48015 45799 170 317 0 47694 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 192060 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1604912/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=195208 CPUtime=1301.95 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 51474 0 0 0 130143 52 0 0 25 0 1 0 132812603 199892992 46682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 48802 46682 170 317 0 48481 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 195208 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1601072/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=198616 CPUtime=1361.93 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 52496 0 0 0 136140 53 0 0 25 0 1 0 132812603 203382784 47639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 49654 47639 170 317 0 49333 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 198616 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1597488/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=203576 CPUtime=1421.91 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 53852 0 0 0 142137 54 0 0 25 0 1 0 132812603 208461824 48544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 50894 48544 170 317 0 50573 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 203576 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1593712/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=206988 CPUtime=1481.89 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 54860 0 0 0 148134 55 0 0 25 0 1 0 132812603 211955712 49487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 51747 49487 170 317 0 51426 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 206988 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1590128/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=210292 CPUtime=1541.88 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 55754 0 0 0 154131 57 0 0 25 0 1 0 132812603 215339008 50381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 52573 50381 170 317 0 52252 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 210292 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1586672/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=213480 CPUtime=1601.86 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 56630 0 0 0 160128 58 0 0 25 0 1 0 132812603 218603520 51257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 53370 51257 170 317 0 53049 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 213480 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1584240/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=215848 CPUtime=1661.84 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 57258 0 0 0 166125 59 0 0 25 0 1 0 132812603 221028352 51885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 53962 51885 170 317 0 53641 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 215848 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1581232/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=218344 CPUtime=1721.83 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58036 0 0 0 172123 60 0 0 25 0 1 0 132812603 223584256 52663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 54586 52663 170 317 0 54265 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 218344 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1578224/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=220712 CPUtime=1781.82 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58736 0 0 0 178121 61 0 0 25 0 1 0 132812603 226009088 53363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 55178 53363 170 317 0 54857 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 220712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 6275 /proc/meminfo: memFree=1577264/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=221500 CPUtime=1800.01 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58956 0 0 0 179940 61 0 0 25 0 1 0 132812603 226816000 53583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 55375 53583 170 317 0 55054 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 221500 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 6275 /proc/meminfo: memFree=1577264/2055920 swapFree=4157744/4192956 [pid=6272] ppid=6270 vsize=221500 CPUtime=1800.01 /proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58956 0 0 0 179940 61 0 0 25 0 1 0 132812603 226816000 53583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6272/statm: 55375 53583 170 317 0 55054 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 221500 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.08 CPU user time (s): 1799.43 CPU system time (s): 0.6519 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 221500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.6519 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58972 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= 37105 runsolver used 2.09668 second user time and 4.47632 second system time The end
Begin job on node21 on Tue Apr 17 22:29:13 UTC 2007 IDJOB= 356943 IDBENCH= 1667 IDSOLVER= 172 FILE ID= node21/356943-1176848953 PBS_JOBID= 4590232 Free space on /tmp= 66444 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-boeing1.opb COMMAND LINE= oree /tmp/evaluation/356943-1176848953/instance-356943-1176848953.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-356943-1176848953 -o ROOT/results/node21/solver-356943-1176848953 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356943-1176848953/instance-356943-1176848953.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ceb2e4b71eb9bdf9c63b27bfd911be00 RANDOM SEED= 810580695 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1792144 kB Buffers: 35940 kB Cached: 156384 kB SwapCached: 14328 kB Active: 84376 kB Inactive: 137340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792144 kB SwapTotal: 4192956 kB SwapFree: 4157744 kB Dirty: 2224 kB Writeback: 0 kB Mapped: 29668 kB Slab: 27544 kB Committed_AS: 997380 kB PageTables: 1784 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= 66444 MiB End job on node21 on Tue Apr 17 22:59:16 UTC 2007