Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | OPTIMUM | 39.156 | 39.1645 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo |
MD5SUM | dca485207caaa579309a7d2385685aa8 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 0.91286 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 28 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1415 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1414 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1190 |
Number of bits of the biggest sum of numbers | 11 |
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 2012-05-28T07:59:35+0200 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.4 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.1 0.00/0.00 c array-0.4.0.0 0.00/0.00 c base-4.5.0.0 0.00/0.00 c bytestring-0.9.2.1 0.00/0.00 c containers-0.4.2.1 0.00/0.00 c deepseq-1.3.0.0 0.00/0.00 c mtl-2.1.1 0.00/0.00 c old_locale-1.0.0.4 0.00/0.00 c parse_dimacs-1.2 0.00/0.00 c parsec-3.1.2 0.00/0.00 c queue-0.1.2 0.00/0.00 c stm-2.3 0.00/0.00 c time-1.4 0.00/0.00 c command line = ["--wbo","HOME/instance-3712061-1338184775.wbo"] 0.00/0.00 c #vars 169 0.00/0.00 c #constraints 101 0.00/0.00 c Solving starts ... 0.01/0.07 c learnt constraints deletion: 216 -> 112 0.01/0.08 c learnt constraints deletion: 144 -> 72 0.09/0.13 c learnt constraints deletion: 207 -> 108 0.09/0.15 c learnt constraints deletion: 197 -> 99 0.19/0.20 c learnt constraints deletion: 239 -> 121 0.19/0.23 c learnt constraints deletion: 196 -> 100 0.19/0.27 c learnt constraints deletion: 214 -> 117 0.29/0.31 c learnt constraints deletion: 240 -> 123 0.29/0.35 c learnt constraints deletion: 245 -> 125 0.29/0.39 c learnt constraints deletion: 225 -> 117 0.39/0.42 c learnt constraints deletion: 219 -> 113 0.39/0.45 c learnt constraints deletion: 180 -> 90 0.49/0.50 c learnt constraints deletion: 265 -> 134 0.49/0.55 c learnt constraints deletion: 259 -> 132 0.49/0.59 c learnt constraints deletion: 245 -> 127 0.59/0.62 c learnt constraints deletion: 212 -> 110 0.59/0.67 c learnt constraints deletion: 265 -> 140 0.69/0.71 c learnt constraints deletion: 243 -> 128 0.69/0.75 c learnt constraints deletion: 253 -> 135 0.79/0.80 c learnt constraints deletion: 268 -> 142 0.79/0.83 c learnt constraints deletion: 272 -> 145 0.79/0.87 c learnt constraints deletion: 266 -> 139 0.89/0.92 c learnt constraints deletion: 274 -> 143 0.89/0.98 c learnt constraints deletion: 283 -> 144 0.99/1.02 c learnt constraints deletion: 260 -> 136 0.99/1.07 c learnt constraints deletion: 271 -> 145 1.09/1.11 c learnt constraints deletion: 255 -> 128 1.09/1.16 c learnt constraints deletion: 301 -> 156 1.18/1.20 c learnt constraints deletion: 264 -> 135 1.18/1.25 c learnt constraints deletion: 273 -> 145 1.18/1.29 c learnt constraints deletion: 297 -> 153 1.29/1.34 c learnt constraints deletion: 296 -> 151 1.29/1.38 c learnt constraints deletion: 276 -> 145 1.39/1.44 c learnt constraints deletion: 295 -> 157 1.39/1.48 c learnt constraints deletion: 289 -> 153 1.49/1.51 c solving time = 1.501s 1.49/1.51 c #decision = 7347 1.49/1.51 c #conflict = 4432 1.49/1.51 c #restart = 7 1.49/1.51 o 1128 1.49/1.52 c Solving starts ... 1.49/1.52 c learnt constraints deletion: 241 -> 121 1.49/1.52 c solving time = 0.000s 1.49/1.52 c #decision = 7373 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 1122 1.49/1.52 c Solving starts ... 1.49/1.52 c learnt constraints deletion: 121 -> 61 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7400 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 1098 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7428 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 1035 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.000s 1.49/1.52 c #decision = 7457 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 945 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7486 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 848 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7508 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 828 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.000s 1.49/1.52 c #decision = 7529 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 815 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7552 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 775 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7576 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 726 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.000s 1.49/1.52 c #decision = 7603 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 643 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7630 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 557 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7649 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 517 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.000s 1.49/1.52 c #decision = 7667 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 485 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7691 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 420 1.49/1.52 c Solving starts ... 1.49/1.52 c solving time = 0.001s 1.49/1.52 c #decision = 7702 1.49/1.52 c #conflict = 4432 1.49/1.52 c #restart = 7 1.49/1.52 o 414 1.49/1.52 c Solving starts ... 1.49/1.55 c learnt constraints deletion: 160 -> 80 1.49/1.58 c learnt constraints deletion: 186 -> 94 1.49/1.59 c learnt constraints deletion: 137 -> 69 1.63/1.65 c learnt constraints deletion: 217 -> 110 1.63/1.67 c learnt constraints deletion: 186 -> 93 1.69/1.73 c learnt constraints deletion: 225 -> 115 1.69/1.79 c learnt constraints deletion: 252 -> 130 1.79/1.81 c learnt constraints deletion: 198 -> 99 1.79/1.85 c learnt constraints deletion: 218 -> 110 1.89/1.90 c learnt constraints deletion: 240 -> 124 1.89/1.95 c learnt constraints deletion: 249 -> 132 1.99/2.01 c learnt constraints deletion: 259 -> 133 1.99/2.05 c learnt constraints deletion: 261 -> 135 2.09/2.11 c learnt constraints deletion: 279 -> 142 2.09/2.15 c learnt constraints deletion: 264 -> 137 2.09/2.19 c learnt constraints deletion: 277 -> 144 2.19/2.23 c learnt constraints deletion: 230 -> 119 2.19/2.29 c learnt constraints deletion: 261 -> 137 2.29/2.34 c learnt constraints deletion: 281 -> 150 2.29/2.38 c learnt constraints deletion: 272 -> 149 2.39/2.43 c learnt constraints deletion: 272 -> 150 2.39/2.47 c learnt constraints deletion: 270 -> 138 2.48/2.53 c learnt constraints deletion: 260 -> 135 2.48/2.57 c learnt constraints deletion: 278 -> 147 2.58/2.63 c learnt constraints deletion: 279 -> 146 2.58/2.68 c learnt constraints deletion: 299 -> 156 2.68/2.71 c learnt constraints deletion: 241 -> 121 2.68/2.77 c learnt constraints deletion: 303 -> 160 2.78/2.82 c learnt constraints deletion: 272 -> 138 2.78/2.88 c learnt constraints deletion: 284 -> 149 2.89/2.93 c learnt constraints deletion: 287 -> 154 2.89/2.98 c learnt constraints deletion: 288 -> 149 2.99/3.04 c learnt constraints deletion: 299 -> 153 3.09/3.10 c learnt constraints deletion: 273 -> 140 3.09/3.16 c learnt constraints deletion: 309 -> 161 3.20/3.21 c learnt constraints deletion: 296 -> 155 3.20/3.27 c learnt constraints deletion: 319 -> 172 3.30/3.31 c learnt constraints deletion: 286 -> 155 3.30/3.36 c learnt constraints deletion: 303 -> 152 3.39/3.41 c learnt constraints deletion: 306 -> 154 3.39/3.47 c learnt constraints deletion: 334 -> 171 3.49/3.53 c learnt constraints deletion: 302 -> 156 3.49/3.58 c learnt constraints deletion: 293 -> 157 3.59/3.63 c learnt constraints deletion: 308 -> 156 3.59/3.68 c learnt constraints deletion: 299 -> 151 3.69/3.74 c learnt constraints deletion: 308 -> 163 3.79/3.80 c learnt constraints deletion: 340 -> 178 3.79/3.85 c learnt constraints deletion: 340 -> 174 3.89/3.91 c learnt constraints deletion: 321 -> 170 3.89/3.95 c learnt constraints deletion: 298 -> 155 3.99/4.02 c learnt constraints deletion: 344 -> 178 3.99/4.06 c learnt constraints deletion: 320 -> 168 4.09/4.11 c learnt constraints deletion: 325 -> 179 4.09/4.15 c learnt constraints deletion: 306 -> 163 4.19/4.21 c learnt constraints deletion: 319 -> 167 4.19/4.27 c learnt constraints deletion: 298 -> 149 4.29/4.34 c learnt constraints deletion: 360 -> 186 4.29/4.39 c learnt constraints deletion: 354 -> 182 4.39/4.44 c learnt constraints deletion: 337 -> 170 4.48/4.51 c learnt constraints deletion: 331 -> 168 4.48/4.57 c learnt constraints deletion: 339 -> 174 4.59/4.62 c learnt constraints deletion: 316 -> 162 4.59/4.69 c learnt constraints deletion: 330 -> 175 4.69/4.75 c learnt constraints deletion: 332 -> 176 4.79/4.81 c learnt constraints deletion: 341 -> 181 4.79/4.86 c learnt constraints deletion: 343 -> 182 4.89/4.91 c learnt constraints deletion: 331 -> 175 4.89/4.98 c learnt constraints deletion: 334 -> 178 4.99/5.04 c learnt constraints deletion: 352 -> 185 5.09/5.11 c learnt constraints deletion: 358 -> 192 5.09/5.16 c learnt constraints deletion: 336 -> 172 5.19/5.22 c learnt constraints deletion: 331 -> 169 5.19/5.29 c learnt constraints deletion: 344 -> 178 5.28/5.35 c learnt constraints deletion: 349 -> 187 5.39/5.42 c learnt constraints deletion: 360 -> 183 5.39/5.47 c learnt constraints deletion: 321 -> 166 5.50/5.53 c learnt constraints deletion: 311 -> 162 5.50/5.59 c learnt constraints deletion: 326 -> 172 5.59/5.65 c learnt constraints deletion: 342 -> 171 5.59/5.65 c solving time = 4.135s 5.59/5.65 c #decision = 26646 5.59/5.65 c #conflict = 15693 5.59/5.65 c #restart = 16 5.59/5.65 o 413 5.59/5.65 c Solving starts ... 5.59/5.65 c learnt constraints deletion: 172 -> 86 5.59/5.65 c solving time = 0.001s 5.59/5.65 c #decision = 26669 5.59/5.65 c #conflict = 15693 5.59/5.65 c #restart = 16 5.59/5.65 o 407 5.59/5.65 c Solving starts ... 5.59/5.66 c solving time = 0.001s 5.59/5.66 c #decision = 26690 5.59/5.66 c #conflict = 15693 5.59/5.66 c #restart = 16 5.59/5.66 o 401 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.001s 5.59/5.66 c #decision = 26712 5.59/5.66 c #conflict = 15693 5.59/5.66 c #restart = 16 5.59/5.66 o 384 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.001s 5.59/5.66 c #decision = 26747 5.59/5.66 c #conflict = 15695 5.59/5.66 c #restart = 16 5.59/5.66 o 321 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.001s 5.59/5.66 c #decision = 26772 5.59/5.66 c #conflict = 15695 5.59/5.66 c #restart = 16 5.59/5.66 o 301 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.001s 5.59/5.66 c #decision = 26796 5.59/5.66 c #conflict = 15696 5.59/5.66 c #restart = 16 5.59/5.66 o 298 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.003s 5.59/5.66 c #decision = 26830 5.59/5.66 c #conflict = 15706 5.59/5.66 c #restart = 16 5.59/5.66 o 295 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.000s 5.59/5.66 c #decision = 26866 5.59/5.66 c #conflict = 15706 5.59/5.66 c #restart = 16 5.59/5.66 o 255 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.000s 5.59/5.66 c #decision = 26906 5.59/5.66 c #conflict = 15706 5.59/5.66 c #restart = 16 5.59/5.66 o 191 5.59/5.66 c Solving starts ... 5.59/5.66 c solving time = 0.001s 5.59/5.66 c #decision = 26933 5.59/5.66 c #conflict = 15706 5.59/5.66 c #restart = 16 5.59/5.66 o 142 5.59/5.66 c Solving starts ... 5.59/5.67 c solving time = 0.005s 5.59/5.67 c #decision = 26972 5.59/5.67 c #conflict = 15725 5.59/5.67 c #restart = 16 5.59/5.67 o 135 5.59/5.67 c Solving starts ... 5.59/5.67 c learnt constraints deletion: 118 -> 59 5.59/5.67 c solving time = 0.003s 5.59/5.67 c #decision = 27016 5.59/5.67 c #conflict = 15734 5.59/5.67 c #restart = 16 5.59/5.67 o 103 5.59/5.67 c Solving starts ... 5.59/5.67 c solving time = 0.002s 5.59/5.67 c #decision = 27039 5.59/5.67 c #conflict = 15734 5.59/5.67 c #restart = 16 5.59/5.67 o 97 5.59/5.67 c Solving starts ... 5.59/5.68 c solving time = 0.001s 5.59/5.68 c #decision = 27067 5.59/5.68 c #conflict = 15737 5.59/5.68 c #restart = 16 5.59/5.68 o 80 5.59/5.68 c Solving starts ... 5.69/5.71 c learnt constraints deletion: 170 -> 85 5.69/5.75 c learnt constraints deletion: 222 -> 112 5.69/5.79 c learnt constraints deletion: 233 -> 118 5.79/5.83 c learnt constraints deletion: 226 -> 116 5.79/5.88 c learnt constraints deletion: 231 -> 120 5.89/5.92 c learnt constraints deletion: 242 -> 129 5.89/5.96 c learnt constraints deletion: 236 -> 118 5.99/6.02 c learnt constraints deletion: 264 -> 140 5.99/6.07 c learnt constraints deletion: 288 -> 145 6.09/6.12 c learnt constraints deletion: 283 -> 146 6.09/6.14 c learnt constraints deletion: 220 -> 110 6.09/6.19 c learnt constraints deletion: 280 -> 144 6.19/6.23 c learnt constraints deletion: 293 -> 156 6.19/6.28 c learnt constraints deletion: 292 -> 150 6.28/6.32 c learnt constraints deletion: 278 -> 144 6.28/6.37 c learnt constraints deletion: 289 -> 149 6.38/6.43 c learnt constraints deletion: 310 -> 162 6.38/6.47 c learnt constraints deletion: 291 -> 154 6.49/6.52 c learnt constraints deletion: 280 -> 149 6.49/6.56 c learnt constraints deletion: 260 -> 130 6.59/6.64 c learnt constraints deletion: 327 -> 165 6.68/6.70 c learnt constraints deletion: 312 -> 157 6.68/6.76 c learnt constraints deletion: 328 -> 167 6.78/6.80 c learnt constraints deletion: 298 -> 149 6.78/6.86 c learnt constraints deletion: 317 -> 161 6.88/6.90 c learnt constraints deletion: 312 -> 161 6.88/6.96 c learnt constraints deletion: 333 -> 170 6.99/7.02 c learnt constraints deletion: 327 -> 167 6.99/7.08 c learnt constraints deletion: 324 -> 165 7.09/7.13 c learnt constraints deletion: 312 -> 163 7.09/7.19 c learnt constraints deletion: 315 -> 159 7.19/7.23 c learnt constraints deletion: 280 -> 140 7.19/7.29 c learnt constraints deletion: 289 -> 145 7.29/7.35 c learnt constraints deletion: 293 -> 148 7.39/7.41 c learnt constraints deletion: 338 -> 169 7.39/7.46 c learnt constraints deletion: 327 -> 168 7.49/7.51 c learnt constraints deletion: 295 -> 148 7.49/7.58 c learnt constraints deletion: 336 -> 172 7.59/7.64 c learnt constraints deletion: 337 -> 173 7.59/7.70 c learnt constraints deletion: 360 -> 184 7.69/7.74 c learnt constraints deletion: 334 -> 173 7.79/7.80 c learnt constraints deletion: 338 -> 178 7.79/7.85 c learnt constraints deletion: 337 -> 176 7.89/7.90 c learnt constraints deletion: 331 -> 179 7.89/7.96 c learnt constraints deletion: 333 -> 171 7.99/8.02 c learnt constraints deletion: 332 -> 168 7.99/8.09 c learnt constraints deletion: 366 -> 186 8.09/8.14 c learnt constraints deletion: 342 -> 180 8.19/8.21 c learnt constraints deletion: 341 -> 174 8.19/8.26 c learnt constraints deletion: 336 -> 171 8.29/8.30 c learnt constraints deletion: 294 -> 147 8.29/8.38 c learnt constraints deletion: 360 -> 183 8.38/8.44 c learnt constraints deletion: 374 -> 193 8.48/8.50 c learnt constraints deletion: 353 -> 183 8.48/8.55 c learnt constraints deletion: 350 -> 186 8.58/8.62 c learnt constraints deletion: 365 -> 184 8.58/8.68 c learnt constraints deletion: 352 -> 179 8.69/8.76 c learnt constraints deletion: 372 -> 193 8.79/8.82 c learnt constraints deletion: 364 -> 186 8.79/8.89 c learnt constraints deletion: 348 -> 179 8.88/8.96 c learnt constraints deletion: 380 -> 194 8.98/9.01 c learnt constraints deletion: 384 -> 197 8.98/9.07 c learnt constraints deletion: 388 -> 201 9.08/9.12 c learnt constraints deletion: 340 -> 176 9.08/9.19 c learnt constraints deletion: 345 -> 183 9.18/9.27 c learnt constraints deletion: 386 -> 201 9.28/9.33 c learnt constraints deletion: 376 -> 197 9.28/9.38 c learnt constraints deletion: 363 -> 189 9.38/9.43 c learnt constraints deletion: 348 -> 174 9.38/9.49 c learnt constraints deletion: 338 -> 171 9.49/9.55 c learnt constraints deletion: 362 -> 188 9.59/9.61 c learnt constraints deletion: 368 -> 190 9.59/9.65 c learnt constraints deletion: 312 -> 156 9.69/9.74 c learnt constraints deletion: 398 -> 204 9.69/9.79 c learnt constraints deletion: 372 -> 195 9.79/9.87 c learnt constraints deletion: 393 -> 201 9.89/9.95 c learnt constraints deletion: 406 -> 203 9.99/10.01 c learnt constraints deletion: 387 -> 198 9.99/10.09 c learnt constraints deletion: 408 -> 211 10.09/10.16 c learnt constraints deletion: 415 -> 213 10.19/10.23 c learnt constraints deletion: 409 -> 208 10.29/10.30 c learnt constraints deletion: 376 -> 191 10.29/10.37 c learnt constraints deletion: 375 -> 191 10.39/10.43 c learnt constraints deletion: 397 -> 206 10.39/10.49 c learnt constraints deletion: 374 -> 191 10.49/10.57 c learnt constraints deletion: 382 -> 193 10.58/10.63 c learnt constraints deletion: 370 -> 188 10.58/10.69 c learnt constraints deletion: 369 -> 185 10.68/10.77 c learnt constraints deletion: 378 -> 190 10.78/10.82 c learnt constraints deletion: 353 -> 180 10.78/10.88 c learnt constraints deletion: 351 -> 182 10.89/10.94 c learnt constraints deletion: 334 -> 167 10.99/11.03 c learnt constraints deletion: 391 -> 196 10.99/11.09 c learnt constraints deletion: 395 -> 205 11.08/11.14 c learnt constraints deletion: 388 -> 197 11.18/11.21 c learnt constraints deletion: 407 -> 210 11.18/11.26 c learnt constraints deletion: 353 -> 177 11.29/11.34 c learnt constraints deletion: 375 -> 189 11.39/11.40 c learnt constraints deletion: 374 -> 190 11.39/11.48 c learnt constraints deletion: 376 -> 194 11.49/11.55 c learnt constraints deletion: 374 -> 190 11.59/11.63 c learnt constraints deletion: 398 -> 208 11.59/11.68 c learnt constraints deletion: 360 -> 186 11.69/11.73 c learnt constraints deletion: 338 -> 169 11.79/11.80 c learnt constraints deletion: 435 -> 222 11.79/11.87 c learnt constraints deletion: 424 -> 214 11.89/11.94 c learnt constraints deletion: 429 -> 219 11.99/12.02 c learnt constraints deletion: 430 -> 222 11.99/12.09 c learnt constraints deletion: 435 -> 224 12.09/12.15 c learnt constraints deletion: 429 -> 217 12.18/12.23 c learnt constraints deletion: 423 -> 222 12.18/12.29 c learnt constraints deletion: 415 -> 215 12.28/12.37 c learnt constraints deletion: 451 -> 229 12.38/12.43 c learnt constraints deletion: 424 -> 215 12.48/12.51 c learnt constraints deletion: 446 -> 230 12.48/12.58 c learnt constraints deletion: 429 -> 222 12.58/12.64 c learnt constraints deletion: 376 -> 188 12.69/12.72 c learnt constraints deletion: 411 -> 213 12.69/12.79 c learnt constraints deletion: 431 -> 222 12.79/12.87 c learnt constraints deletion: 422 -> 221 12.89/12.94 c learnt constraints deletion: 424 -> 218 12.98/13.01 c learnt constraints deletion: 400 -> 206 12.98/13.10 c learnt constraints deletion: 419 -> 217 13.09/13.17 c learnt constraints deletion: 424 -> 216 13.19/13.24 c learnt constraints deletion: 401 -> 203 13.28/13.31 c learnt constraints deletion: 403 -> 202 13.38/13.41 c learnt constraints deletion: 435 -> 226 13.38/13.47 c learnt constraints deletion: 388 -> 194 13.48/13.55 c learnt constraints deletion: 425 -> 220 13.59/13.64 c learnt constraints deletion: 448 -> 229 13.69/13.70 c learnt constraints deletion: 419 -> 210 13.69/13.79 c learnt constraints deletion: 436 -> 219 13.79/13.86 c learnt constraints deletion: 412 -> 214 13.89/13.93 c learnt constraints deletion: 410 -> 207 13.99/14.02 c learnt constraints deletion: 423 -> 216 14.09/14.11 c learnt constraints deletion: 431 -> 221 14.09/14.19 c learnt constraints deletion: 429 -> 220 14.19/14.25 c learnt constraints deletion: 387 -> 200 14.29/14.32 c learnt constraints deletion: 371 -> 193 14.38/14.41 c learnt constraints deletion: 401 -> 211 14.38/14.47 c learnt constraints deletion: 390 -> 207 14.48/14.55 c learnt constraints deletion: 417 -> 217 14.58/14.61 c learnt constraints deletion: 409 -> 210 14.58/14.69 c learnt constraints deletion: 430 -> 217 14.68/14.76 c learnt constraints deletion: 404 -> 207 14.79/14.86 c learnt constraints deletion: 450 -> 229 14.89/14.93 c learnt constraints deletion: 445 -> 227 14.99/15.01 c learnt constraints deletion: 427 -> 214 14.99/15.09 c learnt constraints deletion: 455 -> 235 15.09/15.16 c learnt constraints deletion: 439 -> 222 15.19/15.24 c learnt constraints deletion: 437 -> 223 15.29/15.31 c learnt constraints deletion: 462 -> 242 15.29/15.39 c learnt constraints deletion: 431 -> 218 15.39/15.46 c learnt constraints deletion: 417 -> 209 15.49/15.53 c learnt constraints deletion: 436 -> 220 15.59/15.60 c learnt constraints deletion: 433 -> 225 15.59/15.68 c learnt constraints deletion: 453 -> 228 15.68/15.76 c learnt constraints deletion: 420 -> 215 15.78/15.83 c learnt constraints deletion: 429 -> 215 15.88/15.91 c learnt constraints deletion: 437 -> 221 15.88/15.97 c learnt constraints deletion: 399 -> 200 15.98/16.07 c learnt constraints deletion: 457 -> 236 16.08/16.14 c learnt constraints deletion: 439 -> 224 16.18/16.20 c learnt constraints deletion: 448 -> 228 16.18/16.29 c learnt constraints deletion: 440 -> 228 16.28/16.35 c learnt constraints deletion: 407 -> 204 16.39/16.44 c learnt constraints deletion: 438 -> 219 16.49/16.51 c learnt constraints deletion: 422 -> 211 16.49/16.59 c learnt constraints deletion: 441 -> 225 16.58/16.66 c learnt constraints deletion: 433 -> 219 16.68/16.75 c learnt constraints deletion: 457 -> 233 16.78/16.83 c learnt constraints deletion: 465 -> 237 16.88/16.91 c learnt constraints deletion: 471 -> 241 16.88/16.98 c learnt constraints deletion: 448 -> 225 16.98/17.08 c learnt constraints deletion: 467 -> 239 17.08/17.17 c learnt constraints deletion: 457 -> 235 17.19/17.26 c learnt constraints deletion: 441 -> 230 17.29/17.34 c learnt constraints deletion: 440 -> 234 17.39/17.42 c learnt constraints deletion: 452 -> 238 17.39/17.49 c learnt constraints deletion: 436 -> 218 17.49/17.56 c learnt constraints deletion: 428 -> 218 17.59/17.65 c learnt constraints deletion: 446 -> 225 17.68/17.73 c learnt constraints deletion: 467 -> 240 17.78/17.81 c learnt constraints deletion: 464 -> 237 17.78/17.89 c learnt constraints deletion: 470 -> 238 17.88/17.96 c learnt constraints deletion: 458 -> 230 17.99/18.03 c learnt constraints deletion: 434 -> 221 18.09/18.10 c learnt constraints deletion: 462 -> 239 18.09/18.18 c learnt constraints deletion: 439 -> 220 18.19/18.26 c learnt constraints deletion: 435 -> 224 18.29/18.35 c learnt constraints deletion: 460 -> 230 18.39/18.43 c learnt constraints deletion: 459 -> 234 18.49/18.50 c learnt constraints deletion: 417 -> 209 18.49/18.59 c learnt constraints deletion: 445 -> 223 18.59/18.66 c learnt constraints deletion: 468 -> 236 18.69/18.74 c learnt constraints deletion: 458 -> 234 18.79/18.82 c learnt constraints deletion: 439 -> 224 18.89/18.91 c learnt constraints deletion: 464 -> 238 18.89/18.98 c learnt constraints deletion: 440 -> 231 18.99/19.07 c learnt constraints deletion: 493 -> 254 19.09/19.14 c learnt constraints deletion: 457 -> 238 19.18/19.21 c learnt constraints deletion: 438 -> 227 19.28/19.30 c learnt constraints deletion: 465 -> 238 19.28/19.37 c learnt constraints deletion: 432 -> 221 19.38/19.46 c learnt constraints deletion: 490 -> 254 19.48/19.53 c learnt constraints deletion: 455 -> 228 19.58/19.61 c learnt constraints deletion: 476 -> 238 19.58/19.69 c learnt constraints deletion: 503 -> 254 19.69/19.77 c learnt constraints deletion: 503 -> 256 19.79/19.86 c learnt constraints deletion: 510 -> 266 19.88/19.93 c learnt constraints deletion: 485 -> 245 19.98/20.00 c learnt constraints deletion: 480 -> 244 19.98/20.09 c learnt constraints deletion: 478 -> 241 20.08/20.17 c learnt constraints deletion: 495 -> 252 20.18/20.24 c learnt constraints deletion: 467 -> 241 20.28/20.32 c learnt constraints deletion: 478 -> 252 20.28/20.39 c learnt constraints deletion: 474 -> 237 20.38/20.48 c learnt constraints deletion: 483 -> 247 20.48/20.55 c learnt constraints deletion: 471 -> 239 20.58/20.65 c learnt constraints deletion: 495 -> 249 20.68/20.73 c learnt constraints deletion: 495 -> 252 20.79/20.81 c learnt constraints deletion: 471 -> 240 20.79/20.89 c learnt constraints deletion: 490 -> 248 20.89/20.97 c learnt constraints deletion: 479 -> 243 20.98/21.05 c learnt constraints deletion: 508 -> 254 21.09/21.13 c learnt constraints deletion: 472 -> 239 21.19/21.21 c learnt constraints deletion: 511 -> 258 21.19/21.29 c learnt constraints deletion: 478 -> 242 21.29/21.37 c learnt constraints deletion: 503 -> 254 21.39/21.44 c learnt constraints deletion: 475 -> 244 21.48/21.53 c learnt constraints deletion: 509 -> 260 21.48/21.59 c learnt constraints deletion: 462 -> 235 21.58/21.68 c learnt constraints deletion: 515 -> 266 21.68/21.76 c learnt constraints deletion: 495 -> 255 21.78/21.82 c learnt constraints deletion: 466 -> 240 21.89/21.92 c learnt constraints deletion: 505 -> 262 21.89/21.99 c learnt constraints deletion: 504 -> 265 21.99/22.07 c learnt constraints deletion: 485 -> 253 22.08/22.15 c learnt constraints deletion: 501 -> 263 22.18/22.22 c learnt constraints deletion: 495 -> 260 22.28/22.30 c learnt constraints deletion: 492 -> 264 22.28/22.38 c learnt constraints deletion: 476 -> 257 22.38/22.47 c learnt constraints deletion: 497 -> 268 22.48/22.55 c learnt constraints deletion: 491 -> 249 22.59/22.63 c learnt constraints deletion: 514 -> 261 22.69/22.71 c learnt constraints deletion: 492 -> 246 22.69/22.79 c learnt constraints deletion: 519 -> 261 22.79/22.87 c learnt constraints deletion: 510 -> 257 22.89/22.92 c learnt constraints deletion: 426 -> 213 22.99/23.01 c learnt constraints deletion: 489 -> 249 22.99/23.09 c learnt constraints deletion: 483 -> 250 23.09/23.18 c learnt constraints deletion: 460 -> 230 23.19/23.24 c solving time = 17.557s 23.19/23.24 c #decision = 104397 23.19/23.24 c #conflict = 65744 23.19/23.24 c #restart = 29 23.19/23.24 o 79 23.19/23.24 c Solving starts ... 23.19/23.24 c learnt constraints deletion: 373 -> 187 23.19/23.24 c learnt constraints deletion: 187 -> 147 23.19/23.24 c solving time = 0.001s 23.19/23.24 c #decision = 104412 23.19/23.24 c #conflict = 65744 23.19/23.24 c #restart = 29 23.19/23.24 o 66 23.19/23.24 c Solving starts ... 23.19/23.24 c learnt constraints deletion: 147 -> 147 23.19/23.26 c learnt constraints deletion: 223 -> 150 23.19/23.27 c learnt constraints deletion: 173 -> 147 23.19/23.27 c learnt constraints deletion: 147 -> 147 23.29/23.30 c learnt constraints deletion: 236 -> 149 23.29/23.33 c learnt constraints deletion: 205 -> 148 23.29/23.33 c learnt constraints deletion: 152 -> 147 23.29/23.37 c learnt constraints deletion: 249 -> 149 23.29/23.39 c learnt constraints deletion: 231 -> 150 23.39/23.41 c learnt constraints deletion: 190 -> 147 23.39/23.44 c learnt constraints deletion: 260 -> 148 23.39/23.47 c learnt constraints deletion: 235 -> 149 23.48/23.51 c learnt constraints deletion: 263 -> 151 23.48/23.52 c learnt constraints deletion: 174 -> 147 23.48/23.55 c learnt constraints deletion: 250 -> 151 23.48/23.59 c learnt constraints deletion: 284 -> 149 23.58/23.64 c learnt constraints deletion: 279 -> 148 23.58/23.66 c learnt constraints deletion: 213 -> 149 23.58/23.68 c learnt constraints deletion: 224 -> 149 23.68/23.73 c learnt constraints deletion: 283 -> 153 23.68/23.77 c learnt constraints deletion: 296 -> 157 23.78/23.81 c learnt constraints deletion: 266 -> 150 23.78/23.85 c learnt constraints deletion: 284 -> 154 23.88/23.90 c learnt constraints deletion: 297 -> 154 23.88/23.93 c learnt constraints deletion: 251 -> 151 23.88/23.98 c learnt constraints deletion: 296 -> 153 23.98/24.04 c learnt constraints deletion: 328 -> 167 23.98/24.08 c learnt constraints deletion: 313 -> 157 24.09/24.13 c learnt constraints deletion: 287 -> 156 24.09/24.17 c learnt constraints deletion: 310 -> 157 24.19/24.22 c learnt constraints deletion: 289 -> 156 24.19/24.26 c learnt constraints deletion: 297 -> 158 24.28/24.30 c learnt constraints deletion: 276 -> 154 24.28/24.35 c learnt constraints deletion: 308 -> 156 24.28/24.39 c learnt constraints deletion: 324 -> 168 24.38/24.44 c learnt constraints deletion: 305 -> 159 24.38/24.49 c learnt constraints deletion: 276 -> 158 24.48/24.54 c learnt constraints deletion: 311 -> 162 24.58/24.60 c learnt constraints deletion: 345 -> 177 24.58/24.64 c learnt constraints deletion: 314 -> 173 24.58/24.67 c learnt constraints deletion: 281 -> 170 24.68/24.72 c learnt constraints deletion: 309 -> 173 24.68/24.75 c learnt constraints deletion: 283 -> 173 24.78/24.80 c learnt constraints deletion: 311 -> 177 24.78/24.85 c learnt constraints deletion: 301 -> 174 24.89/24.90 c learnt constraints deletion: 342 -> 178 24.89/24.96 c learnt constraints deletion: 331 -> 181 24.99/25.01 c learnt constraints deletion: 337 -> 180 24.99/25.07 c learnt constraints deletion: 360 -> 183 25.09/25.13 c learnt constraints deletion: 364 -> 186 25.09/25.18 c learnt constraints deletion: 349 -> 178 25.19/25.23 c learnt constraints deletion: 361 -> 184 25.19/25.27 c learnt constraints deletion: 325 -> 180 25.29/25.33 c learnt constraints deletion: 335 -> 184 25.29/25.38 c learnt constraints deletion: 327 -> 178 25.38/25.44 c learnt constraints deletion: 349 -> 180 25.38/25.49 c learnt constraints deletion: 329 -> 183 25.48/25.54 c learnt constraints deletion: 341 -> 183 25.48/25.57 c learnt constraints deletion: 304 -> 184 25.58/25.64 c learnt constraints deletion: 375 -> 195 25.58/25.68 c learnt constraints deletion: 322 -> 185 25.68/25.74 c learnt constraints deletion: 360 -> 183 25.78/25.81 c learnt constraints deletion: 379 -> 191 25.78/25.85 c learnt constraints deletion: 364 -> 185 25.88/25.91 c learnt constraints deletion: 379 -> 196 25.88/25.97 c learnt constraints deletion: 360 -> 196 25.98/26.03 c learnt constraints deletion: 344 -> 196 25.98/26.08 c learnt constraints deletion: 361 -> 205 26.09/26.14 c learnt constraints deletion: 374 -> 193 26.19/26.20 c learnt constraints deletion: 405 -> 205 26.19/26.24 c learnt constraints deletion: 338 -> 197 26.19/26.30 c learnt constraints deletion: 360 -> 202 26.29/26.35 c learnt constraints deletion: 348 -> 194 26.39/26.41 c learnt constraints deletion: 385 -> 196 26.39/26.46 c learnt constraints deletion: 339 -> 201 26.48/26.52 c learnt constraints deletion: 350 -> 197 26.48/26.57 c learnt constraints deletion: 350 -> 196 26.58/26.63 c learnt constraints deletion: 353 -> 199 26.58/26.68 c learnt constraints deletion: 367 -> 199 26.68/26.72 c learnt constraints deletion: 329 -> 198 26.68/26.79 c learnt constraints deletion: 364 -> 200 26.78/26.84 c learnt constraints deletion: 356 -> 203 26.88/26.90 c learnt constraints deletion: 382 -> 204 26.88/26.94 c learnt constraints deletion: 353 -> 208 26.98/27.00 c learnt constraints deletion: 353 -> 195 26.98/27.07 c learnt constraints deletion: 395 -> 199 27.08/27.12 c learnt constraints deletion: 366 -> 197 27.08/27.18 c learnt constraints deletion: 373 -> 203 27.18/27.23 c learnt constraints deletion: 354 -> 197 27.18/27.29 c learnt constraints deletion: 361 -> 200 27.28/27.35 c learnt constraints deletion: 390 -> 199 27.39/27.42 c learnt constraints deletion: 407 -> 208 27.39/27.48 c learnt constraints deletion: 374 -> 201 27.49/27.55 c learnt constraints deletion: 382 -> 206 27.59/27.62 c learnt constraints deletion: 394 -> 205 27.59/27.66 c learnt constraints deletion: 354 -> 207 27.69/27.72 c learnt constraints deletion: 379 -> 207 27.69/27.78 c learnt constraints deletion: 378 -> 205 27.78/27.82 c learnt constraints deletion: 323 -> 214 27.78/27.86 c learnt constraints deletion: 383 -> 216 27.88/27.92 c learnt constraints deletion: 376 -> 215 27.88/27.98 c learnt constraints deletion: 409 -> 223 27.98/28.03 c learnt constraints deletion: 410 -> 222 27.98/28.08 c learnt constraints deletion: 389 -> 219 28.08/28.12 c learnt constraints deletion: 378 -> 220 28.08/28.18 c learnt constraints deletion: 429 -> 221 28.18/28.22 c learnt constraints deletion: 369 -> 222 28.18/28.28 c learnt constraints deletion: 395 -> 226 28.28/28.34 c learnt constraints deletion: 420 -> 223 28.28/28.39 c learnt constraints deletion: 418 -> 221 28.38/28.44 c learnt constraints deletion: 406 -> 234 28.38/28.49 c learnt constraints deletion: 397 -> 230 28.49/28.56 c learnt constraints deletion: 414 -> 232 28.59/28.61 c learnt constraints deletion: 408 -> 236 28.59/28.67 c learnt constraints deletion: 411 -> 234 28.69/28.74 c learnt constraints deletion: 427 -> 234 28.69/28.79 c learnt constraints deletion: 412 -> 240 28.79/28.84 c learnt constraints deletion: 410 -> 231 28.89/28.91 c learnt constraints deletion: 447 -> 234 28.89/28.96 c learnt constraints deletion: 425 -> 234 28.99/29.02 c learnt constraints deletion: 422 -> 234 28.99/29.09 c learnt constraints deletion: 445 -> 239 29.09/29.14 c learnt constraints deletion: 425 -> 237 29.09/29.19 c learnt constraints deletion: 408 -> 239 29.19/29.25 c learnt constraints deletion: 444 -> 241 29.28/29.32 c learnt constraints deletion: 457 -> 233 29.38/29.40 c learnt constraints deletion: 442 -> 237 29.38/29.46 c learnt constraints deletion: 439 -> 239 29.48/29.53 c learnt constraints deletion: 448 -> 237 29.48/29.59 c learnt constraints deletion: 459 -> 239 29.59/29.66 c learnt constraints deletion: 449 -> 240 29.69/29.71 c learnt constraints deletion: 449 -> 241 29.69/29.77 c learnt constraints deletion: 438 -> 238 29.78/29.83 c learnt constraints deletion: 418 -> 235 29.78/29.88 c learnt constraints deletion: 423 -> 234 29.89/29.95 c learnt constraints deletion: 418 -> 236 29.99/30.00 c learnt constraints deletion: 399 -> 237 29.99/30.07 c learnt constraints deletion: 413 -> 244 30.09/30.12 c learnt constraints deletion: 435 -> 241 30.09/30.19 c learnt constraints deletion: 440 -> 239 30.19/30.27 c learnt constraints deletion: 475 -> 242 30.29/30.35 c learnt constraints deletion: 457 -> 237 30.39/30.41 c learnt constraints deletion: 457 -> 242 30.39/30.47 c learnt constraints deletion: 442 -> 238 30.49/30.53 c learnt constraints deletion: 424 -> 239 30.49/30.59 c learnt constraints deletion: 422 -> 240 30.59/30.64 c learnt constraints deletion: 420 -> 242 30.59/30.69 c learnt constraints deletion: 385 -> 245 30.69/30.76 c learnt constraints deletion: 419 -> 241 30.79/30.82 c learnt constraints deletion: 414 -> 244 30.79/30.89 c learnt constraints deletion: 431 -> 246 30.88/30.94 c learnt constraints deletion: 409 -> 247 30.88/30.99 c learnt constraints deletion: 395 -> 246 30.98/31.05 c learnt constraints deletion: 405 -> 249 31.08/31.10 c learnt constraints deletion: 414 -> 248 31.08/31.16 c learnt constraints deletion: 418 -> 244 31.18/31.23 c learnt constraints deletion: 448 -> 249 31.18/31.28 c learnt constraints deletion: 424 -> 242 31.28/31.33 c learnt constraints deletion: 403 -> 248 31.38/31.41 c learnt constraints deletion: 439 -> 237 31.38/31.46 c learnt constraints deletion: 431 -> 238 31.48/31.53 c learnt constraints deletion: 457 -> 239 31.59/31.61 c learnt constraints deletion: 495 -> 250 31.59/31.67 c learnt constraints deletion: 465 -> 244 31.69/31.75 c learnt constraints deletion: 480 -> 246 31.69/31.80 c learnt constraints deletion: 399 -> 253 31.79/31.86 c learnt constraints deletion: 458 -> 255 31.89/31.91 c learnt constraints deletion: 437 -> 254 31.89/31.97 c learnt constraints deletion: 455 -> 257 31.98/32.02 c learnt constraints deletion: 456 -> 260 32.08/32.10 c learnt constraints deletion: 489 -> 257 32.08/32.15 c learnt constraints deletion: 431 -> 255 32.18/32.22 c learnt constraints deletion: 497 -> 261 32.18/32.27 c learnt constraints deletion: 454 -> 260 32.28/32.32 c learnt constraints deletion: 419 -> 256 32.28/32.39 c learnt constraints deletion: 423 -> 257 32.38/32.44 c learnt constraints deletion: 454 -> 258 32.48/32.51 c learnt constraints deletion: 472 -> 265 32.48/32.57 c learnt constraints deletion: 474 -> 263 32.58/32.64 c learnt constraints deletion: 456 -> 259 32.68/32.71 c learnt constraints deletion: 471 -> 261 32.68/32.77 c learnt constraints deletion: 480 -> 262 32.78/32.84 c learnt constraints deletion: 502 -> 263 32.88/32.90 c learnt constraints deletion: 474 -> 263 32.88/32.96 c learnt constraints deletion: 479 -> 263 32.99/33.01 c learnt constraints deletion: 429 -> 262 32.99/33.07 c learnt constraints deletion: 463 -> 266 33.09/33.13 c learnt constraints deletion: 461 -> 267 33.09/33.20 c learnt constraints deletion: 470 -> 269 33.19/33.26 c learnt constraints deletion: 461 -> 271 33.29/33.31 c learnt constraints deletion: 485 -> 267 33.29/33.38 c learnt constraints deletion: 470 -> 270 33.39/33.44 c learnt constraints deletion: 449 -> 274 33.49/33.50 c learnt constraints deletion: 461 -> 256 33.49/33.57 c learnt constraints deletion: 488 -> 261 33.59/33.62 c learnt constraints deletion: 440 -> 265 33.59/33.67 c learnt constraints deletion: 464 -> 269 33.68/33.72 c learnt constraints deletion: 444 -> 268 33.68/33.79 c learnt constraints deletion: 449 -> 272 33.78/33.83 c learnt constraints deletion: 429 -> 276 33.78/33.88 c learnt constraints deletion: 440 -> 276 33.88/33.92 c learnt constraints deletion: 412 -> 280 33.88/33.97 c learnt constraints deletion: 446 -> 283 33.99/34.03 c learnt constraints deletion: 462 -> 289 33.99/34.08 c learnt constraints deletion: 467 -> 284 34.09/34.11 c learnt constraints deletion: 418 -> 283 34.09/34.16 c learnt constraints deletion: 473 -> 285 34.18/34.22 c learnt constraints deletion: 469 -> 288 34.18/34.26 c learnt constraints deletion: 450 -> 287 34.28/34.32 c learnt constraints deletion: 443 -> 287 34.28/34.37 c learnt constraints deletion: 436 -> 290 34.38/34.41 c learnt constraints deletion: 438 -> 288 34.38/34.47 c learnt constraints deletion: 453 -> 288 34.49/34.54 c learnt constraints deletion: 473 -> 283 34.49/34.58 c learnt constraints deletion: 407 -> 288 34.58/34.63 c learnt constraints deletion: 470 -> 289 34.58/34.68 c learnt constraints deletion: 460 -> 292 34.68/34.73 c learnt constraints deletion: 453 -> 296 34.68/34.77 c learnt constraints deletion: 438 -> 296 34.78/34.82 c learnt constraints deletion: 443 -> 293 34.78/34.87 c learnt constraints deletion: 410 -> 299 34.88/34.90 c learnt constraints deletion: 430 -> 300 34.88/34.95 c learnt constraints deletion: 434 -> 302 34.98/35.01 c learnt constraints deletion: 469 -> 304 34.98/35.06 c learnt constraints deletion: 445 -> 307 35.09/35.12 c learnt constraints deletion: 472 -> 305 35.09/35.17 c learnt constraints deletion: 454 -> 303 35.19/35.21 c learnt constraints deletion: 470 -> 304 35.19/35.26 c learnt constraints deletion: 465 -> 305 35.28/35.31 c learnt constraints deletion: 477 -> 306 35.28/35.36 c learnt constraints deletion: 478 -> 304 35.38/35.41 c learnt constraints deletion: 497 -> 302 35.38/35.46 c learnt constraints deletion: 479 -> 302 35.49/35.50 c learnt constraints deletion: 438 -> 305 35.49/35.55 c learnt constraints deletion: 450 -> 303 35.58/35.60 c learnt constraints deletion: 480 -> 303 35.58/35.67 c learnt constraints deletion: 511 -> 307 35.68/35.72 c learnt constraints deletion: 480 -> 305 35.68/35.78 c learnt constraints deletion: 505 -> 309 35.78/35.84 c learnt constraints deletion: 489 -> 312 35.78/35.88 c learnt constraints deletion: 438 -> 312 35.88/35.92 c learnt constraints deletion: 479 -> 318 35.88/35.97 c learnt constraints deletion: 512 -> 315 35.98/36.03 c learnt constraints deletion: 491 -> 314 35.98/36.08 c learnt constraints deletion: 469 -> 314 36.08/36.13 c learnt constraints deletion: 495 -> 317 36.08/36.18 c learnt constraints deletion: 505 -> 319 36.19/36.22 c learnt constraints deletion: 465 -> 316 36.19/36.27 c learnt constraints deletion: 482 -> 318 36.29/36.33 c learnt constraints deletion: 498 -> 321 36.29/36.37 c learnt constraints deletion: 467 -> 319 36.38/36.42 c learnt constraints deletion: 465 -> 321 36.38/36.46 c learnt constraints deletion: 486 -> 321 36.48/36.52 c learnt constraints deletion: 515 -> 327 36.48/36.57 c learnt constraints deletion: 493 -> 328 36.58/36.62 c learnt constraints deletion: 514 -> 325 36.58/36.67 c learnt constraints deletion: 477 -> 334 36.69/36.72 c learnt constraints deletion: 496 -> 338 36.69/36.75 c learnt constraints deletion: 461 -> 339 36.79/36.80 c learnt constraints deletion: 505 -> 337 36.79/36.85 c learnt constraints deletion: 511 -> 346 36.89/36.90 c learnt constraints deletion: 513 -> 345 36.89/36.96 c learnt constraints deletion: 526 -> 347 36.89/36.99 c learnt constraints deletion: 493 -> 346 36.98/37.04 c learnt constraints deletion: 511 -> 345 36.98/37.09 c learnt constraints deletion: 507 -> 347 37.08/37.13 c learnt constraints deletion: 530 -> 357 37.08/37.17 c learnt constraints deletion: 487 -> 348 37.18/37.21 c learnt constraints deletion: 507 -> 351 37.18/37.25 c learnt constraints deletion: 488 -> 348 37.29/37.31 c learnt constraints deletion: 526 -> 352 37.29/37.35 c learnt constraints deletion: 476 -> 353 37.29/37.38 c learnt constraints deletion: 475 -> 354 37.39/37.42 c learnt constraints deletion: 502 -> 358 37.39/37.45 c learnt constraints deletion: 469 -> 357 37.48/37.50 c learnt constraints deletion: 493 -> 362 37.48/37.53 c learnt constraints deletion: 476 -> 361 37.48/37.58 c learnt constraints deletion: 498 -> 363 37.59/37.61 c learnt constraints deletion: 477 -> 364 37.59/37.65 c learnt constraints deletion: 490 -> 365 37.59/37.69 c learnt constraints deletion: 474 -> 370 37.69/37.71 c learnt constraints deletion: 470 -> 372 37.69/37.75 c learnt constraints deletion: 478 -> 374 37.69/37.79 c learnt constraints deletion: 496 -> 375 37.78/37.82 c learnt constraints deletion: 507 -> 373 37.78/37.86 c learnt constraints deletion: 477 -> 371 37.78/37.89 c learnt constraints deletion: 488 -> 375 37.88/37.93 c learnt constraints deletion: 522 -> 375 37.88/37.96 c learnt constraints deletion: 497 -> 376 37.98/38.00 c learnt constraints deletion: 511 -> 375 37.98/38.03 c learnt constraints deletion: 505 -> 377 37.98/38.07 c learnt constraints deletion: 502 -> 376 38.08/38.10 c learnt constraints deletion: 490 -> 374 38.08/38.14 c learnt constraints deletion: 512 -> 372 38.08/38.18 c learnt constraints deletion: 489 -> 373 38.18/38.21 c learnt constraints deletion: 446 -> 373 38.18/38.25 c learnt constraints deletion: 497 -> 377 38.18/38.28 c learnt constraints deletion: 485 -> 375 38.28/38.31 c learnt constraints deletion: 459 -> 376 38.28/38.34 c learnt constraints deletion: 463 -> 377 38.28/38.37 c learnt constraints deletion: 464 -> 378 38.28/38.39 c learnt constraints deletion: 461 -> 379 38.39/38.42 c learnt constraints deletion: 496 -> 384 38.39/38.45 c learnt constraints deletion: 477 -> 384 38.39/38.48 c learnt constraints deletion: 488 -> 379 38.49/38.52 c learnt constraints deletion: 492 -> 376 38.49/38.55 c learnt constraints deletion: 480 -> 376 38.49/38.58 c learnt constraints deletion: 469 -> 370 38.58/38.61 c learnt constraints deletion: 479 -> 372 38.58/38.64 c learnt constraints deletion: 477 -> 374 38.58/38.68 c learnt constraints deletion: 507 -> 372 38.68/38.71 c learnt constraints deletion: 481 -> 370 38.68/38.75 c learnt constraints deletion: 488 -> 372 38.68/38.78 c learnt constraints deletion: 507 -> 374 38.79/38.82 c learnt constraints deletion: 478 -> 371 38.79/38.85 c learnt constraints deletion: 471 -> 372 38.79/38.87 c learnt constraints deletion: 461 -> 373 38.89/38.90 c learnt constraints deletion: 467 -> 376 38.89/38.94 c learnt constraints deletion: 499 -> 377 38.89/38.97 c learnt constraints deletion: 490 -> 374 38.99/39.01 c learnt constraints deletion: 498 -> 377 38.99/39.04 c learnt constraints deletion: 486 -> 374 38.99/39.08 c learnt constraints deletion: 502 -> 376 39.08/39.12 c learnt constraints deletion: 494 -> 379 39.08/39.15 c learnt constraints deletion: 499 -> 389 39.08/39.16 c solving time = 15.921s 39.08/39.16 c #decision = 183571 39.08/39.16 c #conflict = 116593 39.08/39.16 c #restart = 42 39.08/39.16 s OPTIMUM FOUND 39.08/39.16 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 39.08/39.16 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 39.08/39.16 v -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 39.08/39.16 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 39.08/39.16 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 39.08/39.16 v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 39.08/39.16 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 39.08/39.16 v -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 39.08/39.16 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 39.08/39.16 v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 39.08/39.16 v -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 39.08/39.16 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 39.08/39.16 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 39.08/39.16 v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 39.08/39.16 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 39.08/39.16 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 39.08/39.16 v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 39.08/39.16 c total time = 39.156s
OK 66
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712061-1338184775/watcher-3712061-1338184775 -o /tmp/evaluation-result-3712061-1338184775/solver-3712061-1338184775 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712061-1338184775.wbo running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 1.99 1.99 3/178 20952 /proc/meminfo: memFree=31113968/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 284602836 6356992 725 33554432000 4194304 8973514 140736127636608 140735087243000 4209439 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 1552 725 423 1167 0 333 0 [startup+0.0157881 s] /proc/loadavg: 2.01 1.99 1.99 3/178 20952 /proc/meminfo: memFree=31113968/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=7232 CPUtime=0.01 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 939 0 0 0 1 0 0 0 20 0 1 0 284602836 7405568 860 33554432000 4194304 8973514 140736127636608 140735087243000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 1808 860 454 1167 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7232 [startup+0.100246 s] /proc/loadavg: 2.01 1.99 1.99 3/178 20952 /proc/meminfo: memFree=31113968/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=7232 CPUtime=0.09 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1117 0 0 0 9 0 0 0 20 0 1 0 284602836 7405568 1038 33554432000 4194304 8973514 140736127636608 140735087243000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 1808 1038 455 1167 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7232 [startup+0.30022 s] /proc/loadavg: 2.01 1.99 1.99 3/178 20952 /proc/meminfo: memFree=31113968/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=7232 CPUtime=0.29 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1117 0 0 0 29 0 0 0 20 0 1 0 284602836 7405568 1038 33554432000 4194304 8973514 140736127636608 140735087243000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 1808 1038 455 1167 0 589 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7232 [startup+0.700218 s] /proc/loadavg: 2.01 1.99 1.99 3/178 20952 /proc/meminfo: memFree=31113968/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=7232 CPUtime=0.69 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1117 0 0 0 69 0 0 0 20 0 1 0 284602836 7405568 1038 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 1808 1038 455 1167 0 589 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7232 [startup+1.50018 s] /proc/loadavg: 2.01 1.99 1.99 3/179 20953 /proc/meminfo: memFree=31111736/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=7232 CPUtime=1.49 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1117 0 0 0 148 1 0 0 20 0 1 0 284602836 7405568 1038 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 1808 1038 455 1167 0 589 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7232 [startup+3.10021 s] /proc/loadavg: 2.01 1.99 1.99 3/179 20953 /proc/meminfo: memFree=31111348/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=3.09 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1384 0 0 0 307 2 0 0 20 0 1 0 284602836 8454144 1305 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1305 466 1167 0 845 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8256 [startup+6.30025 s] /proc/loadavg: 2.01 1.99 1.99 3/179 20953 /proc/meminfo: memFree=31109672/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=6.28 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 624 4 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8256 [startup+12.7003 s] /proc/loadavg: 2.01 1.99 1.99 3/179 20953 /proc/meminfo: memFree=31109680/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=12.69 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 1261 8 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127635872 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8256 [startup+25.5002 s] /proc/loadavg: 2.01 1.99 1.99 3/179 20953 /proc/meminfo: memFree=31108068/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=25.48 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 2531 17 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8256 Solver just ended. Dumping a history of the last processes samples [startup+31.906 s] /proc/loadavg: 2.01 1.99 1.99 3/180 20956 /proc/meminfo: memFree=31106804/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=31.89 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 3167 22 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 8256 [startup+35.1002 s] /proc/loadavg: 2.01 1.99 1.99 3/180 20956 /proc/meminfo: memFree=31106820/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=35.09 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 3485 24 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127635872 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 8256 [startup+36.7002 s] /proc/loadavg: 2.01 1.99 1.99 3/180 20956 /proc/meminfo: memFree=31106820/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=36.69 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 3643 26 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 36.69 Current children cumulated vsize (KiB) 8256 [startup+38.3002 s] /proc/loadavg: 2.01 1.99 1.99 3/180 20956 /proc/meminfo: memFree=31106820/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=38.28 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 3801 27 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127635712 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 8256 [startup+38.7002 s] /proc/loadavg: 2.01 1.99 1.99 3/180 20956 /proc/meminfo: memFree=31106820/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=38.68 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 3841 27 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 38.68 Current children cumulated vsize (KiB) 8256 [startup+39.1002 s] /proc/loadavg: 2.01 1.99 1.99 3/180 20956 /proc/meminfo: memFree=31106820/32873844 swapFree=7112/7112 [pid=20952] ppid=20950 vsize=8256 CPUtime=39.08 cores=0,2,4,6 /proc/20952/stat : 20952 (toysat) R 20950 20952 18402 0 -1 4202496 1385 0 0 0 3880 28 0 0 20 0 1 0 284602836 8454144 1313 33554432000 4194304 8973514 140736127636608 140736127636104 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20952/statm: 2064 1313 466 1167 0 845 0 Current children cumulated CPU time (s) 39.08 Current children cumulated vsize (KiB) 8256 Child status: 0 Real time (s): 39.1645 CPU time (s): 39.156 CPU user time (s): 38.8731 CPU system time (s): 0.282956 CPU usage (%): 99.9784 Max. virtual memory (cumulated for all children) (KiB): 8256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.8731 system time used= 0.282956 maximum resident set size= 5268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1389 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= 4 involuntary context switches= 42 runsolver used 0.055991 second user time and 0.180972 second system time The end
Begin job on node132 at 2012-05-28 07:59:35 IDJOB=3712061 IDBENCH=78761 IDSOLVER=2291 FILE ID=node132/3712061-1338184775 RUNJOBID= node132-1338159019-18418 PBS_JOBID= 14624548 Free space on /tmp= 71632 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712061-1338184775/watcher-3712061-1338184775 -o /tmp/evaluation-result-3712061-1338184775/solver-3712061-1338184775 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712061-1338184775.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dca485207caaa579309a7d2385685aa8 RANDOM SEED=779610324 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31114596 kB Buffers: 452296 kB Cached: 192192 kB SwapCached: 2284 kB Active: 719160 kB Inactive: 151108 kB Active(anon): 218208 kB Inactive(anon): 8148 kB Active(file): 500952 kB Inactive(file): 142960 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67103740 kB Dirty: 7472 kB Writeback: 0 kB AnonPages: 231068 kB Mapped: 12788 kB Shmem: 8 kB Slab: 749732 kB SReclaimable: 191332 kB SUnreclaim: 558400 kB KernelStack: 1496 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 340112 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node132 at 2012-05-28 08:00:14