Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | OPT | -35 | 606.083 | 606.197 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
MD5SUM | 907943cf03e4e0f899b19858f5690e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 45.895 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | NO |
Number of variables | 595 |
Total number of constraints | 27847 |
Number of constraints which are clauses | 27847 |
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 | 2 |
Number of terms in the objective function | 595 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
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.03 c Converting 27847 PB-constraints to clauses... 0.00/0.03 c -- Unit propagations: (none) 0.00/0.03 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.03 c -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.00/0.05 c ==================================[MINISAT+]================================== 0.00/0.05 c | Conflicts | Original | Learnt | Progress | 0.00/0.05 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.05 c ============================================================================== 0.00/0.05 c | 0 | 27847 55694 | 9282 0 0 -nan | 0.000 % | 0.00/0.05 c ============================================================================== 0.00/0.05 c [1mFound solution: -24[0m 0.00/0.05 c ---[ 0]---> Sorter-cost:26814 Base: 0.00/0.07 c ==================================[MINISAT+]================================== 0.00/0.07 c | Conflicts | Original | Learnt | Progress | 0.00/0.07 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.07 c ============================================================================== 0.00/0.07 c | 0 | 56112 122082 | 18704 0 0 -nan | 0.000 % | 0.00/0.10 c | 100 | 55441 120669 | 20574 62 485 7.8 | 1.950 % | 0.00/0.14 c | 252 | 54383 118381 | 22631 186 1801 9.7 | 5.130 % | 0.00/0.18 c | 477 | 53349 116119 | 24895 313 3077 9.8 | 8.306 % | 0.00/0.24 c | 814 | 51759 112535 | 27384 516 5065 9.8 | 13.461 % | 0.00/0.32 c | 1321 | 49950 108452 | 30122 920 9543 10.4 | 19.341 % | 0.00/0.39 c ============================================================================== 0.00/0.39 c [1mFound solution: -26[0m 0.00/0.39 c ---[ 0]---> Sorter-cost: 0 Base: 0.00/0.39 c ==================================[MINISAT+]================================== 0.00/0.39 c | Conflicts | Original | Learnt | Progress | 0.00/0.39 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.39 c ============================================================================== 0.00/0.39 c | 1658 | 48453 105089 | 16151 1166 13758 11.8 | 19.341 % | 0.00/0.40 c | 1758 | 48207 104544 | 17766 1257 15573 12.4 | 25.098 % | 0.00/0.42 c | 1908 | 47653 103297 | 19542 1386 16993 12.3 | 26.885 % | 0.00/0.45 c | 2133 | 47022 101840 | 21496 1582 20176 12.8 | 29.018 % | 0.00/0.51 c | 2471 | 45334 97977 | 23646 1783 22714 12.7 | 34.745 % | 0.00/0.59 c | 2977 | 43116 92786 | 26011 2128 28051 13.2 | 41.789 % | 0.00/0.61 c ============================================================================== 0.00/0.61 c [1mFound solution: -27[0m 0.00/0.61 c ---[ 0]---> Sorter-cost: 0 Base: 0.00/0.61 c ==================================[MINISAT+]================================== 0.00/0.61 c | Conflicts | Original | Learnt | Progress | 0.00/0.61 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.61 c ============================================================================== 0.00/0.61 c | 3108 | 42804 92166 | 14268 2242 29536 13.2 | 41.789 % | 0.00/0.62 c | 3208 | 42633 91773 | 15694 2311 32120 13.9 | 43.581 % | 0.00/0.65 c | 3358 | 42086 90483 | 17264 2410 34663 14.4 | 45.442 % | 0.00/0.68 c | 3583 | 41186 88373 | 18990 2527 36936 14.6 | 48.512 % | 0.00/0.74 c | 3920 | 39875 85257 | 20889 2675 39865 14.9 | 53.073 % | 0.00/0.81 c | 4426 | 38295 81499 | 22978 2931 45827 15.6 | 58.656 % | 0.00/0.87 c | 5185 | 37231 79008 | 25276 3517 56152 16.0 | 62.296 % | 0.00/0.96 c | 6325 | 36399 77020 | 27804 4462 90785 20.3 | 65.114 % | 0.00/0.98 c ============================================================================== 0.00/0.98 c [1mFound solution: -28[0m 0.00/0.98 c ---[ 0]---> Sorter-cost: 0 Base: 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 | 6539 | 36204 76514 | 12068 4628 94822 20.5 | 65.114 % | 0.00/1.00 c | 6641 | 35982 75996 | 13274 4700 95056 20.2 | 66.706 % | 0.99/1.01 c | 6792 | 35806 75565 | 14602 4830 99514 20.6 | 67.194 % | 0.99/1.03 c | 7017 | 35642 75173 | 16062 5010 105962 21.2 | 67.771 % | 0.99/1.05 c ============================================================================== 0.99/1.05 c [1mFound solution: -29[0m 0.99/1.05 c ---[ 0]---> Sorter-cost: 0 Base: 0.99/1.05 c ==================================[MINISAT+]================================== 0.99/1.05 c | Conflicts | Original | Learnt | Progress | 0.99/1.05 c | | Clauses Literals | Max Clauses Literals LPC | | 0.99/1.05 c ============================================================================== 0.99/1.05 c | 7230 | 35536 74966 | 11845 5187 112947 21.8 | 67.771 % | 0.99/1.06 c | 7330 | 35446 74749 | 13029 5272 114669 21.8 | 68.477 % | 0.99/1.07 c | 7480 | 35446 74749 | 14332 5422 121261 22.4 | 68.477 % | 0.99/1.10 c | 7705 | 35202 74151 | 15765 5577 125302 22.5 | 69.366 % | 1.09/1.13 c | 8042 | 34951 73539 | 17342 5813 130910 22.5 | 70.279 % | 1.09/1.17 c | 8548 | 34698 72952 | 19076 6257 144776 23.1 | 71.137 % | 1.19/1.23 c | 9308 | 34382 72194 | 20984 6920 170952 24.7 | 72.266 % | 1.29/1.36 c | 10447 | 33503 70095 | 23082 7718 213293 27.6 | 75.352 % | 1.39/1.45 c ============================================================================== 1.39/1.45 c [1mFound solution: -30[0m 1.39/1.45 c ---[ 0]---> Sorter-cost: 0 Base: 1.39/1.46 c ==================================[MINISAT+]================================== 1.39/1.46 c | Conflicts | Original | Learnt | Progress | 1.39/1.46 c | | Clauses Literals | Max Clauses Literals LPC | | 1.39/1.46 c ============================================================================== 1.39/1.46 c | 11569 | 33465 69965 | 11155 8764 293708 33.5 | 75.352 % | 1.39/1.47 c | 11669 | 33465 69965 | 12270 8864 298246 33.6 | 75.498 % | 1.39/1.49 c | 11819 | 33213 69355 | 13497 8851 299001 33.8 | 76.376 % | 1.49/1.51 c | 12044 | 33123 69149 | 14847 9019 309519 34.3 | 76.669 % | 1.49/1.55 c | 12382 | 33096 69084 | 16332 9332 318584 34.1 | 76.766 % | 1.59/1.60 c | 12890 | 32833 68455 | 17965 9755 343013 35.2 | 77.690 % | 1.59/1.69 c | 13649 | 32831 68451 | 19761 10506 418886 39.9 | 77.695 % | 1.79/1.81 c | 14788 | 32771 68305 | 21737 11526 508975 44.2 | 77.911 % | 1.99/2.00 c | 16498 | 32734 68214 | 23911 13217 667521 50.5 | 78.049 % | 2.29/2.32 c | 19060 | 32595 67880 | 26302 15722 904503 57.5 | 78.542 % | 2.78/2.84 c | 22904 | 32526 67721 | 28933 19503 1279536 65.6 | 78.773 % | 3.78/3.89 c | 28670 | 32526 67721 | 31826 25269 1932410 76.5 | 78.773 % | 5.39/5.47 c | 37319 | 32277 67126 | 35009 33736 2637824 78.2 | 79.661 % | 7.29/7.37 c ============================================================================== 7.29/7.37 c [1mFound solution: -31[0m 7.29/7.37 c ---[ 0]---> Sorter-cost: 0 Base: 7.29/7.39 c ==================================[MINISAT+]================================== 7.29/7.39 c | Conflicts | Original | Learnt | Progress | 7.29/7.39 c | | Clauses Literals | Max Clauses Literals LPC | | 7.29/7.39 c ============================================================================== 7.29/7.39 c | 46989 | 31827 66058 | 10609 42833 3300477 77.1 | 79.661 % | 7.39/7.42 c | 47089 | 31827 66058 | 11669 16300 853397 52.4 | 81.342 % | 7.39/7.43 c | 47239 | 31827 66058 | 12836 16450 860255 52.3 | 81.342 % | 7.39/7.46 c | 47464 | 31827 66058 | 14120 16675 871892 52.3 | 81.342 % | 7.49/7.50 c | 47805 | 31827 66058 | 15532 17016 892051 52.4 | 81.342 % | 7.49/7.55 c | 48311 | 31827 66058 | 17085 17522 932484 53.2 | 81.342 % | 7.59/7.63 c | 49070 | 31819 66038 | 18794 18277 973630 53.3 | 81.373 % | 7.69/7.76 c | 50211 | 31810 66017 | 20673 19415 1047547 54.0 | 81.404 % | 7.89/7.95 c | 51920 | 31806 66007 | 22741 21123 1150291 54.5 | 81.419 % | 8.29/8.31 c | 54482 | 31703 65768 | 25015 23643 1360274 57.5 | 81.762 % | 8.79/8.85 c | 58326 | 31565 65434 | 27517 27449 1643255 59.9 | 82.252 % | 9.59/9.60 c | 64092 | 31552 65405 | 30268 33212 1933670 58.2 | 82.293 % | 10.89/10.95 c | 72741 | 31491 65254 | 33295 41841 2716685 64.9 | 82.523 % | 13.19/13.25 c | 85719 | 31391 65011 | 36625 20762 1198359 57.7 | 82.881 % | 16.28/16.30 c | 105180 | 31391 65011 | 40287 40223 2074917 51.6 | 82.881 % | 20.88/20.92 c | 134372 | 31391 65011 | 44316 28304 765404 27.0 | 82.881 % | 21.99/22.02 c ============================================================================== 21.99/22.02 c [1mFound solution: -32[0m 21.99/22.02 c ---[ 0]---> Sorter-cost: 0 Base: 21.99/22.03 c ==================================[MINISAT+]================================== 21.99/22.03 c | Conflicts | Original | Learnt | Progress | 21.99/22.03 c | | Clauses Literals | Max Clauses Literals LPC | | 21.99/22.03 c ============================================================================== 21.99/22.03 c | 143162 | 31366 64926 | 10455 37084 1122443 30.3 | 82.881 % | 22.08/22.11 c | 143263 | 31366 64926 | 11500 17129 508834 29.7 | 82.975 % | 22.08/22.12 c | 143415 | 31366 64926 | 12650 17281 514740 29.8 | 82.975 % | 22.08/22.15 c | 143641 | 31366 64926 | 13915 17507 528650 30.2 | 82.975 % | 22.08/22.19 c | 143978 | 31366 64926 | 15307 17844 541935 30.4 | 82.975 % | 22.18/22.24 c | 144485 | 31366 64926 | 16837 18351 557722 30.4 | 82.975 % | 22.28/22.33 c | 145244 | 31366 64926 | 18521 19110 578111 30.3 | 82.975 % | 22.38/22.47 c | 146383 | 31366 64926 | 20373 20249 605804 29.9 | 82.975 % | 22.58/22.65 c | 148091 | 31353 64897 | 22411 21937 663847 30.3 | 83.016 % | 22.78/22.88 c | 150653 | 31353 64897 | 24652 24499 790696 32.3 | 83.016 % | 23.18/23.24 c | 154497 | 31351 64893 | 27117 28342 993614 35.1 | 83.021 % | 23.78/23.88 c | 160263 | 31351 64893 | 29829 34108 1450721 42.5 | 83.021 % | 24.78/24.85 c | 168912 | 31156 64415 | 32812 42043 2002082 47.6 | 83.731 % | 26.48/26.52 c | 181886 | 31151 64404 | 36093 21291 1037103 48.7 | 83.747 % | 28.98/29.09 c | 201347 | 31151 64404 | 39702 40752 2374097 58.3 | 83.747 % | 32.98/33.08 c | 230540 | 31145 64388 | 43673 29873 813551 27.2 | 83.772 % | 39.18/39.21 c | 274329 | 31145 64388 | 48040 31133 729357 23.4 | 83.772 % | 48.77/48.88 c | 340013 | 31143 64384 | 52844 51839 1293809 25.0 | 83.777 % | 49.17/49.28 c ============================================================================== 49.17/49.28 c [1mFound solution: -33[0m 49.17/49.28 c ---[ 0]---> Sorter-cost: 0 Base: 49.27/49.30 c ==================================[MINISAT+]================================== 49.27/49.30 c | Conflicts | Original | Learnt | Progress | 49.27/49.30 c | | Clauses Literals | Max Clauses Literals LPC | | 49.27/49.30 c ============================================================================== 49.27/49.30 c | 342280 | 31161 64430 | 10387 54106 1358299 25.1 | 83.777 % | 49.38/49.44 c | 342380 | 31161 64430 | 11425 20350 435763 21.4 | 83.738 % | 49.38/49.46 c | 342531 | 31128 64340 | 12568 20497 439393 21.4 | 83.870 % | 49.38/49.48 c | 342757 | 31128 64340 | 13825 20723 446562 21.5 | 83.870 % | 49.48/49.52 c | 343094 | 31128 64340 | 15207 21060 454321 21.6 | 83.870 % | 49.48/49.58 c | 343600 | 31128 64340 | 16728 21566 467379 21.7 | 83.870 % | 49.57/49.66 c | 344359 | 31128 64340 | 18401 22325 485983 21.8 | 83.870 % | 49.77/49.80 c | 345499 | 31128 64340 | 20241 23465 513463 21.9 | 83.870 % | 49.87/49.99 c | 347210 | 31128 64340 | 22265 25176 565250 22.5 | 83.870 % | 50.27/50.30 c | 349772 | 31128 64340 | 24492 27738 629047 22.7 | 83.870 % | 50.67/50.75 c | 353616 | 31128 64340 | 26941 31582 731860 23.2 | 83.870 % | 51.47/51.57 c | 359382 | 31128 64340 | 29635 37348 881464 23.6 | 83.870 % | 52.78/52.87 c | 368031 | 31121 64323 | 32598 45994 1093127 23.8 | 83.896 % | 54.57/54.69 c | 381005 | 31121 64323 | 35858 29444 610218 20.7 | 83.896 % | 57.27/57.30 c | 400469 | 31112 64300 | 39444 48905 1103884 22.6 | 83.931 % | 61.37/61.44 c | 429661 | 31101 64271 | 43389 41755 1113835 26.7 | 83.977 % | 67.37/67.49 c | 473450 | 31096 64260 | 47727 43636 1340735 30.7 | 83.993 % | 77.97/78.01 c | 539134 | 31085 64233 | 52500 64084 1723290 26.9 | 84.034 % | 93.56/93.69 c | 637661 | 31070 64196 | 57750 22311 541310 24.3 | 84.090 % | 114.37/114.41 c | 785450 | 31024 64087 | 63525 62857 2156127 34.3 | 84.243 % | 151.76/151.85 c | 1007135 | 31021 64080 | 69878 53446 1453064 27.2 | 84.253 % | 208.05/208.14 c | 1339660 | 31012 64057 | 76866 70950 1901069 26.8 | 84.289 % | 285.13/285.22 c | 1838449 | 30794 63503 | 84553 80446 2372583 29.5 | 85.080 % | 418.11/418.27 c | 2586632 | 30729 63348 | 93008 71314 3597864 50.5 | 85.310 % | 481.30/481.49 c ============================================================================== 481.30/481.49 c [1mFound solution: -34[0m 481.30/481.49 c ---[ 0]---> Sorter-cost: 0 Base: 481.40/481.52 c ==================================[MINISAT+]================================== 481.40/481.52 c | Conflicts | Original | Learnt | Progress | 481.40/481.52 c | | Clauses Literals | Max Clauses Literals LPC | | 481.40/481.52 c ============================================================================== 481.40/481.52 c | 2954191 | 30602 62987 | 10200 95071 3024617 31.8 | 85.310 % | 481.60/481.72 c | 2954291 | 30602 62987 | 11220 14597 198997 13.6 | 85.755 % | 481.60/481.73 c | 2954443 | 30602 62987 | 12342 14749 202883 13.8 | 85.755 % | 481.60/481.75 c | 2954669 | 30602 62987 | 13576 14975 208609 13.9 | 85.755 % | 481.60/481.78 c | 2955006 | 30602 62987 | 14933 15312 223713 14.6 | 85.755 % | 481.70/481.81 c | 2955513 | 30602 62987 | 16427 15819 240903 15.2 | 85.755 % | 481.70/481.87 c | 2956273 | 30602 62987 | 18069 16579 262450 15.8 | 85.755 % | 481.80/481.96 c | 2957412 | 30602 62987 | 19876 17718 291915 16.5 | 85.755 % | 482.00/482.11 c | 2959120 | 30602 62987 | 21864 19426 334665 17.2 | 85.755 % | 482.20/482.32 c | 2961683 | 30548 62860 | 24051 21986 419831 19.1 | 85.939 % | 482.50/482.68 c | 2965527 | 30548 62860 | 26456 25830 545484 21.1 | 85.939 % | 483.10/483.28 c | 2971293 | 30548 62860 | 29101 31596 704535 22.3 | 85.939 % | 484.00/484.18 c | 2979945 | 30548 62860 | 32011 40248 938695 23.3 | 85.939 % | 485.50/485.65 c | 2992919 | 30548 62860 | 35213 26635 522866 19.6 | 85.939 % | 487.50/487.67 c | 3012381 | 30544 62850 | 38734 46095 1119933 24.3 | 85.954 % | 490.70/490.87 c | 3041573 | 30508 62758 | 42607 43983 1417436 32.2 | 86.097 % | 495.90/496.03 c | 3085362 | 30508 62758 | 46868 52290 1492930 28.6 | 86.097 % | 503.19/503.34 c | 3151047 | 30470 62653 | 51555 40342 1019614 25.3 | 86.245 % | 515.29/515.43 c | 3249573 | 30467 62646 | 56711 56418 1344762 23.8 | 86.255 % | 533.49/533.67 c | 3397364 | 30440 62581 | 62382 57545 1538182 26.7 | 86.352 % | 562.48/562.66 c | 3619049 | 30288 62270 | 68620 42743 935473 21.9 | 86.444 % | 604.97/605.17 c ============================================================================== 604.97/605.17 c [1mFound solution: -35[0m 604.97/605.17 c ---[ 0]---> Sorter-cost: 6776 Base: 604.97/605.19 c ==================================[MINISAT+]================================== 604.97/605.19 c | Conflicts | Original | Learnt | Progress | 604.97/605.19 c | | Clauses Literals | Max Clauses Literals LPC | | 604.97/605.19 c ============================================================================== 604.97/605.19 c | 3943289 | 32041 66316 | 10680 75765 1993718 26.3 | 86.444 % | 605.17/605.35 c | 3943389 | 31995 66224 | 11748 26414 495973 18.8 | 82.409 % | 605.17/605.38 c | 3943541 | 31864 65954 | 12922 26557 500303 18.8 | 82.781 % | 605.27/605.40 c | 3943766 | 31864 65954 | 14215 26782 509803 19.0 | 82.781 % | 605.27/605.43 c | 3944105 | 31820 65861 | 15636 27120 517489 19.1 | 82.914 % | 605.27/605.49 c | 3944612 | 31816 65853 | 17200 27625 531148 19.2 | 82.928 % | 605.37/605.56 c | 3945372 | 31713 65629 | 18920 28380 555030 19.6 | 83.226 % | 605.47/605.68 c | 3946512 | 31512 65184 | 20812 29513 589899 20.0 | 83.832 % | 605.67/605.86 c | 3948220 | 31329 64762 | 22893 31207 636161 20.4 | 84.420 % | 605.98/606.19 c ============================================================================== 605.98/606.19 c [1mOptimal solution: -35[0m 605.98/606.19 s OPTIMUM FOUND 605.98/606.19 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 605.98/606.19 c _______________________________________________________________________________ 605.98/606.19 c 605.98/606.19 c restarts : 134 605.98/606.19 c conflicts : 3950593 (6519 /sec) 605.98/606.19 c decisions : 4584709 (7565 /sec) 605.98/606.19 c propagations : 0 (0 /sec) 605.98/606.19 c inspects : 0 (0 /sec) 605.98/606.19 c CPU time : 606.022 s 605.98/606.19 c _______________________________________________________________________________
OK -35
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-3723544-1338571885/watcher-3723544-1338571885 -o /tmp/evaluation-result-3723544-1338571885/solver-3723544-1338571885 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723544-1338571885.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.87 3/173 31413 /proc/meminfo: memFree=31041072/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [startup+0.00981904 s] /proc/loadavg: 2.00 2.00 1.87 3/173 31413 /proc/meminfo: memFree=31041072/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100205 s] /proc/loadavg: 2.00 2.00 1.87 3/173 31413 /proc/meminfo: memFree=31041072/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300196 s] /proc/loadavg: 2.00 2.00 1.87 3/173 31413 /proc/meminfo: memFree=31041072/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700194 s] /proc/loadavg: 2.00 2.00 1.87 3/173 31413 /proc/meminfo: memFree=31041072/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/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: 2.00 2.00 1.87 3/179 31453 /proc/meminfo: memFree=30939008/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=15096 CPUtime=1.49 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 3588 0 0 0 148 1 0 0 20 0 1 0 323314366 15458304 3543 33554432000 4194304 5276501 140734574356176 140734574354424 4395128 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 3774 3543 118 265 0 3506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24244 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 1.87 3/179 31495 /proc/meminfo: memFree=30813076/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=17808 CPUtime=3.08 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 4250 0 0 0 307 1 0 0 20 0 1 0 323314366 18235392 4205 33554432000 4194304 5276501 140734574356176 140734574354360 4396490 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 4452 4205 118 265 0 4184 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 26956 [startup+6.30027 s] /proc/loadavg: 2.00 2.00 1.87 3/179 31495 /proc/meminfo: memFree=30863872/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=24868 CPUtime=6.28 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 6035 0 0 0 627 1 0 0 20 0 1 0 323314366 25464832 5987 33554432000 4194304 5276501 140734574356176 140734574354584 4394779 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 6217 5987 118 265 0 5949 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34016 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.87 3/179 31495 /proc/meminfo: memFree=30859996/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=28252 CPUtime=12.69 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 6863 0 0 0 1267 2 0 0 20 0 1 0 323314366 28930048 6815 33554432000 4194304 5276501 140734574356176 140734574354424 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 7063 6815 118 265 0 6795 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37400 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 1.88 3/179 31495 /proc/meminfo: memFree=30858788/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=28960 CPUtime=25.48 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 7055 0 0 0 2546 2 0 0 20 0 1 0 323314366 29655040 6999 33554432000 4194304 5276501 140734574356176 140734574354424 4398064 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 7240 6999 118 265 0 6972 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38108 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.88 3/179 31495 /proc/meminfo: memFree=30857136/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=30696 CPUtime=51.07 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 7387 0 0 0 5105 2 0 0 20 0 1 0 323314366 31432704 7331 33554432000 4194304 5276501 140734574356176 140734574354424 4399995 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 7674 7331 118 265 0 7406 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39844 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.88 3/179 31495 /proc/meminfo: memFree=30854704/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=32520 CPUtime=102.27 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 7827 0 0 0 10225 2 0 0 20 0 1 0 323314366 33300480 7771 33554432000 4194304 5276501 140734574356176 140734574354360 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 8130 7771 118 265 0 7862 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 41668 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 31538 /proc/meminfo: memFree=30838284/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=36700 CPUtime=162.25 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 8830 0 0 0 16223 2 0 0 20 0 1 0 323314366 37580800 8774 33554432000 4194304 5276501 140734574356176 140734574354360 4399315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 9175 8774 118 265 0 8907 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45848 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 31539 /proc/meminfo: memFree=30819640/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=39780 CPUtime=222.25 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 9473 0 0 0 22222 3 0 0 20 0 1 0 323314366 40734720 9497 33554432000 4194304 5276501 140734574356176 140734574354600 4399813 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 9945 9497 118 265 0 9677 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 48928 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.90 3/179 31539 /proc/meminfo: memFree=30796300/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=43100 CPUtime=282.23 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 10292 0 0 0 28220 3 0 0 20 0 1 0 323314366 44134400 10316 33554432000 4194304 5276501 140734574356176 140734574354408 4394928 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 10775 10316 118 265 0 10507 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 52248 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31539 /proc/meminfo: memFree=30779048/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=46124 CPUtime=342.22 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 11047 0 0 0 34219 3 0 0 20 0 1 0 323314366 47230976 11050 33554432000 4194304 5276501 140734574356176 140734574354408 4399989 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 11531 11050 118 265 0 11263 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 55272 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31539 /proc/meminfo: memFree=30738916/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=66640 CPUtime=402.21 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16123 0 0 0 40216 5 0 0 20 0 1 0 323314366 68239360 16209 33554432000 4194304 5276501 140734574356176 140734574354584 4399913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16660 16209 118 265 0 16392 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 75788 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31539 /proc/meminfo: memFree=30714612/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=66800 CPUtime=462.2 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16158 0 0 0 46215 5 0 0 20 0 1 0 323314366 68403200 16244 33554432000 4194304 5276501 140734574356176 140734574354424 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16700 16244 118 265 0 16432 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 75948 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.91 3/180 31543 /proc/meminfo: memFree=30695364/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=67520 CPUtime=522.19 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16292 0 0 0 52214 5 0 0 20 0 1 0 323314366 69140480 16378 33554432000 4194304 5276501 140734574356176 140734574354424 4390357 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16880 16378 118 265 0 16612 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 76668 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30682320/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=67520 CPUtime=582.18 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16292 0 0 0 58213 5 0 0 20 0 1 0 323314366 69140480 16378 33554432000 4194304 5276501 140734574356176 140734574354424 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16880 16378 118 265 0 16612 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 76668 Solver just ended. Dumping a history of the last processes samples [startup+588.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30680388/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=67520 CPUtime=588.58 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16297 0 0 0 58853 5 0 0 20 0 1 0 323314366 69140480 16399 33554432000 4194304 5276501 140734574356176 140734574354424 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16880 16399 118 265 0 16612 0 Current children cumulated CPU time (s) 588.58 Current children cumulated vsize (KiB) 76668 [startup+595.107 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30679024/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=67520 CPUtime=594.98 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16297 0 0 0 59493 5 0 0 20 0 1 0 323314366 69140480 16399 33554432000 4194304 5276501 140734574356176 140734574354424 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16880 16399 118 265 0 16612 0 Current children cumulated CPU time (s) 594.98 Current children cumulated vsize (KiB) 76668 [startup+601.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30677660/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=67520 CPUtime=601.37 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16297 0 0 0 60132 5 0 0 20 0 1 0 323314366 69140480 16399 33554432000 4194304 5276501 140734574356176 140734574354424 4399860 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16880 16399 118 265 0 16612 0 Current children cumulated CPU time (s) 601.37 Current children cumulated vsize (KiB) 76668 [startup+604.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30677412/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=67520 CPUtime=604.57 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16297 0 0 0 60452 5 0 0 20 0 1 0 323314366 69140480 16399 33554432000 4194304 5276501 140734574356176 140734574354424 4399913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 16880 16399 118 265 0 16612 0 Current children cumulated CPU time (s) 604.57 Current children cumulated vsize (KiB) 76668 [startup+605.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30677288/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=68484 CPUtime=605.37 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16468 0 0 0 60532 5 0 0 20 0 1 0 323314366 70127616 16570 33554432000 4194304 5276501 140734574356176 140734574354424 4399364 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 17121 16570 118 265 0 16853 0 Current children cumulated CPU time (s) 605.37 Current children cumulated vsize (KiB) 77632 [startup+605.901 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30677288/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=68484 CPUtime=605.77 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16468 0 0 0 60572 5 0 0 20 0 1 0 323314366 70127616 16570 33554432000 4194304 5276501 140734574356176 140734574354424 4400126 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 17121 16570 118 265 0 16853 0 Current children cumulated CPU time (s) 605.77 Current children cumulated vsize (KiB) 77632 [startup+606.107 s] /proc/loadavg: 2.00 2.00 1.91 3/179 31543 /proc/meminfo: memFree=30676668/32873648 swapFree=6860/6860 [pid=31413] ppid=31411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31413/stat : 31413 (minisat+_script) S 31411 31413 29705 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323314366 9367552 277 33554432000 4194304 5064252 140733881804032 140733881802944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31413/statm: 2287 277 236 213 0 72 0 [pid=31417] ppid=31413 vsize=68484 CPUtime=605.98 cores=1,3,5,7 /proc/31417/stat : 31417 (minisat+_64-bit) R 31413 31413 29705 0 -1 4202496 16468 0 0 0 60593 5 0 0 20 0 1 0 323314366 70127616 16570 33554432000 4194304 5276501 140734574356176 140734574354424 4399992 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/31417/statm: 17121 16570 118 265 0 16853 0 Current children cumulated CPU time (s) 605.98 Current children cumulated vsize (KiB) 77632 Child status: 0 Real time (s): 606.197 CPU time (s): 606.083 CPU user time (s): 606.024 CPU system time (s): 0.058991 CPU usage (%): 99.9812 Max. virtual memory (cumulated for all children) (KiB): 77632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 606.024 system time used= 0.058991 maximum resident set size= 66292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17417 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= 39 involuntary context switches= 666 runsolver used 1.07784 second user time and 3.03454 second system time The end
Begin job on node124 at 2012-06-01 19:31:25 IDJOB=3723544 IDBENCH=2274 IDSOLVER=2307 FILE ID=node124/3723544-1338571885 RUNJOBID= node124-1338570077-31315 PBS_JOBID= 14635860 Free space on /tmp= 70756 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723544-1338571885/watcher-3723544-1338571885 -o /tmp/evaluation-result-3723544-1338571885/solver-3723544-1338571885 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723544-1338571885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e RANDOM SEED=1753275360 node124.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 : 2667.325 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 : 5334.65 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.04 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 : 2667.325 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 : 5357.53 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.04 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31042056 kB Buffers: 105520 kB Cached: 952396 kB SwapCached: 8164 kB Active: 229832 kB Inactive: 838952 kB Active(anon): 5100 kB Inactive(anon): 7980 kB Active(file): 224732 kB Inactive(file): 830972 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67091432 kB Dirty: 3356 kB Writeback: 0 kB AnonPages: 10548 kB Mapped: 8652 kB Shmem: 0 kB Slab: 624260 kB SReclaimable: 68724 kB SUnreclaim: 555536 kB KernelStack: 1424 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 105744 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= 70768 MiB End job on node124 at 2012-06-01 19:41:31