Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 2 | 731.647 | 731.628 |
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 | 97.0882 |
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.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 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433509-1177960247/instance-433509-1177960247.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.001 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.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 94 8 366 45 112 732 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 780 0.002 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 297 860 1 0 0.00 0.00/0.00 o 756 0.003 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 4 94 14 629 44 359 860 6 1333 0.00 0.00/0.01 c 105 94 115 4753 41 548 947 107 17500 0.01 0.00/0.01 o 740 0.006 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 107 94 118 4883 41 625 860 110 15285 0.01 0.00/0.01 o 729 0.007 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 120 94 132 5399 40 720 860 124 17142 0.01 0.00/0.01 o 723 0.008 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 124 94 137 5640 41 785 860 129 15500 0.01 0.00/0.01 o 721 0.008 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 126 94 140 5786 41 840 860 132 15750 0.01 0.00/0.01 o 715 0.009 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 132 94 147 6124 41 918 860 139 14666 0.01 0.00/0.01 o 713 0.01 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 139 94 155 6535 42 985 860 147 13900 0.01 0.00/0.01 o 336 0.01 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 142 94 159 6727 42 948 860 151 14200 0.01 0.00/0.01 o 334 0.011 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 167 94 185 7274 39 930 860 177 13916 0.01 0.00/0.01 o 318 0.012 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 169 94 188 7431 39 979 860 180 14083 0.01 0.00/0.01 o 304 0.012 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 171 94 191 7573 39 1062 860 183 14250 0.01 0.00/0.01 o 296 0.013 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 180 94 201 7953 39 1108 860 193 13846 0.01 0.00/0.02 o 295 0.017 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 233 94 255 9440 37 1260 860 247 12944 0.02 0.00/0.02 o 288 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 233 94 256 9504 37 1274 860 248 12944 0.02 0.00/0.02 o 282 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 234 94 258 9602 37 1327 860 250 13000 0.02 0.00/0.02 o 208 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 234 94 259 9666 37 1372 860 251 13000 0.02 0.00/0.02 o 206 0.019 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 235 94 261 9783 37 1446 860 253 12368 0.02 0.00/0.02 o 198 0.019 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 239 94 266 9933 37 1514 860 258 12578 0.02 0.00/0.02 o 196 0.02 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 240 94 268 10049 37 1577 860 260 12000 0.02 0.00/0.02 o 188 0.021 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 247 94 276 10404 37 1634 860 268 11761 0.02 0.00/0.02 o 182 0.022 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 254 94 284 10756 37 1713 860 276 11545 0.02 0.00/0.02 o 178 0.024 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 285 94 316 11499 36 1839 860 308 11400 0.03 0.00/0.03 o 176 0.031 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 349 94 381 13430 35 2033 860 373 11258 0.03 0.00/0.03 o 172 0.032 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 355 94 388 13667 35 2102 860 380 11093 0.03 0.00/0.04 o 66 0.036 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 390 94 424 14812 34 2083 860 416 10833 0.04 0.00/0.04 o 64 0.036 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 393 93 428 14923 34 2151 858 420 10621 0.04 0.00/0.04 o 62 0.037 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 396 93 432 15093 34 2188 858 424 10702 0.04 0.00/0.04 o 60 0.038 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 405 90 442 15343 34 2251 852 434 10657 0.04 0.00/0.05 c 505 87 542 17585 32 2431 938 534 10744 0.05 0.00/0.05 o 45 0.047 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 511 87 549 17753 32 2487 846 541 10872 0.05 0.00/0.05 o 41 0.048 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 512 87 551 17857 32 2537 846 543 10666 0.05 0.00/0.06 c 612 85 651 20256 31 2689 931 643 10736 0.06 0.00/0.06 o 37 0.058 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 628 84 668 20581 30 2779 840 660 10827 0.06 0.00/0.06 o 25 0.058 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 629 84 670 20661 30 2818 840 662 10661 0.06 0.09/0.11 c 729 76 770 22653 29 3004 925 762 10880 0.07 0.09/0.11 c 979 71 541 12268 22 1340 1018 533 11000 0.09 0.09/0.11 o 23 0.112 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1274 71 837 18632 22 1972 814 829 11375 0.11 0.09/0.12 c 1374 71 514 11074 21 1271 896 506 11546 0.12 0.09/0.12 o 15 0.122 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1414 71 555 11885 21 1394 814 547 11590 0.12 0.09/0.12 o 13 0.123 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 1417 70 559 11996 21 1438 812 551 11520 0.12 0.39/0.47 c 1518 63 660 14034 21 1630 894 652 11767 0.13 0.39/0.47 c 1768 62 910 19538 21 2132 984 902 12109 0.15 0.39/0.47 c 2243 62 878 18833 21 1989 1083 870 12392 0.18 0.39/0.47 c 3057 62 583 12779 21 1393 1192 575 12277 0.25 0.39/0.47 c 4377 62 682 14877 21 1593 1312 674 12057 0.36 0.39/0.47 o 11 0.472 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 5610 62 1246 27284 21 2752 796 1238 11885 0.47 0.59/0.63 c 5711 62 540 11429 21 1303 876 532 11873 0.48 0.59/0.63 c 5961 62 790 16931 21 1805 964 782 11945 0.50 0.59/0.63 c 6438 62 773 16537 21 1771 1061 765 11988 0.54 0.59/0.63 c 7252 62 1047 22732 21 2320 1168 1039 12026 0.60 0.59/0.63 o 10 0.63 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 7547 62 745 15678 21 1742 796 737 11979 0.63 1.59/1.68 c 7648 62 439 8951 20 1104 876 431 11968 0.64 1.59/1.68 c 7899 62 690 14386 20 1603 964 682 12022 0.66 1.59/1.68 c 8374 62 667 14141 21 1555 1061 659 12048 0.69 1.59/1.68 c 9187 62 936 20281 21 2091 1168 928 12104 0.76 1.59/1.68 c 10507 62 1065 22952 21 2350 1285 1057 12104 0.87 1.59/1.68 c 12589 62 1183 26231 22 2592 1414 1175 12046 1.04 1.59/1.68 c 15813 62 801 17565 21 1826 1556 793 11748 1.35 1.59/1.68 o 8 1.677 1.79/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.80 c 19282 62 1092 24083 22 2438 796 1084 11497 1.68 1.79/1.80 c 19382 57 539 11556 21 1290 876 531 11489 1.69 1.79/1.80 c 19633 54 790 17009 21 1787 964 782 11514 1.71 1.79/1.80 c 20108 54 765 16276 21 1741 1061 757 11543 1.74 1.79/1.80 c 20921 54 1034 22602 21 2274 1168 1026 11597 1.80 1.79/1.80 o 6 1.805 9.39/9.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.44 c 20923 54 1037 22672 21 2305 780 1029 11591 1.80 9.39/9.44 c 21023 54 539 11376 21 1279 859 531 11589 1.81 9.39/9.44 c 21274 54 790 16824 21 1780 945 782 11618 1.83 9.39/9.44 c 21749 54 783 16376 20 1757 1040 775 11630 1.87 9.39/9.44 c 22562 54 1063 22430 21 2327 1145 1055 11653 1.94 9.39/9.44 c 23882 54 622 12752 20 1447 1260 614 11649 2.05 9.39/9.44 c 25963 54 775 16039 20 1747 1387 767 11626 2.23 9.39/9.44 c 29186 54 1174 24963 21 2551 1526 1166 11627 2.51 9.39/9.44 c 34122 54 1434 31383 21 3063 1679 1426 11508 2.96 9.39/9.44 c 41628 54 1238 26690 21 2674 1847 1230 11169 3.73 9.39/9.44 c 52989 54 1321 29155 22 2841 2032 1313 10894 4.86 9.39/9.44 c 70133 54 1925 42542 22 4052 2236 1917 10554 6.64 9.39/9.44 c 95952 54 1622 36007 22 3447 2460 1614 10230 9.38 9.39/9.44 o 5 9.444 13.29/13.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.29/13.39 c 96596 54 2267 50897 22 4758 780 2259 10227 9.45 13.29/13.39 c 96696 54 539 11655 21 1279 859 531 10219 9.46 13.29/13.39 c 96947 54 790 16880 21 1783 945 782 10229 9.48 13.29/13.39 c 97422 54 782 15638 19 1765 1040 774 10242 9.51 13.29/13.39 c 98236 54 1066 22830 21 2336 1145 1058 10257 9.58 13.29/13.39 c 99557 54 639 13082 20 1472 1260 631 10277 9.69 13.29/13.39 c 101638 54 792 15648 19 1789 1387 784 10295 9.87 13.29/13.39 c 104862 54 1194 26225 21 2593 1526 1186 10331 10.15 13.29/13.39 c 109798 54 1447 31785 21 3089 1679 1439 10366 10.59 13.29/13.39 c 117304 54 1230 27040 21 2662 1847 1222 10376 11.30 13.29/13.39 c 128665 54 1290 28044 21 2781 2032 1282 10339 12.44 13.29/13.39 o 4 13.395 25.59/25.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.59/25.62 c 137662 54 2007 44682 22 4239 780 1999 10277 13.39 25.59/25.62 c 137762 51 539 11445 21 1273 859 531 10274 13.41 25.59/25.62 c 138012 48 789 16956 21 1768 945 781 10280 13.43 25.59/25.62 c 138487 46 776 16527 21 1738 1040 768 10288 13.46 25.59/25.62 c 139301 46 1058 22492 21 2302 1145 1050 10303 13.52 25.59/25.62 c 140622 46 630 13209 20 1448 1260 622 10321 13.62 25.59/25.62 c 142703 46 776 16565 21 1738 1387 768 10349 13.79 25.59/25.62 c 145926 46 1172 25109 21 2527 1526 1164 10382 14.05 25.59/25.62 c 150864 46 1435 30417 21 3050 1679 1427 10392 14.52 25.59/25.62 c 158370 46 1238 26751 21 2658 1847 1230 10419 15.20 25.59/25.62 c 169731 46 1310 28121 21 2803 2032 1302 10389 16.34 25.59/25.62 c 186875 46 1912 41379 21 4010 2236 1904 10285 18.17 25.59/25.62 c 212695 46 1603 34952 21 3392 2460 1595 10149 20.96 25.59/25.62 c 251528 46 1725 37673 21 3633 2707 1717 9906 25.39 25.59/25.62 o 3 25.62 36.09/36.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.09/36.16 c 253552 46 2379 51145 21 4957 764 2371 9896 25.62 36.09/36.16 c 253652 46 539 10724 19 1256 841 531 9893 25.64 36.09/36.16 c 253902 46 789 16065 20 1753 926 781 9896 25.66 36.09/36.16 c 254377 46 791 16270 20 1758 1019 783 9901 25.69 36.09/36.16 c 255190 46 567 11561 20 1313 1121 559 9908 25.75 36.09/36.16 c 256510 46 747 15378 20 1675 1234 739 9919 25.86 36.09/36.16 c 258593 46 935 19919 21 2049 1358 927 9939 26.02 36.09/36.16 c 261817 46 1393 29913 21 2964 1494 1385 9955 26.30 36.09/36.16 c 266754 46 993 20617 20 2160 1644 985 9977 26.74 36.09/36.16 c 274260 46 961 20514 21 2100 1809 953 9991 27.45 36.09/36.16 c 285621 46 1272 26903 21 2718 1990 1264 10002 28.56 36.09/36.16 c 302767 46 1220 25872 21 2617 2190 1212 9986 30.32 36.09/36.16 c 328587 46 1484 32453 21 3147 2410 1476 9952 33.02 36.09/36.16 o 2 36.163 731.61/731.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 731.61/731.62 c 356550 46 1339 27112 20 2871 764 1331 9859 36.16 731.61/731.62 c 356650 43 539 10316 19 1246 841 531 9859 36.17 731.61/731.62 c 356900 41 789 15552 19 1743 926 781 9861 36.19 731.61/731.62 c 357376 40 791 15799 19 1748 1019 783 9864 36.23 731.61/731.62 c 358190 39 1079 22643 20 2326 1121 1071 9872 36.28 731.61/731.62 c 359510 38 680 13764 20 1521 1234 672 9878 36.39 731.61/731.62 c 361592 38 873 17831 20 1910 1358 865 9888 36.57 731.61/731.62 c 364817 38 1323 28304 21 2813 1494 1315 9901 36.84 731.61/731.62 c 369753 38 934 19905 21 2032 1644 926 9917 37.28 731.61/731.62 c 377259 38 890 17955 20 1938 1809 882 9925 38.01 731.61/731.62 c 388620 38 1205 25853 21 2572 1990 1197 9943 39.08 731.61/731.62 c 405764 38 1140 23517 20 2444 2190 1132 9938 40.83 731.61/731.62 c 431584 38 1364 28237 20 2888 2410 1356 9886 43.66 731.61/731.62 c 470417 38 2304 49988 21 4769 2652 2296 9785 48.07 731.61/731.62 c 528769 38 1556 32890 21 3272 2918 1548 9596 55.10 731.61/731.62 c 616403 38 2059 41969 20 4278 3210 2051 9258 66.58 731.61/731.62 c 747955 38 2227 46399 20 4613 3532 2219 8880 84.23 731.61/731.62 c 945387 38 3499 77354 22 7163 3886 3491 8396 112.60 731.61/731.62 c 1241639 38 3754 83463 22 7672 4275 3746 7812 158.93 731.61/731.62 c 1686121 38 2259 47807 21 4682 4703 2251 7277 231.70 731.61/731.62 c 2352951 38 3559 77073 21 7275 5174 3551 6776 347.20 731.61/731.62 c 3353296 37 4199 86463 20 8561 5692 4191 6145 545.63 731.61/731.62 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 731.61/731.62 v -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 731.61/731.62 v -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 731.61/731.62 v -x84 -x85 -x86 -x87 x88 x89 -x90 x91 -x92 -x93 x94 731.61/731.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 731.61/731.62 c 138 4255515 2893 4261394 5446 81584 5438 5816 731.64 731.61/731.62 c Objective: 2 731.61/731.62 s OPTIMUM FOUND 731.61/731.62 c Total time: 731.643 s
OK 2
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-433509-1177960247 -o ROOT/results/node16/solver-433509-1177960247 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433509-1177960247/instance-433509-1177960247.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21645 /proc/meminfo: memFree=1877320/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=3780 CPUtime=0 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 243942324 3870720 196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160085640 0 0 4096 0 0 0 0 17 1 0 0 /proc/21645/statm: 945 205 178 324 0 15 0 [startup+0.092132 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21645 /proc/meminfo: memFree=1877320/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12256 CPUtime=0.08 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 519 0 0 0 8 0 0 0 18 0 1 0 243942324 12550144 488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3064 488 310 324 0 2134 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12256 [startup+0.10113 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21645 /proc/meminfo: memFree=1877320/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12256 CPUtime=0.09 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 519 0 0 0 9 0 0 0 18 0 1 0 243942324 12550144 488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3064 488 310 324 0 2134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301087 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21645 /proc/meminfo: memFree=1877320/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12260 CPUtime=0.29 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 520 0 0 0 29 0 0 0 19 0 1 0 243942324 12554240 489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3065 489 310 324 0 2135 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12260 [startup+0.701005 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21645 /proc/meminfo: memFree=1877320/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12260 CPUtime=0.69 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 535 0 0 0 69 0 0 0 23 0 1 0 243942324 12554240 504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3065 504 310 324 0 2135 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12260 [startup+1.50183 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1876416/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12392 CPUtime=1.49 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 558 0 0 0 149 0 0 0 25 0 1 0 243942324 12689408 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3098 527 310 324 0 2168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12392 [startup+3.1015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1876224/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12508 CPUtime=3.09 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 572 0 0 0 309 0 0 0 25 0 1 0 243942324 12808192 541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3127 541 310 324 0 2197 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12508 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1875776/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12644 CPUtime=6.29 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 613 0 0 0 629 0 0 0 25 0 1 0 243942324 12947456 582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3161 582 310 324 0 2231 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12644 [startup+12.7025 s] /proc/loadavg: 0.94 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1875784/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12764 CPUtime=12.69 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 637 0 0 0 1269 0 0 0 25 0 1 0 243942324 13070336 606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3191 606 310 324 0 2261 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12764 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1875720/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12836 CPUtime=25.49 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 667 0 0 0 2549 0 0 0 25 0 1 0 243942324 13144064 636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3209 636 310 324 0 2279 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12836 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1875656/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=12968 CPUtime=51.09 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 684 0 0 0 5109 0 0 0 25 0 1 0 243942324 13279232 653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3242 653 310 324 0 2312 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 12968 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1875144/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=13244 CPUtime=102.3 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 777 0 0 0 10229 1 0 0 25 0 1 0 243942324 13561856 746 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3311 746 310 324 0 2381 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 13244 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1874824/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=13584 CPUtime=162.29 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 848 0 0 0 16228 1 0 0 25 0 1 0 243942324 13910016 817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3396 817 310 324 0 2466 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 13584 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21646 /proc/meminfo: memFree=1874696/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=13676 CPUtime=222.29 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 868 0 0 0 22228 1 0 0 25 0 1 0 243942324 14004224 837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3419 837 310 324 0 2489 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 13676 [startup+282.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1874504/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=13760 CPUtime=282.3 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 907 0 0 0 28228 2 0 0 25 0 1 0 243942324 14090240 876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3440 876 310 324 0 2510 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 13760 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1874504/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=13760 CPUtime=342.3 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 907 0 0 0 34227 3 0 0 25 0 1 0 243942324 14090240 876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7322737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3440 876 310 324 0 2510 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 13760 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1874248/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=13948 CPUtime=402.3 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 956 0 0 0 40227 3 0 0 25 0 1 0 243942324 14282752 925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3487 925 310 324 0 2557 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 13948 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1874184/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14008 CPUtime=462.31 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 962 0 0 0 46227 4 0 0 25 0 1 0 243942324 14344192 931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3502 931 310 324 0 2572 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 14008 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1874056/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14004 CPUtime=522.3 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 969 0 0 0 52226 4 0 0 25 0 1 0 243942324 14340096 938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3501 938 310 324 0 2571 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 14004 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873928/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14092 CPUtime=582.31 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 986 0 0 0 58226 5 0 0 25 0 1 0 243942324 14430208 955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3523 955 310 324 0 2593 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 14092 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873864/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=642.31 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 64226 5 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 14140 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873672/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=702.31 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 70225 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 14140 Solver just ended. Dumping a history of the last processes samples [startup+716.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=716.71 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 71665 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 716.71 Current children cumulated vsize (KiB) 14140 [startup+723.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=723.11 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 72305 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 723.11 Current children cumulated vsize (KiB) 14140 [startup+726.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=726.31 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 72625 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 726.31 Current children cumulated vsize (KiB) 14140 [startup+729.501 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=729.51 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 72945 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7636821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 729.51 Current children cumulated vsize (KiB) 14140 [startup+730.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=730.31 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 73025 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 730.31 Current children cumulated vsize (KiB) 14140 [startup+731.103 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=731.11 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 73105 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 731.11 Current children cumulated vsize (KiB) 14140 [startup+731.505 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=731.51 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 73145 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 731.51 Current children cumulated vsize (KiB) 14140 [startup+731.602 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21646 /proc/meminfo: memFree=1873608/2055920 swapFree=4148612/4192956 [pid=21645] ppid=21643 vsize=14140 CPUtime=731.61 /proc/21645/stat : 21645 (bsolo3.0.17) R 21643 21645 21037 0 -1 4194304 997 0 0 0 73155 6 0 0 25 0 1 0 243942324 14479360 966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21645/statm: 3535 966 310 324 0 2605 0 Current children cumulated CPU time (s) 731.61 Current children cumulated vsize (KiB) 14140 Child status: 0 Real time (s): 731.628 CPU time (s): 731.647 CPU user time (s): 731.58 CPU system time (s): 0.066989 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 14212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 731.58 system time used= 0.066989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1001 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= 12 involuntary context switches= 15260 runsolver used 0.629904 second user time and 1.47178 second system time The end
Begin job on node16 on Mon Apr 30 19:10:47 UTC 2007 IDJOB= 433509 IDBENCH= 2896 IDSOLVER= 199 FILE ID= node16/433509-1177960247 PBS_JOBID= 4727726 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433509-1177960247/instance-433509-1177960247.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-433509-1177960247 -o ROOT/results/node16/solver-433509-1177960247 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433509-1177960247/instance-433509-1177960247.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED= 934038232 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1877728 kB Buffers: 13504 kB Cached: 78156 kB SwapCached: 11972 kB Active: 68744 kB Inactive: 45944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1877728 kB SwapTotal: 4192956 kB SwapFree: 4148612 kB Dirty: 6584 kB Writeback: 0 kB Mapped: 30116 kB Slab: 49040 kB Committed_AS: 7669348 kB PageTables: 1836 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node16 on Mon Apr 30 19:22:59 UTC 2007