Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | -293846 | 1800.09 | 1800.79 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb |
| MD5SUM | 396a97b3a9140f57450f18f44f605394 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -293850 |
| Best CPU time to get the best result obtained on this benchmark | 2.54661 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -293850 |
| Optimality of the best value was proved | YES |
| Number of variables | 1096 |
| Total number of constraints | 52 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 52 |
| Minimum length of a constraint | 13 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 48 |
| Biggest coefficient in the objective function | 188062 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 524313 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262081 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524520 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04 c Time Limit set via PBTIMEOUT to 1800 0.07 c INFO: OSL Context initialized. 0.11 c Initial problem consists of 1096 variables and 68 constraints. 0.11 c No problem reductions applied in OPT. instance. 0.11 c preprocess terminated. Elapsed time: 0.056 0.11 c After prepocess the problem consists of 761 variables and 68 constraints. 0.11 c Initial Lower Bound: -376128 0.21 c Restart #1 #Var: 758 LB: -376128 @ 0.156 0.46 c Restart #2 #Var: 758 LB: -376128 @ 0.404 0.79 c Restart #3 #Var: 758 LB: -376128 @ 0.726 1.26 c Restart #4 #Var: 758 LB: -376128 @ 1.201 1.86 c Restart #5 #Var: 758 LB: -376128 @ 1.801 2.36 c Restart #6 #Var: 758 LB: -376128 @ 2.297 3.06 c Restart #7 #Var: 758 LB: -376128 @ 2.999 3.43 c Restart #8 #Var: 758 LB: -376128 @ 3.369 3.78 c Restart #9 #Var: 758 LB: -376128 @ 3.724 3.92 c Restart #10 #Var: 751 LB: -376128 @ 3.864 4.04 c Sol. found (all assignments made)... 4.04 o -168305 4.04 c NEW SOLUTION FOUND: -168305 @ 3.978 4.04 c Sol. found (all assignments made)... 4.04 o -168385 4.04 c NEW SOLUTION FOUND: -168385 @ 3.98 4.04 c Sol. found (all assignments made)... 4.04 o -168391 4.04 c NEW SOLUTION FOUND: -168391 @ 3.981 4.04 c Sol. found (all assignments made)... 4.04 o -174164 4.04 c NEW SOLUTION FOUND: -174164 @ 3.982 4.04 c Sol. found (all assignments made)... 4.04 o -174246 4.04 c NEW SOLUTION FOUND: -174246 @ 3.982 4.04 c Sol. found (all assignments made)... 4.04 o -174257 4.04 c NEW SOLUTION FOUND: -174257 @ 3.983 4.04 c Sol. found (all assignments made)... 4.04 o -174263 4.04 c NEW SOLUTION FOUND: -174263 @ 3.984 4.05 c Sol. found (all assignments made)... 4.05 o -175973 4.05 c NEW SOLUTION FOUND: -175973 @ 3.987 4.06 c Sol. found (all assignments made)... 4.06 o -177165 4.06 c NEW SOLUTION FOUND: -177165 @ 3.995 4.06 c Sol. found (all assignments made)... 4.06 o -177251 4.06 c NEW SOLUTION FOUND: -177251 @ 3.995 4.06 c Sol. found (all assignments made)... 4.06 o -177888 4.06 c NEW SOLUTION FOUND: -177888 @ 3.996 4.06 c Sol. found (all assignments made)... 4.06 o -177894 4.06 c NEW SOLUTION FOUND: -177894 @ 3.997 4.06 c Sol. found (all assignments made)... 4.06 o -177974 4.06 c NEW SOLUTION FOUND: -177974 @ 3.997 4.06 c Sol. found (all assignments made)... 4.06 o -178066 4.06 c NEW SOLUTION FOUND: -178066 @ 4 4.06 c Sol. found (all assignments made)... 4.06 o -178112 4.06 c NEW SOLUTION FOUND: -178112 @ 4.002 4.06 c Sol. found (all assignments made)... 4.06 o -178155 4.06 c NEW SOLUTION FOUND: -178155 @ 4.004 4.07 c Sol. found (all assignments made)... 4.07 o -178156 4.07 c NEW SOLUTION FOUND: -178156 @ 4.006 4.07 c Sol. found (all assignments made)... 4.07 o -178159 4.07 c NEW SOLUTION FOUND: -178159 @ 4.008 4.07 c Sol. found (all assignments made)... 4.07 o -178165 4.07 c NEW SOLUTION FOUND: -178165 @ 4.009 4.07 c Sol. found (all assignments made)... 4.07 o -178218 4.07 c NEW SOLUTION FOUND: -178218 @ 4.012 4.07 c Sol. found (all assignments made)... 4.07 o -178224 4.07 c NEW SOLUTION FOUND: -178224 @ 4.013 4.08 c Sol. found (all assignments made)... 4.08 o -178258 4.08 c NEW SOLUTION FOUND: -178258 @ 4.015 4.08 c Sol. found (all assignments made)... 4.08 o -178261 4.08 c NEW SOLUTION FOUND: -178261 @ 4.017 4.08 c Sol. found (all assignments made)... 4.08 o -178267 4.08 c NEW SOLUTION FOUND: -178267 @ 4.018 4.08 c Sol. found (all assignments made)... 4.08 o -178517 4.08 c NEW SOLUTION FOUND: -178517 @ 4.02 4.08 c Sol. found (all assignments made)... 4.08 o -178523 4.08 c NEW SOLUTION FOUND: -178523 @ 4.021 4.08 c Sol. found (all assignments made)... 4.08 o -178603 4.08 c NEW SOLUTION FOUND: -178603 @ 4.022 4.08 c Sol. found (all assignments made)... 4.08 o -178606 4.08 c NEW SOLUTION FOUND: -178606 @ 4.024 4.09 c Sol. found (all assignments made)... 4.09 o -178612 4.09 c NEW SOLUTION FOUND: -178612 @ 4.025 4.09 c Sol. found (all assignments made)... 4.09 o -178623 4.09 c NEW SOLUTION FOUND: -178623 @ 4.028 4.09 c Sol. found (all assignments made)... 4.09 o -178624 4.09 c NEW SOLUTION FOUND: -178624 @ 4.03 4.09 c Sol. found (all assignments made)... 4.09 o -178627 4.09 c NEW SOLUTION FOUND: -178627 @ 4.031 4.09 c Sol. found (all assignments made)... 4.09 o -178633 4.09 c NEW SOLUTION FOUND: -178633 @ 4.033 4.10 c Sol. found (all assignments made)... 4.10 o -178856 4.10 c NEW SOLUTION FOUND: -178856 @ 4.037 4.10 c Sol. found (all assignments made)... 4.10 o -178936 4.10 c NEW SOLUTION FOUND: -178936 @ 4.038 4.10 c Sol. found (all assignments made)... 4.10 o -178942 4.10 c NEW SOLUTION FOUND: -178942 @ 4.039 4.10 c Sol. found (all assignments made)... 4.10 o -178976 4.10 c NEW SOLUTION FOUND: -178976 @ 4.041 4.10 c Sol. found (all assignments made)... 4.10 o -179114 4.10 c NEW SOLUTION FOUND: -179114 @ 4.043 4.10 c Sol. found (all assignments made)... 4.10 o -179117 4.10 c NEW SOLUTION FOUND: -179117 @ 4.044 4.11 c Sol. found (all assignments made)... 4.11 o -179123 4.11 c NEW SOLUTION FOUND: -179123 @ 4.046 4.11 c Sol. found (all assignments made)... 4.11 o -179157 4.11 c NEW SOLUTION FOUND: -179157 @ 4.047 4.11 c Sol. found (all assignments made)... 4.11 o -179158 4.11 c NEW SOLUTION FOUND: -179158 @ 4.049 4.11 c Sol. found (all assignments made)... 4.11 o -179167 4.11 c NEW SOLUTION FOUND: -179167 @ 4.051 4.11 c Sol. found (all assignments made)... 4.11 o -179672 4.11 c NEW SOLUTION FOUND: -179672 @ 4.053 4.11 c Sol. found (all assignments made)... 4.11 o -179810 4.11 c NEW SOLUTION FOUND: -179810 @ 4.055 4.12 c Sol. found (all assignments made)... 4.12 o -179844 4.12 c NEW SOLUTION FOUND: -179844 @ 4.056 4.12 c Sol. found (all assignments made)... 4.12 o -179850 4.12 c NEW SOLUTION FOUND: -179850 @ 4.058 4.12 c Sol. found (all assignments made)... 4.12 o -179853 4.12 c NEW SOLUTION FOUND: -179853 @ 4.059 4.12 c Sol. found (all assignments made)... 4.12 o -179854 4.12 c NEW SOLUTION FOUND: -179854 @ 4.06 4.12 c Sol. found (all assignments made)... 4.12 o -179861 4.12 c NEW SOLUTION FOUND: -179861 @ 4.062 4.12 c Sol. found (all assignments made)... 4.12 o -179870 4.12 c NEW SOLUTION FOUND: -179870 @ 4.064 4.13 c Sol. found (all assignments made)... 4.13 o -179871 4.13 c NEW SOLUTION FOUND: -179871 @ 4.066 4.13 c Sol. found (all assignments made)... 4.13 o -179874 4.13 c NEW SOLUTION FOUND: -179874 @ 4.067 4.13 c Sol. found (all assignments made)... 4.13 o -179994 4.13 c NEW SOLUTION FOUND: -179994 @ 4.069 4.13 c Sol. found (all assignments made)... 4.13 o -180028 4.13 c NEW SOLUTION FOUND: -180028 @ 4.071 4.13 c Sol. found (all assignments made)... 4.13 o -180034 4.13 c NEW SOLUTION FOUND: -180034 @ 4.072 4.13 c Sol. found (all assignments made)... 4.13 o -180172 4.13 c NEW SOLUTION FOUND: -180172 @ 4.073 4.14 c Sol. found (all assignments made)... 4.14 o -180206 4.14 c NEW SOLUTION FOUND: -180206 @ 4.075 4.14 c Sol. found (all assignments made)... 4.14 o -180215 4.14 c NEW SOLUTION FOUND: -180215 @ 4.077 4.14 c Sol. found (all assignments made)... 4.14 o -180216 4.14 c NEW SOLUTION FOUND: -180216 @ 4.078 4.14 c Sol. found (all assignments made)... 4.14 o -180219 4.14 c NEW SOLUTION FOUND: -180219 @ 4.08 4.14 c Sol. found (all assignments made)... 4.14 o -180226 4.14 c NEW SOLUTION FOUND: -180226 @ 4.082 4.14 c Sol. found (all assignments made)... 4.14 o -180227 4.14 c NEW SOLUTION FOUND: -180227 @ 4.083 4.15 c Sol. found (all assignments made)... 4.15 o -180236 4.15 c NEW SOLUTION FOUND: -180236 @ 4.085 4.15 c Sol. found (all assignments made)... 4.15 o -180247 4.15 c NEW SOLUTION FOUND: -180247 @ 4.093 4.15 c Sol. found (all assignments made)... 4.15 o -180290 4.15 c NEW SOLUTION FOUND: -180290 @ 4.095 4.16 c Sol. found (all assignments made)... 4.16 o -180291 4.16 c NEW SOLUTION FOUND: -180291 @ 4.096 4.16 c Sol. found (all assignments made)... 4.16 o -180300 4.16 c NEW SOLUTION FOUND: -180300 @ 4.098 4.17 c Sol. found (all assignments made)... 4.17 o -180348 4.17 c NEW SOLUTION FOUND: -180348 @ 4.108 4.17 c Sol. found (all assignments made)... 4.17 o -180388 4.17 c NEW SOLUTION FOUND: -180388 @ 4.11 4.17 c Sol. found (all assignments made)... 4.17 o -180391 4.17 c NEW SOLUTION FOUND: -180391 @ 4.111 4.17 c Sol. found (all assignments made)... 4.17 o -180440 4.17 c NEW SOLUTION FOUND: -180440 @ 4.113 4.17 c Sol. found (all assignments made)... 4.17 o -180526 4.17 c NEW SOLUTION FOUND: -180526 @ 4.114 4.18 c Sol. found (all assignments made)... 4.18 o -180560 4.18 c NEW SOLUTION FOUND: -180560 @ 4.116 4.18 c Sol. found (all assignments made)... 4.18 o -180569 4.18 c NEW SOLUTION FOUND: -180569 @ 4.117 4.18 c Sol. found (all assignments made)... 4.18 o -180570 4.18 c NEW SOLUTION FOUND: -180570 @ 4.119 4.18 c Sol. found (all assignments made)... 4.18 o -180573 4.18 c NEW SOLUTION FOUND: -180573 @ 4.12 4.18 c Sol. found (all assignments made)... 4.18 o -180755 4.18 c NEW SOLUTION FOUND: -180755 @ 4.122 4.18 c Sol. found (all assignments made)... 4.18 o -180758 4.18 c NEW SOLUTION FOUND: -180758 @ 4.124 4.19 c Sol. found (all assignments made)... 4.19 o -180847 4.19 c NEW SOLUTION FOUND: -180847 @ 4.125 4.19 c Sol. found (all assignments made)... 4.19 o -180927 4.19 c NEW SOLUTION FOUND: -180927 @ 4.127 4.19 c Sol. found (all assignments made)... 4.19 o -180936 4.19 c NEW SOLUTION FOUND: -180936 @ 4.128 4.19 c Sol. found (all assignments made)... 4.19 o -180937 4.19 c NEW SOLUTION FOUND: -180937 @ 4.13 4.19 c Sol. found (all assignments made)... 4.19 o -180940 4.19 c NEW SOLUTION FOUND: -180940 @ 4.131 4.19 c Sol. found (all assignments made)... 4.19 o -181014 4.19 c NEW SOLUTION FOUND: -181014 @ 4.133 4.19 c Sol. found (all assignments made)... 4.19 o -181100 4.19 c NEW SOLUTION FOUND: -181100 @ 4.134 4.20 c Sol. found (all assignments made)... 4.20 o -181103 4.20 c NEW SOLUTION FOUND: -181103 @ 4.136 4.20 c Sol. found (all assignments made)... 4.20 o -181192 4.20 c NEW SOLUTION FOUND: -181192 @ 4.137 4.20 c Sol. found (all assignments made)... 4.20 o -181272 4.20 c NEW SOLUTION FOUND: -181272 @ 4.139 4.20 c Sol. found (all assignments made)... 4.20 o -181281 4.20 c NEW SOLUTION FOUND: -181281 @ 4.14 4.20 c Sol. found (all assignments made)... 4.20 o -181293 4.20 c NEW SOLUTION FOUND: -181293 @ 4.142 4.20 c Sol. found (all assignments made)... 4.20 o -181302 4.20 c NEW SOLUTION FOUND: -181302 @ 4.143 4.39 c Sol. found (all assignments made)... 4.39 o -181314 4.39 c NEW SOLUTION FOUND: -181314 @ 4.334 4.40 c Sol. found (all assignments made)... 4.40 o -181315 4.40 c NEW SOLUTION FOUND: -181315 @ 4.336 4.40 c Sol. found (all assignments made)... 4.40 o -181318 4.40 c NEW SOLUTION FOUND: -181318 @ 4.337 4.40 c Sol. found (all assignments made)... 4.40 o -181324 4.40 c NEW SOLUTION FOUND: -181324 @ 4.338 4.46 c Sol. found (all assignments made)... 4.46 o -181339 4.46 c NEW SOLUTION FOUND: -181339 @ 4.399 4.46 c Sol. found (all assignments made)... 4.46 o -181352 4.46 c NEW SOLUTION FOUND: -181352 @ 4.401 4.46 c Sol. found (all assignments made)... 4.46 o -181359 4.46 c NEW SOLUTION FOUND: -181359 @ 4.403 4.46 c Sol. found (all assignments made)... 4.46 o -181360 4.46 c NEW SOLUTION FOUND: -181360 @ 4.404 4.47 c Sol. found (all assignments made)... 4.47 o -181369 4.47 c NEW SOLUTION FOUND: -181369 @ 4.406 4.53 c Sol. found (all assignments made)... 4.53 o -181405 4.53 c NEW SOLUTION FOUND: -181405 @ 4.472 4.53 c Sol. found (all assignments made)... 4.53 o -181408 4.53 c NEW SOLUTION FOUND: -181408 @ 4.473 4.54 c Sol. found (all assignments made)... 4.54 o -181414 4.54 c NEW SOLUTION FOUND: -181414 @ 4.475 4.54 c Sol. found (all assignments made)... 4.54 o -181448 4.54 c NEW SOLUTION FOUND: -181448 @ 4.476 4.54 c Sol. found (all assignments made)... 4.54 o -181449 4.54 c NEW SOLUTION FOUND: -181449 @ 4.478 4.54 c Sol. found (all assignments made)... 4.54 o -181458 4.54 c NEW SOLUTION FOUND: -181458 @ 4.479 4.61 c Sol. found (all assignments made)... 4.61 o -181486 4.61 c NEW SOLUTION FOUND: -181486 @ 4.552 4.61 c Sol. found (all assignments made)... 4.61 o -181572 4.61 c NEW SOLUTION FOUND: -181572 @ 4.554 4.62 c Sol. found (all assignments made)... 4.62 o -181575 4.62 c NEW SOLUTION FOUND: -181575 @ 4.555 4.62 c Sol. found (all assignments made)... 4.62 o -181616 4.62 c NEW SOLUTION FOUND: -181616 @ 4.557 4.62 c Sol. found (all assignments made)... 4.62 o -181619 4.62 c NEW SOLUTION FOUND: -181619 @ 4.558 4.62 c Sol. found (all assignments made)... 4.62 o -181626 4.62 c NEW SOLUTION FOUND: -181626 @ 4.56 4.62 c Sol. found (all assignments made)... 4.62 o -181627 4.62 c NEW SOLUTION FOUND: -181627 @ 4.561 4.62 c Sol. found (all assignments made)... 4.62 o -181636 4.62 c NEW SOLUTION FOUND: -181636 @ 4.563 4.70 c Sol. found (all assignments made)... 4.70 o -181853 4.70 c NEW SOLUTION FOUND: -181853 @ 4.643 4.70 c Sol. found (all assignments made)... 4.70 o -181859 4.70 c NEW SOLUTION FOUND: -181859 @ 4.644 4.71 c Sol. found (all assignments made)... 4.71 o -181862 4.71 c NEW SOLUTION FOUND: -181862 @ 4.646 4.71 c Sol. found (all assignments made)... 4.71 o -181942 4.71 c NEW SOLUTION FOUND: -181942 @ 4.647 4.71 c Sol. found (all assignments made)... 4.71 o -181948 4.71 c NEW SOLUTION FOUND: -181948 @ 4.649 4.71 c Sol. found (all assignments made)... 4.71 o -181982 4.71 c NEW SOLUTION FOUND: -181982 @ 4.65 4.71 c Sol. found (all assignments made)... 4.71 o -181986 4.71 c NEW SOLUTION FOUND: -181986 @ 4.652 4.71 c Sol. found (all assignments made)... 4.71 o -181992 4.71 c NEW SOLUTION FOUND: -181992 @ 4.653 4.75 c Sol. found (all assignments made)... 4.75 o -182019 4.75 c NEW SOLUTION FOUND: -182019 @ 4.691 4.75 c Sol. found (all assignments made)... 4.75 o -182104 4.75 c NEW SOLUTION FOUND: -182104 @ 4.693 4.75 c Sol. found (all assignments made)... 4.75 o -182105 4.75 c NEW SOLUTION FOUND: -182105 @ 4.694 4.76 c Sol. found (all assignments made)... 4.76 o -182108 4.76 c NEW SOLUTION FOUND: -182108 @ 4.696 4.76 c Sol. found (all assignments made)... 4.76 o -182115 4.76 c NEW SOLUTION FOUND: -182115 @ 4.697 4.76 c Sol. found (all assignments made)... 4.76 o -182125 4.76 c NEW SOLUTION FOUND: -182125 @ 4.699 4.76 c Sol. found (all assignments made)... 4.76 o -182240 4.76 c NEW SOLUTION FOUND: -182240 @ 4.701 4.76 c Sol. found (all assignments made)... 4.76 o -182283 4.76 c NEW SOLUTION FOUND: -182283 @ 4.702 4.76 c Sol. found (all assignments made)... 4.76 o -182284 4.76 c NEW SOLUTION FOUND: -182284 @ 4.704 4.77 c Sol. found (all assignments made)... 4.77 o -182421 4.77 c NEW SOLUTION FOUND: -182421 @ 4.705 4.77 c Sol. found (all assignments made)... 4.77 o -182422 4.77 c NEW SOLUTION FOUND: -182422 @ 4.707 4.77 c Sol. found (all assignments made)... 4.77 o -182461 4.77 c NEW SOLUTION FOUND: -182461 @ 4.709 4.77 c Sol. found (all assignments made)... 4.77 o -182465 4.77 c NEW SOLUTION FOUND: -182465 @ 4.71 4.77 c Sol. found (all assignments made)... 4.77 o -182561 4.77 c NEW SOLUTION FOUND: -182561 @ 4.712 4.77 c Sol. found (all assignments made)... 4.77 o -182647 4.77 c NEW SOLUTION FOUND: -182647 @ 4.714 4.78 c Sol. found (all assignments made)... 4.78 o -182650 4.78 c NEW SOLUTION FOUND: -182650 @ 4.715 4.78 c Sol. found (all assignments made)... 4.78 o -182651 4.78 c NEW SOLUTION FOUND: -182651 @ 4.717 4.78 c Sol. found (all assignments made)... 4.78 o -182828 4.78 c NEW SOLUTION FOUND: -182828 @ 4.718 4.78 c Sol. found (all assignments made)... 4.78 o -182829 4.78 c NEW SOLUTION FOUND: -182829 @ 4.72 4.78 c Sol. found (all assignments made)... 4.78 o -182832 4.78 c NEW SOLUTION FOUND: -182832 @ 4.721 4.78 c Sol. found (all assignments made)... 4.78 o -183087 4.78 c NEW SOLUTION FOUND: -183087 @ 4.723 4.78 c Sol. found (all assignments made)... 4.78 o -183088 4.78 c NEW SOLUTION FOUND: -183088 @ 4.724 4.79 c Sol. found (all assignments made)... 4.79 o -183173 4.79 c NEW SOLUTION FOUND: -183173 @ 4.726 4.79 c Sol. found (all assignments made)... 4.79 o -183177 4.79 c NEW SOLUTION FOUND: -183177 @ 4.727 4.79 c Sol. found (all assignments made)... 4.79 o -183184 4.79 c NEW SOLUTION FOUND: -183184 @ 4.729 4.79 c Sol. found (all assignments made)... 4.79 o -183194 4.79 c NEW SOLUTION FOUND: -183194 @ 4.73 4.83 c Sol. found (all assignments made)... 4.83 o -183229 4.83 c NEW SOLUTION FOUND: -183229 @ 4.773 4.84 c Sol. found (all assignments made)... 4.84 o -183230 4.84 c NEW SOLUTION FOUND: -183230 @ 4.775 4.84 c Sol. found (all assignments made)... 4.84 o -183233 4.84 c NEW SOLUTION FOUND: -183233 @ 4.776 4.84 c Sol. found (all assignments made)... 4.84 o -183284 4.84 c NEW SOLUTION FOUND: -183284 @ 4.778 4.84 c Sol. found (all assignments made)... 4.84 o -183373 4.84 c NEW SOLUTION FOUND: -183373 @ 4.779 4.84 c Sol. found (all assignments made)... 4.84 o -183374 4.84 c NEW SOLUTION FOUND: -183374 @ 4.781 4.84 c Sol. found (all assignments made)... 4.84 o -183413 4.84 c NEW SOLUTION FOUND: -183413 @ 4.783 4.84 c Sol. found (all assignments made)... 4.84 o -183417 4.84 c NEW SOLUTION FOUND: -183417 @ 4.784 4.85 c Sol. found (all assignments made)... 4.85 o -183505 4.85 c NEW SOLUTION FOUND: -183505 @ 4.786 4.85 c Sol. found (all assignments made)... 4.85 o -183506 4.85 c NEW SOLUTION FOUND: -183506 @ 4.787 4.85 c Sol. found (all assignments made)... 4.85 o -183509 4.85 c NEW SOLUTION FOUND: -183509 @ 4.789 4.85 c Sol. found (all assignments made)... 4.85 o -183585 4.85 c NEW SOLUTION FOUND: -183585 @ 4.79 4.85 c Sol. found (all assignments made)... 4.85 o -183595 4.85 c NEW SOLUTION FOUND: -183595 @ 4.791 4.87 c Sol. found (all assignments made)... 4.87 o -184068 4.87 c NEW SOLUTION FOUND: -184068 @ 4.814 4.88 c Sol. found (all assignments made)... 4.88 o -184069 4.88 c NEW SOLUTION FOUND: -184069 @ 4.816 4.88 c Sol. found (all assignments made)... 4.88 o -184108 4.88 c NEW SOLUTION FOUND: -184108 @ 4.817 4.88 c Sol. found (all assignments made)... 4.88 o -184112 4.88 c NEW SOLUTION FOUND: -184112 @ 4.819 4.88 c Sol. found (all assignments made)... 4.88 o -184119 4.88 c NEW SOLUTION FOUND: -184119 @ 4.82 4.88 c Sol. found (all assignments made)... 4.88 o -184129 4.88 c NEW SOLUTION FOUND: -184129 @ 4.822 5.06 c Sol. found (all assignments made)... 5.06 o -184139 5.06 c NEW SOLUTION FOUND: -184139 @ 4.998 5.06 c Sol. found (all assignments made)... 5.06 o -184149 5.06 c NEW SOLUTION FOUND: -184149 @ 5 6.84 c Restart #11 #Var: 751 LB: -376128 @ 6.78 7.35 c Restart #12 #Var: 751 LB: -376128 @ 7.288 8.14 c Restart #13 #Var: 751 LB: -376128 @ 8.078 8.39 c Restart #14 #Var: 751 LB: -376128 @ 8.33 9.07 c CHANGE to MIS mode... UB: -184149 MIS: -376126 LPR: -293852 (0.01525) Diff: 1.28 9.07 c Restart #0 #Var: 751 LB: -376128 @ 9.001 9.26 c Restart #1 #Var: 751 LB: -376125 @ 9.188 9.34 c Restart #2 #Var: 751 LB: -376125 @ 9.272 9.51 c Restart #3 #Var: 751 LB: -376125 @ 9.446 9.62 c Restart #4 #Var: 751 LB: -376125 @ 9.551 9.86 c Restart #5 #Var: 751 LB: -376125 @ 9.793 10.10 c Restart #6 #Var: 751 LB: -376125 @ 10.034 10.34 c Restart #7 #Var: 751 LB: -376125 @ 10.268 10.67 c Restart #8 #Var: 751 LB: -376125 @ 10.603 10.93 c Sol. found (all assignments made)... 10.93 o -250436 10.93 c NEW SOLUTION FOUND: -250436 @ 10.858 10.93 c Sol. found (all assignments made)... 10.93 o -250574 10.93 c NEW SOLUTION FOUND: -250574 @ 10.86 10.93 c Sol. found (all assignments made)... 10.93 o -250597 10.93 c NEW SOLUTION FOUND: -250597 @ 10.861 10.93 c Sol. found (all assignments made)... 10.93 o -250608 10.93 c NEW SOLUTION FOUND: -250608 @ 10.862 10.93 c Sol. found (all assignments made)... 10.93 o -250614 10.93 c NEW SOLUTION FOUND: -250614 @ 10.863 10.93 c Sol. found (all assignments made)... 10.93 o -250617 10.93 c NEW SOLUTION FOUND: -250617 @ 10.864 10.93 c Sol. found (all assignments made)... 10.93 o -250618 10.93 c NEW SOLUTION FOUND: -250618 @ 10.865 10.93 c Sol. found (all assignments made)... 10.93 o -250894 10.93 c NEW SOLUTION FOUND: -250894 @ 10.866 10.94 c Sol. found (all assignments made)... 10.94 o -250919 10.94 c NEW SOLUTION FOUND: -250919 @ 10.867 10.94 c Sol. found (all assignments made)... 10.94 o -250939 10.94 c NEW SOLUTION FOUND: -250939 @ 10.868 10.94 c Sol. found (all assignments made)... 10.94 o -250940 10.94 c NEW SOLUTION FOUND: -250940 @ 10.869 10.94 c Sol. found (all assignments made)... 10.94 o -250963 10.94 c NEW SOLUTION FOUND: -250963 @ 10.871 10.94 c Sol. found (all assignments made)... 10.94 o -250983 10.94 c NEW SOLUTION FOUND: -250983 @ 10.872 10.94 c Sol. found (all assignments made)... 10.94 o -251435 10.94 c NEW SOLUTION FOUND: -251435 @ 10.873 10.94 c Sol. found (all assignments made)... 10.94 o -251521 10.94 c NEW SOLUTION FOUND: -251521 @ 10.874 10.94 c Sol. found (all assignments made)... 10.94 o -251525 10.94 c NEW SOLUTION FOUND: -251525 @ 10.875 10.94 c Sol. found (all assignments made)... 10.94 o -251534 10.94 c NEW SOLUTION FOUND: -251534 @ 10.876 10.95 c Sol. found (all assignments made)... 10.95 o -251613 10.95 c NEW SOLUTION FOUND: -251613 @ 10.878 10.95 c Sol. found (all assignments made)... 10.95 o -251682 10.95 c NEW SOLUTION FOUND: -251682 @ 10.879 10.95 c Sol. found (all assignments made)... 10.95 o -251703 10.95 c NEW SOLUTION FOUND: -251703 @ 10.88 10.95 c Sol. found (all assignments made)... 10.95 o -251706 10.95 c NEW SOLUTION FOUND: -251706 @ 10.881 10.95 c Sol. found (all assignments made)... 10.95 o -251712 10.95 c NEW SOLUTION FOUND: -251712 @ 10.882 10.95 c Sol. found (all assignments made)... 10.95 o -251817 10.95 c NEW SOLUTION FOUND: -251817 @ 10.884 10.95 c Sol. found (all assignments made)... 10.95 o -251886 10.95 c NEW SOLUTION FOUND: -251886 @ 10.885 10.95 c Sol. found (all assignments made)... 10.95 o -251906 10.95 c NEW SOLUTION FOUND: -251906 @ 10.886 10.96 c Sol. found (all assignments made)... 10.96 o -251926 10.96 c NEW SOLUTION FOUND: -251926 @ 10.888 10.96 c Sol. found (all assignments made)... 10.96 o -251946 10.96 c NEW SOLUTION FOUND: -251946 @ 10.889 10.96 c Sol. found (all assignments made)... 10.96 o -252332 10.96 c NEW SOLUTION FOUND: -252332 @ 10.891 10.96 c Sol. found (all assignments made)... 10.96 o -252375 10.96 c NEW SOLUTION FOUND: -252375 @ 10.892 10.96 c Sol. found (all assignments made)... 10.96 o -252376 10.96 c NEW SOLUTION FOUND: -252376 @ 10.893 10.96 c Sol. found (all assignments made)... 10.96 o -252385 10.96 c NEW SOLUTION FOUND: -252385 @ 10.895 10.96 c Sol. found (all assignments made)... 10.96 o -252516 10.96 c NEW SOLUTION FOUND: -252516 @ 10.896 10.97 c Sol. found (all assignments made)... 10.97 o -252698 10.97 c NEW SOLUTION FOUND: -252698 @ 10.897 10.97 c Sol. found (all assignments made)... 10.97 o -252721 10.97 c NEW SOLUTION FOUND: -252721 @ 10.898 10.97 c Sol. found (all assignments made)... 10.97 o -252741 10.97 c NEW SOLUTION FOUND: -252741 @ 10.9 10.97 c Sol. found (all assignments made)... 10.97 o -252747 10.97 c NEW SOLUTION FOUND: -252747 @ 10.901 10.97 c Sol. found (all assignments made)... 10.97 o -253229 10.97 c NEW SOLUTION FOUND: -253229 @ 10.903 10.97 c Sol. found (all assignments made)... 10.97 o -253390 10.97 c NEW SOLUTION FOUND: -253390 @ 10.904 10.97 c Sol. found (all assignments made)... 10.97 o -253411 10.97 c NEW SOLUTION FOUND: -253411 @ 10.905 10.97 c Sol. found (all assignments made)... 10.97 o -253434 10.97 c NEW SOLUTION FOUND: -253434 @ 10.906 10.98 c Sol. found (all assignments made)... 10.98 o -253454 10.98 c NEW SOLUTION FOUND: -253454 @ 10.907 10.98 c Sol. found (all assignments made)... 10.98 o -253591 10.98 c NEW SOLUTION FOUND: -253591 @ 10.909 10.98 c Sol. found (all assignments made)... 10.98 o -253752 10.98 c NEW SOLUTION FOUND: -253752 @ 10.91 10.98 c Sol. found (all assignments made)... 10.98 o -253773 10.98 c NEW SOLUTION FOUND: -253773 @ 10.911 10.98 c Sol. found (all assignments made)... 10.98 o -253776 10.98 c NEW SOLUTION FOUND: -253776 @ 10.912 10.98 c Sol. found (all assignments made)... 10.98 o -253799 10.98 c NEW SOLUTION FOUND: -253799 @ 10.914 10.98 c Sol. found (all assignments made)... 10.98 o -253816 10.98 c NEW SOLUTION FOUND: -253816 @ 10.915 10.98 c Sol. found (all assignments made)... 10.98 o -254849 10.98 c NEW SOLUTION FOUND: -254849 @ 10.916 10.99 c Sol. found (all assignments made)... 10.99 o -255578 10.99 c NEW SOLUTION FOUND: -255578 @ 10.918 10.99 c Sol. found (all assignments made)... 10.99 o -255582 10.99 c NEW SOLUTION FOUND: -255582 @ 10.919 10.99 c Sol. found (all assignments made)... 10.99 o -255745 10.99 c NEW SOLUTION FOUND: -255745 @ 10.92 10.99 c Sol. found (all assignments made)... 10.99 o -255766 10.99 c NEW SOLUTION FOUND: -255766 @ 10.921 10.99 c Sol. found (all assignments made)... 10.99 o -255837 10.99 c NEW SOLUTION FOUND: -255837 @ 10.923 10.99 c Sol. found (all assignments made)... 10.99 o -255927 10.99 c NEW SOLUTION FOUND: -255927 @ 10.924 10.99 c Sol. found (all assignments made)... 10.99 o -255947 10.99 c NEW SOLUTION FOUND: -255947 @ 10.925 11.00 c Sol. found (all assignments made)... 11.00 o -255953 11.00 c NEW SOLUTION FOUND: -255953 @ 10.927 11.00 c Sol. found (all assignments made)... 11.00 o -255973 11.00 c NEW SOLUTION FOUND: -255973 @ 10.929 11.00 c Sol. found (all assignments made)... 11.00 o -256155 11.00 c NEW SOLUTION FOUND: -256155 @ 10.93 11.00 c Sol. found (all assignments made)... 11.00 o -256178 11.00 c NEW SOLUTION FOUND: -256178 @ 10.931 11.00 c Sol. found (all assignments made)... 11.00 o -256198 11.00 c NEW SOLUTION FOUND: -256198 @ 10.932 11.00 c Sol. found (all assignments made)... 11.00 o -256204 11.00 c NEW SOLUTION FOUND: -256204 @ 10.934 11.00 c Sol. found (all assignments made)... 11.00 o -256418 11.00 c NEW SOLUTION FOUND: -256418 @ 10.936 11.01 c Sol. found (all assignments made)... 11.01 o -256579 11.01 c NEW SOLUTION FOUND: -256579 @ 10.937 11.01 c Sol. found (all assignments made)... 11.01 o -256600 11.01 c NEW SOLUTION FOUND: -256600 @ 10.938 11.01 c Sol. found (all assignments made)... 11.01 o -256623 11.01 c NEW SOLUTION FOUND: -256623 @ 10.939 11.01 c Sol. found (all assignments made)... 11.01 o -256643 11.01 c NEW SOLUTION FOUND: -256643 @ 10.941 11.01 c Sol. found (all assignments made)... 11.01 o -256734 11.01 c NEW SOLUTION FOUND: -256734 @ 10.942 11.01 c Sol. found (all assignments made)... 11.01 o -256803 11.01 c NEW SOLUTION FOUND: -256803 @ 10.943 11.01 c Sol. found (all assignments made)... 11.01 o -256824 11.01 c NEW SOLUTION FOUND: -256824 @ 10.944 11.01 c Sol. found (all assignments made)... 11.01 o -256895 11.01 c NEW SOLUTION FOUND: -256895 @ 10.945 11.01 c Sol. found (all assignments made)... 11.01 o -256916 11.01 c NEW SOLUTION FOUND: -256916 @ 10.946 11.02 c Sol. found (all assignments made)... 11.02 o -256985 11.02 c NEW SOLUTION FOUND: -256985 @ 10.947 11.02 c Sol. found (all assignments made)... 11.02 o -257005 11.02 c NEW SOLUTION FOUND: -257005 @ 10.949 11.02 c Sol. found (all assignments made)... 11.02 o -257659 11.02 c NEW SOLUTION FOUND: -257659 @ 10.95 11.02 c Sol. found (all assignments made)... 11.02 o -257682 11.02 c NEW SOLUTION FOUND: -257682 @ 10.952 11.02 c Sol. found (all assignments made)... 11.02 o -257703 11.02 c NEW SOLUTION FOUND: -257703 @ 10.953 11.02 c Sol. found (all assignments made)... 11.02 o -257958 11.02 c NEW SOLUTION FOUND: -257958 @ 10.954 11.02 c Sol. found (all assignments made)... 11.02 o -258048 11.02 c NEW SOLUTION FOUND: -258048 @ 10.955 11.02 c Sol. found (all assignments made)... 11.02 o -258068 11.02 c NEW SOLUTION FOUND: -258068 @ 10.956 11.03 c Sol. found (all assignments made)... 11.03 o -258074 11.03 c NEW SOLUTION FOUND: -258074 @ 10.958 11.03 c Sol. found (all assignments made)... 11.03 o -258093 11.03 c NEW SOLUTION FOUND: -258093 @ 10.961 11.03 c Sol. found (all assignments made)... 11.03 o -258099 11.03 c NEW SOLUTION FOUND: -258099 @ 10.962 11.03 c Sol. found (all assignments made)... 11.03 o -258112 11.03 c NEW SOLUTION FOUND: -258112 @ 10.964 11.03 c Sol. found (all assignments made)... 11.03 o -258183 11.03 c NEW SOLUTION FOUND: -258183 @ 10.966 11.04 c Sol. found (all assignments made)... 11.04 o -258204 11.04 c NEW SOLUTION FOUND: -258204 @ 10.967 11.04 c Sol. found (all assignments made)... 11.04 o -258273 11.04 c NEW SOLUTION FOUND: -258273 @ 10.968 11.04 c Sol. found (all assignments made)... 11.04 o -258293 11.04 c NEW SOLUTION FOUND: -258293 @ 10.969 11.04 c Sol. found (all assignments made)... 11.04 o -258316 11.04 c NEW SOLUTION FOUND: -258316 @ 10.97 11.04 c Sol. found (all assignments made)... 11.04 o -258333 11.04 c NEW SOLUTION FOUND: -258333 @ 10.972 11.04 c Sol. found (all assignments made)... 11.04 o -258581 11.04 c NEW SOLUTION FOUND: -258581 @ 10.974 11.04 c Sol. found (all assignments made)... 11.04 o -258742 11.04 c NEW SOLUTION FOUND: -258742 @ 10.975 11.04 c Sol. found (all assignments made)... 11.04 o -258763 11.04 c NEW SOLUTION FOUND: -258763 @ 10.976 11.05 c Sol. found (all assignments made)... 11.05 o -258926 11.05 c NEW SOLUTION FOUND: -258926 @ 10.977 11.05 c Sol. found (all assignments made)... 11.05 o -258947 11.05 c NEW SOLUTION FOUND: -258947 @ 10.978 11.05 c Sol. found (all assignments made)... 11.05 o -259018 11.05 c NEW SOLUTION FOUND: -259018 @ 10.98 11.05 c Sol. found (all assignments made)... 11.05 o -259039 11.05 c NEW SOLUTION FOUND: -259039 @ 10.981 11.05 c Sol. found (all assignments made)... 11.05 o -259108 11.05 c NEW SOLUTION FOUND: -259108 @ 10.982 11.05 c Sol. found (all assignments made)... 11.05 o -259128 11.05 c NEW SOLUTION FOUND: -259128 @ 10.983 11.05 c Sol. found (all assignments made)... 11.05 o -259134 11.05 c NEW SOLUTION FOUND: -259134 @ 10.985 11.06 c Sol. found (all assignments made)... 11.06 o -259208 11.06 c NEW SOLUTION FOUND: -259208 @ 10.988 11.06 c Sol. found (all assignments made)... 11.06 o -259228 11.06 c NEW SOLUTION FOUND: -259228 @ 10.989 11.06 c Sol. found (all assignments made)... 11.06 o -259251 11.06 c NEW SOLUTION FOUND: -259251 @ 10.991 11.06 c Sol. found (all assignments made)... 11.06 o -259268 11.06 c NEW SOLUTION FOUND: -259268 @ 10.992 11.06 c Sol. found (all assignments made)... 11.06 o -259326 11.06 c NEW SOLUTION FOUND: -259326 @ 10.995 11.07 c Sol. found (all assignments made)... 11.07 o -259329 11.07 c NEW SOLUTION FOUND: -259329 @ 10.997 11.07 c Sol. found (all assignments made)... 11.07 o -259335 11.07 c NEW SOLUTION FOUND: -259335 @ 10.999 11.07 c Sol. found (all assignments made)... 11.07 o -259338 11.07 c NEW SOLUTION FOUND: -259338 @ 11.004 11.07 c Sol. found (all assignments made)... 11.07 o -259358 11.07 c NEW SOLUTION FOUND: -259358 @ 11.005 11.08 c Sol. found (all assignments made)... 11.08 o -259364 11.08 c NEW SOLUTION FOUND: -259364 @ 11.008 11.08 c Sol. found (all assignments made)... 11.08 o -259380 11.08 c NEW SOLUTION FOUND: -259380 @ 11.011 11.08 c Sol. found (all assignments made)... 11.08 o -259397 11.08 c NEW SOLUTION FOUND: -259397 @ 11.013 11.09 c Sol. found (all assignments made)... 11.09 o -259398 11.09 c NEW SOLUTION FOUND: -259398 @ 11.026 11.10 c Sol. found (all assignments made)... 11.10 o -259403 11.10 c NEW SOLUTION FOUND: -259403 @ 11.031 11.10 c Sol. found (all assignments made)... 11.10 o -259423 11.10 c NEW SOLUTION FOUND: -259423 @ 11.033 11.11 c Sol. found (all assignments made)... 11.11 o -259429 11.11 c NEW SOLUTION FOUND: -259429 @ 11.037 11.13 c Sol. found (all assignments made)... 11.13 o -259431 11.13 c NEW SOLUTION FOUND: -259431 @ 11.06 11.64 c Restart #9 #Var: 751 LB: -376125 @ 11.569 13.33 c Restart #10 #Var: 751 LB: -376125 @ 13.265 14.15 c Restart #11 #Var: 751 LB: -376125 @ 14.082 21.29 c Restart #12 #Var: 751 LB: -376125 @ 21.215 22.61 c Restart #13 #Var: 750 LB: -376125 @ 22.534 23.21 c Restart #14 #Var: 750 LB: -376125 @ 23.142 23.98 c Restart #15 #Var: 749 LB: -376125 @ 23.904 25.05 c Restart #16 #Var: 749 LB: -376125 @ 24.979 25.50 c Sol. found (all assignments made)... 25.50 o -259553 25.50 c NEW SOLUTION FOUND: -259553 @ 25.424 25.51 c Sol. found (all assignments made)... 25.51 o -259615 25.51 c NEW SOLUTION FOUND: -259615 @ 25.437 25.52 c Sol. found (all assignments made)... 25.52 o -259620 25.52 c NEW SOLUTION FOUND: -259620 @ 25.447 25.52 c Sol. found (all assignments made)... 25.52 o -259682 25.52 c NEW SOLUTION FOUND: -259682 @ 25.449 26.01 c Restart #17 #Var: 749 LB: -376125 @ 25.936 27.46 c Restart #18 #Var: 749 LB: -376125 @ 27.381 28.26 c Restart #19 #Var: 749 LB: -376125 @ 28.181 29.02 c Restart #20 #Var: 748 LB: -376125 @ 28.942 30.14 c Restart #21 #Var: 748 LB: -376125 @ 30.06 30.39 c Sol. found (all assignments made)... 30.39 o -275221 30.39 c NEW SOLUTION FOUND: -275221 @ 30.312 30.86 c Sol. found (all assignments made)... 30.86 o -275664 30.86 c NEW SOLUTION FOUND: -275664 @ 30.783 31.81 c Restart #22 #Var: 748 LB: -376125 @ 31.74 35.33 c Restart #23 #Var: 748 LB: -376125 @ 35.253 37.75 c Restart #24 #Var: 748 LB: -376125 @ 37.677 40.52 c Restart #25 #Var: 748 LB: -376125 @ 40.44 42.41 c Sol. found (all assignments made)... 42.41 o -288150 42.41 c NEW SOLUTION FOUND: -288150 @ 42.332 42.41 c Sol. found (all assignments made)... 42.41 o -288154 42.41 c NEW SOLUTION FOUND: -288154 @ 42.336 42.42 c Sol. found (all assignments made)... 42.42 o -288156 42.42 c NEW SOLUTION FOUND: -288156 @ 42.338 42.42 c Sol. found (all assignments made)... 42.42 o -288273 42.42 c NEW SOLUTION FOUND: -288273 @ 42.342 42.42 c Sol. found (all assignments made)... 42.42 o -288285 42.42 c NEW SOLUTION FOUND: -288285 @ 42.344 42.43 c Sol. found (all assignments made)... 42.43 o -288615 42.43 c NEW SOLUTION FOUND: -288615 @ 42.349 42.43 c Sol. found (all assignments made)... 42.43 o -288679 42.43 c NEW SOLUTION FOUND: -288679 @ 42.352 42.43 c Sol. found (all assignments made)... 42.43 o -288734 42.43 c NEW SOLUTION FOUND: -288734 @ 42.354 42.44 c Sol. found (all assignments made)... 42.44 o -288746 42.44 c NEW SOLUTION FOUND: -288746 @ 42.358 43.51 c Restart #26 #Var: 748 LB: -376125 @ 43.433 44.78 c Restart #27 #Var: 745 LB: -305602 @ 44.7 46.30 c Restart #28 #Var: 745 LB: -305602 @ 46.218 54.64 c Restart #29 #Var: 745 LB: -305602 @ 54.557 56.43 c Sol. found (all assignments made)... 56.43 o -291999 56.43 c NEW SOLUTION FOUND: -291999 @ 56.344 56.86 c Sol. found (all assignments made)... 56.86 o -292273 56.86 c NEW SOLUTION FOUND: -292273 @ 56.778 56.92 c Sol. found (all assignments made)... 56.92 o -292340 56.92 c NEW SOLUTION FOUND: -292340 @ 56.837 58.61 c Sol. found (all assignments made)... 58.61 o -292986 58.61 c NEW SOLUTION FOUND: -292986 @ 58.524 58.71 c Sol. found (all assignments made)... 58.71 o -293053 58.71 c NEW SOLUTION FOUND: -293053 @ 58.626 59.56 c Sol. found (all assignments made)... 59.56 o -293055 59.56 c NEW SOLUTION FOUND: -293055 @ 59.472 61.01 c Restart #30 #Var: 745 LB: -305602 @ 60.93 62.36 c Restart #31 #Var: 745 LB: -305602 @ 62.277 66.80 c Restart #32 #Var: 745 LB: -305602 @ 66.709 72.63 c Restart #33 #Var: 745 LB: -305602 @ 72.544 76.13 c Restart #34 #Var: 744 LB: -305602 @ 76.037 82.56 c Sol. found (all assignments made)... 82.56 o -293077 82.56 c NEW SOLUTION FOUND: -293077 @ 82.47 86.29 c Sol. found (all assignments made)... 86.29 o -293094 86.29 c NEW SOLUTION FOUND: -293094 @ 86.195 86.30 c Sol. found (all assignments made)... 86.30 o -293096 86.30 c NEW SOLUTION FOUND: -293096 @ 86.206 86.32 c Sol. found (all assignments made)... 86.32 o -293097 86.32 c NEW SOLUTION FOUND: -293097 @ 86.223 86.32 c Sol. found (all assignments made)... 86.32 o -293103 86.32 c NEW SOLUTION FOUND: -293103 @ 86.23 86.34 c Sol. found (all assignments made)... 86.34 o -293111 86.34 c NEW SOLUTION FOUND: -293111 @ 86.25 87.21 c Sol. found (all assignments made)... 87.21 o -293114 87.21 c NEW SOLUTION FOUND: -293114 @ 87.115 87.24 c Sol. found (all assignments made)... 87.24 o -293120 87.24 c NEW SOLUTION FOUND: -293120 @ 87.147 91.11 c Sol. found (all assignments made)... 91.11 o -293121 91.11 c NEW SOLUTION FOUND: -293121 @ 91.018 97.32 c Sol. found (all assignments made)... 97.32 o -293123 97.32 c NEW SOLUTION FOUND: -293123 @ 97.22 100.32 c Restart #35 #Var: 744 LB: -305602 @ 100.23 110.12 c Restart #36 #Var: 744 LB: -305602 @ 110.02 113.44 c Restart #37 #Var: 744 LB: -305602 @ 113.33 120.59 c Sol. found (all assignments made)... 120.59 o -293125 120.59 c NEW SOLUTION FOUND: -293125 @ 120.49 122.69 c Sol. found (all assignments made)... 122.69 o -293128 122.69 c NEW SOLUTION FOUND: -293128 @ 122.59 128.47 c Sol. found (all assignments made)... 128.47 o -293131 128.47 c NEW SOLUTION FOUND: -293131 @ 128.36 132.55 c Sol. found (all assignments made)... 132.55 o -293139 132.55 c NEW SOLUTION FOUND: -293139 @ 132.44 132.66 c Sol. found (all assignments made)... 132.66 o -293141 132.66 c NEW SOLUTION FOUND: -293141 @ 132.55 138.62 c Restart #38 #Var: 741 LB: -305602 @ 138.51 146.93 c Restart #39 #Var: 741 LB: -305602 @ 146.82 149.24 c Restart #40 #Var: 741 LB: -305602 @ 149.13 152.81 c Restart #41 #Var: 741 LB: -305602 @ 152.7 158.47 c Restart #42 #Var: 739 LB: -305602 @ 158.35 160.00 c Restart #43 #Var: 739 LB: -305602 @ 159.88 164.07 c Restart #44 #Var: 739 LB: -305602 @ 163.95 169.58 c Restart #45 #Var: 739 LB: -305602 @ 169.46 172.86 c Restart #46 #Var: 739 LB: -305602 @ 172.74 178.59 c Restart #47 #Var: 739 LB: -305602 @ 178.46 186.84 c Restart #48 #Var: 739 LB: -305602 @ 186.72 204.06 c Restart #49 #Var: 739 LB: -305602 @ 203.93 216.16 c Restart #50 #Var: 739 LB: -305602 @ 216.03 219.33 c Restart #51 #Var: 739 LB: -305602 @ 219.2 226.83 c Restart #52 #Var: 739 LB: -305602 @ 226.69 231.11 c Restart #53 #Var: 739 LB: -305602 @ 230.97 306.69 c Restart #54 #Var: 739 LB: -305602 @ 306.53 351.22 c Restart #55 #Var: 739 LB: -305602 @ 351.04 369.78 c Sol. found (all assignments made)... 369.78 o -293251 369.78 c NEW SOLUTION FOUND: -293251 @ 369.6 378.64 c Sol. found (all assignments made)... 378.64 o -293339 378.64 c NEW SOLUTION FOUND: -293339 @ 378.45 378.71 c Sol. found (all assignments made)... 378.71 o -293341 378.71 c NEW SOLUTION FOUND: -293341 @ 378.52 378.89 c Sol. found (all assignments made)... 378.89 o -293347 378.89 c NEW SOLUTION FOUND: -293347 @ 378.7 379.27 c Sol. found (all assignments made)... 379.27 o -293389 379.27 c NEW SOLUTION FOUND: -293389 @ 379.08 379.84 c Sol. found (all assignments made)... 379.84 o -293435 379.84 c NEW SOLUTION FOUND: -293435 @ 379.65 390.43 c Restart #56 #Var: 739 LB: -305602 @ 390.23 404.77 c Sol. found (all assignments made)... 404.77 o -293517 404.77 c NEW SOLUTION FOUND: -293517 @ 404.57 404.81 c Sol. found (all assignments made)... 404.81 o -293556 404.81 c NEW SOLUTION FOUND: -293556 @ 404.62 406.47 c Restart #57 #Var: 733 LB: -305602 @ 406.27 410.86 c Restart #58 #Var: 733 LB: -305602 @ 410.67 439.06 c Restart #59 #Var: 733 LB: -305602 @ 438.85 458.10 c Restart #60 #Var: 733 LB: -305602 @ 457.89 460.12 c Restart #61 #Var: 733 LB: -305602 @ 459.91 495.89 c Restart #62 #Var: 733 LB: -305602 @ 495.66 498.77 c Sol. found (all assignments made)... 498.77 o -293573 498.77 c NEW SOLUTION FOUND: -293573 @ 498.55 498.81 c Sol. found (all assignments made)... 498.81 o -293580 498.81 c NEW SOLUTION FOUND: -293580 @ 498.58 498.95 c Sol. found (all assignments made)... 498.95 o -293590 498.95 c NEW SOLUTION FOUND: -293590 @ 498.73 499.07 c Sol. found (all assignments made)... 499.07 o -293596 499.07 c NEW SOLUTION FOUND: -293596 @ 498.85 499.08 c Sol. found (all assignments made)... 499.08 o -293599 499.08 c NEW SOLUTION FOUND: -293599 @ 498.86 499.08 c Sol. found (all assignments made)... 499.08 o -293608 499.08 c NEW SOLUTION FOUND: -293608 @ 498.86 499.10 c Sol. found (all assignments made)... 499.10 o -293611 499.10 c NEW SOLUTION FOUND: -293611 @ 498.87 499.12 c Sol. found (all assignments made)... 499.12 o -293613 499.12 c NEW SOLUTION FOUND: -293613 @ 498.89 499.20 c Sol. found (all assignments made)... 499.20 o -293631 499.20 c NEW SOLUTION FOUND: -293631 @ 498.97 499.21 c Sol. found (all assignments made)... 499.21 o -293633 499.21 c NEW SOLUTION FOUND: -293633 @ 498.98 499.29 c Sol. found (all assignments made)... 499.29 o -293639 499.29 c NEW SOLUTION FOUND: -293639 @ 499.06 499.29 c Sol. found (all assignments made)... 499.29 o -293656 499.29 c NEW SOLUTION FOUND: -293656 @ 499.06 499.33 c Sol. found (all assignments made)... 499.33 o -293669 499.33 c NEW SOLUTION FOUND: -293669 @ 499.11 499.34 c Sol. found (all assignments made)... 499.34 o -293702 499.34 c NEW SOLUTION FOUND: -293702 @ 499.12 499.43 c Sol. found (all assignments made)... 499.43 o -293706 499.43 c NEW SOLUTION FOUND: -293706 @ 499.2 499.56 c Sol. found (all assignments made)... 499.56 o -293723 499.56 c NEW SOLUTION FOUND: -293723 @ 499.34 499.63 c Sol. found (all assignments made)... 499.63 o -293746 499.63 c NEW SOLUTION FOUND: -293746 @ 499.4 499.72 c Sol. found (all assignments made)... 499.72 o -293757 499.72 c NEW SOLUTION FOUND: -293757 @ 499.49 499.76 c Sol. found (all assignments made)... 499.76 o -293760 499.76 c NEW SOLUTION FOUND: -293760 @ 499.54 499.83 c Sol. found (all assignments made)... 499.83 o -293761 499.83 c NEW SOLUTION FOUND: -293761 @ 499.6 499.83 c Sol. found (all assignments made)... 499.83 o -293763 499.83 c NEW SOLUTION FOUND: -293763 @ 499.6 500.00 c Sol. found (all assignments made)... 500.00 o -293780 500.00 c NEW SOLUTION FOUND: -293780 @ 499.78 500.37 c Sol. found (all assignments made)... 500.37 o -293789 500.37 c NEW SOLUTION FOUND: -293789 @ 500.14 500.41 c Sol. found (all assignments made)... 500.41 o -293791 500.41 c NEW SOLUTION FOUND: -293791 @ 500.18 508.90 c Sol. found (all assignments made)... 508.90 o -293792 508.90 c NEW SOLUTION FOUND: -293792 @ 508.67 509.01 c Sol. found (all assignments made)... 509.01 o -293794 509.01 c NEW SOLUTION FOUND: -293794 @ 508.78 514.26 c Restart #63 #Var: 733 LB: -305602 @ 514.03 524.80 c Restart #64 #Var: 733 LB: -305602 @ 524.57 535.64 c Restart #65 #Var: 733 LB: -305602 @ 535.4 560.53 c Restart #66 #Var: 733 LB: -305602 @ 560.29 565.00 c Restart #67 #Var: 733 LB: -305602 @ 564.75 614.91 c Restart #68 #Var: 733 LB: -305602 @ 614.64 677.72 c Restart #69 #Var: 733 LB: -305602 @ 677.43 683.68 c Restart #70 #Var: 733 LB: -305602 @ 683.39 746.36 c Restart #71 #Var: 733 LB: -305602 @ 746.05 786.83 c Restart #72 #Var: 733 LB: -305602 @ 786.51 808.13 c Restart #73 #Var: 733 LB: -305602 @ 807.8 813.60 c Sol. found (all assignments made)... 813.60 o -293804 813.60 c NEW SOLUTION FOUND: -293804 @ 813.27 822.69 c Restart #74 #Var: 733 LB: -305602 @ 822.36 887.99 c Restart #75 #Var: 733 LB: -305602 @ 887.63 922.49 c Restart #76 #Var: 733 LB: -305602 @ 922.12 928.34 c Restart #77 #Var: 733 LB: -305602 @ 927.97 1076.76 c Restart #78 #Var: 733 LB: -305602 @ 1076.3 1097.30 c Restart #79 #Var: 733 LB: -305602 @ 1096.9 1138.60 c Restart #80 #Var: 733 LB: -305602 @ 1138.2 1154.42 c Restart #81 #Var: 733 LB: -305602 @ 1154 1161.83 c Sol. found (all assignments made)... 1161.83 o -293806 1161.83 c NEW SOLUTION FOUND: -293806 @ 1161.4 1179.55 c Restart #82 #Var: 731 LB: -305602 @ 1179.1 1188.87 c Restart #83 #Var: 731 LB: -305602 @ 1188.4 1235.49 c Restart #84 #Var: 730 LB: -305602 @ 1235 1243.88 c Sol. found (all assignments made)... 1243.88 o -293807 1243.88 c NEW SOLUTION FOUND: -293807 @ 1243.4 1244.26 c Sol. found (all assignments made)... 1244.26 o -293811 1244.26 c NEW SOLUTION FOUND: -293811 @ 1243.8 1248.90 c Sol. found (all assignments made)... 1248.90 o -293813 1248.90 c NEW SOLUTION FOUND: -293813 @ 1248.4 1250.36 c Sol. found (all assignments made)... 1250.36 o -293814 1250.36 c NEW SOLUTION FOUND: -293814 @ 1249.9 1254.58 c Sol. found (all assignments made)... 1254.58 o -293816 1254.58 c NEW SOLUTION FOUND: -293816 @ 1254.1 1255.68 c Sol. found (all assignments made)... 1255.68 o -293817 1255.68 c NEW SOLUTION FOUND: -293817 @ 1255.2 1256.42 c Sol. found (all assignments made)... 1256.42 o -293819 1256.42 c NEW SOLUTION FOUND: -293819 @ 1255.9 1258.28 c Sol. found (all assignments made)... 1258.28 o -293820 1258.28 c NEW SOLUTION FOUND: -293820 @ 1257.8 1259.11 c Sol. found (all assignments made)... 1259.11 o -293822 1259.11 c NEW SOLUTION FOUND: -293822 @ 1258.6 1259.35 c Sol. found (all assignments made)... 1259.35 o -293825 1259.35 c NEW SOLUTION FOUND: -293825 @ 1258.9 1265.59 c Sol. found (all assignments made)... 1265.59 o -293827 1265.59 c NEW SOLUTION FOUND: -293827 @ 1265.1 1284.78 c Restart #85 #Var: 724 LB: -305602 @ 1284.3 1458.84 c Restart #86 #Var: 724 LB: -305602 @ 1458.3 1474.22 c Restart #87 #Var: 720 LB: -305602 @ 1473.6 1489.23 c Restart #88 #Var: 718 LB: -305602 @ 1488.6 1497.16 c Sol. found (all assignments made)... 1497.16 o -293828 1497.16 c NEW SOLUTION FOUND: -293828 @ 1496.6 1509.95 c Sol. found (all assignments made)... 1509.95 o -293829 1509.95 c NEW SOLUTION FOUND: -293829 @ 1509.4 1509.96 c Sol. found (all assignments made)... 1509.96 o -293834 1509.96 c NEW SOLUTION FOUND: -293834 @ 1509.4 1513.54 c Restart #89 #Var: 716 LB: -305602 @ 1512.9 1518.42 c Sol. found (all assignments made)... 1518.42 o -293835 1518.42 c NEW SOLUTION FOUND: -293835 @ 1517.8 1522.51 c Restart #90 #Var: 716 LB: -305602 @ 1521.9 1554.63 c Sol. found (all assignments made)... 1554.63 o -293842 1554.63 c NEW SOLUTION FOUND: -293842 @ 1554 1555.02 c Sol. found (all assignments made)... 1555.02 o -293844 1555.02 c NEW SOLUTION FOUND: -293844 @ 1554.4 1559.84 c Restart #91 #Var: 716 LB: -305602 @ 1559.2 1607.12 c Sol. found (all assignments made)... 1607.12 o -293845 1607.12 c NEW SOLUTION FOUND: -293845 @ 1606.5 1624.04 c Sol. found (all assignments made)... 1624.04 o -293846 1624.04 c NEW SOLUTION FOUND: -293846 @ 1623.4 1627.70 c Restart #92 #Var: 716 LB: -305602 @ 1627.1 1691.38 c Restart #93 #Var: 715 LB: -305602 @ 1690.7 1741.74 c Restart #94 #Var: 715 LB: -305602 @ 1741.1 1760.78 c Restart #95 #Var: 714 LB: -305602 @ 1760.1 1783.40 c Restart #96 #Var: 713 LB: -305602 @ 1782.7 1800.72 s SATISFIABLE 1800.72 c Cost: -293846 1800.72 v x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 -x628 -x629 -x630 x631 x632 x691 -x692 -x693 -x694 -x695 -x696 1800.72 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1800.72 v -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 -x104 x633 -x634 x635 x636 x637 -x638 x639 1800.72 v x640 -x641 -x642 x643 x644 -x645 -x646 x647 -x648 -x649 -x650 x651 -x652 -x653 x654 -x655 -x656 x657 -x658 -x659 x660 -x661 1800.72 v 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 1800.72 v x687 x688 -x689 x690 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x737 1800.72 v x738 x739 x740 x741 x742 -x743 -x744 x745 x746 x747 x748 -x749 x750 -x751 -x752 x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 1800.72 v -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 x841 1800.72 v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 1800.72 v -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 1800.72 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.72 v -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 1800.72 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1800.72 v -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 1800.72 v -x373 -x374 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 1800.72 v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 1800.72 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x857 1800.72 v x858 -x859 x860 x861 -x862 x863 x864 x865 -x866 x867 -x868 -x869 x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.72 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 1800.72 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 1800.72 v -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 1800.72 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.72 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.72 v -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 1800.72 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.72 v -x401 -x402 -x403 -x404 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.72 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1800.72 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 1800.72 v -x584 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 x904 -x905 -x906 1800.72 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 1800.72 v -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.72 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.72 v -x163 -x164 -x225 x226 x227 -x228 -x229 x230 x231 x232 x233 x234 -x235 x236 x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 1800.72 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.72 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 1800.72 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 1800.72 v -x429 -x430 -x431 -x432 -x433 -x434 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.72 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 1800.72 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.72 v -x612 -x613 -x614 x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 x776 x777 -x778 x779 -x780 -x781 -x782 -x783 x784 -x785 1800.72 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x917 x918 -x919 -x920 -x921 x922 -x923 x924 -x925 -x926 1800.72 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 1800.72 v -x798 -x799 x800 -x801 x802 -x803 x804 x805 -x806 x807 -x808 -x809 x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 1800.72 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 x986 -x987 x988 x989 -x990 1800.72 v x991 -x992 x993 -x994 x995 -x996 -x997 x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.72 v x1011 x1012 x1013 -x1014 x1015 x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 1800.72 v x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1067 x1068 x1069 -x1070 x1071 -x1072 x1073 -x1074 x1075 x1076 x1077 1800.72 v x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 -x1085 x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.72 v -x1096 x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 1800.72 v -x967 x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 1800.72 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 1800.72 v -x1064 -x1065 -x1066 1800.72 c Exit Code: 10 1800.72 c Total time: 1800 s
OK -293846
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-39917-1149331136 -o ROOT/results/node48/solver-39917-1149331136 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/39917-1149331136/instance-39917-1149331136.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.94 3/64 25606 /proc/meminfo: memFree=1877912/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436 CPUtime=0 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 198780683 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3531684 0 0 4096 0 0 0 0 17 1 0 0 /proc/25606/statm: 109 23 18 55 0 18 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1850216/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=29328 CPUtime=9.93 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 6859 0 12 0 983 10 0 0 25 0 1 0 198780683 30031872 6606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 7332 6606 426 55 0 6224 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 29328 [startup+20.0092 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1843816/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=35764 CPUtime=19.93 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 8466 0 12 0 1981 12 0 0 25 0 1 0 198780683 36622336 8213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 8941 8213 426 55 0 7833 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 35764 [startup+30.0159 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1825832/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=53832 CPUtime=29.93 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 13151 0 12 0 2975 18 0 0 25 0 1 0 198780683 55123968 12728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 13458 12728 426 55 0 12350 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 53832 [startup+40.0216 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1817640/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=62104 CPUtime=39.93 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 15461 0 12 0 3972 21 0 0 25 0 1 0 198780683 63594496 14780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 15526 14780 426 55 0 14418 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 62104 [startup+50.0283 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1805096/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=74608 CPUtime=49.93 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 18730 0 12 0 4965 28 0 0 25 0 1 0 198780683 76398592 17920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 18652 17920 426 55 0 17544 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 74608 [startup+60.0341 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1800552/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=79176 CPUtime=59.94 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 19858 0 12 0 5962 32 0 0 25 0 1 0 198780683 81076224 19048 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 19794 19048 426 55 0 18686 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 79176 [startup+70.0408 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1793320/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=86432 CPUtime=69.94 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 21675 0 12 0 6960 34 0 0 25 0 1 0 198780683 88506368 20865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 21608 20865 426 55 0 20500 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 86432 [startup+80.0465 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1791464/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=88244 CPUtime=79.94 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 22136 0 12 0 7958 36 0 0 25 0 1 0 198780683 90361856 21326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 22061 21326 426 55 0 20953 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 88244 [startup+90.0522 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1783272/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=96408 CPUtime=89.95 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 24482 0 12 0 8954 41 0 0 25 0 1 0 198780683 98721792 23378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 24102 23378 426 55 0 22994 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 96408 [startup+100.058 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1780264/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=99444 CPUtime=99.95 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 25224 0 12 0 9949 46 0 0 25 0 1 0 198780683 101830656 24120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 24861 24120 426 55 0 23753 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 99444 [startup+110.064 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1777064/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=102568 CPUtime=109.96 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 26113 0 12 0 10948 48 0 0 25 0 1 0 198780683 105029632 24902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 25642 24902 426 55 0 24534 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 102568 [startup+120.069 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1771752/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=107912 CPUtime=119.95 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 27445 0 12 0 11945 50 0 0 25 0 1 0 198780683 110501888 26234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 26978 26234 426 55 0 25870 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 107912 [startup+130.075 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1764328/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=115316 CPUtime=129.96 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 29295 0 12 0 12942 54 0 0 25 0 1 0 198780683 118083584 28084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 28829 28084 426 55 0 27721 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 115316 [startup+140.081 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1761960/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=117696 CPUtime=139.97 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 29892 0 12 0 13941 56 0 0 25 0 1 0 198780683 120520704 28681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 29424 28682 426 55 0 28316 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 117696 [startup+150.086 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1755816/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=123876 CPUtime=149.96 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 31422 0 12 0 14937 59 0 0 25 0 1 0 198780683 126849024 30205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 30969 30205 426 55 0 29861 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 123876 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1745960/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=133640 CPUtime=159.96 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 33886 0 12 0 15934 62 0 0 25 0 1 0 198780683 136847360 32669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 33410 32669 426 55 0 32302 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 133640 [startup+170.098 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1730344/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=149348 CPUtime=169.97 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 37790 0 12 0 16930 67 0 0 25 0 1 0 198780683 152932352 36570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 37337 36570 426 55 0 36229 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 149348 [startup+180.104 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1717352/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=162240 CPUtime=179.97 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 41020 0 12 0 17927 70 0 0 25 0 1 0 198780683 166133760 39800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 40560 39800 426 55 0 39452 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 162240 [startup+190.109 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1714344/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=165300 CPUtime=189.98 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 41857 0 12 0 18926 72 0 0 25 0 1 0 198780683 169267200 40551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 41325 40551 426 55 0 40217 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 165300 [startup+200.115 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1713256/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=166372 CPUtime=199.98 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 42130 0 12 0 19924 74 0 0 25 0 1 0 198780683 170364928 40824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 41593 40824 426 55 0 40485 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 166372 [startup+210.121 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25606 /proc/meminfo: memFree=1705384/2055920 swapFree=4181440/4192956 ################ # More data... # ################ /proc/25606/statm: 108041 107045 426 55 0 106933 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 432164 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1445544/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=433880 CPUtime=1770.37 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110688 0 12 0 176797 240 0 0 25 0 1 0 198780683 444293120 107465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108470 107465 426 55 0 107362 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 433880 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1444648/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=434692 CPUtime=1780.37 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110902 0 12 0 177796 241 0 0 25 0 1 0 198780683 445124608 107679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108673 107679 426 55 0 107565 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 434692 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1444648/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=434692 CPUtime=1781.38 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110902 0 12 0 177897 241 0 0 25 0 1 0 198780683 445124608 107679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108673 107679 426 55 0 107565 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 434692 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1444648/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=434692 CPUtime=1782.38 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110902 0 12 0 177997 241 0 0 25 0 1 0 198780683 445124608 107679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108673 107679 426 55 0 107565 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 434692 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1444648/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=434692 CPUtime=1783.38 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110902 0 12 0 178097 241 0 0 25 0 1 0 198780683 445124608 107679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108673 107679 426 55 0 107565 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 434692 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1444648/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=434692 CPUtime=1784.39 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110902 0 12 0 178198 241 0 0 25 0 1 0 198780683 445124608 107679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108673 107679 426 55 0 107565 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 434692 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1444264/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=435088 CPUtime=1785.39 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 110998 0 12 0 178298 241 0 0 25 0 1 0 198780683 445530112 107775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108772 107775 426 55 0 107664 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 435088 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1443752/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=435748 CPUtime=1786.4 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111135 0 12 0 178398 242 0 0 25 0 1 0 198780683 446205952 107912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3966533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108937 107912 426 55 0 107829 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 435748 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1443496/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=435880 CPUtime=1787.4 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111191 0 12 0 178498 242 0 0 25 0 1 0 198780683 446341120 107968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 108970 107968 426 55 0 107862 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 435880 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1443240/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436144 CPUtime=1788.41 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111252 0 12 0 178599 242 0 0 25 0 1 0 198780683 446611456 108029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109036 108029 426 55 0 107928 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 436144 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1443240/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436144 CPUtime=1789.41 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111261 0 12 0 178699 242 0 0 25 0 1 0 198780683 446611456 108038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109036 108038 426 55 0 107928 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 436144 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1443176/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436276 CPUtime=1790.41 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111275 0 12 0 178799 242 0 0 25 0 1 0 198780683 446746624 108052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109069 108052 426 55 0 107961 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 436276 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1443112/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436276 CPUtime=1791.43 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111291 0 12 0 178900 243 0 0 25 0 1 0 198780683 446746624 108068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109069 108068 426 55 0 107961 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 436276 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1442856/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436540 CPUtime=1792.43 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111354 0 12 0 179000 243 0 0 25 0 1 0 198780683 447016960 108131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109135 108131 426 55 0 108027 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 436540 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1442600/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=436804 CPUtime=1793.43 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111422 0 12 0 179100 243 0 0 25 0 1 0 198780683 447287296 108199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109201 108199 426 55 0 108093 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 436804 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1442408/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=437068 CPUtime=1794.44 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111464 0 12 0 179201 243 0 0 25 0 1 0 198780683 447557632 108241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109267 108241 426 55 0 108159 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 437068 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1442408/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=437068 CPUtime=1795.44 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111464 0 12 0 179301 243 0 0 25 0 1 0 198780683 447557632 108241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109267 108241 426 55 0 108159 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 437068 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1442344/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=437068 CPUtime=1796.44 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111486 0 12 0 179401 243 0 0 25 0 1 0 198780683 447557632 108263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109267 108263 426 55 0 108159 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 437068 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1442152/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=437200 CPUtime=1797.45 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111521 0 12 0 179502 243 0 0 25 0 1 0 198780683 447692800 108298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109300 108298 426 55 0 108192 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 437200 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1441896/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=437464 CPUtime=1798.45 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111582 0 12 0 179602 243 0 0 25 0 1 0 198780683 447963136 108359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109366 108359 426 55 0 108258 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 437464 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25801 /proc/meminfo: memFree=1441832/2055920 swapFree=4181440/4192956 [pid=25606] ppid=25604 vsize=437596 CPUtime=1799.45 /proc/25606/stat : 25606 (bsolo) R 25604 25606 25560 0 -1 0 111602 0 12 0 179702 243 0 0 25 0 1 0 198780683 448098304 108379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25606/statm: 109399 108379 426 55 0 108291 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 437596 Child status: 10 Real time (s): 1800.79 CPU time (s): 1800.09 CPU user time (s): 1797.58 CPU system time (s): 2.50962 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (Kb): 437596
Begin job on node48 on Sat Jun 3 10:38:56 UTC 2006 FILE ID= 39917-1149331136 PBS_JOBID= 309866 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/39917-1149331136/instance-39917-1149331136.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-39917-1149331136 -o ROOT/results/node48/solver-39917-1149331136 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/39917-1149331136/instance-39917-1149331136.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 396a97b3a9140f57450f18f44f605394 RANDOM SEED= 647915165 /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.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1878120 kB Buffers: 9656 kB Cached: 106028 kB SwapCached: 3180 kB Active: 27848 kB Inactive: 96476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1878120 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14868 kB Slab: 39448 kB Committed_AS: 296124 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Sat Jun 3 11:08:57 UTC 2006