Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 2 | 1798 | 1797.96 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1320.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3768 |
Number of bits of the biggest sum of numbers | 12 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3463191-1307179346.opb 0.00/0.00 c File size is 5459 bytes. 0.00/0.00 c Highest Coefficient sum: 3768 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 162 0.00/0.00 c Obj. Vars: 80 (66.6667 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 10 558 55 164 1116 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1090 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 11 638 58 427 1276 1 -2147483648 0.00 0.00/0.00 o 1016 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 15 120 36 2072 57 617 1276 26 5000 0.00 0.00/0.00 o 1013 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 22 120 50 2766 55 763 1276 40 5500 0.00 0.00/0.00 o 995 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 23 120 52 2880 55 825 1276 42 5750 0.00 0.00/0.01 o 993 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 37 120 68 3908 57 939 1276 58 5285 0.01 0.00/0.01 o 971 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 39 120 73 4177 57 1025 1276 63 5571 0.01 0.00/0.01 o 969 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 40 120 75 4327 57 1097 1276 65 5000 0.01 0.00/0.01 o 967 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 71 120 121 6944 57 1352 1276 111 5071 0.01 0.00/0.02 o 774 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 96 120 155 8737 56 1418 1276 145 5052 0.02 0.00/0.02 o 770 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 99 120 160 9016 56 1513 1276 150 5210 0.02 0.00/0.02 o 768 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 109 120 173 9741 56 1564 1276 163 5190 0.02 0.00/0.02 o 290 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 109 120 174 9821 56 1524 1276 164 5190 0.02 0.00/0.02 o 277 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 112 120 179 10060 56 1555 1276 169 5090 0.02 0.00/0.02 o 253 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 113 120 181 10167 56 1628 1276 171 5136 0.02 0.00/0.02 o 245 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 114 120 183 10300 56 1703 1276 173 4956 0.02 0.00/0.02 o 237 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 121 120 192 10607 55 1786 1276 182 5041 0.02 0.00/0.02 o 235 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 125 120 197 10920 55 1855 1276 187 5208 0.02 0.00/0.03 o 116 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 184 120 265 13059 49 1998 1276 255 5750 0.03 0.00/0.03 o 114 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 199 120 282 13773 48 2085 1276 272 5852 0.03 0.00/0.04 o 112 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 283 116 373 16692 44 2283 1268 363 6288 0.04 0.00/0.05 o 110 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 292 116 383 17037 44 2371 1268 373 6347 0.05 0.00/0.05 o 108 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 347 116 440 18646 42 2539 1268 430 6425 0.05 0.00/0.05 o 106 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 348 116 442 18791 42 2616 1268 432 6444 0.05 0.29/0.32 c 449 115 546 21478 39 2877 1395 536 6701 0.07 0.29/0.32 c 700 115 807 27989 34 3383 1535 797 7216 0.10 0.29/0.32 c 1177 115 1311 41251 31 4419 1689 1301 7402 0.16 0.29/0.32 c 1995 115 1291 35744 27 3064 1858 1281 7307 0.27 0.29/0.32 o 98 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 2279 115 1598 45847 28 3788 1266 1588 7189 0.32 0.29/0.35 c 2379 115 762 23944 31 2034 1393 752 7144 0.33 0.29/0.35 o 91 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 2482 115 876 28185 32 2385 1266 866 7152 0.35 0.29/0.35 o 89 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 2517 115 915 29272 31 2533 1266 905 7150 0.35 0.29/0.36 o 87 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 2532 115 931 30036 32 2638 1266 921 7132 0.35 0.39/0.43 c 2632 114 1031 32660 31 2836 1393 1021 7171 0.37 0.39/0.43 c 2882 113 1290 39368 30 3353 1533 1280 7205 0.40 0.39/0.43 o 85 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 3094 113 1512 45864 30 3874 1262 1502 7162 0.43 0.39/0.46 c 3196 113 763 22263 29 1979 1389 753 7133 0.45 0.39/0.46 o 83 1.68/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.72 c 3271 113 845 24736 29 2225 1262 835 7157 0.46 1.68/1.72 c 3372 113 952 27522 28 2467 1389 942 7189 0.47 1.68/1.72 c 3623 113 1212 34289 28 2979 1528 1202 7246 0.50 1.68/1.72 c 4098 113 914 23646 25 2227 1681 904 7278 0.56 1.68/1.72 c 4911 113 875 22042 25 2148 1850 865 7384 0.67 1.68/1.72 c 6231 113 1282 33464 26 2965 2036 1272 7471 0.83 1.68/1.72 c 8313 113 1305 34448 26 3012 2240 1295 7523 1.10 1.68/1.72 c 11537 113 1195 32605 27 2796 2465 1185 7433 1.55 1.68/1.72 o 73 1.68/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.74 c 12743 113 2444 69103 28 5415 1262 2434 7391 1.72 1.68/1.74 o 71 1.68/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.74 c 12764 113 673 19436 28 1822 1262 663 7361 1.73 1.68/1.74 o 69 1.68/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.74 c 12771 113 682 19781 29 1919 1262 672 7360 1.74 1.68/1.74 o 67 1.68/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.74 c 12778 113 690 20145 29 2006 1262 680 7360 1.74 1.68/1.74 o 65 1.88/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.93 c 12801 113 715 21463 30 2137 1262 705 7356 1.74 1.88/1.93 c 12902 113 820 24526 29 2348 1389 810 7347 1.76 1.88/1.93 c 13154 113 1076 32395 30 2846 1528 1066 7319 1.80 1.88/1.93 c 13629 113 782 22693 29 1967 1681 772 7268 1.88 1.88/1.93 o 56 1.88/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.94 c 14001 113 1174 35651 30 2849 1262 1164 7239 1.93 1.88/1.94 o 54 1.88/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.94 c 14002 113 1176 35784 30 2922 1262 1166 7236 1.94 1.88/1.94 o 52 1.98/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.08 c 14007 113 1184 36197 30 3021 1262 1174 7235 1.94 1.98/2.08 c 14107 107 655 20595 31 1710 1389 645 7223 1.95 1.98/2.08 c 14357 107 909 27391 30 2218 1528 899 7214 1.99 1.98/2.08 c 14832 103 1389 40939 29 3187 1681 1379 7193 2.06 1.98/2.08 o 47 1.98/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.09 c 14931 102 1489 43514 29 3445 1240 1479 7185 2.08 1.98/2.09 o 45 1.98/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.09 c 14964 102 685 18691 27 1815 1240 675 7180 2.08 1.98/2.09 o 41 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 14970 102 692 19034 27 1889 1240 682 7179 2.08 2.09/2.14 c 15070 100 793 21669 27 2087 1365 783 7179 2.10 2.09/2.14 c 15320 100 1048 28544 27 2602 1502 1038 7182 2.13 2.09/2.14 o 34 2.09/2.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.17 c 15331 100 1060 28853 27 2688 1236 1050 7184 2.13 2.09/2.17 c 15432 100 1162 31571 27 2886 1360 1152 7184 2.15 2.09/2.17 o 29 2.09/2.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.17 c 15595 100 1326 35991 27 3273 1236 1316 7186 2.17 2.09/2.17 o 25 4.89/4.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.90 c 15605 95 660 17042 25 1753 1226 650 7181 2.17 4.89/4.90 c 15706 90 763 19967 26 1954 1349 753 7181 2.19 4.89/4.90 c 15956 90 1014 27645 27 2452 1484 1004 7187 2.22 4.89/4.90 c 16431 90 1489 42296 28 3409 1633 1479 7197 2.28 4.89/4.90 c 17244 90 1457 43107 29 3281 1797 1447 7196 2.40 4.89/4.90 c 18564 90 940 28801 30 2249 1977 930 7175 2.59 4.89/4.90 c 20645 90 2009 59234 29 4382 2175 1999 7155 2.88 4.89/4.90 c 23868 90 1884 58928 31 4139 2393 1874 7086 3.37 4.89/4.90 c 28804 90 1926 58954 30 4215 2633 1916 7063 4.08 4.89/4.90 o 23 4.89/4.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.91 c 34450 90 2214 68081 30 4858 1216 2204 7034 4.90 4.89/4.91 o 21 7.18/7.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.24 c 34500 90 701 21987 31 1816 1216 691 7030 4.91 7.18/7.24 c 34600 90 801 24988 31 2008 1338 791 7032 4.92 7.18/7.24 c 34850 90 1052 32756 31 2518 1472 1042 7034 4.95 7.18/7.24 c 35326 90 777 23310 30 1920 1620 767 7037 5.02 7.18/7.24 c 36139 90 1595 48219 30 3556 1783 1585 7044 5.13 7.18/7.24 c 37460 90 1090 30670 28 2546 1962 1080 7051 5.31 7.18/7.24 c 39541 90 1159 34204 29 2686 2159 1149 7081 5.58 7.18/7.24 c 42764 90 2178 65288 29 4717 2375 2168 7114 6.01 7.18/7.24 c 47700 90 2266 67805 29 4895 2613 2256 7083 6.73 7.18/7.24 o 19 8.49/8.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.51 c 51009 90 1566 45979 29 3546 1216 1556 7046 7.24 8.49/8.51 c 51109 90 749 21537 28 1859 1338 739 7047 7.25 8.49/8.51 c 51360 90 1000 28796 28 2360 1472 990 7055 7.28 8.49/8.51 c 51835 90 1477 42471 28 3321 1620 1467 7063 7.34 8.49/8.51 c 52648 90 1455 41805 28 3273 1783 1445 7066 7.45 8.49/8.51 c 53968 90 942 27124 28 2253 1962 932 7053 7.65 8.49/8.51 c 56049 90 1022 28982 28 2414 2159 1012 7031 7.97 8.49/8.51 c 59272 90 2036 58625 28 4441 2375 2026 7023 8.44 8.49/8.51 o 15 9.79/9.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.83 c 59657 90 1229 35236 28 2824 1216 1219 7012 8.51 9.79/9.83 c 59758 84 717 20458 28 1784 1338 707 7012 8.52 9.79/9.83 c 60008 80 967 28048 29 2279 1472 957 7013 8.56 9.79/9.83 c 60483 80 1442 43044 29 3228 1620 1432 7016 8.62 9.79/9.83 c 61297 80 1419 43377 30 3182 1783 1409 7019 8.73 9.79/9.83 c 62617 80 1825 57572 31 3999 1962 1815 7020 8.92 9.79/9.83 c 64698 80 1886 59564 31 4116 2159 1876 7015 9.22 9.79/9.83 c 67921 80 1795 56614 31 3940 2375 1785 7011 9.69 9.79/9.83 o 14 11.59/11.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.59/11.67 c 68849 80 1509 46125 30 3400 1196 1499 7000 9.84 11.59/11.67 c 68949 80 749 21678 28 1839 1316 739 6999 9.85 11.59/11.67 c 69199 80 999 29148 29 2335 1448 989 7003 9.88 11.59/11.67 c 69674 80 1474 43460 29 3289 1593 1464 7005 9.95 11.59/11.67 c 70488 80 1468 43333 29 3277 1753 1458 7008 10.06 11.59/11.67 c 71809 80 985 28877 29 2315 1929 975 7007 10.25 11.59/11.67 c 73890 80 1090 33392 30 2512 2122 1080 7014 10.53 11.59/11.67 c 77114 80 2145 67575 31 4625 2335 2135 7018 10.99 11.59/11.67 o 13 18.70/18.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.70/18.78 c 81551 80 1809 56707 31 3996 1196 1799 6988 11.67 18.70/18.78 c 81651 80 749 23197 30 1836 1316 739 6987 11.69 18.70/18.78 c 81901 80 999 30984 31 2337 1448 989 6989 11.72 18.70/18.78 c 82376 80 1475 46314 31 3286 1593 1465 6991 11.78 18.70/18.78 c 83189 80 1467 45959 31 3275 1753 1457 6994 11.89 18.70/18.78 c 84510 80 988 30324 30 2316 1929 978 6992 12.09 18.70/18.78 c 86592 80 1100 33989 30 2541 2122 1090 7002 12.37 18.70/18.78 c 89815 80 2148 65424 30 4638 2335 2138 7002 12.83 18.70/18.78 c 94751 80 2332 73292 31 5005 2569 2322 6994 13.55 18.70/18.78 c 102260 80 1967 61421 31 4273 2826 1957 6995 14.62 18.70/18.78 c 113621 80 1803 56955 31 3947 3109 1793 6933 16.39 18.70/18.78 o 12 18.89/18.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.89/18.95 c 128272 80 2240 71487 31 4863 1196 2230 6829 18.78 18.89/18.95 c 128372 80 749 22689 30 1838 1316 739 6829 18.80 18.89/18.95 c 128622 80 999 30452 30 2335 1448 989 6830 18.83 18.89/18.95 c 129097 80 1474 45648 30 3289 1593 1464 6833 18.89 18.89/18.95 o 9 58.98/59.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.98/59.03 c 129504 80 1059 32359 30 2506 1196 1049 6833 18.95 58.98/59.03 c 129604 80 1160 35458 30 2704 1316 1150 6833 18.96 58.98/59.03 c 129855 80 736 21884 29 1812 1448 726 6833 19.00 58.98/59.03 c 130331 80 1212 36834 30 2768 1593 1202 6837 19.06 58.98/59.03 c 131146 80 1208 36185 29 2755 1753 1198 6841 19.17 58.98/59.03 c 132466 80 1624 49622 30 3584 1929 1614 6846 19.35 58.98/59.03 c 134548 80 1722 53068 30 3785 2122 1712 6848 19.65 58.98/59.03 c 137773 80 1698 52694 31 3737 2335 1688 6846 20.12 58.98/59.03 c 142710 80 1855 58673 31 4049 2569 1845 6843 20.85 58.98/59.03 c 150216 80 1499 47470 31 3335 2826 1489 6831 21.99 58.98/59.03 c 161581 80 2799 86186 30 5939 3109 2789 6798 23.77 58.98/59.03 c 178725 80 2559 79654 31 5454 3420 2549 6759 26.44 58.98/59.03 c 204545 80 2322 72128 31 4985 3763 2312 6630 30.85 58.98/59.03 c 243377 80 3025 94831 31 6392 4140 3015 6549 37.16 58.98/59.03 c 301730 80 2681 80733 30 5702 4555 2671 6489 46.50 58.98/59.03 o 8 74.48/74.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.48/74.56 c 376549 80 3812 118109 30 8003 1196 3802 6379 59.02 74.48/74.56 c 376649 75 749 22482 30 1829 1316 739 6379 59.04 74.48/74.56 c 376899 73 999 29880 29 2321 1448 989 6380 59.08 74.48/74.56 c 377375 73 1475 44472 30 3275 1593 1465 6381 59.14 74.48/74.56 c 378188 71 1466 43174 29 3254 1753 1456 6383 59.24 74.48/74.56 c 379508 70 983 29241 29 2285 1929 973 6387 59.41 74.48/74.56 c 381589 70 1081 31401 29 2482 2122 1071 6394 59.67 74.48/74.56 c 384813 70 2135 60916 28 4595 2335 2125 6405 60.08 74.48/74.56 c 389750 70 2308 70513 30 4939 2569 2298 6417 60.73 74.48/74.56 c 397256 70 1949 57638 29 4226 2826 1939 6432 61.76 74.48/74.56 c 408617 70 1797 55113 30 3917 3109 1787 6448 63.36 74.48/74.56 c 425762 70 3162 96388 30 6650 3420 3152 6460 65.90 74.48/74.56 c 451582 70 2942 92706 31 6207 3763 2932 6469 69.80 74.48/74.56 o 7 94.17/94.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 94.17/94.25 c 482102 70 3015 93756 31 6381 1176 3005 6467 74.55 94.17/94.25 c 482202 70 749 22352 29 1805 1294 739 6466 74.56 94.17/94.25 c 482452 70 999 29836 29 2314 1424 989 6467 74.59 94.17/94.25 c 482928 70 1475 44190 29 3262 1567 1465 6468 74.65 94.17/94.25 c 483741 70 1487 44117 29 3283 1724 1477 6471 74.75 94.17/94.25 c 485061 70 1037 29896 28 2381 1897 1027 6474 74.92 94.17/94.25 c 487143 70 1176 33839 28 2657 2087 1166 6479 75.18 94.17/94.25 c 490366 70 1186 35571 29 2684 2296 1176 6485 75.60 94.17/94.25 c 495302 70 1438 40657 28 3191 2526 1428 6497 76.23 94.17/94.25 c 502808 70 2505 75196 30 5321 2779 2495 6505 77.28 94.17/94.25 c 514169 70 2546 75643 29 5398 3057 2536 6514 78.93 94.17/94.25 c 531313 70 2611 77997 29 5535 3363 2601 6524 81.43 94.17/94.25 c 557133 70 2828 82197 29 5969 3700 2818 6534 85.26 94.17/94.25 c 595965 70 2279 66170 29 4872 4071 2269 6541 91.11 94.17/94.25 o 4 1376.52/1376.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1376.52/1376.53 c 616162 70 3949 113153 28 8241 1176 3939 6538 94.24 1376.52/1376.53 c 616262 70 749 20628 27 1809 1294 739 6537 94.27 1376.52/1376.53 c 616512 70 999 27157 27 2309 1424 989 6538 94.29 1376.52/1376.53 c 616988 70 1475 39670 26 3261 1567 1465 6539 94.35 1376.52/1376.53 c 617801 69 1476 39194 26 3258 1724 1466 6542 94.44 1376.52/1376.53 c 619121 67 1020 29289 28 2348 1897 1010 6544 94.60 1376.52/1376.53 c 621202 67 1160 31418 27 2625 2087 1150 6549 94.84 1376.52/1376.53 c 624425 66 1182 31435 26 2669 2296 1172 6555 95.25 1376.52/1376.53 c 629362 66 1426 40384 28 3157 2526 1416 6563 95.89 1376.52/1376.53 c 636868 64 2484 71418 28 5268 2779 2474 6573 96.89 1376.52/1376.53 c 648230 64 2523 73949 29 5352 3057 2513 6587 98.40 1376.52/1376.53 c 665374 62 2565 74706 29 5430 3363 2555 6596 100.86 1376.52/1376.53 c 691193 62 2806 81139 28 5908 3700 2796 6608 104.59 1376.52/1376.53 c 730027 61 2264 67878 29 4823 4071 2254 6602 110.56 1376.52/1376.53 c 788380 61 2957 86075 29 6214 4479 2947 6572 119.96 1376.52/1376.53 c 876012 61 4541 140063 30 9370 4927 4531 6497 134.82 1376.52/1376.53 c 1007567 61 4227 127898 30 8751 5420 4217 6403 157.34 1376.52/1376.53 c 1205001 61 4752 144746 30 9800 5963 4742 6212 193.96 1376.52/1376.53 c 1501253 61 3441 104709 30 7177 6560 3431 5970 251.46 1376.52/1376.53 c 1945735 60 5053 154823 30 10399 7217 5043 5743 338.77 1376.52/1376.53 c 2612562 60 7137 208734 29 14567 7939 7127 5434 480.75 1376.52/1376.53 c 3612908 60 5248 155424 29 10790 8733 5238 5161 699.99 1376.52/1376.53 c 5113530 60 4500 140511 31 9287 9607 4490 4883 1047.16 1376.52/1376.53 o 3 1520.14/1520.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1520.14/1520.11 c 6467192 60 6546 191780 29 13405 1156 6536 4698 1376.56 1520.14/1520.11 c 6467292 60 749 20828 27 1781 1272 739 4697 1376.61 1520.14/1520.11 c 6467543 60 1000 27822 27 2284 1400 990 4698 1376.64 1520.14/1520.11 c 6468018 60 771 20733 26 1821 1541 761 4698 1376.70 1520.14/1520.11 c 6468831 60 1584 44131 27 3450 1696 1574 4698 1376.80 1520.14/1520.11 c 6470151 60 1160 33305 28 2600 1866 1150 4698 1376.96 1520.14/1520.11 c 6472232 60 1330 38241 28 2944 2053 1320 4699 1377.22 1520.14/1520.11 c 6475455 60 1409 37996 26 3092 2259 1399 4700 1377.61 1520.14/1520.11 c 6480391 60 1721 46909 27 3718 2485 1711 4702 1378.20 1520.14/1520.11 c 6487899 60 1643 48379 29 3572 2734 1633 4703 1379.25 1520.14/1520.11 c 6499261 60 1869 55852 29 4019 3008 1859 4706 1380.82 1520.14/1520.11 c 6516406 60 2200 66641 30 4688 3309 2190 4710 1383.32 1520.14/1520.11 c 6542226 60 2819 86411 30 5923 3640 2809 4715 1387.26 1520.14/1520.11 c 6581059 60 2933 86915 29 6149 4005 2923 4723 1393.15 1520.14/1520.11 c 6639411 60 2500 74376 29 5286 4406 2490 4733 1402.54 1520.14/1520.11 c 6727044 60 3252 98926 30 6788 4847 3242 4747 1417.08 1520.14/1520.11 c 6858596 60 2620 79916 30 5518 5332 2610 4763 1439.88 1520.14/1520.11 c 7056028 60 3588 109090 30 7462 5866 3578 4781 1475.80 1520.14/1520.11 o 2 1797.93/1797.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1797.96 c 7302878 60 4922 142859 29 10145 1156 4912 4804 1520.14 1797.93/1797.96 c 7302978 60 749 20658 27 1785 1272 739 4804 1520.17 1797.93/1797.96 c 7303228 60 999 28142 28 2279 1400 989 4804 1520.20 1797.93/1797.96 c 7303703 60 771 20881 27 1827 1541 761 4804 1520.26 1797.93/1797.96 c 7304517 60 1585 44506 28 3454 1696 1575 4804 1520.36 1797.93/1797.96 c 7305837 60 1164 32820 28 2612 1866 1154 4804 1520.52 1797.93/1797.96 c 7307918 60 1338 38058 28 2956 2053 1328 4805 1520.79 1797.93/1797.96 c 7311142 60 1403 41234 29 3094 2259 1393 4806 1521.21 1797.93/1797.96 c 7316078 60 1712 49040 28 3707 2485 1702 4807 1521.89 1797.93/1797.96 c 7323584 60 1602 46382 28 3489 2734 1592 4808 1522.93 1797.93/1797.96 c 7334946 60 1818 52364 28 3917 3008 1808 4811 1524.42 1797.93/1797.96 c 7352091 60 2145 61823 28 4574 3309 2135 4815 1526.85 1797.93/1797.96 c 7377912 59 2783 84381 30 5850 3640 2773 4819 1530.69 1797.93/1797.96 c 7416744 58 2866 83278 29 6010 4005 2856 4826 1536.70 1797.93/1797.96 c 7475096 57 2454 73454 29 5184 4406 2444 4835 1545.87 1797.93/1797.96 c 7562728 56 3233 96707 29 6739 4847 3223 4847 1560.07 1797.93/1797.96 c 7694280 56 2557 76943 30 5393 5332 2547 4860 1582.96 1797.93/1797.96 c 7891712 54 3513 96352 27 7296 5866 3503 4879 1617.29 1797.93/1797.96 c 8187965 54 4100 123954 30 8475 6453 4090 4889 1674.59 1797.93/1797.96 c 8632447 54 6417 194886 30 13100 7099 6407 4894 1763.73 1797.93/1797.96 c Resources Exceeded 1797.93/1797.96 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 -x85 x86 -x87 -x88 -x89 x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x90 1797.93/1797.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1797.96 c 227 8799388 23680 8829769 5372 165673 5362 4893 1798.00 1797.93/1797.96 c Objective: 2 1797.93/1797.96 s SATISFIABLE 1797.93/1797.96 c Total time: 1798 s
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463191-1307179346/watcher-3463191-1307179346 -o /tmp/evaluation-result-3463191-1307179346/solver-3463191-1307179346 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463191-1307179346.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.03 2.00 2/373 20809 /proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=18600 CPUtime=0 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 298 0 0 0 0 0 0 0 25 0 1 0 829535062 19046400 251 33554432000 134512640 137138936 4287474096 18446744073709551615 136505207 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 4650 251 192 642 0 4006 0 [startup+0.0926209 s] /proc/loadavg: 2.05 2.03 2.00 2/373 20809 /proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=11172 CPUtime=0.08 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 394 0 0 0 8 0 0 0 25 0 1 0 829535062 11440128 347 33554432000 134512640 137138936 4287474096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 2793 348 192 642 0 2149 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11172 [startup+0.100586 s] /proc/loadavg: 2.05 2.03 2.00 2/373 20809 /proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=11172 CPUtime=0.09 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 401 0 0 0 9 0 0 0 25 0 1 0 829535062 11440128 354 33554432000 134512640 137138936 4287474096 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 2793 354 192 642 0 2149 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11172 [startup+0.300586 s] /proc/loadavg: 2.05 2.03 2.00 2/373 20809 /proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=11680 CPUtime=0.29 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 512 0 0 0 29 0 0 0 25 0 1 0 829535062 11960320 465 33554432000 134512640 137138936 4287474096 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 2920 465 192 642 0 2276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11680 [startup+0.700505 s] /proc/loadavg: 2.05 2.03 2.00 2/373 20809 /proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=11680 CPUtime=0.69 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 512 0 0 0 69 0 0 0 25 0 1 0 829535062 11960320 465 33554432000 134512640 137138936 4287474096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 2920 465 192 642 0 2276 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11680 [startup+1.50036 s] /proc/loadavg: 2.05 2.03 2.00 3/374 20810 /proc/meminfo: memFree=22761772/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=11808 CPUtime=1.48 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 554 0 0 0 148 0 0 0 25 0 1 0 829535062 12091392 507 33554432000 134512640 137138936 4287474096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 2952 507 192 642 0 2308 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11808 [startup+3.10108 s] /proc/loadavg: 2.05 2.03 2.00 3/374 20810 /proc/meminfo: memFree=22760656/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=11936 CPUtime=3.09 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 578 0 0 0 308 1 0 0 25 0 1 0 829535062 12222464 531 33554432000 134512640 137138936 4287474096 18446744073709551615 134599660 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 2984 531 192 642 0 2340 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11936 [startup+6.30048 s] /proc/loadavg: 2.04 2.03 2.00 4/374 20810 /proc/meminfo: memFree=22760160/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=12060 CPUtime=6.28 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 629 0 0 0 626 2 0 0 25 0 1 0 829535062 12349440 582 33554432000 134512640 137138936 4287474096 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 3015 582 192 642 0 2371 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12060 [startup+12.7003 s] /proc/loadavg: 2.04 2.03 2.00 3/374 20810 /proc/meminfo: memFree=22759636/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=12060 CPUtime=12.69 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 629 0 0 0 1265 4 0 0 25 0 1 0 829535062 12349440 582 33554432000 134512640 137138936 4287474096 18446744073709551615 134618927 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 3015 582 192 642 0 2371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12060 [startup+25.5009 s] /proc/loadavg: 2.03 2.03 2.00 3/374 20810 /proc/meminfo: memFree=22758748/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=12432 CPUtime=25.49 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 706 0 0 0 2541 8 0 0 25 0 1 0 829535062 12730368 659 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20809/statm: 3108 659 192 642 0 2464 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12432 [startup+51.1003 s] /proc/loadavg: 2.02 2.02 2.00 3/374 20811 /proc/meminfo: memFree=22757724/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13180 CPUtime=51.07 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 890 0 0 0 5089 18 0 0 25 0 1 0 829535062 13496320 843 33554432000 134512640 137138936 4287474096 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3295 843 192 642 0 2651 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13180 [startup+102.313 s] /proc/loadavg: 2.01 2.02 2.00 3/374 20812 /proc/meminfo: memFree=22757592/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13064 CPUtime=102.28 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 897 0 0 0 10189 39 0 0 25 0 1 0 829535062 13377536 841 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3266 841 192 642 0 2622 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 13064 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/374 20814 /proc/meminfo: memFree=22756464/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13448 CPUtime=162.28 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 984 0 0 0 16168 60 0 0 25 0 1 0 829535062 13770752 928 33554432000 134512640 137138936 4287474096 18446744073709551615 136504482 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3362 928 192 642 0 2718 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 13448 [startup+222.301 s] /proc/loadavg: 2.10 2.04 2.01 3/374 20815 /proc/meminfo: memFree=22756060/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13800 CPUtime=222.28 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1073 0 0 0 22147 81 0 0 25 0 1 0 829535062 14131200 1017 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3450 1017 192 642 0 2806 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 13800 [startup+282.301 s] /proc/loadavg: 2.03 2.03 2.00 3/374 20817 /proc/meminfo: memFree=22755300/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14160 CPUtime=282.28 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1152 0 0 0 28128 100 0 0 25 0 1 0 829535062 14499840 1096 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3540 1096 192 642 0 2896 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 14160 [startup+342.301 s] /proc/loadavg: 2.01 2.02 2.00 3/374 20819 /proc/meminfo: memFree=22755016/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14420 CPUtime=342.29 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1231 0 0 0 34111 118 0 0 25 0 1 0 829535062 14766080 1175 33554432000 134512640 137138936 4287474096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3605 1175 192 642 0 2961 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 14420 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/374 20820 /proc/meminfo: memFree=22754728/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14496 CPUtime=402.29 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1244 0 0 0 40094 135 0 0 25 0 1 0 829535062 14843904 1188 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3624 1188 192 642 0 2980 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 14496 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 20822 /proc/meminfo: memFree=22754700/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14496 CPUtime=462.29 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1244 0 0 0 46080 149 0 0 25 0 1 0 829535062 14843904 1188 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3624 1188 192 642 0 2980 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 14496 [startup+522.3 s] /proc/loadavg: 2.11 2.04 2.01 3/374 20823 /proc/meminfo: memFree=22754296/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14840 CPUtime=522.29 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1328 0 0 0 52063 166 0 0 25 0 1 0 829535062 15196160 1272 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3710 1272 192 642 0 3066 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 14840 [startup+582.3 s] /proc/loadavg: 2.04 2.03 2.00 3/374 20825 /proc/meminfo: memFree=22753524/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14840 CPUtime=582.3 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1336 0 0 0 58046 184 0 0 25 0 1 0 829535062 15196160 1280 33554432000 134512640 137138936 4287474096 18446744073709551615 134542220 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3710 1280 192 642 0 3066 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 14840 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=22751920/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15760 CPUtime=1062.3 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 105919 311 0 0 25 0 1 0 829535062 16138240 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3940 1495 192 642 0 3296 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 15760 [startup+1122.3 s] /proc/loadavg: 2.07 2.03 2.01 3/374 20839 /proc/meminfo: memFree=22751892/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15752 CPUtime=1122.31 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 111905 326 0 0 25 0 1 0 829535062 16130048 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3938 1495 192 642 0 3294 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 15752 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/374 20841 /proc/meminfo: memFree=22751496/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15744 CPUtime=1182.31 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 117890 341 0 0 25 0 1 0 829535062 16121856 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3936 1495 192 642 0 3292 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 15744 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/374 20843 /proc/meminfo: memFree=22751216/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15732 CPUtime=1242.31 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 123876 355 0 0 25 0 1 0 829535062 16109568 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3933 1495 192 642 0 3289 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 15732 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 20844 /proc/meminfo: memFree=22751060/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15720 CPUtime=1302.32 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 129862 370 0 0 25 0 1 0 829535062 16097280 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3930 1495 192 642 0 3286 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 15720 [startup+1362.3 s] /proc/loadavg: 2.03 2.02 2.00 3/374 20846 /proc/meminfo: memFree=22750904/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15712 CPUtime=1362.32 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 135849 383 0 0 25 0 1 0 829535062 16089088 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134618093 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3928 1495 192 642 0 3284 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 15712 [startup+1422.31 s] /proc/loadavg: 2.01 2.02 2.00 3/374 20847 /proc/meminfo: memFree=22751608/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15240 CPUtime=1422.33 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 141829 404 0 0 25 0 1 0 829535062 15605760 1385 33554432000 134512640 137138936 4287474096 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3810 1385 192 642 0 3166 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 15240 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 20849 /proc/meminfo: memFree=22751716/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=15240 CPUtime=1482.32 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 147808 424 0 0 25 0 1 0 829535062 15605760 1385 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3810 1385 192 642 0 3166 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 15240 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 20851 /proc/meminfo: memFree=22753300/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13740 CPUtime=1542.32 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 153788 444 0 0 25 0 1 0 829535062 14069760 1010 33554432000 134512640 137138936 4287474096 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3435 1010 192 642 0 2791 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 13740 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/374 20852 /proc/meminfo: memFree=22753028/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13740 CPUtime=1602.32 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 159768 464 0 0 25 0 1 0 829535062 14069760 1010 33554432000 134512640 137138936 4287474096 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3435 1010 192 642 0 2791 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 13740 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/374 20854 /proc/meminfo: memFree=22752372/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=13740 CPUtime=1662.33 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 165749 484 0 0 25 0 1 0 829535062 14069760 1010 33554432000 134512640 137138936 4287474096 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3435 1010 192 642 0 2791 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 13740 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/374 20936 /proc/meminfo: memFree=22741664/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14072 CPUtime=1722.33 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1623 0 0 0 171731 502 0 0 25 0 1 0 829535062 14409728 1082 33554432000 134512640 137138936 4287474096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3518 1082 192 642 0 2874 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 14072 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22719204/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1782.33 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 177710 523 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 14436 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.09 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22719204/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1785.53 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 178029 524 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 14436 [startup+1791.91 s] /proc/loadavg: 2.08 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22719576/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1791.94 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 178669 525 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 14436 [startup+1795.1 s] /proc/loadavg: 2.08 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22719568/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1795.14 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 178987 527 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 14436 [startup+1796.7 s] /proc/loadavg: 2.08 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22719568/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1796.73 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 179146 527 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 14436 [startup+1797.5 s] /proc/loadavg: 2.08 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22718824/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1797.53 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 179225 528 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 14436 [startup+1797.9 s] /proc/loadavg: 2.08 2.03 2.01 3/374 20938 /proc/meminfo: memFree=22718824/32951124 swapFree=37148216/67111528 [pid=20809] ppid=20807 vsize=14436 CPUtime=1797.93 cores=0,2,4,6 /proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 179265 528 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/20809/statm: 3609 1177 192 642 0 2965 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 14436 Child status: 0 Real time (s): 1797.96 CPU time (s): 1798 CPU user time (s): 1792.72 CPU system time (s): 5.2802 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 15768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.72 system time used= 5.2802 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1719 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= 4 involuntary context switches= 2797 runsolver used 6.60799 second user time and 13.108 second system time The end
Begin job on node104 at 2011-06-04 11:22:26 IDJOB=3463191 IDBENCH=2923 IDSOLVER=1955 FILE ID=node104/3463191-1307179346 RUNJOBID= node104-1307174925-20281 PBS_JOBID= 13508864 Free space on /tmp= 73952 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463191-1307179346/watcher-3463191-1307179346 -o /tmp/evaluation-result-3463191-1307179346/solver-3463191-1307179346 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463191-1307179346.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=1934814014 node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5293.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22763428 kB Buffers: 420068 kB Cached: 7649384 kB SwapCached: 163904 kB Active: 3782188 kB Inactive: 6067900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22763428 kB SwapTotal: 67111528 kB SwapFree: 37148216 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 1640236 kB Mapped: 11880 kB Slab: 182144 kB PageTables: 88800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 87739708 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node104 at 2011-06-04 11:52:24