Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | OPT | 2 | 649.98 | 650.08 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb |
MD5SUM | d26b3b10be20d9248aac462b86b1f040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 52.396 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
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 | 8 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
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 | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 940 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3331 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3708064-1338156680.opb 0.00/0.00 c File size is 3596 bytes. 0.00/0.00 c Highest Coefficient sum: 3331 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108 0.00/0.00 c Obj. Vars: 64 (68.0851 % 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 94 8 366 45 112 732 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 780 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 9 430 47 302 860 1 -2147483648 0.00 0.00/0.00 o 550 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 48 94 94 3597 38 730 860 86 16000 0.00 0.00/0.00 o 394 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 49 94 96 3681 38 785 860 88 12250 0.00 0.00/0.00 o 390 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 61 94 115 4326 37 904 860 107 12200 0.01 0.00/0.00 o 382 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 68 94 124 4572 36 966 860 116 11333 0.01 0.00/0.00 o 380 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 68 94 125 4636 37 1022 860 117 11333 0.01 0.00/0.00 o 372 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 69 94 127 4754 37 1081 860 119 11500 0.01 0.00/0.01 o 325 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 98 94 160 5692 35 1183 860 152 9800 0.01 0.00/0.01 o 302 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 156 94 223 7446 33 1377 860 215 9750 0.02 0.00/0.02 o 281 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 164 94 236 7902 33 1493 860 228 9647 0.02 0.00/0.02 o 275 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 173 94 249 8297 33 1568 860 241 9611 0.02 0.00/0.02 o 126 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 210 94 294 9701 32 1691 860 286 9545 0.02 0.00/0.02 o 124 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 211 94 296 9817 33 1748 860 288 9173 0.02 0.00/0.02 o 115 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 211 94 297 9881 33 1763 860 289 9173 0.02 0.00/0.02 o 103 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 213 94 300 10037 33 1819 860 292 9260 0.02 0.00/0.03 o 101 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 250 92 342 11015 32 1904 856 334 9259 0.03 0.03/0.04 c 351 90 458 13951 30 2186 942 450 9486 0.04 0.03/0.04 o 99 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 424 89 533 15461 29 2356 850 525 9636 0.04 0.03/0.05 o 69 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 463 89 574 16424 28 2456 850 566 9448 0.05 0.03/0.05 o 65 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 493 89 608 17847 29 2549 850 600 9480 0.05 0.03/0.06 o 46 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 557 89 673 18964 28 2852 850 665 9603 0.06 0.03/0.06 o 44 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 558 89 676 19110 28 2921 850 668 9457 0.06 0.03/0.06 o 42 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 570 86 690 19467 28 2974 844 682 9500 0.06 0.09/0.12 c 670 81 792 21497 27 3154 929 784 9305 0.07 0.09/0.12 c 920 80 562 12195 21 1396 1022 554 9484 0.10 0.09/0.12 o 37 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1230 78 873 18592 21 2059 828 865 10000 0.12 0.09/0.12 o 35 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1246 78 457 9673 21 1220 828 449 9968 0.12 0.09/0.14 c 1346 78 557 11780 21 1413 911 549 10044 0.13 0.09/0.14 o 31 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1392 78 606 12942 21 1570 828 598 10086 0.14 0.09/0.14 o 27 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1402 77 618 13326 21 1650 826 610 10086 0.14 0.09/0.15 c 1503 70 719 15522 21 1842 909 711 10087 0.15 0.09/0.15 o 25 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 1560 70 777 16876 21 1993 812 769 10064 0.15 0.09/0.19 c 1660 70 454 9792 21 1151 894 446 10000 0.17 0.09/0.19 o 24 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1892 70 687 15134 22 1652 812 679 10063 0.19 0.19/0.20 c 1992 70 787 17371 22 1857 894 779 10060 0.20 0.19/0.20 o 19 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1998 70 794 17554 22 1907 812 786 10040 0.20 0.19/0.20 o 17 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 2002 70 799 17697 22 1954 812 791 10060 0.20 0.19/0.20 o 15 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 2023 70 822 18287 22 2046 812 814 10064 0.20 0.19/0.20 o 13 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 2030 69 831 18536 22 2105 810 823 10049 0.20 0.29/0.39 c 2130 64 514 11176 21 1262 892 506 10000 0.21 0.29/0.39 c 2380 63 764 16877 22 1757 982 756 10042 0.24 0.29/0.39 c 2856 62 737 15959 21 1703 1081 729 10091 0.28 0.29/0.39 c 3670 62 1000 21927 21 2230 1190 992 10166 0.36 0.29/0.39 o 10 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 3961 62 686 15117 22 1633 796 678 10156 0.39 1.19/1.21 c 4062 62 787 17303 21 1835 876 779 10180 0.40 1.19/1.21 c 4312 62 588 12824 21 1403 964 580 10193 0.42 1.19/1.21 c 4787 62 569 12069 21 1356 1061 561 10206 0.47 1.19/1.21 c 5600 62 840 18275 21 1901 1168 832 10294 0.54 1.19/1.21 c 6920 62 969 21485 22 2156 1285 961 10312 0.67 1.19/1.21 c 9001 62 1081 24065 22 2386 1414 1073 10240 0.88 1.19/1.21 c 12224 62 1402 31644 22 3026 1556 1394 10152 1.20 1.19/1.21 o 9 1.48/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.48/1.54 c 12324 62 1503 33914 22 3258 796 1495 10143 1.22 1.48/1.54 c 12424 62 539 11920 22 1306 876 531 10133 1.23 1.48/1.54 c 12674 62 789 17481 22 1799 964 781 10147 1.25 1.48/1.54 c 13150 62 774 16729 21 1773 1061 766 10162 1.29 1.48/1.54 c 13964 62 1047 23413 22 2317 1168 1039 10192 1.37 1.48/1.54 c 15285 62 1183 26488 22 2585 1285 1175 10224 1.50 1.48/1.54 o 8 2.19/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.24 c 15816 62 1062 24195 22 2376 796 1054 10243 1.54 2.19/2.24 c 15916 59 540 11895 22 1295 876 532 10241 1.55 2.19/2.24 c 16166 58 791 17440 22 1793 964 783 10257 1.58 2.19/2.24 c 16641 57 772 16706 21 1758 1061 764 10265 1.62 2.19/2.24 c 17454 57 1044 22767 21 2304 1168 1036 10279 1.70 2.19/2.24 c 18774 56 1175 26062 22 2563 1285 1167 10287 1.82 2.19/2.24 c 20858 55 1294 28236 21 2802 1414 1286 10259 2.03 2.19/2.24 o 6 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 22948 54 1224 26008 21 2677 780 1216 10235 2.24 4.79/4.84 c 23048 54 539 10916 20 1273 859 531 10234 2.25 4.79/4.84 c 23298 54 789 16450 20 1778 945 781 10240 2.27 4.79/4.84 c 23773 54 777 16781 21 1753 1040 769 10264 2.32 4.79/4.84 c 24587 54 1053 22906 21 2308 1145 1045 10261 2.40 4.79/4.84 c 25907 54 622 13462 21 1445 1260 614 10243 2.53 4.79/4.84 c 27988 54 788 17316 21 1776 1387 780 10240 2.73 4.79/4.84 c 31211 54 1175 26042 22 2552 1526 1167 10219 3.05 4.79/4.84 c 36147 54 1427 31626 22 3049 1679 1419 10113 3.57 4.79/4.84 c 43654 54 1226 27429 22 2656 1847 1218 9950 4.39 4.79/4.84 o 4 5.79/5.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.80 c 47910 54 1722 38626 22 3667 780 1714 9898 4.84 5.79/5.80 c 48010 52 539 11541 21 1275 859 531 9896 4.85 5.79/5.80 c 48260 52 789 17038 21 1777 945 781 9897 4.88 5.79/5.80 c 48736 52 782 16548 21 1763 1040 774 9899 4.92 5.79/5.80 c 49549 52 1063 23075 21 2324 1145 1055 9907 5.00 5.79/5.80 c 50869 51 625 13355 21 1446 1260 617 9910 5.13 5.79/5.80 c 52952 51 783 16651 21 1761 1387 775 9919 5.34 5.79/5.80 c 56177 49 1179 25515 21 2550 1526 1171 9907 5.67 5.79/5.80 o 3 48.28/48.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.28/48.34 c 57397 49 834 18046 21 1876 770 826 9896 5.80 48.28/48.34 c 57497 49 539 11385 21 1261 848 531 9896 5.81 48.28/48.34 c 57748 49 790 17053 21 1766 933 782 9900 5.83 48.28/48.34 c 58224 49 786 16837 21 1758 1027 778 9905 5.88 48.28/48.34 c 59037 49 1074 22900 21 2336 1130 1066 9907 5.96 48.28/48.34 c 60358 49 668 14038 21 1521 1244 660 9917 6.09 48.28/48.34 c 62439 49 848 17644 20 1884 1369 840 9921 6.29 48.28/48.34 c 65662 49 1282 27555 21 2749 1506 1274 9911 6.62 48.28/48.34 c 70599 48 822 17904 21 1830 1657 814 9893 7.14 48.28/48.34 c 78105 48 1568 34538 22 3315 1823 1560 9858 7.92 48.28/48.34 c 89467 47 1773 37676 21 3730 2006 1765 9740 9.19 48.28/48.34 c 106611 47 1581 34875 22 3344 2207 1573 9586 11.12 48.28/48.34 c 132430 47 1613 35029 21 3409 2428 1605 9372 14.13 48.28/48.34 c 171262 46 2220 49303 22 4622 2671 2212 9141 18.73 48.28/48.34 c 229615 46 2429 52458 21 5041 2939 2421 8844 25.96 48.28/48.34 c 317248 46 2324 52257 22 4829 3233 2316 8578 36.98 48.28/48.34 o 2 649.89/650.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 649.89/650.08 c 401730 46 1830 40364 22 3859 764 1822 8311 48.34 649.89/650.08 c 401830 46 539 11234 20 1252 841 531 8311 48.35 649.89/650.08 c 402081 46 790 16754 21 1760 926 782 8312 48.37 649.89/650.08 c 402556 44 792 16580 20 1760 1019 784 8315 48.41 649.89/650.08 c 403371 44 569 11883 20 1309 1121 561 8318 48.49 649.89/650.08 c 404693 44 751 15312 20 1678 1234 743 8323 48.62 649.89/650.08 c 406774 44 935 19962 21 2039 1358 927 8331 48.82 649.89/650.08 c 409997 44 1400 30243 21 2970 1494 1392 8340 49.16 649.89/650.08 c 414933 43 991 21185 21 2154 1644 983 8353 49.67 649.89/650.08 c 422439 43 957 20168 21 2084 1809 949 8366 50.49 649.89/650.08 c 433801 43 1273 27472 21 2720 1990 1265 8382 51.75 649.89/650.08 c 450947 43 1208 26059 21 2586 2190 1200 8401 53.67 649.89/650.08 c 476767 42 1437 30720 21 3046 2410 1429 8422 56.60 649.89/650.08 c 515599 42 2362 51910 21 4890 2652 2354 8424 61.20 649.89/650.08 c 573952 41 1574 34466 21 3317 2918 1566 8398 68.34 649.89/650.08 c 661585 41 2100 46485 22 4366 3210 2092 8305 79.66 649.89/650.08 c 793138 41 2205 46739 21 4579 3532 2197 8149 97.33 649.89/650.08 c 990570 39 3330 74033 22 6821 3886 3322 8001 123.81 649.89/650.08 c 1286822 39 3551 78069 21 7264 4275 3543 7758 165.85 649.89/650.08 c 1731304 39 4222 95147 22 8605 4703 4214 7514 230.39 649.89/650.08 c 2398131 39 3125 69803 22 6417 5174 3117 7203 332.91 649.89/650.08 c 3398477 38 3530 73365 20 7222 5692 3522 6850 496.11 649.89/650.08 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 649.89/650.08 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 649.89/650.08 c 120 4303673 13268 4319794 4721 70959 4713 6621 649.98 649.89/650.08 c Objective: 2 649.89/650.08 s OPTIMUM FOUND 649.89/650.08 c Total time: 649.978 s
OK 2
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-3708064-1338156680/watcher-3708064-1338156680 -o /tmp/evaluation-result-3708064-1338156680/solver-3708064-1338156680 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708064-1338156680.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.00 2.00 2.00 3/176 29199 /proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=26416 CPUtime=0 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 281793474 27049984 247 33554432000 134512640 137138936 4294579296 4294578048 134575191 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 6604 247 192 642 0 5960 0 [startup+0.044152 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29199 /proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=18732 CPUtime=0.03 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 349 0 0 0 3 0 0 0 20 0 1 0 281793474 19181568 301 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4683 301 192 642 0 4039 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18732 [startup+0.100214 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29199 /proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=18984 CPUtime=0.09 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 397 0 0 0 9 0 0 0 20 0 1 0 281793474 19439616 349 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4746 349 192 642 0 4102 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18984 [startup+0.300111 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29199 /proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=18988 CPUtime=0.29 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 398 0 0 0 29 0 0 0 20 0 1 0 281793474 19443712 350 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4747 350 192 642 0 4103 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18988 [startup+0.700097 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29199 /proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=18988 CPUtime=0.69 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 408 0 0 0 69 0 0 0 20 0 1 0 281793474 19443712 360 33554432000 134512640 137138936 4294579296 4294578224 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4747 360 192 642 0 4103 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18988 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27971856/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=19116 CPUtime=1.48 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 436 0 0 0 148 0 0 0 20 0 1 0 281793474 19574784 388 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4779 388 192 642 0 4135 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19116 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27971484/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=19116 CPUtime=3.08 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 439 0 0 0 307 1 0 0 20 0 1 0 281793474 19574784 391 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4779 391 192 642 0 4135 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19116 [startup+6.30013 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27971196/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=19244 CPUtime=6.29 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 477 0 0 0 626 3 0 0 20 0 1 0 281793474 19705856 429 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4811 429 192 642 0 4167 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19244 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27971224/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=19500 CPUtime=12.68 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 515 0 0 0 1262 6 0 0 20 0 1 0 281793474 19968000 467 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4875 467 192 642 0 4231 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19500 [startup+25.5001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27971196/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=19628 CPUtime=25.49 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 563 0 0 0 2537 12 0 0 20 0 1 0 281793474 20099072 515 33554432000 134512640 137138936 4294579296 4294578156 136521046 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4907 515 192 642 0 4263 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19628 [startup+51.1001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27970452/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=19888 CPUtime=51.08 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 621 0 0 0 5086 22 0 0 20 0 1 0 281793474 20365312 573 33554432000 134512640 137138936 4294579296 4294578192 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 4972 573 192 642 0 4328 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19888 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29200 /proc/meminfo: memFree=27970144/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20008 CPUtime=102.28 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 649 0 0 0 10186 42 0 0 20 0 1 0 281793474 20488192 601 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5002 601 192 642 0 4358 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 20008 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29201 /proc/meminfo: memFree=27970144/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20136 CPUtime=162.27 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 686 0 0 0 16162 65 0 0 20 0 1 0 281793474 20619264 638 33554432000 134512640 137138936 4294579296 4294577716 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5034 638 192 642 0 4390 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 20136 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29201 /proc/meminfo: memFree=27968904/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20268 CPUtime=222.25 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 727 0 0 0 22140 85 0 0 20 0 1 0 281793474 20754432 679 33554432000 134512640 137138936 4294579296 4294578224 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5067 679 192 642 0 4423 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 20268 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29201 /proc/meminfo: memFree=27968908/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20512 CPUtime=282.24 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 774 0 0 0 28120 104 0 0 20 0 1 0 281793474 21004288 726 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5128 726 192 642 0 4484 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 20512 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29201 /proc/meminfo: memFree=27968788/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20644 CPUtime=342.24 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 818 0 0 0 34101 123 0 0 20 0 1 0 281793474 21139456 770 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5161 770 192 642 0 4517 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 20644 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29201 /proc/meminfo: memFree=27968104/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20644 CPUtime=402.23 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 820 0 0 0 40080 143 0 0 20 0 1 0 281793474 21139456 772 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5161 772 192 642 0 4517 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 20644 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29202 /proc/meminfo: memFree=27967732/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20644 CPUtime=462.21 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 821 0 0 0 46058 163 0 0 20 0 1 0 281793474 21139456 773 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5161 773 192 642 0 4517 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 20644 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29205 /proc/meminfo: memFree=27966808/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=522.21 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 855 0 0 0 52037 184 0 0 20 0 1 0 281793474 21270528 807 33554432000 134512640 137138936 4294579296 4294578192 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 807 192 642 0 4549 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 20772 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967616/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=582.2 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 58018 202 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578224 134542766 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 20772 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967492/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=642.19 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64000 219 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 642.19 Current children cumulated vsize (KiB) 20772 Solver just ended. Dumping a history of the last processes samples [startup+646.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967120/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=646.19 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64399 220 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294577716 136502581 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 646.19 Current children cumulated vsize (KiB) 20772 [startup+647.906 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=647.8 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64559 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 647.8 Current children cumulated vsize (KiB) 20772 [startup+648.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=648.59 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64638 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578224 134542758 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 648.59 Current children cumulated vsize (KiB) 20772 [startup+649.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=649.39 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64718 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294577608 136504163 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 649.39 Current children cumulated vsize (KiB) 20772 [startup+649.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=649.79 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64758 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294577224 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 649.79 Current children cumulated vsize (KiB) 20772 [startup+650 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29205 /proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104 [pid=29199] ppid=29197 vsize=20772 CPUtime=649.89 cores=1,3,5,7 /proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64768 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/29199/statm: 5193 809 192 642 0 4549 0 Current children cumulated CPU time (s) 649.89 Current children cumulated vsize (KiB) 20772 Child status: 0 Real time (s): 650.08 CPU time (s): 649.98 CPU user time (s): 647.76 CPU system time (s): 2.21966 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 20772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 647.761 system time used= 2.21966 maximum resident set size= 3240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 858 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= 3 involuntary context switches= 713 runsolver used 1.47477 second user time and 5.33819 second system time The end
Begin job on node127 at 2012-05-28 00:11:20 IDJOB=3708064 IDBENCH=2896 IDSOLVER=2286 FILE ID=node127/3708064-1338156680 RUNJOBID= node127-1338149212-27948 PBS_JOBID= 14624481 Free space on /tmp= 71176 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708064-1338156680/watcher-3708064-1338156680 -o /tmp/evaluation-result-3708064-1338156680/solver-3708064-1338156680 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708064-1338156680.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED=1457930559 node127.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.348 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.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 : 2666.348 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.348 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.94 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.348 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.348 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.348 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 : 2666.348 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.91 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.348 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: 32873648 kB MemFree: 27973376 kB Buffers: 477360 kB Cached: 3515316 kB SwapCached: 0 kB Active: 1230740 kB Inactive: 2786856 kB Active(anon): 26988 kB Inactive(anon): 0 kB Active(file): 1203752 kB Inactive(file): 2786856 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3912 kB Writeback: 0 kB AnonPages: 31424 kB Mapped: 15156 kB Shmem: 200 kB Slab: 743612 kB SReclaimable: 187812 kB SUnreclaim: 555800 kB KernelStack: 1432 kB PageTables: 4212 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 154200 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71172 MiB End job on node127 at 2012-05-28 00:22:10