Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1356.5 | 1356.88 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -106 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702625-1278572906.opb. 0.00/0.00 c Instance file HOME/instance-2702625-1278572906.opb 0.00/0.00 c File size is 566883 bytes. 0.09/0.11 c Highest Coefficient sum: 1000 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 7316 | 0.09/0.11 c | Number Clauses: 6816 | 0.09/0.11 c | Number Cardinality: 1002 | 0.09/0.11 c | Number PB Constraints: 6316 | 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 7316 14134 53528 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 0 0.19/0.21 o 0 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 7316 14135 54028 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -1 0.19/0.24 o -1 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1 | 7316 14136 54528 | 5000 1 504 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -2 0.19/0.25 o -2 0.19/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1 | 7316 14137 55028 | 5000 1 504 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -3 0.19/0.26 o -3 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 20 | 7316 14138 55528 | 5000 20 970 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -4 0.19/0.27 o -4 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 20 | 7316 14139 56028 | 5000 20 970 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -5 0.19/0.28 o -5 0.19/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 20 | 7316 14140 56528 | 5000 20 970 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -6 0.19/0.29 o -6 0.19/0.29 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 20 | 7316 14141 57028 | 5000 20 970 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -7 0.29/0.30 o -7 0.29/0.30 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 20 | 7316 14142 57528 | 5000 20 970 | 0.000 % | 0.29/0.34 c | 120 | 7316 14142 57528 | 5500 120 981 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -8 0.29/0.35 o -8 0.29/0.35 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 120 | 7316 14143 58028 | 5000 120 981 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -9 0.29/0.36 o -9 0.29/0.36 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 120 | 7316 14144 58528 | 5000 120 981 | 0.000 % | 0.39/0.40 c | 220 | 7316 14144 58528 | 5500 220 983 | 0.000 % | 0.39/0.46 c | 370 | 7316 14144 58528 | 6050 370 984 | 0.000 % | 0.49/0.56 c | 595 | 7316 14144 58528 | 6655 595 985 | 0.000 % | 0.69/0.71 c | 932 | 7316 14144 58528 | 7320 932 986 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: -10 0.69/0.72 o -10 0.69/0.72 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 932 | 7316 14145 59028 | 5000 932 986 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: -11 0.69/0.73 o -11 0.69/0.73 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 932 | 7316 14146 59528 | 5000 932 986 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: -12 0.69/0.74 o -12 0.69/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 934 | 7316 14147 60028 | 5000 934 983 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: -13 0.69/0.76 o -13 0.69/0.76 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 942 | 7316 14148 60528 | 5000 942 978 | 0.000 % | 0.79/0.81 c | 1042 | 7316 14148 60528 | 5500 1042 978 | 0.000 % | 0.79/0.89 c | 1192 | 7316 14148 60528 | 6050 1192 979 | 0.000 % | 0.89/0.98 c | 1417 | 7316 14148 60528 | 6655 1417 979 | 0.000 % | 1.10/1.14 c | 1754 | 7316 14148 60528 | 7320 1754 979 | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c New solution: -14 1.19/1.22 o -14 1.19/1.22 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s 1.19/1.22 c =============================================================================== 1.19/1.22 c | 1864 | 7316 14149 61028 | 5000 1864 976 | 0.000 % | 1.19/1.28 c | 1964 | 7316 14149 61028 | 5500 1964 976 | 0.000 % | 1.29/1.37 c | 2114 | 7316 14149 61028 | 6050 2114 976 | 0.000 % | 1.39/1.46 c | 2339 | 7316 14149 61028 | 6655 2339 975 | 0.000 % | 1.59/1.60 c | 2676 | 7316 14149 61028 | 7320 2676 968 | 0.000 % | 1.79/1.80 c | 3182 | 7316 14149 61028 | 8052 3182 960 | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: -15 1.79/1.84 o -15 1.79/1.84 c Elapsed CPU time: 1.79573 s Remaining CPU time: 178.204 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 3214 | 7316 14150 61528 | 5000 3214 960 | 0.000 % | 1.79/1.89 c | 3314 | 7316 14150 61528 | 5500 3314 960 | 0.000 % | 1.89/1.96 c | 3464 | 7316 14150 61528 | 6050 3464 961 | 0.000 % | 1.99/2.06 c | 3690 | 7316 14150 61528 | 6655 3690 962 | 0.000 % | 2.20/2.22 c | 4028 | 7316 14150 61528 | 7320 4028 961 | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c New solution: -16 2.29/2.33 o -16 2.29/2.33 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s 2.29/2.33 c =============================================================================== 2.29/2.33 c | 4175 | 7316 14151 62028 | 5000 4175 960 | 0.000 % | 2.29/2.38 c | 4275 | 7316 14151 62028 | 5500 4275 960 | 0.000 % | 2.39/2.46 c | 4425 | 7316 14151 62028 | 6050 4425 961 | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: -17 2.39/2.48 o -17 2.39/2.48 c Elapsed CPU time: 2.42263 s Remaining CPU time: 177.577 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 4442 | 7316 14152 62528 | 5000 4442 961 | 0.000 % | 2.49/2.54 c | 4542 | 7316 14152 62528 | 5500 4542 961 | 0.000 % | 2.59/2.61 c | 4692 | 7316 14152 62528 | 6050 4692 961 | 0.000 % | 2.69/2.72 c | 4917 | 7316 14152 62528 | 6655 4917 960 | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c New solution: -18 2.69/2.73 o -18 2.69/2.73 c Elapsed CPU time: 2.6616 s Remaining CPU time: 177.338 s 2.69/2.73 c =============================================================================== 2.69/2.73 c | 4918 | 7316 14153 63028 | 5000 4918 960 | 0.000 % | 2.69/2.79 c | 5018 | 7316 14153 63028 | 5500 5018 961 | 0.000 % | 2.79/2.87 c | 5168 | 7316 14153 63028 | 6050 5168 960 | 0.000 % | 2.89/2.97 c | 5393 | 7316 14153 63028 | 6655 5393 959 | 0.000 % | 2.99/3.07 c =============================================================================== 2.99/3.07 c New solution: -19 2.99/3.07 o -19 2.99/3.07 c Elapsed CPU time: 2.99055 s Remaining CPU time: 177.009 s 2.99/3.07 c =============================================================================== 2.99/3.07 c | 5571 | 7316 14154 63528 | 5000 5571 959 | 0.000 % | 3.09/3.13 c | 5671 | 7316 14154 63528 | 5500 2886 951 | 0.000 % | 3.09/3.20 c | 5821 | 7316 14154 63528 | 6050 3036 952 | 0.000 % | 3.29/3.31 c | 6046 | 7316 14154 63528 | 6655 3261 954 | 0.000 % | 3.39/3.47 c | 6383 | 7316 14154 63528 | 7320 3598 955 | 0.000 % | 3.69/3.73 c | 6889 | 7316 14154 63528 | 8052 4104 954 | 0.000 % | 3.89/3.92 c =============================================================================== 3.89/3.92 c New solution: -20 3.89/3.92 o -20 3.89/3.92 c Elapsed CPU time: 3.81542 s Remaining CPU time: 176.185 s 3.89/3.92 c =============================================================================== 3.89/3.92 c | 7113 | 7316 14155 64028 | 5000 4328 953 | 0.000 % | 3.89/3.97 c | 7213 | 7316 14155 64028 | 5500 4428 954 | 0.000 % | 3.99/4.04 c | 7363 | 7316 14155 64028 | 6050 4578 954 | 0.000 % | 4.09/4.14 c | 7588 | 7316 14155 64028 | 6655 4803 954 | 0.000 % | 4.30/4.33 c | 7925 | 7316 14155 64028 | 7320 5140 955 | 0.000 % | 4.59/4.67 c | 8431 | 7316 14155 64028 | 8052 5646 954 | 0.000 % | 4.99/5.05 c | 9190 | 7316 14155 64028 | 8857 6405 956 | 0.000 % | 5.59/5.69 c | 10329 | 7316 14155 64028 | 9743 7544 952 | 0.000 % | 6.69/6.75 c | 12037 | 7316 14155 64028 | 10717 9252 955 | 0.000 % | 6.69/6.78 c =============================================================================== 6.69/6.78 c New solution: -21 6.69/6.78 o -21 6.69/6.78 c Elapsed CPU time: 6.63599 s Remaining CPU time: 173.364 s 6.69/6.78 c =============================================================================== 6.69/6.78 c | 12041 | 7316 14156 64528 | 5000 9256 955 | 0.000 % | 6.79/6.85 c | 12141 | 7316 14156 64528 | 5500 4728 955 | 0.000 % | 6.89/6.98 c | 12291 | 7316 14156 64528 | 6050 4878 955 | 0.000 % | 6.99/7.09 c | 12516 | 7316 14156 64528 | 6655 5103 956 | 0.000 % | 7.19/7.25 c | 12853 | 7316 14156 64528 | 7320 5440 956 | 0.000 % | 7.39/7.49 c | 13359 | 7316 14156 64528 | 8052 5946 957 | 0.000 % | 7.49/7.52 c =============================================================================== 7.49/7.52 c New solution: -22 7.49/7.52 o -22 7.49/7.52 c Elapsed CPU time: 7.36288 s Remaining CPU time: 172.637 s 7.49/7.52 c =============================================================================== 7.49/7.52 c | 13383 | 7316 14157 65028 | 5000 5970 956 | 0.000 % | 7.49/7.59 c | 13483 | 7316 14157 65028 | 5500 3085 964 | 0.000 % | 7.60/7.63 c =============================================================================== 7.60/7.63 c New solution: -23 7.60/7.63 o -23 7.60/7.63 c Elapsed CPU time: 7.46686 s Remaining CPU time: 172.533 s 7.60/7.63 c =============================================================================== 7.60/7.63 c | 13526 | 7316 14158 65528 | 5000 3128 957 | 0.000 % | 7.60/7.70 c | 13626 | 7316 14158 65528 | 5500 3228 957 | 0.000 % | 7.70/7.77 c | 13776 | 7316 14158 65528 | 6050 3378 958 | 0.000 % | 7.79/7.87 c | 14001 | 7316 14158 65528 | 6655 3603 957 | 0.000 % | 7.98/8.02 c | 14338 | 7316 14158 65528 | 7320 3940 957 | 0.000 % | 8.19/8.27 c | 14844 | 7316 14158 65528 | 8052 4446 958 | 0.000 % | 8.59/8.61 c | 15603 | 7316 14158 65528 | 8857 5205 957 | 0.000 % | 9.19/9.24 c | 16742 | 7316 14158 65528 | 9743 6344 958 | 0.000 % | 9.19/9.27 c =============================================================================== 9.19/9.27 c New solution: -24 9.19/9.27 o -24 9.19/9.27 c Elapsed CPU time: 9.07662 s Remaining CPU time: 170.923 s 9.19/9.27 c =============================================================================== 9.19/9.27 c | 16760 | 7316 14159 66028 | 5000 6362 957 | 0.000 % | 9.29/9.34 c | 16860 | 7316 14159 66028 | 5500 3281 955 | 0.000 % | 9.38/9.41 c | 17010 | 7316 14159 66028 | 6050 3431 956 | 0.000 % | 9.49/9.53 c | 17235 | 7316 14159 66028 | 6655 3656 956 | 0.000 % | 9.59/9.68 c | 17572 | 7316 14159 66028 | 7320 3993 957 | 0.000 % | 9.69/9.71 c =============================================================================== 9.69/9.71 c New solution: -25 9.69/9.71 o -25 9.69/9.71 c Elapsed CPU time: 9.50255 s Remaining CPU time: 170.497 s 9.69/9.71 c =============================================================================== 9.69/9.71 c | 17593 | 7316 14160 66528 | 5000 4014 954 | 0.000 % | 9.69/9.77 c | 17693 | 7316 14160 66528 | 5500 4114 954 | 0.000 % | 9.79/9.85 c | 17843 | 7316 14160 66528 | 6050 4264 955 | 0.000 % | 9.89/9.97 c | 18068 | 7316 14160 66528 | 6655 4489 955 | 0.000 % | 10.09/10.13 c | 18405 | 7316 14160 66528 | 7320 4826 956 | 0.000 % | 10.09/10.17 c =============================================================================== 10.09/10.17 c New solution: -26 10.09/10.17 o -26 10.09/10.17 c Elapsed CPU time: 9.95349 s Remaining CPU time: 170.047 s 10.09/10.17 c =============================================================================== 10.09/10.17 c | 18425 | 7316 14161 67028 | 5000 4846 953 | 0.000 % | 10.19/10.24 c | 18525 | 7316 14161 67028 | 5500 4946 953 | 0.000 % | 10.29/10.32 c | 18675 | 7316 14161 67028 | 6050 5096 953 | 0.000 % | 10.39/10.42 c | 18900 | 7316 14161 67028 | 6655 5321 953 | 0.000 % | 10.48/10.58 c | 19237 | 7316 14161 67028 | 7320 5658 954 | 0.000 % | 10.79/10.80 c | 19743 | 7316 14161 67028 | 8052 6164 954 | 0.000 % | 10.79/10.83 c =============================================================================== 10.79/10.83 c New solution: -27 10.79/10.83 o -27 10.79/10.83 c Elapsed CPU time: 10.6054 s Remaining CPU time: 169.395 s 10.79/10.83 c =============================================================================== 10.79/10.83 c | 19759 | 7316 14162 67528 | 5000 6180 953 | 0.000 % | 10.90/10.90 c | 19859 | 7316 14162 67528 | 5500 3190 949 | 0.000 % | 10.90/10.98 c | 20009 | 7316 14162 67528 | 6050 3340 950 | 0.000 % | 11.00/11.09 c | 20234 | 7316 14162 67528 | 6655 3565 951 | 0.000 % | 11.19/11.25 c | 20571 | 7316 14162 67528 | 7320 3902 951 | 0.000 % | 11.39/11.45 c | 21077 | 7316 14162 67528 | 8052 4408 950 | 0.000 % | 11.78/11.83 c | 21836 | 7316 14162 67528 | 8857 5167 949 | 0.000 % | 12.28/12.35 c | 22975 | 7316 14162 67528 | 9743 6306 947 | 0.000 % | 13.28/13.39 c | 24683 | 7316 14162 67528 | 10717 8014 943 | 0.000 % | 14.68/14.74 c | 27246 | 7316 14162 67528 | 11789 10577 948 | 0.000 % | 17.08/17.12 c | 31090 | 7316 14162 67528 | 12968 14421 948 | 0.000 % | 20.29/20.34 c | 36856 | 7316 14162 67528 | 14265 12977 936 | 0.000 % | 26.58/26.68 c | 45505 | 7316 14162 67528 | 15692 10780 912 | 0.000 % | 36.29/36.34 c | 58479 | 7316 14162 67528 | 17261 11529 908 | 0.000 % | 53.28/53.36 c | 77940 | 7316 14162 67528 | 18987 17274 900 | 0.000 % | 78.87/78.94 c | 107132 | 7316 14162 67528 | 20886 15715 963 | 0.000 % | 78.87/78.99 c =============================================================================== 78.87/78.99 c New solution: -28 78.87/78.99 o -28 78.87/78.99 c Elapsed CPU time: 78.1291 s Remaining CPU time: 101.871 s 78.87/78.99 c =============================================================================== 78.87/78.99 c | 107138 | 7316 14163 68028 | 5000 15721 963 | 0.000 % | 79.08/79.10 c | 107238 | 7316 14163 68028 | 5500 4031 963 | 0.000 % | 79.08/79.18 c | 107388 | 7316 14163 68028 | 6050 4181 962 | 0.000 % | 79.17/79.28 c | 107613 | 7316 14163 68028 | 6655 4406 961 | 0.000 % | 79.37/79.46 c | 107950 | 7316 14163 68028 | 7320 4743 961 | 0.000 % | 79.67/79.70 c | 108456 | 7316 14163 68028 | 8052 5249 961 | 0.000 % | 79.96/80.05 c | 109215 | 7316 14163 68028 | 8857 6008 960 | 0.000 % | 80.56/80.61 c | 110354 | 7316 14163 68028 | 9743 7147 957 | 0.000 % | 81.47/81.56 c | 112062 | 7316 14163 68028 | 10717 8855 951 | 0.000 % | 82.97/83.07 c | 114624 | 7316 14163 68028 | 11789 11417 945 | 0.000 % | 85.67/85.76 c | 118468 | 7316 14163 68028 | 12968 15261 938 | 0.000 % | 89.47/89.55 c | 124234 | 7316 14163 68028 | 14265 13397 919 | 0.000 % | 96.67/96.75 c | 132883 | 7316 14163 68028 | 15692 11199 916 | 0.000 % | 107.06/107.10 c | 145858 | 7316 14163 68028 | 17261 11956 912 | 0.000 % | 123.06/123.18 c | 165319 | 7316 14163 68028 | 18987 17705 964 | 0.000 % | 123.17/123.25 c =============================================================================== 123.17/123.25 c New solution: -29 123.17/123.25 o -29 123.17/123.25 c Elapsed CPU time: 121.942 s Remaining CPU time: 58.0575 s 123.17/123.25 c =============================================================================== 123.17/123.25 c | 165363 | 7316 14164 68528 | 5000 17749 963 | 0.000 % | 123.26/123.39 c | 165463 | 7316 14164 68528 | 5500 4538 959 | 0.000 % | 123.36/123.48 c | 165613 | 7316 14164 68528 | 6050 4688 958 | 0.000 % | 123.55/123.60 c | 165838 | 7316 14164 68528 | 6655 4913 958 | 0.000 % | 123.66/123.76 c | 166175 | 7316 14164 68528 | 7320 5250 958 | 0.000 % | 123.96/124.00 c | 166681 | 7316 14164 68528 | 8052 5756 958 | 0.000 % | 123.96/124.03 c =============================================================================== 123.96/124.03 c New solution: -30 123.96/124.03 o -30 123.96/124.03 c Elapsed CPU time: 122.7 s Remaining CPU time: 57.2997 s 123.96/124.03 c =============================================================================== 123.96/124.03 c | 166691 | 7316 14165 69028 | 5000 5766 957 | 0.000 % | 124.06/124.10 c | 166791 | 7316 14165 69028 | 5500 2983 949 | 0.000 % | 124.06/124.18 c | 166941 | 7316 14165 69028 | 6050 3133 949 | 0.000 % | 124.16/124.29 c | 167166 | 7316 14165 69028 | 6655 3358 948 | 0.000 % | 124.35/124.44 c | 167503 | 7316 14165 69028 | 7320 3695 947 | 0.000 % | 124.55/124.69 c | 168009 | 7316 14165 69028 | 8052 4201 948 | 0.000 % | 124.95/125.04 c | 168768 | 7316 14165 69028 | 8857 4960 949 | 0.000 % | 125.46/125.55 c | 169907 | 7316 14165 69028 | 9743 6099 945 | 0.000 % | 126.36/126.41 c | 171615 | 7316 14165 69028 | 10717 7807 948 | 0.000 % | 127.76/127.82 c | 174177 | 7316 14165 69028 | 11789 10369 951 | 0.000 % | 127.86/127.90 c =============================================================================== 127.86/127.90 c New solution: -31 127.86/127.90 o -31 127.86/127.90 c Elapsed CPU time: 126.502 s Remaining CPU time: 53.4982 s 127.86/127.90 c =============================================================================== 127.86/127.90 c | 174239 | 7316 14166 69528 | 5000 10431 947 | 0.000 % | 127.86/127.98 c | 174339 | 7316 14166 69528 | 5500 2708 944 | 0.000 % | 127.95/128.06 c | 174489 | 7316 14166 69528 | 6050 2858 945 | 0.000 % | 128.06/128.16 c | 174714 | 7316 14166 69528 | 6655 3083 945 | 0.000 % | 128.25/128.32 c | 175051 | 7316 14166 69528 | 7320 3420 946 | 0.000 % | 128.57/128.68 c | 175557 | 7316 14166 69528 | 8052 3926 881 | 0.000 % | 129.06/129.20 c | 176316 | 7316 14166 69528 | 8857 4685 892 | 0.000 % | 129.16/129.24 c =============================================================================== 129.16/129.24 c New solution: -32 129.16/129.24 o -32 129.16/129.24 c Elapsed CPU time: 127.818 s Remaining CPU time: 52.1824 s 129.16/129.24 c =============================================================================== 129.16/129.24 c | 176363 | 7316 14167 70028 | 5000 4732 888 | 0.000 % | 129.26/129.31 c | 176463 | 7316 14167 70028 | 5500 4832 889 | 0.000 % | 129.36/129.40 c | 176613 | 7316 14167 70028 | 6050 4982 891 | 0.000 % | 129.45/129.52 c | 176838 | 7316 14167 70028 | 6655 5207 894 | 0.000 % | 129.66/129.70 c | 177176 | 7316 14167 70028 | 7320 5545 897 | 0.000 % | 129.66/129.79 c =============================================================================== 129.66/129.79 c New solution: -33 129.66/129.79 o -33 129.66/129.79 c Elapsed CPU time: 128.353 s Remaining CPU time: 51.6465 s 129.66/129.79 c =============================================================================== 129.66/129.79 c | 177266 | 7316 14168 70528 | 5000 5635 889 | 0.000 % | 129.76/129.86 c | 177366 | 7316 14168 70528 | 5500 2918 841 | 0.000 % | 129.85/129.95 c | 177516 | 7316 14168 70528 | 6050 3068 846 | 0.000 % | 129.95/130.07 c | 177741 | 7316 14168 70528 | 6655 3293 852 | 0.000 % | 130.16/130.25 c | 178078 | 7316 14168 70528 | 7320 3630 862 | 0.000 % | 130.45/130.50 c | 178584 | 7316 14168 70528 | 8052 4136 872 | 0.000 % | 130.77/130.87 c | 179343 | 7316 14168 70528 | 8857 4895 882 | 0.000 % | 131.36/131.43 c | 180482 | 7316 14168 70528 | 9743 6034 891 | 0.000 % | 132.16/132.23 c | 182190 | 7316 14168 70528 | 10717 7742 905 | 0.000 % | 133.56/133.66 c | 184752 | 7316 14168 70528 | 11789 10304 910 | 0.000 % | 135.85/135.91 c | 188596 | 7316 14168 70528 | 12968 14148 922 | 0.000 % | 140.05/140.13 c | 194362 | 7316 14168 70528 | 14265 12840 935 | 0.000 % | 146.45/146.58 c | 203011 | 7316 14168 70528 | 15692 21489 943 | 0.000 % | 146.55/146.68 c =============================================================================== 146.55/146.68 c New solution: -34 146.55/146.68 o -34 146.55/146.68 c Elapsed CPU time: 145.064 s Remaining CPU time: 34.9361 s 146.55/146.68 c =============================================================================== 146.55/146.68 c | 203038 | 7316 14169 71028 | 5000 10697 945 | 0.000 % | 146.65/146.79 c | 203138 | 7316 14169 71028 | 5500 2775 948 | 0.000 % | 146.75/146.89 c | 203288 | 7316 14169 71028 | 6050 2925 947 | 0.000 % | 146.95/147.02 c | 203513 | 7316 14169 71028 | 6655 3150 946 | 0.000 % | 147.15/147.22 c | 203850 | 7316 14169 71028 | 7320 3487 947 | 0.000 % | 147.36/147.45 c | 204356 | 7316 14169 71028 | 8052 3993 947 | 0.000 % | 147.36/147.49 c =============================================================================== 147.36/147.49 c New solution: -35 147.36/147.49 o -35 147.36/147.49 c Elapsed CPU time: 145.849 s Remaining CPU time: 34.1512 s 147.36/147.49 c =============================================================================== 147.36/147.49 c | 204362 | 7316 14170 71528 | 5000 3999 946 | 0.000 % | 147.45/147.52 c =============================================================================== 147.45/147.52 c New solution: -36 147.45/147.52 o -36 147.45/147.52 c Elapsed CPU time: 145.883 s Remaining CPU time: 34.1172 s 147.45/147.52 c =============================================================================== 147.45/147.52 c | 204388 | 7316 14171 72028 | 5000 4025 941 | 0.000 % | 147.45/147.60 c | 204488 | 7316 14171 72028 | 5500 4125 941 | 0.000 % | 147.55/147.69 c | 204638 | 7316 14171 72028 | 6050 4275 941 | 0.000 % | 147.75/147.82 c | 204863 | 7316 14171 72028 | 6655 4500 941 | 0.000 % | 147.95/148.02 c | 205200 | 7316 14171 72028 | 7320 4837 941 | 0.000 % | 148.15/148.28 c | 205706 | 7316 14171 72028 | 8052 5343 942 | 0.000 % | 148.65/148.74 c | 206465 | 7316 14171 72028 | 8857 6102 941 | 0.000 % | 149.25/149.39 c | 207604 | 7316 14171 72028 | 9743 7241 942 | 0.000 % | 150.45/150.51 c | 209312 | 7316 14171 72028 | 10717 8949 938 | 0.000 % | 151.85/151.99 c | 211874 | 7316 14171 72028 | 11789 11511 939 | 0.000 % | 152.05/152.10 c =============================================================================== 152.05/152.10 c New solution: -37 152.05/152.10 o -37 152.05/152.10 c Elapsed CPU time: 150.399 s Remaining CPU time: 29.6009 s 152.05/152.10 c =============================================================================== 152.05/152.10 c | 211954 | 7316 14172 72528 | 5000 11591 935 | 0.000 % | 152.05/152.19 c | 212054 | 7316 14172 72528 | 5500 2998 924 | 0.000 % | 152.15/152.27 c | 212204 | 7316 14172 72528 | 6050 3148 925 | 0.000 % | 152.25/152.39 c | 212429 | 7316 14172 72528 | 6655 3373 926 | 0.000 % | 152.45/152.56 c | 212766 | 7316 14172 72528 | 7320 3710 927 | 0.000 % | 152.75/152.81 c | 213272 | 7316 14172 72528 | 8052 4216 930 | 0.000 % | 153.15/153.21 c | 214031 | 7316 14172 72528 | 8857 4975 932 | 0.000 % | 153.75/153.80 c | 215170 | 7316 14172 72528 | 9743 6114 933 | 0.000 % | 154.65/154.70 c | 216878 | 7316 14172 72528 | 10717 7822 936 | 0.000 % | 156.06/156.18 c | 219440 | 7316 14172 72528 | 11789 10384 933 | 0.000 % | 158.95/159.05 c | 223284 | 7316 14172 72528 | 12968 14228 931 | 0.000 % | 162.95/163.07 c | 229050 | 7316 14172 72528 | 14265 12880 935 | 0.000 % | 170.74/170.81 c | 237699 | 7316 14172 72528 | 15692 10710 947 | 0.000 % | 181.84/181.99 c There are 0 assigned variables. 0 in cost function. 182.24/182.36 c core #1 182.24/182.36 c 182.24/182.36 c 182.24/182.36 c Core size: 1001 Core Weight: 1 Total Weight: -499 182.24/182.36 c 182.24/182.36 c 182.24/182.36 c ============================[ Search Statistics ]============================== 182.24/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.36 c =============================================================================== 182.24/182.36 c | 0 | 7816 14676 74035 | 5000 0 nan | 0.000 % | 182.74/182.85 c | 100 | 7816 14676 74035 | 5500 100 142 | 0.512 % | 183.34/183.48 c | 250 | 7776 14676 74035 | 6050 248 170 | 1.011 % | 183.84/183.91 c =============================================================================== 183.94/184.01 c core #2 183.94/184.01 c 183.94/184.01 c 183.94/184.01 c Core size: 993 Core Weight: 1 Total Weight: -498 183.94/184.01 c 183.94/184.01 c 183.94/184.01 c ============================[ Search Statistics ]============================== 183.94/184.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.01 c =============================================================================== 183.94/184.01 c | 0 | 8316 14699 75101 | 5000 0 nan | 0.000 % | 184.44/184.51 c | 100 | 8316 14699 75101 | 5500 100 308 | 0.000 % | 184.84/184.92 c | 250 | 8316 14699 75101 | 6050 250 390 | 0.000 % | 185.54/185.69 c | 475 | 8316 14699 75101 | 6655 475 354 | 0.000 % | 186.84/187.00 c | 813 | 8316 14699 75101 | 7320 813 373 | 0.000 % | 188.94/189.03 c | 1319 | 8316 14699 75101 | 8052 1319 363 | 0.000 % | 191.83/191.93 c | 2081 | 8316 14699 75101 | 8857 2081 366 | 0.000 % | 195.44/195.52 c | 3220 | 8316 14699 75101 | 9743 3220 380 | 0.000 % | 201.33/201.42 c | 4928 | 8298 14699 75101 | 10717 4896 405 | 0.471 % | 209.94/210.02 c | 7490 | 8263 14699 75101 | 11789 7317 426 | 0.758 % | 223.43/223.57 c | 11358 | 8221 14699 75101 | 12968 10877 441 | 1.263 % | 244.03/244.13 c | 17128 | 8214 14699 75101 | 14265 9966 459 | 1.708 % | 274.52/274.63 c | 25777 | 8053 14699 75101 | 15692 8980 439 | 3.285 % | 316.41/316.54 c | 38751 | 7980 14699 75101 | 17261 13396 443 | 5.856 % | 374.69/374.89 c | 58212 | 7656 14699 75101 | 18987 13628 445 | 10.558 % | 465.66/465.89 c | 87404 | 6899 14699 75101 | 20886 20686 500 | 21.092 % | 550.24/550.47 c =============================================================================== 553.74/554.00 c core #3 553.74/554.00 c 553.74/554.00 c 553.74/554.00 c Core size: 570 Core Weight: 1 Total Weight: -497 553.74/554.00 c 553.74/554.00 c 553.74/554.00 c ============================[ Search Statistics ]============================== 553.74/554.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 553.74/554.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 553.74/554.00 c =============================================================================== 553.74/554.00 c | 0 | 8815 14879 76593 | 5000 0 nan | 0.000 % | 554.34/554.58 c | 100 | 8815 14879 76593 | 5500 100 593 | 0.000 % | 554.84/555.01 c | 278 | 8815 14879 76593 | 6050 278 541 | 0.000 % | 555.94/556.14 c | 503 | 8815 14879 76593 | 6655 503 449 | 0.000 % | 557.44/557.63 c | 841 | 8815 14879 76593 | 7320 841 452 | 0.000 % | 559.53/559.70 c | 1347 | 8815 14879 76593 | 8052 1347 461 | 0.000 % | 562.94/563.19 c | 2106 | 8815 14879 76593 | 8857 2106 480 | 0.000 % | 568.14/568.31 c | 3257 | 8815 14879 76593 | 9743 3257 518 | 0.000 % | 574.34/574.58 c | 4965 | 8815 14879 76593 | 10717 4965 521 | 0.000 % | 587.03/587.20 c | 7544 | 8815 14879 76593 | 11789 7544 534 | 0.000 % | 603.02/603.20 c | 11388 | 8815 14879 76593 | 12968 11388 570 | 0.000 % | 631.62/631.88 c | 17154 | 8815 14879 76593 | 14265 10537 587 | 0.000 % | 667.70/667.90 c | 25803 | 8815 14879 76593 | 15692 10938 616 | 0.000 % | 725.59/725.82 c | 38777 | 8815 14879 76593 | 17261 15969 613 | 0.000 % | 801.67/801.98 c | 58238 | 8815 14879 76593 | 18987 16717 691 | 0.000 % | 925.33/925.61 c | 87430 | 8815 14879 76593 | 20886 14796 702 | 0.000 % | 1099.79/1100.13 c | 131255 | 8815 14879 76593 | 22974 22488 646 | 0.000 % | 1351.82/1352.23 c | 196952 | 8815 14879 76593 | 25272 14475 659 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702625-1278572906/watcher-2702625-1278572906 -o /tmp/evaluation-result-2702625-1278572906/solver-2702625-1278572906 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702625-1278572906.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.08 0.44 3/105 32226 /proc/meminfo: memFree=1853116/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=3652 CPUtime=0 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 404 0 0 0 0 0 0 0 18 0 1 0 25497357 3739648 323 1992294400 134512640 135752675 4288478768 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 913 324 137 303 0 469 0 [startup+0.040202 s] /proc/loadavg: 0.00 0.08 0.44 3/105 32226 /proc/meminfo: memFree=1853116/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=4784 CPUtime=0.03 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 703 0 0 0 3 0 0 0 18 0 1 0 25497357 4898816 622 1992294400 134512640 135752675 4288478768 18446744073709551615 134564733 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 1196 622 175 303 0 752 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4784 [startup+0.101209 s] /proc/loadavg: 0.00 0.08 0.44 3/105 32226 /proc/meminfo: memFree=1853116/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=5708 CPUtime=0.09 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 1029 0 0 0 9 0 0 0 21 0 1 0 25497357 5844992 948 1992294400 134512640 135752675 4288478768 18446744073709551615 135197089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 1427 948 256 303 0 983 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5708 [startup+0.301235 s] /proc/loadavg: 0.00 0.08 0.44 3/105 32226 /proc/meminfo: memFree=1853116/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=7444 CPUtime=0.29 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 1598 0 0 0 28 1 0 0 21 0 1 0 25497357 7622656 1378 1992294400 134512640 135752675 4288478768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 1861 1378 144 303 0 1556 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7444 [startup+0.701286 s] /proc/loadavg: 0.00 0.08 0.44 3/105 32226 /proc/meminfo: memFree=1853116/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=9688 CPUtime=0.69 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 2170 0 0 0 67 2 0 0 22 0 1 0 25497357 9920512 1950 1992294400 134512640 135752675 4288478768 18446744073709551615 134638295 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 2422 1951 145 303 0 2117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9688 [startup+1.50139 s] /proc/loadavg: 0.00 0.08 0.44 2/106 32227 /proc/meminfo: memFree=1844056/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=15440 CPUtime=1.49 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 3620 0 0 0 145 4 0 0 25 0 1 0 25497357 15810560 3400 1992294400 134512640 135752675 4288478768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 3860 3400 145 303 0 3555 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15440 [startup+3.10059 s] /proc/loadavg: 0.00 0.08 0.44 2/106 32227 /proc/meminfo: memFree=1834880/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=27892 CPUtime=3.09 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 6722 0 0 0 301 8 0 0 25 0 1 0 25497357 28561408 6502 1992294400 134512640 135752675 4288478768 18446744073709551615 134638470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 6973 6502 145 303 0 6668 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27892 [startup+6.30099 s] /proc/loadavg: 0.08 0.09 0.44 2/106 32228 /proc/meminfo: memFree=1810824/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=50016 CPUtime=6.29 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 12272 0 0 0 616 13 0 0 25 0 1 0 25497357 51216384 12052 1992294400 134512640 135752675 4288478768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 12504 12052 145 303 0 12199 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50016 [startup+12.7008 s] /proc/loadavg: 0.15 0.11 0.44 2/106 32229 /proc/meminfo: memFree=1762340/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=98104 CPUtime=12.69 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 24276 0 0 0 1243 26 0 0 25 0 1 0 25497357 100458496 24056 1992294400 134512640 135752675 4288478768 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 24526 24057 145 303 0 24221 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 98104 [startup+25.5014 s] /proc/loadavg: 0.34 0.15 0.45 2/106 32229 /proc/meminfo: memFree=1680376/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=176072 CPUtime=25.48 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 43781 0 0 0 2509 39 0 0 25 0 1 0 25497357 180297728 43561 1992294400 134512640 135752675 4288478768 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 44018 43561 145 303 0 43713 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 176072 [startup+51.1017 s] /proc/loadavg: 0.56 0.22 0.46 2/106 32229 /proc/meminfo: memFree=1564560/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=291532 CPUtime=51.08 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 72647 0 0 0 5047 61 0 0 25 0 1 0 25497357 298528768 72427 1992294400 134512640 135752675 4288478768 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 72883 72427 145 303 0 72578 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 291532 [startup+102.308 s] /proc/loadavg: 0.81 0.34 0.49 2/106 32231 /proc/meminfo: memFree=1314204/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=540200 CPUtime=102.27 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 134799 0 0 0 10119 108 0 0 25 0 1 0 25497357 553164800 134579 1992294400 134512640 135752675 4288478768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 135050 134579 145 303 0 134745 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 540200 [startup+162.302 s] /proc/loadavg: 0.93 0.45 0.52 2/106 32233 /proc/meminfo: memFree=981264/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=875732 CPUtime=162.24 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 218673 0 0 0 16047 177 0 0 25 0 1 0 25497357 896749568 218453 1992294400 134512640 135752675 4288478768 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 218933 218453 145 303 0 218628 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 875732 [startup+222.301 s] /proc/loadavg: 0.97 0.55 0.55 2/106 32233 /proc/meminfo: memFree=888388/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=964204 CPUtime=222.23 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 241014 0 0 0 22021 202 0 0 25 0 1 0 25497357 987344896 240601 1992294400 134512640 135752675 4288478768 18446744073709551615 134637918 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 241051 240601 146 303 0 240746 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 964204 [startup+282.301 s] /proc/loadavg: 0.99 0.63 0.57 2/106 32235 /proc/meminfo: memFree=860116/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=993292 CPUtime=282.21 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 248311 0 0 0 28006 215 0 0 25 0 1 0 25497357 1017131008 247898 1992294400 134512640 135752675 4288478768 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 248323 247898 146 303 0 248018 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 993292 [startup+342.301 s] /proc/loadavg: 0.99 0.69 0.59 2/106 32237 /proc/meminfo: memFree=805556/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1047544 CPUtime=342.2 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 261861 0 0 0 33987 233 0 0 25 0 1 0 25497357 1072685056 261448 1992294400 134512640 135752675 4288478768 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 261886 261448 146 303 0 261581 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1047544 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.62 2/106 32239 /proc/meminfo: memFree=749756/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1103952 CPUtime=402.18 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 275958 0 0 0 39967 251 0 0 25 0 1 0 25497357 1130446848 275545 1992294400 134512640 135752675 4288478768 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 275988 275545 146 303 0 275683 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1103952 [startup+462.302 s] /proc/loadavg: 0.99 0.79 0.64 2/106 32241 /proc/meminfo: memFree=696932/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1155912 CPUtime=462.16 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 288955 0 0 0 45949 267 0 0 25 0 1 0 25497357 1183653888 288542 1992294400 134512640 135752675 4288478768 18446744073709551615 134637647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 288978 288543 146 303 0 288673 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1155912 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.66 2/106 32241 /proc/meminfo: memFree=649564/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1203628 CPUtime=522.14 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 300875 0 0 0 51933 281 0 0 25 0 1 0 25497357 1232515072 300462 1992294400 134512640 135752675 4288478768 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 300907 300462 146 303 0 300602 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1203628 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.68 2/106 32243 /proc/meminfo: memFree=625136/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1227216 CPUtime=582.13 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 306780 0 0 0 57918 295 0 0 25 0 1 0 25497357 1256669184 306367 1992294400 134512640 135752675 4288478768 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 306804 306367 146 303 0 306499 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1227216 [startup+642.301 s] /proc/loadavg: 0.99 0.88 0.69 2/106 32245 /proc/meminfo: memFree=625012/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1227216 CPUtime=642.12 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 306780 0 0 0 63911 301 0 0 25 0 1 0 25497357 1256669184 306367 1992294400 134512640 135752675 4288478768 18446744073709551615 134643632 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 306804 306367 146 303 0 306499 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1227216 [startup+702.302 s] /proc/loadavg: 0.99 0.90 0.71 2/106 32250 /proc/meminfo: memFree=597360/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1254560 CPUtime=702.1 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 313623 0 0 0 69897 313 0 0 25 0 1 0 25497357 1284669440 313210 1992294400 134512640 135752675 4288478768 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 313640 313210 146 303 0 313335 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1254560 [startup+762.308 s] /proc/loadavg: 0.99 0.91 0.73 2/106 32252 /proc/meminfo: memFree=555200/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1296400 CPUtime=762.08 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 324066 0 0 0 75879 329 0 0 25 0 1 0 25497357 1327513600 323653 1992294400 134512640 135752675 4288478768 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 324100 323654 146 303 0 323795 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1296400 [startup+822.302 s] /proc/loadavg: 0.99 0.93 0.74 2/106 32252 /proc/meminfo: memFree=507088/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1345044 CPUtime=822.07 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 336226 0 0 0 81861 346 0 0 25 0 1 0 25497357 1377325056 335813 1992294400 134512640 135752675 4288478768 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 336261 335813 146 303 0 335956 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1345044 [startup+882.301 s] /proc/loadavg: 0.99 0.94 0.75 2/106 32254 /proc/meminfo: memFree=456992/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1394616 CPUtime=882.05 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 348620 0 0 0 87844 361 0 0 25 0 1 0 25497357 1428086784 348207 1992294400 134512640 135752675 4288478768 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 348654 348207 146 303 0 348349 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1394616 [startup+942.302 s] /proc/loadavg: 0.99 0.95 0.76 2/106 32256 /proc/meminfo: memFree=405036/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1446964 CPUtime=942.03 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 361706 0 0 0 93826 377 0 0 25 0 1 0 25497357 1481691136 361293 1992294400 134512640 135752675 4288478768 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 361741 361293 146 303 0 361436 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1446964 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.77 2/106 32258 /proc/meminfo: memFree=348864/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1502596 CPUtime=1002.01 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 375632 0 0 0 99808 393 0 0 25 0 1 0 25497357 1538658304 375219 1992294400 134512640 135752675 4288478768 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 375649 375219 146 303 0 375344 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1502596 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.79 2/106 32260 /proc/meminfo: memFree=297652/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1554404 CPUtime=1062 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 388563 0 0 0 105790 410 0 0 25 0 1 0 25497357 1591709696 388150 1992294400 134512640 135752675 4288478768 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 388601 388150 146 303 0 388296 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1554404 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.80 2/106 32260 /proc/meminfo: memFree=239372/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1612144 CPUtime=1121.98 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 403020 0 0 0 111769 429 0 0 25 0 1 0 25497357 1650835456 402607 1992294400 134512640 135752675 4288478768 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 403036 402607 146 303 0 402731 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1612144 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.81 2/106 32262 /proc/meminfo: memFree=184936/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1667104 CPUtime=1181.96 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 416732 0 0 0 117752 444 0 0 25 0 1 0 25497357 1707114496 416319 1992294400 134512640 135752675 4288478768 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 416776 416319 146 303 0 416471 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1667104 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.82 2/106 32264 /proc/meminfo: memFree=126780/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1724320 CPUtime=1241.95 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 431064 0 0 0 123728 467 0 0 25 0 1 0 25497357 1765703680 430651 1992294400 134512640 135752675 4288478768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 431080 430651 146 303 0 430775 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1724320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.83 2/106 32266 /proc/meminfo: memFree=62672/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1787880 CPUtime=1301.93 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 446936 0 0 0 129705 488 0 0 25 0 1 0 25497357 1830789120 446523 1992294400 134512640 135752675 4288478768 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 446970 446523 146 303 0 446665 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1787880 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1356.7 s] /proc/loadavg: 0.99 0.97 0.83 2/106 32267 /proc/meminfo: memFree=10540/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=1843256 CPUtime=1356.32 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4202496 460773 0 0 0 135126 506 0 0 25 0 1 0 25497357 1887494144 460360 1992294400 134512640 135752675 4288478768 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32226/statm: 460814 460360 146 303 0 460509 0 Current children cumulated CPU time (s) 1356.32 Current children cumulated vsize (KiB) 1843256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1356.81 s] /proc/loadavg: 0.99 0.97 0.83 2/106 32267 /proc/meminfo: memFree=10540/2059040 swapFree=4139412/4192956 [pid=32226] ppid=32224 vsize=0 CPUtime=1356.42 /proc/32226/stat : 32226 (wbo1.4b) R 32224 32226 32191 0 -1 4203524 460773 0 0 0 135126 516 0 0 25 0 1 0 25497357 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32226/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1356.42 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1356.88 CPU time (s): 1356.5 CPU user time (s): 1351.26 CPU system time (s): 5.2352 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1843256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1351.26 system time used= 5.2352 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460773 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 4460 runsolver used 2.23066 second user time and 6.42802 second system time The end
Begin job on node054 at 2010-07-08 09:08:27 IDJOB=2702625 IDBENCH=48247 IDSOLVER=1190 FILE ID=node054/2702625-1278572906 PBS_JOBID= 11240073 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702625-1278572906/watcher-2702625-1278572906 -o /tmp/evaluation-result-2702625-1278572906/solver-2702625-1278572906 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702625-1278572906.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED=177019758 node054.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.239 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.47 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.239 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854140 kB Buffers: 16872 kB Cached: 97640 kB SwapCached: 7528 kB Active: 98856 kB Inactive: 29548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854140 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2896 kB Writeback: 0 kB AnonPages: 11504 kB Mapped: 11956 kB Slab: 54564 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179152 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702625-1278572906.opb Free space on /tmp at the end= 62456 MiB End job on node054 at 2010-07-08 09:31:06