Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.99 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-stp3d.opb |
MD5SUM | af54d857fe3562002a714e0fbd74a69a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 204880 |
Total number of constraints | 159488 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 5805 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 75648 |
Biggest coefficient in the objective function | 100303 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 7576279200 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 100303 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7576279200 |
Number of bits of the biggest sum of numbers | 33 |
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... 2.39/2.49 c ...done 2.39/2.49 c #vars=204880 #constraints=187574 hasObjective=yes 3.69/3.72 c res. mode=mod 3.69/3.72 c VSIDS like heuristics 3.69/3.72 c complete search running 8.59/8.61 c restart after 401 decisions 10.09/10.19 c nbDecision=500 #constraints=187722 13.09/13.17 c restart after 801 decisions 15.68/15.72 c nbDecision=1000 #constraints=187830 19.98/20.00 c nbDecision=1500 #constraints=187882 20.68/20.71 c restart after 1601 decisions 24.88/24.90 c nbDecision=2000 #constraints=187948 29.58/29.66 c nbDecision=2500 #constraints=188019 33.78/33.81 c nbDecision=3000 #constraints=188064 35.68/35.75 c restart after 3201 decisions 40.18/40.20 c nbDecision=3500 #constraints=188214 45.08/45.18 c nbDecision=4000 #constraints=188303 51.17/51.28 c nbDecision=4500 #constraints=188444 56.37/56.43 c nbDecision=5000 #constraints=188542 61.07/61.15 c nbDecision=5500 #constraints=188609 65.87/65.91 c nbDecision=6000 #constraints=188695 69.17/69.27 c restart after 6401 decisions 70.07/70.17 c nbDecision=6500 #constraints=188748 74.36/74.41 c nbDecision=7000 #constraints=188784 79.17/79.23 c nbDecision=7500 #constraints=188859 83.76/83.80 c nbDecision=8000 #constraints=188931 89.16/89.28 c nbDecision=8500 #constraints=189052 94.46/94.51 c nbDecision=9000 #constraints=189156 98.87/98.91 c nbDecision=9500 #constraints=189209 104.06/104.12 c nbDecision=10000 #constraints=189320 107.96/108.00 c nbDecision=10500 #constraints=189344 112.86/112.96 c nbDecision=11000 #constraints=189416 117.16/117.21 c nbDecision=11500 #constraints=189460 121.35/121.46 c nbDecision=12000 #constraints=189503 126.46/126.59 c nbDecision=12500 #constraints=189591 128.85/128.96 c restart after 12801 decisions 130.95/131.08 c nbDecision=13000 #constraints=189643 137.85/137.90 c nbDecision=13500 #constraints=189819 143.95/144.03 c nbDecision=14000 #constraints=189963 150.24/150.35 c nbDecision=14500 #constraints=190100 155.54/155.66 c nbDecision=15000 #constraints=190186 161.24/161.30 c nbDecision=15500 #constraints=190303 166.24/166.34 c nbDecision=16000 #constraints=190375 173.53/173.63 c nbDecision=16500 #constraints=190596 180.03/180.12 c nbDecision=17000 #constraints=190769 184.83/184.91 c nbDecision=17500 #constraints=190836 189.73/189.83 c nbDecision=18000 #constraints=190891 193.94/194.08 c nbDecision=18500 #constraints=190926 198.14/198.23 c nbDecision=19000 #constraints=190948 202.13/202.23 c nbDecision=19500 #constraints=190980 206.13/206.22 c nbDecision=20000 #constraints=191014 210.83/210.92 c nbDecision=20500 #constraints=191077 215.53/215.67 c nbDecision=21000 #constraints=191150 220.23/220.32 c nbDecision=21500 #constraints=191213 225.23/225.32 c nbDecision=22000 #constraints=191272 229.83/229.99 c nbDecision=22500 #constraints=191341 234.13/234.27 c nbDecision=23000 #constraints=191375 238.52/238.65 c nbDecision=23500 #constraints=191410 242.72/242.80 c nbDecision=24000 #constraints=191432 247.02/247.15 c nbDecision=24500 #constraints=191467 251.32/251.47 c nbDecision=25000 #constraints=191498 255.51/255.63 c nbDecision=25500 #constraints=191521 256.51/256.67 c restart after 25601 decisions 259.61/259.70 c nbDecision=26000 #constraints=191552 263.81/263.94 c nbDecision=26500 #constraints=191593 267.61/267.70 c nbDecision=27000 #constraints=191607 271.31/271.46 c nbDecision=27500 #constraints=191622 275.61/275.72 c nbDecision=28000 #constraints=191662 280.81/280.97 c nbDecision=28500 #constraints=191756 287.50/287.68 c nbDecision=29000 #constraints=191918 291.90/292.00 c nbDecision=29500 #constraints=191966 295.90/296.04 c nbDecision=30000 #constraints=191999 300.71/300.87 c nbDecision=30500 #constraints=192082 304.70/304.85 c nbDecision=31000 #constraints=192114 309.20/309.34 c nbDecision=31500 #constraints=192175 313.31/313.49 c nbDecision=32000 #constraints=192212 317.50/317.61 c nbDecision=32500 #constraints=192251 321.50/321.66 c nbDecision=33000 #constraints=192285 326.30/326.42 c nbDecision=33500 #constraints=192349 331.19/331.35 c nbDecision=34000 #constraints=192424 335.19/335.30 c nbDecision=34500 #constraints=192454 339.29/339.43 c nbDecision=35000 #constraints=192491 343.89/344.06 c nbDecision=35500 #constraints=192559 347.99/348.12 c nbDecision=36000 #constraints=192594 352.39/352.56 c nbDecision=36500 #constraints=192655 356.29/356.49 c nbDecision=37000 #constraints=192684 360.18/360.33 c nbDecision=37500 #constraints=192709 363.98/364.16 c nbDecision=38000 #constraints=192733 367.88/368.09 c nbDecision=38500 #constraints=192758 373.38/373.51 c nbDecision=39000 #constraints=192867 378.48/378.64 c nbDecision=39500 #constraints=192958 384.67/384.83 c nbDecision=40000 #constraints=193090 391.57/391.73 c nbDecision=40500 #constraints=193250 395.27/395.42 c nbDecision=41000 #constraints=193263 400.87/401.09 c nbDecision=41500 #constraints=193370 405.37/405.53 c nbDecision=42000 #constraints=193426 409.96/410.15 c nbDecision=42500 #constraints=193483 413.86/414.01 c nbDecision=43000 #constraints=193509 419.17/419.34 c nbDecision=43500 #constraints=193607 423.97/424.13 c nbDecision=44000 #constraints=193673 428.07/428.21 c nbDecision=44500 #constraints=193698 432.57/432.75 c nbDecision=45000 #constraints=193763 436.26/436.41 c nbDecision=45500 #constraints=193776 441.46/441.67 c nbDecision=46000 #constraints=193863 447.16/447.35 c nbDecision=46500 #constraints=193981 452.16/452.32 c nbDecision=47000 #constraints=194077 455.96/456.19 c nbDecision=47500 #constraints=194108 460.26/460.42 c nbDecision=48000 #constraints=194150 464.15/464.34 c nbDecision=48500 #constraints=194176 468.25/468.45 c nbDecision=49000 #constraints=194220 472.86/473.01 c nbDecision=49500 #constraints=194289 476.95/477.14 c nbDecision=50000 #constraints=194333 481.55/481.72 c nbDecision=50500 #constraints=194398 486.25/486.40 c nbDecision=51000 #constraints=194456 488.04/488.30 c restart after 51201 decisions 491.45/491.67 c nbDecision=51500 #constraints=194528 496.14/496.39 c nbDecision=52000 #constraints=194593 499.95/500.12 c nbDecision=52500 #constraints=194612 503.75/503.99 c nbDecision=53000 #constraints=194637 507.95/508.16 c nbDecision=53500 #constraints=194669 512.15/512.38 c nbDecision=54000 #constraints=194704 516.44/516.63 c nbDecision=54500 #constraints=194747 521.24/521.46 c nbDecision=55000 #constraints=194812 525.44/525.63 c nbDecision=55500 #constraints=194846 530.94/531.11 c nbDecision=56000 #constraints=194935 534.93/535.16 c nbDecision=56500 #constraints=194964 539.23/539.40 c nbDecision=57000 #constraints=194999 544.43/544.66 c nbDecision=57500 #constraints=195077 548.73/548.96 c nbDecision=58000 #constraints=195111 553.13/553.37 c nbDecision=58500 #constraints=195147 557.33/557.55 c nbDecision=59000 #constraints=195180 562.82/563.07 c nbDecision=59500 #constraints=195298 567.02/567.20 c nbDecision=60000 #constraints=195331 571.52/571.72 c nbDecision=60500 #constraints=195378 575.52/575.77 c nbDecision=61000 #constraints=195407 579.82/580.06 c nbDecision=61500 #constraints=195445 584.92/585.12 c nbDecision=62000 #constraints=195522 589.51/589.74 c nbDecision=62500 #constraints=195569 594.51/594.74 c nbDecision=63000 #constraints=195639 598.72/598.94 c nbDecision=63500 #constraints=195664 603.62/603.90 c nbDecision=64000 #constraints=195751 609.22/609.48 c nbDecision=64500 #constraints=195862 615.31/615.52 c nbDecision=65000 #constraints=195966 621.41/621.62 c nbDecision=65500 #constraints=196074 627.00/627.29 c nbDecision=66000 #constraints=196166 632.50/632.71 c nbDecision=66500 #constraints=196249 637.70/638.00 c nbDecision=67000 #constraints=196328 642.70/642.98 c nbDecision=67500 #constraints=196391 648.19/648.45 c nbDecision=68000 #constraints=196446 653.69/653.97 c nbDecision=68500 #constraints=196545 659.29/659.52 c nbDecision=69000 #constraints=196642 664.20/664.44 c nbDecision=69500 #constraints=196687 669.50/669.75 c nbDecision=70000 #constraints=196744 674.39/674.70 c nbDecision=70500 #constraints=196788 679.09/679.39 c nbDecision=71000 #constraints=196825 683.59/683.89 c nbDecision=71500 #constraints=196849 688.09/688.30 c nbDecision=72000 #constraints=196869 692.58/692.85 c nbDecision=72500 #constraints=196896 697.98/698.27 c nbDecision=73000 #constraints=196978 705.28/705.52 c nbDecision=73500 #constraints=197104 710.18/710.41 c nbDecision=74000 #constraints=197161 715.38/715.64 c nbDecision=74500 #constraints=197236 719.58/719.84 c nbDecision=75000 #constraints=197259 723.48/723.79 c nbDecision=75500 #constraints=197271 727.37/727.60 c nbDecision=76000 #constraints=197280 731.27/731.53 c nbDecision=76500 #constraints=197291 735.07/735.37 c nbDecision=77000 #constraints=197302 739.17/739.44 c nbDecision=77500 #constraints=197327 743.37/743.65 c nbDecision=78000 #constraints=197354 747.56/747.84 c nbDecision=78500 #constraints=197378 751.86/752.16 c nbDecision=79000 #constraints=197404 755.86/756.17 c nbDecision=79500 #constraints=197420 759.96/760.28 c nbDecision=80000 #constraints=197439 764.07/764.36 c nbDecision=80500 #constraints=197459 768.57/768.85 c nbDecision=81000 #constraints=197494 772.76/773.07 c nbDecision=81500 #constraints=197518 777.76/778.10 c nbDecision=82000 #constraints=197579 782.16/782.41 c nbDecision=82500 #constraints=197607 787.86/788.20 c nbDecision=83000 #constraints=197684 793.45/793.79 c nbDecision=83500 #constraints=197755 799.86/800.13 c nbDecision=84000 #constraints=197860 805.55/805.84 c nbDecision=84500 #constraints=197948 809.95/810.25 c nbDecision=85000 #constraints=197976 815.35/815.63 c nbDecision=85500 #constraints=198042 820.75/821.06 c nbDecision=86000 #constraints=198088 828.44/828.73 c nbDecision=86500 #constraints=198223 834.04/834.33 c nbDecision=87000 #constraints=198277 843.04/843.34 c nbDecision=87500 #constraints=198487 850.94/851.30 c nbDecision=88000 #constraints=198612 855.84/856.13 c nbDecision=88500 #constraints=198637 867.33/867.62 c nbDecision=89000 #constraints=198908 877.13/877.47 c nbDecision=89500 #constraints=199109 882.43/882.76 c nbDecision=90000 #constraints=199151 888.32/888.63 c nbDecision=90500 #constraints=199209 893.93/894.26 c nbDecision=91000 #constraints=199255 898.93/899.28 c nbDecision=91500 #constraints=199310 903.53/903.83 c nbDecision=92000 #constraints=199352 908.73/909.01 c nbDecision=92500 #constraints=199395 914.32/914.63 c nbDecision=93000 #constraints=199440 921.52/921.88 c nbDecision=93500 #constraints=199550 928.62/928.93 c nbDecision=94000 #constraints=199669 935.21/935.51 c nbDecision=94500 #constraints=199818 942.41/942.74 c nbDecision=95000 #constraints=199994 947.61/947.90 c nbDecision=95500 #constraints=200058 953.61/953.97 c nbDecision=96000 #constraints=200165 958.71/959.05 c nbDecision=96500 #constraints=200226 965.00/965.32 c nbDecision=97000 #constraints=200286 971.41/971.78 c nbDecision=97500 #constraints=200350 976.21/976.56 c nbDecision=98000 #constraints=200373 982.50/982.83 c nbDecision=98500 #constraints=200453 988.70/989.04 c nbDecision=99000 #constraints=200546 995.30/995.60 c nbDecision=99500 #constraints=200658 1000.70/1001.05 c nbDecision=100000 #constraints=200718 1005.29/1005.64 c nbDecision=100500 #constraints=200733 1009.99/1010.32 c nbDecision=101000 #constraints=200747 1015.99/1016.31 c nbDecision=101500 #constraints=200800 1021.49/1021.82 c nbDecision=102000 #constraints=200868 1025.18/1025.54 c restart after 102401 decisions 1026.08/1026.45 c nbDecision=102500 #constraints=200887 1031.08/1031.47 c nbDecision=103000 #constraints=200950 1037.69/1038.09 c nbDecision=103500 #constraints=201072 1042.69/1043.05 c nbDecision=104000 #constraints=201126 1048.58/1048.95 c nbDecision=104500 #constraints=201236 1054.28/1054.69 c nbDecision=105000 #constraints=201306 1059.68/1060.00 c nbDecision=105500 #constraints=201378 1069.27/1069.61 c nbDecision=106000 #constraints=201636 1075.48/1075.83 c nbDecision=106500 #constraints=201749 1080.97/1081.39 c nbDecision=107000 #constraints=201838 1086.37/1086.76 c nbDecision=107500 #constraints=201906 1092.46/1092.85 c nbDecision=108000 #constraints=202014 1098.07/1098.47 c nbDecision=108500 #constraints=202092 1103.97/1104.32 c nbDecision=109000 #constraints=202177 1108.97/1109.34 c nbDecision=109500 #constraints=202226 1114.97/1115.31 c nbDecision=110000 #constraints=202317 1120.46/1120.83 c nbDecision=110500 #constraints=202394 1125.96/1126.39 c nbDecision=111000 #constraints=202470 1131.06/1131.40 c nbDecision=111500 #constraints=202523 1135.96/1136.31 c nbDecision=112000 #constraints=202568 1141.15/1141.52 c nbDecision=112500 #constraints=202632 1147.05/1147.43 c nbDecision=113000 #constraints=202714 1152.65/1153.06 c nbDecision=113500 #constraints=202804 1158.45/1158.82 c nbDecision=114000 #constraints=202901 1163.84/1164.26 c nbDecision=114500 #constraints=202968 1168.14/1168.54 c nbDecision=115000 #constraints=202989 1172.74/1173.16 c nbDecision=115500 #constraints=203013 1178.65/1179.03 c nbDecision=116000 #constraints=203111 1184.54/1184.95 c nbDecision=116500 #constraints=203206 1190.24/1190.64 c nbDecision=117000 #constraints=203296 1196.64/1197.08 c nbDecision=117500 #constraints=203427 1201.84/1202.24 c nbDecision=118000 #constraints=203467 1208.33/1208.72 c nbDecision=118500 #constraints=203587 1213.63/1214.00 c nbDecision=119000 #constraints=203653 1221.13/1221.55 c nbDecision=119500 #constraints=203832 1227.02/1227.41 c nbDecision=120000 #constraints=203901 1232.22/1232.64 c nbDecision=120500 #constraints=203964 1236.32/1236.71 c nbDecision=121000 #constraints=203976 1240.83/1241.26 c nbDecision=121500 #constraints=203999 1245.53/1245.95 c nbDecision=122000 #constraints=204023 1250.52/1250.94 c nbDecision=122500 #constraints=204045 1255.52/1255.92 c nbDecision=123000 #constraints=204075 1261.72/1262.15 c nbDecision=123500 #constraints=204167 1267.12/1267.57 c nbDecision=124000 #constraints=204233 1274.52/1274.98 c nbDecision=124500 #constraints=204350 1281.41/1281.80 c nbDecision=125000 #constraints=204437 1286.61/1287.03 c nbDecision=125500 #constraints=204473 1291.61/1292.02 c nbDecision=126000 #constraints=204508 1296.51/1296.99 c nbDecision=126500 #constraints=204542 1300.71/1301.13 c nbDecision=127000 #constraints=204561 1304.81/1305.29 c nbDecision=127500 #constraints=204580 1309.71/1310.11 c nbDecision=128000 #constraints=204601 1314.11/1314.55 c nbDecision=128500 #constraints=204616 1318.61/1319.04 c nbDecision=129000 #constraints=204630 1323.00/1323.45 c nbDecision=129500 #constraints=204646 1327.40/1327.84 c nbDecision=130000 #constraints=204659 1331.90/1332.35 c nbDecision=130500 #constraints=204678 1336.60/1337.06 c nbDecision=131000 #constraints=204699 1342.70/1343.12 c nbDecision=131500 #constraints=204774 1347.89/1348.40 c nbDecision=132000 #constraints=204822 1353.70/1354.14 c nbDecision=132500 #constraints=204896 1358.49/1358.97 c nbDecision=133000 #constraints=204921 1362.99/1363.49 c nbDecision=133500 #constraints=204934 1367.69/1368.18 c nbDecision=134000 #constraints=204951 1372.58/1373.04 c nbDecision=134500 #constraints=204977 1377.68/1378.18 c nbDecision=135000 #constraints=205006 1382.68/1383.15 c nbDecision=135500 #constraints=205030 1388.48/1388.95 c nbDecision=136000 #constraints=205088 1396.78/1397.29 c nbDecision=136500 #constraints=205228 1406.68/1407.16 c nbDecision=137000 #constraints=205417 1412.08/1412.52 c nbDecision=137500 #constraints=205448 1417.67/1418.13 c nbDecision=138000 #constraints=205487 1423.97/1424.41 c nbDecision=138500 #constraints=205536 1429.77/1430.29 c nbDecision=139000 #constraints=205580 1436.37/1436.86 c nbDecision=139500 #constraints=205620 1440.87/1441.37 c nbDecision=140000 #constraints=205628 1445.77/1446.24 c nbDecision=140500 #constraints=205637 1450.37/1450.82 c nbDecision=141000 #constraints=205644 1454.96/1455.42 c nbDecision=141500 #constraints=205654 1460.46/1460.98 c nbDecision=142000 #constraints=205671 1466.76/1467.24 c nbDecision=142500 #constraints=205742 1474.06/1474.59 c nbDecision=143000 #constraints=205990 1480.26/1480.70 c nbDecision=143500 #constraints=206130 1486.66/1487.11 c nbDecision=144000 #constraints=206254 1492.75/1493.22 c nbDecision=144500 #constraints=206339 1499.75/1500.24 c nbDecision=145000 #constraints=206421 1506.95/1507.42 c nbDecision=145500 #constraints=206562 1511.75/1512.24 c nbDecision=146000 #constraints=206618 1516.85/1517.32 c nbDecision=146500 #constraints=206645 1522.04/1522.59 c nbDecision=147000 #constraints=206676 1526.54/1527.09 c nbDecision=147500 #constraints=206687 1531.44/1531.94 c nbDecision=148000 #constraints=206701 1535.74/1536.29 c nbDecision=148500 #constraints=206710 1540.34/1540.88 c nbDecision=149000 #constraints=206727 1544.94/1545.43 c nbDecision=149500 #constraints=206738 1549.80/1550.30 c nbDecision=150000 #constraints=206762 1553.99/1554.55 c nbDecision=150500 #constraints=206772 1558.59/1559.11 c nbDecision=151000 #constraints=206790 1562.77/1563.32 c nbDecision=151500 #constraints=206803 1566.96/1567.52 c nbDecision=152000 #constraints=206812 1571.25/1571.84 c nbDecision=152500 #constraints=206824 1575.73/1576.40 c nbDecision=153000 #constraints=206834 1580.13/1580.71 c nbDecision=153500 #constraints=206844 1584.63/1585.20 c nbDecision=154000 #constraints=206854 1588.93/1589.58 c nbDecision=154500 #constraints=206865 1593.63/1594.24 c nbDecision=155000 #constraints=206876 1598.02/1598.67 c nbDecision=155500 #constraints=206886 1603.01/1603.60 c nbDecision=156000 #constraints=206911 1608.81/1609.43 c nbDecision=156500 #constraints=206939 1614.31/1614.93 c nbDecision=157000 #constraints=206982 1619.90/1620.54 c nbDecision=157500 #constraints=207057 1624.40/1625.09 c nbDecision=158000 #constraints=207074 1629.00/1629.61 c nbDecision=158500 #constraints=207090 1633.40/1634.05 c nbDecision=159000 #constraints=207102 1638.20/1638.89 c nbDecision=159500 #constraints=207122 1642.99/1643.67 c nbDecision=160000 #constraints=207146 1649.29/1649.92 c nbDecision=160500 #constraints=207191 1653.69/1654.37 c nbDecision=161000 #constraints=207203 1658.39/1659.08 c nbDecision=161500 #constraints=207215 1662.89/1663.51 c nbDecision=162000 #constraints=207227 1667.19/1667.83 c nbDecision=162500 #constraints=207243 1671.39/1672.02 c nbDecision=163000 #constraints=207254 1675.69/1676.35 c nbDecision=163500 #constraints=207273 1679.88/1680.53 c nbDecision=164000 #constraints=207286 1684.48/1685.15 c nbDecision=164500 #constraints=207313 1688.88/1689.53 c nbDecision=165000 #constraints=207328 1694.38/1695.09 c nbDecision=165500 #constraints=207370 1699.38/1700.05 c nbDecision=166000 #constraints=207388 1703.88/1704.58 c nbDecision=166500 #constraints=207397 1708.08/1708.77 c nbDecision=167000 #constraints=207409 1712.88/1713.58 c nbDecision=167500 #constraints=207424 1717.48/1718.12 c nbDecision=168000 #constraints=207439 1723.27/1723.92 c nbDecision=168500 #constraints=207479 1729.67/1730.33 c nbDecision=169000 #constraints=207535 1736.66/1737.38 c nbDecision=169500 #constraints=207633 1741.77/1742.50 c nbDecision=170000 #constraints=207692 1747.16/1747.87 c nbDecision=170500 #constraints=207720 1752.66/1753.37 c nbDecision=171000 #constraints=207743 1758.16/1758.83 c nbDecision=171500 #constraints=207765 1763.77/1764.42 c nbDecision=172000 #constraints=207838 1768.96/1769.65 c nbDecision=172500 #constraints=207882 1774.96/1775.64 c nbDecision=173000 #constraints=207912 1783.46/1784.20 c nbDecision=173500 #constraints=207989 1789.25/1789.97 c nbDecision=174000 #constraints=208052 1793.65/1794.36 c nbDecision=174500 #constraints=208077 1799.85/1800.55 c nbDecision=175000 #constraints=208162 1800.06/1800.71 Received signal 15 1800.06/1800.80 1800.06/1800.80 s UNKNOWN 1800.06/1800.80 1800.06/1800.80 c user time= 1799.8 s 1800.06/1800.80 c system time= 0.354946 s 1800.06/1800.80 c wall clock time=1800.8
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-357399-1176996915 -o ROOT/results/node17/solver-357399-1176996915 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357399-1176996915/instance-357399-1176996915.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1660 /proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=1468 CPUtime=0 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147609024 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 367 160 126 317 0 46 0 [startup+0.0652361 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1660 /proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=2400 CPUtime=0.06 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 486 0 0 0 6 0 0 0 18 0 1 0 147609024 2457600 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 600 370 126 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.102204 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1660 /proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=3440 CPUtime=0.09 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 798 0 0 0 9 0 0 0 18 0 1 0 147609024 3522560 553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 860 553 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301225 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1660 /proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=5520 CPUtime=0.29 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 1456 0 0 0 29 0 0 0 19 0 1 0 147609024 5652480 954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569718 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 1380 954 131 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701267 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1660 /proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=14552 CPUtime=0.69 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 3719 0 0 0 68 1 0 0 22 0 1 0 147609024 14901248 3184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 3638 3184 131 317 0 3317 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14552 [startup+1.50135 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1507816/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=36192 CPUtime=1.49 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 9183 0 0 0 145 4 0 0 25 0 1 0 147609024 37060608 8583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 9048 8583 131 317 0 8727 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36192 [startup+3.10152 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1481256/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=91620 CPUtime=3.09 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 23159 0 0 0 299 10 0 0 25 0 1 0 147609024 93818880 22430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602696 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 22905 22430 137 317 0 22584 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91620 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1428584/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=6.29 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26868 0 0 0 617 12 0 0 25 0 1 0 147609024 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24856 139 317 0 26308 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106516 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1428712/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=12.69 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26868 0 0 0 1257 12 0 0 25 0 1 0 147609024 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24856 139 317 0 26308 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 106516 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1428840/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=25.48 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26869 0 0 0 2536 12 0 0 25 0 1 0 147609024 109072384 24857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24857 139 317 0 26308 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 106516 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=51.07 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26874 0 0 0 5095 12 0 0 25 0 1 0 147609024 109072384 24862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24862 139 317 0 26308 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 106516 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=102.27 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26879 0 0 0 10214 13 0 0 25 0 1 0 147609024 109072384 24867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24867 139 317 0 26308 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 106516 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1661 /proc/meminfo: memFree=1428968/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=162.24 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26887 0 0 0 16211 13 0 0 25 0 1 0 147609024 109072384 24875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24875 139 317 0 26308 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106516 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1428968/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=222.23 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26895 0 0 0 22209 14 0 0 25 0 1 0 147609024 109072384 24883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24883 139 317 0 26308 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 106516 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=282.2 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26900 0 0 0 28206 14 0 0 25 0 1 0 147609024 109072384 24888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24888 139 317 0 26308 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 106516 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=342.19 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26906 0 0 0 34204 15 0 0 25 0 1 0 147609024 109072384 24894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24894 139 317 0 26308 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 106516 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1428968/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=402.17 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26911 0 0 0 40202 15 0 0 25 0 1 0 147609024 109072384 24899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24899 139 317 0 26308 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 106516 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106516 CPUtime=462.15 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26917 0 0 0 46199 16 0 0 25 0 1 0 147609024 109072384 24905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26629 24905 139 317 0 26308 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 106516 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1428584/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=106772 CPUtime=522.14 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26997 0 0 0 52197 17 0 0 25 0 1 0 147609024 109334528 24985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 26693 24985 139 317 0 26372 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 106772 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1427112/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=108204 CPUtime=582.12 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 27343 0 0 0 58195 17 0 0 25 0 1 0 147609024 110800896 25331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 27051 25331 139 317 0 26730 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 108204 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1424360/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=110948 CPUtime=642.1 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 28036 0 0 0 64192 18 0 0 25 0 1 0 147609024 113610752 26024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 27737 26024 139 317 0 27416 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 110948 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1416936/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=118240 CPUtime=942.01 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 29881 0 0 0 94178 23 0 0 25 0 1 0 147609024 121077760 27869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 29560 27869 139 317 0 29239 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 118240 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1415272/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=119808 CPUtime=1001.99 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30284 0 0 0 100175 24 0 0 25 0 1 0 147609024 122683392 28272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 29952 28272 139 317 0 29631 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 119808 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1414056/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=120972 CPUtime=1061.98 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30594 0 0 0 106173 25 0 0 25 0 1 0 147609024 123875328 28582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 30243 28582 139 317 0 29922 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 120972 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1413352/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=121756 CPUtime=1121.96 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30776 0 0 0 112170 26 0 0 25 0 1 0 147609024 124678144 28764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 30439 28764 139 317 0 30118 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 121756 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1412584/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=122528 CPUtime=1181.94 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30969 0 0 0 118167 27 0 0 25 0 1 0 147609024 125468672 28957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 30632 28957 139 317 0 30311 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 122528 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1411560/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=123428 CPUtime=1241.93 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 31203 0 0 0 124165 28 0 0 25 0 1 0 147609024 126390272 29191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 30857 29191 139 317 0 30536 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 123428 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1409768/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=125272 CPUtime=1301.92 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 31657 0 0 0 130163 29 0 0 25 0 1 0 147609024 128278528 29645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 31318 29645 139 317 0 30997 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 125272 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1408552/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=126460 CPUtime=1361.89 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 31950 0 0 0 136160 29 0 0 25 0 1 0 147609024 129495040 29938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 31615 29938 139 317 0 31294 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 126460 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1404904/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=129992 CPUtime=1421.87 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 32845 0 0 0 142157 30 0 0 25 0 1 0 147609024 133111808 30833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 32498 30833 139 317 0 32177 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 129992 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1663 /proc/meminfo: memFree=1403944/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=130912 CPUtime=1481.86 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33075 0 0 0 148155 31 0 0 25 0 1 0 147609024 134053888 31063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 32728 31063 139 317 0 32407 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 130912 [startup+1542.3 s] /proc/loadavg: 1.07 1.00 1.00 2/78 1663 /proc/meminfo: memFree=1403496/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=131444 CPUtime=1541.83 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33215 0 0 0 154151 32 0 0 25 0 1 0 147609024 134598656 31203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 32861 31203 139 317 0 32540 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 131444 [startup+1602.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 1874 /proc/meminfo: memFree=1402848/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=131984 CPUtime=1601.71 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33318 0 0 0 160138 33 0 0 25 0 1 0 147609024 135151616 31306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 32996 31306 139 317 0 32675 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 131984 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 1874 /proc/meminfo: memFree=1402408/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=132548 CPUtime=1661.69 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33468 0 0 0 166136 33 0 0 25 0 1 0 147609024 135729152 31456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 33137 31456 139 317 0 32816 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 132548 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 1874 /proc/meminfo: memFree=1401896/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=133188 CPUtime=1721.68 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33624 0 0 0 172134 34 0 0 25 0 1 0 147609024 136384512 31612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 33297 31612 139 317 0 32976 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 133188 [startup+1782.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 1874 /proc/meminfo: memFree=1400616/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=134364 CPUtime=1781.66 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33936 0 0 0 178131 35 0 0 25 0 1 0 147609024 137588736 31924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 33591 31924 139 317 0 33270 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 134364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.05 1.02 1.00 2/78 1874 /proc/meminfo: memFree=1400360/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=134572 CPUtime=1800.06 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33995 0 0 0 179971 35 0 0 25 0 1 0 147609024 137801728 31983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 33643 31983 139 317 0 33322 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 134572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.05 1.02 1.00 2/78 1874 /proc/meminfo: memFree=1400360/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=134572 CPUtime=1800.15 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 34011 0 0 0 179980 35 0 0 25 0 1 0 147609024 137801728 31999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 33643 31999 155 317 0 33322 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 134572 [startup+1800.9 s] /proc/loadavg: 1.05 1.02 1.00 2/78 1874 /proc/meminfo: memFree=1400360/2055920 swapFree=4141660/4192956 [pid=1660] ppid=1658 vsize=120296 CPUtime=1800.25 /proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 34011 0 0 0 179990 35 0 0 25 0 1 0 147609024 123183104 29570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1660/statm: 30074 29570 155 317 0 29753 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 120296 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.35 CPU user time (s): 1799.98 CPU system time (s): 0.374943 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 134608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.374943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34011 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= 3243 runsolver used 2.17067 second user time and 4.35034 second system time The end
Begin job on node17 on Thu Apr 19 15:35:15 UTC 2007 IDJOB= 357399 IDBENCH= 2522 IDSOLVER= 172 FILE ID= node17/357399-1176996915 PBS_JOBID= 4630469 Free space on /tmp= 66383 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb COMMAND LINE= oree /tmp/evaluation/357399-1176996915/instance-357399-1176996915.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-357399-1176996915 -o ROOT/results/node17/solver-357399-1176996915 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357399-1176996915/instance-357399-1176996915.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= af54d857fe3562002a714e0fbd74a69a RANDOM SEED= 609312090 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1528648 kB Buffers: 37252 kB Cached: 397696 kB SwapCached: 14192 kB Active: 226328 kB Inactive: 243960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1528648 kB SwapTotal: 4192956 kB SwapFree: 4141660 kB Dirty: 10340 kB Writeback: 0 kB Mapped: 41524 kB Slab: 42528 kB Committed_AS: 7119008 kB PageTables: 1824 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= 66383 MiB End job on node17 on Thu Apr 19 16:05:18 UTC 2007