Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.9 | 1801.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb |
MD5SUM | e0d3bc77812df02cd6843b358116eb3f |
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 | 17153 |
Total number of constraints | 320 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 320 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 3360 |
Number of terms in the objective function | 90 |
Biggest coefficient in the objective function | 87382 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524349 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527072 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.49/0.52 c ...done 0.49/0.52 c #vars=17153 #constraints=582 hasObjective=yes 0.59/0.62 c res. mode=mod 0.59/0.62 c VSIDS like heuristics 0.59/0.62 c complete search running 0.89/0.91 c restart after 401 decisions 0.99/1.06 c nbDecision=500 #constraints=725 1.19/1.25 c restart after 801 decisions 1.39/1.46 c nbDecision=1000 #constraints=806 1.79/1.83 c nbDecision=1500 #constraints=937 1.89/1.93 c restart after 1601 decisions 2.29/2.32 c nbDecision=2000 #constraints=1068 2.68/2.79 c nbDecision=2500 #constraints=1221 3.09/3.14 c nbDecision=3000 #constraints=1307 3.19/3.26 c restart after 3201 decisions 3.39/3.43 c nbDecision=3500 #constraints=1353 3.79/3.80 c nbDecision=4000 #constraints=1500 4.39/4.46 c nbDecision=4500 #constraints=1651 5.29/5.38 c nbDecision=5000 #constraints=1885 6.19/6.24 c nbDecision=5500 #constraints=2075 6.99/7.01 c nbDecision=6000 #constraints=2232 7.99/8.04 c restart after 6401 decisions 8.19/8.28 c nbDecision=6500 #constraints=2475 8.59/8.64 c nbDecision=7000 #constraints=2538 9.09/9.18 c nbDecision=7500 #constraints=2660 9.68/9.79 c nbDecision=8000 #constraints=2765 10.29/10.30 c nbDecision=8500 #constraints=2850 11.28/11.30 c nbDecision=9000 #constraints=3039 12.29/12.32 c nbDecision=9500 #constraints=3222 13.28/13.30 c nbDecision=10000 #constraints=3407 14.29/14.35 c nbDecision=10500 #constraints=3590 15.48/15.58 c nbDecision=11000 #constraints=3798 16.69/16.75 c nbDecision=11500 #constraints=3990 17.99/18.01 c nbDecision=12000 #constraints=4206 19.08/19.11 c nbDecision=12500 #constraints=4372 19.88/19.91 c restart after 12801 decisions 20.08/20.11 c nbDecision=13000 #constraints=4531 20.89/20.96 c nbDecision=13500 #constraints=4679 22.38/22.49 c nbDecision=14000 #constraints=4990 23.98/24.10 c nbDecision=14500 #constraints=5280 25.68/25.73 c nbDecision=15000 #constraints=5575 27.28/27.35 c nbDecision=15500 #constraints=5839 29.08/29.14 c nbDecision=16000 #constraints=6125 30.87/30.92 c nbDecision=16500 #constraints=6418 32.68/32.70 c nbDecision=17000 #constraints=6661 34.67/34.77 c nbDecision=17500 #constraints=6959 36.38/36.49 c nbDecision=18000 #constraints=7164 38.48/38.55 c nbDecision=18500 #constraints=7416 40.48/40.59 c nbDecision=19000 #constraints=7634 42.78/42.81 c nbDecision=19500 #constraints=7893 44.87/44.91 c nbDecision=20000 #constraints=8114 47.17/47.20 c nbDecision=20500 #constraints=8360 49.57/49.67 c nbDecision=21000 #constraints=8608 52.07/52.10 c nbDecision=21500 #constraints=8843 53.46/53.51 c nbDecision=22000 #constraints=8983 54.57/54.66 c nbDecision=22500 #constraints=9107 56.27/56.39 c nbDecision=23000 #constraints=9314 58.17/58.29 c nbDecision=23500 #constraints=9536 59.17/59.20 c nbDecision=24000 #constraints=9627 60.47/60.58 c nbDecision=24500 #constraints=9774 61.76/61.80 c nbDecision=25000 #constraints=9916 62.77/62.81 c nbDecision=25500 #constraints=9997 63.07/63.15 c restart after 25601 decisions 63.67/63.76 c nbDecision=26000 #constraints=10091 64.26/64.35 c nbDecision=26500 #constraints=10165 64.87/64.98 c nbDecision=27000 #constraints=10239 65.76/65.87 c nbDecision=27500 #constraints=10364 67.07/67.15 c nbDecision=28000 #constraints=10463 68.66/68.76 c nbDecision=28500 #constraints=10655 71.06/71.13 c nbDecision=29000 #constraints=10897 72.76/72.82 c nbDecision=29500 #constraints=11070 74.06/74.10 c nbDecision=30000 #constraints=11197 75.76/75.84 c nbDecision=30500 #constraints=11358 77.46/77.58 c nbDecision=31000 #constraints=11529 78.85/78.90 c nbDecision=31500 #constraints=11688 80.36/80.49 c nbDecision=32000 #constraints=11808 82.06/82.10 c nbDecision=32500 #constraints=11952 83.46/83.59 c nbDecision=33000 #constraints=12089 85.66/85.74 c nbDecision=33500 #constraints=12234 88.46/88.52 c nbDecision=34000 #constraints=12437 91.95/92.04 c nbDecision=34500 #constraints=12660 95.05/95.14 c nbDecision=35000 #constraints=12881 97.55/97.64 c nbDecision=35500 #constraints=13021 99.95/100.00 c nbDecision=36000 #constraints=13167 102.16/102.21 c nbDecision=36500 #constraints=13298 104.05/104.18 c nbDecision=37000 #constraints=13408 106.04/106.19 c nbDecision=37500 #constraints=13521 108.45/108.59 c nbDecision=38000 #constraints=13630 110.55/110.68 c nbDecision=38500 #constraints=13767 113.15/113.28 c nbDecision=39000 #constraints=13901 115.74/115.83 c nbDecision=39500 #constraints=14051 118.75/118.87 c nbDecision=40000 #constraints=14206 121.05/121.15 c nbDecision=40500 #constraints=14341 123.74/123.87 c nbDecision=41000 #constraints=14516 126.04/126.15 c nbDecision=41500 #constraints=14640 128.24/128.36 c nbDecision=42000 #constraints=14757 130.44/130.51 c nbDecision=42500 #constraints=14863 132.44/132.59 c nbDecision=43000 #constraints=14949 134.84/134.93 c nbDecision=43500 #constraints=15086 136.94/137.09 c nbDecision=44000 #constraints=15186 139.24/139.35 c nbDecision=44500 #constraints=15306 141.33/141.47 c nbDecision=45000 #constraints=15383 143.74/143.82 c nbDecision=45500 #constraints=15502 145.73/145.85 c nbDecision=46000 #constraints=15567 147.94/148.06 c nbDecision=46500 #constraints=15654 150.03/150.14 c nbDecision=47000 #constraints=15737 152.13/152.22 c nbDecision=47500 #constraints=15799 154.53/154.62 c nbDecision=48000 #constraints=15897 157.03/157.18 c nbDecision=48500 #constraints=16031 159.43/159.50 c nbDecision=49000 #constraints=16142 161.64/161.77 c nbDecision=49500 #constraints=16246 164.23/164.32 c nbDecision=50000 #constraints=16385 166.53/166.64 c nbDecision=50500 #constraints=16463 168.83/168.91 c nbDecision=51000 #constraints=16565 169.52/169.61 c restart after 51201 decisions 170.02/170.16 c nbDecision=51500 #constraints=16606 172.12/172.22 c nbDecision=52000 #constraints=16758 175.23/175.36 c nbDecision=52500 #constraints=16945 179.32/179.42 c nbDecision=53000 #constraints=17183 182.02/182.12 c nbDecision=53500 #constraints=17341 184.73/184.82 c nbDecision=54000 #constraints=17458 187.62/187.74 c nbDecision=54500 #constraints=17585 190.31/190.44 c nbDecision=55000 #constraints=17698 192.72/192.89 c nbDecision=55500 #constraints=17792 195.42/195.59 c nbDecision=56000 #constraints=17898 197.91/198.06 c nbDecision=56500 #constraints=17986 200.92/201.08 c nbDecision=57000 #constraints=18109 203.91/204.09 c nbDecision=57500 #constraints=18251 206.71/206.86 c nbDecision=58000 #constraints=18376 209.31/209.42 c nbDecision=58500 #constraints=18479 211.71/211.89 c nbDecision=59000 #constraints=18562 214.31/214.40 c nbDecision=59500 #constraints=18657 216.90/217.00 c nbDecision=60000 #constraints=18751 219.51/219.65 c nbDecision=60500 #constraints=18844 222.51/222.63 c nbDecision=61000 #constraints=18921 224.90/225.06 c nbDecision=61500 #constraints=19024 227.91/228.04 c nbDecision=62000 #constraints=19147 230.70/230.83 c nbDecision=62500 #constraints=19261 233.50/233.63 c nbDecision=63000 #constraints=19363 236.70/236.86 c nbDecision=63500 #constraints=19471 239.20/239.38 c nbDecision=64000 #constraints=19543 245.90/246.06 c nbDecision=64500 #constraints=19715 249.10/249.20 c nbDecision=65000 #constraints=19811 252.59/252.72 c nbDecision=65500 #constraints=19937 258.80/258.96 c nbDecision=66000 #constraints=20217 262.20/262.38 c nbDecision=66500 #constraints=20344 266.79/266.91 c nbDecision=67000 #constraints=20453 270.08/270.28 c nbDecision=67500 #constraints=20586 272.88/273.01 c nbDecision=68000 #constraints=20644 275.59/275.72 c nbDecision=68500 #constraints=20713 277.99/278.12 c nbDecision=69000 #constraints=20759 280.48/280.62 c nbDecision=69500 #constraints=20807 283.69/283.83 c nbDecision=70000 #constraints=20905 290.19/290.38 c nbDecision=70500 #constraints=21260 298.28/298.43 c nbDecision=71000 #constraints=21614 306.57/306.73 c nbDecision=71500 #constraints=21984 314.57/314.74 c nbDecision=72000 #constraints=22323 323.47/323.60 c nbDecision=72500 #constraints=22666 332.77/332.91 c nbDecision=73000 #constraints=23029 342.16/342.31 c nbDecision=73500 #constraints=23387 351.87/352.06 c nbDecision=74000 #constraints=23747 362.96/363.14 c nbDecision=74500 #constraints=24099 374.55/374.79 c nbDecision=75000 #constraints=24446 386.15/386.39 c nbDecision=75500 #constraints=24837 399.04/399.21 c nbDecision=76000 #constraints=25221 409.44/409.66 c nbDecision=76500 #constraints=25500 416.74/416.97 c nbDecision=77000 #constraints=25631 420.14/420.37 c nbDecision=77500 #constraints=25691 425.83/426.04 c nbDecision=78000 #constraints=25791 430.43/430.63 c nbDecision=78500 #constraints=25870 435.53/435.74 c nbDecision=79000 #constraints=25964 441.03/441.28 c nbDecision=79500 #constraints=26045 446.22/446.49 c nbDecision=80000 #constraints=26144 450.53/450.72 c nbDecision=80500 #constraints=26199 458.02/458.22 c nbDecision=81000 #constraints=26326 462.02/462.28 c nbDecision=81500 #constraints=26378 470.12/470.37 c nbDecision=82000 #constraints=26466 479.02/479.24 c nbDecision=82500 #constraints=26653 488.81/489.07 c nbDecision=83000 #constraints=26853 493.31/493.59 c nbDecision=83500 #constraints=26919 499.71/499.91 c nbDecision=84000 #constraints=27044 507.10/507.31 c nbDecision=84500 #constraints=27180 514.60/514.88 c nbDecision=85000 #constraints=27319 519.40/519.68 c nbDecision=85500 #constraints=27400 526.00/526.21 c nbDecision=86000 #constraints=27505 535.89/536.17 c nbDecision=86500 #constraints=27720 545.49/545.73 c nbDecision=87000 #constraints=27901 552.38/552.67 c nbDecision=87500 #constraints=28041 562.78/563.01 c nbDecision=88000 #constraints=28235 569.08/569.39 c nbDecision=88500 #constraints=28328 587.57/587.81 c nbDecision=89000 #constraints=28734 606.97/607.22 c nbDecision=89500 #constraints=29159 622.76/623.05 c nbDecision=90000 #constraints=29461 636.06/636.35 c nbDecision=90500 #constraints=29712 642.95/643.29 c nbDecision=91000 #constraints=29816 650.75/651.02 c nbDecision=91500 #constraints=29930 658.25/658.53 c nbDecision=92000 #constraints=30018 663.85/664.11 c nbDecision=92500 #constraints=30088 673.25/673.59 c nbDecision=93000 #constraints=30226 681.44/681.75 c nbDecision=93500 #constraints=30344 687.44/687.71 c nbDecision=94000 #constraints=30447 704.83/705.11 c nbDecision=94500 #constraints=30632 711.63/711.93 c nbDecision=95000 #constraints=30731 723.13/723.47 c nbDecision=95500 #constraints=30924 728.32/728.65 c nbDecision=96000 #constraints=31022 742.82/743.14 c nbDecision=96500 #constraints=31243 753.61/753.95 c nbDecision=97000 #constraints=31403 763.81/764.19 c nbDecision=97500 #constraints=31535 777.31/777.68 c nbDecision=98000 #constraints=31756 798.70/799.04 c nbDecision=98500 #constraints=32141 820.30/820.68 c nbDecision=99000 #constraints=32521 843.98/844.31 c nbDecision=99500 #constraints=32924 870.57/870.90 c nbDecision=100000 #constraints=33295 882.77/883.18 c nbDecision=100500 #constraints=33428 894.76/895.18 c nbDecision=101000 #constraints=33547 900.77/901.11 c nbDecision=101500 #constraints=33614 910.75/911.13 c nbDecision=102000 #constraints=33739 920.26/920.63 c restart after 102401 decisions 921.16/921.58 c nbDecision=102500 #constraints=33883 923.26/923.64 c nbDecision=103000 #constraints=33959 925.45/925.85 c nbDecision=103500 #constraints=34053 929.85/930.24 c nbDecision=104000 #constraints=34264 932.65/933.05 c nbDecision=104500 #constraints=34390 935.15/935.50 c nbDecision=105000 #constraints=34564 936.24/936.65 c nbDecision=105500 #constraints=34672 937.85/938.25 c nbDecision=106000 #constraints=34798 939.35/939.75 c nbDecision=106500 #constraints=34904 941.45/941.84 c nbDecision=107000 #constraints=35046 942.75/943.10 c nbDecision=107500 #constraints=35118 943.65/944.02 c nbDecision=108000 #constraints=35170 945.05/945.43 c nbDecision=108500 #constraints=35267 946.65/947.03 c nbDecision=109000 #constraints=35376 948.34/948.75 c nbDecision=109500 #constraints=35513 949.55/949.96 c nbDecision=110000 #constraints=35591 951.05/951.44 c nbDecision=110500 #constraints=35691 952.74/953.15 c nbDecision=111000 #constraints=35800 953.84/954.29 c nbDecision=111500 #constraints=35854 954.74/955.10 c nbDecision=112000 #constraints=35884 955.54/955.91 c nbDecision=112500 #constraints=35913 956.44/956.88 c nbDecision=113000 #constraints=35953 957.64/958.08 c nbDecision=113500 #constraints=36022 959.14/959.57 c nbDecision=114000 #constraints=36093 960.54/960.98 c nbDecision=114500 #constraints=36176 962.34/962.75 c nbDecision=115000 #constraints=36288 964.74/965.15 c nbDecision=115500 #constraints=36430 965.84/966.27 c nbDecision=116000 #constraints=36481 967.94/968.37 c nbDecision=116500 #constraints=36610 969.74/970.17 c nbDecision=117000 #constraints=36685 971.13/971.51 c nbDecision=117500 #constraints=36745 972.44/972.81 c nbDecision=118000 #constraints=36790 973.84/974.24 c nbDecision=118500 #constraints=36855 975.63/976.07 c nbDecision=119000 #constraints=36942 977.23/977.67 c nbDecision=119500 #constraints=37010 978.83/979.25 c nbDecision=120000 #constraints=37079 980.34/980.71 c nbDecision=120500 #constraints=37146 981.63/982.06 c nbDecision=121000 #constraints=37202 983.13/983.54 c nbDecision=121500 #constraints=37265 984.53/984.93 c nbDecision=122000 #constraints=37312 986.73/987.13 c nbDecision=122500 #constraints=37402 988.53/988.98 c nbDecision=123000 #constraints=37478 989.93/990.37 c nbDecision=123500 #constraints=37524 992.03/992.49 c nbDecision=124000 #constraints=37597 993.23/993.62 c nbDecision=124500 #constraints=37618 994.43/994.87 c nbDecision=125000 #constraints=37649 996.33/996.72 c nbDecision=125500 #constraints=37720 997.83/998.25 c nbDecision=126000 #constraints=37770 999.13/999.59 c nbDecision=126500 #constraints=37813 1000.42/1000.89 c nbDecision=127000 #constraints=37839 1001.92/1002.36 c nbDecision=127500 #constraints=37878 1003.62/1004.06 c nbDecision=128000 #constraints=37928 1005.63/1006.04 c nbDecision=128500 #constraints=38002 1006.83/1007.25 c nbDecision=129000 #constraints=38025 1008.33/1008.79 c nbDecision=129500 #constraints=38071 1009.92/1010.31 c nbDecision=130000 #constraints=38108 1012.42/1012.89 c nbDecision=130500 #constraints=38210 1013.92/1014.30 c nbDecision=131000 #constraints=38256 1015.22/1015.65 c nbDecision=131500 #constraints=38290 1016.52/1016.91 c nbDecision=132000 #constraints=38316 1017.92/1018.37 c nbDecision=132500 #constraints=38354 1019.33/1019.75 c nbDecision=133000 #constraints=38382 1020.92/1021.31 c nbDecision=133500 #constraints=38426 1022.62/1023.09 c nbDecision=134000 #constraints=38492 1024.72/1025.19 c nbDecision=134500 #constraints=38568 1026.12/1026.58 c nbDecision=135000 #constraints=38590 1027.61/1028.05 c nbDecision=135500 #constraints=38631 1029.01/1029.50 c nbDecision=136000 #constraints=38660 1030.31/1030.79 c nbDecision=136500 #constraints=38685 1031.82/1032.22 c nbDecision=137000 #constraints=38717 1033.21/1033.61 c nbDecision=137500 #constraints=38751 1036.92/1037.39 c nbDecision=138000 #constraints=38966 1040.61/1041.05 c nbDecision=138500 #constraints=39062 1043.71/1044.18 c nbDecision=139000 #constraints=39168 1045.71/1046.15 c nbDecision=139500 #constraints=39217 1048.00/1048.45 c nbDecision=140000 #constraints=39276 1050.71/1051.18 c nbDecision=140500 #constraints=39309 1051.71/1052.18 c nbDecision=141000 #constraints=39360 1054.41/1054.86 c nbDecision=141500 #constraints=39439 1058.61/1059.09 c nbDecision=142000 #constraints=39554 1073.00/1073.50 c nbDecision=142500 #constraints=39741 1087.60/1088.07 c nbDecision=143000 #constraints=39929 1092.09/1092.53 c nbDecision=143500 #constraints=40005 1096.99/1097.48 c nbDecision=144000 #constraints=40171 1099.49/1099.97 c nbDecision=144500 #constraints=40314 1101.19/1101.66 c nbDecision=145000 #constraints=40395 1105.59/1106.07 c nbDecision=145500 #constraints=40496 1108.19/1108.68 c nbDecision=146000 #constraints=40604 1110.09/1110.52 c nbDecision=146500 #constraints=40693 1114.28/1114.79 c nbDecision=147000 #constraints=40830 1117.09/1117.54 c nbDecision=147500 #constraints=40924 1120.39/1120.89 c nbDecision=148000 #constraints=41045 1123.38/1123.87 c nbDecision=148500 #constraints=41157 1124.89/1125.36 c nbDecision=149000 #constraints=41219 1126.58/1127.08 c nbDecision=149500 #constraints=41278 1128.08/1128.55 c nbDecision=150000 #constraints=41333 1131.08/1131.53 c nbDecision=150500 #constraints=41415 1136.57/1137.08 c nbDecision=151000 #constraints=41529 1141.58/1142.08 c nbDecision=151500 #constraints=41628 1146.47/1146.97 c nbDecision=152000 #constraints=41718 1152.27/1152.77 c nbDecision=152500 #constraints=41891 1155.27/1155.73 c nbDecision=153000 #constraints=41978 1157.17/1157.62 c nbDecision=153500 #constraints=42061 1160.66/1161.18 c nbDecision=154000 #constraints=42153 1164.86/1165.32 c nbDecision=154500 #constraints=42226 1168.46/1168.92 c nbDecision=155000 #constraints=42336 1173.16/1173.63 c nbDecision=155500 #constraints=42406 1175.46/1175.92 c nbDecision=156000 #constraints=42485 1177.35/1177.89 c nbDecision=156500 #constraints=42570 1179.86/1180.31 c nbDecision=157000 #constraints=42643 1185.75/1186.25 c nbDecision=157500 #constraints=42759 1205.75/1206.28 c nbDecision=158000 #constraints=42976 1221.65/1222.13 c nbDecision=158500 #constraints=43124 1240.14/1240.62 c nbDecision=159000 #constraints=43316 1253.53/1254.09 c nbDecision=159500 #constraints=43487 1270.22/1270.71 c nbDecision=160000 #constraints=43652 1283.02/1283.56 c nbDecision=160500 #constraints=43812 1300.31/1300.83 c nbDecision=161000 #constraints=44026 1319.81/1320.32 c nbDecision=161500 #constraints=44252 1334.00/1334.57 c nbDecision=162000 #constraints=44442 1346.69/1347.22 c nbDecision=162500 #constraints=44638 1364.78/1365.35 c nbDecision=163000 #constraints=44831 1378.79/1379.32 c nbDecision=163500 #constraints=44976 1391.78/1392.38 c nbDecision=164000 #constraints=45105 1405.67/1406.22 c nbDecision=164500 #constraints=45275 1419.37/1419.98 c nbDecision=165000 #constraints=45465 1433.26/1433.82 c nbDecision=165500 #constraints=45661 1443.76/1444.35 c nbDecision=166000 #constraints=45805 1456.46/1457.09 c nbDecision=166500 #constraints=45942 1471.75/1472.36 c nbDecision=167000 #constraints=46086 1489.14/1489.74 c nbDecision=167500 #constraints=46269 1501.52/1502.11 c nbDecision=168000 #constraints=46403 1514.62/1515.25 c nbDecision=168500 #constraints=46572 1527.61/1528.20 c nbDecision=169000 #constraints=46726 1544.71/1545.37 c nbDecision=169500 #constraints=46895 1557.89/1558.58 c nbDecision=170000 #constraints=47071 1570.69/1571.34 c nbDecision=170500 #constraints=47210 1583.38/1584.02 c nbDecision=171000 #constraints=47383 1595.57/1596.27 c nbDecision=171500 #constraints=47524 1606.96/1607.62 c nbDecision=172000 #constraints=47659 1621.35/1622.07 c nbDecision=172500 #constraints=47798 1636.25/1636.95 c nbDecision=173000 #constraints=47934 1647.34/1648.09 c nbDecision=173500 #constraints=48050 1663.24/1663.96 c nbDecision=174000 #constraints=48209 1675.43/1676.14 c nbDecision=174500 #constraints=48314 1689.13/1689.82 c nbDecision=175000 #constraints=48447 1702.13/1702.88 c nbDecision=175500 #constraints=48622 1717.02/1717.78 c nbDecision=176000 #constraints=48834 1731.91/1732.60 c nbDecision=176500 #constraints=48962 1745.01/1745.79 c nbDecision=177000 #constraints=49120 1758.30/1759.04 c nbDecision=177500 #constraints=49269 1772.60/1773.37 c nbDecision=178000 #constraints=49394 1789.89/1790.68 c nbDecision=178500 #constraints=49568 1800.09/1800.80 Received signal 15 1800.59/1801.33 1800.59/1801.33 s UNKNOWN 1800.59/1801.33 1800.59/1801.33 c user time= 1798.74 s 1800.59/1801.33 c system time= 1.88571 s 1800.59/1801.33 c wall clock time=1801.33
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-356933-1176848781 -o ROOT/results/node40/solver-356933-1176848781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356933-1176848781/instance-356933-1176848781.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/77 31790 /proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1468 CPUtime=0 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 13757694 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 367 167 131 317 0 46 0 [startup+0.096705 s] /proc/loadavg: 0.91 0.97 0.99 3/77 31790 /proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=3368 CPUtime=0.09 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 13757694 3448832 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 842 615 131 317 0 521 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.101706 s] /proc/loadavg: 0.91 0.97 0.99 3/77 31790 /proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=3520 CPUtime=0.09 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 680 0 0 0 9 0 0 0 18 0 1 0 13757694 3604480 662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 880 662 131 317 0 559 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3520 [startup+0.301747 s] /proc/loadavg: 0.91 0.97 0.99 3/77 31790 /proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=7416 CPUtime=0.29 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 1608 0 0 0 29 0 0 0 19 0 1 0 13757694 7593984 1590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 1854 1590 131 317 0 1533 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7416 [startup+0.701831 s] /proc/loadavg: 0.91 0.97 0.99 3/77 31790 /proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=15920 CPUtime=0.69 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 3666 0 0 0 68 1 0 0 22 0 1 0 13757694 16302080 3648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 3980 3648 139 317 0 3659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15920 [startup+1.502 s] /proc/loadavg: 0.91 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1506368/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=16712 CPUtime=1.49 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 3880 0 0 0 148 1 0 0 25 0 1 0 13757694 17113088 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 4178 3862 139 317 0 3857 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16712 [startup+3.10133 s] /proc/loadavg: 0.91 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1504320/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=20492 CPUtime=3.09 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 4809 0 0 0 307 2 0 0 25 0 1 0 13757694 20983808 4791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 5123 4791 139 317 0 4802 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20492 [startup+6.302 s] /proc/loadavg: 0.92 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1490624/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=37512 CPUtime=6.29 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 8801 0 0 0 625 4 0 0 25 0 1 0 13757694 38412288 8783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273998 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 9378 8783 170 317 0 9057 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37512 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1455936/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=73856 CPUtime=12.68 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 17246 0 0 0 1261 7 0 0 25 0 1 0 13757694 75628544 17228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 18464 17228 170 317 0 18143 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 73856 [startup+25.502 s] /proc/loadavg: 0.94 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1389888/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=142124 CPUtime=25.48 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 33026 0 0 0 2535 13 0 0 25 0 1 0 13757694 145534976 33008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 35531 33008 170 317 0 35210 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 142124 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1297408/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=245588 CPUtime=51.07 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 56194 0 0 0 5084 23 0 0 25 0 1 0 13757694 251482112 56119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273998 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 61397 56119 170 317 0 61076 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 245588 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1140928/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=416616 CPUtime=102.26 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 94915 0 0 0 10187 39 0 0 25 0 1 0 13757694 426614784 94840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 104154 94840 170 317 0 103833 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 416616 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=1052160/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=511584 CPUtime=162.23 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 117277 0 0 0 16174 49 0 0 25 0 1 0 13757694 523862016 117202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 127896 117202 170 317 0 127575 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 511584 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=977536/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=585212 CPUtime=222.21 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 135759 0 0 0 22165 56 0 0 25 0 1 0 13757694 599257088 135571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 146303 135571 170 317 0 145982 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 585212 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=921664/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=652764 CPUtime=282.19 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 151595 0 0 0 28156 63 0 0 25 0 1 0 13757694 668430336 149625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 163191 149625 170 317 0 162870 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 652764 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=844416/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=761848 CPUtime=342.16 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 176358 0 0 0 34144 72 0 0 25 0 1 0 13757694 780132352 168811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 190462 168811 170 317 0 190141 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 761848 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=790016/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=820988 CPUtime=402.14 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 191089 0 0 0 40133 81 0 0 25 0 1 0 13757694 840691712 182453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 205247 182453 170 317 0 204926 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 820988 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=759808/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=849184 CPUtime=462.12 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 198493 0 0 0 46128 84 0 0 25 0 1 0 13757694 869564416 189857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 212296 189857 170 317 0 211975 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 849184 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=731136/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=877600 CPUtime=522.09 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 205757 0 0 0 52122 87 0 0 25 0 1 0 13757694 898662400 197121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 219400 197121 170 317 0 219079 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 877600 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=697216/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=914924 CPUtime=582.08 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 215020 0 0 0 58117 91 0 0 25 0 1 0 13757694 936882176 205526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 228731 205526 170 317 0 228410 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 914924 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=664000/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=949252 CPUtime=642.06 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 223670 0 0 0 64111 95 0 0 25 0 1 0 13757694 972034048 213747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 237313 213747 170 317 0 236992 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 949252 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=501248/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1113896 CPUtime=941.94 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 265423 0 0 0 94080 114 0 0 25 0 1 0 13757694 1140629504 254845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 278474 254845 170 317 0 278153 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 1113896 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=325056/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1305540 CPUtime=1001.92 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 308900 0 0 0 100062 130 0 0 25 0 1 0 13757694 1336872960 298322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 326385 298322 170 317 0 326064 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1305540 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=231104/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1404064 CPUtime=1061.9 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 332423 0 0 0 106050 140 0 0 25 0 1 0 13757694 1437761536 321845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 351016 321845 170 317 0 350695 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1404064 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=175232/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1482204 CPUtime=1121.88 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 351748 0 0 0 112039 149 0 0 25 0 1 0 13757694 1517776896 335710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 370551 335710 170 317 0 370230 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1482204 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=117568/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1566352 CPUtime=1181.85 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 372247 0 0 0 118028 157 0 0 25 0 1 0 13757694 1603944448 350164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 391588 350164 170 317 0 391267 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1566352 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=98304/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1608992 CPUtime=1241.84 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 382678 0 0 0 124022 162 0 0 25 0 1 0 13757694 1647607808 354940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 402248 354940 170 317 0 401927 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1608992 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=76160/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1640116 CPUtime=1301.82 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 390488 0 0 0 130017 165 0 0 25 0 1 0 13757694 1679478784 360345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 410029 360345 170 317 0 409708 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1640116 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=51840/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1666424 CPUtime=1361.79 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 396599 0 0 0 136011 168 0 0 25 0 1 0 13757694 1706418176 366423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 416606 366423 170 317 0 416285 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1666424 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=31104/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1693500 CPUtime=1421.77 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 403472 0 0 0 142006 171 0 0 25 0 1 0 13757694 1734144000 371606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 423375 371606 170 317 0 423054 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1693500 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15488/2055920 swapFree=4192956/4192956 [pid=31790] ppid=31788 vsize=1712680 CPUtime=1481.75 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 408552 0 0 0 148001 174 0 0 25 0 1 0 13757694 1753784320 376686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 428170 376686 170 317 0 427849 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1712680 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15360/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=1729856 CPUtime=1541.71 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 413184 0 0 0 153994 177 0 0 25 0 1 0 13757694 1771372544 381318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 432464 381318 170 317 0 432143 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1729856 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=14848/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=1752548 CPUtime=1601.66 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 419081 0 0 0 159987 179 0 0 25 0 1 0 13757694 1794609152 386565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 438137 386565 170 317 0 437816 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 1752548 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15488/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=1774676 CPUtime=1661.64 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 424638 0 0 0 165982 182 0 0 25 0 1 0 13757694 1817268224 390692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 443669 390692 170 317 0 443348 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 1774676 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15744/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=1798564 CPUtime=1721.62 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 430707 0 0 0 171977 185 0 0 25 0 1 0 13757694 1841729536 395331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 449641 395331 170 317 0 449320 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1798564 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15232/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=1815624 CPUtime=1781.59 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 435098 0 0 0 177972 187 0 0 25 0 1 0 13757694 1859198976 399657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 453906 399657 170 317 0 453585 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 1815624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15424/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=1821080 CPUtime=1800.09 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 436552 0 0 0 179821 188 0 0 25 0 1 0 13757694 1864785920 401111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 455270 401111 170 317 0 454949 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1821080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15424/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=0 CPUtime=1800.69 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194308 436587 0 0 0 179875 194 0 0 25 0 1 0 13757694 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 0 [startup+1801.6 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31791 /proc/meminfo: memFree=15424/2055920 swapFree=4192024/4192956 [pid=31790] ppid=31788 vsize=0 CPUtime=1800.89 /proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194308 436587 0 0 0 179875 214 0 0 25 0 1 0 13757694 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.61 CPU time (s): 1800.9 CPU user time (s): 1798.75 CPU system time (s): 2.15067 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 1821080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.75 system time used= 2.15067 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 436587 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= 2636 runsolver used 2.15067 second user time and 4.40933 second system time The end
Begin job on node40 on Tue Apr 17 22:26:21 UTC 2007 IDJOB= 356933 IDBENCH= 1657 IDSOLVER= 172 FILE ID= node40/356933-1176848781 PBS_JOBID= 4590176 Free space on /tmp= 66545 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb COMMAND LINE= oree /tmp/evaluation/356933-1176848781/instance-356933-1176848781.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-356933-1176848781 -o ROOT/results/node40/solver-356933-1176848781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356933-1176848781/instance-356933-1176848781.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e0d3bc77812df02cd6843b358116eb3f RANDOM SEED= 734802331 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1521056 kB Buffers: 41112 kB Cached: 322416 kB SwapCached: 0 kB Active: 77744 kB Inactive: 388184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1521056 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2552 kB Writeback: 0 kB Mapped: 121288 kB Slab: 54372 kB Committed_AS: 246888 kB PageTables: 1864 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= 66545 MiB End job on node40 on Tue Apr 17 22:56:24 UTC 2007