Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 8 | 1800.02 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
MD5SUM | b690996610ff381ef60353517fe5a0e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1797.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
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 | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4389 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3734815-1338701106.opb 0.00/0.00 c File size is 7732 bytes. 0.00/0.00 c Highest Coefficient sum: 4389 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 226 0.00/0.00 c Obj. Vars: 96 (65.7534 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 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 229 1568 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 832 0.002 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 146 13 880 67 568 1760 1 0 0.00 0.00/0.01 o 769 0.006 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 63 146 77 5198 67 765 1760 65 10500 0.01 0.00/0.02 c 165 146 179 11366 63 994 1937 167 12692 0.01 0.00/0.02 o 726 0.014 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 204 146 219 13815 63 1145 1760 207 14571 0.01 0.00/0.02 o 720 0.015 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 205 146 221 13986 63 1241 1760 209 13666 0.01 0.00/0.02 o 718 0.017 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 235 146 252 15967 63 1393 1760 240 13823 0.02 0.00/0.02 o 596 0.017 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 238 146 256 16238 63 1418 1760 244 14000 0.02 0.00/0.02 o 595 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 249 146 268 16741 62 1533 1760 256 13833 0.02 0.00/0.02 o 535 0.021 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 276 146 296 18404 62 1619 1760 284 13142 0.02 0.00/0.02 o 448 0.021 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 280 146 301 18707 62 1646 1760 289 13333 0.02 0.00/0.03 o 447 0.028 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 357 146 379 23725 62 1831 1760 367 12750 0.03 0.00/0.03 o 445 0.029 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 378 146 401 24843 61 1918 1760 389 13034 0.03 0.00/0.04 o 444 0.033 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 437 146 461 27254 59 2152 1760 449 13242 0.03 0.00/0.04 o 442 0.036 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 470 146 495 28951 58 2299 1760 483 13055 0.04 0.00/0.04 o 440 0.038 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 493 146 519 30282 58 2437 1760 507 12973 0.04 0.00/0.04 o 438 0.042 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 549 146 576 32772 56 2660 1760 564 13071 0.04 0.00/0.05 c 650 146 677 37833 55 2931 1937 665 12745 0.05 0.00/0.05 o 414 0.051 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 655 146 683 38248 56 2914 1760 671 12843 0.05 0.00/0.06 o 410 0.052 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 657 146 686 38451 56 2994 1760 674 12634 0.05 0.05/0.07 c 758 146 787 44645 56 3203 1937 775 12225 0.06 0.05/0.07 o 408 0.066 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 797 146 827 46318 56 3308 1760 815 12075 0.07 0.05/0.08 o 406 0.072 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 857 146 888 48813 54 3584 1760 876 11902 0.07 0.05/0.08 o 399 0.073 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 861 146 893 49056 54 3670 1760 881 11794 0.07 0.05/0.08 o 397 0.073 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 861 146 894 49152 54 3757 1760 882 11794 0.07 0.05/0.08 o 395 0.074 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 862 146 896 49325 55 3847 1760 884 11648 0.07 0.05/0.08 o 393 0.077 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 887 146 922 51144 55 4010 1760 910 11519 0.08 0.05/0.08 o 372 0.08 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 907 146 943 51857 54 4097 1760 931 11337 0.08 0.09/0.11 c 1007 146 1043 56207 53 4381 1937 1031 11188 0.09 0.09/0.11 o 370 0.109 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 1182 146 1219 65354 53 4763 1760 1207 10844 0.11 0.09/0.11 o 336 0.111 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 1197 146 1235 66050 53 4820 1760 1223 10783 0.11 0.09/0.11 o 334 0.112 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1205 146 1244 66520 53 4945 1760 1232 10758 0.11 0.09/0.12 o 326 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1235 146 1275 67605 53 5011 1760 1263 10739 0.12 0.09/0.12 o 324 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1236 146 1277 67780 53 5127 1760 1265 10747 0.12 0.09/0.12 o 320 0.118 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1248 146 1290 68684 53 5276 1760 1278 10576 0.12 0.09/0.12 o 316 0.121 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1275 146 1318 69976 53 5389 1760 1306 10537 0.12 0.09/0.13 o 314 0.125 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1318 146 1362 71521 52 5571 1760 1350 10544 0.12 0.09/0.13 o 310 0.127 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1329 146 1374 72250 52 5669 1760 1362 10464 0.13 0.09/0.13 o 308 0.13 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1350 146 1396 73631 52 5801 1760 1384 10384 0.13 0.09/0.14 o 306 0.137 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1408 146 1455 75913 52 6005 1760 1443 10277 0.14 0.09/0.14 o 304 0.14 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1435 146 1483 76995 51 6167 1760 1471 10250 0.14 0.09/0.17 c 1535 146 1583 81298 51 6458 1937 1571 9967 0.15 0.09/0.17 o 301 0.17 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1637 146 1686 86570 51 6520 1760 1674 9629 0.17 0.19/0.21 c 1737 146 893 40984 45 2333 1937 881 9491 0.18 0.19/0.21 c 1987 146 1143 53697 46 2834 2131 1131 10035 0.20 0.19/0.21 o 281 0.203 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 2064 146 1221 57506 47 3064 1760 1209 10167 0.20 0.19/0.21 o 274 0.208 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 2135 146 1293 59686 46 3291 1760 1281 10264 0.21 0.19/0.21 o 269 0.209 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 2151 146 1310 60425 46 3430 1760 1298 10242 0.21 0.19/0.22 c 2251 146 1410 64799 45 3640 1937 1398 10373 0.22 0.19/0.22 o 212 0.219 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 2275 146 1435 65635 45 3749 1760 1423 10388 0.22 0.19/0.27 c 2376 146 1536 70876 46 3952 1937 1524 10466 0.23 0.19/0.27 c 2626 146 1786 81263 45 4475 2131 1774 10718 0.24 0.19/0.27 o 208 0.264 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 2913 146 2074 92670 44 5136 1760 2062 11034 0.26 0.19/0.28 c 3013 146 993 41897 42 2522 1937 981 11077 0.27 0.19/0.28 o 202 0.277 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 3099 146 1080 45170 41 2803 1760 1068 11187 0.28 0.29/0.37 c 3199 146 1180 48259 40 3011 1937 1168 11303 0.28 0.29/0.37 c 3449 146 1430 57209 40 3513 2131 1418 11496 0.30 0.29/0.37 c 3925 146 1906 76232 39 4455 2345 1894 11612 0.34 0.29/0.37 o 191 0.367 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 4280 146 2262 89812 39 5262 1760 2250 11662 0.37 0.39/0.41 c 4383 146 996 38370 38 2530 1937 984 11656 0.38 0.39/0.41 c 4633 146 1246 45494 36 3026 2131 1234 11788 0.39 0.39/0.41 o 190 0.412 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 4921 146 1535 55666 36 3706 1760 1523 11944 0.41 0.39/0.42 o 186 0.416 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 4980 146 1595 58086 36 3919 1760 1583 11971 0.42 0.39/0.42 o 180 0.417 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 4983 146 1599 58365 36 4019 1760 1587 11949 0.42 0.39/0.42 o 176 0.418 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 5001 146 1618 59569 36 4149 1760 1606 11964 0.42 0.39/0.47 c 5102 146 1719 62979 36 4373 1937 1707 12004 0.42 0.39/0.47 c 5353 146 982 35502 36 2521 2131 970 12002 0.45 0.39/0.47 o 123 0.462 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 5671 146 1301 46331 35 3245 1760 1289 12274 0.46 0.49/0.56 c 5771 142 1401 49879 35 3441 1937 1389 12304 0.47 0.49/0.56 c 6021 139 1651 57793 35 3954 2131 1639 12312 0.49 0.49/0.56 c 6496 139 2126 74021 34 4875 2345 2114 12420 0.52 0.49/0.56 o 106 0.56 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 6906 139 1326 48560 36 3288 1746 1314 12332 0.56 0.49/0.57 o 95 0.566 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 7000 137 1421 51378 36 3559 1742 1409 12367 0.57 0.49/0.57 o 87 0.567 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 7004 137 1426 51672 36 3657 1742 1414 12352 0.57 0.49/0.58 c 7104 137 1526 54621 35 3845 1917 1514 12376 0.57 0.49/0.58 o 80 0.576 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 7139 137 1562 55748 35 4007 1742 1550 12394 0.58 0.49/0.58 o 78 0.576 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 7145 137 1569 56031 35 4105 1742 1557 12404 0.58 0.49/0.58 o 72 0.578 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 7163 137 1588 57145 35 4231 1742 1576 12392 0.58 0.49/0.58 o 70 0.579 1.98/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.06 c 7168 137 1594 57541 36 4328 1742 1582 12379 0.58 1.98/2.06 c 7268 137 1694 60318 35 4520 1917 1682 12423 0.58 1.98/2.06 c 7518 137 981 35613 36 2486 2109 969 12447 0.60 1.98/2.06 c 7993 136 1456 50158 34 3448 2320 1444 12687 0.63 1.98/2.06 c 8807 136 2270 75794 33 5068 2553 2258 12932 0.68 1.98/2.06 c 10129 135 2270 74033 32 5063 2809 2258 13120 0.77 1.98/2.06 c 12210 135 1478 43187 29 3486 3090 1466 13551 0.90 1.98/2.06 c 15433 135 1569 51586 32 3657 3400 1557 13866 1.11 1.98/2.06 c 20369 135 3035 97681 32 6602 3741 3023 13809 1.48 1.98/2.06 c 27875 134 2907 92162 31 6332 4116 2895 13650 2.04 1.98/2.06 o 65 2.055 1.98/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.07 c 28030 134 3063 96967 31 6745 1736 3051 13633 2.06 1.98/2.07 o 63 2.064 1.98/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.07 c 28042 134 906 29942 33 2426 1736 894 13586 2.06 1.98/2.07 o 62 2.067 1.98/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.07 c 28087 127 952 31593 33 2590 1722 940 13588 2.07 1.98/2.07 o 56 2.067 1.98/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.07 c 28087 127 953 31670 33 2667 1722 941 13588 2.07 1.98/2.07 o 54 2.067 2.09/2.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.10 c 28092 127 959 32086 33 2754 1722 947 13584 2.07 2.09/2.10 c 28193 127 1060 37334 35 2952 1895 1048 13586 2.08 2.09/2.10 c 28443 123 1310 45991 35 3449 2085 1298 13576 2.10 2.09/2.10 o 52 2.098 2.38/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.42 c 28475 123 1343 47378 35 3594 1714 1331 13572 2.10 2.38/2.42 c 28575 122 1443 51030 35 3791 1886 1431 13561 2.11 2.38/2.42 c 28825 122 1693 60277 35 4287 2075 1681 13545 2.13 2.38/2.42 c 29300 122 1095 39023 35 2705 2283 1083 13465 2.18 2.38/2.42 c 30114 122 1909 68221 35 4331 2512 1897 13467 2.24 2.38/2.42 c 31434 122 1926 68301 35 4367 2764 1914 13387 2.35 2.38/2.42 o 47 2.42 2.98/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.06 c 32247 122 2740 97977 35 6066 1712 2728 13325 2.42 2.98/3.06 c 32349 122 995 35135 35 2508 1884 983 13312 2.43 2.98/3.06 c 32599 122 1245 43659 35 3006 2073 1233 13322 2.45 2.98/3.06 c 33075 122 1721 59240 34 3958 2281 1709 13325 2.48 2.98/3.06 c 33888 122 1372 44971 32 3257 2510 1360 13315 2.54 2.98/3.06 c 35208 122 1407 46842 33 3332 2762 1395 13316 2.64 2.98/3.06 c 37289 122 2073 69501 33 4648 3039 2061 13298 2.80 2.98/3.06 o 41 3.055 3.29/3.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.32 c 40292 122 1970 65336 33 4534 1712 1958 13188 3.06 3.29/3.32 c 40392 122 993 32519 32 2502 1884 981 13187 3.06 3.29/3.32 c 40642 122 1243 40409 32 3005 2073 1231 13204 3.08 3.29/3.32 c 41117 122 1718 55843 32 3942 2281 1706 13220 3.11 3.29/3.32 c 41931 122 1362 44286 32 3239 2510 1350 13219 3.17 3.29/3.32 c 43251 122 1398 46367 33 3303 2762 1386 13234 3.27 3.29/3.32 o 40 3.318 4.48/4.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.59 c 43929 122 2077 69023 33 4735 1712 2065 13239 3.32 4.48/4.59 c 44030 122 994 32375 32 2497 1884 982 13238 3.33 4.48/4.59 c 44280 122 1244 40471 32 2994 2073 1232 13249 3.34 4.48/4.59 c 44755 122 1719 55959 32 3953 2281 1707 13248 3.38 4.48/4.59 c 45568 122 1350 42062 31 3209 2510 1338 13234 3.44 4.48/4.59 c 46888 122 1379 44925 32 3277 2762 1367 13230 3.54 4.48/4.59 c 48969 122 2055 69360 33 4612 3039 2043 13238 3.70 4.48/4.59 c 52192 122 2173 74261 34 4856 3343 2161 13163 3.96 4.48/4.59 c 57128 122 1989 66387 33 4497 3678 1977 13042 4.38 4.48/4.59 o 37 4.589 4.58/4.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.60 c 59383 122 2371 83426 35 5330 1712 2359 12940 4.59 4.58/4.60 o 35 4.593 4.98/5.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.01 c 59393 122 904 31116 34 2401 1712 892 12928 4.59 4.98/5.01 c 59493 122 1004 34412 34 2584 1884 992 12933 4.60 4.98/5.01 c 59743 122 1254 41975 33 3084 2073 1242 12942 4.62 4.98/5.01 c 60218 122 1729 57360 33 4041 2281 1717 12950 4.65 4.98/5.01 c 61031 122 1372 43584 31 3263 2510 1360 12946 4.71 4.98/5.01 c 62352 122 1396 46059 32 3308 2762 1384 12941 4.82 4.98/5.01 c 64433 122 2063 68920 33 4639 3039 2051 12961 4.97 4.98/5.01 o 34 5.006 5.39/5.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.44 c 64894 122 2525 83868 33 5634 1712 2513 12963 5.01 5.39/5.44 c 64994 122 993 32569 32 2494 1884 981 12952 5.02 5.39/5.44 c 65244 122 1243 40815 32 3000 2073 1231 12960 5.03 5.39/5.44 c 65719 122 1718 56434 32 3938 2281 1706 12967 5.07 5.39/5.44 c 66532 122 1352 42795 31 3219 2510 1340 12971 5.13 5.39/5.44 c 67852 122 1380 45629 33 3277 2762 1368 12956 5.24 5.39/5.44 c 69933 122 2043 68712 33 4597 3039 2031 12945 5.40 5.39/5.44 o 22 5.44 7.38/7.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.45 c 70395 122 2506 84546 33 5601 1712 2494 12940 5.44 7.38/7.45 c 70496 111 994 32209 32 2493 1884 982 12935 5.45 7.38/7.45 c 70746 110 1244 41484 33 2969 2073 1232 12938 5.47 7.38/7.45 c 71221 110 1719 59387 34 3939 2281 1707 12930 5.51 7.38/7.45 c 72034 110 1346 50739 37 3181 2510 1334 12902 5.58 7.38/7.45 c 73354 110 1377 52111 37 3257 2762 1365 12837 5.71 7.38/7.45 c 75435 110 2036 76872 37 4578 3039 2024 12772 5.91 7.38/7.45 c 78658 110 2159 81930 37 4821 3343 2147 12609 6.24 7.38/7.45 c 83595 110 1995 75378 37 4490 3678 1983 12338 6.78 7.38/7.45 o 18 7.448 7.38/7.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.46 c 89683 110 2471 94690 38 5506 1688 2459 12041 7.45 7.38/7.46 o 16 7.459 9.08/9.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.08/9.10 c 89768 110 979 36294 37 2510 1688 967 12034 7.46 9.08/9.10 c 89870 105 1081 39968 36 2701 1857 1069 12038 7.46 9.08/9.10 c 90120 105 1331 48983 36 3188 2043 1319 12048 7.48 9.08/9.10 c 90596 104 1807 67614 37 4135 2248 1795 12066 7.51 9.08/9.10 c 91409 101 1453 55174 37 3379 2473 1441 12071 7.57 9.08/9.10 c 92729 99 1501 57954 38 3481 2721 1489 12042 7.70 9.08/9.10 c 94812 99 2189 82394 37 4844 2994 2177 11995 7.90 9.08/9.10 c 98036 98 2355 88693 37 5181 3294 2343 11923 8.22 9.08/9.10 c 102972 98 2253 86706 38 4978 3624 2241 11778 8.74 9.08/9.10 o 15 9.1 34.48/34.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.48/34.54 c 106176 98 3611 140756 38 7740 1664 3599 11667 9.10 34.48/34.54 c 106276 98 993 37254 37 2441 1831 981 11662 9.11 34.48/34.54 c 106526 98 1243 46399 37 2937 2015 1231 11668 9.13 34.48/34.54 c 107002 98 1719 64287 37 3901 2217 1707 11675 9.16 34.48/34.54 c 107815 98 1392 50805 36 3231 2439 1380 11674 9.23 34.48/34.54 c 109135 98 1464 53991 36 3383 2683 1452 11654 9.36 34.48/34.54 c 111217 98 2168 83401 38 4794 2952 2156 11629 9.56 34.48/34.54 c 114441 98 2375 91716 38 5198 3248 2363 11559 9.90 34.48/34.54 c 119377 98 2340 90734 38 5138 3573 2328 11466 10.41 34.48/34.54 c 126884 98 2556 99040 38 5568 3931 2544 11284 11.24 34.48/34.54 c 138245 98 3936 157052 39 8321 4325 3924 11037 12.53 34.48/34.54 c 155389 98 3533 137938 39 7525 4758 3521 10668 14.56 34.48/34.54 c 181208 98 2795 112425 40 6045 5234 2783 10147 17.86 34.48/34.54 c 220040 98 4490 176654 39 9426 5758 4478 9547 23.05 34.48/34.54 c 278393 98 4601 181575 39 9662 6334 4589 8924 31.19 34.48/34.54 o 13 34.533 51.68/51.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.68/51.73 c 301251 98 5070 196646 38 10644 1664 5058 8723 34.53 51.68/51.73 c 301352 98 994 37160 37 2450 1831 982 8721 34.55 51.68/51.73 c 301603 98 1245 46674 37 2949 2015 1233 8723 34.57 51.68/51.73 c 302078 98 1720 64985 37 3889 2217 1708 8727 34.61 51.68/51.73 c 302891 98 1384 51069 36 3216 2439 1372 8735 34.67 51.68/51.73 c 304211 98 1453 53157 36 3351 2683 1441 8745 34.78 51.68/51.73 c 306292 98 2167 80948 37 4795 2952 2155 8757 34.98 51.68/51.73 c 309516 98 2382 89747 37 5225 3248 2370 8775 35.27 51.68/51.73 c 314453 98 2350 89228 37 5157 3573 2338 8793 35.76 51.68/51.73 c 321959 98 2562 99159 38 5561 3931 2550 8804 36.57 51.68/51.73 c 333321 98 3933 150698 38 8326 4325 3921 8815 37.81 51.68/51.73 c 350466 98 3509 131904 37 7478 4758 3497 8790 39.87 51.68/51.73 c 376286 98 2812 107654 38 6088 5234 2800 8720 43.15 51.68/51.73 c 415120 98 4547 177983 39 9546 5758 4535 8598 48.28 51.68/51.73 o 12 51.715 129.96/130.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 129.96/130.01 c 439663 98 5800 226046 38 12105 1664 5788 8501 51.72 129.96/130.01 c 439763 98 993 37673 37 2440 1831 981 8499 51.74 129.96/130.01 c 440013 98 1243 46907 37 2950 2015 1231 8501 51.76 129.96/130.01 c 440489 98 1719 65139 37 3900 2217 1707 8505 51.79 129.96/130.01 c 441302 98 1392 52186 37 3246 2439 1380 8511 51.85 129.96/130.01 c 442622 98 1458 55682 38 3377 2683 1446 8517 51.97 129.96/130.01 c 444703 98 2164 82148 37 4788 2952 2152 8529 52.13 129.96/130.01 c 447926 98 2371 90429 38 5204 3248 2359 8534 52.48 129.96/130.01 c 452863 98 2331 88761 38 5125 3573 2319 8546 52.99 129.96/130.01 c 460369 98 2555 97493 38 5572 3931 2543 8548 53.85 129.96/130.01 c 471730 98 3918 149588 38 8297 4325 3906 8543 55.22 129.96/130.01 c 488874 98 3484 134860 38 7432 4758 3472 8529 57.31 129.96/130.01 c 514693 98 2760 106571 38 5970 5234 2748 8480 60.69 129.96/130.01 c 553526 98 4494 174358 38 9446 5758 4482 8362 66.19 129.96/130.01 c 611878 98 4605 177121 38 9659 6334 4593 8221 74.42 129.96/130.01 c 699511 98 5805 223259 38 12069 6968 5793 7983 87.62 129.96/130.01 c 831063 98 3720 144022 38 7905 7665 3708 7666 108.40 129.96/130.01 o 9 129.983 321.03/321.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 321.03/321.13 c 961783 98 6949 268346 38 14408 1664 6937 7399 129.98 321.03/321.13 c 961883 98 993 36382 36 2444 1831 981 7398 130.02 321.03/321.13 c 962133 98 1243 45929 36 2941 2015 1231 7399 130.03 321.03/321.13 c 962609 98 1719 63919 37 3893 2217 1707 7400 130.06 321.03/321.13 c 963422 98 1393 50669 36 3251 2439 1381 7403 130.12 321.03/321.13 c 964743 98 1456 51793 35 3360 2683 1444 7408 130.23 321.03/321.13 c 966824 98 2160 78618 36 4770 2952 2148 7414 130.40 321.03/321.13 c 970047 98 2371 90851 38 5200 3248 2359 7421 130.71 321.03/321.13 c 974984 98 2346 87925 37 5157 3573 2334 7429 131.23 321.03/321.13 c 982491 98 2553 97538 38 5558 3931 2541 7441 132.02 321.03/321.13 c 993853 98 3931 149289 37 8328 4325 3919 7456 133.29 321.03/321.13 c 1010997 98 3525 134535 38 7516 4758 3513 7477 135.21 321.03/321.13 c 1036817 98 2820 107146 37 6099 5234 2808 7486 138.49 321.03/321.13 c 1075649 98 4566 175361 38 9596 5758 4554 7506 143.29 321.03/321.13 c 1134001 98 4706 179885 38 9867 6334 4694 7510 150.99 321.03/321.13 c 1221633 98 5949 228526 38 12356 6968 5937 7501 162.86 321.03/321.13 c 1353186 98 3825 148171 38 8115 7665 3813 7442 181.82 321.03/321.13 c 1550619 98 4172 157713 37 8803 8432 4160 7271 213.26 321.03/321.13 c 1846873 98 7322 277895 37 15105 9276 7310 7039 262.34 321.03/321.13 o 8 321.076 1800.01/1800.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.30 c 2170090 98 8273 323512 39 17057 1664 8261 6758 321.08 1800.01/1800.30 c 2170190 92 993 36450 36 2436 1831 981 6758 321.12 1800.01/1800.30 c 2170440 88 1243 46088 37 2921 2015 1231 6758 321.14 1800.01/1800.30 c 2170915 88 1718 63983 37 3881 2217 1706 6759 321.17 1800.01/1800.30 c 2171728 87 1382 51369 37 3200 2439 1370 6760 321.24 1800.01/1800.30 c 2173048 86 1449 54308 37 3331 2683 1437 6762 321.36 1800.01/1800.30 c 2175129 86 2159 81776 37 4756 2952 2147 6764 321.54 1800.01/1800.30 c 2178352 86 2359 89304 37 5151 3248 2347 6768 321.86 1800.01/1800.30 c 2183288 86 2314 87177 37 5066 3573 2302 6773 322.34 1800.01/1800.30 c 2190794 86 2541 94970 37 5521 3931 2529 6779 323.14 1800.01/1800.30 c 2202155 86 3902 151346 38 8233 4325 3890 6788 324.41 1800.01/1800.30 c 2219299 86 3480 134934 38 7397 4758 3468 6794 326.61 1800.01/1800.30 c 2245119 86 2754 105977 38 5943 5234 2742 6808 329.74 1800.01/1800.30 c 2283951 86 4484 172793 38 9411 5758 4472 6822 334.77 1800.01/1800.30 c 2342303 86 4584 171543 37 9601 6334 4572 6838 342.53 1800.01/1800.30 c 2429935 86 5817 227033 39 12073 6968 5805 6844 355.04 1800.01/1800.30 c 2561487 86 3752 143607 38 7941 7665 3740 6818 375.65 1800.01/1800.30 c 2758919 86 4142 156892 37 8719 8432 4130 6752 408.56 1800.01/1800.30 c 3055171 86 7271 276841 38 14978 9276 7259 6650 459.38 1800.01/1800.30 c 3499654 86 8161 319972 39 16757 10204 8149 6443 543.17 1800.01/1800.30 c 4166481 86 7613 297582 39 15654 11225 7601 6254 666.16 1800.01/1800.30 c 5166827 86 8988 346922 38 18410 12348 8976 5925 871.97 1800.01/1800.30 c 6667449 86 7893 303756 38 16221 13583 7881 5506 1210.87 1800.01/1800.30 c 8918487 86 7528 292114 38 15487 14942 7516 5123 1740.73 1800.01/1800.30 c Caught signal: 15 1800.01/1800.30 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 -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 x117 1800.01/1800.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.30 c 245 9169135 13478 9194349 10510 415617 10498 5093 1800.02 1800.01/1800.30 c Objective: 8 1800.01/1800.30 s SATISFIABLE 1800.01/1800.30 c Total time: 1800.02 s
OK 8
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-3734815-1338701106/watcher-3734815-1338701106 -o /tmp/evaluation-result-3734815-1338701106/solver-3734815-1338701106 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734815-1338701106.opb running on 4 cores: 1,3,5,7 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.07 2.02 2.00 3/176 27096 /proc/meminfo: memFree=28180600/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=4472 CPUtime=0 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4194304 118 0 0 0 0 0 0 0 20 0 1 0 336239169 4579328 69 33554432000 134512640 135840783 4287222896 4287222084 9706869 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1119 79 61 325 0 39 0 [startup+0.0682859 s] /proc/loadavg: 2.07 2.02 2.00 3/176 27096 /proc/meminfo: memFree=28180600/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=5208 CPUtime=0.05 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 642 0 0 0 5 0 0 0 20 0 1 0 336239169 5332992 577 33554432000 134512640 135840783 4287222896 4287220736 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1302 577 350 325 0 238 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5208 [startup+0.100254 s] /proc/loadavg: 2.07 2.02 2.00 3/176 27096 /proc/meminfo: memFree=28180600/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=5472 CPUtime=0.09 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 699 0 0 0 9 0 0 0 20 0 1 0 336239169 5603328 634 33554432000 134512640 135840783 4287222896 4287222256 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1368 634 350 325 0 304 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5472 [startup+0.300218 s] /proc/loadavg: 2.07 2.02 2.00 3/176 27096 /proc/meminfo: memFree=28180600/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=5992 CPUtime=0.29 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 836 0 0 0 29 0 0 0 20 0 1 0 336239169 6135808 771 33554432000 134512640 135840783 4287222896 4287222192 134572633 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1498 771 350 325 0 434 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5992 [startup+0.700221 s] /proc/loadavg: 2.07 2.02 2.00 3/176 27096 /proc/meminfo: memFree=28180600/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=5992 CPUtime=0.69 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 836 0 0 0 69 0 0 0 20 0 1 0 336239169 6135808 771 33554432000 134512640 135840783 4287222896 4287221968 1579756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1498 771 350 325 0 434 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5992 [startup+1.50022 s] /proc/loadavg: 2.06 2.02 2.00 3/177 27097 /proc/meminfo: memFree=28179088/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=6388 CPUtime=1.48 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 920 0 0 0 148 0 0 0 20 0 1 0 336239169 6541312 855 33554432000 134512640 135840783 4287222896 4287221696 134586643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1597 855 350 325 0 533 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6388 [startup+3.10022 s] /proc/loadavg: 2.06 2.02 2.00 3/177 27097 /proc/meminfo: memFree=28177840/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=6648 CPUtime=3.08 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 984 0 0 0 308 0 0 0 20 0 1 0 336239169 6807552 919 33554432000 134512640 135840783 4287222896 4287222256 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1662 919 350 325 0 598 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6648 [startup+6.30023 s] /proc/loadavg: 2.06 2.02 2.00 3/177 27097 /proc/meminfo: memFree=28177592/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=6764 CPUtime=6.28 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1003 0 0 0 628 0 0 0 20 0 1 0 336239169 6926336 938 33554432000 134512640 135840783 4287222896 4287222256 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1691 938 350 325 0 627 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6764 [startup+12.7002 s] /proc/loadavg: 2.05 2.01 2.00 3/177 27097 /proc/meminfo: memFree=28176544/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=7396 CPUtime=12.68 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1171 0 0 0 1268 0 0 0 20 0 1 0 336239169 7573504 1105 33554432000 134512640 135840783 4287222896 4287222256 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 1849 1105 350 325 0 785 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7396 [startup+25.5002 s] /proc/loadavg: 2.05 2.01 2.00 3/177 27097 /proc/meminfo: memFree=28176304/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=8280 CPUtime=25.48 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1388 0 0 0 2548 0 0 0 20 0 1 0 336239169 8478720 1322 33554432000 134512640 135840783 4287222896 4287222256 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2070 1322 350 325 0 1006 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8280 [startup+51.1002 s] /proc/loadavg: 2.03 2.01 2.00 3/177 27097 /proc/meminfo: memFree=28176056/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=8548 CPUtime=51.07 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1478 0 0 0 5107 0 0 0 20 0 1 0 336239169 8753152 1412 33554432000 134512640 135840783 4287222896 4287222144 10478121 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2137 1412 350 325 0 1073 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 8548 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/177 27098 /proc/meminfo: memFree=28175684/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=9024 CPUtime=102.27 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1577 0 0 0 10227 0 0 0 20 0 1 0 336239169 9240576 1511 33554432000 134512640 135840783 4287222896 4287222208 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2256 1511 350 325 0 1192 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 9024 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27098 /proc/meminfo: memFree=28174876/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=9380 CPUtime=162.25 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1680 0 0 0 16225 0 0 0 20 0 1 0 336239169 9605120 1613 33554432000 134512640 135840783 4287222896 4287222208 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2345 1613 350 325 0 1281 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 9380 [startup+222.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 27099 /proc/meminfo: memFree=28174248/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=9900 CPUtime=222.25 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1797 0 0 0 22225 0 0 0 20 0 1 0 336239169 10137600 1730 33554432000 134512640 135840783 4287222896 4287222196 1587763 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2475 1730 350 325 0 1411 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 9900 [startup+282.3 s] /proc/loadavg: 2.07 2.03 2.00 3/177 27099 /proc/meminfo: memFree=28173760/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=10500 CPUtime=282.23 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1944 0 0 0 28223 0 0 0 20 0 1 0 336239169 10752000 1877 33554432000 134512640 135840783 4287222896 4287222256 134550924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2625 1877 350 325 0 1561 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 10500 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 27102 /proc/meminfo: memFree=28172944/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=10376 CPUtime=342.22 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1944 0 0 0 34222 0 0 0 20 0 1 0 336239169 10625024 1869 33554432000 134512640 135840783 4287222896 4287222256 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2594 1869 350 325 0 1530 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 10376 [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 27103 /proc/meminfo: memFree=28172952/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=10364 CPUtime=402.22 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1944 0 0 0 40222 0 0 0 20 0 1 0 336239169 10612736 1866 33554432000 134512640 135840783 4287222896 4287222208 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2591 1866 350 325 0 1527 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 10364 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 27103 /proc/meminfo: memFree=28173076/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=10364 CPUtime=462.21 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1944 0 0 0 46221 0 0 0 20 0 1 0 336239169 10612736 1866 33554432000 134512640 135840783 4287222896 4287222256 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2591 1866 350 325 0 1527 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 10364 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27103 /proc/meminfo: memFree=28172952/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=10456 CPUtime=522.2 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 1951 0 0 0 52220 0 0 0 20 0 1 0 336239169 10706944 1873 33554432000 134512640 135840783 4287222896 4287222032 1579781 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2614 1873 350 325 0 1550 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 10456 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27103 /proc/meminfo: memFree=28172392/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=10968 CPUtime=582.19 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2079 0 0 0 58219 0 0 0 20 0 1 0 336239169 11231232 2000 33554432000 134512640 135840783 4287222896 4287222208 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 2742 2000 350 325 0 1678 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 10968 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27104 /proc/meminfo: memFree=28171400/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=12292 CPUtime=882.15 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2409 0 0 0 88214 1 0 0 20 0 1 0 336239169 12587008 2330 33554432000 134512640 135840783 4287222896 4287222368 134552310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3073 2330 350 325 0 2009 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 12292 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 27107 /proc/meminfo: memFree=28171144/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=12372 CPUtime=942.14 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2429 0 0 0 94213 1 0 0 20 0 1 0 336239169 12668928 2350 33554432000 134512640 135840783 4287222896 4287222256 134551109 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3093 2350 350 325 0 2029 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 12372 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27108 /proc/meminfo: memFree=28170532/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=12360 CPUtime=1002.13 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2429 0 0 0 100212 1 0 0 20 0 1 0 336239169 12656640 2350 33554432000 134512640 135840783 4287222896 4287222256 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3090 2350 350 325 0 2026 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 12360 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27108 /proc/meminfo: memFree=28170284/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=12352 CPUtime=1062.12 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2432 0 0 0 106211 1 0 0 20 0 1 0 336239169 12648448 2353 33554432000 134512640 135840783 4287222896 4287222320 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3088 2353 350 325 0 2024 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 12352 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27108 /proc/meminfo: memFree=28170284/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=12348 CPUtime=1122.11 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2432 0 0 0 112210 1 0 0 20 0 1 0 336239169 12644352 2353 33554432000 134512640 135840783 4287222896 4287222256 134550924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3087 2353 350 325 0 2023 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 12348 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27108 /proc/meminfo: memFree=28170160/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=12344 CPUtime=1182.1 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2436 0 0 0 118209 1 0 0 20 0 1 0 336239169 12640256 2357 33554432000 134512640 135840783 4287222896 4287222208 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3086 2357 350 325 0 2022 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 12344 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27108 /proc/meminfo: memFree=28168484/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13048 CPUtime=1242.09 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2603 0 0 0 124208 1 0 0 20 0 1 0 336239169 13361152 2523 33554432000 134512640 135840783 4287222896 4287222208 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3262 2523 350 325 0 2198 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 13048 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27109 /proc/meminfo: memFree=28168360/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13128 CPUtime=1302.08 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2622 0 0 0 130207 1 0 0 20 0 1 0 336239169 13443072 2542 33554432000 134512640 135840783 4287222896 4287222200 1584837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3282 2542 350 325 0 2218 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 13128 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27109 /proc/meminfo: memFree=28168112/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13104 CPUtime=1362.07 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2622 0 0 0 136206 1 0 0 20 0 1 0 336239169 13418496 2542 33554432000 134512640 135840783 4287222896 4287222256 134551326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3276 2542 350 325 0 2212 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 13104 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27109 /proc/meminfo: memFree=28168236/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13104 CPUtime=1422.07 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2623 0 0 0 142206 1 0 0 20 0 1 0 336239169 13418496 2543 33554432000 134512640 135840783 4287222896 4287222256 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3276 2543 350 325 0 2212 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 13104 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27109 /proc/meminfo: memFree=28168236/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13104 CPUtime=1482.05 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2625 0 0 0 148204 1 0 0 20 0 1 0 336239169 13418496 2545 33554432000 134512640 135840783 4287222896 4287222208 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3276 2545 350 325 0 2212 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 13104 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 27112 /proc/meminfo: memFree=28167420/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13104 CPUtime=1542.04 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2625 0 0 0 154203 1 0 0 20 0 1 0 336239169 13418496 2545 33554432000 134512640 135840783 4287222896 4287222176 10469356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3276 2545 350 325 0 2212 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 13104 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27113 /proc/meminfo: memFree=28167552/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13184 CPUtime=1602.03 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2644 0 0 0 160202 1 0 0 20 0 1 0 336239169 13500416 2564 33554432000 134512640 135840783 4287222896 4287222172 1207039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3296 2564 350 325 0 2232 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 13184 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27190 /proc/meminfo: memFree=28134244/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13132 CPUtime=1662.02 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2644 0 0 0 166201 1 0 0 20 0 1 0 336239169 13447168 2558 33554432000 134512640 135840783 4287222896 4287222256 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3283 2558 350 325 0 2219 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 13132 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 27190 /proc/meminfo: memFree=28112524/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=13124 CPUtime=1722.01 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2644 0 0 0 172200 1 0 0 20 0 1 0 336239169 13438976 2556 33554432000 134512640 135840783 4287222896 4287222208 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3281 2556 350 325 0 2217 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 13124 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 27190 /proc/meminfo: memFree=28088380/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=14000 CPUtime=1782.01 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2853 0 0 0 178200 1 0 0 20 0 1 0 336239169 14336000 2765 33554432000 134512640 135840783 4287222896 4287222256 134551520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3500 2765 350 325 0 2436 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 14000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 27190 /proc/meminfo: memFree=28082924/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=14104 CPUtime=1800.01 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2871 0 0 0 180000 1 0 0 20 0 1 0 336239169 14442496 2783 33554432000 134512640 135840783 4287222896 4287222208 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3526 2783 350 325 0 2462 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 14104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 27190 /proc/meminfo: memFree=28082924/32873844 swapFree=7116/7116 [pid=27096] ppid=27094 vsize=14104 CPUtime=1800.01 cores=1,3,5,7 /proc/27096/stat : 27096 (bsolo3.0.17) R 27094 27096 24661 0 -1 4202496 2871 0 0 0 180000 1 0 0 20 0 1 0 336239169 14442496 2783 33554432000 134512640 135840783 4287222896 4287222208 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27096/statm: 3526 2783 350 325 0 2462 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 14104 Child status: 15 Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1800 CPU system time (s): 0.015997 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 14104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.015997 maximum resident set size= 11132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2874 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= 17 involuntary context switches= 1855 runsolver used 3.13052 second user time and 8.50471 second system time The end
Begin job on node108 at 2012-06-03 07:25:06 IDJOB=3734815 IDBENCH=2908 IDSOLVER=2318 FILE ID=node108/3734815-1338701106 RUNJOBID= node108-1338678627-24681 PBS_JOBID= 14636705 Free space on /tmp= 71468 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734815-1338701106/watcher-3734815-1338701106 -o /tmp/evaluation-result-3734815-1338701106/solver-3734815-1338701106 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734815-1338701106.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=1705515828 node108.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 : 2666.273 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 : 5332.54 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 : 2666.273 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 : 2666.273 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 : 2666.273 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 : 2666.273 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 : 2666.273 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 : 5438.55 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 : 2666.273 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.90 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 : 2666.273 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: 28180708 kB Buffers: 322920 kB Cached: 3547136 kB SwapCached: 112 kB Active: 1905432 kB Inactive: 1987392 kB Active(anon): 10084 kB Inactive(anon): 13084 kB Active(file): 1895348 kB Inactive(file): 1974308 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108548 kB Dirty: 6612 kB Writeback: 0 kB AnonPages: 27196 kB Mapped: 15588 kB Shmem: 172 kB Slab: 663512 kB SReclaimable: 105676 kB SUnreclaim: 557836 kB KernelStack: 1480 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 132540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71456 MiB End job on node108 at 2012-06-03 07:55:08