Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong UNSAT | 181.408 | 181.475 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1792.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
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.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655965-1276361277.opb. 0.00/0.00 c Instance file HOME/instance-2655965-1276361277.opb 0.00/0.00 c File size is 17942 bytes. 0.00/0.00 c Highest Coefficient sum: 917503 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 787 | 0.00/0.00 c | Number Clauses: 48 | 0.00/0.00 c | Number Cardinality: 48 | 0.00/0.00 c | Number PB Constraints: 17 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 785 113 2617 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 524287 0.00/0.00 o 524287 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 785 114 2636 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 785 114 2636 | 5500 100 167 | 0.254 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 524279 0.00/0.01 o 524279 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 785 115 2655 | 5000 102 165 | 0.254 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 524255 0.00/0.01 o 524255 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 785 116 2674 | 5000 102 165 | 0.254 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 523775 0.00/0.01 o 523775 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 103 | 785 117 2693 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 523743 0.00/0.02 o 523743 0.00/0.02 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 118 2712 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 523727 0.00/0.02 o 523727 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 119 2731 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 523719 0.00/0.02 o 523719 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 120 2750 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 523263 0.00/0.02 o 523263 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 121 2769 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 523247 0.00/0.02 o 523247 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 122 2788 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 523231 0.00/0.02 o 523231 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 123 2807 | 5000 103 164 | 0.254 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 522751 0.00/0.02 o 522751 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 103 | 785 124 2826 | 5000 103 164 | 0.254 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 522719 0.00/0.03 o 522719 0.00/0.03 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 103 | 785 125 2845 | 5000 103 164 | 0.254 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 522239 0.00/0.03 o 522239 0.00/0.03 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 103 | 785 126 2864 | 5000 103 164 | 0.254 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 522231 0.00/0.03 o 522231 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 108 | 785 127 2883 | 5000 108 160 | 0.254 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 521727 0.00/0.03 o 521727 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 110 | 785 128 2902 | 5000 110 159 | 0.254 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 521471 0.00/0.03 o 521471 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 112 | 785 129 2921 | 5000 112 158 | 0.254 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 521463 0.00/0.03 o 521463 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 112 | 785 130 2940 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 521215 0.00/0.04 o 521215 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 131 2959 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 520959 0.00/0.04 o 520959 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 132 2978 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 520951 0.00/0.04 o 520951 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 133 2997 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 520927 0.00/0.04 o 520927 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 134 3016 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 520703 0.00/0.04 o 520703 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 135 3035 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 520447 0.00/0.04 o 520447 0.00/0.04 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 136 3054 | 5000 112 158 | 0.254 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 520415 0.00/0.04 o 520415 0.00/0.04 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 112 | 785 137 3073 | 5000 112 158 | 0.254 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 520399 0.00/0.05 o 520399 0.00/0.05 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 112 | 785 138 3092 | 5000 112 158 | 0.254 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 520391 0.00/0.05 o 520391 0.00/0.05 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 112 | 785 139 3111 | 5000 112 158 | 0.254 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 520383 0.00/0.05 o 520383 0.00/0.05 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 112 | 785 140 3130 | 5000 112 158 | 0.254 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 520375 0.00/0.05 o 520375 0.00/0.05 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 112 | 785 141 3149 | 5000 112 158 | 0.254 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 520191 0.00/0.05 o 520191 0.00/0.05 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 112 | 785 142 3168 | 5000 112 158 | 0.254 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 519935 0.00/0.05 o 519935 0.00/0.05 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 116 | 785 143 3187 | 5000 116 155 | 0.254 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 519919 0.00/0.06 o 519919 0.00/0.06 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 116 | 785 144 3206 | 5000 116 155 | 0.254 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 519911 0.00/0.06 o 519911 0.00/0.06 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 116 | 785 145 3225 | 5000 116 155 | 0.254 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 519679 0.00/0.06 o 519679 0.00/0.06 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 116 | 785 146 3244 | 5000 116 155 | 0.254 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 519423 0.00/0.06 o 519423 0.00/0.06 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 116 | 785 147 3263 | 5000 116 155 | 0.254 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 519415 0.00/0.06 o 519415 0.00/0.06 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 116 | 785 148 3282 | 5000 116 155 | 0.254 % | 0.06/0.06 c =============================================================================== 0.06/0.06 c New solution: 519391 0.06/0.06 o 519391 0.06/0.06 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.06/0.06 c =============================================================================== 0.06/0.06 c | 116 | 785 149 3301 | 5000 116 155 | 0.254 % | 0.06/0.06 c =============================================================================== 0.06/0.06 c New solution: 519383 0.06/0.06 o 519383 0.06/0.06 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.06/0.06 c =============================================================================== 0.06/0.06 c | 116 | 785 150 3320 | 5000 116 155 | 0.254 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 519375 0.06/0.07 o 519375 0.06/0.07 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 116 | 785 151 3339 | 5000 116 155 | 0.254 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 519367 0.06/0.07 o 519367 0.06/0.07 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 119 | 785 152 3358 | 5000 119 154 | 0.254 % | 0.06/0.08 c | 220 | 785 152 3358 | 5500 220 108 | 0.254 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: 519359 0.06/0.08 o 519359 0.06/0.08 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 222 | 785 153 3377 | 5000 222 108 | 0.254 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: 519327 0.06/0.08 o 519327 0.06/0.08 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 222 | 785 154 3396 | 5000 222 108 | 0.254 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: 519319 0.06/0.08 o 519319 0.06/0.08 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 222 | 785 155 3415 | 5000 222 108 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 519311 0.06/0.09 o 519311 0.06/0.09 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 222 | 785 156 3434 | 5000 222 108 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 519303 0.06/0.09 o 519303 0.06/0.09 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 222 | 785 157 3453 | 5000 222 108 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 519167 0.06/0.09 o 519167 0.06/0.09 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 222 | 785 158 3472 | 5000 222 108 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 518911 0.06/0.09 o 518911 0.06/0.09 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 223 | 785 159 3491 | 5000 223 107 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 518895 0.06/0.09 o 518895 0.06/0.09 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 223 | 785 160 3510 | 5000 223 107 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 518887 0.06/0.09 o 518887 0.06/0.09 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 223 | 785 161 3529 | 5000 223 107 | 0.254 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 518879 0.06/0.09 o 518879 0.06/0.09 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 223 | 785 162 3548 | 5000 223 107 | 0.254 % | 0.06/0.10 c =============================================================================== 0.06/0.10 c New solution: 518871 0.06/0.10 o 518871 0.06/0.10 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.06/0.10 c =============================================================================== 0.06/0.10 c | 223 | 785 163 3567 | 5000 223 107 | 0.254 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 518863 0.09/0.10 o 518863 0.09/0.10 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 223 | 785 164 3586 | 5000 223 107 | 0.254 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 518855 0.09/0.10 o 518855 0.09/0.10 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 223 | 785 165 3605 | 5000 223 107 | 0.254 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 518655 0.09/0.10 o 518655 0.09/0.10 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 223 | 785 166 3624 | 5000 223 107 | 0.254 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 518399 0.09/0.10 o 518399 0.09/0.10 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 223 | 785 167 3643 | 5000 223 107 | 0.254 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 518391 0.09/0.10 o 518391 0.09/0.10 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 223 | 785 168 3662 | 5000 223 107 | 0.254 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 518367 0.09/0.10 o 518367 0.09/0.10 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 223 | 785 169 3681 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518359 0.09/0.11 o 518359 0.09/0.11 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 170 3700 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518351 0.09/0.11 o 518351 0.09/0.11 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 171 3719 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518343 0.09/0.11 o 518343 0.09/0.11 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 172 3738 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518335 0.09/0.11 o 518335 0.09/0.11 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 173 3757 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518327 0.09/0.11 o 518327 0.09/0.11 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 174 3776 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518303 0.09/0.11 o 518303 0.09/0.11 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 175 3795 | 5000 223 107 | 0.254 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 518295 0.09/0.11 o 518295 0.09/0.11 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 223 | 785 176 3814 | 5000 223 107 | 0.254 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 518287 0.09/0.12 o 518287 0.09/0.12 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 223 | 785 177 3833 | 5000 223 107 | 0.254 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 518279 0.09/0.12 o 518279 0.09/0.12 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 223 | 785 178 3852 | 5000 223 107 | 0.254 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 518143 0.09/0.12 o 518143 0.09/0.12 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 223 | 785 179 3871 | 5000 223 107 | 0.254 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 516095 0.09/0.12 o 516095 0.09/0.12 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 226 | 785 180 3890 | 5000 226 107 | 0.254 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 515839 0.09/0.12 o 515839 0.09/0.12 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 227 | 785 181 3909 | 5000 227 106 | 0.254 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 515823 0.09/0.12 o 515823 0.09/0.12 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 227 | 785 182 3928 | 5000 227 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 515815 0.09/0.13 o 515815 0.09/0.13 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 227 | 785 183 3947 | 5000 227 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 515807 0.09/0.13 o 515807 0.09/0.13 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 227 | 785 184 3966 | 5000 227 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 515799 0.09/0.13 o 515799 0.09/0.13 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 228 | 785 185 3985 | 5000 228 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 515583 0.09/0.13 o 515583 0.09/0.13 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 229 | 785 186 4004 | 5000 229 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 515071 0.09/0.13 o 515071 0.09/0.13 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 229 | 785 187 4023 | 5000 229 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 514815 0.09/0.13 o 514815 0.09/0.13 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 229 | 785 188 4042 | 5000 229 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 514799 0.09/0.13 o 514799 0.09/0.13 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 229 | 785 189 4061 | 5000 229 106 | 0.254 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 514751 0.09/0.13 o 514751 0.09/0.13 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 229 | 785 190 4080 | 5000 229 106 | 0.254 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 514735 0.09/0.14 o 514735 0.09/0.14 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 229 | 785 191 4099 | 5000 229 106 | 0.254 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 514733 0.09/0.14 o 514733 0.09/0.14 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 229 | 785 192 4118 | 5000 229 106 | 0.254 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 514687 0.09/0.14 o 514687 0.09/0.14 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 229 | 785 193 4137 | 5000 229 106 | 0.254 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 514671 0.09/0.14 o 514671 0.09/0.14 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 231 | 785 194 4156 | 5000 231 106 | 0.254 % | 0.09/0.16 c | 334 | 785 194 4156 | 5500 334 121 | 0.254 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 514559 0.09/0.17 o 514559 0.09/0.17 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 366 | 785 195 4175 | 5000 366 120 | 0.254 % | 0.09/0.18 c | 466 | 785 195 4175 | 5500 466 120 | 0.254 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 514495 0.09/0.18 o 514495 0.09/0.18 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 471 | 785 196 4194 | 5000 471 119 | 0.254 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 514493 0.09/0.18 o 514493 0.09/0.18 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 471 | 785 197 4213 | 5000 471 119 | 0.254 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 514491 0.09/0.18 o 514491 0.09/0.18 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 471 | 785 198 4232 | 5000 471 119 | 0.254 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 514489 0.09/0.19 o 514489 0.09/0.19 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 472 | 785 199 4251 | 5000 472 119 | 0.254 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 514303 0.09/0.19 o 514303 0.09/0.19 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 472 | 785 200 4270 | 5000 472 119 | 0.254 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 514302 0.09/0.19 o 514302 0.09/0.19 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 472 | 785 201 4289 | 5000 472 119 | 0.254 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 514295 0.09/0.19 o 514295 0.09/0.19 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 472 | 785 202 4308 | 5000 472 119 | 0.254 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 514294 0.09/0.19 o 514294 0.09/0.19 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 472 | 785 203 4327 | 5000 472 119 | 0.254 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 514271 0.09/0.19 o 514271 0.09/0.19 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 472 | 785 204 4346 | 5000 472 119 | 0.254 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c New solution: 514270 0.09/0.20 o 514270 0.09/0.20 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s 0.09/0.20 c =============================================================================== 0.09/0.20 c | 472 | 785 205 4365 | 5000 472 119 | 0.254 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 514263 0.19/0.20 o 514263 0.19/0.20 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 473 | 785 206 4384 | 5000 473 119 | 0.254 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 514262 0.19/0.20 o 514262 0.19/0.20 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 474 | 785 207 4403 | 5000 474 119 | 0.254 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 514255 0.19/0.20 o 514255 0.19/0.20 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 474 | 785 208 4422 | 5000 474 119 | 0.254 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 514254 0.19/0.20 o 514254 0.19/0.20 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 474 | 785 209 4441 | 5000 474 119 | 0.254 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 514247 0.19/0.20 o 514247 0.19/0.20 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 474 | 785 210 4460 | 5000 474 119 | 0.254 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 514246 0.19/0.20 o 514246 0.19/0.20 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 474 | 785 211 4479 | 5000 474 119 | 0.254 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 514175 0.19/0.21 o 514175 0.19/0.21 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 475 | 785 212 4498 | 5000 475 119 | 0.254 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 514174 0.19/0.21 o 514174 0.19/0.21 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 476 | 785 213 4517 | 5000 476 119 | 0.254 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 514047 0.19/0.21 o 514047 0.19/0.21 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 476 | 785 214 4536 | 5000 476 119 | 0.254 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 513535 0.19/0.21 o 513535 0.19/0.21 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 478 | 785 215 4555 | 5000 478 119 | 0.254 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 513503 0.19/0.21 o 513503 0.19/0.21 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 478 | 785 216 4574 | 5000 478 119 | 0.254 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 513495 0.19/0.22 o 513495 0.19/0.22 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 478 | 785 217 4593 | 5000 478 119 | 0.254 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 513487 0.19/0.22 o 513487 0.19/0.22 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 478 | 785 218 4612 | 5000 478 119 | 0.254 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 513479 0.19/0.22 o 513479 0.19/0.22 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 478 | 785 219 4631 | 5000 478 119 | 0.254 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 513471 0.19/0.22 o 513471 0.19/0.22 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 478 | 785 220 4650 | 5000 478 119 | 0.254 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 513463 0.19/0.22 o 513463 0.19/0.22 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 478 | 785 221 4669 | 5000 478 119 | 0.254 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 511999 0.19/0.22 o 511999 0.19/0.22 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 478 | 785 222 4688 | 5000 478 119 | 0.254 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 511487 0.19/0.23 o 511487 0.19/0.23 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 482 | 785 223 4707 | 5000 482 119 | 0.254 % | 0.19/0.24 c | 584 | 785 223 4707 | 5500 584 116 | 0.254 % | 0.19/0.26 c | 735 | 785 223 4707 | 6050 735 119 | 0.254 % | 0.29/0.31 c | 961 | 785 223 4707 | 6655 961 125 | 0.254 % | 0.29/0.37 c | 1300 | 785 223 4707 | 7320 1300 129 | 0.254 % | 0.39/0.48 c | 1806 | 785 223 4707 | 8052 1806 136 | 0.254 % | 0.59/0.64 c | 2568 | 785 223 4707 | 8857 2568 142 | 0.254 % | 0.89/0.95 c | 3708 | 785 223 4707 | 9743 3708 150 | 0.254 % | 1.39/1.42 c | 5416 | 785 223 4707 | 10717 5416 147 | 0.254 % | 2.10/2.20 c | 7979 | 785 223 4707 | 11789 7979 147 | 0.254 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 509951 2.20/2.23 o 509951 2.20/2.23 c Elapsed CPU time: 2.16367 s Remaining CPU time: 177.836 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 8064 | 785 224 4726 | 5000 8064 147 | 0.254 % | 2.20/2.27 c | 8164 | 785 224 4726 | 5500 4132 144 | 0.254 % | 2.29/2.31 c | 8317 | 785 224 4726 | 6050 4285 143 | 0.254 % | 2.29/2.36 c | 8543 | 785 224 4726 | 6655 4511 143 | 0.254 % | 2.39/2.43 c | 8884 | 785 224 4726 | 7320 4852 142 | 0.254 % | 2.49/2.58 c | 9392 | 785 224 4726 | 8052 5360 143 | 0.254 % | 2.69/2.77 c | 10153 | 785 224 4726 | 8857 6121 143 | 0.254 % | 2.99/3.08 c | 11293 | 785 224 4726 | 9743 7261 144 | 0.254 % | 3.59/3.62 c | 13004 | 785 224 4726 | 10717 8972 151 | 0.254 % | 4.48/4.52 c | 15568 | 785 224 4726 | 11789 5806 167 | 0.254 % | 5.78/5.86 c | 19412 | 785 224 4726 | 12968 9650 171 | 0.254 % | 8.88/8.95 c | 25178 | 785 224 4726 | 14265 8556 168 | 0.254 % | 11.68/11.72 c | 33831 | 785 224 4726 | 15692 9704 166 | 0.254 % | 19.88/19.94 c | 46805 | 785 224 4726 | 17261 14465 182 | 0.254 % | 34.38/34.41 c | 66267 | 785 224 4726 | 18987 15930 177 | 0.254 % | 59.07/59.17 c | 95462 | 785 224 4726 | 20886 15610 223 | 0.254 % | 95.36/95.48 c | 139252 | 785 224 4726 | 22974 16192 194 | 0.254 % | 130.05/130.17 c =============================================================================== 130.05/130.17 c New solution: 507903 130.05/130.17 o 507903 130.05/130.17 c Elapsed CPU time: 129.29 s Remaining CPU time: 50.7097 s 130.05/130.17 c =============================================================================== 130.05/130.17 c | 178524 | 785 225 4745 | 5000 19901 272 | 0.254 % | 130.35/130.47 c | 178626 | 785 225 4745 | 5500 5078 253 | 0.254 % | 130.44/130.51 c | 178777 | 785 225 4745 | 6050 5229 248 | 0.254 % | 130.44/130.58 c | 179002 | 785 225 4745 | 6655 5454 243 | 0.254 % | 130.64/130.71 c | 179339 | 785 225 4745 | 7320 5791 236 | 0.254 % | 130.75/130.84 c | 179845 | 785 225 4745 | 8052 6297 225 | 0.254 % | 131.04/131.13 c | 180605 | 785 225 4745 | 8857 7057 217 | 0.254 % | 131.34/131.46 c | 181746 | 785 225 4745 | 9743 8198 205 | 0.254 % | 131.85/131.96 c | 183454 | 785 225 4745 | 10717 9906 190 | 0.254 % | 132.74/132.85 c | 186019 | 785 225 4745 | 11789 6821 129 | 0.254 % | 134.34/134.48 c | 189863 | 785 225 4745 | 12968 10665 141 | 0.254 % | 136.84/136.97 c | 195629 | 785 225 4745 | 14265 9640 156 | 0.254 % | 140.44/140.58 c | 204278 | 785 225 4745 | 15692 10799 157 | 0.254 % | 149.54/149.62 c | 217253 | 785 225 4745 | 17261 15630 177 | 0.254 % | 164.73/164.82 c | 236715 | 785 225 4745 | 18987 17114 162 | 0.254 % | 181.13/181.22 c There are 2 assigned variables. 2 in cost function. 181.33/181.45 c core #1 181.33/181.45 c Memory used : 221.79 MB 181.33/181.45 c CPU time : 180.231 s 181.33/181.45 c 181.33/181.45 s UNSATISFIABLE 181.33/181.45 c Total CPU time: 180.231 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655965-1276361277/watcher-2655965-1276361277 -o /tmp/evaluation-result-2655965-1276361277/solver-2655965-1276361277 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655965-1276361277.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11524 /proc/meminfo: memFree=1581068/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=2708 CPUtime=0 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 346 0 0 0 0 0 0 0 23 0 1 0 11731156 2772992 259 1992294400 134512640 135751879 4289420560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 677 259 146 303 0 372 0 [startup+0.06656 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11524 /proc/meminfo: memFree=1581068/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=2840 CPUtime=0.06 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 352 0 0 0 4 2 0 0 23 0 1 0 11731156 2908160 265 1992294400 134512640 135751879 4289420560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 710 265 147 303 0 405 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2840 [startup+0.100566 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11524 /proc/meminfo: memFree=1581068/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=2840 CPUtime=0.09 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 363 0 0 0 7 2 0 0 23 0 1 0 11731156 2908160 276 1992294400 134512640 135751879 4289420560 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 710 276 147 303 0 405 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2840 [startup+0.300603 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11524 /proc/meminfo: memFree=1581068/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=3232 CPUtime=0.29 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 473 0 0 0 24 5 0 0 18 0 1 0 11731156 3309568 386 1992294400 134512640 135751879 4289420560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 808 386 147 303 0 503 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3232 [startup+0.700678 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11524 /proc/meminfo: memFree=1581068/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=4676 CPUtime=0.69 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 823 0 0 0 64 5 0 0 18 0 1 0 11731156 4788224 736 1992294400 134512640 135751879 4289420560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 1169 736 147 303 0 864 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4676 [startup+1.50082 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11525 /proc/meminfo: memFree=1577712/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=6648 CPUtime=1.49 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 1322 0 0 0 143 6 0 0 19 0 1 0 11731156 6807552 1235 1992294400 134512640 135751879 4289420560 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 1662 1235 147 303 0 1357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6648 [startup+3.10112 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11525 /proc/meminfo: memFree=1574984/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=10564 CPUtime=3.09 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 2309 0 0 0 301 8 0 0 23 0 1 0 11731156 10817536 2222 1992294400 134512640 135751879 4289420560 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 2641 2222 148 303 0 2336 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10564 [startup+6.30072 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11525 /proc/meminfo: memFree=1566800/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=17896 CPUtime=6.29 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 4117 0 0 0 618 11 0 0 25 0 1 0 11731156 18325504 4030 1992294400 134512640 135751879 4289420560 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 4474 4030 148 303 0 4169 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17896 [startup+12.7009 s] /proc/loadavg: 0.94 0.98 0.99 2/107 11525 /proc/meminfo: memFree=1554028/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=30292 CPUtime=12.69 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 7217 0 0 0 1254 15 0 0 25 0 1 0 11731156 31019008 7130 1992294400 134512640 135751879 4289420560 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 7573 7130 148 303 0 7268 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30292 [startup+25.5003 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11527 /proc/meminfo: memFree=1536668/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=46428 CPUtime=25.48 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 11268 0 0 0 2526 22 0 0 25 0 1 0 11731156 47542272 11181 1992294400 134512640 135751879 4289420560 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 11607 11181 148 303 0 11302 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46428 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/107 11527 /proc/meminfo: memFree=1506784/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=76668 CPUtime=51.07 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 18795 0 0 0 5070 37 0 0 25 0 1 0 11731156 78508032 18708 1992294400 134512640 135751879 4289420560 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 19167 18708 148 303 0 18862 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76668 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 11529 /proc/meminfo: memFree=1447388/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=135292 CPUtime=102.26 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 33455 0 0 0 10158 68 0 0 25 0 1 0 11731156 138539008 33368 1992294400 134512640 135751879 4289420560 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 33823 33368 148 303 0 33518 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 135292 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11529 /proc/meminfo: memFree=1374848/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=208044 CPUtime=162.23 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 51607 0 0 0 16119 104 0 0 25 0 1 0 11731156 213037056 51520 1992294400 134512640 135751879 4289420560 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 52011 51520 148 303 0 51706 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 208044 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1370756/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=212108 CPUtime=166.23 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 52634 0 0 0 16517 106 0 0 25 0 1 0 11731156 217198592 52547 1992294400 134512640 135751879 4289420560 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 53027 52547 148 303 0 52722 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 212108 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1363688/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=218932 CPUtime=172.64 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 54318 0 0 0 17153 111 0 0 25 0 1 0 11731156 224186368 54231 1992294400 134512640 135751879 4289420560 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 54733 54231 148 303 0 54428 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 218932 [startup+175.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1360464/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=221952 CPUtime=175.83 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 55088 0 0 0 17471 112 0 0 25 0 1 0 11731156 227278848 55001 1992294400 134512640 135751879 4289420560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 55488 55001 148 303 0 55183 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 221952 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1358108/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=225140 CPUtime=179.03 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 55890 0 0 0 17789 114 0 0 25 0 1 0 11731156 230543360 55803 1992294400 134512640 135751879 4289420560 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 56285 55803 148 303 0 55980 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 225140 [startup+180.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1356372/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=226452 CPUtime=180.63 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 56206 0 0 0 17948 115 0 0 25 0 1 0 11731156 231886848 56119 1992294400 134512640 135751879 4289420560 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 56613 56119 148 303 0 56308 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 226452 [startup+181.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1356372/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=226848 CPUtime=181.03 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 56306 0 0 0 17988 115 0 0 25 0 1 0 11731156 232292352 56219 1992294400 134512640 135751879 4289420560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 56712 56219 148 303 0 56407 0 Current children cumulated CPU time (s) 181.03 Current children cumulated vsize (KiB) 226848 [startup+181.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1356372/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=227112 CPUtime=181.23 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 56370 0 0 0 18008 115 0 0 25 0 1 0 11731156 232562688 56283 1992294400 134512640 135751879 4289420560 18446744073709551615 134521818 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 56778 56283 149 303 0 56473 0 Current children cumulated CPU time (s) 181.23 Current children cumulated vsize (KiB) 227112 [startup+181.401 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11531 /proc/meminfo: memFree=1355380/2059040 swapFree=4192956/4192956 [pid=11524] ppid=11522 vsize=227112 CPUtime=181.33 /proc/11524/stat : 11524 (wbo1.4b) R 11522 11524 11499 0 -1 4202496 56370 0 0 0 18018 115 0 0 25 0 1 0 11731156 232562688 56283 1992294400 134512640 135751879 4289420560 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11524/statm: 56778 56283 149 303 0 56473 0 Current children cumulated CPU time (s) 181.33 Current children cumulated vsize (KiB) 227112 Child status: 0 Real time (s): 181.475 CPU time (s): 181.408 CPU user time (s): 180.231 CPU system time (s): 1.17782 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 227112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.231 system time used= 1.17782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56372 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= 6 involuntary context switches= 2155 runsolver used 0.331949 second user time and 0.84887 second system time The end
Begin job on node007 at 2010-06-12 18:47:57 IDJOB=2655965 IDBENCH=1877 IDSOLVER=1161 FILE ID=node007/2655965-1276361277 PBS_JOBID= 11173214 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655965-1276361277/watcher-2655965-1276361277 -o /tmp/evaluation-result-2655965-1276361277/solver-2655965-1276361277 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655965-1276361277.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED=911262623 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1581596 kB Buffers: 128480 kB Cached: 219268 kB SwapCached: 0 kB Active: 79000 kB Inactive: 327884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1581596 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2948 kB Writeback: 0 kB AnonPages: 59164 kB Mapped: 15372 kB Slab: 48720 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181280 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= 62452 MiB End job on node007 at 2010-06-12 18:50:59