Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 192 | 1800.13 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
MD5SUM | 7b9886d41278c23acb93039c546a310e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 73 |
Maximum length of a constraint | 75 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1488 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4975 |
Number of bits of the biggest sum of numbers | 13 |
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 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 172 variables and 14 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.008 0.02 c After prepocess the problem consists of 172 variables and 14 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 172 LB: 0 @ 0.019 0.06 c Restart #2 #Var: 172 LB: 0 @ 0.046 0.10 c Restart #3 #Var: 172 LB: 0 @ 0.089 0.16 c Restart #4 #Var: 172 LB: 0 @ 0.146 0.21 c Restart #5 #Var: 172 LB: 0 @ 0.203 0.26 c Sol. found (all assignments made)... 0.26 o 1923 0.26 c NEW SOLUTION FOUND: 1923 @ 0.253 0.26 c Sol. found (all assignments made)... 0.26 o 1859 0.26 c NEW SOLUTION FOUND: 1859 @ 0.254 0.26 c Sol. found (all assignments made)... 0.26 o 1827 0.26 c NEW SOLUTION FOUND: 1827 @ 0.254 0.27 c Sol. found (all assignments made)... 0.27 o 1819 0.27 c NEW SOLUTION FOUND: 1819 @ 0.255 0.27 c Sol. found (all assignments made)... 0.27 o 1811 0.27 c NEW SOLUTION FOUND: 1811 @ 0.256 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 o 1803 0.27 c NEW SOLUTION FOUND: 1803 @ 0.258 0.27 c Sol. found (all assignments made)... 0.27 o 1795 0.27 c NEW SOLUTION FOUND: 1795 @ 0.259 0.27 c Sol. found (all assignments made)... 0.27 o 1787 0.27 c NEW SOLUTION FOUND: 1787 @ 0.26 0.27 c Sol. found (all assignments made)... 0.27 o 1783 0.27 c NEW SOLUTION FOUND: 1783 @ 0.263 0.28 c Sol. found (all assignments made)... 0.28 o 1775 0.28 c NEW SOLUTION FOUND: 1775 @ 0.267 0.28 c Sol. found (all assignments made)... 0.28 o 1759 0.28 c NEW SOLUTION FOUND: 1759 @ 0.269 0.28 c Sol. found (all assignments made)... 0.28 o 1751 0.28 c NEW SOLUTION FOUND: 1751 @ 0.271 0.29 c Sol. found (all assignments made)... 0.29 o 1747 0.29 c NEW SOLUTION FOUND: 1747 @ 0.278 0.29 c Sol. found (all assignments made)... 0.29 o 1743 0.29 c NEW SOLUTION FOUND: 1743 @ 0.28 0.29 c Sol. found (all assignments made)... 0.29 o 1603 0.29 c NEW SOLUTION FOUND: 1603 @ 0.283 0.29 c Sol. found (all assignments made)... 0.29 o 1587 0.29 c NEW SOLUTION FOUND: 1587 @ 0.283 0.29 c Sol. found (all assignments made)... 0.29 o 1571 0.29 c NEW SOLUTION FOUND: 1571 @ 0.284 0.29 c Sol. found (all assignments made)... 0.29 o 1555 0.29 c NEW SOLUTION FOUND: 1555 @ 0.284 0.31 c Sol. found (all assignments made)... 0.31 o 1539 0.31 c NEW SOLUTION FOUND: 1539 @ 0.304 0.32 c Sol. found (all assignments made)... 0.32 o 1507 0.32 c NEW SOLUTION FOUND: 1507 @ 0.305 0.32 c Sol. found (all assignments made)... 0.32 o 1503 0.32 c NEW SOLUTION FOUND: 1503 @ 0.31 0.32 c Sol. found (all assignments made)... 0.32 o 1491 0.32 c NEW SOLUTION FOUND: 1491 @ 0.311 0.32 c Sol. found (all assignments made)... 0.32 o 1487 0.32 c NEW SOLUTION FOUND: 1487 @ 0.314 0.33 c Sol. found (all assignments made)... 0.33 o 1483 0.33 c NEW SOLUTION FOUND: 1483 @ 0.324 0.34 c Sol. found (all assignments made)... 0.34 o 1479 0.34 c NEW SOLUTION FOUND: 1479 @ 0.333 0.35 c Sol. found (all assignments made)... 0.35 o 1475 0.35 c NEW SOLUTION FOUND: 1475 @ 0.338 0.36 c Sol. found (all assignments made)... 0.36 o 1473 0.36 c NEW SOLUTION FOUND: 1473 @ 0.352 0.41 c Sol. found (all assignments made)... 0.41 o 1461 0.41 c NEW SOLUTION FOUND: 1461 @ 0.395 0.41 c Sol. found (all assignments made)... 0.41 o 1453 0.41 c NEW SOLUTION FOUND: 1453 @ 0.399 0.41 c Sol. found (all assignments made)... 0.41 o 1449 0.41 c NEW SOLUTION FOUND: 1449 @ 0.403 0.47 c Restart #6 #Var: 172 LB: 0 @ 0.455 0.49 c Sol. found (all assignments made)... 0.49 o 1441 0.49 c NEW SOLUTION FOUND: 1441 @ 0.483 0.50 c Sol. found (all assignments made)... 0.50 o 1429 0.50 c NEW SOLUTION FOUND: 1429 @ 0.49 0.52 c Sol. found (all assignments made)... 0.52 o 1425 0.52 c NEW SOLUTION FOUND: 1425 @ 0.508 0.56 c Sol. found (all assignments made)... 0.56 o 1421 0.56 c NEW SOLUTION FOUND: 1421 @ 0.546 0.57 c Sol. found (all assignments made)... 0.57 o 1417 0.57 c NEW SOLUTION FOUND: 1417 @ 0.557 0.63 c Sol. found (all assignments made)... 0.63 o 1405 0.63 c NEW SOLUTION FOUND: 1405 @ 0.616 0.63 c Sol. found (all assignments made)... 0.63 o 1389 0.63 c NEW SOLUTION FOUND: 1389 @ 0.617 0.63 c Sol. found (all assignments made)... 0.63 o 1385 0.63 c NEW SOLUTION FOUND: 1385 @ 0.624 0.66 c Sol. found (all assignments made)... 0.66 o 1377 0.66 c NEW SOLUTION FOUND: 1377 @ 0.649 0.66 c Sol. found (all assignments made)... 0.66 o 1373 0.66 c NEW SOLUTION FOUND: 1373 @ 0.652 0.66 c Sol. found (all assignments made)... 0.66 o 1361 0.66 c NEW SOLUTION FOUND: 1361 @ 0.653 0.67 c Sol. found (all assignments made)... 0.67 o 1357 0.67 c NEW SOLUTION FOUND: 1357 @ 0.657 0.68 c Sol. found (all assignments made)... 0.68 o 1353 0.68 c NEW SOLUTION FOUND: 1353 @ 0.669 0.80 c Sol. found (all assignments made)... 0.80 o 1345 0.80 c NEW SOLUTION FOUND: 1345 @ 0.791 0.80 c Sol. found (all assignments made)... 0.80 o 1341 0.80 c NEW SOLUTION FOUND: 1341 @ 0.793 0.81 c Sol. found (all assignments made)... 0.81 o 1329 0.81 c NEW SOLUTION FOUND: 1329 @ 0.795 0.81 c Sol. found (all assignments made)... 0.81 o 1325 0.81 c NEW SOLUTION FOUND: 1325 @ 0.798 0.82 c Sol. found (all assignments made)... 0.82 o 1321 0.82 c NEW SOLUTION FOUND: 1321 @ 0.809 0.86 c Sol. found (all assignments made)... 0.86 o 1317 0.86 c NEW SOLUTION FOUND: 1317 @ 0.847 0.89 c Sol. found (all assignments made)... 0.89 o 1313 0.89 c NEW SOLUTION FOUND: 1313 @ 0.882 1.12 c Restart #7 #Var: 172 LB: 0 @ 1.112 1.16 c Sol. found (all assignments made)... 1.16 o 1220 1.16 c NEW SOLUTION FOUND: 1220 @ 1.147 1.16 c Sol. found (all assignments made)... 1.16 o 1216 1.16 c NEW SOLUTION FOUND: 1216 @ 1.148 1.18 c Sol. found (all assignments made)... 1.18 o 1168 1.18 c NEW SOLUTION FOUND: 1168 @ 1.165 1.18 c Sol. found (all assignments made)... 1.18 o 1160 1.18 c NEW SOLUTION FOUND: 1160 @ 1.173 1.32 c Sol. found (all assignments made)... 1.32 o 1158 1.32 c NEW SOLUTION FOUND: 1158 @ 1.307 1.37 c Sol. found (all assignments made)... 1.37 o 1150 1.37 c NEW SOLUTION FOUND: 1150 @ 1.355 1.43 c Sol. found (all assignments made)... 1.43 o 1116 1.43 c NEW SOLUTION FOUND: 1116 @ 1.42 1.43 c Sol. found (all assignments made)... 1.43 o 1112 1.43 c NEW SOLUTION FOUND: 1112 @ 1.421 1.43 c Sol. found (all assignments made)... 1.43 o 1104 1.43 c NEW SOLUTION FOUND: 1104 @ 1.423 1.44 c Sol. found (all assignments made)... 1.44 o 1084 1.44 c NEW SOLUTION FOUND: 1084 @ 1.427 1.44 c Sol. found (all assignments made)... 1.44 o 1080 1.44 c NEW SOLUTION FOUND: 1080 @ 1.428 1.44 c Sol. found (all assignments made)... 1.44 o 1072 1.44 c NEW SOLUTION FOUND: 1072 @ 1.429 1.48 c Sol. found (all assignments made)... 1.48 o 1064 1.48 c NEW SOLUTION FOUND: 1064 @ 1.471 1.75 c Restart #8 #Var: 172 LB: 0 @ 1.742 2.15 c Restart #9 #Var: 172 LB: 0 @ 2.142 2.19 c Sol. found (all assignments made)... 2.19 o 1061 2.19 c NEW SOLUTION FOUND: 1061 @ 2.183 2.20 c Sol. found (all assignments made)... 2.20 o 1057 2.20 c NEW SOLUTION FOUND: 1057 @ 2.188 2.20 c Sol. found (all assignments made)... 2.20 o 1055 2.20 c NEW SOLUTION FOUND: 1055 @ 2.189 2.21 c Sol. found (all assignments made)... 2.21 o 1053 2.21 c NEW SOLUTION FOUND: 1053 @ 2.199 2.22 c Sol. found (all assignments made)... 2.22 o 1037 2.22 c NEW SOLUTION FOUND: 1037 @ 2.207 2.22 c Sol. found (all assignments made)... 2.22 o 1035 2.22 c NEW SOLUTION FOUND: 1035 @ 2.208 2.22 c Sol. found (all assignments made)... 2.22 o 1013 2.22 c NEW SOLUTION FOUND: 1013 @ 2.209 2.22 c Sol. found (all assignments made)... 2.22 o 1005 2.22 c NEW SOLUTION FOUND: 1005 @ 2.209 2.22 c Sol. found (all assignments made)... 2.22 o 1003 2.22 c NEW SOLUTION FOUND: 1003 @ 2.21 2.22 c Sol. found (all assignments made)... 2.22 o 997 2.22 c NEW SOLUTION FOUND: 997 @ 2.21 2.22 c Sol. found (all assignments made)... 2.22 o 995 2.22 c NEW SOLUTION FOUND: 995 @ 2.211 2.22 c Sol. found (all assignments made)... 2.22 o 955 2.22 c NEW SOLUTION FOUND: 955 @ 2.212 2.22 c Sol. found (all assignments made)... 2.22 o 953 2.22 c NEW SOLUTION FOUND: 953 @ 2.212 2.22 c Sol. found (all assignments made)... 2.22 o 947 2.22 c NEW SOLUTION FOUND: 947 @ 2.213 2.22 c Sol. found (all assignments made)... 2.22 o 939 2.22 c NEW SOLUTION FOUND: 939 @ 2.213 2.22 c Sol. found (all assignments made)... 2.22 o 937 2.22 c NEW SOLUTION FOUND: 937 @ 2.214 2.22 c Sol. found (all assignments made)... 2.22 o 923 2.22 c NEW SOLUTION FOUND: 923 @ 2.214 2.22 c Sol. found (all assignments made)... 2.22 o 921 2.22 c NEW SOLUTION FOUND: 921 @ 2.214 2.22 c Sol. found (all assignments made)... 2.22 o 915 2.22 c NEW SOLUTION FOUND: 915 @ 2.214 2.23 c Sol. found (all assignments made)... 2.23 o 907 2.23 c NEW SOLUTION FOUND: 907 @ 2.215 2.23 c Sol. found (all assignments made)... 2.23 o 905 2.23 c NEW SOLUTION FOUND: 905 @ 2.215 2.23 c Sol. found (all assignments made)... 2.23 o 901 2.23 c NEW SOLUTION FOUND: 901 @ 2.216 2.23 c Sol. found (all assignments made)... 2.23 o 899 2.23 c NEW SOLUTION FOUND: 899 @ 2.216 2.25 c Sol. found (all assignments made)... 2.25 o 895 2.25 c NEW SOLUTION FOUND: 895 @ 2.239 2.25 c Sol. found (all assignments made)... 2.25 o 889 2.25 c NEW SOLUTION FOUND: 889 @ 2.24 2.25 c Sol. found (all assignments made)... 2.25 o 887 2.25 c NEW SOLUTION FOUND: 887 @ 2.24 2.25 c Sol. found (all assignments made)... 2.25 o 885 2.25 c NEW SOLUTION FOUND: 885 @ 2.244 2.29 c Sol. found (all assignments made)... 2.29 o 883 2.29 c NEW SOLUTION FOUND: 883 @ 2.276 2.61 c Restart #10 #Var: 172 LB: 0 @ 2.596 2.66 c Sol. found (all assignments made)... 2.66 o 853 2.66 c NEW SOLUTION FOUND: 853 @ 2.65 2.68 c Sol. found (all assignments made)... 2.68 o 845 2.68 c NEW SOLUTION FOUND: 845 @ 2.669 2.68 c Sol. found (all assignments made)... 2.68 o 841 2.68 c NEW SOLUTION FOUND: 841 @ 2.669 2.68 c Sol. found (all assignments made)... 2.68 o 825 2.68 c NEW SOLUTION FOUND: 825 @ 2.67 2.70 c Sol. found (all assignments made)... 2.70 o 821 2.70 c NEW SOLUTION FOUND: 821 @ 2.691 3.10 c Restart #11 #Var: 172 LB: 0 @ 3.092 3.69 c Restart #12 #Var: 172 LB: 0 @ 3.678 4.32 c Sol. found (all assignments made)... 4.32 o 819 4.32 c NEW SOLUTION FOUND: 819 @ 4.314 4.41 c Sol. found (all assignments made)... 4.41 o 817 4.41 c NEW SOLUTION FOUND: 817 @ 4.4 4.52 c Sol. found (all assignments made)... 4.52 o 813 4.52 c NEW SOLUTION FOUND: 813 @ 4.506 4.53 c Sol. found (all assignments made)... 4.53 o 811 4.53 c NEW SOLUTION FOUND: 811 @ 4.521 4.55 c Sol. found (all assignments made)... 4.55 o 801 4.55 c NEW SOLUTION FOUND: 801 @ 4.537 4.58 c Sol. found (all assignments made)... 4.58 o 797 4.58 c NEW SOLUTION FOUND: 797 @ 4.566 4.59 c Sol. found (all assignments made)... 4.59 o 795 4.59 c NEW SOLUTION FOUND: 795 @ 4.577 4.65 c Sol. found (all assignments made)... 4.65 o 793 4.65 c NEW SOLUTION FOUND: 793 @ 4.636 4.67 c Sol. found (all assignments made)... 4.67 o 787 4.67 c NEW SOLUTION FOUND: 787 @ 4.659 4.86 c Sol. found (all assignments made)... 4.86 o 783 4.86 c NEW SOLUTION FOUND: 783 @ 4.844 5.30 c Sol. found (all assignments made)... 5.30 o 781 5.30 c NEW SOLUTION FOUND: 781 @ 5.29 5.31 c Sol. found (all assignments made)... 5.31 o 779 5.31 c NEW SOLUTION FOUND: 779 @ 5.298 5.32 c Sol. found (all assignments made)... 5.32 o 773 5.32 c NEW SOLUTION FOUND: 773 @ 5.309 5.34 c Sol. found (all assignments made)... 5.34 o 765 5.34 c NEW SOLUTION FOUND: 765 @ 5.33 5.43 c Sol. found (all assignments made)... 5.43 o 763 5.43 c NEW SOLUTION FOUND: 763 @ 5.424 5.58 c Sol. found (all assignments made)... 5.58 o 761 5.58 c NEW SOLUTION FOUND: 761 @ 5.57 5.65 c Sol. found (all assignments made)... 5.65 o 759 5.65 c NEW SOLUTION FOUND: 759 @ 5.639 6.83 c Restart #13 #Var: 172 LB: 0 @ 6.821 8.03 c Restart #14 #Var: 172 LB: 0 @ 8.021 9.63 c Restart #15 #Var: 172 LB: 0 @ 9.621 9.99 c Sol. found (all assignments made)... 9.99 o 757 9.99 c NEW SOLUTION FOUND: 757 @ 9.975 9.99 c Sol. found (all assignments made)... 9.99 o 749 9.99 c NEW SOLUTION FOUND: 749 @ 9.981 10.01 c Sol. found (all assignments made)... 10.01 o 747 10.01 c NEW SOLUTION FOUND: 747 @ 9.992 10.47 c Sol. found (all assignments made)... 10.47 o 745 10.47 c NEW SOLUTION FOUND: 745 @ 10.46 11.48 c Sol. found (all assignments made)... 11.48 o 741 11.48 c NEW SOLUTION FOUND: 741 @ 11.467 11.51 c Sol. found (all assignments made)... 11.51 o 739 11.51 c NEW SOLUTION FOUND: 739 @ 11.494 12.91 c Sol. found (all assignments made)... 12.91 o 737 12.91 c NEW SOLUTION FOUND: 737 @ 12.893 12.92 c Sol. found (all assignments made)... 12.92 o 735 12.92 c NEW SOLUTION FOUND: 735 @ 12.906 13.11 c Sol. found (all assignments made)... 13.11 o 733 13.11 c NEW SOLUTION FOUND: 733 @ 13.095 13.19 c Sol. found (all assignments made)... 13.19 o 731 13.19 c NEW SOLUTION FOUND: 731 @ 13.171 13.77 c Sol. found (all assignments made)... 13.77 o 721 13.77 c NEW SOLUTION FOUND: 721 @ 13.754 13.78 c Sol. found (all assignments made)... 13.78 o 719 13.78 c NEW SOLUTION FOUND: 719 @ 13.764 13.81 c Sol. found (all assignments made)... 13.81 o 717 13.81 c NEW SOLUTION FOUND: 717 @ 13.789 13.89 c Sol. found (all assignments made)... 13.89 o 715 13.89 c NEW SOLUTION FOUND: 715 @ 13.869 13.95 c Sol. found (all assignments made)... 13.95 o 713 13.95 c NEW SOLUTION FOUND: 713 @ 13.931 13.99 c Sol. found (all assignments made)... 13.99 o 711 13.99 c NEW SOLUTION FOUND: 711 @ 13.969 14.04 c Sol. found (all assignments made)... 14.04 o 709 14.04 c NEW SOLUTION FOUND: 709 @ 14.024 16.52 c Restart #16 #Var: 172 LB: 0 @ 16.498 18.39 c Restart #17 #Var: 172 LB: 0 @ 18.37 18.55 c Sol. found (all assignments made)... 18.55 o 662 18.55 c NEW SOLUTION FOUND: 662 @ 18.532 18.55 c Sol. found (all assignments made)... 18.55 o 658 18.55 c NEW SOLUTION FOUND: 658 @ 18.532 18.56 c Sol. found (all assignments made)... 18.56 o 656 18.56 c NEW SOLUTION FOUND: 656 @ 18.543 18.56 c Sol. found (all assignments made)... 18.56 o 654 18.56 c NEW SOLUTION FOUND: 654 @ 18.545 18.57 c Sol. found (all assignments made)... 18.57 o 650 18.57 c NEW SOLUTION FOUND: 650 @ 18.554 18.58 c Sol. found (all assignments made)... 18.58 o 646 18.58 c NEW SOLUTION FOUND: 646 @ 18.563 18.59 c Sol. found (all assignments made)... 18.59 o 642 18.59 c NEW SOLUTION FOUND: 642 @ 18.57 18.80 c Sol. found (all assignments made)... 18.80 o 638 18.80 c NEW SOLUTION FOUND: 638 @ 18.776 18.89 c Sol. found (all assignments made)... 18.89 o 636 18.89 c NEW SOLUTION FOUND: 636 @ 18.869 18.99 c Sol. found (all assignments made)... 18.99 o 630 18.99 c NEW SOLUTION FOUND: 630 @ 18.973 19.01 c Sol. found (all assignments made)... 19.01 o 622 19.01 c NEW SOLUTION FOUND: 622 @ 18.991 19.02 c Sol. found (all assignments made)... 19.02 o 618 19.02 c NEW SOLUTION FOUND: 618 @ 18.997 19.04 c Sol. found (all assignments made)... 19.04 o 614 19.04 c NEW SOLUTION FOUND: 614 @ 19.024 19.23 c Sol. found (all assignments made)... 19.23 o 610 19.23 c NEW SOLUTION FOUND: 610 @ 19.211 19.27 c Sol. found (all assignments made)... 19.27 o 606 19.27 c NEW SOLUTION FOUND: 606 @ 19.25 19.35 c Sol. found (all assignments made)... 19.35 o 604 19.35 c NEW SOLUTION FOUND: 604 @ 19.329 22.08 c Restart #18 #Var: 172 LB: 0 @ 22.058 23.74 c Restart #19 #Var: 172 LB: 0 @ 23.714 24.53 c Sol. found (all assignments made)... 24.53 o 572 24.53 c NEW SOLUTION FOUND: 572 @ 24.506 24.62 c Sol. found (all assignments made)... 24.62 o 556 24.62 c NEW SOLUTION FOUND: 556 @ 24.601 24.91 c Sol. found (all assignments made)... 24.91 o 554 24.91 c NEW SOLUTION FOUND: 554 @ 24.884 25.17 c Sol. found (all assignments made)... 25.17 o 548 25.17 c NEW SOLUTION FOUND: 548 @ 25.149 25.19 c Sol. found (all assignments made)... 25.19 o 532 25.19 c NEW SOLUTION FOUND: 532 @ 25.169 25.22 c Sol. found (all assignments made)... 25.22 o 524 25.22 c NEW SOLUTION FOUND: 524 @ 25.202 25.83 c Sol. found (all assignments made)... 25.83 o 500 25.83 c NEW SOLUTION FOUND: 500 @ 25.809 25.85 c Sol. found (all assignments made)... 25.85 o 492 25.85 c NEW SOLUTION FOUND: 492 @ 25.829 25.92 c Sol. found (all assignments made)... 25.92 o 490 25.92 c NEW SOLUTION FOUND: 490 @ 25.897 27.25 c Sol. found (all assignments made)... 27.25 o 488 27.25 c NEW SOLUTION FOUND: 488 @ 27.222 27.87 c Sol. found (all assignments made)... 27.87 o 484 27.87 c NEW SOLUTION FOUND: 484 @ 27.849 28.18 c Sol. found (all assignments made)... 28.18 o 480 28.18 c NEW SOLUTION FOUND: 480 @ 28.158 28.72 c Sol. found (all assignments made)... 28.72 o 478 28.72 c NEW SOLUTION FOUND: 478 @ 28.699 31.17 c Restart #20 #Var: 172 LB: 0 @ 31.146 34.47 c Restart #21 #Var: 172 LB: 0 @ 34.449 39.12 c Restart #22 #Var: 172 LB: 0 @ 39.097 43.09 c Restart #23 #Var: 172 LB: 0 @ 43.068 47.28 c Sol. found (all assignments made)... 47.28 c Sol. found (all assignments made)... 47.28 o 476 47.28 c NEW SOLUTION FOUND: 476 @ 47.252 47.41 c Sol. found (all assignments made)... 47.41 o 474 47.41 c NEW SOLUTION FOUND: 474 @ 47.38 47.45 c Sol. found (all assignments made)... 47.45 o 472 47.45 c NEW SOLUTION FOUND: 472 @ 47.42 47.90 c Sol. found (all assignments made)... 47.90 o 468 47.90 c NEW SOLUTION FOUND: 468 @ 47.875 48.37 c Sol. found (all assignments made)... 48.37 o 466 48.37 c NEW SOLUTION FOUND: 466 @ 48.344 48.38 c Sol. found (all assignments made)... 48.38 o 464 48.38 c NEW SOLUTION FOUND: 464 @ 48.348 48.58 c Sol. found (all assignments made)... 48.58 o 462 48.58 c NEW SOLUTION FOUND: 462 @ 48.551 48.58 c Sol. found (all assignments made)... 48.58 o 460 48.58 c NEW SOLUTION FOUND: 460 @ 48.556 48.61 c Sol. found (all assignments made)... 48.61 o 458 48.61 c NEW SOLUTION FOUND: 458 @ 48.577 48.61 c Sol. found (all assignments made)... 48.61 o 456 48.61 c NEW SOLUTION FOUND: 456 @ 48.586 50.71 c Restart #24 #Var: 172 LB: 0 @ 50.68 53.20 c Sol. found (all assignments made)... 53.20 o 430 53.20 c NEW SOLUTION FOUND: 430 @ 53.174 53.21 c Sol. found (all assignments made)... 53.21 o 426 53.21 c NEW SOLUTION FOUND: 426 @ 53.181 53.23 c Sol. found (all assignments made)... 53.23 o 424 53.23 c NEW SOLUTION FOUND: 424 @ 53.198 53.24 c Sol. found (all assignments made)... 53.24 o 418 53.24 c NEW SOLUTION FOUND: 418 @ 53.211 53.24 c Sol. found (all assignments made)... 53.24 o 416 53.24 c NEW SOLUTION FOUND: 416 @ 53.213 55.71 c Sol. found (all assignments made)... 55.71 o 412 55.71 c NEW SOLUTION FOUND: 412 @ 55.685 55.72 c Sol. found (all assignments made)... 55.72 o 404 55.72 c NEW SOLUTION FOUND: 404 @ 55.686 55.73 c Sol. found (all assignments made)... 55.73 o 402 55.73 c NEW SOLUTION FOUND: 402 @ 55.696 55.88 c Sol. found (all assignments made)... 55.88 o 396 55.88 c NEW SOLUTION FOUND: 396 @ 55.85 55.89 c Sol. found (all assignments made)... 55.89 o 394 55.89 c NEW SOLUTION FOUND: 394 @ 55.863 57.21 c Sol. found (all assignments made)... 57.21 o 388 57.21 c NEW SOLUTION FOUND: 388 @ 57.18 57.22 c Sol. found (all assignments made)... 57.22 o 384 57.22 c NEW SOLUTION FOUND: 384 @ 57.194 57.26 c Sol. found (all assignments made)... 57.26 o 380 57.26 c NEW SOLUTION FOUND: 380 @ 57.231 57.32 c Sol. found (all assignments made)... 57.32 o 378 57.32 c NEW SOLUTION FOUND: 378 @ 57.289 57.37 c Sol. found (all assignments made)... 57.37 o 374 57.37 c NEW SOLUTION FOUND: 374 @ 57.338 57.40 c Sol. found (all assignments made)... 57.40 o 372 57.40 c NEW SOLUTION FOUND: 372 @ 57.37 57.49 c Sol. found (all assignments made)... 57.49 o 370 57.49 c NEW SOLUTION FOUND: 370 @ 57.456 57.65 c Sol. found (all assignments made)... 57.65 o 368 57.65 c NEW SOLUTION FOUND: 368 @ 57.618 58.09 c Sol. found (all assignments made)... 58.09 o 364 58.09 c NEW SOLUTION FOUND: 364 @ 58.061 58.17 c Sol. found (all assignments made)... 58.17 o 348 58.17 c NEW SOLUTION FOUND: 348 @ 58.138 58.23 c Sol. found (all assignments made)... 58.23 o 346 58.23 c NEW SOLUTION FOUND: 346 @ 58.2 58.28 c Sol. found (all assignments made)... 58.28 o 340 58.28 c NEW SOLUTION FOUND: 340 @ 58.249 58.49 c Sol. found (all assignments made)... 58.49 o 338 58.49 c NEW SOLUTION FOUND: 338 @ 58.463 58.79 c Sol. found (all assignments made)... 58.79 o 336 58.79 c NEW SOLUTION FOUND: 336 @ 58.757 58.99 c Sol. found (all assignments made)... 58.99 o 334 58.99 c NEW SOLUTION FOUND: 334 @ 58.958 59.10 c Sol. found (all assignments made)... 59.10 o 332 59.10 c NEW SOLUTION FOUND: 332 @ 59.071 59.33 c Sol. found (all assignments made)... 59.33 o 330 59.33 c NEW SOLUTION FOUND: 330 @ 59.298 65.55 c Sol. found (all assignments made)... 65.55 o 328 65.55 c NEW SOLUTION FOUND: 328 @ 65.521 65.78 c Sol. found (all assignments made)... 65.78 o 326 65.78 c NEW SOLUTION FOUND: 326 @ 65.752 66.17 c Sol. found (all assignments made)... 66.17 o 324 66.17 c NEW SOLUTION FOUND: 324 @ 66.142 78.89 c Restart #25 #Var: 172 LB: 0 @ 78.858 84.11 c Restart #26 #Var: 172 LB: 0 @ 84.071 87.99 c Restart #27 #Var: 172 LB: 0 @ 87.949 93.36 c Sol. found (all assignments made)... 93.36 o 322 93.36 c NEW SOLUTION FOUND: 322 @ 93.318 93.46 c Sol. found (all assignments made)... 93.46 o 320 93.46 c NEW SOLUTION FOUND: 320 @ 93.424 97.02 c Sol. found (all assignments made)... 97.02 o 318 97.02 c NEW SOLUTION FOUND: 318 @ 96.977 111.32 c Restart #28 #Var: 172 LB: 0 @ 111.28 118.10 c Restart #29 #Var: 172 LB: 0 @ 118.05 140.65 c Restart #30 #Var: 172 LB: 0 @ 140.6 158.26 c Restart #31 #Var: 172 LB: 0 @ 158.2 191.17 c CHANGE to MIS mode... UB: 318 MIS: 0 LPR: 0 (0.036) Diff: nan 191.17 c Restart #0 #Var: 172 LB: 0 @ 191.11 191.93 c Restart #1 #Var: 172 LB: 0 @ 191.87 194.07 c Restart #2 #Var: 172 LB: 0 @ 194 198.63 c Restart #3 #Var: 172 LB: 0 @ 198.56 201.84 c Restart #4 #Var: 172 LB: 0 @ 201.77 206.49 c Restart #5 #Var: 172 LB: 0 @ 206.42 212.80 c Restart #6 #Var: 172 LB: 0 @ 212.73 221.26 c Restart #7 #Var: 172 LB: 0 @ 221.19 226.62 c Restart #8 #Var: 172 LB: 0 @ 226.55 235.96 c Restart #9 #Var: 172 LB: 0 @ 235.89 247.46 c Restart #10 #Var: 172 LB: 0 @ 247.39 256.45 c Restart #11 #Var: 172 LB: 0 @ 256.37 267.34 c Restart #12 #Var: 172 LB: 0 @ 267.25 277.17 c Restart #13 #Var: 172 LB: 0 @ 277.08 289.99 c Restart #14 #Var: 172 LB: 0 @ 289.91 307.58 c Restart #15 #Var: 172 LB: 0 @ 307.49 322.14 c Restart #16 #Var: 172 LB: 0 @ 322.05 335.44 c Restart #17 #Var: 172 LB: 0 @ 335.35 341.41 c Restart #18 #Var: 172 LB: 0 @ 341.31 351.62 c Restart #19 #Var: 172 LB: 0 @ 351.52 359.63 c Restart #20 #Var: 172 LB: 0 @ 359.53 381.17 c Restart #21 #Var: 172 LB: 0 @ 381.07 395.78 c Restart #22 #Var: 172 LB: 0 @ 395.67 413.67 c Restart #23 #Var: 172 LB: 0 @ 413.56 434.73 c Restart #24 #Var: 172 LB: 0 @ 434.61 450.13 c Sol. found (all assignments made)... 450.14 c Sol. found (all assignments made)... 450.24 c Sol. found (all assignments made)... 450.26 c Sol. found (all assignments made)... 450.26 o 314 450.26 c NEW SOLUTION FOUND: 314 @ 450.14 450.32 c Sol. found (all assignments made)... 450.32 o 312 450.32 c NEW SOLUTION FOUND: 312 @ 450.2 450.34 c Sol. found (all assignments made)... 450.34 o 310 450.34 c NEW SOLUTION FOUND: 310 @ 450.21 453.17 c Sol. found (all assignments made)... 453.18 o 308 453.18 c NEW SOLUTION FOUND: 308 @ 453.05 472.56 c Restart #25 #Var: 172 LB: 0 @ 472.43 487.38 c Restart #26 #Var: 172 LB: 0 @ 487.25 506.99 c Restart #27 #Var: 172 LB: 0 @ 506.85 529.37 c Restart #28 #Var: 172 LB: 0 @ 529.23 548.87 c Restart #29 #Var: 172 LB: 0 @ 548.72 565.38 c Sol. found (all assignments made)... 565.38 o 296 565.38 c NEW SOLUTION FOUND: 296 @ 565.22 566.84 c Sol. found (all assignments made)... 566.84 o 292 566.84 c NEW SOLUTION FOUND: 292 @ 566.69 566.99 c Sol. found (all assignments made)... 566.99 o 290 566.99 c NEW SOLUTION FOUND: 290 @ 566.84 567.28 c Sol. found (all assignments made)... 567.28 o 288 567.28 c NEW SOLUTION FOUND: 288 @ 567.13 572.65 c Sol. found (all assignments made)... 572.65 o 286 572.65 c NEW SOLUTION FOUND: 286 @ 572.5 576.05 c Sol. found (all assignments made)... 576.05 o 284 576.05 c NEW SOLUTION FOUND: 284 @ 575.9 578.74 c Sol. found (all assignments made)... 578.74 o 282 578.74 c NEW SOLUTION FOUND: 282 @ 578.59 605.79 c Restart #30 #Var: 172 LB: 0 @ 605.63 633.48 c Restart #31 #Var: 172 LB: 0 @ 633.31 670.74 c Restart #32 #Var: 172 LB: 0 @ 670.56 696.15 c Restart #33 #Var: 172 LB: 0 @ 695.96 718.39 c Restart #34 #Var: 172 LB: 0 @ 718.2 732.62 c Restart #35 #Var: 172 LB: 0 @ 732.43 756.65 c Restart #36 #Var: 172 LB: 0 @ 756.46 783.77 c Restart #37 #Var: 172 LB: 0 @ 783.57 799.36 c Sol. found (all assignments made)... 799.36 o 281 799.36 c NEW SOLUTION FOUND: 281 @ 799.15 804.28 c Sol. found (all assignments made)... 804.28 o 279 804.28 c NEW SOLUTION FOUND: 279 @ 804.07 807.62 c Sol. found (all assignments made)... 807.62 o 277 807.62 c NEW SOLUTION FOUND: 277 @ 807.41 808.31 c Sol. found (all assignments made)... 808.36 c Sol. found (all assignments made)... 808.36 o 275 808.36 c NEW SOLUTION FOUND: 275 @ 808.15 831.98 c Sol. found (all assignments made)... 831.98 o 273 831.98 c NEW SOLUTION FOUND: 273 @ 831.76 834.65 c Sol. found (all assignments made)... 834.65 o 271 834.65 c NEW SOLUTION FOUND: 271 @ 834.43 838.37 c Sol. found (all assignments made)... 838.37 o 267 838.37 c NEW SOLUTION FOUND: 267 @ 838.15 839.44 c Sol. found (all assignments made)... 839.45 o 263 839.45 c NEW SOLUTION FOUND: 263 @ 839.23 839.72 c Sol. found (all assignments made)... 839.72 o 261 839.72 c NEW SOLUTION FOUND: 261 @ 839.5 841.13 c Sol. found (all assignments made)... 841.13 o 259 841.13 c NEW SOLUTION FOUND: 259 @ 840.91 857.65 c Sol. found (all assignments made)... 857.67 c Sol. found (all assignments made)... 857.67 o 257 857.67 c NEW SOLUTION FOUND: 257 @ 857.45 862.00 c Sol. found (all assignments made)... 862.00 o 255 862.00 c NEW SOLUTION FOUND: 255 @ 861.77 867.03 c Sol. found (all assignments made)... 867.03 o 253 867.03 c NEW SOLUTION FOUND: 253 @ 866.81 867.72 c Sol. found (all assignments made)... 867.72 o 251 867.72 c NEW SOLUTION FOUND: 251 @ 867.49 870.24 c Sol. found (all assignments made)... 870.24 o 249 870.24 c NEW SOLUTION FOUND: 249 @ 870.01 871.86 c Sol. found (all assignments made)... 871.86 o 247 871.86 c NEW SOLUTION FOUND: 247 @ 871.63 872.13 c Sol. found (all assignments made)... 872.13 o 245 872.13 c NEW SOLUTION FOUND: 245 @ 871.9 873.54 c Sol. found (all assignments made)... 873.54 o 243 873.54 c NEW SOLUTION FOUND: 243 @ 873.31 902.76 c Restart #38 #Var: 172 LB: 0 @ 902.53 956.05 c Restart #39 #Var: 172 LB: 0 @ 955.8 964.45 c Sol. found (all assignments made)... 964.45 o 241 964.45 c NEW SOLUTION FOUND: 241 @ 964.2 1003.75 c Restart #40 #Var: 172 LB: 0 @ 1003.5 1032.39 c Restart #41 #Var: 172 LB: 0 @ 1032.1 1057.62 c Sol. found (all assignments made)... 1057.62 o 239 1057.62 c NEW SOLUTION FOUND: 239 @ 1057.3 1059.74 c Sol. found (all assignments made)... 1059.74 o 237 1059.74 c NEW SOLUTION FOUND: 237 @ 1059.5 1073.82 c Sol. found (all assignments made)... 1073.82 o 235 1073.82 c NEW SOLUTION FOUND: 235 @ 1073.5 1094.50 c Restart #42 #Var: 172 LB: 0 @ 1094.2 1190.65 c Restart #43 #Var: 172 LB: 0 @ 1190.3 1249.32 c Restart #44 #Var: 172 LB: 0 @ 1249 1285.51 c Restart #45 #Var: 172 LB: 0 @ 1285.2 1328.06 c Restart #46 #Var: 172 LB: 0 @ 1327.6 1372.96 c Restart #47 #Var: 172 LB: 0 @ 1372.5 1444.52 c Restart #48 #Var: 172 LB: 0 @ 1444.1 1478.00 c Restart #49 #Var: 172 LB: 0 @ 1477.5 1639.60 c Restart #50 #Var: 172 LB: 0 @ 1639.1 1649.29 c Sol. found (all assignments made)... 1649.29 o 234 1649.29 c NEW SOLUTION FOUND: 234 @ 1648.8 1649.32 c Sol. found (all assignments made)... 1649.32 o 212 1649.32 c NEW SOLUTION FOUND: 212 @ 1648.8 1649.32 c Sol. found (all assignments made)... 1649.32 o 210 1649.32 c NEW SOLUTION FOUND: 210 @ 1648.8 1665.39 c Sol. found (all assignments made)... 1665.39 o 208 1665.39 c NEW SOLUTION FOUND: 208 @ 1664.9 1735.73 c Restart #51 #Var: 172 LB: 0 @ 1735.2 1771.67 c Sol. found (all assignments made)... 1771.84 c Sol. found (all assignments made)... 1771.86 c Sol. found (all assignments made)... 1787.84 c Sol. found (all assignments made)... 1787.84 o 206 1787.84 c NEW SOLUTION FOUND: 206 @ 1787.3 1794.65 c Sol. found (all assignments made)... 1794.65 o 202 1794.65 c NEW SOLUTION FOUND: 202 @ 1794.1 1798.76 c Sol. found (all assignments made)... 1798.76 o 194 1798.76 c NEW SOLUTION FOUND: 194 @ 1798.2 1800.21 c Sol. found (all assignments made)... 1800.21 o 192 1800.21 c NEW SOLUTION FOUND: 192 @ 1799.7 1800.54 s SATISFIABLE 1800.54 c Cost: 192 1800.54 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 1800.54 v -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 1800.54 v -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 1800.54 v -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.54 v -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 x119 -x120 -x121 x122 -x123 -x124 -x125 x126 x128 x129 -x130 x131 x132 1800.54 v -x133 x134 x135 -x136 -x137 -x138 x139 x140 x141 -x142 x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 -x153 x154 1800.54 v -x155 x156 -x157 -x158 x159 -x160 x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 x127 1800.54 c Exit Code: 10 1800.54 c Total time: 1800 s
OK 192
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node25/watcher-50323-1154104788 -o ROOT/results/node25/solver-50323-1154104788 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/50323-1154104788/instance-50323-1154104788.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 0.98 0.99 3/64 31568 /proc/meminfo: memFree=1568392/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=4932 CPUtime=0 /proc/31568/stat : 31568 (bsolo) D 31566 31568 31519 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 157353758 5050368 330 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/31568/statm: 1233 330 226 55 0 125 0 [startup+10.0027 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1499216/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=73636 CPUtime=9.98 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 17662 0 0 0 985 13 0 0 25 0 1 0 157353758 75403264 17576 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 18409 17576 297 55 0 17301 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 73636 [startup+20.0095 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1469072/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=103760 CPUtime=19.98 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 25180 0 0 0 1978 20 0 0 25 0 1 0 157353758 106250240 25094 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 25940 25094 297 55 0 24832 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 103760 [startup+30.0154 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1439376/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=133484 CPUtime=29.98 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 32581 0 0 0 2970 28 0 0 25 0 1 0 157353758 136687616 32495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 33371 32495 297 55 0 32263 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 133484 [startup+40.0213 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1422096/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=150828 CPUtime=39.99 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 36900 0 0 0 3966 33 0 0 25 0 1 0 157353758 154447872 36813 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 37707 36813 297 55 0 36599 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 150828 [startup+50.0272 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1401296/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=171700 CPUtime=49.99 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 42083 0 0 0 4962 37 0 0 25 0 1 0 157353758 175820800 41995 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4200059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 42925 41995 297 55 0 41817 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 171700 [startup+60.0331 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1384400/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=188612 CPUtime=59.99 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 46296 0 0 0 5958 41 0 0 25 0 1 0 157353758 193138688 46207 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 47153 46207 297 55 0 46045 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 188612 [startup+70.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1378960/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=194196 CPUtime=69.99 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 47660 0 0 0 6956 43 0 0 25 0 1 0 157353758 198856704 47569 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 48549 47569 297 55 0 47441 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 194196 [startup+80.0469 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1372880/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=200288 CPUtime=80 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 49186 0 0 0 7954 46 0 0 25 0 1 0 157353758 205094912 49094 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 50072 49094 297 55 0 48964 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 200288 [startup+90.0528 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1357136/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=215888 CPUtime=90.01 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 53103 0 0 0 8950 51 0 0 25 0 1 0 157353758 221069312 53009 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 53972 53009 297 55 0 52864 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 215888 [startup+100.059 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1351248/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=221880 CPUtime=100.01 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 54576 0 0 0 9948 53 0 0 25 0 1 0 157353758 227205120 54481 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 55470 54481 297 55 0 54362 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 221880 [startup+110.065 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1345872/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=227340 CPUtime=110.01 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 55926 0 0 0 10946 55 0 0 25 0 1 0 157353758 232796160 55829 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 56835 55829 297 55 0 55727 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 227340 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1336848/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=236408 CPUtime=120.02 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 58180 0 0 0 11943 59 0 0 25 0 1 0 157353758 242081792 58078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 59102 58078 297 55 0 57994 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 236408 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1333840/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=239620 CPUtime=130.02 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 58930 0 0 0 12942 60 0 0 25 0 1 0 157353758 245370880 58825 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 59905 58825 297 55 0 58797 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 239620 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1330192/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=243332 CPUtime=140.02 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 59837 0 0 0 13941 61 0 0 25 0 1 0 157353758 249171968 59730 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 60833 59730 297 55 0 59725 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 243332 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1325456/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=248016 CPUtime=150.03 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 61028 0 0 0 14940 63 0 0 25 0 1 0 157353758 253968384 60920 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 62004 60920 297 55 0 60896 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 248016 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1320464/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=253092 CPUtime=160.03 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 62269 0 0 0 15938 65 0 0 25 0 1 0 157353758 259166208 62160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 63273 62160 297 55 0 62165 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 253092 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1318800/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=254676 CPUtime=170.03 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 62685 0 0 0 16937 66 0 0 25 0 1 0 157353758 260788224 62576 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 63669 62576 297 55 0 62561 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 254676 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1316112/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=257316 CPUtime=180.03 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 63352 0 0 0 17936 67 0 0 25 0 1 0 157353758 263491584 63242 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 64329 63242 297 55 0 63221 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 257316 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1313040/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=260484 CPUtime=190.04 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 64125 0 0 0 18936 68 0 0 25 0 1 0 157353758 266735616 64015 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 65121 64015 297 55 0 64013 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 260484 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 /proc/meminfo: memFree=1303120/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=271396 CPUtime=200.04 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 66726 0 0 0 19934 70 0 0 25 0 1 0 157353758 277909504 66611 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 67849 66611 420 55 0 66741 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 271396 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31568 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 708544 [startup+1771.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=867472/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=709600 CPUtime=1770.52 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177035 0 0 0 176805 247 0 0 25 0 1 0 157353758 726630400 175285 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 177400 175285 420 55 0 176292 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 709600 [startup+1781.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864912/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712108 CPUtime=1780.52 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177676 0 0 0 177804 248 0 0 25 0 1 0 157353758 729198592 175926 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178027 175926 420 55 0 176919 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 712108 [startup+1782.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864784/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712240 CPUtime=1781.53 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177706 0 0 0 177905 248 0 0 25 0 1 0 157353758 729333760 175956 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178060 175956 420 55 0 176952 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 712240 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864656/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712372 CPUtime=1782.53 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177733 0 0 0 178005 248 0 0 25 0 1 0 157353758 729468928 175983 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178093 175983 420 55 0 176985 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 712372 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864592/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712504 CPUtime=1783.53 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177763 0 0 0 178105 248 0 0 25 0 1 0 157353758 729604096 176013 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178126 176013 420 55 0 177018 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 712504 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864400/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712636 CPUtime=1784.54 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177805 0 0 0 178206 248 0 0 25 0 1 0 157353758 729739264 176055 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178159 176055 420 55 0 177051 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 712636 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864272/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712768 CPUtime=1785.54 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177835 0 0 0 178306 248 0 0 25 0 1 0 157353758 729874432 176085 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178192 176085 420 55 0 177084 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 712768 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=864208/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=712900 CPUtime=1786.55 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177857 0 0 0 178407 248 0 0 25 0 1 0 157353758 730009600 176107 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178225 176107 420 55 0 177117 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 712900 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863888/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713228 CPUtime=1787.55 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177938 0 0 0 178507 248 0 0 25 0 1 0 157353758 730345472 176177 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178307 176177 420 55 0 177199 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 713228 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863888/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713360 CPUtime=1788.57 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177946 0 0 0 178608 249 0 0 25 0 1 0 157353758 730480640 176185 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178340 176185 420 55 0 177232 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 713360 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863696/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713520 CPUtime=1789.57 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177991 0 0 0 178708 249 0 0 25 0 1 0 157353758 730644480 176227 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178380 176227 420 55 0 177272 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 713520 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863696/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713520 CPUtime=1790.57 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177999 0 0 0 178808 249 0 0 25 0 1 0 157353758 730644480 176235 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178380 176235 420 55 0 177272 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 713520 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863568/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713652 CPUtime=1791.58 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178027 0 0 0 178909 249 0 0 25 0 1 0 157353758 730779648 176263 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178413 176263 420 55 0 177305 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 713652 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863504/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713784 CPUtime=1792.58 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178047 0 0 0 179009 249 0 0 25 0 1 0 157353758 730914816 176283 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178446 176283 420 55 0 177338 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 713784 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863376/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713784 CPUtime=1793.59 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178067 0 0 0 179110 249 0 0 25 0 1 0 157353758 730914816 176303 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178446 176303 420 55 0 177338 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 713784 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863312/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=713916 CPUtime=1794.59 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178087 0 0 0 179210 249 0 0 25 0 1 0 157353758 731049984 176323 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178479 176323 420 55 0 177371 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 713916 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863184/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=714048 CPUtime=1795.6 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178120 0 0 0 179311 249 0 0 25 0 1 0 157353758 731185152 176356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178512 176356 420 55 0 177404 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 714048 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=863120/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=714048 CPUtime=1796.6 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178136 0 0 0 179411 249 0 0 25 0 1 0 157353758 731185152 176372 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178512 176372 420 55 0 177404 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 714048 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=862928/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=714312 CPUtime=1797.61 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178180 0 0 0 179512 249 0 0 25 0 1 0 157353758 731455488 176416 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178578 176416 420 55 0 177470 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 714312 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=862864/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=714312 CPUtime=1798.61 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178200 0 0 0 179612 249 0 0 25 0 1 0 157353758 731455488 176436 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178578 176436 420 55 0 177470 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 714312 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31766 /proc/meminfo: memFree=862736/2055920 swapFree=4183100/4192956 [pid=31568] ppid=31566 vsize=714444 CPUtime=1799.61 /proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178226 0 0 0 179712 249 0 0 25 0 1 0 157353758 731590656 176462 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31568/statm: 178611 176462 420 55 0 177503 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 714444 Child status: 10 Real time (s): 1800.66 CPU time (s): 1800.13 CPU user time (s): 1797.51 CPU system time (s): 2.6106 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (Kb): 714444 The end
Begin job on node25 on Fri Jul 28 16:39:48 UTC 2006 FILE ID= 50323-1154104788 PBS_JOBID= 886254 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/50323-1154104788/instance-50323-1154104788.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-50323-1154104788 -o ROOT/results/node25/solver-50323-1154104788 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/50323-1154104788/instance-50323-1154104788.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED= 526263947 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.209 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.209 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1568600 kB Buffers: 36964 kB Cached: 375532 kB SwapCached: 3800 kB Active: 36028 kB Inactive: 385240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1568600 kB SwapTotal: 4192956 kB SwapFree: 4183100 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14700 kB Slab: 52048 kB Committed_AS: 742092 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Fri Jul 28 17:09:49 UTC 2006