Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 2 | 725.862 | 726.075 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho 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 Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/354791-1176725713/instance-354791-1176725713.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.001 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.002 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 0 0.00 0.00/0.01 c Switching off LPR mode. 0.00/0.01 o 780 0.002 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 94 9 430 47 297 860 1 0 0.00 0.00/0.01 o 756 0.002 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.007 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.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 132 94 147 6124 41 918 860 139 14666 0.01 0.00/0.02 o 713 0.01 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 139 94 155 6535 42 985 860 147 13900 0.01 0.00/0.02 o 336 0.01 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 142 94 159 6727 42 948 860 151 12909 0.01 0.00/0.02 o 334 0.012 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 167 94 185 7274 39 930 860 177 13916 0.01 0.00/0.02 o 318 0.012 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 169 94 188 7431 39 979 860 180 14083 0.01 0.00/0.02 o 304 0.013 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 171 94 191 7573 39 1062 860 183 13153 0.01 0.00/0.02 o 296 0.014 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 12857 0.01 0.00/0.02 o 295 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 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 12315 0.02 0.00/0.02 o 208 0.019 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 12315 0.02 0.00/0.02 o 206 0.019 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 235 94 261 9783 37 1446 860 253 12368 0.02 0.00/0.03 o 198 0.02 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 239 94 266 9933 37 1514 860 258 11950 0.02 0.00/0.03 o 196 0.02 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 240 94 268 10049 37 1577 860 260 12000 0.02 0.00/0.03 o 188 0.021 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 247 94 276 10404 37 1634 860 268 11761 0.02 0.00/0.03 o 182 0.023 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 254 94 284 10756 37 1713 860 276 11043 0.02 0.00/0.03 o 178 0.025 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 285 94 316 11499 36 1839 860 308 11400 0.03 0.00/0.04 o 176 0.032 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 349 94 381 13430 35 2033 860 373 10906 0.03 0.00/0.04 o 172 0.033 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 10757 0.03 0.00/0.04 o 66 0.037 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 10540 0.04 0.00/0.04 o 64 0.037 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 393 93 428 14923 34 2151 858 420 10621 0.04 0.03/0.04 o 62 0.038 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 396 93 432 15093 34 2188 858 424 10421 0.04 0.03/0.04 o 60 0.039 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 405 90 442 15343 34 2251 852 434 10384 0.04 0.03/0.05 c 505 87 542 17585 32 2431 938 534 10520 0.05 0.03/0.05 o 45 0.048 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 511 87 549 17753 32 2487 846 541 10428 0.05 0.03/0.05 o 41 0.049 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 512 87 551 17857 32 2537 846 543 10448 0.05 0.03/0.06 c 612 85 651 20256 31 2689 931 643 10551 0.06 0.03/0.06 o 37 0.059 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 628 84 668 20581 30 2779 840 660 10466 0.06 0.03/0.07 o 25 0.06 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 629 84 670 20661 30 2818 840 662 10483 0.06 0.09/0.12 c 729 76 770 22653 29 3004 925 762 10565 0.07 0.09/0.12 c 979 71 541 12268 22 1340 1018 533 10758 0.09 0.09/0.12 o 23 0.114 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1274 71 837 18632 22 1972 814 829 11175 0.11 0.09/0.13 c 1374 71 514 11074 21 1271 896 506 11355 0.12 0.09/0.13 o 15 0.124 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1414 71 555 11885 21 1394 814 547 11403 0.12 0.09/0.13 o 13 0.125 0.38/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.48 c 1417 70 559 11996 21 1438 812 551 11336 0.12 0.38/0.48 c 1518 63 660 14034 21 1630 894 652 11587 0.13 0.38/0.48 c 1768 62 910 19538 21 2132 984 902 11865 0.15 0.38/0.48 c 2243 62 878 18833 21 1989 1083 870 12190 0.18 0.38/0.48 c 3057 62 583 12779 21 1393 1192 575 12130 0.25 0.38/0.48 c 4377 62 682 14877 21 1593 1312 674 11926 0.37 0.38/0.48 o 11 0.474 0.58/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.58/0.63 c 5610 62 1246 27284 21 2752 796 1238 11835 0.47 0.58/0.63 c 5711 62 540 11429 21 1303 876 532 11824 0.48 0.58/0.63 c 5961 62 790 16931 21 1805 964 782 11945 0.50 0.58/0.63 c 6438 62 773 16537 21 1771 1061 765 12033 0.54 0.58/0.63 c 7252 62 1047 22732 21 2320 1168 1039 12147 0.60 0.58/0.63 o 10 0.622 1.58/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.66 c 7547 62 745 15678 21 1742 796 737 12133 0.62 1.58/1.66 c 7648 62 439 8951 20 1104 876 431 12139 0.63 1.58/1.66 c 7899 62 690 14386 20 1603 964 682 12208 0.65 1.58/1.66 c 8374 62 667 14141 21 1555 1061 659 12260 0.68 1.58/1.66 c 9187 62 936 20281 21 2091 1168 928 12364 0.74 1.58/1.66 c 10507 62 1065 22952 21 2350 1285 1057 12434 0.84 1.58/1.66 c 12589 62 1183 26231 22 2592 1414 1175 12439 1.01 1.58/1.66 c 15813 62 801 17565 21 1826 1556 793 12025 1.31 1.58/1.66 o 8 1.649 1.68/1.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.79 c 19282 62 1092 24083 22 2438 796 1084 11693 1.65 1.68/1.79 c 19382 57 539 11556 21 1290 876 531 11682 1.66 1.68/1.79 c 19633 54 790 17009 21 1787 964 782 11700 1.68 1.68/1.79 c 20108 54 765 16276 21 1741 1061 757 11724 1.72 1.68/1.79 c 20921 54 1034 22602 21 2274 1168 1026 11766 1.78 1.68/1.79 o 6 1.778 9.26/9.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.26/9.38 c 20923 54 1037 22672 21 2305 780 1029 11767 1.78 9.26/9.38 c 21023 54 539 11376 21 1279 859 531 11764 1.79 9.26/9.38 c 21274 54 790 16824 21 1780 945 782 11792 1.80 9.26/9.38 c 21749 54 783 16376 20 1757 1040 775 11794 1.84 9.26/9.38 c 22562 54 1063 22430 21 2327 1145 1055 11812 1.91 9.26/9.38 c 23882 54 622 12752 20 1447 1260 614 11787 2.03 9.26/9.38 c 25963 54 775 16039 20 1747 1387 767 11747 2.21 9.26/9.38 c 29186 54 1174 24963 21 2551 1526 1166 11725 2.49 9.26/9.38 c 34122 54 1434 31383 21 3063 1679 1426 11574 2.95 9.26/9.38 c 41628 54 1238 26690 21 2674 1847 1230 11272 3.69 9.26/9.38 c 52989 54 1321 29155 22 2841 2032 1313 11064 4.79 9.26/9.38 c 70133 54 1925 42542 22 4052 2236 1917 10673 6.57 9.26/9.38 c 95952 54 1622 36007 22 3447 2460 1614 10320 9.30 9.26/9.38 o 5 9.362 13.26/13.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.26/13.35 c 96596 54 2267 50897 22 4758 780 2259 10317 9.36 13.26/13.35 c 96696 54 539 11655 21 1279 859 531 10309 9.38 13.26/13.35 c 96947 54 790 16880 21 1783 945 782 10318 9.39 13.26/13.35 c 97422 54 782 15638 19 1765 1040 774 10329 9.43 13.26/13.35 c 98236 54 1066 22830 21 2336 1145 1058 10346 9.49 13.26/13.35 c 99557 54 639 13082 20 1472 1260 631 10362 9.61 13.26/13.35 c 101638 54 792 15648 19 1789 1387 784 10378 9.79 13.26/13.35 c 104862 54 1194 26225 21 2593 1526 1186 10410 10.07 13.26/13.35 c 109798 54 1447 31785 21 3089 1679 1439 10440 10.52 13.26/13.35 c 117304 54 1230 27040 21 2662 1847 1222 10441 11.23 13.26/13.35 c 128665 54 1290 28044 21 2781 2032 1282 10395 12.38 13.26/13.35 o 4 13.33 25.57/25.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.57/25.66 c 137662 54 2007 44682 22 4239 780 1999 10327 13.33 25.57/25.66 c 137762 51 539 11445 21 1273 859 531 10323 13.34 25.57/25.66 c 138012 48 789 16956 21 1768 945 781 10329 13.36 25.57/25.66 c 138487 46 776 16527 21 1738 1040 768 10337 13.40 25.57/25.66 c 139301 46 1058 22492 21 2302 1145 1050 10351 13.46 25.57/25.66 c 140622 46 630 13209 20 1448 1260 622 10368 13.56 25.57/25.66 c 142703 46 776 16565 21 1738 1387 768 10394 13.73 25.57/25.66 c 145926 46 1172 25109 21 2527 1526 1164 10425 14.00 25.57/25.66 c 150864 46 1435 30417 21 3050 1679 1427 10432 14.46 25.57/25.66 c 158370 46 1238 26751 21 2658 1847 1230 10454 15.15 25.57/25.66 c 169731 46 1310 28121 21 2803 2032 1302 10412 16.30 25.57/25.66 c 186875 46 1912 41379 21 4010 2236 1904 10293 18.16 25.57/25.66 c 212695 46 1603 34952 21 3392 2460 1595 10146 20.96 25.57/25.67 c 251528 46 1725 37673 21 3633 2707 1717 9898 25.41 25.57/25.67 o 3 25.641 36.05/36.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.05/36.19 c 253552 46 2379 51145 21 4957 764 2371 9888 25.64 36.05/36.19 c 253652 46 539 10724 19 1256 841 531 9885 25.66 36.05/36.19 c 253902 46 789 16065 20 1753 926 781 9888 25.68 36.05/36.19 c 254377 46 791 16270 20 1758 1019 783 9893 25.71 36.05/36.19 c 255190 46 567 11561 20 1313 1121 559 9900 25.78 36.05/36.19 c 256510 46 747 15378 20 1675 1234 739 9911 25.88 36.05/36.19 c 258593 46 935 19919 21 2049 1358 927 9930 26.04 36.05/36.19 c 261817 46 1393 29913 21 2964 1494 1385 9947 26.32 36.05/36.19 c 266754 46 993 20617 20 2160 1644 985 9969 26.76 36.05/36.19 c 274260 46 961 20514 21 2100 1809 953 9985 27.47 36.05/36.19 c 285621 46 1272 26903 21 2718 1990 1264 9997 28.57 36.05/36.19 c 302767 46 1220 25872 21 2617 2190 1212 9979 30.34 36.05/36.19 c 328587 46 1484 32453 21 3147 2410 1476 9944 33.04 36.05/36.19 o 2 36.151 725.78/726.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 725.78/726.07 c 356550 46 1339 27112 20 2871 764 1331 9862 36.15 725.78/726.07 c 356650 43 539 10316 19 1246 841 531 9862 36.16 725.78/726.07 c 356900 41 789 15552 19 1743 926 781 9864 36.18 725.78/726.07 c 357376 40 791 15799 19 1748 1019 783 9867 36.22 725.78/726.07 c 358190 39 1079 22643 20 2326 1121 1071 9874 36.27 725.78/726.07 c 359510 38 680 13764 20 1521 1234 672 9880 36.38 725.78/726.07 c 361592 38 873 17831 20 1910 1358 865 9889 36.56 725.78/726.07 c 364817 38 1323 28304 21 2813 1494 1315 9901 36.84 725.78/726.07 c 369753 38 934 19905 21 2032 1644 926 9915 37.29 725.78/726.07 c 377259 38 890 17955 20 1938 1809 882 9920 38.03 725.78/726.07 c 388620 38 1205 25853 21 2572 1990 1197 9936 39.11 725.78/726.07 c 405764 38 1140 23517 20 2444 2190 1132 9931 40.86 725.78/726.07 c 431584 38 1364 28237 20 2888 2410 1356 9878 43.69 725.78/726.07 c 470417 38 2304 49988 21 4769 2652 2296 9783 48.08 725.78/726.07 c 528769 38 1556 32890 21 3272 2918 1548 9599 55.09 725.78/726.07 c 616403 38 2059 41969 20 4278 3210 2051 9264 66.54 725.78/726.07 c 747955 38 2227 46399 20 4613 3532 2219 8889 84.14 725.78/726.07 c 945387 38 3499 77354 22 7163 3886 3491 8416 112.32 725.78/726.07 c 1241639 38 3754 83463 22 7672 4275 3746 7846 158.25 725.78/726.07 c 1686121 38 2259 47807 21 4682 4703 2251 7314 230.52 725.78/726.07 c 2352951 38 3559 77073 21 7275 5174 3551 6808 345.58 725.78/726.07 c 3353296 37 4199 86463 20 8561 5692 4191 6185 542.11 725.78/726.07 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 725.78/726.07 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 725.78/726.07 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 725.78/726.07 v -x84 -x85 -x86 -x87 x88 x89 -x90 x91 -x92 -x93 x94 725.78/726.07 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 725.78/726.07 c 138 4255515 2893 4261394 5446 81584 5438 5862 725.86 725.78/726.07 c Objective: 2 725.78/726.07 s OPTIMUM FOUND 725.78/726.07 c Total time: 725.858 s
OK 2
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-354791-1176725713 -o ROOT/results/node17/solver-354791-1176725713 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354791-1176725713/instance-354791-1176725713.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: 1.01 1.01 1.00 3/77 6551 /proc/meminfo: memFree=1831616/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=3780 CPUtime=0 /proc/6551/stat : 6551 (bsolo3.0.16) D 6549 6551 5534 0 -1 4194304 185 0 1 0 0 0 0 0 18 0 1 0 120488831 3870720 154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160552364 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/6551/statm: 945 154 128 324 0 14 0 [startup+0.047572 s] /proc/loadavg: 1.01 1.01 1.00 3/77 6551 /proc/meminfo: memFree=1831616/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=11996 CPUtime=0.03 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 465 0 2 0 3 0 0 0 18 0 1 0 120488831 12283904 434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 2999 434 312 324 0 2068 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11996 [startup+0.101554 s] /proc/loadavg: 1.01 1.01 1.00 3/77 6551 /proc/meminfo: memFree=1831616/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12256 CPUtime=0.09 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 521 0 2 0 9 0 0 0 18 0 1 0 120488831 12550144 490 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3064 490 312 324 0 2133 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301573 s] /proc/loadavg: 1.01 1.01 1.00 3/77 6551 /proc/meminfo: memFree=1831616/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12260 CPUtime=0.28 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 522 0 2 0 28 0 0 0 19 0 1 0 120488831 12554240 491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3065 491 312 324 0 2134 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12260 [startup+0.701617 s] /proc/loadavg: 1.01 1.01 1.00 3/77 6551 /proc/meminfo: memFree=1831616/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12260 CPUtime=0.68 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 537 0 2 0 68 0 0 0 23 0 1 0 120488831 12554240 506 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3290974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6551/statm: 3065 506 312 324 0 2134 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12260 [startup+1.5017 s] /proc/loadavg: 1.01 1.01 1.00 2/78 6552 /proc/meminfo: memFree=1830072/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12392 CPUtime=1.48 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 560 0 2 0 147 1 0 0 25 0 1 0 120488831 12689408 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3098 529 312 324 0 2167 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12392 [startup+3.10187 s] /proc/loadavg: 1.09 1.02 1.01 2/78 6552 /proc/meminfo: memFree=1829624/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12508 CPUtime=3.07 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 574 0 2 0 305 2 0 0 25 0 1 0 120488831 12808192 543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3127 543 312 324 0 2196 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 12508 [startup+6.3012 s] /proc/loadavg: 1.09 1.02 1.01 2/78 6552 /proc/meminfo: memFree=1829496/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12644 CPUtime=6.27 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 615 0 2 0 622 5 0 0 25 0 1 0 120488831 12947456 584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3161 584 312 324 0 2230 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 12644 [startup+12.7019 s] /proc/loadavg: 1.08 1.02 1.00 2/78 6552 /proc/meminfo: memFree=1829368/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12764 CPUtime=12.67 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 639 0 2 0 1258 9 0 0 25 0 1 0 120488831 13070336 608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3191 608 312 324 0 2260 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 12764 [startup+25.5012 s] /proc/loadavg: 1.06 1.02 1.00 2/78 6552 /proc/meminfo: memFree=1829432/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12836 CPUtime=25.46 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 664 0 2 0 2530 16 0 0 25 0 1 0 120488831 13144064 633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3209 633 312 324 0 2278 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 12836 [startup+51.1019 s] /proc/loadavg: 1.04 1.02 1.00 2/78 6552 /proc/meminfo: memFree=1829432/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=12836 CPUtime=51.05 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 681 0 2 0 5073 32 0 0 25 0 1 0 120488831 13144064 650 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3209 650 312 324 0 2278 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 12836 [startup+102.305 s] /proc/loadavg: 1.02 1.01 1.00 2/78 6552 /proc/meminfo: memFree=1829112/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=13244 CPUtime=102.25 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 779 0 2 0 10169 56 0 0 25 0 1 0 120488831 13561856 748 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3311 748 312 324 0 2380 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 13244 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6552 /proc/meminfo: memFree=1828728/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=13568 CPUtime=162.23 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 850 0 2 0 16141 82 0 0 25 0 1 0 120488831 13893632 819 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3392 819 312 324 0 2461 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 13568 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828600/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=13676 CPUtime=222.21 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 870 0 2 0 22117 104 0 0 25 0 1 0 120488831 14004224 839 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3419 839 312 324 0 2488 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 13676 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828408/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=13760 CPUtime=282.19 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 909 0 2 0 28095 124 0 0 25 0 1 0 120488831 14090240 878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3440 878 312 324 0 2509 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 13760 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828408/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=13760 CPUtime=342.18 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 909 0 2 0 34069 149 0 0 25 0 1 0 120488831 14090240 878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3440 878 312 324 0 2509 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 13760 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828216/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=13948 CPUtime=402.17 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 958 0 2 0 40047 170 0 0 25 0 1 0 120488831 14282752 927 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3487 927 312 324 0 2556 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 13948 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828280/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14008 CPUtime=462.14 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 964 0 2 0 46025 189 0 0 25 0 1 0 120488831 14344192 933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3502 933 312 324 0 2571 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 14008 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828216/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14004 CPUtime=522.13 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 971 0 2 0 52004 209 0 0 25 0 1 0 120488831 14340096 940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3501 940 312 324 0 2570 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 14004 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828152/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14092 CPUtime=582.12 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 988 0 2 0 57984 228 0 0 25 0 1 0 120488831 14430208 957 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3523 957 312 324 0 2592 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 14092 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828088/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=642.11 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 63962 249 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 14140 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=702.08 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 69940 268 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 14140 Solver just ended. Dumping a history of the last processes samples [startup+703.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=703.69 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 70100 269 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 703.69 Current children cumulated vsize (KiB) 14140 [startup+716.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=716.48 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 71376 272 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 716.48 Current children cumulated vsize (KiB) 14140 [startup+719.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=719.68 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 71695 273 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 719.68 Current children cumulated vsize (KiB) 14140 [startup+723.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=722.88 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 72014 274 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 722.88 Current children cumulated vsize (KiB) 14140 [startup+724.701 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=724.47 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 72173 274 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 724.47 Current children cumulated vsize (KiB) 14140 [startup+725.501 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=725.28 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 72253 275 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 725.28 Current children cumulated vsize (KiB) 14140 [startup+725.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=725.68 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 72293 275 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 725.68 Current children cumulated vsize (KiB) 14140 [startup+726.005 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6552 /proc/meminfo: memFree=1828024/2055920 swapFree=4153072/4192956 [pid=6551] ppid=6549 vsize=14140 CPUtime=725.78 /proc/6551/stat : 6551 (bsolo3.0.16) R 6549 6551 5534 0 -1 4194304 999 0 2 0 72303 275 0 0 25 0 1 0 120488831 14479360 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6551/statm: 3535 968 312 324 0 2604 0 Current children cumulated CPU time (s) 725.78 Current children cumulated vsize (KiB) 14140 Child status: 0 Real time (s): 726.075 CPU time (s): 725.862 CPU user time (s): 723.107 CPU system time (s): 2.75458 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 14212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 723.107 system time used= 2.75458 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1000 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 14916 runsolver used 0.820875 second user time and 1.69474 second system time The end
Begin job on node17 on Mon Apr 16 12:15:13 UTC 2007 IDJOB= 354791 IDBENCH= 2896 IDSOLVER= 163 FILE ID= node17/354791-1176725713 PBS_JOBID= 4559450 Free space on /tmp= 66531 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/354791-1176725713/instance-354791-1176725713.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-354791-1176725713 -o ROOT/results/node17/solver-354791-1176725713 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354791-1176725713/instance-354791-1176725713.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED= 193402632 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1831960 kB Buffers: 35428 kB Cached: 111432 kB SwapCached: 2604 kB Active: 66500 kB Inactive: 106680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831960 kB SwapTotal: 4192956 kB SwapFree: 4153072 kB Dirty: 4408 kB Writeback: 0 kB Mapped: 33252 kB Slab: 36252 kB Committed_AS: 7006192 kB PageTables: 1804 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= 66531 MiB End job on node17 on Mon Apr 16 12:27:19 UTC 2007