Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | OPT | 694 | 77.4282 | 77.4438 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb |
MD5SUM | fbb7284250700e8b461b63d83ddce719 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 694 |
Best CPU time to get the best result obtained on this benchmark | 0.008997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 694 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 185 |
Number of constraints which are clauses | 185 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 99 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 4087 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 4087 |
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 Parsing PB file... 0.00/0.00 c Converting 185 PB-constraints to clauses... 0.00/0.00 c -- Unit propagations: (none) 0.00/0.00 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.00 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................... 0.00/0.00 c ==================================[MINISAT+]================================== 0.00/0.00 c | Conflicts | Original | Learnt | Progress | 0.00/0.00 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 185 626 | 61 0 0 -nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c [1mFound solution: 939[0m 0.00/0.00 c ---[ 0]---> Sorter-cost: 8480 Base: 3 2 2 2 2 0.00/0.01 c ==================================[MINISAT+]================================== 0.00/0.01 c | Conflicts | Original | Learnt | Progress | 0.00/0.01 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 21020 49263 | 7006 0 0 -nan | 0.000 % | 0.00/0.02 c | 100 | 20519 48138 | 7706 89 1028 11.6 | 1.713 % | 0.00/0.03 c | 250 | 20519 48138 | 8477 239 3004 12.6 | 1.713 % | 0.00/0.04 c | 475 | 20519 48138 | 9324 464 6184 13.3 | 1.713 % | 0.00/0.07 c | 812 | 20519 48138 | 10257 801 13852 17.3 | 1.713 % | 0.00/0.11 c | 1318 | 20519 48138 | 11283 1307 26131 20.0 | 1.713 % | 0.00/0.15 c | 2077 | 20519 48138 | 12411 2066 36951 17.9 | 1.713 % | 0.00/0.22 c | 3218 | 20519 48138 | 13652 3207 50232 15.7 | 1.713 % | 0.00/0.44 c ============================================================================== 0.00/0.44 c [1mFound solution: 930[0m 0.00/0.44 c ---[ 0]---> Sorter-cost: 6779 Base: 3 2 2 2 2 0.00/0.45 c ==================================[MINISAT+]================================== 0.00/0.45 c | Conflicts | Original | Learnt | Progress | 0.00/0.45 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.45 c ============================================================================== 0.00/0.45 c | 4515 | 36935 86465 | 12311 4239 125935 29.7 | 1.713 % | 0.00/0.46 c | 4615 | 36935 86465 | 13542 4339 127224 29.3 | 1.049 % | 0.00/0.49 c | 4765 | 36935 86465 | 14896 4489 131932 29.4 | 1.049 % | 0.00/0.53 c | 4990 | 36935 86465 | 16385 4714 141917 30.1 | 1.049 % | 0.00/0.56 c | 5327 | 36935 86465 | 18024 5051 154271 30.5 | 1.049 % | 0.00/0.60 c | 5834 | 36935 86465 | 19826 5558 177258 31.9 | 1.049 % | 0.00/0.71 c | 6593 | 36824 86218 | 21809 6309 196518 31.1 | 1.328 % | 0.00/0.87 c | 7732 | 36824 86218 | 23990 7448 218944 29.4 | 1.328 % | 0.00/0.88 c ============================================================================== 0.00/0.88 c [1mFound solution: 926[0m 0.00/0.88 c ---[ 0]---> Sorter-cost: 4 Base: 3 2 2 2 2 0.00/0.89 c ==================================[MINISAT+]================================== 0.00/0.89 c | Conflicts | Original | Learnt | Progress | 0.00/0.89 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.89 c ============================================================================== 0.00/0.89 c | 7809 | 36843 86295 | 12281 7525 223031 29.6 | 1.328 % | 0.00/0.91 c | 7909 | 36843 86295 | 13509 7625 224840 29.5 | 1.335 % | 0.00/0.93 c | 8059 | 36843 86295 | 14860 7775 227327 29.2 | 1.335 % | 0.00/0.95 c ============================================================================== 0.00/0.95 c [1mFound solution: 924[0m 0.00/0.95 c ---[ 0]---> Sorter-cost: 5 Base: 3 2 2 2 2 0.00/0.95 c ==================================[MINISAT+]================================== 0.00/0.95 c | Conflicts | Original | Learnt | Progress | 0.00/0.95 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.95 c ============================================================================== 0.00/0.95 c | 8119 | 36850 86350 | 12283 7835 232304 29.6 | 1.335 % | 0.00/0.96 c | 8219 | 36850 86350 | 13511 7935 233677 29.4 | 1.342 % | 0.00/0.98 c | 8369 | 36850 86350 | 14862 8085 234776 29.0 | 1.342 % | 0.00/0.99 c ============================================================================== 0.00/0.99 c [1mFound solution: 810[0m 0.00/0.99 c ---[ 0]---> Sorter-cost: 3 Base: 3 2 2 2 2 0.00/0.99 c ==================================[MINISAT+]================================== 0.00/0.99 c | Conflicts | Original | Learnt | Progress | 0.00/0.99 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.99 c ============================================================================== 0.00/0.99 c | 8391 | 36875 86414 | 12291 8107 235069 29.0 | 1.342 % | 0.99/1.01 c ============================================================================== 0.99/1.01 c [1mFound solution: 774[0m 0.99/1.01 c ---[ 0]---> Sorter-cost: 4 Base: 3 2 2 2 2 0.99/1.02 c ==================================[MINISAT+]================================== 0.99/1.02 c | Conflicts | Original | Learnt | Progress | 0.99/1.02 c | | Clauses Literals | Max Clauses Literals LPC | | 0.99/1.02 c ============================================================================== 0.99/1.02 c | 8439 | 36892 86459 | 12297 8155 235779 28.9 | 1.342 % | 0.99/1.02 c ============================================================================== 0.99/1.02 c [1mFound solution: 762[0m 0.99/1.02 c ---[ 0]---> Sorter-cost: 2 Base: 3 2 2 2 2 0.99/1.03 c ==================================[MINISAT+]================================== 0.99/1.03 c | Conflicts | Original | Learnt | Progress | 0.99/1.03 c | | Clauses Literals | Max Clauses Literals LPC | | 0.99/1.03 c ============================================================================== 0.99/1.03 c | 8451 | 36896 86472 | 12298 8167 235950 28.9 | 1.342 % | 0.99/1.03 c ============================================================================== 0.99/1.03 c [1mFound solution: 750[0m 0.99/1.03 c ---[ 0]---> Sorter-cost: 3 Base: 3 2 2 2 2 0.99/1.04 c ==================================[MINISAT+]================================== 0.99/1.04 c | Conflicts | Original | Learnt | Progress | 0.99/1.04 c | | Clauses Literals | Max Clauses Literals LPC | | 0.99/1.04 c ============================================================================== 0.99/1.04 c | 8478 | 36901 86484 | 12300 8194 239857 29.3 | 1.342 % | 0.99/1.06 c | 8578 | 36901 86484 | 13530 8294 242537 29.2 | 1.368 % | 0.99/1.08 c | 8731 | 36901 86484 | 14883 8447 245322 29.0 | 1.368 % | 1.09/1.12 c | 8956 | 36901 86484 | 16371 8672 255480 29.5 | 1.368 % | 1.09/1.16 c | 9294 | 36901 86484 | 18008 9010 261434 29.0 | 1.368 % | 1.19/1.20 c | 9800 | 36901 86484 | 19809 9516 268352 28.2 | 1.368 % | 1.29/1.37 c | 10559 | 36819 86307 | 21790 10274 286109 27.8 | 1.558 % | 1.49/1.58 c | 11699 | 36819 86307 | 23969 11414 316407 27.7 | 1.558 % | 1.89/1.94 c | 13410 | 36819 86307 | 26366 13125 369810 28.2 | 1.558 % | 2.29/2.39 c | 15973 | 36819 86307 | 29002 15688 441756 28.2 | 1.558 % | 3.09/3.18 c | 19817 | 36819 86307 | 31903 19532 593214 30.4 | 1.558 % | 4.39/4.47 c | 25583 | 36819 86307 | 35093 25298 831868 32.9 | 1.558 % | 6.59/6.62 c | 34233 | 36819 86307 | 38602 33948 1257373 37.0 | 1.558 % | 8.08/8.17 c ============================================================================== 8.08/8.17 c [1mFound solution: 746[0m 8.08/8.17 c ---[ 0]---> Sorter-cost: 4 Base: 3 2 2 2 2 8.08/8.18 c ==================================[MINISAT+]================================== 8.08/8.18 c | Conflicts | Original | Learnt | Progress | 8.08/8.18 c | | Clauses Literals | Max Clauses Literals LPC | | 8.08/8.18 c ============================================================================== 8.08/8.18 c | 40028 | 36824 86319 | 12274 39743 1529095 38.5 | 1.558 % | 8.18/8.26 c | 40129 | 36824 86319 | 13501 7580 236362 31.2 | 1.565 % | 8.28/8.30 c | 40282 | 36824 86319 | 14851 7733 239945 31.0 | 1.565 % | 8.28/8.34 c | 40510 | 36824 86319 | 16336 7961 252997 31.8 | 1.565 % | 8.38/8.42 c | 40848 | 36824 86319 | 17970 8299 268932 32.4 | 1.565 % | 8.38/8.43 c ============================================================================== 8.38/8.43 c [1mFound solution: 723[0m 8.38/8.43 c ---[ 0]---> Sorter-cost: 6 Base: 3 2 2 2 2 8.38/8.43 c ==================================[MINISAT+]================================== 8.38/8.43 c | Conflicts | Original | Learnt | Progress | 8.38/8.43 c | | Clauses Literals | Max Clauses Literals LPC | | 8.38/8.43 c ============================================================================== 8.38/8.43 c | 40928 | 36835 86386 | 12278 8379 270784 32.3 | 1.565 % | 8.38/8.46 c | 41031 | 36835 86386 | 13505 8482 275136 32.4 | 1.571 % | 8.38/8.49 c | 41181 | 36835 86386 | 14856 8632 278274 32.2 | 1.571 % | 8.48/8.55 c | 41406 | 36835 86386 | 16342 8857 282763 31.9 | 1.571 % | 8.58/8.64 c | 41743 | 36835 86386 | 17976 9194 289989 31.5 | 1.571 % | 8.69/8.78 c | 42249 | 36835 86386 | 19773 9700 302214 31.2 | 1.571 % | 8.88/8.97 c | 43008 | 36835 86386 | 21751 10459 341143 32.6 | 1.571 % | 9.18/9.23 c | 44148 | 36835 86386 | 23926 11599 390026 33.6 | 1.571 % | 9.58/9.68 c | 45857 | 36835 86386 | 26318 13308 455766 34.2 | 1.571 % | 10.18/10.23 c | 48420 | 36835 86386 | 28950 15871 542018 34.2 | 1.571 % | 10.78/10.86 c ============================================================================== 10.78/10.86 c [1mFound solution: 707[0m 10.78/10.86 c ---[ 0]---> Sorter-cost: 5 Base: 3 2 2 2 2 10.78/10.87 c ==================================[MINISAT+]================================== 10.78/10.87 c | Conflicts | Original | Learnt | Progress | 10.78/10.87 c | | Clauses Literals | Max Clauses Literals LPC | | 10.78/10.87 c ============================================================================== 10.78/10.87 c | 51176 | 36842 86402 | 12280 18627 633457 34.0 | 1.571 % | 10.89/10.90 c | 51276 | 36842 86402 | 13508 9414 248136 26.4 | 1.578 % | 10.89/10.94 c | 51431 | 36842 86402 | 14858 9569 254344 26.6 | 1.578 % | 10.89/11.00 c | 51656 | 36842 86402 | 16344 9794 263468 26.9 | 1.578 % | 10.99/11.01 c ============================================================================== 10.99/11.01 c [1mFound solution: 705[0m 10.99/11.01 c ---[ 0]---> Sorter-cost: 5 Base: 3 2 2 2 2 10.99/11.02 c ==================================[MINISAT+]================================== 10.99/11.02 c | Conflicts | Original | Learnt | Progress | 10.99/11.02 c | | Clauses Literals | Max Clauses Literals LPC | | 10.99/11.02 c ============================================================================== 10.99/11.02 c | 51710 | 36849 86418 | 12283 9848 265754 27.0 | 1.578 % | 10.99/11.04 c | 51810 | 36849 86418 | 13511 9948 269449 27.1 | 1.585 % | 10.99/11.08 c | 51960 | 36849 86418 | 14862 10098 275102 27.2 | 1.585 % | 11.08/11.14 c | 52185 | 36849 86418 | 16348 10323 285443 27.7 | 1.585 % | 11.18/11.22 c | 52522 | 36849 86418 | 17983 10660 297335 27.9 | 1.585 % | 11.28/11.34 c | 53031 | 36849 86418 | 19781 11169 318701 28.5 | 1.585 % | 11.38/11.47 c ============================================================================== 11.38/11.47 c [1mFound solution: 698[0m 11.38/11.47 c ---[ 0]---> Sorter-cost: 2 Base: 3 2 2 2 2 11.38/11.48 c ==================================[MINISAT+]================================== 11.38/11.48 c | Conflicts | Original | Learnt | Progress | 11.38/11.48 c | | Clauses Literals | Max Clauses Literals LPC | | 11.38/11.48 c ============================================================================== 11.38/11.48 c | 53651 | 36854 86429 | 12284 11789 342726 29.1 | 1.585 % | 11.48/11.50 c | 53751 | 36854 86429 | 13512 11889 346828 29.2 | 1.592 % | 11.48/11.53 c | 53902 | 36854 86429 | 14863 12040 350572 29.1 | 1.592 % | 11.48/11.57 c | 54127 | 36854 86429 | 16350 12265 361659 29.5 | 1.592 % | 11.58/11.63 c | 54464 | 36854 86429 | 17985 12602 369139 29.3 | 1.592 % | 11.68/11.76 c | 54974 | 36854 86429 | 19783 13112 384501 29.3 | 1.592 % | 11.88/11.93 c | 55733 | 36854 86429 | 21761 13871 416201 30.0 | 1.592 % | 12.18/12.23 c | 56872 | 36854 86429 | 23938 15010 465677 31.0 | 1.592 % | 12.18/12.25 c ============================================================================== 12.18/12.25 c [1mFound solution: 696[0m 12.18/12.25 c ---[ 0]---> Sorter-cost: 4 Base: 3 2 2 2 2 12.18/12.25 c ==================================[MINISAT+]================================== 12.18/12.25 c | Conflicts | Original | Learnt | Progress | 12.18/12.25 c | | Clauses Literals | Max Clauses Literals LPC | | 12.18/12.25 c ============================================================================== 12.18/12.25 c | 56931 | 36861 86445 | 12287 15069 468741 31.1 | 1.592 % | 12.18/12.29 c | 57031 | 36861 86445 | 13515 7635 201699 26.4 | 1.599 % | 12.28/12.33 c | 57183 | 36861 86445 | 14867 7787 207141 26.6 | 1.599 % | 12.28/12.38 c | 57408 | 36861 86445 | 16353 8012 215598 26.9 | 1.599 % | 12.38/12.46 c | 57749 | 36861 86445 | 17989 8353 228822 27.4 | 1.599 % | 12.48/12.57 c | 58255 | 36861 86445 | 19788 8859 246069 27.8 | 1.599 % | 12.68/12.75 c | 59014 | 36861 86445 | 21767 9618 275939 28.7 | 1.599 % | 12.98/13.01 c | 60153 | 36861 86445 | 23943 10757 317747 29.5 | 1.599 % | 13.38/13.45 c | 61861 | 36861 86445 | 26338 12465 381120 30.6 | 1.599 % | 14.08/14.11 c | 64424 | 36861 86445 | 28972 15028 481250 32.0 | 1.599 % | 15.08/15.16 c | 68268 | 36861 86445 | 31869 18872 626217 33.2 | 1.599 % | 16.78/16.83 c | 74035 | 36861 86445 | 35056 24639 830075 33.7 | 1.599 % | 19.38/19.40 c | 82685 | 36861 86445 | 38561 33289 1146891 34.5 | 1.599 % | 23.28/23.35 c | 95661 | 36861 86445 | 42418 23354 739962 31.7 | 1.599 % | 26.48/26.53 c ============================================================================== 26.48/26.53 c [1mFound solution: 694[0m 26.48/26.53 c ---[ 0]---> Sorter-cost: 6 Base: 3 2 2 2 2 26.48/26.54 c ==================================[MINISAT+]================================== 26.48/26.54 c | Conflicts | Original | Learnt | Progress | 26.48/26.54 c | | Clauses Literals | Max Clauses Literals LPC | | 26.48/26.54 c ============================================================================== 26.48/26.54 c | 107267 | 36943 86642 | 12314 34960 1209407 34.6 | 1.599 % | 26.58/26.68 c | 107369 | 36943 86642 | 13545 8589 204354 23.8 | 1.601 % | 26.68/26.72 c | 107519 | 36943 86642 | 14899 8739 209078 23.9 | 1.601 % | 26.68/26.78 c | 107744 | 36943 86642 | 16389 8964 216341 24.1 | 1.601 % | 26.78/26.85 c | 108083 | 36943 86642 | 18028 9303 232157 25.0 | 1.601 % | 26.88/26.97 c | 108591 | 36943 86642 | 19831 9811 250813 25.6 | 1.601 % | 27.08/27.14 c | 109350 | 36943 86642 | 21815 10570 276594 26.2 | 1.601 % | 27.28/27.40 c | 110490 | 36943 86642 | 23996 11710 316438 27.0 | 1.601 % | 27.78/27.85 c | 112200 | 36943 86642 | 26396 13420 384925 28.7 | 1.601 % | 28.49/28.53 c | 114763 | 36943 86642 | 29035 15983 487872 30.5 | 1.601 % | 29.48/29.57 c | 118607 | 36943 86642 | 31939 19827 635316 32.0 | 1.601 % | 31.18/31.23 c | 124376 | 36943 86642 | 35133 25596 873715 34.1 | 1.601 % | 33.78/33.88 c | 133025 | 36943 86642 | 38646 34245 1315822 38.4 | 1.601 % | 37.78/37.89 c | 145999 | 36943 86642 | 42511 24076 961684 39.9 | 1.601 % | 43.88/43.94 c | 165460 | 36943 86642 | 46762 43537 1861102 42.7 | 1.601 % | 53.37/53.42 c | 194654 | 36943 86642 | 51438 43605 2011083 46.1 | 1.601 % | 68.48/68.52 c | 238446 | 36913 86575 | 56582 20490 749676 36.6 | 1.659 % | 77.38/77.43 c ============================================================================== 77.38/77.43 c [1mOptimal solution: 694[0m 77.38/77.43 s OPTIMUM FOUND 77.38/77.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 77.38/77.43 c _______________________________________________________________________________ 77.38/77.43 c 77.38/77.43 c restarts : 103 77.38/77.43 c conflicts : 267715 (3458 /sec) 77.38/77.43 c decisions : 385281 (4977 /sec) 77.38/77.43 c propagations : 0 (0 /sec) 77.38/77.43 c inspects : 0 (0 /sec) 77.38/77.43 c CPU time : 77.4092 s 77.38/77.43 c _______________________________________________________________________________
OK 694
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723476-1338570572/watcher-3723476-1338570572 -o /tmp/evaluation-result-3723476-1338570572/solver-3723476-1338570572 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723476-1338570572.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.00 1.00 1.13 3/175 18308 /proc/meminfo: memFree=28103520/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [startup+0.064179 s] /proc/loadavg: 1.00 1.00 1.13 3/175 18308 /proc/meminfo: memFree=28103520/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100152 s] /proc/loadavg: 1.00 1.00 1.13 3/175 18308 /proc/meminfo: memFree=28103520/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300114 s] /proc/loadavg: 1.00 1.00 1.13 3/175 18308 /proc/meminfo: memFree=28103520/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700117 s] /proc/loadavg: 1.00 1.00 1.13 3/175 18308 /proc/meminfo: memFree=28103520/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50028 s] /proc/loadavg: 1.00 1.00 1.13 4/179 18318 /proc/meminfo: memFree=28058040/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=8760 CPUtime=1.49 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 1963 0 0 0 149 0 0 0 20 0 1 0 323183933 8970240 1872 33554432000 4194304 5276501 140734723538384 140734723536568 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 2190 1872 121 265 0 1922 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17908 [startup+3.10028 s] /proc/loadavg: 1.08 1.02 1.14 4/179 18318 /proc/meminfo: memFree=28054940/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=10536 CPUtime=3.09 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 2389 0 0 0 309 0 0 0 20 0 1 0 323183933 10788864 2298 33554432000 4194304 5276501 140734723538384 140734723535976 4400043 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 2634 2298 121 265 0 2366 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19684 [startup+6.3003 s] /proc/loadavg: 1.08 1.02 1.14 4/179 18318 /proc/meminfo: memFree=28047928/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=14076 CPUtime=6.29 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 3279 0 0 0 629 0 0 0 20 0 1 0 323183933 14413824 3188 33554432000 4194304 5276501 140734723538384 140734723536376 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 3519 3188 121 265 0 3251 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23224 [startup+12.7003 s] /proc/loadavg: 1.22 1.05 1.14 4/179 18318 /proc/meminfo: memFree=28035576/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=16420 CPUtime=12.68 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 3862 0 0 0 1268 0 0 0 20 0 1 0 323183933 16814080 3771 33554432000 4194304 5276501 140734723538384 140734723536632 4399972 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 4105 3771 121 265 0 3837 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25568 [startup+25.5003 s] /proc/loadavg: 1.34 1.08 1.15 4/179 18318 /proc/meminfo: memFree=27989140/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=17852 CPUtime=25.48 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 4200 0 0 0 2548 0 0 0 20 0 1 0 323183933 18280448 4109 33554432000 4194304 5276501 140734723538384 140734723536632 4395041 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 4463 4109 121 265 0 4195 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27000 [startup+51.1003 s] /proc/loadavg: 1.56 1.15 1.17 4/180 18321 /proc/meminfo: memFree=27960092/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=22924 CPUtime=51.07 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5385 0 0 0 5107 0 0 0 20 0 1 0 323183933 23474176 5294 33554432000 4194304 5276501 140734723538384 140734723535976 4400032 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 5731 5294 121 265 0 5463 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32072 Solver just ended. Dumping a history of the last processes samples [startup+63.9003 s] /proc/loadavg: 1.66 1.19 1.19 4/180 18321 /proc/meminfo: memFree=27952868/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=24472 CPUtime=63.88 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5767 0 0 0 6387 1 0 0 20 0 1 0 323183933 25059328 5676 33554432000 4194304 5276501 140734723538384 140734723536568 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6118 5676 121 265 0 5850 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 33620 [startup+70.3003 s] /proc/loadavg: 1.69 1.21 1.19 4/180 18321 /proc/meminfo: memFree=27951008/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=24688 CPUtime=70.28 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5822 0 0 0 7027 1 0 0 20 0 1 0 323183933 25280512 5731 33554432000 4194304 5276501 140734723538384 140734723536632 4400063 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6172 5731 121 265 0 5904 0 Current children cumulated CPU time (s) 70.28 Current children cumulated vsize (KiB) 33836 [startup+73.5003 s] /proc/loadavg: 1.71 1.22 1.20 4/180 18321 /proc/meminfo: memFree=27949356/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=24688 CPUtime=73.48 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5823 0 0 0 7347 1 0 0 20 0 1 0 323183933 25280512 5732 33554432000 4194304 5276501 140734723538384 140734723536632 4399749 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6172 5732 121 265 0 5904 0 Current children cumulated CPU time (s) 73.48 Current children cumulated vsize (KiB) 33836 [startup+75.1003 s] /proc/loadavg: 1.71 1.22 1.20 4/180 18321 /proc/meminfo: memFree=27947372/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=25120 CPUtime=75.08 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5883 0 0 0 7507 1 0 0 20 0 1 0 323183933 25722880 5792 33554432000 4194304 5276501 140734723538384 140734723536568 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6280 5792 121 265 0 6012 0 Current children cumulated CPU time (s) 75.08 Current children cumulated vsize (KiB) 34268 [startup+76.7003 s] /proc/loadavg: 1.71 1.22 1.20 4/180 18321 /proc/meminfo: memFree=27947372/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=25120 CPUtime=76.68 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5885 0 0 0 7667 1 0 0 20 0 1 0 323183933 25722880 5794 33554432000 4194304 5276501 140734723538384 140734723536568 4399332 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6280 5794 121 265 0 6012 0 Current children cumulated CPU time (s) 76.68 Current children cumulated vsize (KiB) 34268 [startup+77.1003 s] /proc/loadavg: 1.71 1.22 1.20 4/180 18321 /proc/meminfo: memFree=27947372/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=25120 CPUtime=77.08 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5885 0 0 0 7707 1 0 0 20 0 1 0 323183933 25722880 5794 33554432000 4194304 5276501 140734723538384 140734723536568 4399866 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6280 5794 121 265 0 6012 0 Current children cumulated CPU time (s) 77.08 Current children cumulated vsize (KiB) 34268 [startup+77.3003 s] /proc/loadavg: 1.71 1.22 1.20 4/180 18321 /proc/meminfo: memFree=27947372/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=25120 CPUtime=77.28 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5885 0 0 0 7727 1 0 0 20 0 1 0 323183933 25722880 5794 33554432000 4194304 5276501 140734723538384 140734723536568 4395513 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6280 5794 121 265 0 6012 0 Current children cumulated CPU time (s) 77.28 Current children cumulated vsize (KiB) 34268 [startup+77.4003 s] /proc/loadavg: 1.71 1.22 1.20 4/180 18321 /proc/meminfo: memFree=27947372/32873648 swapFree=6852/6852 [pid=18308] ppid=18304 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18308/stat : 18308 (minisat+_script) S 18304 18308 16571 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323183933 9367552 277 33554432000 4194304 5064252 140736415635872 140736415634784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18308/statm: 2287 277 236 213 0 72 0 [pid=18315] ppid=18308 vsize=25120 CPUtime=77.38 cores=0,2,4,6 /proc/18315/stat : 18315 (minisat+_64-bit) R 18308 18308 16571 0 -1 4202496 5885 0 0 0 7737 1 0 0 20 0 1 0 323183933 25722880 5794 33554432000 4194304 5276501 140734723538384 140734723536568 4391081 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18315/statm: 6280 5794 121 265 0 6012 0 Current children cumulated CPU time (s) 77.38 Current children cumulated vsize (KiB) 34268 Child status: 0 Real time (s): 77.4438 CPU time (s): 77.4282 CPU user time (s): 77.4122 CPU system time (s): 0.015997 CPU usage (%): 99.9799 Max. virtual memory (cumulated for all children) (KiB): 34268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 77.4122 system time used= 0.015997 maximum resident set size= 23176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6834 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= 16 involuntary context switches= 88 runsolver used 0.150977 second user time and 0.383941 second system time The end
Begin job on node115 at 2012-06-01 19:09:32 IDJOB=3723476 IDBENCH=2019 IDSOLVER=2307 FILE ID=node115/3723476-1338570572 RUNJOBID= node115-1338570572-18281 PBS_JOBID= 14635869 Free space on /tmp= 70832 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723476-1338570572/watcher-3723476-1338570572 -o /tmp/evaluation-result-3723476-1338570572/solver-3723476-1338570572 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723476-1338570572.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719 RANDOM SEED=2103559951 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28104544 kB Buffers: 544896 kB Cached: 3310900 kB SwapCached: 964 kB Active: 1797788 kB Inactive: 2067456 kB Active(anon): 1756 kB Inactive(anon): 9824 kB Active(file): 1796032 kB Inactive(file): 2057632 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106432 kB Dirty: 4684 kB Writeback: 0 kB AnonPages: 15108 kB Mapped: 10888 kB Shmem: 96 kB Slab: 766776 kB SReclaimable: 210892 kB SUnreclaim: 555884 kB KernelStack: 1392 kB PageTables: 3796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 104024 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70824 MiB End job on node115 at 2012-06-01 19:10:49