Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | -76 | 102.353 | 102.388 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb |
MD5SUM | c18c3db09a696b172987b81aa567120d |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -76 |
Best CPU time to get the best result obtained on this benchmark | 5.51416 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 29096 |
Number of constraints which are clauses | 29096 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 341 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 341 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655737-1276685641.opb. 0.00/0.00 c Instance file HOME/instance-2655737-1276685641.opb 0.00/0.00 c File size is 961931 bytes. 0.10/0.13 c Highest Coefficient sum: 4 0.10/0.13 c ============================[ Problem Statistics ]============================= 0.10/0.13 c | | 0.10/0.13 c | Parsing time: 0.13 s | 0.10/0.13 c | Number Variables: 2025 | 0.10/0.13 c | Number Clauses: 29096 | 0.10/0.13 c | Number Cardinality: 0 | 0.10/0.13 c | Number PB Constraints: 0 | 0.10/0.18 c ============================[ Search Statistics ]============================== 0.10/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.18 c =============================================================================== 0.10/0.18 c | 0 | 1996 29125 86118 | 9698 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c New solution: 341 0.10/0.19 o 341 0.10/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 1996 29126 86253 | 9708 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c New solution: 337 0.10/0.19 o 337 0.10/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 1996 29127 86388 | 9709 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 336 0.19/0.20 o 336 0.19/0.20 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1 | 1996 29128 86523 | 9709 1 132 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 335 0.19/0.20 o 335 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1 | 1996 29129 86658 | 9709 1 132 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 334 0.19/0.21 o 334 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1 | 1996 29130 86793 | 9710 1 132 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 333 0.19/0.22 o 333 0.19/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 1996 29131 86928 | 9710 1 132 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 332 0.19/0.22 o 332 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 1996 29132 87063 | 9710 1 132 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 331 0.19/0.23 o 331 0.19/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 1996 29133 87198 | 9711 1 132 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 330 0.19/0.23 o 330 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 2 | 1996 29134 87333 | 9711 2 130 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 329 0.19/0.24 o 329 0.19/0.24 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 4 | 1996 29135 87468 | 9711 4 98 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 328 0.19/0.25 o 328 0.19/0.25 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 5 | 1996 29136 87603 | 9712 5 104 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 327 0.19/0.25 o 327 0.19/0.25 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 8 | 1996 29137 87738 | 9712 8 98 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 326 0.19/0.26 o 326 0.19/0.26 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 9 | 1996 29138 87873 | 9712 9 102 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 325 0.19/0.27 o 325 0.19/0.27 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 9 | 1996 29139 88008 | 9713 9 102 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 324 0.19/0.27 o 324 0.19/0.27 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 12 | 1996 29140 88143 | 9713 12 87 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 323 0.19/0.28 o 323 0.19/0.28 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 13 | 1996 29141 88278 | 9713 13 81 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 322 0.19/0.29 o 322 0.19/0.29 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 27 | 1996 29142 88413 | 9714 27 95 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 321 0.19/0.29 o 321 0.19/0.29 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 27 | 1996 29143 88548 | 9714 27 95 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 320 0.29/0.30 o 320 0.29/0.30 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 35 | 1996 29144 88683 | 9714 35 98 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 319 0.29/0.30 o 319 0.29/0.30 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 35 | 1996 29145 88818 | 9715 35 98 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 318 0.29/0.31 o 318 0.29/0.31 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 38 | 1996 29146 88953 | 9715 38 100 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 317 0.29/0.32 o 317 0.29/0.32 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 38 | 1996 29147 89088 | 9715 38 100 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 316 0.29/0.32 o 316 0.29/0.32 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 41 | 1996 29148 89223 | 9716 41 102 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 315 0.29/0.33 o 315 0.29/0.33 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 44 | 1996 29149 89358 | 9716 44 103 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 314 0.29/0.34 o 314 0.29/0.34 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 46 | 1996 29150 89493 | 9716 46 104 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 313 0.29/0.35 o 313 0.29/0.35 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 58 | 1996 29151 89628 | 9717 58 103 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 312 0.29/0.36 o 312 0.29/0.36 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 115 | 1996 29152 89763 | 9717 115 105 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 311 0.29/0.37 o 311 0.29/0.37 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 213 | 1996 29153 89898 | 9717 213 106 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 310 0.29/0.38 o 310 0.29/0.38 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 213 | 1996 29154 90033 | 9718 213 106 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 309 0.29/0.39 o 309 0.29/0.39 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 213 | 1996 29155 90168 | 9718 213 106 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 308 0.29/0.39 o 308 0.29/0.39 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 219 | 1996 29156 90303 | 9718 219 106 | 0.000 % | 0.40/0.41 c =============================================================================== 0.40/0.41 c New solution: 307 0.40/0.41 o 307 0.40/0.41 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s 0.40/0.41 c =============================================================================== 0.40/0.41 c | 300 | 1996 29157 90438 | 9719 300 106 | 0.000 % | 0.40/0.42 c =============================================================================== 0.40/0.42 c New solution: 306 0.40/0.42 o 306 0.40/0.42 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.40/0.42 c =============================================================================== 0.40/0.42 c | 305 | 1996 29158 90573 | 9719 305 107 | 0.000 % | 0.40/0.43 c =============================================================================== 0.40/0.43 c New solution: 305 0.40/0.43 o 305 0.40/0.43 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s 0.40/0.43 c =============================================================================== 0.40/0.43 c | 332 | 1996 29159 90708 | 9719 332 107 | 0.000 % | 0.40/0.44 c =============================================================================== 0.40/0.44 c New solution: 304 0.40/0.44 o 304 0.40/0.44 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s 0.40/0.44 c =============================================================================== 0.40/0.44 c | 341 | 1996 29160 90843 | 9720 341 107 | 0.000 % | 0.40/0.44 c =============================================================================== 0.40/0.44 c New solution: 303 0.40/0.44 o 303 0.40/0.44 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s 0.40/0.44 c =============================================================================== 0.40/0.44 c | 341 | 1996 29161 90978 | 9720 341 107 | 0.000 % | 0.40/0.45 c =============================================================================== 0.40/0.45 c New solution: 302 0.40/0.45 o 302 0.40/0.45 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s 0.40/0.45 c =============================================================================== 0.40/0.45 c | 341 | 1996 29162 91113 | 9720 341 107 | 0.000 % | 0.40/0.46 c =============================================================================== 0.40/0.46 c New solution: 301 0.40/0.46 o 301 0.40/0.46 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s 0.40/0.46 c =============================================================================== 0.40/0.46 c | 386 | 1996 29163 91248 | 9721 386 107 | 0.000 % | 0.40/0.47 c | 486 | 1996 29163 91248 | 10693 486 107 | 1.432 % | 0.40/0.49 c =============================================================================== 0.40/0.49 c New solution: 300 0.40/0.49 o 300 0.40/0.49 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s 0.40/0.49 c =============================================================================== 0.40/0.49 c | 557 | 1996 29164 91383 | 9721 557 107 | 1.432 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 299 0.49/0.50 o 299 0.49/0.50 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 557 | 1996 29165 91518 | 9721 557 107 | 1.432 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 298 0.49/0.51 o 298 0.49/0.51 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 566 | 1996 29166 91653 | 9722 566 107 | 1.432 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 296 0.49/0.51 o 296 0.49/0.51 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 566 | 1996 29167 91788 | 9722 566 107 | 1.432 % | 0.49/0.52 c | 667 | 1996 29167 91788 | 10694 667 108 | 1.432 % | 0.49/0.54 c | 818 | 1996 29167 91788 | 11764 818 108 | 1.432 % | 0.49/0.58 c | 1045 | 1996 29167 91788 | 12940 1045 107 | 1.432 % | 0.60/0.64 c | 1383 | 1996 29167 91788 | 14234 1383 106 | 1.432 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 295 0.69/0.71 o 295 0.69/0.71 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 1833 | 1996 29168 91923 | 9722 1833 106 | 1.432 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 293 0.69/0.71 o 293 0.69/0.71 c Elapsed CPU time: 0.6539 s Remaining CPU time: 179.346 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 1835 | 1996 29169 92058 | 9723 1835 106 | 1.432 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 292 0.69/0.73 o 292 0.69/0.73 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 1918 | 1996 29170 92193 | 9723 1918 106 | 1.432 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 291 0.69/0.74 o 291 0.69/0.74 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 1918 | 1996 29171 92328 | 9723 1918 106 | 1.432 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 289 0.69/0.75 o 289 0.69/0.75 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 1918 | 1996 29172 92463 | 9724 1918 106 | 1.432 % | 0.69/0.77 c | 2019 | 1996 29172 92463 | 10696 2019 106 | 1.432 % | 0.79/0.81 c | 2169 | 1996 29172 92463 | 11766 2169 106 | 1.432 % | 0.79/0.86 c | 2395 | 1996 29172 92463 | 12942 2395 107 | 1.432 % | 0.89/0.93 c | 2732 | 1996 29172 92463 | 14236 2732 107 | 1.432 % | 0.99/1.02 c | 3239 | 1996 29172 92463 | 15660 3239 107 | 1.432 % | 1.19/1.23 c | 4002 | 1996 29172 92463 | 17226 4002 107 | 1.432 % | 1.59/1.61 c | 5141 | 1996 29172 92463 | 18949 5141 107 | 1.432 % | 2.29/2.36 c | 6850 | 1996 29172 92463 | 20844 6850 107 | 1.432 % | 2.39/2.42 c =============================================================================== 2.39/2.42 c New solution: 288 2.39/2.42 o 288 2.39/2.42 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s 2.39/2.42 c =============================================================================== 2.39/2.42 c | 6986 | 1996 29173 92598 | 9724 6986 107 | 1.432 % | 2.39/2.46 c | 7087 | 1996 29173 92598 | 10696 7087 107 | 1.432 % | 2.49/2.55 c | 7239 | 1996 29173 92598 | 11766 7239 107 | 1.432 % | 2.69/2.73 c | 7466 | 1996 29173 92598 | 12943 7466 107 | 1.432 % | 2.89/2.98 c | 7804 | 1996 29173 92598 | 14237 7804 107 | 1.432 % | 3.09/3.16 c | 8312 | 1996 29173 92598 | 15661 8312 107 | 1.432 % | 3.39/3.45 c | 9072 | 1996 29173 92598 | 17227 9072 107 | 1.432 % | 3.99/4.10 c | 10212 | 1996 29173 92598 | 18949 10212 107 | 1.432 % | 5.50/5.54 c | 11920 | 1996 29173 92598 | 20844 11920 107 | 1.432 % | 7.69/7.71 c | 14483 | 1996 29173 92598 | 22929 14483 107 | 1.432 % | 10.28/10.37 c | 18327 | 1996 29173 92598 | 25222 18327 107 | 1.432 % | 12.99/13.05 c =============================================================================== 12.99/13.05 c New solution: 287 12.99/13.05 o 287 12.99/13.05 c Elapsed CPU time: 12.905 s Remaining CPU time: 167.095 s 12.99/13.05 c =============================================================================== 12.99/13.05 c | 19990 | 1996 29174 92733 | 9724 19990 107 | 1.432 % | 13.19/13.22 c | 20090 | 1996 29174 92733 | 10697 5098 99 | 1.432 % | 13.19/13.28 c | 20242 | 1996 29174 92733 | 11766 5250 99 | 1.432 % | 13.29/13.38 c | 20468 | 1996 29174 92733 | 12943 5476 99 | 1.432 % | 13.39/13.50 c | 20809 | 1996 29174 92733 | 14237 5817 100 | 1.432 % | 13.68/13.74 c | 21315 | 1996 29174 92733 | 15661 6323 100 | 1.432 % | 13.88/13.93 c =============================================================================== 13.88/13.93 c New solution: 286 13.88/13.93 o 286 13.88/13.93 c Elapsed CPU time: 13.7789 s Remaining CPU time: 166.221 s 13.88/13.93 c =============================================================================== 13.88/13.93 c | 21891 | 1996 29175 92868 | 9725 6899 101 | 1.432 % | 13.88/13.97 c | 21991 | 1996 29175 92868 | 10697 6999 101 | 1.432 % | 13.99/14.06 c | 22141 | 1996 29175 92868 | 11767 7149 101 | 1.432 % | 14.19/14.21 c | 22366 | 1996 29175 92868 | 12943 7374 102 | 1.432 % | 14.29/14.36 c | 22705 | 1996 29175 92868 | 14238 7713 102 | 1.432 % | 14.38/14.48 c =============================================================================== 14.38/14.48 c New solution: 285 14.38/14.48 o 285 14.38/14.48 c Elapsed CPU time: 14.3218 s Remaining CPU time: 165.678 s 14.38/14.48 c =============================================================================== 14.38/14.48 c | 22934 | 1996 29176 93003 | 9725 7942 102 | 1.432 % | 14.48/14.52 c | 23035 | 1996 29176 93003 | 10697 8043 102 | 1.432 % | 14.48/14.58 c | 23186 | 1996 29176 93003 | 11767 8194 102 | 1.432 % | 14.68/14.74 c | 23411 | 1996 29176 93003 | 12944 8419 102 | 1.432 % | 14.88/14.98 c | 23748 | 1996 29176 93003 | 14238 8756 102 | 1.432 % | 15.18/15.26 c | 24254 | 1996 29176 93003 | 15662 9262 103 | 1.432 % | 15.18/15.28 c =============================================================================== 15.18/15.28 c New solution: 284 15.18/15.28 o 284 15.18/15.28 c Elapsed CPU time: 15.1247 s Remaining CPU time: 164.875 s 15.18/15.28 c =============================================================================== 15.18/15.28 c | 24303 | 1996 29177 93138 | 9725 9311 103 | 1.432 % | 15.18/15.29 c =============================================================================== 15.18/15.29 c New solution: 283 15.18/15.29 o 283 15.18/15.29 c Elapsed CPU time: 15.1317 s Remaining CPU time: 164.868 s 15.18/15.29 c =============================================================================== 15.18/15.29 c | 24303 | 1996 29178 93273 | 9726 9311 103 | 1.432 % | 15.30/15.30 c =============================================================================== 15.30/15.30 c New solution: 282 15.30/15.30 o 282 15.30/15.30 c Elapsed CPU time: 15.1407 s Remaining CPU time: 164.859 s 15.30/15.30 c =============================================================================== 15.30/15.30 c | 24303 | 1996 29179 93408 | 9726 9311 103 | 1.432 % | 15.30/15.36 c | 24403 | 1996 29179 93408 | 10698 9411 103 | 1.432 % | 15.49/15.50 c | 24553 | 1996 29179 93408 | 11768 9561 103 | 1.432 % | 15.69/15.71 c | 24780 | 1996 29179 93408 | 12945 9788 103 | 1.432 % | 15.89/15.93 c | 25119 | 1996 29179 93408 | 14240 10127 103 | 1.432 % | 16.08/16.10 c | 25625 | 1996 29179 93408 | 15664 10633 103 | 1.432 % | 16.58/16.69 c | 26385 | 1996 29179 93408 | 17230 11393 103 | 1.432 % | 17.79/17.84 c | 27527 | 1996 29179 93408 | 18953 12535 103 | 1.432 % | 19.88/19.93 c | 29235 | 1996 29179 93408 | 20849 14243 103 | 1.432 % | 22.09/22.15 c =============================================================================== 22.09/22.15 c New solution: 281 22.09/22.15 o 281 22.09/22.15 c Elapsed CPU time: 21.9557 s Remaining CPU time: 158.044 s 22.09/22.15 c =============================================================================== 22.09/22.15 c | 31231 | 1996 29180 93543 | 9726 16239 104 | 1.432 % | 22.19/22.29 c =============================================================================== 22.19/22.29 c New solution: 279 22.19/22.29 o 279 22.19/22.29 c Elapsed CPU time: 22.0896 s Remaining CPU time: 157.91 s 22.19/22.29 c =============================================================================== 22.19/22.29 c | 31238 | 1996 29181 93678 | 9727 8127 97 | 1.432 % | 22.28/22.33 c | 31338 | 1996 29181 93678 | 10699 8227 98 | 1.432 % | 22.38/22.44 c | 31489 | 1996 29181 93678 | 11769 8378 98 | 1.432 % | 22.48/22.58 c | 31717 | 1996 29181 93678 | 12946 8606 98 | 1.432 % | 22.88/22.90 c | 32054 | 1996 29181 93678 | 14241 8943 98 | 1.432 % | 23.28/23.33 c | 32560 | 1996 29181 93678 | 15665 9449 98 | 1.432 % | 23.98/24.04 c | 33319 | 1996 29181 93678 | 17231 10208 98 | 1.432 % | 25.09/25.14 c | 34458 | 1996 29181 93678 | 18955 11347 99 | 1.432 % | 26.58/26.65 c | 36168 | 1996 29181 93678 | 20850 13057 99 | 1.432 % | 29.18/29.25 c | 38733 | 1996 29181 93678 | 22935 15622 100 | 1.432 % | 32.88/32.96 c | 42579 | 1996 29181 93678 | 25229 19468 101 | 1.432 % | 39.08/39.10 c =============================================================================== 39.08/39.10 c New solution: 278 39.08/39.10 o 278 39.08/39.10 c Elapsed CPU time: 38.8271 s Remaining CPU time: 141.173 s 39.08/39.10 c =============================================================================== 39.08/39.10 c | 46586 | 1996 29182 93813 | 9727 23475 102 | 1.432 % | 39.78/39.86 c | 46686 | 1996 29182 93813 | 10700 5969 89 | 1.432 % | 39.88/39.97 c | 46836 | 1996 29182 93813 | 11770 6119 90 | 1.432 % | 40.08/40.11 c | 47061 | 1996 29182 93813 | 12947 6344 90 | 1.432 % | 40.28/40.30 c | 47398 | 1996 29182 93813 | 14241 6681 91 | 1.432 % | 40.47/40.59 c | 47907 | 1996 29182 93813 | 15665 7190 91 | 1.432 % | 40.88/40.99 c | 48668 | 1996 29182 93813 | 17232 7951 92 | 1.432 % | 41.38/41.49 c | 49808 | 1996 29182 93813 | 18955 9091 94 | 1.432 % | 42.48/42.52 c | 51516 | 1996 29182 93813 | 20851 10799 95 | 1.432 % | 44.68/44.77 c | 54079 | 1996 29182 93813 | 22936 13362 97 | 1.432 % | 48.98/49.02 c | 57924 | 1996 29182 93813 | 25230 17207 98 | 1.432 % | 55.47/55.50 c =============================================================================== 55.47/55.50 c New solution: 277 55.47/55.50 o 277 55.47/55.50 c Elapsed CPU time: 55.1486 s Remaining CPU time: 124.851 s 55.47/55.50 c =============================================================================== 55.47/55.50 c | 62629 | 1996 29183 93948 | 9727 21912 99 | 1.432 % | 55.77/55.82 c =============================================================================== 55.77/55.82 c New solution: 276 55.77/55.82 o 276 55.77/55.82 c Elapsed CPU time: 55.4686 s Remaining CPU time: 124.531 s 55.77/55.82 c =============================================================================== 55.77/55.82 c | 62639 | 1996 29184 94083 | 9728 5488 85 | 1.432 % | 55.77/55.83 c =============================================================================== 55.77/55.83 c New solution: 275 55.77/55.83 o 275 55.77/55.83 c Elapsed CPU time: 55.4766 s Remaining CPU time: 124.523 s 55.77/55.83 c =============================================================================== 55.77/55.83 c | 62643 | 1996 29185 94218 | 9728 5492 85 | 1.432 % | 55.77/55.83 c =============================================================================== 55.77/55.83 c New solution: 274 55.77/55.83 o 274 55.77/55.83 c Elapsed CPU time: 55.4826 s Remaining CPU time: 124.517 s 55.77/55.83 c =============================================================================== 55.77/55.83 c | 62646 | 1996 29186 94353 | 9728 5495 85 | 1.432 % | 55.77/55.87 c | 62747 | 1996 29186 94353 | 10701 5596 85 | 1.432 % | 55.88/55.95 c | 62899 | 1996 29186 94353 | 11771 5748 86 | 1.432 % | 55.98/56.05 c | 63129 | 1996 29186 94353 | 12948 5978 86 | 1.432 % | 56.18/56.20 c | 63467 | 1996 29186 94353 | 14243 6316 87 | 1.432 % | 56.27/56.39 c | 63975 | 1996 29186 94353 | 15668 6824 88 | 1.432 % | 56.68/56.79 c | 64735 | 1996 29186 94353 | 17234 7584 90 | 1.432 % | 57.38/57.48 c | 65879 | 1996 29186 94353 | 18958 8728 91 | 1.432 % | 58.58/58.67 c =============================================================================== 58.58/58.67 c New solution: 273 58.58/58.67 o 273 58.58/58.67 c Elapsed CPU time: 58.2881 s Remaining CPU time: 121.712 s 58.58/58.67 c =============================================================================== 58.58/58.67 c | 67577 | 1996 29187 94488 | 9729 10426 93 | 1.432 % | 58.67/58.73 c =============================================================================== 58.67/58.73 c New solution: 272 58.67/58.73 o 272 58.67/58.73 c Elapsed CPU time: 58.3531 s Remaining CPU time: 121.647 s 58.67/58.73 c =============================================================================== 58.67/58.73 c | 67577 | 1996 29188 94623 | 9729 5213 83 | 1.432 % | 58.67/58.75 c =============================================================================== 58.67/58.75 c New solution: 271 58.67/58.75 o 271 58.67/58.75 c Elapsed CPU time: 58.3741 s Remaining CPU time: 121.626 s 58.67/58.75 c =============================================================================== 58.67/58.75 c | 67594 | 1996 29189 94758 | 9729 5230 83 | 1.432 % | 58.67/58.76 c =============================================================================== 58.67/58.76 c New solution: 270 58.67/58.76 o 270 58.67/58.76 c Elapsed CPU time: 58.3821 s Remaining CPU time: 121.618 s 58.67/58.76 c =============================================================================== 58.67/58.76 c | 67594 | 1996 29190 94893 | 9730 5230 83 | 1.432 % | 58.67/58.77 c =============================================================================== 58.67/58.77 c New solution: 269 58.67/58.77 o 269 58.67/58.77 c Elapsed CPU time: 58.3911 s Remaining CPU time: 121.609 s 58.67/58.77 c =============================================================================== 58.67/58.77 c | 67598 | 1996 29191 95028 | 9730 5234 83 | 1.432 % | 58.67/58.78 c =============================================================================== 58.67/58.78 c New solution: 268 58.67/58.78 o 268 58.67/58.78 c Elapsed CPU time: 58.3961 s Remaining CPU time: 121.604 s 58.67/58.78 c =============================================================================== 58.67/58.78 c | 67598 | 1996 29192 95163 | 9730 5234 83 | 1.432 % | 58.78/58.84 c | 67698 | 1996 29192 95163 | 10703 5334 83 | 1.432 % | 58.88/58.92 c | 67851 | 1996 29192 95163 | 11774 5487 83 | 1.432 % | 58.97/59.03 c | 68079 | 1996 29192 95163 | 12951 5715 84 | 1.432 % | 59.17/59.20 c | 68417 | 1996 29192 95163 | 14246 6053 84 | 1.432 % | 59.47/59.52 c | 68928 | 1996 29192 95163 | 15671 6564 85 | 1.432 % | 59.87/59.93 c | 69690 | 1996 29192 95163 | 17238 7326 87 | 1.432 % | 60.58/60.63 c | 70829 | 1996 29192 95163 | 18962 8465 88 | 1.432 % | 62.17/62.25 c | 72539 | 1996 29192 95163 | 20858 10175 89 | 1.432 % | 64.47/64.57 c | 75102 | 1996 29192 95163 | 22944 12738 91 | 1.432 % | 68.47/68.51 c | 78947 | 1996 29192 95163 | 25238 16583 93 | 1.432 % | 73.86/73.95 c | 84716 | 1996 29192 95163 | 27762 22352 95 | 1.432 % | 80.46/80.53 c =============================================================================== 80.46/80.53 c New solution: 267 80.46/80.53 o 267 80.46/80.53 c Elapsed CPU time: 80.0298 s Remaining CPU time: 99.9702 s 80.46/80.53 c =============================================================================== 80.46/80.53 c | 90273 | 1996 29193 95298 | 9731 12140 92 | 1.432 % | 80.57/80.63 c | 90374 | 1996 29193 95298 | 10704 6171 84 | 1.432 % | 80.66/80.72 c | 90527 | 1996 29193 95298 | 11774 6324 84 | 1.432 % | 80.76/80.86 c | 90753 | 1996 29193 95298 | 12951 6550 85 | 1.432 % | 80.96/81.06 c | 91090 | 1996 29193 95298 | 14247 6887 86 | 1.432 % | 81.27/81.34 c | 91596 | 1996 29193 95298 | 15671 7393 87 | 1.432 % | 81.76/81.88 c | 92357 | 1996 29193 95298 | 17239 8154 88 | 1.432 % | 82.87/82.92 c | 93496 | 1996 29193 95298 | 18962 9293 89 | 1.432 % | 84.26/84.33 c | 95206 | 1996 29193 95298 | 20859 11003 90 | 1.432 % | 86.86/86.98 c | 97770 | 1996 29193 95298 | 22945 13567 91 | 1.432 % | 91.17/91.30 c | 101614 | 1996 29193 95298 | 25239 17411 93 | 1.432 % | 94.66/94.78 c =============================================================================== 94.66/94.78 c New solution: 265 94.66/94.78 o 265 94.66/94.78 c Elapsed CPU time: 94.2137 s Remaining CPU time: 85.7863 s 94.66/94.78 c =============================================================================== 94.66/94.78 c | 103848 | 1996 29194 95433 | 9731 19645 93 | 1.432 % | 94.85/94.98 c | 103950 | 1996 29194 95433 | 10704 5014 77 | 1.432 % | 94.96/95.05 c | 104100 | 1996 29194 95433 | 11774 5164 78 | 1.432 % | 95.06/95.16 c | 104326 | 1996 29194 95433 | 12952 5390 78 | 1.432 % | 95.26/95.32 c | 104666 | 1996 29194 95433 | 14247 5730 79 | 1.432 % | 95.46/95.57 c | 105174 | 1996 29194 95433 | 15672 6238 81 | 1.432 % | 95.95/96.08 c | 105933 | 1996 29194 95433 | 17239 6997 82 | 1.432 % | 96.66/96.72 c | 107073 | 1996 29194 95433 | 18963 8137 84 | 1.432 % | 97.87/97.96 c | 108782 | 1996 29194 95433 | 20859 9846 86 | 1.432 % | 100.06/100.19 c | 111346 | 1996 29194 95433 | 22945 12410 89 | 1.432 % | 102.26/102.38 c =============================================================================== 102.26/102.38 c Best Solution: 265 102.26/102.38 s OPTIMUM FOUND 102.26/102.38 c Total CPU time: 101.766 s 102.26/102.38 v x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
OK -76
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655737-1276685641/watcher-2655737-1276685641 -o /tmp/evaluation-result-2655737-1276685641/solver-2655737-1276685641 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655737-1276685641.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: 1.07 1.00 1.00 3/106 17328 /proc/meminfo: memFree=1522884/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=3780 CPUtime=0 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 349 0 0 0 0 0 0 0 18 0 1 0 9854774 3870720 267 1992294400 134512640 135751879 4288092592 18446744073709551615 134561171 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 945 267 144 303 0 405 0 [startup+0.0256911 s] /proc/loadavg: 1.07 1.00 1.00 3/106 17328 /proc/meminfo: memFree=1522884/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=3944 CPUtime=0.02 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 433 0 0 0 2 0 0 0 20 0 1 0 9854774 4038656 351 1992294400 134512640 135751879 4288092592 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 986 351 174 303 0 446 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3944 [startup+0.101699 s] /proc/loadavg: 1.07 1.00 1.00 3/106 17328 /proc/meminfo: memFree=1522884/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=4872 CPUtime=0.1 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 791 0 0 0 10 0 0 0 20 0 1 0 9854774 4988928 709 1992294400 134512640 135751879 4288092592 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 1218 709 307 303 0 678 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4872 [startup+0.30172 s] /proc/loadavg: 1.07 1.00 1.00 3/106 17328 /proc/meminfo: memFree=1522884/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=5144 CPUtime=0.29 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 1134 0 0 0 27 2 0 0 20 0 1 0 9854774 5267456 817 1992294400 134512640 135751879 4288092592 18446744073709551615 134517249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 1286 817 146 303 0 981 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5144 [startup+0.701764 s] /proc/loadavg: 1.07 1.00 1.00 3/106 17328 /proc/meminfo: memFree=1522884/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=5792 CPUtime=0.69 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 1321 0 0 0 63 6 0 0 20 0 1 0 9854774 5931008 1004 1992294400 134512640 135751879 4288092592 18446744073709551615 134611056 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 1448 1005 147 303 0 1143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5792 [startup+1.50085 s] /proc/loadavg: 1.07 1.00 1.00 2/107 17329 /proc/meminfo: memFree=1518660/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=7468 CPUtime=1.49 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 1745 0 0 0 142 7 0 0 23 0 1 0 9854774 7647232 1428 1992294400 134512640 135751879 4288092592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 1867 1428 147 303 0 1562 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7468 [startup+3.10103 s] /proc/loadavg: 1.07 1.00 1.00 2/107 17329 /proc/meminfo: memFree=1516676/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=9436 CPUtime=3.09 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 2220 0 0 0 300 9 0 0 25 0 1 0 9854774 9662464 1903 1992294400 134512640 135751879 4288092592 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 2359 1903 147 303 0 2054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9436 [startup+6.30138 s] /proc/loadavg: 1.07 1.00 1.00 2/107 17331 /proc/meminfo: memFree=1513452/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=12072 CPUtime=6.29 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 2877 0 0 0 619 10 0 0 25 0 1 0 9854774 12361728 2560 1992294400 134512640 135751879 4288092592 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 3018 2560 147 303 0 2713 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12072 [startup+12.7011 s] /proc/loadavg: 1.06 1.00 1.00 2/107 17331 /proc/meminfo: memFree=1508988/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=16172 CPUtime=12.69 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 3886 0 0 0 1255 14 0 0 25 0 1 0 9854774 16560128 3569 1992294400 134512640 135751879 4288092592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 4043 3569 147 303 0 3738 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16172 [startup+25.5015 s] /proc/loadavg: 1.05 1.00 1.00 2/107 17331 /proc/meminfo: memFree=1501052/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=24060 CPUtime=25.48 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 5843 0 0 0 2528 20 0 0 25 0 1 0 9854774 24637440 5526 1992294400 134512640 135751879 4288092592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 6015 5526 148 303 0 5710 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24060 [startup+51.1013 s] /proc/loadavg: 1.03 1.00 1.00 2/107 17331 /proc/meminfo: memFree=1488156/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=36928 CPUtime=51.08 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 9060 0 0 0 5076 32 0 0 25 0 1 0 9854774 37814272 8743 1992294400 134512640 135751879 4288092592 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 9232 8743 148 303 0 8927 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36928 [startup+102.309 s] /proc/loadavg: 1.01 1.00 1.00 2/107 17333 /proc/meminfo: memFree=1461124/2059040 swapFree=4192956/4192956 [pid=17328] ppid=17326 vsize=63752 CPUtime=102.26 /proc/17328/stat : 17328 (wbo1.4b) R 17326 17328 16567 0 -1 4202496 15733 0 0 0 10169 57 0 0 25 0 1 0 9854774 65282048 15416 1992294400 134512640 135751879 4288092592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17328/statm: 15938 15416 148 303 0 15633 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 63752 Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 102.388 CPU time (s): 102.353 CPU user time (s): 101.767 CPU system time (s): 0.58691 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 63752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 101.767 system time used= 0.58691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15751 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= 27 involuntary context switches= 190 runsolver used 0.180972 second user time and 0.494924 second system time The end
Begin job on node059 at 2010-06-16 12:54:01 IDJOB=2655737 IDBENCH=71826 IDSOLVER=1161 FILE ID=node059/2655737-1276685641 PBS_JOBID= 11172543 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655737-1276685641/watcher-2655737-1276685641 -o /tmp/evaluation-result-2655737-1276685641/solver-2655737-1276685641 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655737-1276685641.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c18c3db09a696b172987b81aa567120d RANDOM SEED=745872989 node059.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.244 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.48 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.244 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: 1523412 kB Buffers: 133540 kB Cached: 259524 kB SwapCached: 0 kB Active: 159536 kB Inactive: 292840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1523412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3716 kB Writeback: 0 kB AnonPages: 59340 kB Mapped: 15380 kB Slab: 61496 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181452 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node059 at 2010-06-16 12:55:43