Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -10639 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
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.29/0.38 c ...done 0.29/0.38 c #vars=11247 #constraints=13117 hasObjective=yes 0.39/0.44 c res. mode=mod 0.39/0.44 c VSIDS like heuristics 0.39/0.44 c complete search running 0.89/1.00 c restart after 401 decisions 1.09/1.14 c nbDecision=500 #constraints=13211 1.39/1.40 c restart after 801 decisions 1.59/1.60 c nbDecision=1000 #constraints=13264 1.99/2.06 c nbDecision=1500 #constraints=13332 2.09/2.17 c restart after 1601 decisions 2.49/2.59 c nbDecision=2000 #constraints=13414 3.09/3.12 c nbDecision=2500 #constraints=13519 3.69/3.70 c nbDecision=3000 #constraints=13636 3.89/3.98 c restart after 3201 decisions 4.39/4.43 c nbDecision=3500 #constraints=13758 4.99/5.07 c nbDecision=4000 #constraints=13853 5.69/5.70 c nbDecision=4500 #constraints=13982 6.29/6.37 c nbDecision=5000 #constraints=14121 6.89/6.91 c nbDecision=5500 #constraints=14255 7.29/7.38 c nbDecision=6000 #constraints=14334 7.79/7.85 c restart after 6401 decisions 7.99/8.05 c nbDecision=6500 #constraints=14449 8.88/8.92 c nbDecision=7000 #constraints=14592 9.58/9.62 c nbDecision=7500 #constraints=14716 10.18/10.29 c nbDecision=8000 #constraints=14811 10.89/10.94 c nbDecision=8500 #constraints=14892 11.48/11.54 c nbDecision=9000 #constraints=14997 12.09/12.13 c nbDecision=9500 #constraints=15103 12.78/12.87 c nbDecision=10000 #constraints=15215 13.48/13.57 c nbDecision=10500 #constraints=15333 14.28/14.31 c nbDecision=11000 #constraints=15433 14.88/14.97 c nbDecision=11500 #constraints=15536 15.58/15.63 c nbDecision=12000 #constraints=15674 16.09/16.20 c nbDecision=12500 #constraints=15778 16.59/16.65 c restart after 12801 decisions 16.89/16.97 c nbDecision=13000 #constraints=15902 17.39/17.48 c nbDecision=13500 #constraints=15969 17.99/18.06 c nbDecision=14000 #constraints=16077 18.69/18.73 c nbDecision=14500 #constraints=16189 19.09/19.14 c nbDecision=15000 #constraints=16240 19.59/19.64 c nbDecision=15500 #constraints=16349 20.09/20.13 c nbDecision=16000 #constraints=16411 20.49/20.56 c nbDecision=16500 #constraints=16469 21.19/21.20 c nbDecision=17000 #constraints=16550 22.09/22.13 c nbDecision=17500 #constraints=16695 22.58/22.60 c nbDecision=18000 #constraints=16746 22.99/23.05 c nbDecision=18500 #constraints=16787 23.58/23.64 c nbDecision=19000 #constraints=16853 24.19/24.21 c nbDecision=19500 #constraints=16928 24.78/24.84 c nbDecision=20000 #constraints=17004 25.48/25.50 c nbDecision=20500 #constraints=17087 26.18/26.21 c nbDecision=21000 #constraints=17161 26.78/26.87 c nbDecision=21500 #constraints=17258 27.39/27.42 c nbDecision=22000 #constraints=17316 27.98/28.01 c nbDecision=22500 #constraints=17379 28.88/28.94 c nbDecision=23000 #constraints=17525 29.78/29.88 c nbDecision=23500 #constraints=17667 30.88/30.90 c nbDecision=24000 #constraints=17793 31.79/31.89 c nbDecision=24500 #constraints=17905 32.68/32.77 c nbDecision=25000 #constraints=17980 33.68/33.75 c nbDecision=25500 #constraints=18100 33.78/33.87 c restart after 25601 decisions 34.98/35.05 c nbDecision=26000 #constraints=18204 36.38/36.44 c nbDecision=26500 #constraints=18299 37.98/38.00 c nbDecision=27000 #constraints=18403 39.18/39.21 c nbDecision=27500 #constraints=18520 40.08/40.14 c nbDecision=28000 #constraints=18684 41.08/41.12 c nbDecision=28500 #constraints=18840 41.68/41.75 c nbDecision=29000 #constraints=18910 42.57/42.63 c nbDecision=29500 #constraints=19038 43.57/43.63 c nbDecision=30000 #constraints=19203 44.37/44.40 c nbDecision=30500 #constraints=19301 45.57/45.65 c nbDecision=31000 #constraints=19500 46.37/46.46 c nbDecision=31500 #constraints=19605 47.37/47.45 c nbDecision=32000 #constraints=19747 48.47/48.57 c nbDecision=32500 #constraints=19897 49.07/49.16 c nbDecision=33000 #constraints=19944 50.07/50.10 c nbDecision=33500 #constraints=20107 50.67/50.75 c nbDecision=34000 #constraints=20169 51.67/51.72 c nbDecision=34500 #constraints=20263 52.57/52.69 c nbDecision=35000 #constraints=20333 53.47/53.58 c nbDecision=35500 #constraints=20391 54.87/54.92 c nbDecision=36000 #constraints=20527 55.98/56.02 c nbDecision=36500 #constraints=20624 57.08/57.17 c nbDecision=37000 #constraints=20724 58.57/58.62 c nbDecision=37500 #constraints=20846 59.38/59.41 c nbDecision=38000 #constraints=20890 60.27/60.32 c nbDecision=38500 #constraints=20965 62.07/62.13 c nbDecision=39000 #constraints=21140 63.57/63.66 c nbDecision=39500 #constraints=21273 64.67/64.70 c nbDecision=40000 #constraints=21350 66.07/66.18 c nbDecision=40500 #constraints=21459 66.87/66.96 c nbDecision=41000 #constraints=21508 68.67/68.77 c nbDecision=41500 #constraints=21655 70.17/70.29 c nbDecision=42000 #constraints=21770 71.87/72.00 c nbDecision=42500 #constraints=21911 73.86/73.92 c nbDecision=43000 #constraints=22075 75.56/75.64 c nbDecision=43500 #constraints=22210 77.06/77.19 c nbDecision=44000 #constraints=22319 78.56/78.63 c nbDecision=44500 #constraints=22405 79.57/79.63 c nbDecision=45000 #constraints=22459 81.07/81.14 c nbDecision=45500 #constraints=22553 82.67/82.79 c nbDecision=46000 #constraints=22663 84.37/84.47 c nbDecision=46500 #constraints=22777 86.16/86.25 c nbDecision=47000 #constraints=22898 88.36/88.45 c nbDecision=47500 #constraints=23040 90.17/90.20 c nbDecision=48000 #constraints=23149 92.16/92.20 c nbDecision=48500 #constraints=23267 93.96/94.00 c nbDecision=49000 #constraints=23370 95.76/95.83 c nbDecision=49500 #constraints=23474 98.16/98.25 c nbDecision=50000 #constraints=23610 99.96/100.07 c nbDecision=50500 #constraints=23702 103.15/103.22 c nbDecision=51000 #constraints=23879 104.05/104.19 c restart after 51201 decisions 105.46/105.50 c nbDecision=51500 #constraints=23951 107.85/107.91 c nbDecision=52000 #constraints=24016 110.75/110.90 c nbDecision=52500 #constraints=24092 114.65/114.70 c nbDecision=53000 #constraints=24193 120.66/120.70 c nbDecision=53500 #constraints=24344 126.55/126.62 c nbDecision=54000 #constraints=24485 136.25/136.33 c nbDecision=54500 #constraints=24710 146.65/146.75 c nbDecision=55000 #constraints=24926 152.04/152.12 c nbDecision=55500 #constraints=25036 158.44/158.57 c nbDecision=56000 #constraints=25168 166.84/166.95 c nbDecision=56500 #constraints=25332 174.43/174.59 c nbDecision=57000 #constraints=25477 181.34/181.46 c nbDecision=57500 #constraints=25614 185.44/185.55 c nbDecision=58000 #constraints=25715 191.44/191.52 c nbDecision=58500 #constraints=25860 196.63/196.74 c nbDecision=59000 #constraints=25982 203.13/203.28 c nbDecision=59500 #constraints=26115 206.92/207.02 c nbDecision=60000 #constraints=26231 212.52/212.64 c nbDecision=60500 #constraints=26362 220.43/220.58 c nbDecision=61000 #constraints=26519 224.13/224.30 c nbDecision=61500 #constraints=26624 229.93/230.06 c nbDecision=62000 #constraints=26756 237.92/238.05 c nbDecision=62500 #constraints=26907 247.02/247.19 c nbDecision=63000 #constraints=27075 255.12/255.28 c nbDecision=63500 #constraints=27225 262.81/262.97 c nbDecision=64000 #constraints=27380 269.81/269.92 c nbDecision=64500 #constraints=27501 277.91/278.03 c nbDecision=65000 #constraints=27630 287.80/287.97 c nbDecision=65500 #constraints=27795 296.60/296.73 c nbDecision=66000 #constraints=27933 303.80/303.91 c nbDecision=66500 #constraints=28052 312.89/313.00 c nbDecision=67000 #constraints=28194 319.70/319.80 c nbDecision=67500 #constraints=28303 329.90/330.09 c nbDecision=68000 #constraints=28465 339.59/339.73 c nbDecision=68500 #constraints=28628 349.79/349.93 c nbDecision=69000 #constraints=28779 358.18/358.38 c nbDecision=69500 #constraints=28903 368.78/368.98 c nbDecision=70000 #constraints=29059 378.77/378.98 c nbDecision=70500 #constraints=29201 387.67/387.86 c nbDecision=71000 #constraints=29334 395.37/395.56 c nbDecision=71500 #constraints=29449 405.07/405.27 c nbDecision=72000 #constraints=29586 415.37/415.51 c nbDecision=72500 #constraints=29733 420.47/420.63 c nbDecision=73000 #constraints=29811 430.56/430.75 c nbDecision=73500 #constraints=29950 441.96/442.19 c nbDecision=74000 #constraints=30108 449.76/449.91 c nbDecision=74500 #constraints=30219 453.25/453.42 c nbDecision=75000 #constraints=30281 457.95/458.13 c nbDecision=75500 #constraints=30365 466.05/466.24 c nbDecision=76000 #constraints=30488 477.85/478.09 c nbDecision=76500 #constraints=30670 490.25/490.44 c nbDecision=77000 #constraints=30848 498.94/499.10 c nbDecision=77500 #constraints=30989 509.54/509.75 c nbDecision=78000 #constraints=31133 515.93/516.19 c nbDecision=78500 #constraints=31228 527.73/527.96 c nbDecision=79000 #constraints=31385 539.33/539.57 c nbDecision=79500 #constraints=31542 548.03/548.25 c nbDecision=80000 #constraints=31660 555.83/556.03 c nbDecision=80500 #constraints=31765 561.52/561.71 c nbDecision=81000 #constraints=31843 569.42/569.70 c nbDecision=81500 #constraints=31951 580.41/580.60 c nbDecision=82000 #constraints=32075 588.11/588.34 c nbDecision=82500 #constraints=32177 598.71/598.94 c nbDecision=83000 #constraints=32299 606.10/606.37 c nbDecision=83500 #constraints=32395 618.60/618.83 c nbDecision=84000 #constraints=32546 630.70/630.99 c nbDecision=84500 #constraints=32687 639.80/640.02 c nbDecision=85000 #constraints=32801 647.30/647.54 c nbDecision=85500 #constraints=32902 651.90/652.16 c nbDecision=86000 #constraints=32970 657.50/657.71 c nbDecision=86500 #constraints=33044 663.59/663.87 c nbDecision=87000 #constraints=33133 675.79/676.03 c nbDecision=87500 #constraints=33265 690.58/690.82 c nbDecision=88000 #constraints=33431 703.38/703.68 c nbDecision=88500 #constraints=33565 707.08/707.33 c nbDecision=89000 #constraints=33628 714.38/714.63 c nbDecision=89500 #constraints=33727 723.58/723.86 c nbDecision=90000 #constraints=33847 729.08/729.36 c nbDecision=90500 #constraints=33912 741.07/741.37 c nbDecision=91000 #constraints=34056 750.06/750.37 c nbDecision=91500 #constraints=34157 757.86/758.19 c nbDecision=92000 #constraints=34258 774.65/774.93 c nbDecision=92500 #constraints=34457 792.05/792.30 c nbDecision=93000 #constraints=34654 805.34/805.64 c nbDecision=93500 #constraints=34808 817.45/817.77 c nbDecision=94000 #constraints=34950 829.24/829.52 c nbDecision=94500 #constraints=35083 841.54/841.80 c nbDecision=95000 #constraints=35221 859.13/859.48 c nbDecision=95500 #constraints=35411 873.72/874.01 c nbDecision=96000 #constraints=35557 884.02/884.35 c nbDecision=96500 #constraints=35715 888.22/888.57 c nbDecision=97000 #constraints=35808 893.32/893.65 c nbDecision=97500 #constraints=35920 900.22/900.50 c nbDecision=98000 #constraints=36022 909.82/910.14 c nbDecision=98500 #constraints=36150 917.61/917.97 c nbDecision=99000 #constraints=36283 924.51/924.88 c nbDecision=99500 #constraints=36406 927.02/927.37 c nbDecision=100000 #constraints=36460 928.61/928.99 c nbDecision=100500 #constraints=36503 931.81/932.17 c nbDecision=101000 #constraints=36564 935.31/935.64 c nbDecision=101500 #constraints=36624 940.31/940.67 c nbDecision=102000 #constraints=36714 952.40/952.71 c restart after 102401 decisions 954.00/954.39 c nbDecision=102500 #constraints=36864 956.10/956.41 c nbDecision=103000 #constraints=36908 959.70/960.03 c nbDecision=103500 #constraints=36971 961.10/961.45 c nbDecision=104000 #constraints=37023 962.30/962.64 c nbDecision=104500 #constraints=37071 965.20/965.56 c nbDecision=105000 #constraints=37128 967.50/967.84 c nbDecision=105500 #constraints=37195 970.20/970.51 c nbDecision=106000 #constraints=37258 973.80/974.19 c nbDecision=106500 #constraints=37322 975.20/975.58 c nbDecision=107000 #constraints=37382 978.60/978.94 c nbDecision=107500 #constraints=37453 980.69/981.06 c nbDecision=108000 #constraints=37508 982.39/982.73 c nbDecision=108500 #constraints=37562 988.79/989.19 c nbDecision=109000 #constraints=37644 995.29/995.69 c nbDecision=109500 #constraints=37731 998.19/998.58 c nbDecision=110000 #constraints=37798 1000.89/1001.28 c nbDecision=110500 #constraints=37842 1005.68/1006.02 c nbDecision=111000 #constraints=37916 1007.68/1008.05 c nbDecision=111500 #constraints=37974 1009.78/1010.15 c nbDecision=112000 #constraints=38015 1018.48/1018.85 c nbDecision=112500 #constraints=38119 1022.58/1022.91 c nbDecision=113000 #constraints=38187 1025.88/1026.26 c nbDecision=113500 #constraints=38246 1028.98/1029.31 c nbDecision=114000 #constraints=38295 1034.58/1034.91 c nbDecision=114500 #constraints=38370 1041.28/1041.63 c nbDecision=115000 #constraints=38459 1047.98/1048.35 c nbDecision=115500 #constraints=38549 1057.27/1057.68 c nbDecision=116000 #constraints=38665 1064.37/1064.71 c nbDecision=116500 #constraints=38757 1066.16/1066.57 c nbDecision=117000 #constraints=38800 1068.46/1068.85 c nbDecision=117500 #constraints=38847 1070.16/1070.58 c nbDecision=118000 #constraints=38924 1071.26/1071.61 c nbDecision=118500 #constraints=38966 1072.96/1073.32 c nbDecision=119000 #constraints=39026 1075.66/1076.04 c nbDecision=119500 #constraints=39132 1077.16/1077.58 c nbDecision=120000 #constraints=39172 1079.07/1079.43 c nbDecision=120500 #constraints=39248 1081.67/1082.06 c nbDecision=121000 #constraints=39360 1083.27/1083.61 c nbDecision=121500 #constraints=39414 1084.87/1085.27 c nbDecision=122000 #constraints=39469 1087.06/1087.43 c nbDecision=122500 #constraints=39544 1088.67/1089.07 c nbDecision=123000 #constraints=39594 1090.56/1090.98 c nbDecision=123500 #constraints=39653 1093.36/1093.70 c nbDecision=124000 #constraints=39707 1094.76/1095.19 c nbDecision=124500 #constraints=39748 1098.76/1099.17 c nbDecision=125000 #constraints=39811 1101.56/1101.98 c nbDecision=125500 #constraints=39853 1104.26/1104.60 c nbDecision=126000 #constraints=39911 1107.76/1108.12 c nbDecision=126500 #constraints=39969 1113.65/1114.06 c nbDecision=127000 #constraints=40049 1114.96/1115.30 c nbDecision=127500 #constraints=40081 1116.85/1117.27 c nbDecision=128000 #constraints=40122 1118.45/1118.86 c nbDecision=128500 #constraints=40153 1119.95/1120.34 c nbDecision=129000 #constraints=40189 1123.05/1123.41 c nbDecision=129500 #constraints=40242 1125.75/1126.19 c nbDecision=130000 #constraints=40285 1128.75/1129.18 c nbDecision=130500 #constraints=40335 1131.75/1132.18 c nbDecision=131000 #constraints=40381 1133.75/1134.14 c nbDecision=131500 #constraints=40429 1136.14/1136.51 c nbDecision=132000 #constraints=40471 1138.84/1139.25 c nbDecision=132500 #constraints=40521 1142.95/1143.35 c nbDecision=133000 #constraints=40577 1150.85/1151.27 c nbDecision=133500 #constraints=40667 1152.85/1153.24 c nbDecision=134000 #constraints=40706 1156.65/1157.03 c nbDecision=134500 #constraints=40752 1159.74/1160.15 c nbDecision=135000 #constraints=40802 1161.84/1162.20 c nbDecision=135500 #constraints=40841 1166.65/1167.09 c nbDecision=136000 #constraints=40910 1169.54/1169.96 c nbDecision=136500 #constraints=40954 1171.34/1171.77 c nbDecision=137000 #constraints=40990 1173.84/1174.28 c nbDecision=137500 #constraints=41035 1181.94/1182.34 c nbDecision=138000 #constraints=41124 1186.13/1186.51 c nbDecision=138500 #constraints=41176 1198.23/1198.63 c nbDecision=139000 #constraints=41292 1205.13/1205.54 c nbDecision=139500 #constraints=41370 1210.02/1210.48 c nbDecision=140000 #constraints=41432 1217.02/1217.46 c nbDecision=140500 #constraints=41512 1222.20/1222.63 c nbDecision=141000 #constraints=41579 1226.49/1226.98 c nbDecision=141500 #constraints=41636 1235.87/1236.39 c nbDecision=142000 #constraints=41720 1240.65/1241.13 c nbDecision=142500 #constraints=41777 1248.13/1248.63 c nbDecision=143000 #constraints=41850 1254.72/1255.25 c nbDecision=143500 #constraints=41925 1258.42/1258.90 c nbDecision=144000 #constraints=41973 1264.81/1265.39 c nbDecision=144500 #constraints=42050 1270.51/1271.08 c nbDecision=145000 #constraints=42123 1274.20/1274.79 c nbDecision=145500 #constraints=42177 1278.09/1278.67 c nbDecision=146000 #constraints=42223 1283.39/1283.95 c nbDecision=146500 #constraints=42288 1286.19/1286.79 c nbDecision=147000 #constraints=42335 1288.09/1288.64 c nbDecision=147500 #constraints=42373 1290.69/1291.29 c nbDecision=148000 #constraints=42418 1300.28/1300.89 c nbDecision=148500 #constraints=42522 1311.38/1311.99 c nbDecision=149000 #constraints=42631 1315.38/1315.98 c nbDecision=149500 #constraints=42693 1318.59/1319.16 c nbDecision=150000 #constraints=42743 1320.09/1320.68 c nbDecision=150500 #constraints=42774 1325.19/1325.78 c nbDecision=151000 #constraints=42836 1331.68/1332.28 c nbDecision=151500 #constraints=42905 1339.98/1340.50 c nbDecision=152000 #constraints=42997 1342.38/1342.99 c nbDecision=152500 #constraints=43029 1348.48/1349.02 c nbDecision=153000 #constraints=43096 1350.98/1351.57 c nbDecision=153500 #constraints=43133 1356.07/1356.61 c nbDecision=154000 #constraints=43190 1364.97/1365.56 c nbDecision=154500 #constraints=43275 1367.97/1368.52 c nbDecision=155000 #constraints=43321 1369.77/1370.31 c nbDecision=155500 #constraints=43356 1371.37/1371.99 c nbDecision=156000 #constraints=43383 1373.77/1374.37 c nbDecision=156500 #constraints=43423 1376.87/1377.43 c nbDecision=157000 #constraints=43466 1383.06/1383.69 c nbDecision=157500 #constraints=43534 1397.06/1397.69 c nbDecision=158000 #constraints=43654 1414.95/1415.57 c nbDecision=158500 #constraints=43813 1420.25/1420.83 c nbDecision=159000 #constraints=43870 1426.35/1426.98 c nbDecision=159500 #constraints=43930 1434.45/1435.06 c nbDecision=160000 #constraints=44013 1441.25/1441.85 c nbDecision=160500 #constraints=44084 1446.35/1446.92 c nbDecision=161000 #constraints=44142 1451.74/1452.32 c nbDecision=161500 #constraints=44208 1458.05/1458.65 c nbDecision=162000 #constraints=44279 1468.04/1468.65 c nbDecision=162500 #constraints=44374 1474.03/1474.60 c nbDecision=163000 #constraints=44441 1482.23/1482.88 c nbDecision=163500 #constraints=44529 1494.64/1495.21 c nbDecision=164000 #constraints=44640 1506.03/1506.69 c nbDecision=164500 #constraints=44734 1513.93/1514.50 c nbDecision=165000 #constraints=44815 1521.02/1521.69 c nbDecision=165500 #constraints=44882 1526.92/1527.58 c nbDecision=166000 #constraints=44944 1534.93/1535.58 c nbDecision=166500 #constraints=45023 1548.02/1548.66 c nbDecision=167000 #constraints=45129 1556.01/1556.63 c nbDecision=167500 #constraints=45197 1568.91/1569.59 c nbDecision=168000 #constraints=45309 1576.60/1577.27 c nbDecision=168500 #constraints=45386 1590.00/1590.60 c nbDecision=169000 #constraints=45500 1600.30/1600.95 c nbDecision=169500 #constraints=45585 1613.80/1614.49 c nbDecision=170000 #constraints=45701 1622.20/1622.89 c nbDecision=170500 #constraints=45784 1630.89/1631.54 c nbDecision=171000 #constraints=45867 1650.39/1651.04 c nbDecision=171500 #constraints=46019 1657.78/1658.41 c nbDecision=172000 #constraints=46089 1667.28/1667.92 c nbDecision=172500 #constraints=46177 1677.28/1677.96 c nbDecision=173000 #constraints=46261 1690.67/1691.33 c nbDecision=173500 #constraints=46371 1701.77/1702.41 c nbDecision=174000 #constraints=46463 1706.77/1707.41 c nbDecision=174500 #constraints=46515 1712.07/1712.72 c nbDecision=175000 #constraints=46571 1719.77/1720.49 c nbDecision=175500 #constraints=46644 1728.07/1728.77 c nbDecision=176000 #constraints=46724 1736.36/1737.03 c nbDecision=176500 #constraints=46805 1754.05/1754.71 c nbDecision=177000 #constraints=46957 1755.65/1756.33 c nbDecision=177500 #constraints=46990 1757.65/1758.34 c nbDecision=178000 #constraints=47034 1759.26/1760.00 c nbDecision=178500 #constraints=47062 1766.26/1766.91 c nbDecision=179000 #constraints=47134 1780.05/1780.73 c nbDecision=179500 #constraints=47244 1782.05/1782.73 c nbDecision=180000 #constraints=47276 1788.15/1788.81 c nbDecision=180500 #constraints=47338 1791.85/1792.54 c nbDecision=181000 #constraints=47385 1795.84/1796.55 c nbDecision=181500 #constraints=47427 1800.05/1800.70 Received signal 15 1800.05/1800.70 1800.05/1800.70 s UNKNOWN 1800.05/1800.70 1800.05/1800.71 c user time= 1799.78 s 1800.05/1800.71 c system time= 0.275958 s 1800.05/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-357059-1176853244 -o ROOT/results/node6/solver-357059-1176853244 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357059-1176853244/instance-357059-1176853244.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.92 3/77 22864 /proc/meminfo: memFree=1749688/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=1468 CPUtime=0 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 169 0 0 0 0 0 0 0 19 0 1 0 161362040 1503232 151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134989959 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 367 151 126 317 0 46 0 [startup+0.0732309 s] /proc/loadavg: 0.91 0.95 0.92 3/77 22864 /proc/meminfo: memFree=1749688/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=3208 CPUtime=0.06 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 613 0 0 0 6 0 0 0 19 0 1 0 161362040 3284992 595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 802 596 131 317 0 481 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3208 [startup+0.101234 s] /proc/loadavg: 0.91 0.95 0.92 3/77 22864 /proc/meminfo: memFree=1749688/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=3736 CPUtime=0.09 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 752 0 0 0 9 0 0 0 19 0 1 0 161362040 3825664 734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 934 734 131 317 0 613 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3736 [startup+0.301258 s] /proc/loadavg: 0.91 0.95 0.92 3/77 22864 /proc/meminfo: memFree=1749688/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=7564 CPUtime=0.29 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 1697 0 0 0 29 0 0 0 20 0 1 0 161362040 7745536 1679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 1891 1679 131 317 0 1570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7564 [startup+0.701305 s] /proc/loadavg: 0.91 0.95 0.92 3/77 22864 /proc/meminfo: memFree=1749688/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=13228 CPUtime=0.69 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 3140 0 0 0 68 1 0 0 24 0 1 0 161362040 13545472 3032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 3307 3032 139 317 0 2986 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13228 [startup+1.5014 s] /proc/loadavg: 0.91 0.95 0.92 2/78 22865 /proc/meminfo: memFree=1737840/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=13228 CPUtime=1.49 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 3140 0 0 0 148 1 0 0 25 0 1 0 161362040 13545472 3032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 3307 3032 139 317 0 2986 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13228 [startup+3.10159 s] /proc/loadavg: 0.91 0.95 0.92 2/78 22865 /proc/meminfo: memFree=1737712/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=13228 CPUtime=3.09 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 3142 0 0 0 308 1 0 0 25 0 1 0 161362040 13545472 3034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 3307 3034 139 317 0 2986 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13228 [startup+6.30196 s] /proc/loadavg: 0.92 0.95 0.92 2/78 22865 /proc/meminfo: memFree=1737456/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=13748 CPUtime=6.29 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 3262 0 0 0 628 1 0 0 25 0 1 0 161362040 14077952 3154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 3437 3154 139 317 0 3116 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13748 [startup+12.7027 s] /proc/loadavg: 0.93 0.95 0.92 2/78 22865 /proc/meminfo: memFree=1736432/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=14536 CPUtime=12.68 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 3480 0 0 0 1267 1 0 0 25 0 1 0 161362040 14884864 3372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 3634 3372 139 317 0 3313 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14536 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.92 2/78 22865 /proc/meminfo: memFree=1734448/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=16504 CPUtime=25.48 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 3999 0 0 0 2546 2 0 0 25 0 1 0 161362040 16900096 3891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 4126 3891 170 317 0 3805 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16504 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.92 2/78 22865 /proc/meminfo: memFree=1731632/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=19272 CPUtime=51.07 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 4702 0 0 0 5105 2 0 0 25 0 1 0 161362040 19734528 4594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716129 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 4818 4594 170 317 0 4497 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19272 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.92 2/78 22865 /proc/meminfo: memFree=1725936/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=25028 CPUtime=102.26 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 6114 0 0 0 10222 4 0 0 25 0 1 0 161362040 25628672 6006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 6257 6006 170 317 0 5936 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25028 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1724080/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=26752 CPUtime=162.24 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 6570 0 0 0 16219 5 0 0 25 0 1 0 161362040 27394048 6462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 6688 6462 170 317 0 6367 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 26752 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1721648/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=29720 CPUtime=222.23 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 7310 0 0 0 22216 7 0 0 25 0 1 0 161362040 30433280 7022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 7430 7022 170 317 0 7109 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29720 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1720240/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=31408 CPUtime=282.2 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 7699 0 0 0 28213 7 0 0 25 0 1 0 161362040 32161792 7411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 7852 7411 170 317 0 7531 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31408 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1718896/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=32744 CPUtime=342.19 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 8021 0 0 0 34211 8 0 0 25 0 1 0 161362040 33529856 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 8186 7733 170 317 0 7865 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 32744 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1717744/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=33964 CPUtime=402.17 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 8318 0 0 0 40208 9 0 0 25 0 1 0 161362040 34779136 8030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 8491 8030 170 317 0 8170 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33964 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1716464/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=35136 CPUtime=462.15 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 8617 0 0 0 46206 9 0 0 25 0 1 0 161362040 35979264 8329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 8784 8329 170 317 0 8463 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35136 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1715440/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=36232 CPUtime=522.13 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 8888 0 0 0 52203 10 0 0 25 0 1 0 161362040 37101568 8600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 9058 8600 170 317 0 8737 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 36232 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1714416/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=37164 CPUtime=582.11 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 9123 0 0 0 58200 11 0 0 25 0 1 0 161362040 38055936 8835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 9291 8835 170 317 0 8970 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 37164 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1713520/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=38096 CPUtime=642.1 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 9375 0 0 0 64198 12 0 0 25 0 1 0 161362040 39010304 9054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 9524 9054 170 317 0 9203 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 38096 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1710064/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=41764 CPUtime=882.02 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 10259 0 0 0 88188 14 0 0 25 0 1 0 161362040 42766336 9938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 10441 9938 170 317 0 10120 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 41764 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1708272/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=43628 CPUtime=942 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 10690 0 0 0 94185 15 0 0 25 0 1 0 161362040 44675072 10369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 10907 10369 170 317 0 10586 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 43628 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1706864/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=45084 CPUtime=1001.99 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 11052 0 0 0 100183 16 0 0 25 0 1 0 161362040 46166016 10731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 11271 10731 170 317 0 10950 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 45084 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1705776/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=46024 CPUtime=1061.97 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 11308 0 0 0 106180 17 0 0 25 0 1 0 161362040 47128576 10987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 11506 10987 170 317 0 11185 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 46024 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1704112/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=47776 CPUtime=1121.95 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 11739 0 0 0 112177 18 0 0 25 0 1 0 161362040 48922624 11418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 11944 11418 170 317 0 11623 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 47776 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 22865 /proc/meminfo: memFree=1702768/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=49396 CPUtime=1181.94 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 12062 0 0 0 118175 19 0 0 25 0 1 0 161362040 50581504 11741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 12349 11741 170 317 0 12028 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 49396 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/84 23003 /proc/meminfo: memFree=1700672/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=50200 CPUtime=1241.85 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 12272 0 0 0 124164 21 0 0 25 0 1 0 161362040 51404800 11951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 12550 11951 170 317 0 12229 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 50200 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1700848/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=51336 CPUtime=1301.79 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 12504 0 0 0 130158 21 0 0 25 0 1 0 161362040 52568064 12183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 12834 12183 170 317 0 12513 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 51336 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1699952/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=52128 CPUtime=1361.77 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 12738 0 0 0 136155 22 0 0 25 0 1 0 161362040 53379072 12417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 13032 12417 170 317 0 12711 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 52128 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1699056/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=53044 CPUtime=1421.75 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 12941 0 0 0 142153 22 0 0 25 0 1 0 161362040 54317056 12620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 13261 12620 170 317 0 12940 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 53044 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1698352/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=53948 CPUtime=1481.73 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 13133 0 0 0 148150 23 0 0 25 0 1 0 161362040 55242752 12812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 13487 12812 170 317 0 13166 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 53948 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1697712/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=54468 CPUtime=1541.72 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 13285 0 0 0 154148 24 0 0 25 0 1 0 161362040 55775232 12964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 13617 12964 170 317 0 13296 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 54468 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1697072/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=55128 CPUtime=1601.7 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 13437 0 0 0 160145 25 0 0 25 0 1 0 161362040 56451072 13116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 13782 13116 170 317 0 13461 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 55128 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1696560/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=55720 CPUtime=1661.68 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 13583 0 0 0 166143 25 0 0 25 0 1 0 161362040 57057280 13262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 13930 13262 170 317 0 13609 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 55720 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1695984/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=56408 CPUtime=1721.67 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 13751 0 0 0 172141 26 0 0 25 0 1 0 161362040 57761792 13430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 14102 13430 170 317 0 13781 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 56408 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1695152/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=57200 CPUtime=1781.65 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 13938 0 0 0 178138 27 0 0 25 0 1 0 161362040 58572800 13617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 14300 13617 170 317 0 13979 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 57200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1694896/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=57456 CPUtime=1800.05 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 14001 0 0 0 179978 27 0 0 25 0 1 0 161362040 58834944 13680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 14364 13680 170 317 0 14043 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 57456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.92 2/78 23063 /proc/meminfo: memFree=1694896/2055924 swapFree=4139584/4192956 [pid=22864] ppid=22862 vsize=57456 CPUtime=1800.05 /proc/22864/stat : 22864 (oree) R 22862 22864 22193 0 -1 4194304 14001 0 0 0 179978 27 0 0 25 0 1 0 161362040 58834944 13680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22864/statm: 14364 13680 170 317 0 14043 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 57456 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.08 CPU user time (s): 1799.79 CPU system time (s): 0.286956 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 57456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.286956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14017 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= 7 involuntary context switches= 3625 runsolver used 2.09068 second user time and 4.47932 second system time The end
Begin job on node6 on Tue Apr 17 23:40:44 UTC 2007 IDJOB= 357059 IDBENCH= 1875 IDSOLVER= 172 FILE ID= node6/357059-1176853244 PBS_JOBID= 4590188 Free space on /tmp= 66451 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= oree /tmp/evaluation/357059-1176853244/instance-357059-1176853244.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-357059-1176853244 -o ROOT/results/node6/solver-357059-1176853244 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357059-1176853244/instance-357059-1176853244.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 293598691 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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: 2055924 kB MemFree: 1750096 kB Buffers: 39304 kB Cached: 192744 kB SwapCached: 21524 kB Active: 82484 kB Inactive: 181468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1750096 kB SwapTotal: 4192956 kB SwapFree: 4139584 kB Dirty: 2620 kB Writeback: 0 kB Mapped: 31068 kB Slab: 27468 kB Committed_AS: 6841280 kB PageTables: 1788 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= 66451 MiB End job on node6 on Wed Apr 18 00:10:47 UTC 2007