Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 10 | 1798 | 1798.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 1791.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
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 | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4321 |
Number of bits of the biggest sum of numbers | 13 |
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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3734839-1338716858.opb 0.00/0.00 c File size is 7734 bytes. 0.00/0.00 c Highest Coefficient sum: 4321 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 220 0.00/0.00 c Obj. Vars: 96 (65.7534 % 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 146 12 784 65 226 1568 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1114 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 146 13 880 67 564 1760 1 -2147483648 0.00 0.00/0.00 o 950 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 34 146 51 3461 67 741 1760 39 6800 0.01 0.00/0.00 o 452 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 59 146 77 5103 66 818 1760 65 8428 0.01 0.00/0.01 o 400 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 113 146 132 7341 55 1009 1760 120 8692 0.01 0.00/0.02 o 293 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 159 146 179 9345 52 1165 1760 167 7950 0.02 0.00/0.02 o 292 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 211 146 233 12011 51 1326 1760 221 7814 0.03 0.00/0.03 o 291 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 284 146 307 14710 47 1583 1760 295 7888 0.04 0.05/0.09 c 384 146 414 20187 48 1844 1937 402 7529 0.05 0.05/0.09 c 634 146 669 32174 48 2378 2131 657 7044 0.09 0.05/0.09 o 283 0.05/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.10 c 653 146 689 33036 47 2467 1760 677 6946 0.09 0.05/0.10 o 281 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 677 146 714 34026 47 2589 1760 702 6908 0.10 0.09/0.10 o 279 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 690 146 729 34802 47 2702 1760 717 6900 0.10 0.09/0.14 c 790 146 831 39089 47 2990 1937 819 6869 0.12 0.09/0.14 o 271 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 940 146 984 45641 46 3360 1760 972 6811 0.14 0.09/0.15 c 1041 146 1086 49141 45 3560 1937 1074 6803 0.15 0.09/0.15 o 265 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 1050 146 1097 49873 45 3678 1760 1085 6774 0.15 0.09/0.19 c 1150 146 1203 55466 46 3984 1937 1191 6725 0.17 0.09/0.19 o 260 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 1277 146 1331 59496 44 4269 1760 1319 6792 0.19 0.09/0.19 o 258 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1306 146 1361 60837 44 4408 1760 1349 6766 0.19 0.19/0.21 o 256 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 1385 146 1442 64768 44 4696 1760 1430 6658 0.21 0.19/0.27 c 1485 146 1546 69456 44 4942 1937 1534 6570 0.23 0.19/0.27 c 1735 146 1799 78021 43 5445 2131 1787 6596 0.26 0.19/0.27 o 253 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 1783 146 1852 80971 43 5694 1760 1840 6507 0.27 0.19/0.28 o 250 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 1830 146 941 39148 41 2582 1760 929 6512 0.28 0.19/0.28 o 243 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 1839 146 951 39589 41 2687 1760 939 6498 0.28 0.29/0.30 c 1939 146 1055 46052 43 2941 1937 1043 6506 0.30 0.29/0.30 o 241 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1990 146 1107 48019 43 3131 1760 1095 6503 0.31 0.29/0.32 o 230 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 2088 146 1206 51476 42 3394 1760 1194 6545 0.32 0.29/0.32 o 226 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 2126 146 1245 53335 42 3589 1760 1233 6521 0.33 0.29/0.33 o 220 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2134 146 1254 53853 42 3706 1760 1242 6506 0.33 0.29/0.38 c 2236 146 1358 57960 42 3912 1937 1346 6481 0.34 0.29/0.38 o 213 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2438 146 1563 65880 42 4404 1760 1551 6449 0.38 0.29/0.38 o 211 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2439 146 1565 66055 42 4499 1760 1553 6435 0.38 0.29/0.38 o 209 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2446 146 1573 66391 42 4605 1760 1561 6436 0.38 0.29/0.38 o 205 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2451 146 1579 66735 42 4701 1760 1567 6416 0.38 0.29/0.38 o 203 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2457 146 1586 67068 42 4808 1760 1574 6415 0.38 0.29/0.38 o 201 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 2466 146 1597 67798 42 4943 1760 1585 6405 0.39 0.29/0.39 o 199 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 2509 146 1642 69874 42 5129 1760 1630 6368 0.39 0.39/0.40 o 181 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 2561 146 1697 71680 42 5327 1760 1685 6354 0.40 0.39/0.40 o 177 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 2561 146 1698 71776 42 5419 1760 1686 6339 0.40 0.39/0.40 o 173 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 2564 146 1702 72121 42 5521 1760 1690 6330 0.41 0.39/0.44 c 2664 146 893 39564 44 2419 1937 881 6238 0.43 0.39/0.44 o 140 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 2783 146 1013 43434 42 2753 1760 1001 6296 0.44 0.39/0.45 o 134 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 2860 146 1091 45759 41 3003 1760 1079 6341 0.45 0.39/0.45 o 132 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 2870 146 1102 46458 42 3119 1760 1090 6335 0.45 0.39/0.47 c 2970 146 1204 50586 42 3337 1937 1192 6346 0.47 0.39/0.47 o 123 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 3016 146 1252 52282 41 3530 1760 1240 6349 0.47 0.39/0.48 o 109 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 3093 145 1331 55427 41 3780 1758 1319 6351 0.49 0.39/0.49 o 101 0.58/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.58/0.60 c 3112 145 1351 56114 41 3907 1758 1339 6351 0.49 0.58/0.60 c 3212 144 1452 60202 41 4112 1934 1440 6373 0.50 0.58/0.60 c 3462 142 1703 69708 40 4616 2128 1691 6317 0.55 0.58/0.60 o 83 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 3801 142 2048 83187 40 5441 1752 2036 6272 0.61 0.79/0.83 c 3901 140 994 37419 37 2568 1928 982 6291 0.62 0.79/0.83 c 4151 139 1246 45692 36 3078 2121 1234 6327 0.66 0.79/0.83 c 4626 138 1722 59870 34 4031 2334 1710 6478 0.71 0.79/0.83 o 64 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 5426 135 1323 41626 31 3272 1738 1311 6529 0.83 0.79/0.83 o 62 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 5427 135 1325 41782 31 3358 1738 1313 6530 0.83 0.79/0.83 o 60 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 5460 135 1360 43793 32 3511 1738 1348 6531 0.84 1.19/1.21 c 5560 129 1461 48065 32 3710 1912 1449 6525 0.85 1.19/1.21 c 5810 127 1711 58066 33 4209 2104 1699 6550 0.89 1.19/1.21 c 6285 126 1098 41149 37 2722 2315 1086 6553 0.96 1.19/1.21 c 7099 126 1912 69610 36 4353 2547 1900 6616 1.07 1.19/1.21 o 59 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 7951 123 1453 49436 34 3509 1714 1441 6565 1.21 1.39/1.40 c 8051 123 1553 53043 34 3704 1886 1541 6561 1.23 1.39/1.40 c 8301 123 1803 61615 34 4199 2075 1791 6546 1.27 1.39/1.40 c 8776 123 1204 41670 34 2923 2283 1192 6529 1.34 1.39/1.40 o 58 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 9223 123 1652 58064 35 3891 1714 1640 6555 1.41 1.39/1.41 o 54 1.99/2.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.03 c 9260 123 1690 59919 35 4040 1714 1678 6558 1.41 1.99/2.03 c 9361 123 908 32385 35 2331 1886 896 6550 1.43 1.99/2.03 c 9611 123 1160 40647 35 2832 2075 1148 6555 1.47 1.99/2.03 c 10086 123 1635 58610 35 3788 2283 1623 6587 1.53 1.99/2.03 c 10899 123 1272 45937 36 3060 2512 1260 6593 1.65 1.99/2.03 c 12219 122 1293 45523 35 3098 2764 1281 6615 1.85 1.99/2.03 o 53 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 13490 122 2565 90948 35 5716 1712 2553 6628 2.04 2.19/2.25 c 13591 122 999 34646 34 2512 1884 987 6613 2.06 2.19/2.25 c 13841 122 1254 43373 34 3020 2073 1242 6619 2.09 2.19/2.25 c 14316 122 1729 60818 35 3970 2281 1717 6612 2.17 2.19/2.25 o 47 2.19/2.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.26 c 14862 122 2280 80705 35 5149 1712 2268 6593 2.25 2.19/2.26 o 43 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 14864 122 896 31468 35 2372 1712 884 6582 2.26 2.19/2.29 c 14964 122 999 37212 37 2589 1884 987 6586 2.27 2.19/2.29 o 41 5.59/5.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.66 c 15104 122 1140 41972 36 2937 1712 1128 6595 2.29 5.59/5.66 c 15204 122 1241 47386 38 3148 1884 1229 6604 2.30 5.59/5.66 c 15455 122 1494 56374 37 3669 2073 1482 6613 2.34 5.59/5.66 c 15930 122 1969 73055 37 4624 2281 1957 6623 2.40 5.59/5.66 c 16743 122 1599 55303 34 3711 2510 1587 6644 2.52 5.59/5.66 c 18063 122 1639 58544 35 3791 2762 1627 6690 2.70 5.59/5.66 c 20144 122 2295 82533 35 5099 3039 2283 6762 2.98 5.59/5.66 c 23368 122 2411 82931 34 5334 3343 2399 6744 3.46 5.59/5.66 c 28307 122 2230 79682 35 4970 3678 2218 6677 4.24 5.59/5.66 c 35813 122 2239 77216 34 4990 4046 2227 6617 5.41 5.59/5.66 o 40 5.59/5.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.68 c 37327 122 3754 129228 34 8092 1712 3742 6593 5.66 5.59/5.68 o 38 18.39/18.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.39/18.49 c 37396 122 970 33463 34 2565 1712 958 6579 5.68 18.39/18.49 c 37496 122 1071 36975 34 2768 1884 1059 6582 5.70 18.39/18.49 c 37746 122 1322 45191 34 3273 2073 1310 6588 5.73 18.39/18.49 c 38221 122 1797 60594 33 4222 2281 1785 6594 5.80 18.39/18.49 c 39035 122 1443 47389 32 3401 2510 1431 6601 5.91 18.39/18.49 c 40355 122 1473 49490 33 3462 2762 1461 6605 6.11 18.39/18.49 c 42437 122 2140 74705 34 4793 3039 2128 6611 6.42 18.39/18.49 c 45660 122 2247 78594 34 5010 3343 2235 6596 6.92 18.39/18.49 c 50596 122 2060 78259 37 4626 3678 2048 6609 7.66 18.39/18.49 c 58102 122 2050 75374 36 4611 4046 2038 6616 8.78 18.39/18.49 c 69463 122 3124 115615 37 6763 4451 3112 6575 10.56 18.39/18.49 c 86607 122 4440 160307 36 9393 4897 4428 6494 13.34 18.39/18.49 c 112426 122 2938 107807 36 6382 5387 2926 6459 17.41 18.39/18.49 o 32 18.49/18.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.49/18.53 c 118786 122 3829 131582 34 8243 1712 3817 6424 18.49 18.49/18.53 c 118887 111 994 32528 32 2486 1884 982 6420 18.52 18.49/18.53 o 30 24.09/24.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.09/24.12 c 119010 111 1118 37746 33 2800 1690 1106 6420 18.54 24.09/24.12 c 119110 110 1218 41533 34 3000 1860 1206 6420 18.55 24.09/24.12 c 119360 110 1468 51629 35 3504 2047 1456 6421 18.59 24.09/24.12 c 119835 110 1943 70141 36 4444 2252 1931 6422 18.66 24.09/24.12 c 120648 110 1594 62076 38 3683 2478 1582 6423 18.78 24.09/24.12 c 121968 110 1637 64310 39 3761 2726 1625 6426 18.98 24.09/24.12 c 124049 110 2318 89879 38 5115 2999 2306 6430 19.29 24.09/24.12 c 127272 110 2478 100670 40 5460 3299 2466 6435 19.78 24.09/24.12 c 132208 110 2358 96929 41 5202 3629 2346 6439 20.53 24.09/24.12 c 139715 110 2466 101261 41 5427 3992 2454 6438 21.70 24.09/24.12 c 151078 110 3670 152543 41 7837 4392 3658 6410 23.57 24.09/24.12 o 28 24.09/24.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.09/24.12 c 154203 110 2321 96326 41 5193 1688 2309 6393 24.12 24.09/24.12 o 26 30.08/30.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.08/30.15 c 154223 110 915 37651 41 2378 1688 903 6392 24.12 30.08/30.15 c 154324 110 1016 41618 40 2579 1857 1004 6393 24.14 30.08/30.15 c 154574 110 1266 51374 40 3071 2043 1254 6396 24.16 30.08/30.15 c 155050 110 1742 69647 39 4022 2248 1730 6400 24.22 30.08/30.15 c 155865 110 1395 52923 37 3277 2473 1383 6405 24.33 30.08/30.15 c 157186 110 1454 54551 37 3389 2721 1442 6412 24.51 30.08/30.15 c 159268 110 2142 87169 40 4775 2994 2130 6421 24.80 30.08/30.15 c 162491 110 2297 94909 41 5082 3294 2285 6431 25.26 30.08/30.15 c 167427 110 2180 87566 40 4850 3624 2168 6434 26.02 30.08/30.15 c 174933 110 2296 91476 39 5088 3987 2284 6420 27.25 30.08/30.15 c 186294 110 3534 143382 40 7561 4386 3522 6373 29.23 30.08/30.15 o 25 38.49/38.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.49/38.51 c 191594 110 4377 178540 40 9302 1688 4365 6354 30.15 38.49/38.51 c 191694 110 994 39725 39 2478 1857 982 6352 30.18 38.49/38.51 c 191944 110 1244 49389 39 2971 2043 1232 6353 30.21 38.49/38.51 c 192419 110 1719 68772 40 3923 2248 1707 6354 30.28 38.49/38.51 c 193233 110 1367 53994 39 3225 2473 1355 6354 30.41 38.49/38.51 c 194553 110 1422 56786 39 3336 2721 1410 6353 30.62 38.49/38.51 c 196634 110 2108 85638 40 4702 2994 2096 6356 30.93 38.49/38.51 c 199857 110 2258 90272 39 4997 3294 2246 6358 31.43 38.49/38.51 c 204793 110 2138 86833 40 4767 3624 2126 6361 32.19 38.49/38.51 c 212299 110 2252 92180 40 4992 3987 2240 6354 33.41 38.49/38.51 c 223661 110 3462 136202 39 7407 4386 3450 6336 35.30 38.49/38.51 c 240805 110 2793 115688 41 6068 4825 2781 6293 38.26 38.49/38.51 o 24 57.58/57.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.58/57.68 c 242192 110 4183 173226 41 8913 1688 4171 6289 38.51 57.58/57.68 c 242292 110 995 40132 40 2474 1857 983 6288 38.53 57.58/57.68 c 242542 110 1246 50052 40 2978 2043 1234 6288 38.57 57.58/57.68 c 243017 110 1721 68784 39 3923 2248 1709 6290 38.63 57.58/57.68 c 243830 110 1373 53879 39 3234 2473 1361 6291 38.76 57.58/57.68 c 245150 110 1417 56069 39 3328 2721 1405 6293 38.95 57.58/57.68 c 247232 110 2106 81282 38 4701 2994 2094 6296 39.26 57.58/57.68 c 250455 110 2271 89963 39 5025 3294 2259 6300 39.75 57.58/57.68 c 255391 110 2147 81905 38 4780 3624 2135 6305 40.50 57.58/57.68 c 262898 110 2260 88481 39 5012 3987 2248 6305 41.69 57.58/57.68 c 274259 110 3474 143444 41 7437 4386 3462 6304 43.50 57.58/57.68 c 291403 110 2775 112974 40 6026 4825 2763 6311 46.17 57.58/57.68 c 317222 110 4111 164901 40 8712 5308 4099 6288 50.44 57.58/57.68 c 356056 110 5299 218354 41 11086 5839 5287 6199 57.43 57.58/57.68 o 18 76.48/76.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.48/76.58 c 357498 110 3781 151543 40 8115 1688 3769 6198 57.68 76.48/76.58 c 357598 110 993 37925 38 2472 1857 981 6197 57.70 76.48/76.58 c 357848 110 1243 47099 37 2966 2043 1231 6199 57.73 76.48/76.58 c 358323 110 1718 65060 37 3918 2248 1706 6201 57.78 76.48/76.58 c 359137 110 1371 49584 36 3226 2473 1359 6206 57.87 76.48/76.58 c 360457 110 1418 52728 37 3318 2721 1406 6212 58.02 76.48/76.58 c 362538 110 2101 82381 39 4692 2994 2089 6220 58.28 76.48/76.58 c 365762 110 2258 88298 39 5007 3294 2246 6225 58.75 76.48/76.58 c 370699 110 2143 81864 38 4767 3624 2131 6229 59.51 76.48/76.58 c 378205 110 2261 82414 36 5013 3987 2249 6233 60.67 76.48/76.58 c 389566 110 3498 128774 36 7474 4386 3486 6228 62.54 76.48/76.58 c 406710 110 2789 106594 38 6074 4825 2777 6222 65.36 76.48/76.58 c 432529 110 4134 160315 38 8758 5308 4122 6177 70.02 76.48/76.58 o 17 212.85/212.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 212.85/212.97 c 470054 110 3993 158269 39 8537 1688 3981 6138 76.57 212.85/212.97 c 470154 110 993 37835 38 2474 1857 981 6138 76.59 212.85/212.97 c 470404 110 1243 47509 38 2982 2043 1231 6138 76.63 212.85/212.97 c 470880 110 1719 65775 38 3930 2248 1707 6140 76.69 212.85/212.97 c 471693 110 1363 51500 37 3222 2473 1351 6141 76.80 212.85/212.97 c 473013 110 1425 54633 38 3340 2721 1413 6144 76.99 212.85/212.97 c 475094 110 2107 80462 38 4702 2994 2095 6147 77.28 212.85/212.97 c 478317 110 2265 88801 39 5016 3294 2253 6151 77.76 212.85/212.97 c 483254 110 2163 83108 38 4813 3624 2151 6153 78.53 212.85/212.97 c 490761 110 2275 89306 39 5042 3987 2263 6155 79.73 212.85/212.97 c 502123 110 3489 138672 39 7465 4386 3477 6154 81.59 212.85/212.97 c 519267 110 2850 112782 39 6203 4825 2838 6154 84.37 212.85/212.97 c 545086 110 4229 165896 39 8946 5308 4217 6155 88.56 212.85/212.97 c 583919 110 2750 107120 38 5988 5839 2738 6125 95.32 212.85/212.97 c 642271 110 4995 196010 39 10472 6423 4983 6069 105.83 212.85/212.97 c 729903 110 4960 194354 39 10406 7066 4948 5984 121.96 212.85/212.97 c 861456 110 4542 178384 39 9574 7773 4530 5851 147.23 212.85/212.97 c 1058888 110 5946 236773 39 12393 8551 5934 5667 186.83 212.85/212.97 o 14 573.70/573.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 573.70/573.83 c 1185175 110 7268 285723 39 15102 1688 7256 5565 212.94 573.70/573.83 c 1185275 105 993 38393 38 2464 1857 981 5565 212.98 573.70/573.83 c 1185525 101 1243 48064 38 2964 2043 1231 5565 213.01 573.70/573.83 c 1186000 101 1718 66791 38 3910 2248 1706 5566 213.08 573.70/573.83 c 1186813 99 1365 52506 38 3202 2473 1353 5567 213.19 573.70/573.83 c 1188134 99 1416 55573 39 3303 2721 1404 5568 213.37 573.70/573.83 c 1190215 98 2099 81446 38 4661 2994 2087 5571 213.64 573.70/573.83 c 1193438 98 2258 88222 39 4990 3294 2246 5574 214.08 573.70/573.83 c 1198375 98 2169 84671 39 4809 3624 2157 5580 214.74 573.70/573.83 c 1205881 98 2275 90796 39 5020 3987 2263 5585 215.89 573.70/573.83 c 1217243 98 3500 141167 40 7471 4386 3488 5593 217.62 573.70/573.83 c 1234387 98 2855 113531 39 6182 4825 2843 5598 220.49 573.70/573.83 c 1260206 98 4203 160143 38 8877 5308 4191 5615 224.42 573.70/573.83 c 1299039 98 2715 110559 40 5900 5839 2703 5620 231.13 573.70/573.83 c 1357391 98 4937 199581 40 10345 6423 4925 5607 242.06 573.70/573.83 c 1445023 98 4925 197143 40 10317 7066 4913 5604 257.82 573.70/573.83 c 1576577 98 4505 180010 39 9474 7773 4493 5576 282.74 573.70/573.83 c 1774009 98 5945 241162 40 12355 8551 5933 5476 323.94 573.70/573.83 c 2070261 98 4959 197892 39 10387 9407 4947 5301 390.52 573.70/573.83 c 2514743 98 8939 368993 41 18352 10348 8927 5146 488.65 573.70/573.83 o 11 731.88/732.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 731.88/732.02 c 2877552 98 7169 294454 41 14857 1664 7157 5015 573.74 731.88/732.02 c 2877652 98 993 39947 40 2442 1831 981 5015 573.78 731.88/732.02 c 2877902 98 1243 49528 39 2941 2015 1231 5015 573.81 731.88/732.02 c 2878379 98 1720 68376 39 3900 2217 1708 5015 573.87 731.88/732.02 c 2879193 98 1386 52612 37 3227 2439 1374 5016 573.97 731.88/732.02 c 2880514 98 1450 54812 37 3353 2683 1438 5017 574.15 731.88/732.02 c 2882595 98 2148 80737 37 4752 2952 2136 5018 574.43 731.88/732.02 c 2885818 98 2343 91339 38 5142 3248 2331 5019 574.92 731.88/732.02 c 2890754 98 2310 89486 38 5078 3573 2298 5021 575.63 731.88/732.02 c 2898260 98 2551 98695 38 5561 3931 2539 5024 576.78 731.88/732.02 c 2909621 98 3929 149057 37 8312 4325 3917 5029 578.51 731.88/732.02 c 2926765 98 3512 137135 39 7481 4758 3500 5037 581.03 731.88/732.02 c 2952584 98 2806 107370 38 6054 5234 2794 5045 585.18 731.88/732.02 c 2991416 98 4540 182007 40 9545 5758 4528 5056 591.59 731.88/732.02 c 3049768 98 4630 184463 39 9718 6334 4618 5062 602.45 731.88/732.02 c 3137400 98 5857 232365 39 12165 6968 5845 5074 618.30 731.88/732.02 c 3268952 98 3776 146517 38 8010 7665 3764 5080 643.43 731.88/732.02 c 3466385 98 4071 163635 40 8596 8432 4059 5072 683.35 731.88/732.02 o 10 1797.92/1798.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.27 c 3700193 98 8337 336872 40 17173 1664 8325 5055 731.91 1797.92/1798.27 c 3700293 98 993 38943 39 2442 1831 981 5055 731.96 1797.92/1798.27 c 3700543 98 1243 48827 39 2949 2015 1231 5055 731.99 1797.92/1798.27 c 3701019 98 1719 67523 39 3896 2217 1707 5055 732.06 1797.92/1798.27 c 3701832 98 1389 52423 37 3225 2439 1377 5055 732.17 1797.92/1798.27 c 3703152 98 1453 54092 37 3366 2683 1441 5056 732.35 1797.92/1798.27 c 3705234 98 2161 81638 37 4774 2952 2149 5057 732.63 1797.92/1798.27 c 3708459 98 2358 88355 37 5174 3248 2346 5058 733.11 1797.92/1798.27 c 3713395 98 2306 91942 39 5070 3573 2294 5060 733.82 1797.92/1798.27 c 3720902 98 2508 99717 39 5474 3931 2496 5062 734.93 1797.92/1798.27 c 3732263 98 3864 151058 39 8191 4325 3852 5066 736.73 1797.92/1798.27 c 3749407 98 3417 137691 40 7294 4758 3405 5070 739.45 1797.92/1798.27 c 3775226 98 2703 107325 39 5869 5234 2691 5076 743.68 1797.92/1798.27 c 3814058 98 4374 173876 39 9203 5758 4362 5083 750.33 1797.92/1798.27 c 3872411 98 4465 174489 39 9387 6334 4453 5095 759.90 1797.92/1798.27 c 3960044 98 5639 224850 39 11733 6968 5627 5109 775.06 1797.92/1798.27 c 4091596 98 7015 282329 40 14489 7665 7003 5108 800.93 1797.92/1798.27 c 4289030 98 7232 293681 40 14921 8432 7220 5099 841.08 1797.92/1798.27 c 4585282 98 6066 238199 39 12577 9276 6054 5082 902.13 1797.92/1798.27 c 5029765 98 6935 269988 38 14324 10204 6923 5041 997.60 1797.92/1798.27 c 5696593 98 6143 248264 40 12742 11225 6131 4967 1146.83 1797.92/1798.27 c 6696938 98 7347 295259 40 15150 12348 7335 4829 1386.78 1797.92/1798.27 c 8197560 98 12086 484837 40 24630 13583 12074 4662 1758.34 1797.92/1798.27 c Resources Exceeded 1797.92/1798.27 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 -x90 -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 -x121 x122 x123 x124 x125 x126 -x127 x128 x129 x130 x131 -x132 x133 x134 -x135 x136 x137 -x138 -x139 -x140 x141 -x142 x143 x144 -x145 -x146 1797.92/1798.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.27 c 247 8359334 83188 8456553 10048 404526 10036 4649 1798.00 1797.92/1798.27 c Objective: 10 1797.92/1798.27 s SATISFIABLE 1797.92/1798.27 c Total time: 1798 s
OK 10
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3734839-1338716858/watcher-3734839-1338716858 -o /tmp/evaluation-result-3734839-1338716858/solver-3734839-1338716858 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734839-1338716858.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.00 2.00 2.00 3/176 24610 /proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18604 CPUtime=0 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 337810890 19050496 251 33554432000 134512640 137136520 4290753008 4290751288 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4651 251 196 641 0 4007 0 [startup+0.0548559 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24610 /proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=11044 CPUtime=0.05 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 372 0 0 0 5 0 0 0 20 0 1 0 337810890 11309056 323 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 2761 323 197 641 0 2117 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11044 [startup+0.100268 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24610 /proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=11292 CPUtime=0.09 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 423 0 0 0 9 0 0 0 20 0 1 0 337810890 11563008 374 33554432000 134512640 137136520 4290753008 4290751416 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 2823 374 197 641 0 2179 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11292 [startup+0.300239 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24610 /proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=12044 CPUtime=0.29 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 611 0 0 0 29 0 0 0 20 0 1 0 337810890 12333056 562 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3011 562 197 641 0 2367 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12044 [startup+0.700239 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24610 /proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=12048 CPUtime=0.68 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 621 0 0 0 68 0 0 0 20 0 1 0 337810890 12337152 572 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3012 572 197 641 0 2368 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12048 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24611 /proc/meminfo: memFree=27336940/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=12172 CPUtime=1.49 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 667 0 0 0 148 1 0 0 20 0 1 0 337810890 12464128 618 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3043 618 197 641 0 2399 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12172 [startup+3.10024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24611 /proc/meminfo: memFree=27336444/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=12424 CPUtime=3.09 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 731 0 0 0 307 2 0 0 20 0 1 0 337810890 12722176 682 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3106 682 197 641 0 2462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12424 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24611 /proc/meminfo: memFree=27335576/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=12920 CPUtime=6.29 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 834 0 0 0 627 2 0 0 20 0 1 0 337810890 13230080 785 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3230 785 197 641 0 2586 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12920 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24611 /proc/meminfo: memFree=27334364/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=13428 CPUtime=12.69 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 967 0 0 0 1264 5 0 0 20 0 1 0 337810890 13750272 918 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3357 918 197 641 0 2713 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13428 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24611 /proc/meminfo: memFree=27334116/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=13872 CPUtime=25.49 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1081 0 0 0 2540 9 0 0 20 0 1 0 337810890 14204928 1032 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3468 1032 197 641 0 2824 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13872 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24611 /proc/meminfo: memFree=27333556/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=14100 CPUtime=51.08 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1146 0 0 0 5091 17 0 0 20 0 1 0 337810890 14438400 1096 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3525 1096 197 641 0 2881 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14100 [startup+102.306 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24611 /proc/meminfo: memFree=27331384/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=14572 CPUtime=102.28 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1247 0 0 0 10193 35 0 0 20 0 1 0 337810890 14921728 1197 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3643 1197 197 641 0 2999 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 14572 [startup+162.3 s] /proc/loadavg: 2.06 2.02 2.00 3/178 24614 /proc/meminfo: memFree=27329452/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=15664 CPUtime=162.26 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1533 0 0 0 16173 53 0 0 20 0 1 0 337810890 16039936 1482 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 3916 1482 197 641 0 3272 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 15664 [startup+222.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 24615 /proc/meminfo: memFree=27328096/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=16132 CPUtime=222.25 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1673 0 0 0 22155 70 0 0 20 0 1 0 337810890 16519168 1611 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4033 1611 197 641 0 3389 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 16132 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 24615 /proc/meminfo: memFree=27327908/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=16132 CPUtime=282.25 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1673 0 0 0 28135 90 0 0 20 0 1 0 337810890 16519168 1611 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4033 1611 197 641 0 3389 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 16132 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24615 /proc/meminfo: memFree=27327908/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=16348 CPUtime=342.24 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1713 0 0 0 34117 107 0 0 20 0 1 0 337810890 16740352 1651 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4087 1651 197 641 0 3443 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 16348 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24615 /proc/meminfo: memFree=27326792/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=16812 CPUtime=402.23 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1833 0 0 0 40102 121 0 0 20 0 1 0 337810890 17215488 1771 33554432000 134512640 137136520 4290753008 4290752048 134540852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4203 1771 197 641 0 3559 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 16812 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24615 /proc/meminfo: memFree=27326668/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=16812 CPUtime=462.22 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1839 0 0 0 46086 136 0 0 20 0 1 0 337810890 17215488 1777 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4203 1777 197 641 0 3559 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 16812 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24616 /proc/meminfo: memFree=27326108/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=17536 CPUtime=522.21 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2010 0 0 0 52071 150 0 0 20 0 1 0 337810890 17956864 1947 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4384 1947 197 641 0 3740 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 17536 [startup+582.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 24616 /proc/meminfo: memFree=27325984/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=17452 CPUtime=582.2 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2010 0 0 0 58053 167 0 0 20 0 1 0 337810890 17870848 1941 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4363 1941 197 641 0 3719 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 17452 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27324244/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=17404 CPUtime=1122.12 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2122 0 0 0 111887 325 0 0 20 0 1 0 337810890 17821696 1922 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4351 1922 197 641 0 3707 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 17404 [startup+1182.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 24644 /proc/meminfo: memFree=27323500/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18044 CPUtime=1182.11 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 117869 342 0 0 20 0 1 0 337810890 18477056 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4511 2071 197 641 0 3867 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 18044 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 24644 /proc/meminfo: memFree=27322756/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18040 CPUtime=1242.1 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 123853 357 0 0 20 0 1 0 337810890 18472960 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4510 2071 197 641 0 3866 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 18040 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 24644 /proc/meminfo: memFree=27322880/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18028 CPUtime=1302.1 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 129838 372 0 0 20 0 1 0 337810890 18460672 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4507 2071 197 641 0 3863 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 18028 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 24647 /proc/meminfo: memFree=27322748/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=17972 CPUtime=1362.08 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 135821 387 0 0 20 0 1 0 337810890 18403328 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4493 2071 197 641 0 3849 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 17972 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24648 /proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18684 CPUtime=1422.08 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2446 0 0 0 141806 402 0 0 20 0 1 0 337810890 19132416 2246 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4671 2246 197 641 0 4027 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 18684 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24648 /proc/meminfo: memFree=27322012/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18744 CPUtime=1482.06 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2454 0 0 0 147792 414 0 0 20 0 1 0 337810890 19193856 2254 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4686 2254 197 641 0 4042 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 18744 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24648 /proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18704 CPUtime=1542.06 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2454 0 0 0 153776 430 0 0 20 0 1 0 337810890 19152896 2254 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4676 2254 197 641 0 4032 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 18704 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24648 /proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18696 CPUtime=1602.04 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2454 0 0 0 159761 443 0 0 20 0 1 0 337810890 19144704 2252 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4674 2252 197 641 0 4030 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 18696 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24648 /proc/meminfo: memFree=27321080/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18812 CPUtime=1662.03 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2464 0 0 0 165747 456 0 0 20 0 1 0 337810890 19263488 2262 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4703 2262 197 641 0 4059 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 18812 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 24649 /proc/meminfo: memFree=27321204/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=18720 CPUtime=1722.02 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2464 0 0 0 171730 472 0 0 20 0 1 0 337810890 19169280 2258 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4680 2258 197 641 0 4036 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 18720 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24649 /proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1782.02 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2623 0 0 0 177713 489 0 0 20 0 1 0 337810890 19894272 2417 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2417 197 641 0 4213 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 19428 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1791.62 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 178671 491 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 19428 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330336/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1794.82 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 178990 492 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1794.82 Current children cumulated vsize (KiB) 19428 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1796.41 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179149 492 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (KiB) 19428 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1797.22 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179229 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752048 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (KiB) 19428 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1797.62 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179269 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 19428 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1797.82 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179289 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 19428 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24697 /proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116 [pid=24610] ppid=24608 vsize=19428 CPUtime=1797.92 cores=0,2,4,6 /proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179299 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/24610/statm: 4857 2424 197 641 0 4213 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 19428 Child status: 0 Real time (s): 1798.28 CPU time (s): 1798 CPU user time (s): 1793.07 CPU system time (s): 4.93225 CPU usage (%): 99.9847 Max. virtual memory (cumulated for all children) (KiB): 19432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.07 system time used= 4.93225 maximum resident set size= 9700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2633 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= 6 involuntary context switches= 1991 runsolver used 2.6256 second user time and 7.18391 second system time The end
Begin job on node138 at 2012-06-03 11:47:38 IDJOB=3734839 IDBENCH=2910 IDSOLVER=2320 FILE ID=node138/3734839-1338716858 RUNJOBID= node138-1338713229-23361 PBS_JOBID= 14636726 Free space on /tmp= 70788 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734839-1338716858/watcher-3734839-1338716858 -o /tmp/evaluation-result-3734839-1338716858/solver-3734839-1338716858 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734839-1338716858.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=1672066943 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27338956 kB Buffers: 713632 kB Cached: 3893128 kB SwapCached: 208 kB Active: 2343940 kB Inactive: 2287548 kB Active(anon): 8960 kB Inactive(anon): 11376 kB Active(file): 2334980 kB Inactive(file): 2276172 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 8040 kB Writeback: 4 kB AnonPages: 24700 kB Mapped: 15192 kB Shmem: 200 kB Slab: 764492 kB SReclaimable: 206464 kB SUnreclaim: 558028 kB KernelStack: 1456 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 147612 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734839-1338716858.opb Free space on /tmp at the end= 70784 MiB End job on node138 at 2012-06-03 12:17:37