Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | OPT | 2 | 711.197 | 711.183 |
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 | 134.677 |
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.01 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.01 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Learning Strategy: Cardinality Constraint Learning 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Instance file HOME/instance-3463179-1307179154.opb 0.00/0.01 c File size is 3596 bytes. 0.00/0.01 c Highest Coefficient sum: 3331 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0 s 0.00/0.01 c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108 0.00/0.01 c Obj. Vars: 64 (68.0851 % of total variables) 0.00/0.01 c Pre-processing Time: 0 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 94 8 366 45 112 732 0 -2147483648 0.00 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o 780 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 94 9 430 47 302 860 1 -2147483648 0.00 0.00/0.01 o 550 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 48 94 94 3597 38 730 860 86 9600 0.01 0.00/0.01 o 394 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 49 94 96 3681 38 785 860 88 9800 0.01 0.00/0.01 o 390 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 61 94 115 4326 37 904 860 107 10166 0.01 0.00/0.01 o 382 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 68 94 124 4572 36 966 860 116 9714 0.01 0.00/0.01 o 380 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 68 94 125 4636 37 1022 860 117 8500 0.01 0.00/0.01 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 8625 0.01 0.00/0.01 o 325 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 98 94 160 5692 35 1183 860 152 8909 0.01 0.00/0.02 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 8666 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 8631 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 8650 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 8400 0.03 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 8440 0.03 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 8440 0.03 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 8192 0.03 0.00/0.03 o 101 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 250 92 342 11015 32 1904 856 334 8333 0.03 0.00/0.05 c 351 90 458 13951 30 2186 942 450 8560 0.04 0.00/0.05 o 99 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 424 89 533 15461 29 2356 850 525 8653 0.05 0.00/0.05 o 69 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 463 89 574 16424 28 2456 850 566 8574 0.05 0.00/0.06 o 65 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 493 89 608 17847 29 2549 850 600 8500 0.06 0.00/0.06 o 46 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 557 89 673 18964 28 2852 850 665 8569 0.07 0.00/0.06 o 44 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 558 89 676 19110 28 2921 850 668 8584 0.07 0.00/0.06 o 42 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 570 86 690 19467 28 2974 844 682 8507 0.07 0.09/0.14 c 670 81 792 21497 27 3154 929 784 8375 0.08 0.09/0.14 c 920 80 562 12195 21 1396 1022 554 8518 0.11 0.09/0.14 o 37 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1230 78 873 18592 21 2059 828 865 8978 0.14 0.09/0.14 o 35 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1246 78 457 9673 21 1220 828 449 8964 0.14 0.09/0.15 c 1346 78 557 11780 21 1413 911 549 9033 0.15 0.09/0.15 o 31 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1392 78 606 12942 21 1570 828 598 9038 0.15 0.09/0.15 o 27 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1402 77 618 13326 21 1650 826 610 9045 0.15 0.09/0.17 c 1503 70 719 15522 21 1842 909 711 9000 0.17 0.09/0.17 o 25 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1560 70 777 16876 21 1993 812 769 9017 0.17 0.19/0.21 c 1660 70 454 9792 21 1151 894 446 8924 0.19 0.19/0.21 o 24 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1892 70 687 15134 22 1652 812 679 9009 0.21 0.19/0.22 c 1992 70 787 17371 22 1857 894 779 9013 0.22 0.19/0.22 o 19 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1998 70 794 17554 22 1907 812 786 9000 0.22 0.19/0.22 o 17 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 2002 70 799 17697 22 1954 812 791 9018 0.22 0.19/0.22 o 15 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 2023 70 822 18287 22 2046 812 814 8991 0.23 0.19/0.22 o 13 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 2030 69 831 18536 22 2105 810 823 8982 0.23 0.39/0.43 c 2130 64 514 11176 21 1262 892 506 8949 0.24 0.39/0.43 c 2380 63 764 16877 22 1757 982 756 9015 0.26 0.39/0.43 c 2856 62 737 15959 21 1703 1081 729 9037 0.32 0.39/0.43 c 3670 62 1000 21927 21 2230 1190 992 9106 0.40 0.39/0.43 o 10 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 3961 62 686 15117 22 1633 796 678 9084 0.44 1.29/1.36 c 4062 62 787 17303 21 1835 876 779 9107 0.45 1.29/1.36 c 4312 62 588 12824 21 1403 964 580 9116 0.47 1.29/1.36 c 4787 62 569 12069 21 1356 1061 561 9135 0.52 1.29/1.36 c 5600 62 840 18275 21 1901 1168 832 9210 0.61 1.29/1.36 c 6920 62 969 21485 22 2156 1285 961 9226 0.75 1.29/1.36 c 9001 62 1081 24065 22 2386 1414 1073 9165 0.98 1.29/1.36 c 12224 62 1402 31644 22 3026 1556 1394 9088 1.34 1.29/1.36 o 9 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 12324 62 1503 33914 22 3258 796 1495 9081 1.36 1.69/1.72 c 12424 62 539 11920 22 1306 876 531 9068 1.37 1.69/1.72 c 12674 62 789 17481 22 1799 964 781 9085 1.40 1.69/1.72 c 13150 62 774 16729 21 1773 1061 766 9094 1.45 1.69/1.72 c 13964 62 1047 23413 22 2317 1168 1039 9120 1.53 1.69/1.72 c 15285 62 1183 26488 22 2585 1285 1175 9152 1.67 1.69/1.72 o 8 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 15816 62 1062 24195 22 2376 796 1054 9163 1.73 2.39/2.44 c 15916 59 540 11895 22 1295 876 532 9168 1.74 2.39/2.44 c 16166 58 791 17440 22 1793 964 783 9180 1.76 2.39/2.44 c 16641 57 772 16706 21 1758 1061 764 9188 1.81 2.39/2.44 c 17454 57 1044 22767 21 2304 1168 1036 9220 1.89 2.39/2.44 c 18774 56 1175 26062 22 2563 1285 1167 9289 2.02 2.39/2.44 c 20858 55 1294 28236 21 2802 1414 1286 9361 2.23 2.39/2.44 o 6 5.19/5.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.24 c 22948 54 1224 26008 21 2677 780 1216 9416 2.44 5.19/5.24 c 23048 54 539 10916 20 1273 859 531 9415 2.45 5.19/5.24 c 23298 54 789 16450 20 1778 945 781 9428 2.47 5.19/5.24 c 23773 54 777 16781 21 1753 1040 769 9463 2.51 5.19/5.24 c 24587 54 1053 22906 21 2308 1145 1045 9489 2.59 5.19/5.24 c 25907 54 622 13462 21 1445 1260 614 9507 2.73 5.19/5.24 c 27988 54 788 17316 21 1776 1387 780 9552 2.93 5.19/5.24 c 31211 54 1175 26042 22 2552 1526 1167 9556 3.27 5.19/5.24 c 36147 54 1427 31626 22 3049 1679 1419 9437 3.83 5.19/5.24 c 43654 54 1226 27429 22 2656 1847 1218 9221 4.73 5.19/5.24 o 4 6.29/6.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.31 c 47910 54 1722 38626 22 3667 780 1714 9141 5.24 6.29/6.31 c 48010 52 539 11541 21 1275 859 531 9137 5.25 6.29/6.31 c 48260 52 789 17038 21 1777 945 781 9140 5.28 6.29/6.31 c 48736 52 782 16548 21 1763 1040 774 9138 5.33 6.29/6.31 c 49549 52 1063 23075 21 2324 1145 1055 9140 5.42 6.29/6.31 c 50869 51 625 13355 21 1446 1260 617 9135 5.57 6.29/6.31 c 52952 51 783 16651 21 1761 1387 775 9132 5.80 6.29/6.31 c 56177 49 1179 25515 21 2550 1526 1171 9106 6.17 6.29/6.31 o 3 52.69/52.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.69/52.78 c 57397 49 834 18046 21 1876 770 826 9088 6.32 52.69/52.78 c 57497 49 539 11385 21 1261 848 531 9088 6.33 52.69/52.78 c 57748 49 790 17053 21 1766 933 782 9091 6.35 52.69/52.78 c 58224 49 786 16837 21 1758 1027 778 9094 6.40 52.69/52.78 c 59037 49 1074 22900 21 2336 1130 1066 9092 6.49 52.69/52.78 c 60358 49 668 14038 21 1521 1244 660 9096 6.63 52.69/52.78 c 62439 49 848 17644 20 1884 1369 840 9093 6.87 52.69/52.78 c 65662 49 1282 27555 21 2749 1506 1274 9071 7.24 52.69/52.78 c 70599 48 822 17904 21 1830 1657 814 9039 7.81 52.69/52.78 c 78105 48 1568 34538 22 3315 1823 1560 9015 8.66 52.69/52.78 c 89467 47 1773 37676 21 3730 2006 1765 8990 9.95 52.69/52.78 c 106611 47 1581 34875 22 3344 2207 1573 8802 12.11 52.69/52.78 c 132430 47 1613 35029 21 3409 2428 1605 8584 15.43 52.69/52.78 c 171262 46 2220 49303 22 4622 2671 2212 8366 20.47 52.69/52.78 c 229615 46 2429 52458 21 5041 2939 2421 8096 28.36 52.69/52.78 c 317248 46 2324 52257 22 4829 3233 2316 7852 40.40 52.69/52.78 o 2 711.11/711.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 711.11/711.18 c 401730 46 1830 40364 22 3859 764 1822 7610 52.79 711.11/711.18 c 401830 46 539 11234 20 1252 841 531 7610 52.80 711.11/711.18 c 402081 46 790 16754 21 1760 926 782 7611 52.82 711.11/711.18 c 402556 44 792 16580 20 1760 1019 784 7613 52.87 711.11/711.18 c 403371 44 569 11883 20 1309 1121 561 7616 52.96 711.11/711.18 c 404693 44 751 15312 20 1678 1234 743 7620 53.10 711.11/711.18 c 406774 44 935 19962 21 2039 1358 927 7627 53.33 711.11/711.18 c 409997 44 1400 30243 21 2970 1494 1392 7634 53.70 711.11/711.18 c 414933 43 991 21185 21 2154 1644 983 7644 54.28 711.11/711.18 c 422439 43 957 20168 21 2084 1809 949 7665 55.11 711.11/711.18 c 433801 43 1273 27472 21 2720 1990 1265 7684 56.45 711.11/711.18 c 450947 43 1208 26059 21 2586 2190 1200 7694 58.60 711.11/711.18 c 476767 42 1437 30720 21 3046 2410 1429 7717 61.78 711.11/711.18 c 515599 42 2362 51910 21 4890 2652 2354 7710 66.87 711.11/711.18 c 573952 41 1574 34466 21 3317 2918 1566 7690 74.64 711.11/711.18 c 661585 41 2100 46485 22 4366 3210 2092 7600 87.05 711.11/711.18 c 793138 41 2205 46739 21 4579 3532 2197 7457 106.36 711.11/711.18 c 990570 39 3330 74033 22 6821 3886 3322 7325 135.22 711.11/711.18 c 1286822 39 3551 78069 21 7264 4275 3543 7103 181.15 711.11/711.18 c 1731304 39 4222 95147 22 8605 4703 4214 6879 251.65 711.11/711.18 c 2398131 39 3125 69803 22 6417 5174 3117 6592 363.78 711.11/711.18 c 3398477 38 3530 73365 20 7222 5692 3522 6268 542.19 711.11/711.18 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 711.11/711.18 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 711.11/711.18 c 120 4303673 13268 4319794 4721 70959 4713 6051 711.20 711.11/711.18 c Objective: 2 711.11/711.18 s OPTIMUM FOUND 711.11/711.18 c Total time: 711.196 s
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463179-1307179154/watcher-3463179-1307179154 -o /tmp/evaluation-result-3463179-1307179154/solver-3463179-1307179154 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463179-1307179154.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 2.00 1.99 3/473 2024 /proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=26412 CPUtime=0 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 829515066 27045888 241 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 6603 241 192 642 0 5959 0 [startup+0.0908011 s] /proc/loadavg: 1.96 2.00 1.99 3/473 2024 /proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=18980 CPUtime=0.08 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 386 0 0 0 8 0 0 0 25 0 1 0 829515066 19435520 339 33554432000 134512640 137138936 4291206720 18446744073709551615 134543140 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4745 339 192 642 0 4101 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18980 [startup+0.100802 s] /proc/loadavg: 1.96 2.00 1.99 3/473 2024 /proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=18980 CPUtime=0.09 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 395 0 0 0 9 0 0 0 25 0 1 0 829515066 19435520 348 33554432000 134512640 137138936 4291206720 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4745 348 192 642 0 4101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18980 [startup+0.30077 s] /proc/loadavg: 1.96 2.00 1.99 3/473 2024 /proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=18984 CPUtime=0.29 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 397 0 0 0 29 0 0 0 25 0 1 0 829515066 19439616 350 33554432000 134512640 137138936 4291206720 18446744073709551615 134550966 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4746 350 192 642 0 4102 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18984 [startup+0.70069 s] /proc/loadavg: 1.96 2.00 1.99 3/473 2024 /proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=18984 CPUtime=0.69 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 407 0 0 0 69 0 0 0 25 0 1 0 829515066 19439616 360 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4746 360 192 642 0 4102 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18984 [startup+1.50056 s] /proc/loadavg: 1.96 2.00 1.99 3/474 2025 /proc/meminfo: memFree=20320004/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19112 CPUtime=1.49 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 435 0 0 0 149 0 0 0 25 0 1 0 829515066 19570688 388 33554432000 134512640 137138936 4291206720 18446744073709551615 134575926 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4778 388 192 642 0 4134 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19112 [startup+3.1002 s] /proc/loadavg: 1.96 2.00 1.99 3/474 2025 /proc/meminfo: memFree=20318888/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19112 CPUtime=3.08 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 435 0 0 0 307 1 0 0 25 0 1 0 829515066 19570688 388 33554432000 134512640 137138936 4291206720 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4778 388 192 642 0 4134 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19112 [startup+6.30071 s] /proc/loadavg: 1.96 2.00 1.99 3/474 2025 /proc/meminfo: memFree=20318268/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19240 CPUtime=6.29 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 476 0 0 0 626 3 0 0 25 0 1 0 829515066 19701760 429 33554432000 134512640 137138936 4291206720 18446744073709551615 134619029 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4810 429 192 642 0 4166 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19240 [startup+12.7006 s] /proc/loadavg: 1.97 2.00 1.99 3/474 2026 /proc/meminfo: memFree=20316384/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19372 CPUtime=12.69 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 512 0 0 0 1264 5 0 0 25 0 1 0 829515066 19836928 465 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4843 465 192 642 0 4199 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19372 [startup+25.5003 s] /proc/loadavg: 1.97 2.00 1.99 3/474 2026 /proc/meminfo: memFree=20317236/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19624 CPUtime=25.49 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 562 0 0 0 2539 10 0 0 25 0 1 0 829515066 20094976 515 33554432000 134512640 137138936 4291206720 18446744073709551615 134603056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4906 515 192 642 0 4262 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19624 [startup+51.1008 s] /proc/loadavg: 1.98 2.00 1.99 3/474 2054 /proc/meminfo: memFree=20357636/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19884 CPUtime=51.09 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 620 0 0 0 5089 20 0 0 25 0 1 0 829515066 20361216 573 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4971 573 192 642 0 4327 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 19884 [startup+102.317 s] /proc/loadavg: 2.03 2.01 2.00 3/474 2055 /proc/meminfo: memFree=20354836/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=19884 CPUtime=102.31 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 620 0 0 0 10191 40 0 0 25 0 1 0 829515066 20361216 573 33554432000 134512640 137138936 4291206720 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 4971 573 192 642 0 4327 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 19884 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/474 2057 /proc/meminfo: memFree=20351104/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20132 CPUtime=162.29 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 684 0 0 0 16166 63 0 0 25 0 1 0 829515066 20615168 637 33554432000 134512640 137138936 4291206720 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5033 637 192 642 0 4389 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 20132 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 2058 /proc/meminfo: memFree=20349592/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20264 CPUtime=222.29 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 726 0 0 0 22144 85 0 0 25 0 1 0 829515066 20750336 679 33554432000 134512640 137138936 4291206720 18446744073709551615 134576332 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5066 679 192 642 0 4422 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 20264 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 2060 /proc/meminfo: memFree=20348588/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20508 CPUtime=282.3 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 773 0 0 0 28123 107 0 0 25 0 1 0 829515066 21000192 726 33554432000 134512640 137138936 4291206720 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5127 726 192 642 0 4483 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 20508 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 2061 /proc/meminfo: memFree=20347208/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20508 CPUtime=342.29 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 773 0 0 0 34100 129 0 0 25 0 1 0 829515066 21000192 726 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5127 726 192 642 0 4483 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 20508 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 2063 /proc/meminfo: memFree=20347196/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20640 CPUtime=402.3 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 817 0 0 0 40082 148 0 0 25 0 1 0 829515066 21135360 770 33554432000 134512640 137138936 4291206720 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5160 770 192 642 0 4516 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 20640 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 2065 /proc/meminfo: memFree=20347792/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20640 CPUtime=462.3 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 819 0 0 0 46062 168 0 0 25 0 1 0 829515066 21135360 772 33554432000 134512640 137138936 4291206720 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5160 772 192 642 0 4516 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 20640 [startup+522.301 s] /proc/loadavg: 2.16 2.03 2.01 3/474 2066 /proc/meminfo: memFree=20348636/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20640 CPUtime=522.3 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 820 0 0 0 52044 186 0 0 25 0 1 0 829515066 21135360 773 33554432000 134512640 137138936 4291206720 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5160 773 192 642 0 4516 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 20640 [startup+582.3 s] /proc/loadavg: 2.13 2.04 2.01 3/474 2068 /proc/meminfo: memFree=20348736/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=582.3 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 854 0 0 0 58025 205 0 0 25 0 1 0 829515066 21266432 807 33554432000 134512640 137138936 4291206720 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 807 192 642 0 4548 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 20768 [startup+642.301 s] /proc/loadavg: 2.15 2.06 2.02 3/474 2069 /proc/meminfo: memFree=20348584/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=642.31 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 64004 227 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 20768 [startup+702.3 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346572/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=702.31 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 69984 247 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 20768 Solver just ended. Dumping a history of the last processes samples [startup+703.901 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346572/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=703.91 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70144 247 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 703.91 Current children cumulated vsize (KiB) 20768 [startup+707.1 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346572/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=707.11 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70463 248 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 134543241 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 707.11 Current children cumulated vsize (KiB) 20768 [startup+708.701 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346448/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=708.71 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70622 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 708.71 Current children cumulated vsize (KiB) 20768 [startup+710.301 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346448/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=710.31 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70782 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 710.31 Current children cumulated vsize (KiB) 20768 [startup+710.701 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346564/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=710.71 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70822 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 710.71 Current children cumulated vsize (KiB) 20768 [startup+711.101 s] /proc/loadavg: 2.05 2.05 2.01 3/474 2071 /proc/meminfo: memFree=20346564/32950928 swapFree=61858088/67111528 [pid=2024] ppid=2022 vsize=20768 CPUtime=711.11 cores=0,2,4,6 /proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70862 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/2024/statm: 5192 809 192 642 0 4548 0 Current children cumulated CPU time (s) 711.11 Current children cumulated vsize (KiB) 20768 Child status: 0 Real time (s): 711.183 CPU time (s): 711.197 CPU user time (s): 708.703 CPU system time (s): 2.49362 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 20768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 708.703 system time used= 2.49362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 857 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= 5 involuntary context switches= 1950 runsolver used 3.34649 second user time and 7.00394 second system time The end
Begin job on node125 at 2011-06-04 11:19:14 IDJOB=3463179 IDBENCH=2896 IDSOLVER=1955 FILE ID=node125/3463179-1307179154 RUNJOBID= node125-1307174917-1663 PBS_JOBID= 13508829 Free space on /tmp= 73788 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-3463179-1307179154/watcher-3463179-1307179154 -o /tmp/evaluation-result-3463179-1307179154/solver-3463179-1307179154 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463179-1307179154.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED=1172687973 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20320292 kB Buffers: 357132 kB Cached: 3510156 kB SwapCached: 3616 kB Active: 8926808 kB Inactive: 3360640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20320292 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 3916 kB Writeback: 0 kB AnonPages: 8418084 kB Mapped: 34864 kB Slab: 214184 kB PageTables: 61440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130079688 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73784 MiB End job on node125 at 2011-06-04 11:31:05