Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb |
MD5SUM | f0369b32b392b309903886944ef44b64 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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 | 7 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 529536 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 7 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 529536 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 2.39/2.44 c ...done 2.39/2.44 c #vars=204880 #constraints=187574 hasObjective=yes 3.59/3.67 c res. mode=mod 3.59/3.67 c VSIDS like heuristics 3.59/3.67 c complete search running 8.49/8.51 c restart after 401 decisions 9.99/10.08 c nbDecision=500 #constraints=187722 12.99/13.04 c restart after 801 decisions 15.59/15.62 c nbDecision=1000 #constraints=187830 19.89/19.93 c nbDecision=1500 #constraints=187882 20.59/20.65 c restart after 1601 decisions 24.79/24.84 c nbDecision=2000 #constraints=187948 29.49/29.57 c nbDecision=2500 #constraints=188019 33.58/33.69 c nbDecision=3000 #constraints=188064 35.58/35.65 c restart after 3201 decisions 40.07/40.14 c nbDecision=3500 #constraints=188214 45.08/45.14 c nbDecision=4000 #constraints=188303 51.07/51.19 c nbDecision=4500 #constraints=188444 56.27/56.37 c nbDecision=5000 #constraints=188542 61.07/61.13 c nbDecision=5500 #constraints=188609 65.77/65.87 c nbDecision=6000 #constraints=188695 69.17/69.21 c restart after 6401 decisions 70.06/70.10 c nbDecision=6500 #constraints=188748 74.26/74.33 c nbDecision=7000 #constraints=188784 79.07/79.20 c nbDecision=7500 #constraints=188859 83.76/83.80 c nbDecision=8000 #constraints=188931 89.16/89.23 c nbDecision=8500 #constraints=189052 94.36/94.45 c nbDecision=9000 #constraints=189156 98.76/98.88 c nbDecision=9500 #constraints=189209 104.05/104.12 c nbDecision=10000 #constraints=189320 107.86/107.98 c nbDecision=10500 #constraints=189344 112.86/112.90 c nbDecision=11000 #constraints=189416 117.06/117.17 c nbDecision=11500 #constraints=189460 121.36/121.47 c nbDecision=12000 #constraints=189503 126.46/126.58 c nbDecision=12500 #constraints=189591 128.85/128.93 c restart after 12801 decisions 130.95/131.03 c nbDecision=13000 #constraints=189643 137.75/137.89 c nbDecision=13500 #constraints=189819 143.95/144.06 c nbDecision=14000 #constraints=189963 150.25/150.32 c nbDecision=14500 #constraints=190100 155.55/155.63 c nbDecision=15000 #constraints=190186 161.24/161.33 c nbDecision=15500 #constraints=190303 166.24/166.36 c nbDecision=16000 #constraints=190375 173.54/173.61 c nbDecision=16500 #constraints=190596 180.04/180.16 c nbDecision=17000 #constraints=190769 184.84/184.96 c nbDecision=17500 #constraints=190836 189.73/189.85 c nbDecision=18000 #constraints=190891 193.93/194.07 c nbDecision=18500 #constraints=190926 198.13/198.26 c nbDecision=19000 #constraints=190948 202.13/202.30 c nbDecision=19500 #constraints=190980 206.13/206.26 c nbDecision=20000 #constraints=191014 210.83/210.92 c nbDecision=20500 #constraints=191077 215.53/215.68 c nbDecision=21000 #constraints=191150 220.23/220.38 c nbDecision=21500 #constraints=191213 225.22/225.38 c nbDecision=22000 #constraints=191272 229.92/230.01 c nbDecision=22500 #constraints=191341 234.12/234.28 c nbDecision=23000 #constraints=191375 238.52/238.70 c nbDecision=23500 #constraints=191410 242.72/242.89 c nbDecision=24000 #constraints=191432 247.13/247.21 c nbDecision=24500 #constraints=191467 251.32/251.49 c nbDecision=25000 #constraints=191498 255.52/255.66 c nbDecision=25500 #constraints=191521 256.62/256.72 c restart after 25601 decisions 259.62/259.78 c nbDecision=26000 #constraints=191552 263.92/264.03 c nbDecision=26500 #constraints=191593 267.62/267.75 c nbDecision=27000 #constraints=191607 271.32/271.47 c nbDecision=27500 #constraints=191622 275.62/275.75 c nbDecision=28000 #constraints=191662 280.91/281.04 c nbDecision=28500 #constraints=191756 287.61/287.73 c nbDecision=29000 #constraints=191918 291.91/292.02 c nbDecision=29500 #constraints=191966 295.91/296.07 c nbDecision=30000 #constraints=191999 300.81/300.94 c nbDecision=30500 #constraints=192082 304.81/304.94 c nbDecision=31000 #constraints=192114 309.20/309.38 c nbDecision=31500 #constraints=192175 313.41/313.51 c nbDecision=32000 #constraints=192212 317.50/317.67 c nbDecision=32500 #constraints=192251 321.60/321.77 c nbDecision=33000 #constraints=192285 326.40/326.51 c nbDecision=33500 #constraints=192349 331.30/331.40 c nbDecision=34000 #constraints=192424 335.20/335.35 c nbDecision=34500 #constraints=192454 339.39/339.53 c nbDecision=35000 #constraints=192491 343.99/344.19 c nbDecision=35500 #constraints=192559 348.10/348.20 c nbDecision=36000 #constraints=192594 352.50/352.61 c nbDecision=36500 #constraints=192655 356.40/356.56 c nbDecision=37000 #constraints=192684 360.30/360.44 c nbDecision=37500 #constraints=192709 364.09/364.29 c nbDecision=38000 #constraints=192733 367.99/368.18 c nbDecision=38500 #constraints=192758 373.39/373.57 c nbDecision=39000 #constraints=192867 378.59/378.75 c nbDecision=39500 #constraints=192958 384.79/384.95 c nbDecision=40000 #constraints=193090 391.69/391.80 c nbDecision=40500 #constraints=193250 395.28/395.49 c nbDecision=41000 #constraints=193263 401.08/401.21 c nbDecision=41500 #constraints=193370 405.48/405.65 c nbDecision=42000 #constraints=193426 410.08/410.22 c nbDecision=42500 #constraints=193483 413.88/414.07 c nbDecision=43000 #constraints=193509 419.28/419.45 c nbDecision=43500 #constraints=193607 424.07/424.26 c nbDecision=44000 #constraints=193673 428.17/428.30 c nbDecision=44500 #constraints=193698 432.67/432.80 c nbDecision=45000 #constraints=193763 436.27/436.49 c nbDecision=45500 #constraints=193776 441.67/441.81 c nbDecision=46000 #constraints=193863 447.27/447.47 c nbDecision=46500 #constraints=193981 452.17/452.39 c nbDecision=47000 #constraints=194077 456.06/456.28 c nbDecision=47500 #constraints=194108 460.36/460.54 c nbDecision=48000 #constraints=194150 464.26/464.48 c nbDecision=48500 #constraints=194176 468.37/468.56 c nbDecision=49000 #constraints=194220 472.87/473.09 c nbDecision=49500 #constraints=194289 477.06/477.25 c nbDecision=50000 #constraints=194333 481.67/481.87 c nbDecision=50500 #constraints=194398 486.36/486.54 c nbDecision=51000 #constraints=194456 488.27/488.42 c restart after 51201 decisions 491.57/491.76 c nbDecision=51500 #constraints=194528 496.36/496.51 c nbDecision=52000 #constraints=194593 500.06/500.25 c nbDecision=52500 #constraints=194612 503.96/504.15 c nbDecision=53000 #constraints=194637 508.06/508.29 c nbDecision=53500 #constraints=194669 512.25/512.47 c nbDecision=54000 #constraints=194704 516.55/516.75 c nbDecision=54500 #constraints=194747 521.45/521.62 c nbDecision=55000 #constraints=194812 525.55/525.78 c nbDecision=55500 #constraints=194846 531.06/531.23 c nbDecision=56000 #constraints=194935 535.05/535.28 c nbDecision=56500 #constraints=194964 539.35/539.56 c nbDecision=57000 #constraints=194999 544.65/544.83 c nbDecision=57500 #constraints=195077 548.95/549.11 c nbDecision=58000 #constraints=195111 553.25/553.48 c nbDecision=58500 #constraints=195147 557.55/557.70 c nbDecision=59000 #constraints=195180 563.05/563.27 c nbDecision=59500 #constraints=195298 567.14/567.38 c nbDecision=60000 #constraints=195331 571.64/571.86 c nbDecision=60500 #constraints=195378 575.74/575.92 c nbDecision=61000 #constraints=195407 580.04/580.26 c nbDecision=61500 #constraints=195445 585.14/585.32 c nbDecision=62000 #constraints=195522 589.73/589.91 c nbDecision=62500 #constraints=195569 594.73/594.90 c nbDecision=63000 #constraints=195639 598.93/599.13 c nbDecision=63500 #constraints=195664 603.93/604.12 c nbDecision=64000 #constraints=195751 609.42/609.65 c nbDecision=64500 #constraints=195862 615.43/615.70 c nbDecision=65000 #constraints=195966 621.63/621.86 c nbDecision=65500 #constraints=196074 627.32/627.50 c nbDecision=66000 #constraints=196166 632.62/632.87 c nbDecision=66500 #constraints=196249 638.02/638.21 c nbDecision=67000 #constraints=196328 643.02/643.23 c nbDecision=67500 #constraints=196391 648.42/648.66 c nbDecision=68000 #constraints=196446 653.91/654.15 c nbDecision=68500 #constraints=196545 659.51/659.76 c nbDecision=69000 #constraints=196642 664.51/664.70 c nbDecision=69500 #constraints=196687 669.72/669.97 c nbDecision=70000 #constraints=196744 674.72/674.90 c nbDecision=70500 #constraints=196788 679.41/679.64 c nbDecision=71000 #constraints=196825 683.92/684.17 c nbDecision=71500 #constraints=196849 688.32/688.53 c nbDecision=72000 #constraints=196869 692.81/693.04 c nbDecision=72500 #constraints=196896 698.31/698.50 c nbDecision=73000 #constraints=196978 705.51/705.78 c nbDecision=73500 #constraints=197104 710.41/710.63 c nbDecision=74000 #constraints=197161 715.60/715.87 c nbDecision=74500 #constraints=197236 719.90/720.11 c nbDecision=75000 #constraints=197259 723.80/724.07 c nbDecision=75500 #constraints=197271 727.60/727.86 c nbDecision=76000 #constraints=197280 731.50/731.76 c nbDecision=76500 #constraints=197291 735.40/735.60 c nbDecision=77000 #constraints=197302 739.50/739.71 c nbDecision=77500 #constraints=197327 743.69/743.94 c nbDecision=78000 #constraints=197354 747.80/748.09 c nbDecision=78500 #constraints=197378 752.10/752.38 c nbDecision=79000 #constraints=197404 756.19/756.41 c nbDecision=79500 #constraints=197420 760.29/760.56 c nbDecision=80000 #constraints=197439 764.38/764.66 c nbDecision=80500 #constraints=197459 768.78/769.08 c nbDecision=81000 #constraints=197494 773.00/773.26 c nbDecision=81500 #constraints=197518 778.09/778.34 c nbDecision=82000 #constraints=197579 782.39/782.70 c nbDecision=82500 #constraints=197607 788.19/788.46 c nbDecision=83000 #constraints=197684 793.78/794.02 c nbDecision=83500 #constraints=197755 800.18/800.42 c nbDecision=84000 #constraints=197860 805.88/806.13 c nbDecision=84500 #constraints=197948 810.18/810.48 c nbDecision=85000 #constraints=197976 815.58/815.87 c nbDecision=85500 #constraints=198042 821.07/821.34 c nbDecision=86000 #constraints=198088 828.77/829.00 c nbDecision=86500 #constraints=198223 834.27/834.57 c nbDecision=87000 #constraints=198277 843.38/843.67 c nbDecision=87500 #constraints=198487 851.27/851.57 c nbDecision=88000 #constraints=198612 856.17/856.41 c nbDecision=88500 #constraints=198637 867.67/867.95 c nbDecision=89000 #constraints=198908 877.56/877.80 c nbDecision=89500 #constraints=199109 882.86/883.15 c nbDecision=90000 #constraints=199151 888.65/888.99 c nbDecision=90500 #constraints=199209 894.26/894.59 c nbDecision=91000 #constraints=199255 899.36/899.66 c nbDecision=91500 #constraints=199310 903.96/904.25 c nbDecision=92000 #constraints=199352 909.05/909.38 c nbDecision=92500 #constraints=199395 914.65/914.98 c nbDecision=93000 #constraints=199440 922.05/922.31 c nbDecision=93500 #constraints=199550 929.05/929.32 c nbDecision=94000 #constraints=199669 935.55/935.90 c nbDecision=94500 #constraints=199818 942.94/943.20 c nbDecision=95000 #constraints=199994 948.04/948.33 c nbDecision=95500 #constraints=200058 954.04/954.37 c nbDecision=96000 #constraints=200165 959.14/959.49 c nbDecision=96500 #constraints=200226 965.44/965.79 c nbDecision=97000 #constraints=200286 971.93/972.20 c nbDecision=97500 #constraints=200350 976.63/977.00 c nbDecision=98000 #constraints=200373 983.03/983.33 c nbDecision=98500 #constraints=200453 989.23/989.50 c nbDecision=99000 #constraints=200546 995.73/996.06 c nbDecision=99500 #constraints=200658 1001.23/1001.56 c nbDecision=100000 #constraints=200718 1005.83/1006.14 c nbDecision=100500 #constraints=200733 1010.42/1010.78 c nbDecision=101000 #constraints=200747 1016.42/1016.79 c nbDecision=101500 #constraints=200800 1022.02/1022.35 c nbDecision=102000 #constraints=200868 1025.72/1026.06 c restart after 102401 decisions 1026.62/1026.96 c nbDecision=102500 #constraints=200887 1031.62/1031.94 c nbDecision=103000 #constraints=200950 1038.32/1038.60 c nbDecision=103500 #constraints=201072 1043.31/1043.61 c nbDecision=104000 #constraints=201126 1049.12/1049.47 c nbDecision=104500 #constraints=201236 1054.92/1055.20 c nbDecision=105000 #constraints=201306 1060.22/1060.54 c nbDecision=105500 #constraints=201378 1069.81/1070.14 c nbDecision=106000 #constraints=201636 1076.01/1076.35 c nbDecision=106500 #constraints=201749 1081.61/1081.98 c nbDecision=107000 #constraints=201838 1087.01/1087.33 c nbDecision=107500 #constraints=201906 1093.01/1093.38 c nbDecision=108000 #constraints=202014 1098.70/1099.05 c nbDecision=108500 #constraints=202092 1104.60/1104.94 c nbDecision=109000 #constraints=202177 1109.60/1109.92 c nbDecision=109500 #constraints=202226 1115.50/1115.88 c nbDecision=110000 #constraints=202317 1121.09/1121.46 c nbDecision=110500 #constraints=202394 1126.69/1127.01 c nbDecision=111000 #constraints=202470 1131.60/1131.98 c nbDecision=111500 #constraints=202523 1136.60/1136.91 c nbDecision=112000 #constraints=202568 1141.80/1142.17 c nbDecision=112500 #constraints=202632 1147.70/1148.04 c nbDecision=113000 #constraints=202714 1153.29/1153.62 c nbDecision=113500 #constraints=202804 1159.09/1159.44 c nbDecision=114000 #constraints=202901 1164.59/1164.91 c nbDecision=114500 #constraints=202968 1168.79/1169.15 c nbDecision=115000 #constraints=202989 1173.39/1173.74 c nbDecision=115500 #constraints=203013 1179.28/1179.67 c nbDecision=116000 #constraints=203111 1185.28/1185.62 c nbDecision=116500 #constraints=203206 1190.88/1191.27 c nbDecision=117000 #constraints=203296 1197.38/1197.72 c nbDecision=117500 #constraints=203427 1202.58/1202.93 c nbDecision=118000 #constraints=203467 1208.97/1209.37 c nbDecision=118500 #constraints=203587 1214.27/1214.63 c nbDecision=119000 #constraints=203653 1221.87/1222.25 c nbDecision=119500 #constraints=203832 1227.67/1228.09 c nbDecision=120000 #constraints=203901 1232.87/1233.28 c nbDecision=120500 #constraints=203964 1236.97/1237.38 c nbDecision=121000 #constraints=203976 1241.58/1241.97 c nbDecision=121500 #constraints=203999 1246.27/1246.66 c nbDecision=122000 #constraints=204023 1251.27/1251.61 c nbDecision=122500 #constraints=204045 1256.27/1256.60 c nbDecision=123000 #constraints=204075 1262.47/1262.89 c nbDecision=123500 #constraints=204167 1267.87/1268.28 c nbDecision=124000 #constraints=204233 1275.26/1275.68 c nbDecision=124500 #constraints=204350 1282.16/1282.57 c nbDecision=125000 #constraints=204437 1287.35/1287.78 c nbDecision=125500 #constraints=204473 1292.35/1292.73 c nbDecision=126000 #constraints=204508 1297.36/1297.73 c nbDecision=126500 #constraints=204542 1301.56/1301.91 c nbDecision=127000 #constraints=204561 1305.65/1306.06 c nbDecision=127500 #constraints=204580 1310.45/1310.84 c nbDecision=128000 #constraints=204601 1314.85/1315.27 c nbDecision=128500 #constraints=204616 1319.35/1319.79 c nbDecision=129000 #constraints=204630 1323.85/1324.23 c nbDecision=129500 #constraints=204646 1328.15/1328.58 c nbDecision=130000 #constraints=204659 1332.64/1333.06 c nbDecision=130500 #constraints=204678 1337.44/1337.81 c nbDecision=131000 #constraints=204699 1343.54/1343.93 c nbDecision=131500 #constraints=204774 1348.74/1349.17 c nbDecision=132000 #constraints=204822 1354.44/1354.89 c nbDecision=132500 #constraints=204896 1359.33/1359.76 c nbDecision=133000 #constraints=204921 1363.93/1364.31 c nbDecision=133500 #constraints=204934 1368.53/1368.97 c nbDecision=134000 #constraints=204951 1373.33/1373.78 c nbDecision=134500 #constraints=204977 1378.53/1378.97 c nbDecision=135000 #constraints=205006 1383.53/1383.99 c nbDecision=135500 #constraints=205030 1389.32/1389.74 c nbDecision=136000 #constraints=205088 1397.63/1398.10 c nbDecision=136500 #constraints=205228 1407.53/1407.98 c nbDecision=137000 #constraints=205417 1412.83/1413.29 c nbDecision=137500 #constraints=205448 1418.52/1418.95 c nbDecision=138000 #constraints=205487 1424.82/1425.26 c nbDecision=138500 #constraints=205536 1430.62/1431.10 c nbDecision=139000 #constraints=205580 1437.21/1437.67 c nbDecision=139500 #constraints=205620 1441.81/1442.23 c nbDecision=140000 #constraints=205628 1446.61/1447.09 c nbDecision=140500 #constraints=205637 1451.21/1451.62 c nbDecision=141000 #constraints=205644 1455.81/1456.22 c nbDecision=141500 #constraints=205654 1461.41/1461.85 c nbDecision=142000 #constraints=205671 1467.71/1468.10 c nbDecision=142500 #constraints=205742 1475.01/1475.42 c nbDecision=143000 #constraints=205990 1481.11/1481.59 c nbDecision=143500 #constraints=206130 1487.50/1487.99 c nbDecision=144000 #constraints=206254 1493.60/1494.06 c nbDecision=144500 #constraints=206339 1500.70/1501.15 c nbDecision=145000 #constraints=206421 1507.90/1508.32 c nbDecision=145500 #constraints=206562 1512.59/1513.09 c nbDecision=146000 #constraints=206618 1517.79/1518.21 c nbDecision=146500 #constraints=206645 1523.09/1523.53 c nbDecision=147000 #constraints=206676 1527.59/1528.00 c nbDecision=147500 #constraints=206687 1532.39/1532.81 c nbDecision=148000 #constraints=206701 1536.69/1537.18 c nbDecision=148500 #constraints=206710 1541.38/1541.81 c nbDecision=149000 #constraints=206727 1545.89/1546.36 c nbDecision=149500 #constraints=206738 1550.69/1551.15 c nbDecision=150000 #constraints=206762 1554.89/1555.38 c nbDecision=150500 #constraints=206772 1559.49/1559.96 c nbDecision=151000 #constraints=206790 1563.79/1564.20 c nbDecision=151500 #constraints=206803 1567.89/1568.35 c nbDecision=152000 #constraints=206812 1572.18/1572.62 c nbDecision=152500 #constraints=206824 1576.69/1577.19 c nbDecision=153000 #constraints=206834 1581.09/1581.54 c nbDecision=153500 #constraints=206844 1585.58/1586.03 c nbDecision=154000 #constraints=206854 1589.88/1590.37 c nbDecision=154500 #constraints=206865 1594.57/1595.02 c nbDecision=155000 #constraints=206876 1598.97/1599.48 c nbDecision=155500 #constraints=206886 1603.97/1604.44 c nbDecision=156000 #constraints=206911 1609.77/1610.21 c nbDecision=156500 #constraints=206939 1615.17/1615.70 c nbDecision=157000 #constraints=206982 1620.87/1621.36 c nbDecision=157500 #constraints=207057 1625.46/1625.92 c nbDecision=158000 #constraints=207074 1629.96/1630.40 c nbDecision=158500 #constraints=207090 1634.36/1634.81 c nbDecision=159000 #constraints=207102 1639.16/1639.69 c nbDecision=159500 #constraints=207122 1644.06/1644.51 c nbDecision=160000 #constraints=207146 1650.25/1650.70 c nbDecision=160500 #constraints=207191 1654.66/1655.14 c nbDecision=161000 #constraints=207203 1659.36/1659.89 c nbDecision=161500 #constraints=207215 1663.86/1664.36 c nbDecision=162000 #constraints=207227 1668.16/1668.64 c nbDecision=162500 #constraints=207243 1672.25/1672.79 c nbDecision=163000 #constraints=207254 1676.65/1677.13 c nbDecision=163500 #constraints=207273 1680.85/1681.35 c nbDecision=164000 #constraints=207286 1685.45/1685.98 c nbDecision=164500 #constraints=207313 1689.85/1690.32 c nbDecision=165000 #constraints=207328 1695.35/1695.86 c nbDecision=165500 #constraints=207370 1700.35/1700.88 c nbDecision=166000 #constraints=207388 1704.94/1705.42 c nbDecision=166500 #constraints=207397 1709.04/1709.57 c nbDecision=167000 #constraints=207409 1713.84/1714.35 c nbDecision=167500 #constraints=207424 1718.44/1718.93 c nbDecision=168000 #constraints=207439 1724.24/1724.78 c nbDecision=168500 #constraints=207479 1730.64/1731.14 c nbDecision=169000 #constraints=207535 1737.73/1738.21 c nbDecision=169500 #constraints=207633 1742.83/1743.39 c nbDecision=170000 #constraints=207692 1748.23/1748.73 c nbDecision=170500 #constraints=207720 1753.63/1754.18 c nbDecision=171000 #constraints=207743 1759.13/1759.69 c nbDecision=171500 #constraints=207765 1764.83/1765.31 c nbDecision=172000 #constraints=207838 1769.92/1770.49 c nbDecision=172500 #constraints=207882 1775.93/1776.48 c nbDecision=173000 #constraints=207912 1784.53/1785.10 c nbDecision=173500 #constraints=207989 1790.32/1790.83 c nbDecision=174000 #constraints=208052 1794.72/1795.21 c nbDecision=174500 #constraints=208077 1800.03/1800.51 Received signal 15 1800.03/1800.52 1800.03/1800.52 s UNKNOWN 1800.03/1800.52 1800.03/1800.52 c user time= 1799.71 s 1800.03/1800.52 c system time= 0.342947 s 1800.03/1800.52 c wall clock time=1800.52
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-357036-1176852391 -o ROOT/results/node2/solver-357036-1176852391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357036-1176852391/instance-357036-1176852391.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.97 0.98 3/77 13387 /proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=1620 CPUtime=0 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161276943 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 405 175 126 317 0 84 0 [startup+0.046698 s] /proc/loadavg: 0.92 0.97 0.98 3/77 13387 /proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=2400 CPUtime=0.04 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 500 0 0 0 4 0 0 0 18 0 1 0 161276943 2457600 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 600 384 126 317 0 279 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2400 [startup+0.101703 s] /proc/loadavg: 0.92 0.97 0.98 3/77 13387 /proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=3440 CPUtime=0.09 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 897 0 0 0 9 0 0 0 18 0 1 0 161276943 3522560 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 860 652 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301724 s] /proc/loadavg: 0.92 0.97 0.98 3/77 13387 /proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=6636 CPUtime=0.29 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 1741 0 0 0 29 0 0 0 19 0 1 0 161276943 6795264 1239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 1659 1240 131 317 0 1338 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6636 [startup+0.701765 s] /proc/loadavg: 0.92 0.97 0.98 3/77 13387 /proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=16400 CPUtime=0.69 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 4192 0 0 0 68 1 0 0 23 0 1 0 161276943 16793600 3657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 4100 3657 131 317 0 3779 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16400 [startup+1.50185 s] /proc/loadavg: 0.92 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1774576/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=37776 CPUtime=1.49 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 9584 0 0 0 145 4 0 0 25 0 1 0 161276943 38682624 8984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134600013 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 9444 8985 131 317 0 9123 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37776 [startup+3.10202 s] /proc/loadavg: 0.92 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1748656/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=92544 CPUtime=3.09 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 23361 0 0 0 297 12 0 0 25 0 1 0 161276943 94765056 22632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 23136 22633 137 317 0 22815 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 92544 [startup+6.30135 s] /proc/loadavg: 0.93 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697264/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=6.29 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26868 0 0 0 615 14 0 0 25 0 1 0 161276943 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24856 139 317 0 26308 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106516 [startup+12.703 s] /proc/loadavg: 0.93 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697328/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=12.69 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26868 0 0 0 1255 14 0 0 25 0 1 0 161276943 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24856 139 317 0 26308 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 106516 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=25.49 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26869 0 0 0 2535 14 0 0 25 0 1 0 161276943 109072384 24857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24857 139 317 0 26308 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 106516 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697520/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=51.07 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26874 0 0 0 5093 14 0 0 25 0 1 0 161276943 109072384 24862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24862 139 317 0 26308 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 106516 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697584/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=102.26 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26879 0 0 0 10212 14 0 0 25 0 1 0 161276943 109072384 24867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24867 139 317 0 26308 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 106516 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697520/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=162.24 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26887 0 0 0 16209 15 0 0 25 0 1 0 161276943 109072384 24875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24875 139 317 0 26308 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106516 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13388 /proc/meminfo: memFree=1697456/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=222.23 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26895 0 0 0 22208 15 0 0 25 0 1 0 161276943 109072384 24883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/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.97 0.98 2/78 13388 /proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=282.21 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26900 0 0 0 28205 16 0 0 25 0 1 0 161276943 109072384 24888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24888 139 317 0 26308 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 106516 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1697328/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=342.19 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26906 0 0 0 34203 16 0 0 25 0 1 0 161276943 109072384 24894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/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.97 0.98 2/78 13390 /proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=402.18 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26911 0 0 0 40201 17 0 0 25 0 1 0 161276943 109072384 24899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24899 139 317 0 26308 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 106516 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106516 CPUtime=462.16 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26917 0 0 0 46199 17 0 0 25 0 1 0 161276943 109072384 24905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26629 24905 139 317 0 26308 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 106516 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1697008/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=106772 CPUtime=522.15 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26995 0 0 0 52197 18 0 0 25 0 1 0 161276943 109334528 24983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 26693 24983 139 317 0 26372 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 106772 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1695664/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=108204 CPUtime=582.14 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 27341 0 0 0 58195 19 0 0 25 0 1 0 161276943 110800896 25329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 27051 25329 139 317 0 26730 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 108204 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1692848/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=110948 CPUtime=642.12 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 28036 0 0 0 64192 20 0 0 25 0 1 0 161276943 113610752 26024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 27737 26024 139 317 0 27416 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 110948 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1686832/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=116936 CPUtime=882.06 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 29545 0 0 0 88183 23 0 0 25 0 1 0 161276943 119742464 27533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 29234 27533 139 317 0 28913 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 116936 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1685424/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=118240 CPUtime=942.04 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 29881 0 0 0 94180 24 0 0 25 0 1 0 161276943 121077760 27869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 29560 27869 139 317 0 29239 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 118240 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1683824/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=119808 CPUtime=1002.03 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30283 0 0 0 100178 25 0 0 25 0 1 0 161276943 122683392 28271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 29952 28271 139 317 0 29631 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 119808 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1682544/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=120972 CPUtime=1062.01 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30594 0 0 0 106175 26 0 0 25 0 1 0 161276943 123875328 28582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 30243 28582 139 317 0 29922 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 120972 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1681840/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=121756 CPUtime=1121.99 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30774 0 0 0 112173 26 0 0 25 0 1 0 161276943 124678144 28762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 30439 28762 139 317 0 30118 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 121756 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1681136/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=122528 CPUtime=1181.98 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30966 0 0 0 118171 27 0 0 25 0 1 0 161276943 125468672 28954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 30632 28954 139 317 0 30311 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 122528 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1680112/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=123428 CPUtime=1241.97 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 31203 0 0 0 124169 28 0 0 25 0 1 0 161276943 126390272 29191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 30857 29191 139 317 0 30536 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 123428 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1678256/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=125140 CPUtime=1301.96 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 31653 0 0 0 130167 29 0 0 25 0 1 0 161276943 128143360 29641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 31285 29641 139 317 0 30964 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 125140 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1677040/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=126324 CPUtime=1361.93 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 31947 0 0 0 136164 29 0 0 25 0 1 0 161276943 129355776 29935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 31581 29935 139 317 0 31260 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 126324 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1673456/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=129992 CPUtime=1421.92 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 32841 0 0 0 142162 30 0 0 25 0 1 0 161276943 133111808 30829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 32498 30829 139 317 0 32177 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 129992 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1672496/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=130912 CPUtime=1481.91 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33075 0 0 0 148160 31 0 0 25 0 1 0 161276943 134053888 31063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 32728 31063 139 317 0 32407 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 130912 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1672048/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=131444 CPUtime=1541.88 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33214 0 0 0 154157 31 0 0 25 0 1 0 161276943 134598656 31202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 32861 31202 139 317 0 32540 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 131444 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1671664/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=131856 CPUtime=1601.87 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33313 0 0 0 160155 32 0 0 25 0 1 0 161276943 135020544 31301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 32964 31301 139 317 0 32643 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 131856 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1671088/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=132548 CPUtime=1661.86 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33468 0 0 0 166153 33 0 0 25 0 1 0 161276943 135729152 31456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 33137 31456 139 317 0 32816 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 132548 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1670448/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=133060 CPUtime=1721.84 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33616 0 0 0 172151 33 0 0 25 0 1 0 161276943 136253440 31604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 33265 31604 139 317 0 32944 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 133060 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1669168/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=134364 CPUtime=1781.83 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33927 0 0 0 178149 34 0 0 25 0 1 0 161276943 137588736 31915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 33591 31915 139 317 0 33270 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 134364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.51 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1668912/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=134572 CPUtime=1800.03 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33995 0 0 0 179969 34 0 0 25 0 1 0 161276943 137801728 31983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 33643 31983 139 317 0 33322 0 Current children cumulated CPU time (s) 1800.03 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.7 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13390 /proc/meminfo: memFree=1668912/2055920 swapFree=4138452/4192956 [pid=13387] ppid=13385 vsize=112292 CPUtime=1800.22 /proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 34011 0 0 0 179988 34 0 0 25 0 1 0 161276943 114987008 27569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13387/statm: 28073 27569 289 317 0 27752 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 112292 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.25 CPU user time (s): 1799.89 CPU system time (s): 0.363944 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 134608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.363944 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= 37550 runsolver used 2.20267 second user time and 4.27435 second system time The end
Begin job on node2 on Tue Apr 17 23:26:32 UTC 2007 IDJOB= 357036 IDBENCH= 1804 IDSOLVER= 172 FILE ID= node2/357036-1176852391 PBS_JOBID= 4590199 Free space on /tmp= 66504 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb COMMAND LINE= oree /tmp/evaluation/357036-1176852391/instance-357036-1176852391.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-357036-1176852391 -o ROOT/results/node2/solver-357036-1176852391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357036-1176852391/instance-357036-1176852391.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f0369b32b392b309903886944ef44b64 RANDOM SEED= 789817987 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1797328 kB Buffers: 32096 kB Cached: 151672 kB SwapCached: 22952 kB Active: 89424 kB Inactive: 128524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797328 kB SwapTotal: 4192956 kB SwapFree: 4138452 kB Dirty: 9964 kB Writeback: 0 kB Mapped: 30480 kB Slab: 26156 kB Committed_AS: 7096016 kB PageTables: 1860 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= 66504 MiB End job on node2 on Tue Apr 17 23:56:34 UTC 2007