Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10270 |
Best CPU time to get the best result obtained on this benchmark | 1022.91 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10270 |
Optimality of the best value was proved | YES |
Number of variables | 12596 |
Total number of constraints | 10687 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 5680 |
Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
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.39/0.43 c ...done 0.39/0.43 c #vars=12596 #constraints=15190 hasObjective=yes 0.39/0.49 c res. mode=mod 0.39/0.49 c VSIDS like heuristics 0.39/0.49 c complete search running 1.09/1.19 c restart after 401 decisions 1.29/1.30 c nbDecision=500 #constraints=15298 1.99/2.03 c restart after 801 decisions 2.39/2.46 c nbDecision=1000 #constraints=15442 3.09/3.19 c nbDecision=1500 #constraints=15518 3.29/3.33 c restart after 1601 decisions 3.89/3.98 c nbDecision=2000 #constraints=15607 4.69/4.73 c nbDecision=2500 #constraints=15686 5.59/5.65 c nbDecision=3000 #constraints=15789 5.89/5.91 c restart after 3201 decisions 6.39/6.48 c nbDecision=3500 #constraints=15869 7.39/7.41 c nbDecision=4000 #constraints=15969 8.09/8.11 c nbDecision=4500 #constraints=16025 9.19/9.29 c nbDecision=5000 #constraints=16158 10.09/10.13 c nbDecision=5500 #constraints=16245 10.89/10.95 c nbDecision=6000 #constraints=16323 11.49/11.58 c restart after 6401 decisions 11.69/11.75 c nbDecision=6500 #constraints=16383 12.69/12.78 c nbDecision=7000 #constraints=16488 13.38/13.45 c nbDecision=7500 #constraints=16558 14.29/14.34 c nbDecision=8000 #constraints=16643 15.08/15.11 c nbDecision=8500 #constraints=16706 15.68/15.72 c nbDecision=9000 #constraints=16754 16.59/16.66 c nbDecision=9500 #constraints=16844 17.19/17.29 c nbDecision=10000 #constraints=16896 17.89/17.96 c nbDecision=10500 #constraints=16951 18.69/18.73 c nbDecision=11000 #constraints=17002 19.99/20.00 c nbDecision=11500 #constraints=17102 20.79/20.85 c nbDecision=12000 #constraints=17170 21.69/21.75 c nbDecision=12500 #constraints=17234 22.39/22.43 c restart after 12801 decisions 23.09/23.16 c nbDecision=13000 #constraints=17344 24.09/24.20 c nbDecision=13500 #constraints=17421 25.09/25.18 c nbDecision=14000 #constraints=17489 26.29/26.33 c nbDecision=14500 #constraints=17569 27.09/27.16 c nbDecision=15000 #constraints=17622 27.99/28.02 c nbDecision=15500 #constraints=17673 29.08/29.11 c nbDecision=16000 #constraints=17767 29.88/29.97 c nbDecision=16500 #constraints=17826 30.88/30.99 c nbDecision=17000 #constraints=17884 31.98/32.03 c nbDecision=17500 #constraints=17947 33.38/33.45 c nbDecision=18000 #constraints=18056 34.28/34.39 c nbDecision=18500 #constraints=18125 35.18/35.28 c nbDecision=19000 #constraints=18172 36.78/36.80 c nbDecision=19500 #constraints=18281 37.78/37.83 c nbDecision=20000 #constraints=18362 39.68/39.79 c nbDecision=20500 #constraints=18468 41.48/41.52 c nbDecision=21000 #constraints=18573 42.68/42.77 c nbDecision=21500 #constraints=18651 44.48/44.53 c nbDecision=22000 #constraints=18748 45.58/45.60 c nbDecision=22500 #constraints=18807 46.78/46.85 c nbDecision=23000 #constraints=18873 47.78/47.84 c nbDecision=23500 #constraints=18926 49.18/49.23 c nbDecision=24000 #constraints=19026 50.38/50.45 c nbDecision=24500 #constraints=19102 51.18/51.25 c nbDecision=25000 #constraints=19154 53.27/53.39 c nbDecision=25500 #constraints=19252 53.67/53.75 c restart after 25601 decisions 54.98/55.07 c nbDecision=26000 #constraints=19335 55.98/56.08 c nbDecision=26500 #constraints=19388 56.77/56.86 c nbDecision=27000 #constraints=19434 57.67/57.71 c nbDecision=27500 #constraints=19481 58.77/58.86 c nbDecision=28000 #constraints=19544 59.67/59.72 c nbDecision=28500 #constraints=19586 60.97/61.00 c nbDecision=29000 #constraints=19649 62.58/62.69 c nbDecision=29500 #constraints=19756 63.68/63.78 c nbDecision=30000 #constraints=19822 64.68/64.71 c nbDecision=30500 #constraints=19866 65.48/65.54 c nbDecision=31000 #constraints=19904 67.48/67.50 c nbDecision=31500 #constraints=19964 68.78/68.85 c nbDecision=32000 #constraints=20051 69.58/69.63 c nbDecision=32500 #constraints=20090 70.88/70.91 c nbDecision=33000 #constraints=20136 72.78/72.80 c nbDecision=33500 #constraints=20228 73.68/73.73 c nbDecision=34000 #constraints=20267 75.38/75.45 c nbDecision=34500 #constraints=20362 76.67/76.79 c nbDecision=35000 #constraints=20419 78.67/78.73 c nbDecision=35500 #constraints=20520 79.87/79.98 c nbDecision=36000 #constraints=20573 81.97/82.02 c nbDecision=36500 #constraints=20669 83.07/83.16 c nbDecision=37000 #constraints=20720 84.17/84.21 c nbDecision=37500 #constraints=20765 85.57/85.67 c nbDecision=38000 #constraints=20825 86.67/86.73 c nbDecision=38500 #constraints=20864 88.67/88.78 c nbDecision=39000 #constraints=20972 90.07/90.16 c nbDecision=39500 #constraints=21038 91.57/91.64 c nbDecision=40000 #constraints=21146 92.86/92.95 c nbDecision=40500 #constraints=21250 94.47/94.50 c nbDecision=41000 #constraints=21364 95.26/95.37 c nbDecision=41500 #constraints=21432 97.46/97.53 c nbDecision=42000 #constraints=21557 98.86/98.95 c nbDecision=42500 #constraints=21646 100.36/100.47 c nbDecision=43000 #constraints=21732 101.76/101.83 c nbDecision=43500 #constraints=21812 102.66/102.78 c nbDecision=44000 #constraints=21866 104.86/105.00 c nbDecision=44500 #constraints=21965 106.17/106.26 c nbDecision=45000 #constraints=22035 109.27/109.36 c nbDecision=45500 #constraints=22160 111.27/111.32 c nbDecision=46000 #constraints=22259 112.67/112.78 c nbDecision=46500 #constraints=22334 115.37/115.42 c nbDecision=47000 #constraints=22450 117.26/117.34 c nbDecision=47500 #constraints=22550 118.77/118.81 c nbDecision=48000 #constraints=22625 120.46/120.60 c nbDecision=48500 #constraints=22740 122.06/122.11 c nbDecision=49000 #constraints=22820 123.06/123.18 c nbDecision=49500 #constraints=22883 123.96/124.06 c nbDecision=50000 #constraints=22939 127.76/127.84 c nbDecision=50500 #constraints=23042 130.06/130.16 c nbDecision=51000 #constraints=23122 132.66/132.76 c restart after 51201 decisions 135.56/135.68 c nbDecision=51500 #constraints=23302 138.75/138.88 c nbDecision=52000 #constraints=23428 141.35/141.42 c nbDecision=52500 #constraints=23546 143.75/143.81 c nbDecision=53000 #constraints=23664 146.16/146.21 c nbDecision=53500 #constraints=23783 148.05/148.14 c nbDecision=54000 #constraints=23906 149.35/149.47 c nbDecision=54500 #constraints=23983 150.75/150.86 c nbDecision=55000 #constraints=24099 153.35/153.40 c nbDecision=55500 #constraints=24202 155.35/155.41 c nbDecision=56000 #constraints=24281 158.55/158.64 c nbDecision=56500 #constraints=24400 161.24/161.38 c nbDecision=57000 #constraints=24518 162.54/162.63 c nbDecision=57500 #constraints=24580 163.64/163.70 c nbDecision=58000 #constraints=24651 167.05/167.10 c nbDecision=58500 #constraints=24760 169.94/170.06 c nbDecision=59000 #constraints=24833 174.04/174.10 c nbDecision=59500 #constraints=24943 177.35/177.46 c nbDecision=60000 #constraints=25064 179.75/179.85 c nbDecision=60500 #constraints=25142 181.25/181.33 c nbDecision=61000 #constraints=25198 184.75/184.81 c nbDecision=61500 #constraints=25309 188.74/188.90 c nbDecision=62000 #constraints=25416 192.24/192.35 c nbDecision=62500 #constraints=25507 195.54/195.65 c nbDecision=63000 #constraints=25582 197.74/197.84 c nbDecision=63500 #constraints=25649 200.24/200.38 c nbDecision=64000 #constraints=25754 202.74/202.82 c nbDecision=64500 #constraints=25829 204.54/204.62 c nbDecision=65000 #constraints=25876 206.44/206.57 c nbDecision=65500 #constraints=25924 209.14/209.27 c nbDecision=66000 #constraints=25994 214.94/215.06 c nbDecision=66500 #constraints=26138 219.23/219.37 c nbDecision=67000 #constraints=26223 222.43/222.58 c nbDecision=67500 #constraints=26311 224.63/224.75 c nbDecision=68000 #constraints=26369 231.43/231.57 c nbDecision=68500 #constraints=26497 234.03/234.14 c nbDecision=69000 #constraints=26566 239.82/239.94 c nbDecision=69500 #constraints=26691 243.83/243.98 c nbDecision=70000 #constraints=26781 246.03/246.13 c nbDecision=70500 #constraints=26836 250.83/250.91 c nbDecision=71000 #constraints=26994 253.83/253.98 c nbDecision=71500 #constraints=27119 256.53/256.69 c nbDecision=72000 #constraints=27224 258.23/258.30 c nbDecision=72500 #constraints=27288 262.43/262.50 c nbDecision=73000 #constraints=27422 265.03/265.13 c nbDecision=73500 #constraints=27527 267.32/267.42 c nbDecision=74000 #constraints=27599 269.62/269.75 c nbDecision=74500 #constraints=27684 274.12/274.22 c nbDecision=75000 #constraints=27777 281.92/282.10 c nbDecision=75500 #constraints=27899 285.21/285.36 c nbDecision=76000 #constraints=27981 289.01/289.16 c nbDecision=76500 #constraints=28091 295.61/295.71 c nbDecision=77000 #constraints=28176 302.31/302.41 c nbDecision=77500 #constraints=28283 309.11/309.27 c nbDecision=78000 #constraints=28414 311.81/311.99 c nbDecision=78500 #constraints=28512 313.80/313.95 c nbDecision=79000 #constraints=28579 326.70/326.88 c nbDecision=79500 #constraints=28696 333.81/333.94 c nbDecision=80000 #constraints=28827 337.31/337.44 c nbDecision=80500 #constraints=28928 343.90/344.03 c nbDecision=81000 #constraints=29079 347.80/347.99 c nbDecision=81500 #constraints=29172 353.30/353.49 c nbDecision=82000 #constraints=29282 357.40/357.57 c nbDecision=82500 #constraints=29390 360.50/360.69 c nbDecision=83000 #constraints=29508 364.00/364.19 c nbDecision=83500 #constraints=29627 371.40/371.55 c nbDecision=84000 #constraints=29719 376.59/376.75 c nbDecision=84500 #constraints=29829 382.39/382.56 c nbDecision=85000 #constraints=29936 391.49/391.64 c nbDecision=85500 #constraints=30025 396.29/396.45 c nbDecision=86000 #constraints=30135 400.79/400.95 c nbDecision=86500 #constraints=30243 403.49/403.64 c nbDecision=87000 #constraints=30314 409.58/409.79 c nbDecision=87500 #constraints=30430 417.08/417.21 c nbDecision=88000 #constraints=30519 424.78/424.99 c nbDecision=88500 #constraints=30628 430.08/430.27 c nbDecision=89000 #constraints=30699 435.57/435.77 c nbDecision=89500 #constraints=30818 441.57/441.74 c nbDecision=90000 #constraints=30904 449.17/449.31 c nbDecision=90500 #constraints=31050 455.97/456.10 c nbDecision=91000 #constraints=31191 463.67/463.84 c nbDecision=91500 #constraints=31283 468.48/468.64 c nbDecision=92000 #constraints=31392 473.57/473.73 c nbDecision=92500 #constraints=31510 478.27/478.48 c nbDecision=93000 #constraints=31628 483.27/483.44 c nbDecision=93500 #constraints=31751 486.57/486.71 c nbDecision=94000 #constraints=31837 489.66/489.86 c nbDecision=94500 #constraints=31908 495.46/495.69 c nbDecision=95000 #constraints=31975 503.36/503.55 c nbDecision=95500 #constraints=32082 506.46/506.66 c nbDecision=96000 #constraints=32149 512.56/512.74 c nbDecision=96500 #constraints=32261 521.85/522.09 c nbDecision=97000 #constraints=32384 528.25/528.45 c nbDecision=97500 #constraints=32462 537.65/537.87 c nbDecision=98000 #constraints=32569 543.05/543.20 c nbDecision=98500 #constraints=32678 546.25/546.48 c nbDecision=99000 #constraints=32751 557.04/557.25 c nbDecision=99500 #constraints=32866 563.04/563.24 c nbDecision=100000 #constraints=32967 567.94/568.13 c nbDecision=100500 #constraints=33058 584.84/585.06 c nbDecision=101000 #constraints=33164 599.94/600.11 c nbDecision=101500 #constraints=33274 604.64/604.89 c nbDecision=102000 #constraints=33361 609.24/609.47 c restart after 102401 decisions 611.14/611.31 c nbDecision=102500 #constraints=33478 616.33/616.54 c nbDecision=103000 #constraints=33621 622.83/623.06 c nbDecision=103500 #constraints=33730 624.83/625.09 c nbDecision=104000 #constraints=33794 628.33/628.56 c nbDecision=104500 #constraints=33882 630.53/630.78 c nbDecision=105000 #constraints=33941 632.13/632.33 c nbDecision=105500 #constraints=33986 636.52/636.80 c nbDecision=106000 #constraints=34098 639.32/639.54 c nbDecision=106500 #constraints=34149 642.43/642.62 c nbDecision=107000 #constraints=34242 648.03/648.21 c nbDecision=107500 #constraints=34308 652.33/652.59 c nbDecision=108000 #constraints=34380 655.52/655.73 c nbDecision=108500 #constraints=34436 658.52/658.78 c nbDecision=109000 #constraints=34474 661.52/661.75 c nbDecision=109500 #constraints=34530 665.12/665.37 c nbDecision=110000 #constraints=34649 669.22/669.48 c nbDecision=110500 #constraints=34768 682.51/682.78 c nbDecision=111000 #constraints=34886 690.41/690.60 c nbDecision=111500 #constraints=34951 700.91/701.16 c nbDecision=112000 #constraints=35064 710.60/710.89 c nbDecision=112500 #constraints=35180 721.60/721.87 c nbDecision=113000 #constraints=35292 730.80/731.01 c nbDecision=113500 #constraints=35398 735.81/736.08 c nbDecision=114000 #constraints=35468 743.31/743.58 c nbDecision=114500 #constraints=35558 748.80/749.02 c nbDecision=115000 #constraints=35629 755.70/755.97 c nbDecision=115500 #constraints=35735 765.79/766.05 c nbDecision=116000 #constraints=35840 771.39/771.69 c nbDecision=116500 #constraints=35904 775.49/775.71 c nbDecision=117000 #constraints=35962 783.49/783.79 c nbDecision=117500 #constraints=36074 788.58/788.80 c nbDecision=118000 #constraints=36178 792.79/793.04 c nbDecision=118500 #constraints=36250 803.58/803.87 c nbDecision=119000 #constraints=36365 813.08/813.38 c nbDecision=119500 #constraints=36477 820.87/821.17 c nbDecision=120000 #constraints=36594 830.37/830.65 c nbDecision=120500 #constraints=36704 836.97/837.28 c nbDecision=121000 #constraints=36781 844.27/844.58 c nbDecision=121500 #constraints=36895 850.57/850.84 c nbDecision=122000 #constraints=37012 856.67/856.95 c nbDecision=122500 #constraints=37135 860.67/860.92 c nbDecision=123000 #constraints=37214 862.87/863.16 c nbDecision=123500 #constraints=37268 873.57/873.81 c nbDecision=124000 #constraints=37392 879.06/879.31 c nbDecision=124500 #constraints=37468 889.36/889.61 c nbDecision=125000 #constraints=37581 898.96/899.23 c nbDecision=125500 #constraints=37701 904.45/904.72 c nbDecision=126000 #constraints=37815 912.75/913.09 c nbDecision=126500 #constraints=37954 919.45/919.79 c nbDecision=127000 #constraints=38083 923.54/923.90 c nbDecision=127500 #constraints=38197 926.34/926.66 c nbDecision=128000 #constraints=38271 934.94/935.21 c nbDecision=128500 #constraints=38420 938.34/938.64 c nbDecision=129000 #constraints=38502 940.85/941.11 c nbDecision=129500 #constraints=38561 949.34/949.65 c nbDecision=130000 #constraints=38688 954.64/954.90 c nbDecision=130500 #constraints=38791 962.44/962.76 c nbDecision=131000 #constraints=38908 965.34/965.67 c nbDecision=131500 #constraints=38973 967.74/968.05 c nbDecision=132000 #constraints=39027 991.63/991.93 c nbDecision=132500 #constraints=39140 1004.73/1005.07 c nbDecision=133000 #constraints=39258 1011.03/1011.31 c nbDecision=133500 #constraints=39325 1025.02/1025.35 c nbDecision=134000 #constraints=39435 1029.32/1029.68 c nbDecision=134500 #constraints=39500 1042.01/1042.33 c nbDecision=135000 #constraints=39621 1059.56/1059.99 c nbDecision=135500 #constraints=39771 1066.04/1066.48 c nbDecision=136000 #constraints=39849 1078.11/1078.58 c nbDecision=136500 #constraints=39988 1085.50/1085.95 c nbDecision=137000 #constraints=40108 1088.20/1088.69 c nbDecision=137500 #constraints=40175 1096.20/1096.63 c nbDecision=138000 #constraints=40282 1103.39/1103.89 c nbDecision=138500 #constraints=40387 1111.09/1111.55 c nbDecision=139000 #constraints=40491 1122.59/1123.08 c nbDecision=139500 #constraints=40631 1129.58/1130.01 c nbDecision=140000 #constraints=40718 1134.69/1135.19 c nbDecision=140500 #constraints=40807 1151.18/1151.63 c nbDecision=141000 #constraints=40966 1161.27/1161.78 c nbDecision=141500 #constraints=41043 1174.87/1175.34 c nbDecision=142000 #constraints=41200 1183.67/1184.19 c nbDecision=142500 #constraints=41306 1190.37/1190.88 c nbDecision=143000 #constraints=41389 1196.96/1197.41 c nbDecision=143500 #constraints=41505 1209.47/1209.95 c nbDecision=144000 #constraints=41644 1223.86/1224.37 c nbDecision=144500 #constraints=41856 1228.26/1228.78 c nbDecision=145000 #constraints=41947 1237.05/1237.58 c nbDecision=145500 #constraints=42081 1244.45/1244.98 c nbDecision=146000 #constraints=42195 1258.54/1259.05 c nbDecision=146500 #constraints=42327 1266.54/1267.09 c nbDecision=147000 #constraints=42411 1277.34/1277.87 c nbDecision=147500 #constraints=42529 1284.83/1285.36 c nbDecision=148000 #constraints=42617 1287.83/1288.36 c nbDecision=148500 #constraints=42700 1298.84/1299.31 c nbDecision=149000 #constraints=42814 1309.44/1309.90 c nbDecision=149500 #constraints=42952 1320.33/1320.86 c nbDecision=150000 #constraints=43083 1330.53/1331.05 c nbDecision=150500 #constraints=43189 1336.23/1336.74 c nbDecision=151000 #constraints=43268 1342.63/1343.12 c nbDecision=151500 #constraints=43380 1349.62/1350.12 c nbDecision=152000 #constraints=43494 1365.32/1365.83 c nbDecision=152500 #constraints=43624 1375.52/1376.04 c nbDecision=153000 #constraints=43707 1398.61/1399.17 c nbDecision=153500 #constraints=43848 1413.80/1414.36 c nbDecision=154000 #constraints=43960 1431.10/1431.68 c nbDecision=154500 #constraints=44066 1439.60/1440.10 c nbDecision=155000 #constraints=44159 1448.49/1449.00 c nbDecision=155500 #constraints=44270 1471.50/1472.05 c nbDecision=156000 #constraints=44423 1481.69/1482.27 c nbDecision=156500 #constraints=44504 1492.99/1493.58 c nbDecision=157000 #constraints=44604 1500.89/1501.47 c nbDecision=157500 #constraints=44713 1505.39/1505.97 c nbDecision=158000 #constraints=44822 1513.98/1514.58 c nbDecision=158500 #constraints=44947 1518.18/1518.75 c nbDecision=159000 #constraints=45010 1528.97/1529.53 c nbDecision=159500 #constraints=45160 1536.17/1536.79 c nbDecision=160000 #constraints=45259 1543.17/1543.73 c nbDecision=160500 #constraints=45345 1548.88/1549.48 c nbDecision=161000 #constraints=45417 1555.88/1556.44 c nbDecision=161500 #constraints=45512 1580.57/1581.10 c nbDecision=162000 #constraints=45636 1592.26/1592.81 c nbDecision=162500 #constraints=45715 1609.06/1609.67 c nbDecision=163000 #constraints=45842 1617.76/1618.31 c nbDecision=163500 #constraints=45919 1630.35/1630.91 c nbDecision=164000 #constraints=46045 1643.44/1644.01 c nbDecision=164500 #constraints=46209 1653.54/1654.19 c nbDecision=165000 #constraints=46351 1659.24/1659.88 c nbDecision=165500 #constraints=46440 1664.34/1664.96 c nbDecision=166000 #constraints=46513 1674.74/1675.33 c nbDecision=166500 #constraints=46608 1690.54/1691.20 c nbDecision=167000 #constraints=46755 1699.63/1700.25 c nbDecision=167500 #constraints=46865 1704.83/1705.43 c nbDecision=168000 #constraints=46933 1718.33/1718.91 c nbDecision=168500 #constraints=47097 1732.32/1732.96 c nbDecision=169000 #constraints=47223 1749.62/1750.21 c nbDecision=169500 #constraints=47329 1758.71/1759.37 c nbDecision=170000 #constraints=47446 1775.91/1776.53 c nbDecision=170500 #constraints=47570 1800.01/1800.60 Received signal 15 1800.11/1800.73 1800.11/1800.73 s UNKNOWN 1800.11/1800.73 1800.11/1800.73 c user time= 1799.96 s 1800.11/1800.73 c system time= 0.187971 s 1800.11/1800.73 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-357061-1176853416 -o ROOT/results/node63/solver-357061-1176853416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357061-1176853416/instance-357061-1176853416.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/64 22266 /proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=1468 CPUtime=0 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161331526 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 367 161 131 317 0 46 0 [startup+0.0690719 s] /proc/loadavg: 0.92 0.98 0.96 3/64 22266 /proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=3052 CPUtime=0.06 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 561 0 0 0 6 0 0 0 18 0 1 0 161331526 3125248 543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 763 543 131 317 0 442 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3052 [startup+0.102074 s] /proc/loadavg: 0.92 0.98 0.96 3/64 22266 /proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=3844 CPUtime=0.09 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 781 0 0 0 9 0 0 0 18 0 1 0 161331526 3936256 763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 961 763 131 317 0 640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3844 [startup+0.301094 s] /proc/loadavg: 0.92 0.98 0.96 3/64 22266 /proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=7672 CPUtime=0.29 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 1720 0 0 0 29 0 0 0 19 0 1 0 161331526 7856128 1702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 1918 1702 131 317 0 1597 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7672 [startup+0.702137 s] /proc/loadavg: 0.92 0.98 0.96 3/64 22266 /proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=14692 CPUtime=0.69 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3496 0 0 0 68 1 0 0 23 0 1 0 161331526 15044608 3374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 3673 3374 139 317 0 3352 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14692 [startup+1.50122 s] /proc/loadavg: 0.92 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1647932/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=14692 CPUtime=1.49 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3496 0 0 0 148 1 0 0 25 0 1 0 161331526 15044608 3374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 3673 3374 139 317 0 3352 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14692 [startup+3.10139 s] /proc/loadavg: 0.92 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1647804/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=14692 CPUtime=3.09 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3498 0 0 0 308 1 0 0 25 0 1 0 161331526 15044608 3376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 3673 3376 139 317 0 3352 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14692 [startup+6.30173 s] /proc/loadavg: 0.93 0.98 0.96 3/65 22267 /proc/meminfo: memFree=1647676/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=14824 CPUtime=6.29 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3519 0 0 0 628 1 0 0 25 0 1 0 161331526 15179776 3397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 3706 3397 139 317 0 3385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14824 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1647228/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=15348 CPUtime=12.69 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3666 0 0 0 1268 1 0 0 25 0 1 0 161331526 15716352 3544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 3837 3544 139 317 0 3516 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15348 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1646332/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=16392 CPUtime=25.49 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3911 0 0 0 2547 2 0 0 25 0 1 0 161331526 16785408 3789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 4098 3789 139 317 0 3777 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16392 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1644668/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=18000 CPUtime=51.08 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 4317 0 0 0 5106 2 0 0 25 0 1 0 161331526 18432000 4195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 4500 4195 139 317 0 4179 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18000 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1641532/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=21148 CPUtime=102.26 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 5096 0 0 0 10223 3 0 0 25 0 1 0 161331526 21655552 4974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 5287 4974 139 317 0 4966 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21148 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1638268/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=24404 CPUtime=162.24 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 5914 0 0 0 16220 4 0 0 25 0 1 0 161331526 24989696 5792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 6101 5792 139 317 0 5780 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24404 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1636092/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=26532 CPUtime=222.23 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 6454 0 0 0 22218 5 0 0 25 0 1 0 161331526 27168768 6332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 6633 6332 139 317 0 6312 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26532 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1634172/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=28392 CPUtime=282.22 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 6937 0 0 0 28216 6 0 0 25 0 1 0 161331526 29073408 6815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 7098 6815 139 317 0 6777 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28392 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1632956/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=29844 CPUtime=342.2 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 7235 0 0 0 34213 7 0 0 25 0 1 0 161331526 30560256 7113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 7461 7113 139 317 0 7140 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 29844 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1631548/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=31412 CPUtime=402.19 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 7577 0 0 0 40212 7 0 0 25 0 1 0 161331526 32165888 7455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 7853 7455 139 317 0 7532 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 31412 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1630332/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=33292 CPUtime=462.17 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8061 0 0 0 46210 7 0 0 25 0 1 0 161331526 34091008 7731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 8323 7731 139 317 0 8002 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33292 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1629052/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=34796 CPUtime=522.15 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8421 0 0 0 52207 8 0 0 25 0 1 0 161331526 35631104 8091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 8699 8091 139 317 0 8378 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 34796 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1628220/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=35700 CPUtime=582.14 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8656 0 0 0 58205 9 0 0 25 0 1 0 161331526 36556800 8293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 8925 8293 139 317 0 8604 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35700 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1626876/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=37004 CPUtime=642.13 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8986 0 0 0 64203 10 0 0 25 0 1 0 161331526 37892096 8623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 9251 8623 139 317 0 8930 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 37004 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1622844/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=40892 CPUtime=882.06 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 9965 0 0 0 88194 12 0 0 25 0 1 0 161331526 41873408 9602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716145 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 10223 9602 139 317 0 9902 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 40892 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1621372/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=42264 CPUtime=942.05 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10338 0 0 0 94192 13 0 0 25 0 1 0 161331526 43278336 9975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 10566 9975 139 317 0 10245 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 42264 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 22267 /proc/meminfo: memFree=1620476/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=43116 CPUtime=1002.03 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10547 0 0 0 100190 13 0 0 25 0 1 0 161331526 44150784 10184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 10779 10184 139 317 0 10458 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 43116 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.96 2/71 22375 /proc/meminfo: memFree=1618556/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=43780 CPUtime=1061.95 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10703 0 0 0 106182 13 0 0 25 0 1 0 161331526 44830720 10340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 10945 10340 139 317 0 10624 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 43780 [startup+1122.3 s] /proc/loadavg: 1.04 1.00 0.96 2/65 22465 /proc/meminfo: memFree=1618556/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=44816 CPUtime=1121.88 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10985 0 0 0 112174 14 0 0 25 0 1 0 161331526 45891584 10622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 11204 10622 139 317 0 10883 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 44816 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 0.96 2/65 22465 /proc/meminfo: memFree=1617660/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=45620 CPUtime=1181.87 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 11201 0 0 0 118173 14 0 0 25 0 1 0 161331526 46714880 10838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 11405 10838 139 317 0 11084 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 45620 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22465 /proc/meminfo: memFree=1616444/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=46956 CPUtime=1241.85 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 11527 0 0 0 124171 14 0 0 25 0 1 0 161331526 48082944 11131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 11739 11131 139 317 0 11418 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 46956 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 0.97 2/65 22465 /proc/meminfo: memFree=1615676/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=48388 CPUtime=1301.84 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 11901 0 0 0 130169 15 0 0 25 0 1 0 161331526 49549312 11340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 12097 11340 139 317 0 11776 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 48388 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 0.97 2/65 22465 /proc/meminfo: memFree=1614780/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=49324 CPUtime=1361.82 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12128 0 0 0 136167 15 0 0 25 0 1 0 161331526 50507776 11567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 12331 11567 139 317 0 12010 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 49324 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1614204/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=49844 CPUtime=1421.8 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12275 0 0 0 142165 15 0 0 25 0 1 0 161331526 51040256 11681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 12461 11681 139 317 0 12140 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 49844 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1613564/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=50644 CPUtime=1481.79 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12514 0 0 0 148163 16 0 0 25 0 1 0 161331526 51859456 11854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 12661 11854 139 317 0 12340 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 50644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1612604/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=51644 CPUtime=1541.77 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12780 0 0 0 154161 16 0 0 25 0 1 0 161331526 52883456 12120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 12911 12120 139 317 0 12590 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 51644 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1612220/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=52028 CPUtime=1601.76 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12881 0 0 0 160159 17 0 0 25 0 1 0 161331526 53276672 12221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 13007 12221 139 317 0 12686 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 52028 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1611068/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=53204 CPUtime=1661.74 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13183 0 0 0 166157 17 0 0 25 0 1 0 161331526 54480896 12490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 13301 12490 139 317 0 12980 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 53204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1610364/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=53988 CPUtime=1721.73 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13414 0 0 0 172155 18 0 0 25 0 1 0 161331526 55283712 12688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 13497 12688 139 317 0 13176 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 53988 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1609724/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=54636 CPUtime=1781.71 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13576 0 0 0 178153 18 0 0 25 0 1 0 161331526 55947264 12850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 13659 12850 139 317 0 13338 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 54636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1609596/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=54764 CPUtime=1800.01 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13597 0 0 0 179983 18 0 0 25 0 1 0 161331526 56078336 12871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 13691 12871 139 317 0 13370 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 54764 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: 1.00 1.00 0.97 2/65 22465 /proc/meminfo: memFree=1609596/2055920 swapFree=4168472/4192956 [pid=22266] ppid=22264 vsize=54764 CPUtime=1800.11 /proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13597 0 0 0 179993 18 0 0 25 0 1 0 161331526 56078336 12871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22266/statm: 13691 12871 139 317 0 13370 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 54764 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.17 CPU user time (s): 1799.97 CPU system time (s): 0.19597 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 54764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.19597 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13613 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= 2560 runsolver used 1.35179 second user time and 3.67944 second system time The end
Begin job on node63 on Tue Apr 17 23:43:36 UTC 2007 IDJOB= 357061 IDBENCH= 1878 IDSOLVER= 172 FILE ID= node63/357061-1176853416 PBS_JOBID= 4590235 Free space on /tmp= 66505 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-mzzv42z.opb COMMAND LINE= oree /tmp/evaluation/357061-1176853416/instance-357061-1176853416.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-357061-1176853416 -o ROOT/results/node63/solver-357061-1176853416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357061-1176853416/instance-357061-1176853416.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED= 758050638 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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: 1661532 kB Buffers: 28348 kB Cached: 303072 kB SwapCached: 18916 kB Active: 236632 kB Inactive: 119356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1661532 kB SwapTotal: 4192956 kB SwapFree: 4168472 kB Dirty: 2772 kB Writeback: 0 kB Mapped: 15428 kB Slab: 24352 kB Committed_AS: 1948076 kB PageTables: 1460 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= 66505 MiB End job on node63 on Wed Apr 18 00:13:39 UTC 2007