Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 420 | 1800.13 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
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.02 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 198 variables and 16 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.015 0.02 c After prepocess the problem consists of 198 variables and 16 constraints. 0.02 c Initial Lower Bound: 0 0.04 c Restart #1 #Var: 198 LB: 0 @ 0.03 0.07 c Restart #2 #Var: 198 LB: 0 @ 0.063 0.12 c Restart #3 #Var: 198 LB: 0 @ 0.11 0.19 c Restart #4 #Var: 198 LB: 0 @ 0.179 0.26 c Restart #5 #Var: 198 LB: 0 @ 0.252 0.33 c Restart #6 #Var: 198 LB: 0 @ 0.317 0.41 c Restart #7 #Var: 198 LB: 0 @ 0.397 0.49 c Restart #8 #Var: 198 LB: 0 @ 0.483 0.62 c Restart #9 #Var: 198 LB: 0 @ 0.611 0.75 c Restart #10 #Var: 198 LB: 0 @ 0.739 0.86 c Restart #11 #Var: 198 LB: 0 @ 0.854 0.96 c Sol. found (all assignments made)... 0.96 o 2018 0.96 c NEW SOLUTION FOUND: 2018 @ 0.954 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 o 1890 0.96 c NEW SOLUTION FOUND: 1890 @ 0.954 0.96 c Sol. found (all assignments made)... 0.96 o 1826 0.96 c NEW SOLUTION FOUND: 1826 @ 0.955 0.96 c Sol. found (all assignments made)... 0.96 o 1794 0.96 c NEW SOLUTION FOUND: 1794 @ 0.956 1.09 c Restart #12 #Var: 198 LB: 0 @ 1.085 1.25 c Restart #13 #Var: 198 LB: 0 @ 1.241 1.40 c Restart #14 #Var: 198 LB: 0 @ 1.396 1.58 c Restart #15 #Var: 198 LB: 0 @ 1.568 1.69 c Sol. found (all assignments made)... 1.69 o 1605 1.69 c NEW SOLUTION FOUND: 1605 @ 1.679 1.69 c Sol. found (all assignments made)... 1.69 o 1517 1.69 c NEW SOLUTION FOUND: 1517 @ 1.685 1.69 c Sol. found (all assignments made)... 1.69 o 1509 1.69 c NEW SOLUTION FOUND: 1509 @ 1.686 1.70 c Sol. found (all assignments made)... 1.70 o 1453 1.70 c NEW SOLUTION FOUND: 1453 @ 1.689 1.70 c Sol. found (all assignments made)... 1.70 o 1441 1.70 c NEW SOLUTION FOUND: 1441 @ 1.69 1.70 c Sol. found (all assignments made)... 1.70 o 1439 1.70 c NEW SOLUTION FOUND: 1439 @ 1.69 1.70 c Sol. found (all assignments made)... 1.70 o 1437 1.70 c NEW SOLUTION FOUND: 1437 @ 1.69 1.70 c Sol. found (all assignments made)... 1.70 o 1433 1.70 c NEW SOLUTION FOUND: 1433 @ 1.691 1.70 c Sol. found (all assignments made)... 1.70 o 1431 1.70 c NEW SOLUTION FOUND: 1431 @ 1.692 1.90 c Sol. found (all assignments made)... 1.90 o 1429 1.90 c NEW SOLUTION FOUND: 1429 @ 1.893 1.92 c Sol. found (all assignments made)... 1.92 o 1427 1.92 c NEW SOLUTION FOUND: 1427 @ 1.907 1.94 c Sol. found (all assignments made)... 1.94 o 1425 1.94 c NEW SOLUTION FOUND: 1425 @ 1.933 1.94 c Sol. found (all assignments made)... 1.94 o 1423 1.94 c NEW SOLUTION FOUND: 1423 @ 1.934 1.95 c Sol. found (all assignments made)... 1.95 o 1419 1.95 c NEW SOLUTION FOUND: 1419 @ 1.94 1.96 c Sol. found (all assignments made)... 1.96 o 1417 1.96 c NEW SOLUTION FOUND: 1417 @ 1.951 1.97 c Sol. found (all assignments made)... 1.97 o 1415 1.97 c NEW SOLUTION FOUND: 1415 @ 1.959 2.22 c Sol. found (all assignments made)... 2.22 o 1413 2.22 c NEW SOLUTION FOUND: 1413 @ 2.216 2.24 c Sol. found (all assignments made)... 2.24 o 1411 2.24 c NEW SOLUTION FOUND: 1411 @ 2.236 2.29 c Sol. found (all assignments made)... 2.29 o 1409 2.29 c NEW SOLUTION FOUND: 1409 @ 2.286 2.31 c Sol. found (all assignments made)... 2.31 o 1407 2.31 c NEW SOLUTION FOUND: 1407 @ 2.3 2.48 c Sol. found (all assignments made)... 2.48 o 1405 2.48 c NEW SOLUTION FOUND: 1405 @ 2.477 2.80 c Sol. found (all assignments made)... 2.80 o 1403 2.80 c NEW SOLUTION FOUND: 1403 @ 2.795 3.84 c Restart #16 #Var: 198 LB: 0 @ 3.832 3.88 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 o 1357 3.90 c NEW SOLUTION FOUND: 1357 @ 3.89 3.91 c Sol. found (all assignments made)... 3.91 o 1351 3.91 c NEW SOLUTION FOUND: 1351 @ 3.9 3.91 c Sol. found (all assignments made)... 3.91 o 1349 3.91 c NEW SOLUTION FOUND: 1349 @ 3.901 3.93 c Sol. found (all assignments made)... 3.93 o 1347 3.93 c NEW SOLUTION FOUND: 1347 @ 3.924 3.93 c Sol. found (all assignments made)... 3.93 o 1341 3.93 c NEW SOLUTION FOUND: 1341 @ 3.925 3.93 c Sol. found (all assignments made)... 3.93 o 1339 3.93 c NEW SOLUTION FOUND: 1339 @ 3.926 3.94 c Sol. found (all assignments made)... 3.94 o 1325 3.94 c NEW SOLUTION FOUND: 1325 @ 3.933 3.99 c Sol. found (all assignments made)... 3.99 o 1315 3.99 c NEW SOLUTION FOUND: 1315 @ 3.982 3.99 c Sol. found (all assignments made)... 3.99 o 1299 3.99 c NEW SOLUTION FOUND: 1299 @ 3.984 4.01 c Sol. found (all assignments made)... 4.01 o 1295 4.01 c NEW SOLUTION FOUND: 1295 @ 3.998 4.02 c Sol. found (all assignments made)... 4.02 o 1283 4.02 c NEW SOLUTION FOUND: 1283 @ 4.012 4.02 c Sol. found (all assignments made)... 4.02 o 1281 4.02 c NEW SOLUTION FOUND: 1281 @ 4.013 4.03 c Sol. found (all assignments made)... 4.03 o 1279 4.03 c NEW SOLUTION FOUND: 1279 @ 4.019 4.03 c Sol. found (all assignments made)... 4.03 o 1277 4.03 c NEW SOLUTION FOUND: 1277 @ 4.02 4.03 c Sol. found (all assignments made)... 4.03 o 1273 4.03 c NEW SOLUTION FOUND: 1273 @ 4.022 4.17 c Sol. found (all assignments made)... 4.17 o 1269 4.17 c NEW SOLUTION FOUND: 1269 @ 4.16 4.72 c Sol. found (all assignments made)... 4.72 o 1126 4.72 c NEW SOLUTION FOUND: 1126 @ 4.707 4.72 c Sol. found (all assignments made)... 4.72 o 1118 4.72 c NEW SOLUTION FOUND: 1118 @ 4.708 4.73 c Sol. found (all assignments made)... 4.73 o 1112 4.73 c NEW SOLUTION FOUND: 1112 @ 4.72 4.73 c Sol. found (all assignments made)... 4.73 o 1110 4.73 c NEW SOLUTION FOUND: 1110 @ 4.72 4.73 c Sol. found (all assignments made)... 4.73 o 1106 4.73 c NEW SOLUTION FOUND: 1106 @ 4.722 4.73 c Sol. found (all assignments made)... 4.73 o 1102 4.73 c NEW SOLUTION FOUND: 1102 @ 4.723 4.73 c Sol. found (all assignments made)... 4.73 o 1086 4.73 c NEW SOLUTION FOUND: 1086 @ 4.724 4.74 c Sol. found (all assignments made)... 4.74 o 1062 4.74 c NEW SOLUTION FOUND: 1062 @ 4.731 4.74 c Sol. found (all assignments made)... 4.74 o 1054 4.74 c NEW SOLUTION FOUND: 1054 @ 4.733 4.74 c Sol. found (all assignments made)... 4.74 o 1046 4.74 c NEW SOLUTION FOUND: 1046 @ 4.734 4.74 c Sol. found (all assignments made)... 4.74 o 1038 4.74 c NEW SOLUTION FOUND: 1038 @ 4.735 4.75 c Sol. found (all assignments made)... 4.75 o 1030 4.75 c NEW SOLUTION FOUND: 1030 @ 4.737 4.75 c Sol. found (all assignments made)... 4.75 o 1022 4.75 c NEW SOLUTION FOUND: 1022 @ 4.738 4.75 c Sol. found (all assignments made)... 4.75 o 1018 4.75 c NEW SOLUTION FOUND: 1018 @ 4.742 4.75 c Sol. found (all assignments made)... 4.75 o 1014 4.75 c NEW SOLUTION FOUND: 1014 @ 4.744 5.08 c Sol. found (all assignments made)... 5.08 o 1000 5.08 c NEW SOLUTION FOUND: 1000 @ 5.067 5.10 c Sol. found (all assignments made)... 5.10 o 998 5.10 c NEW SOLUTION FOUND: 998 @ 5.094 5.14 c Sol. found (all assignments made)... 5.14 o 996 5.14 c NEW SOLUTION FOUND: 996 @ 5.133 5.14 c Sol. found (all assignments made)... 5.14 o 988 5.14 c NEW SOLUTION FOUND: 988 @ 5.136 6.18 c Restart #17 #Var: 198 LB: 0 @ 6.167 7.70 c Restart #18 #Var: 198 LB: 0 @ 7.695 8.62 c Restart #19 #Var: 198 LB: 0 @ 8.608 10.67 c Sol. found (all assignments made)... 10.67 o 972 10.67 c NEW SOLUTION FOUND: 972 @ 10.655 10.67 c Sol. found (all assignments made)... 10.67 o 948 10.67 c NEW SOLUTION FOUND: 948 @ 10.655 10.70 c Sol. found (all assignments made)... 10.70 o 946 10.70 c NEW SOLUTION FOUND: 946 @ 10.685 10.70 c Sol. found (all assignments made)... 10.70 o 944 10.70 c NEW SOLUTION FOUND: 944 @ 10.686 10.72 c Sol. found (all assignments made)... 10.72 o 942 10.72 c NEW SOLUTION FOUND: 942 @ 10.702 10.95 c Sol. found (all assignments made)... 10.95 o 940 10.95 c NEW SOLUTION FOUND: 940 @ 10.936 10.96 c Sol. found (all assignments made)... 10.96 o 938 10.96 c NEW SOLUTION FOUND: 938 @ 10.942 12.68 c Restart #20 #Var: 198 LB: 0 @ 12.664 14.63 c Sol. found (all assignments made)... 14.63 o 929 14.63 c NEW SOLUTION FOUND: 929 @ 14.613 14.63 c Sol. found (all assignments made)... 14.63 o 873 14.63 c NEW SOLUTION FOUND: 873 @ 14.617 15.66 c Sol. found (all assignments made)... 15.66 o 865 15.66 c NEW SOLUTION FOUND: 865 @ 15.645 16.46 c Restart #21 #Var: 198 LB: 0 @ 16.441 19.32 c Restart #22 #Var: 198 LB: 0 @ 19.303 21.73 c Sol. found (all assignments made)... 21.73 o 861 21.73 c NEW SOLUTION FOUND: 861 @ 21.709 22.45 c Sol. found (all assignments made)... 22.45 o 859 22.45 c NEW SOLUTION FOUND: 859 @ 22.43 22.47 c Sol. found (all assignments made)... 22.47 o 855 22.47 c NEW SOLUTION FOUND: 855 @ 22.447 22.48 c Sol. found (all assignments made)... 22.48 o 853 22.48 c NEW SOLUTION FOUND: 853 @ 22.46 24.63 c Restart #23 #Var: 198 LB: 0 @ 24.611 26.90 c Restart #24 #Var: 198 LB: 0 @ 26.884 29.05 c Sol. found (all assignments made)... 29.05 o 845 29.05 c NEW SOLUTION FOUND: 845 @ 29.03 29.07 c Sol. found (all assignments made)... 29.07 o 843 29.07 c NEW SOLUTION FOUND: 843 @ 29.045 29.18 c Sol. found (all assignments made)... 29.18 o 841 29.18 c NEW SOLUTION FOUND: 841 @ 29.156 29.19 c Sol. found (all assignments made)... 29.19 o 839 29.19 c NEW SOLUTION FOUND: 839 @ 29.173 32.66 c Restart #25 #Var: 198 LB: 0 @ 32.642 34.18 c Sol. found (all assignments made)... 34.18 o 838 34.18 c NEW SOLUTION FOUND: 838 @ 34.154 36.56 c Restart #26 #Var: 198 LB: 0 @ 36.535 38.22 c Sol. found (all assignments made)... 38.22 o 837 38.22 c NEW SOLUTION FOUND: 837 @ 38.195 39.26 c Sol. found (all assignments made)... 39.26 o 833 39.26 c NEW SOLUTION FOUND: 833 @ 39.24 39.36 c Sol. found (all assignments made)... 39.36 o 831 39.36 c NEW SOLUTION FOUND: 831 @ 39.338 39.38 c Sol. found (all assignments made)... 39.38 o 829 39.38 c NEW SOLUTION FOUND: 829 @ 39.355 43.17 c Restart #27 #Var: 198 LB: 0 @ 43.148 47.52 c Restart #28 #Var: 198 LB: 0 @ 47.489 53.71 c Restart #29 #Var: 198 LB: 0 @ 53.682 56.82 c Restart #30 #Var: 198 LB: 0 @ 56.796 63.60 c CHANGE to MIS mode... UB: 829 MIS: 0 LPR: 0 (0.021) Diff: nan 63.60 c Restart #0 #Var: 198 LB: 0 @ 63.568 63.89 c Restart #1 #Var: 198 LB: 0 @ 63.859 64.33 c Restart #2 #Var: 198 LB: 0 @ 64.293 64.63 c Restart #3 #Var: 198 LB: 0 @ 64.594 66.30 c Restart #4 #Var: 198 LB: 0 @ 66.266 68.90 c Sol. found (all assignments made)... 68.90 o 823 68.90 c NEW SOLUTION FOUND: 823 @ 68.865 69.02 c Sol. found (all assignments made)... 69.02 o 821 69.02 c NEW SOLUTION FOUND: 821 @ 68.986 69.13 c Sol. found (all assignments made)... 69.13 o 795 69.13 c NEW SOLUTION FOUND: 795 @ 69.097 69.14 c Sol. found (all assignments made)... 69.14 o 793 69.14 c NEW SOLUTION FOUND: 793 @ 69.099 69.33 c Sol. found (all assignments made)... 69.33 o 789 69.33 c NEW SOLUTION FOUND: 789 @ 69.287 69.65 c Sol. found (all assignments made)... 69.65 o 785 69.65 c NEW SOLUTION FOUND: 785 @ 69.61 70.27 c Restart #5 #Var: 198 LB: 0 @ 70.232 70.73 c Sol. found (all assignments made)... 70.73 o 772 70.73 c NEW SOLUTION FOUND: 772 @ 70.695 72.64 c Restart #6 #Var: 198 LB: 0 @ 72.606 74.09 c Sol. found (all assignments made)... 74.09 o 771 74.09 c NEW SOLUTION FOUND: 771 @ 74.053 74.24 c Sol. found (all assignments made)... 74.24 o 769 74.24 c NEW SOLUTION FOUND: 769 @ 74.199 74.84 c Sol. found (all assignments made)... 74.84 o 767 74.84 c NEW SOLUTION FOUND: 767 @ 74.805 75.10 c Sol. found (all assignments made)... 75.10 o 765 75.10 c NEW SOLUTION FOUND: 765 @ 75.064 77.98 c Sol. found (all assignments made)... 77.98 o 761 77.98 c NEW SOLUTION FOUND: 761 @ 77.937 78.50 c Sol. found (all assignments made)... 78.50 o 757 78.50 c NEW SOLUTION FOUND: 757 @ 78.456 80.52 c Restart #7 #Var: 198 LB: 0 @ 80.48 82.21 c Restart #8 #Var: 198 LB: 0 @ 82.17 85.64 c Restart #9 #Var: 198 LB: 0 @ 85.595 91.85 c Restart #10 #Var: 198 LB: 0 @ 91.807 95.57 c Restart #11 #Var: 198 LB: 0 @ 95.518 99.57 c Restart #12 #Var: 198 LB: 0 @ 99.52 103.72 c Restart #13 #Var: 198 LB: 0 @ 103.67 110.51 c Restart #14 #Var: 198 LB: 0 @ 110.46 113.19 c Sol. found (all assignments made)... 113.19 o 755 113.19 c NEW SOLUTION FOUND: 755 @ 113.14 113.27 c Sol. found (all assignments made)... 113.27 o 753 113.27 c NEW SOLUTION FOUND: 753 @ 113.21 114.76 c Sol. found (all assignments made)... 114.76 o 751 114.76 c NEW SOLUTION FOUND: 751 @ 114.71 117.41 c Sol. found (all assignments made)... 117.41 o 749 117.41 c NEW SOLUTION FOUND: 749 @ 117.36 117.43 c Sol. found (all assignments made)... 117.43 o 747 117.43 c NEW SOLUTION FOUND: 747 @ 117.38 117.55 c Sol. found (all assignments made)... 117.55 o 743 117.55 c NEW SOLUTION FOUND: 743 @ 117.49 117.56 c Sol. found (all assignments made)... 117.56 o 741 117.56 c NEW SOLUTION FOUND: 741 @ 117.51 117.58 c Sol. found (all assignments made)... 117.58 o 739 117.58 c NEW SOLUTION FOUND: 739 @ 117.53 117.63 c Sol. found (all assignments made)... 117.63 o 737 117.63 c NEW SOLUTION FOUND: 737 @ 117.58 119.86 c Restart #15 #Var: 198 LB: 0 @ 119.8 127.87 c Restart #16 #Var: 198 LB: 0 @ 127.82 135.19 c Restart #17 #Var: 198 LB: 0 @ 135.13 137.76 c Sol. found (all assignments made)... 137.76 o 734 137.76 c NEW SOLUTION FOUND: 734 @ 137.69 138.45 c Sol. found (all assignments made)... 138.45 o 732 138.45 c NEW SOLUTION FOUND: 732 @ 138.39 140.10 c Sol. found (all assignments made)... 140.10 o 706 140.10 c NEW SOLUTION FOUND: 706 @ 140.03 140.13 c Sol. found (all assignments made)... 140.13 o 698 140.13 c NEW SOLUTION FOUND: 698 @ 140.06 140.15 c Sol. found (all assignments made)... 140.15 o 696 140.15 c NEW SOLUTION FOUND: 696 @ 140.09 140.17 c Sol. found (all assignments made)... 140.17 o 694 140.17 c NEW SOLUTION FOUND: 694 @ 140.11 140.29 c Sol. found (all assignments made)... 140.29 o 692 140.29 c NEW SOLUTION FOUND: 692 @ 140.23 140.37 c Sol. found (all assignments made)... 140.37 o 690 140.37 c NEW SOLUTION FOUND: 690 @ 140.31 140.44 c Sol. found (all assignments made)... 140.44 o 688 140.44 c NEW SOLUTION FOUND: 688 @ 140.37 140.76 c Sol. found (all assignments made)... 140.76 o 674 140.76 c NEW SOLUTION FOUND: 674 @ 140.69 140.79 c Sol. found (all assignments made)... 140.79 o 662 140.79 c NEW SOLUTION FOUND: 662 @ 140.72 140.82 c Sol. found (all assignments made)... 140.82 o 630 140.82 c NEW SOLUTION FOUND: 630 @ 140.75 141.01 c Sol. found (all assignments made)... 141.01 o 628 141.01 c NEW SOLUTION FOUND: 628 @ 140.95 141.17 c Sol. found (all assignments made)... 141.17 o 626 141.17 c NEW SOLUTION FOUND: 626 @ 141.1 141.22 c Sol. found (all assignments made)... 141.22 o 624 141.22 c NEW SOLUTION FOUND: 624 @ 141.15 146.62 c Sol. found (all assignments made)... 146.62 o 620 146.62 c NEW SOLUTION FOUND: 620 @ 146.56 146.66 c Sol. found (all assignments made)... 146.66 o 618 146.66 c NEW SOLUTION FOUND: 618 @ 146.6 146.97 c Sol. found (all assignments made)... 146.97 o 616 146.97 c NEW SOLUTION FOUND: 616 @ 146.91 148.86 c Sol. found (all assignments made)... 148.86 o 608 148.86 c NEW SOLUTION FOUND: 608 @ 148.8 149.25 c Sol. found (all assignments made)... 149.25 o 606 149.25 c NEW SOLUTION FOUND: 606 @ 149.19 149.30 c Sol. found (all assignments made)... 149.30 o 602 149.30 c NEW SOLUTION FOUND: 602 @ 149.23 159.37 c Restart #18 #Var: 198 LB: 0 @ 159.3 167.78 c Restart #19 #Var: 198 LB: 0 @ 167.71 175.70 c Restart #20 #Var: 198 LB: 0 @ 175.62 181.22 c Restart #21 #Var: 198 LB: 0 @ 181.15 186.13 c Restart #22 #Var: 198 LB: 0 @ 186.05 202.29 c Restart #23 #Var: 198 LB: 0 @ 202.21 213.80 c Restart #24 #Var: 198 LB: 0 @ 213.71 231.85 c Restart #25 #Var: 198 LB: 0 @ 231.76 248.26 c Restart #26 #Var: 198 LB: 0 @ 248.16 283.69 c Restart #27 #Var: 198 LB: 0 @ 283.58 301.00 c Restart #28 #Var: 198 LB: 0 @ 300.89 313.28 c Restart #29 #Var: 198 LB: 0 @ 313.16 321.85 c Restart #30 #Var: 198 LB: 0 @ 321.74 342.52 c Restart #31 #Var: 198 LB: 0 @ 342.4 357.84 c Restart #32 #Var: 198 LB: 0 @ 357.7 401.48 c Restart #33 #Var: 198 LB: 0 @ 401.34 421.12 c Sol. found (all assignments made)... 421.12 o 597 421.12 c NEW SOLUTION FOUND: 597 @ 420.97 421.13 c Sol. found (all assignments made)... 421.13 o 595 421.13 c NEW SOLUTION FOUND: 595 @ 420.98 421.14 c Sol. found (all assignments made)... 421.14 o 583 421.14 c NEW SOLUTION FOUND: 583 @ 420.99 421.17 c Sol. found (all assignments made)... 421.17 o 581 421.17 c NEW SOLUTION FOUND: 581 @ 421.02 421.23 c Sol. found (all assignments made)... 421.23 o 575 421.23 c NEW SOLUTION FOUND: 575 @ 421.08 421.25 c Sol. found (all assignments made)... 421.25 o 573 421.25 c NEW SOLUTION FOUND: 573 @ 421.1 421.53 c Sol. found (all assignments made)... 421.53 o 567 421.53 c NEW SOLUTION FOUND: 567 @ 421.38 421.55 c Sol. found (all assignments made)... 421.55 o 565 421.55 c NEW SOLUTION FOUND: 565 @ 421.4 421.58 c Sol. found (all assignments made)... 421.58 o 563 421.58 c NEW SOLUTION FOUND: 563 @ 421.43 422.50 c Sol. found (all assignments made)... 422.50 o 549 422.50 c NEW SOLUTION FOUND: 549 @ 422.35 422.60 c Sol. found (all assignments made)... 422.60 o 545 422.60 c NEW SOLUTION FOUND: 545 @ 422.45 422.63 c Sol. found (all assignments made)... 422.63 o 543 422.63 c NEW SOLUTION FOUND: 543 @ 422.47 422.66 c Sol. found (all assignments made)... 422.66 o 541 422.66 c NEW SOLUTION FOUND: 541 @ 422.5 422.70 c Sol. found (all assignments made)... 422.70 o 535 422.70 c NEW SOLUTION FOUND: 535 @ 422.55 424.25 c Sol. found (all assignments made)... 424.25 o 529 424.25 c NEW SOLUTION FOUND: 529 @ 424.1 424.28 c Sol. found (all assignments made)... 424.28 o 527 424.28 c NEW SOLUTION FOUND: 527 @ 424.13 424.32 c Sol. found (all assignments made)... 424.32 o 517 424.32 c NEW SOLUTION FOUND: 517 @ 424.17 424.52 c Sol. found (all assignments made)... 424.52 o 511 424.52 c NEW SOLUTION FOUND: 511 @ 424.37 424.56 c Sol. found (all assignments made)... 424.56 o 509 424.56 c NEW SOLUTION FOUND: 509 @ 424.41 424.62 c Sol. found (all assignments made)... 424.62 o 507 424.62 c NEW SOLUTION FOUND: 507 @ 424.47 424.95 c Sol. found (all assignments made)... 424.95 o 505 424.95 c NEW SOLUTION FOUND: 505 @ 424.8 425.01 c Sol. found (all assignments made)... 425.01 o 503 425.01 c NEW SOLUTION FOUND: 503 @ 424.86 452.33 c Restart #34 #Var: 198 LB: 0 @ 452.17 479.57 c Restart #35 #Var: 198 LB: 0 @ 479.4 508.30 c Restart #36 #Var: 198 LB: 0 @ 508.12 538.96 c Restart #37 #Var: 198 LB: 0 @ 538.77 550.34 c Sol. found (all assignments made)... 550.34 o 499 550.34 c NEW SOLUTION FOUND: 499 @ 550.15 550.34 c Sol. found (all assignments made)... 564.01 c Restart #38 #Var: 198 LB: 0 @ 563.81 587.70 c Restart #39 #Var: 198 LB: 0 @ 587.5 608.72 c Restart #40 #Var: 198 LB: 0 @ 608.51 624.05 c Sol. found (all assignments made)... 624.05 o 498 624.05 c NEW SOLUTION FOUND: 498 @ 623.84 662.37 c Sol. found (all assignments made)... 662.37 o 496 662.37 c NEW SOLUTION FOUND: 496 @ 662.14 662.78 c Sol. found (all assignments made)... 662.78 o 492 662.78 c NEW SOLUTION FOUND: 492 @ 662.55 671.06 c Sol. found (all assignments made)... 671.06 o 488 671.06 c NEW SOLUTION FOUND: 488 @ 670.83 674.45 c Sol. found (all assignments made)... 674.45 o 476 674.45 c NEW SOLUTION FOUND: 476 @ 674.22 674.69 c Sol. found (all assignments made)... 674.69 o 472 674.69 c NEW SOLUTION FOUND: 472 @ 674.45 675.42 c Sol. found (all assignments made)... 675.42 o 468 675.42 c NEW SOLUTION FOUND: 468 @ 675.19 675.65 c Sol. found (all assignments made)... 675.65 o 464 675.65 c NEW SOLUTION FOUND: 464 @ 675.42 676.42 c Sol. found (all assignments made)... 676.42 o 460 676.42 c NEW SOLUTION FOUND: 460 @ 676.18 677.35 c Sol. found (all assignments made)... 677.35 o 456 677.35 c NEW SOLUTION FOUND: 456 @ 677.12 679.53 c Sol. found (all assignments made)... 679.53 o 452 679.53 c NEW SOLUTION FOUND: 452 @ 679.29 681.83 c Sol. found (all assignments made)... 681.83 o 448 681.83 c NEW SOLUTION FOUND: 448 @ 681.6 708.17 c Sol. found (all assignments made)... 708.17 o 446 708.17 c NEW SOLUTION FOUND: 446 @ 707.93 757.29 c Restart #41 #Var: 198 LB: 0 @ 757.03 782.61 c Restart #42 #Var: 198 LB: 0 @ 782.35 830.58 c Restart #43 #Var: 198 LB: 0 @ 830.3 880.05 c Restart #44 #Var: 198 LB: 0 @ 879.76 925.42 c Restart #45 #Var: 198 LB: 0 @ 925.11 961.63 c Restart #46 #Var: 198 LB: 0 @ 961.31 1020.31 c Restart #47 #Var: 198 LB: 0 @ 1020 1062.03 c Restart #48 #Var: 198 LB: 0 @ 1061.7 1118.02 c Restart #49 #Var: 198 LB: 0 @ 1117.6 1158.42 c Restart #50 #Var: 198 LB: 0 @ 1158 1226.01 c Restart #51 #Var: 198 LB: 0 @ 1225.6 1265.66 c Restart #52 #Var: 198 LB: 0 @ 1265.2 1339.70 c Restart #53 #Var: 198 LB: 0 @ 1339.3 1389.51 c Restart #54 #Var: 198 LB: 0 @ 1389 1439.55 c Restart #55 #Var: 198 LB: 0 @ 1439.1 1484.27 c Restart #56 #Var: 198 LB: 0 @ 1483.8 1547.37 c Sol. found (all assignments made)... 1547.37 o 440 1547.37 c NEW SOLUTION FOUND: 440 @ 1546.9 1548.02 c Sol. found (all assignments made)... 1548.02 o 438 1548.02 c NEW SOLUTION FOUND: 438 @ 1547.5 1640.89 c Restart #57 #Var: 198 LB: 0 @ 1640.4 1737.77 c Restart #58 #Var: 198 LB: 0 @ 1737.2 1751.65 c Sol. found (all assignments made)... 1751.65 o 436 1751.65 c NEW SOLUTION FOUND: 436 @ 1751.1 1751.65 c Sol. found (all assignments made)... 1751.65 o 434 1751.65 c NEW SOLUTION FOUND: 434 @ 1751.1 1751.75 c Sol. found (all assignments made)... 1751.75 o 430 1751.75 c NEW SOLUTION FOUND: 430 @ 1751.2 1779.29 c Sol. found (all assignments made)... 1779.29 c Sol. found (all assignments made)... 1779.29 o 426 1779.29 c NEW SOLUTION FOUND: 426 @ 1778.7 1779.30 c Sol. found (all assignments made)... 1779.30 o 424 1779.30 c NEW SOLUTION FOUND: 424 @ 1778.7 1781.07 c Sol. found (all assignments made)... 1781.07 o 422 1781.07 c NEW SOLUTION FOUND: 422 @ 1780.5 1783.17 c Sol. found (all assignments made)... 1783.17 o 420 1783.17 c NEW SOLUTION FOUND: 420 @ 1782.6 1800.59 s SATISFIABLE 1800.59 c Cost: 420 1800.59 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 1800.59 v -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 1800.59 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 1800.59 v -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 1800.59 v -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.59 v -x129 -x130 -x131 x132 -x133 x134 x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 x149 x150 1800.59 v x151 -x152 x153 x154 x155 x156 -x157 -x158 -x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 x171 -x172 x173 1800.59 v -x174 -x175 x177 -x178 -x179 x180 x181 x182 x183 -x184 x185 x186 -x187 -x188 -x189 -x190 x191 -x192 x193 x194 -x195 -x196 x197 1800.59 v x198 -x176 1800.59 c Exit Code: 10 1800.59 c Total time: 1800 s
OK 420
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/node29/watcher-50317-1154102720 -o ROOT/results/node29/solver-50317-1154102720 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/50317-1154102720/instance-50317-1154102720.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 2/64 8956 /proc/meminfo: memFree=630608/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=2900 CPUtime=0 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 44 0 0 0 0 0 0 0 18 0 1 0 157131930 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 1 0 0 /proc/8956/statm: 725 27 19 55 0 38 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.97 0.99 2/64 8956 /proc/meminfo: memFree=550288/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=84868 CPUtime=9.98 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 20470 0 0 0 984 14 0 0 25 0 1 0 157131930 86904832 20383 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 21217 20383 297 55 0 20109 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 84868 [startup+20.0073 s] /proc/loadavg: 0.94 0.97 0.99 2/64 8956 /proc/meminfo: memFree=523664/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=111520 CPUtime=19.98 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 27113 0 0 0 1977 21 0 0 25 0 1 0 157131930 114196480 27026 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 27880 27026 297 55 0 26772 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 111520 [startup+30.0127 s] /proc/loadavg: 0.95 0.97 0.99 2/64 8956 /proc/meminfo: memFree=504528/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=130664 CPUtime=29.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 31879 0 0 0 2971 28 0 0 25 0 1 0 157131930 133799936 31792 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 32666 31792 297 55 0 31558 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 130664 [startup+40.0181 s] /proc/loadavg: 0.96 0.97 0.99 2/64 8956 /proc/meminfo: memFree=487888/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=147364 CPUtime=39.98 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 36037 0 0 0 3966 32 0 0 25 0 1 0 157131930 150900736 35946 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 36841 35946 297 55 0 35733 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 147364 [startup+50.0235 s] /proc/loadavg: 0.96 0.97 0.99 2/64 8956 /proc/meminfo: memFree=474064/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=161112 CPUtime=49.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 39484 0 0 0 4963 36 0 0 25 0 1 0 157131930 164978688 39393 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 40278 39393 297 55 0 39170 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 161112 [startup+60.029 s] /proc/loadavg: 0.97 0.97 0.99 2/64 8956 /proc/meminfo: memFree=463504/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=171680 CPUtime=59.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 42117 0 0 0 5959 40 0 0 25 0 1 0 157131930 175800320 42026 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 42920 42026 297 55 0 41812 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 171680 [startup+70.0344 s] /proc/loadavg: 0.97 0.97 0.99 2/64 8956 /proc/meminfo: memFree=451216/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=183864 CPUtime=69.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 45155 0 3 0 6955 44 0 0 25 0 1 0 157131930 188276736 45063 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 45966 45063 420 55 0 44858 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 183864 [startup+80.0398 s] /proc/loadavg: 0.98 0.97 0.99 2/64 8956 /proc/meminfo: memFree=442128/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=193008 CPUtime=79.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 47431 0 3 0 7952 47 0 0 25 0 1 0 157131930 197640192 47339 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 48252 47339 420 55 0 47144 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 193008 [startup+90.0452 s] /proc/loadavg: 0.98 0.97 0.99 2/64 8956 /proc/meminfo: memFree=434256/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=201264 CPUtime=89.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 49412 0 3 0 8949 50 0 0 25 0 1 0 157131930 206094336 49316 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 50316 49316 420 55 0 49208 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 201264 [startup+100.051 s] /proc/loadavg: 0.98 0.97 0.99 2/64 8956 /proc/meminfo: memFree=425360/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=210148 CPUtime=99.99 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 51620 0 3 0 9946 53 0 0 25 0 1 0 157131930 215191552 51523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 52537 51523 420 55 0 51429 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 210148 [startup+110.056 s] /proc/loadavg: 0.98 0.97 0.99 2/64 8956 /proc/meminfo: memFree=416528/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=219028 CPUtime=110 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 53846 0 3 0 10943 57 0 0 25 0 1 0 157131930 224284672 53747 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134719576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 54757 53747 420 55 0 53649 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 219028 [startup+120.062 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=407248/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=228276 CPUtime=120 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 56155 0 3 0 11941 59 0 0 25 0 1 0 157131930 233754624 56056 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 57069 56056 420 55 0 55961 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 228276 [startup+130.069 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=401552/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=234052 CPUtime=130 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 57578 0 3 0 12939 61 0 0 25 0 1 0 157131930 239669248 57477 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 58513 57477 420 55 0 57405 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 234052 [startup+140.075 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=393424/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=242108 CPUtime=140.01 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 59599 0 3 0 13937 64 0 0 25 0 1 0 157131930 247918592 59498 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 60527 59498 420 55 0 59419 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 242108 [startup+150.082 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=386192/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=249372 CPUtime=150.01 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 61411 0 3 0 14935 66 0 0 25 0 1 0 157131930 255356928 61309 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 62343 61309 420 55 0 61235 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 249372 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=380112/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=255444 CPUtime=160.01 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 62928 0 3 0 15932 69 0 0 25 0 1 0 157131930 261574656 62826 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 63861 62826 420 55 0 62753 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 255444 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=373008/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=262600 CPUtime=170.01 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 64703 0 3 0 16930 71 0 0 25 0 1 0 157131930 268902400 64601 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 65650 64601 420 55 0 64542 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 262600 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=363216/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=272388 CPUtime=180.01 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 67135 0 3 0 17926 75 0 0 25 0 1 0 157131930 278925312 67033 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 68097 67033 420 55 0 66989 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 272388 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=352144/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=283496 CPUtime=190.02 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 69906 0 3 0 18924 78 0 0 25 0 1 0 157131930 290299904 69804 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 70874 69804 420 55 0 69766 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 283496 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=347152/2055920 swapFree=4169188/4192956 [pid=8956] ppid=8954 vsize=288380 CPUtime=200.02 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 71144 0 3 0 19922 80 0 0 25 0 1 0 157131930 295301120 71041 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 72095 71041 420 55 0 70987 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 288380 [startup+210.116 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.41 Current children cumulated vsize (Kb) 820720 [startup+1771 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15760/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=822700 CPUtime=1770.41 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 206557 0 3 0 176762 279 0 0 25 0 1 0 157131930 842444800 203705 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 205675 203705 420 55 0 204567 0 Current children cumulated CPU time (s) 1770.41 Current children cumulated vsize (Kb) 822700 [startup+1781 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15696/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=824284 CPUtime=1780.41 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 206951 0 3 0 177762 279 0 0 25 0 1 0 157131930 844066816 204099 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206071 204099 420 55 0 204963 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 824284 [startup+1782.01 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15632/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=824416 CPUtime=1781.41 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 206982 0 3 0 177862 279 0 0 25 0 1 0 157131930 844201984 204130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206104 204130 420 55 0 204996 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 824416 [startup+1783.01 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15440/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=824548 CPUtime=1782.42 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207026 0 3 0 177963 279 0 0 25 0 1 0 157131930 844337152 204174 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206137 204174 420 55 0 205029 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 824548 [startup+1784.02 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15248/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=824812 CPUtime=1783.43 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207071 0 3 0 178063 280 0 0 25 0 1 0 157131930 844607488 204219 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206203 204219 420 55 0 205095 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 824812 [startup+1785.03 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15056/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=825076 CPUtime=1784.43 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207137 0 3 0 178163 280 0 0 25 0 1 0 157131930 844877824 204285 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206269 204285 420 55 0 205161 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 825076 [startup+1786.03 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=16336/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=825340 CPUtime=1785.44 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207203 0 3 0 178264 280 0 0 25 0 1 0 157131930 845148160 204351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206335 204351 420 55 0 205227 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 825340 [startup+1787.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=16016/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=825604 CPUtime=1786.44 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207270 0 3 0 178364 280 0 0 25 0 1 0 157131930 845418496 204418 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206401 204418 420 55 0 205293 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 825604 [startup+1788.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15824/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=825736 CPUtime=1787.44 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207319 0 3 0 178464 280 0 0 25 0 1 0 157131930 845553664 204467 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206434 204467 420 55 0 205326 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 825736 [startup+1789.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15632/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=826000 CPUtime=1788.45 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207374 0 3 0 178565 280 0 0 25 0 1 0 157131930 845824000 204522 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206500 204522 420 55 0 205392 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 826000 [startup+1790.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15440/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=826132 CPUtime=1789.45 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207417 0 3 0 178665 280 0 0 25 0 1 0 157131930 845959168 204565 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206533 204565 420 55 0 205425 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 826132 [startup+1791.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15184/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=826396 CPUtime=1790.45 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207489 0 3 0 178765 280 0 0 25 0 1 0 157131930 846229504 204637 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206599 204637 420 55 0 205491 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 826396 [startup+1792.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=14992/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=826660 CPUtime=1791.47 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207537 0 3 0 178866 281 0 0 25 0 1 0 157131930 846499840 204685 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206665 204685 420 55 0 205557 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 826660 [startup+1793.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=16208/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=826924 CPUtime=1792.47 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207612 0 3 0 178966 281 0 0 25 0 1 0 157131930 846770176 204760 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206731 204760 420 55 0 205623 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 826924 [startup+1794.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=16016/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=827188 CPUtime=1793.47 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207669 0 3 0 179066 281 0 0 25 0 1 0 157131930 847040512 204817 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206797 204817 420 55 0 205689 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 827188 [startup+1795.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15760/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=827452 CPUtime=1794.48 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207732 0 3 0 179167 281 0 0 25 0 1 0 157131930 847310848 204880 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206863 204880 420 55 0 205755 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 827452 [startup+1796.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15632/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=827584 CPUtime=1795.48 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207764 0 3 0 179267 281 0 0 25 0 1 0 157131930 847446016 204912 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206896 204912 420 55 0 205788 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 827584 [startup+1797.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=15312/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=827848 CPUtime=1796.48 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207839 0 3 0 179367 281 0 0 25 0 1 0 157131930 847716352 204987 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 206962 204987 420 55 0 205854 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 827848 [startup+1798.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=14992/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=828112 CPUtime=1797.5 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207919 0 3 0 179468 282 0 0 25 0 1 0 157131930 847986688 205067 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 207028 205067 420 55 0 205920 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 828112 [startup+1799.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=16336/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=828376 CPUtime=1798.5 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207985 0 3 0 179568 282 0 0 25 0 1 0 157131930 848257024 205133 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 207094 205133 420 55 0 205986 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 828376 [startup+1800.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 8956 /proc/meminfo: memFree=16016/2055920 swapFree=4170624/4192956 [pid=8956] ppid=8954 vsize=828772 CPUtime=1799.5 /proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 208062 0 3 0 179668 282 0 0 25 0 1 0 157131930 848662528 205210 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8956/statm: 207193 205210 420 55 0 206085 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 828772 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.13 CPU user time (s): 1797.18 CPU system time (s): 2.95155 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (Kb): 828772 The end
Begin job on node29 on Fri Jul 28 16:05:21 UTC 2006 FILE ID= 50317-1154102720 PBS_JOBID= 886176 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/50317-1154102720/instance-50317-1154102720.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-50317-1154102720 -o ROOT/results/node29/solver-50317-1154102720 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/50317-1154102720/instance-50317-1154102720.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED= 799034030 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.282 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.282 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: 630880 kB Buffers: 32432 kB Cached: 1320920 kB SwapCached: 17460 kB Active: 269268 kB Inactive: 1107360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 630880 kB SwapTotal: 4192956 kB SwapFree: 4169188 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14492 kB Slab: 34448 kB Committed_AS: 660632 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Fri Jul 28 16:35:21 UTC 2006