Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | OPTIMUM | 48.8806 | 48.8892 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo |
MD5SUM | 43af695f5d89afd81852305c494200d4 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.369943 |
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 | 64 |
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 | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1210 |
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.01 c 2012-05-28T08:05:57+0200 0.00/0.01 c arch = x86_64 0.00/0.01 c os = linux 0.00/0.01 c compiler = ghc 7.4 0.00/0.01 c packages: 0.00/0.01 c OptDir-0.0.1 0.00/0.01 c array-0.4.0.0 0.00/0.01 c base-4.5.0.0 0.00/0.01 c bytestring-0.9.2.1 0.00/0.01 c containers-0.4.2.1 0.00/0.01 c deepseq-1.3.0.0 0.00/0.01 c mtl-2.1.1 0.00/0.01 c old_locale-1.0.0.4 0.00/0.01 c parse_dimacs-1.2 0.00/0.01 c parsec-3.1.2 0.00/0.01 c queue-0.1.2 0.00/0.01 c stm-2.3 0.00/0.01 c time-1.4 0.00/0.01 c command line = ["--wbo","HOME/instance-3712044-1338185157.wbo"] 0.00/0.01 c #vars 169 0.00/0.01 c #constraints 101 0.00/0.01 c Solving starts ... 0.02/0.04 c solving time = 0.033s 0.02/0.04 c #decision = 286 0.02/0.04 c #conflict = 103 0.02/0.04 c #restart = 1 0.02/0.04 o 698 0.02/0.04 c Solving starts ... 0.02/0.04 c solving time = 0.000s 0.02/0.04 c #decision = 361 0.02/0.04 c #conflict = 103 0.02/0.04 c #restart = 1 0.02/0.04 o 601 0.02/0.04 c Solving starts ... 0.02/0.04 c solving time = 0.000s 0.02/0.04 c #decision = 435 0.02/0.04 c #conflict = 103 0.02/0.04 c #restart = 1 0.02/0.04 o 502 0.02/0.04 c Solving starts ... 0.02/0.04 c solving time = 0.004s 0.02/0.04 c #decision = 484 0.02/0.04 c #conflict = 105 0.02/0.04 c #restart = 1 0.02/0.04 o 494 0.02/0.04 c Solving starts ... 0.02/0.04 c solving time = 0.001s 0.02/0.04 c #decision = 522 0.02/0.04 c #conflict = 105 0.02/0.04 c #restart = 1 0.02/0.04 o 474 0.02/0.04 c Solving starts ... 0.02/0.05 c solving time = 0.002s 0.02/0.05 c #decision = 560 0.02/0.05 c #conflict = 106 0.02/0.05 c #restart = 1 0.02/0.05 o 456 0.02/0.05 c Solving starts ... 0.02/0.05 c solving time = 0.006s 0.02/0.05 c #decision = 629 0.02/0.05 c #conflict = 111 0.02/0.05 c #restart = 1 0.02/0.05 o 379 0.02/0.05 c Solving starts ... 0.02/0.06 c solving time = 0.006s 0.02/0.06 c #decision = 655 0.02/0.06 c #conflict = 117 0.02/0.06 c #restart = 1 0.02/0.06 o 367 0.02/0.06 c Solving starts ... 0.02/0.06 c learnt constraints deletion: 116 -> 58 0.09/0.13 c solving time = 0.064s 0.09/0.13 c #decision = 800 0.09/0.13 c #conflict = 183 0.09/0.13 c #restart = 1 0.09/0.13 o 336 0.09/0.13 c Solving starts ... 0.09/0.13 c learnt constraints deletion: 124 -> 62 0.09/0.13 c solving time = 0.001s 0.09/0.13 c #decision = 815 0.09/0.13 c #conflict = 183 0.09/0.13 c #restart = 1 0.09/0.13 o 335 0.09/0.13 c Solving starts ... 0.09/0.13 c solving time = 0.001s 0.09/0.13 c #decision = 842 0.09/0.13 c #conflict = 183 0.09/0.13 c #restart = 1 0.09/0.13 o 304 0.09/0.13 c Solving starts ... 0.09/0.13 c solving time = 0.006s 0.09/0.13 c #decision = 872 0.09/0.13 c #conflict = 188 0.09/0.13 c #restart = 1 0.09/0.13 o 302 0.09/0.13 c Solving starts ... 0.09/0.13 c solving time = 0.001s 0.09/0.13 c #decision = 913 0.09/0.13 c #conflict = 188 0.09/0.13 c #restart = 1 0.09/0.13 o 248 0.09/0.13 c Solving starts ... 0.09/0.15 c solving time = 0.011s 0.09/0.15 c #decision = 950 0.09/0.15 c #conflict = 199 0.09/0.15 c #restart = 1 0.09/0.15 o 240 0.09/0.15 c Solving starts ... 0.09/0.15 c solving time = 0.001s 0.09/0.15 c #decision = 963 0.09/0.15 c #conflict = 199 0.09/0.15 c #restart = 1 0.09/0.15 o 239 0.09/0.15 c Solving starts ... 0.09/0.15 c solving time = 0.001s 0.09/0.15 c #decision = 977 0.09/0.15 c #conflict = 199 0.09/0.15 c #restart = 1 0.09/0.15 o 233 0.09/0.15 c Solving starts ... 0.19/0.23 c learnt constraints deletion: 177 -> 89 0.19/0.26 c solving time = 0.108s 0.19/0.26 c #decision = 1206 0.19/0.26 c #conflict = 331 0.19/0.26 c #restart = 2 0.19/0.26 o 231 0.19/0.26 c Solving starts ... 0.19/0.26 c learnt constraints deletion: 121 -> 61 0.19/0.26 c solving time = 0.001s 0.19/0.26 c #decision = 1231 0.19/0.26 c #conflict = 331 0.19/0.26 c #restart = 2 0.19/0.26 o 217 0.19/0.26 c Solving starts ... 0.19/0.28 c solving time = 0.026s 0.19/0.28 c #decision = 1281 0.19/0.28 c #conflict = 357 0.19/0.28 c #restart = 2 0.19/0.28 o 204 0.19/0.28 c Solving starts ... 0.29/0.35 c learnt constraints deletion: 186 -> 93 0.39/0.46 c solving time = 0.173s 0.39/0.46 c #decision = 1652 0.39/0.46 c #conflict = 566 0.39/0.46 c #restart = 3 0.39/0.46 o 175 0.39/0.46 c Solving starts ... 0.39/0.46 c learnt constraints deletion: 202 -> 101 0.39/0.46 c solving time = 0.001s 0.39/0.46 c #decision = 1666 0.39/0.46 c #conflict = 566 0.39/0.46 c #restart = 3 0.39/0.46 o 174 0.39/0.46 c Solving starts ... 0.49/0.53 c learnt constraints deletion: 196 -> 104 0.59/0.60 c learnt constraints deletion: 227 -> 121 0.59/0.62 c learnt constraints deletion: 151 -> 76 0.69/0.73 c learnt constraints deletion: 239 -> 122 0.69/0.77 c learnt constraints deletion: 183 -> 92 0.89/0.90 c learnt constraints deletion: 248 -> 126 0.99/1.01 c learnt constraints deletion: 266 -> 141 0.99/1.03 c learnt constraints deletion: 182 -> 91 1.09/1.17 c learnt constraints deletion: 271 -> 139 1.18/1.27 c learnt constraints deletion: 281 -> 150 1.29/1.36 c learnt constraints deletion: 273 -> 140 1.39/1.40 c learnt constraints deletion: 201 -> 101 1.49/1.58 c learnt constraints deletion: 303 -> 153 1.69/1.70 c learnt constraints deletion: 302 -> 154 1.79/1.80 c learnt constraints deletion: 261 -> 136 1.89/1.94 c learnt constraints deletion: 283 -> 150 1.99/2.03 c learnt constraints deletion: 275 -> 151 2.09/2.15 c learnt constraints deletion: 295 -> 159 2.19/2.29 c learnt constraints deletion: 327 -> 173 2.39/2.42 c learnt constraints deletion: 306 -> 160 2.49/2.55 c learnt constraints deletion: 325 -> 171 2.59/2.66 c learnt constraints deletion: 321 -> 168 2.78/2.81 c learnt constraints deletion: 322 -> 168 2.89/2.93 c learnt constraints deletion: 320 -> 168 2.99/3.01 c learnt constraints deletion: 273 -> 137 3.09/3.13 c learnt constraints deletion: 302 -> 155 3.20/3.24 c learnt constraints deletion: 338 -> 170 3.30/3.36 c learnt constraints deletion: 339 -> 176 3.39/3.44 c learnt constraints deletion: 300 -> 154 3.49/3.55 c learnt constraints deletion: 332 -> 175 3.59/3.67 c learnt constraints deletion: 294 -> 152 3.79/3.81 c learnt constraints deletion: 326 -> 168 3.89/3.94 c learnt constraints deletion: 332 -> 171 3.99/4.09 c learnt constraints deletion: 339 -> 180 4.19/4.23 c learnt constraints deletion: 344 -> 180 4.29/4.33 c learnt constraints deletion: 284 -> 142 4.48/4.51 c learnt constraints deletion: 362 -> 186 4.58/4.61 c learnt constraints deletion: 345 -> 178 4.68/4.74 c learnt constraints deletion: 372 -> 189 4.78/4.86 c learnt constraints deletion: 339 -> 180 4.88/4.97 c learnt constraints deletion: 346 -> 180 5.08/5.11 c learnt constraints deletion: 375 -> 193 5.08/5.19 c learnt constraints deletion: 317 -> 161 5.29/5.36 c learnt constraints deletion: 381 -> 199 5.40/5.50 c learnt constraints deletion: 358 -> 189 5.59/5.63 c learnt constraints deletion: 358 -> 187 5.69/5.77 c learnt constraints deletion: 387 -> 197 5.79/5.87 c learnt constraints deletion: 329 -> 169 5.79/5.88 c solving time = 5.426s 5.79/5.88 c #decision = 13666 5.79/5.88 c #conflict = 7608 5.79/5.88 c #restart = 11 5.79/5.88 o 171 5.79/5.88 c Solving starts ... 5.79/5.88 c learnt constraints deletion: 187 -> 94 5.79/5.89 c solving time = 0.004s 5.79/5.89 c #decision = 13688 5.79/5.89 c #conflict = 7611 5.79/5.89 c #restart = 11 5.79/5.89 o 161 5.79/5.89 c Solving starts ... 5.89/5.99 c learnt constraints deletion: 196 -> 98 6.09/6.11 c learnt constraints deletion: 247 -> 124 6.09/6.19 c learnt constraints deletion: 233 -> 121 6.18/6.26 c learnt constraints deletion: 207 -> 105 6.28/6.35 c learnt constraints deletion: 228 -> 118 6.39/6.45 c learnt constraints deletion: 272 -> 146 6.50/6.51 c learnt constraints deletion: 213 -> 108 6.60/6.63 c learnt constraints deletion: 278 -> 142 6.69/6.72 c solving time = 0.826s 6.69/6.72 c #decision = 15713 6.69/6.72 c #conflict = 8691 6.69/6.72 c #restart = 15 6.69/6.72 o 147 6.69/6.72 c Solving starts ... 6.69/6.72 c learnt constraints deletion: 261 -> 131 6.69/6.72 c solving time = 0.001s 6.69/6.72 c #decision = 15734 6.69/6.72 c #conflict = 8691 6.69/6.72 c #restart = 15 6.69/6.72 o 144 6.69/6.72 c Solving starts ... 6.69/6.72 c learnt constraints deletion: 131 -> 66 6.69/6.72 c solving time = 0.001s 6.69/6.72 c #decision = 15754 6.69/6.72 c #conflict = 8691 6.69/6.72 c #restart = 15 6.69/6.72 o 143 6.69/6.72 c Solving starts ... 6.69/6.78 c learnt constraints deletion: 165 -> 83 6.79/6.88 c learnt constraints deletion: 214 -> 112 6.89/6.95 c learnt constraints deletion: 228 -> 117 6.99/7.01 c solving time = 0.290s 6.99/7.01 c #decision = 16459 6.99/7.01 c #conflict = 9120 6.99/7.01 c #restart = 17 6.99/7.01 o 129 6.99/7.01 c Solving starts ... 6.99/7.01 c learnt constraints deletion: 198 -> 99 6.99/7.01 c solving time = 0.002s 6.99/7.01 c #decision = 16473 6.99/7.01 c #conflict = 9120 6.99/7.01 c #restart = 17 6.99/7.01 o 126 6.99/7.01 c Solving starts ... 6.99/7.01 c solving time = 0.001s 6.99/7.01 c #decision = 16487 6.99/7.01 c #conflict = 9120 6.99/7.01 c #restart = 17 6.99/7.01 o 124 6.99/7.01 c Solving starts ... 6.99/7.01 c solving time = 0.003s 6.99/7.01 c #decision = 16515 6.99/7.01 c #conflict = 9124 6.99/7.01 c #restart = 17 6.99/7.01 o 109 6.99/7.01 c Solving starts ... 6.99/7.02 c solving time = 0.002s 6.99/7.02 c #decision = 16536 6.99/7.02 c #conflict = 9125 6.99/7.02 c #restart = 17 6.99/7.02 o 90 6.99/7.02 c Solving starts ... 6.99/7.02 c solving time = 0.001s 6.99/7.02 c #decision = 16550 6.99/7.02 c #conflict = 9126 6.99/7.02 c #restart = 17 6.99/7.02 o 88 6.99/7.02 c Solving starts ... 6.99/7.02 c solving time = 0.001s 6.99/7.02 c #decision = 16562 6.99/7.02 c #conflict = 9127 6.99/7.02 c #restart = 17 6.99/7.02 o 85 6.99/7.02 c Solving starts ... 6.99/7.02 c solving time = 0.001s 6.99/7.02 c #decision = 16573 6.99/7.02 c #conflict = 9128 6.99/7.02 c #restart = 17 6.99/7.02 o 82 6.99/7.02 c Solving starts ... 6.99/7.02 c solving time = 0.001s 6.99/7.02 c #decision = 16589 6.99/7.02 c #conflict = 9129 6.99/7.02 c #restart = 17 6.99/7.02 o 68 6.99/7.02 c Solving starts ... 6.99/7.02 c solving time = 0.001s 6.99/7.02 c #decision = 16599 6.99/7.02 c #conflict = 9129 6.99/7.02 c #restart = 17 6.99/7.02 o 66 6.99/7.02 c Solving starts ... 6.99/7.03 c solving time = 0.002s 6.99/7.03 c #decision = 16613 6.99/7.03 c #conflict = 9130 6.99/7.03 c #restart = 17 6.99/7.03 o 55 6.99/7.03 c Solving starts ... 6.99/7.03 c solving time = 0.001s 6.99/7.03 c #decision = 16624 6.99/7.03 c #conflict = 9131 6.99/7.03 c #restart = 17 6.99/7.03 o 52 6.99/7.03 c Solving starts ... 6.99/7.03 c solving time = 0.004s 6.99/7.03 c #decision = 16644 6.99/7.03 c #conflict = 9137 6.99/7.03 c #restart = 17 6.99/7.03 o 41 6.99/7.03 c Solving starts ... 6.99/7.03 c solving time = 0.001s 6.99/7.03 c #decision = 16661 6.99/7.03 c #conflict = 9138 6.99/7.03 c #restart = 17 6.99/7.03 o 39 6.99/7.03 c Solving starts ... 6.99/7.03 c solving time = 0.001s 6.99/7.03 c #decision = 16679 6.99/7.03 c #conflict = 9139 6.99/7.03 c #restart = 17 6.99/7.03 o 38 6.99/7.03 c Solving starts ... 6.99/7.03 c solving time = 0.001s 6.99/7.03 c #decision = 16698 6.99/7.03 c #conflict = 9139 6.99/7.03 c #restart = 17 6.99/7.03 o 37 6.99/7.03 c Solving starts ... 6.99/7.04 c solving time = 0.002s 6.99/7.04 c #decision = 16720 6.99/7.04 c #conflict = 9145 6.99/7.04 c #restart = 17 6.99/7.04 o 35 6.99/7.04 c Solving starts ... 6.99/7.04 c solving time = 0.001s 6.99/7.04 c #decision = 16731 6.99/7.04 c #conflict = 9145 6.99/7.04 c #restart = 17 6.99/7.04 o 33 6.99/7.04 c Solving starts ... 6.99/7.04 c solving time = 0.004s 6.99/7.04 c #decision = 16747 6.99/7.04 c #conflict = 9150 6.99/7.04 c #restart = 17 6.99/7.04 o 32 6.99/7.04 c Solving starts ... 6.99/7.04 c solving time = 0.000s 6.99/7.04 c #decision = 16759 6.99/7.04 c #conflict = 9150 6.99/7.04 c #restart = 17 6.99/7.04 o 31 6.99/7.04 c Solving starts ... 6.99/7.04 c solving time = 0.001s 6.99/7.04 c #decision = 16772 6.99/7.04 c #conflict = 9151 6.99/7.04 c #restart = 17 6.99/7.04 o 29 6.99/7.04 c Solving starts ... 6.99/7.08 c learnt constraints deletion: 229 -> 115 7.09/7.15 c learnt constraints deletion: 264 -> 132 7.19/7.22 c learnt constraints deletion: 323 -> 165 7.19/7.27 c learnt constraints deletion: 292 -> 151 7.29/7.34 c learnt constraints deletion: 319 -> 169 7.29/7.36 c learnt constraints deletion: 244 -> 122 7.39/7.44 c learnt constraints deletion: 313 -> 159 7.48/7.50 c learnt constraints deletion: 295 -> 152 7.48/7.57 c learnt constraints deletion: 319 -> 165 7.59/7.63 c learnt constraints deletion: 317 -> 159 7.69/7.71 c learnt constraints deletion: 373 -> 190 7.69/7.76 c learnt constraints deletion: 331 -> 171 7.79/7.81 c learnt constraints deletion: 311 -> 156 7.79/7.86 c learnt constraints deletion: 281 -> 141 7.89/7.96 c learnt constraints deletion: 391 -> 199 7.99/8.04 c learnt constraints deletion: 399 -> 203 8.09/8.11 c learnt constraints deletion: 367 -> 189 8.09/8.17 c learnt constraints deletion: 345 -> 180 8.19/8.24 c learnt constraints deletion: 357 -> 191 8.19/8.29 c learnt constraints deletion: 326 -> 163 8.29/8.37 c learnt constraints deletion: 378 -> 191 8.39/8.42 c learnt constraints deletion: 335 -> 168 8.49/8.50 c learnt constraints deletion: 414 -> 208 8.49/8.58 c learnt constraints deletion: 399 -> 206 8.59/8.65 c learnt constraints deletion: 401 -> 208 8.69/8.71 c learnt constraints deletion: 397 -> 201 8.69/8.78 c learnt constraints deletion: 388 -> 198 8.79/8.86 c learnt constraints deletion: 411 -> 211 8.89/8.95 c learnt constraints deletion: 402 -> 201 8.99/9.03 c learnt constraints deletion: 416 -> 215 9.08/9.12 c learnt constraints deletion: 423 -> 214 9.08/9.20 c learnt constraints deletion: 411 -> 207 9.18/9.27 c learnt constraints deletion: 414 -> 209 9.28/9.35 c learnt constraints deletion: 404 -> 205 9.38/9.43 c learnt constraints deletion: 410 -> 213 9.48/9.53 c learnt constraints deletion: 450 -> 231 9.58/9.60 c learnt constraints deletion: 428 -> 214 9.58/9.68 c learnt constraints deletion: 402 -> 204 9.69/9.76 c learnt constraints deletion: 424 -> 215 9.80/9.82 c learnt constraints deletion: 391 -> 197 9.80/9.89 c learnt constraints deletion: 399 -> 203 9.90/9.97 c learnt constraints deletion: 433 -> 217 9.99/10.07 c learnt constraints deletion: 467 -> 237 10.09/10.14 c learnt constraints deletion: 427 -> 218 10.19/10.22 c learnt constraints deletion: 444 -> 229 10.29/10.30 c learnt constraints deletion: 454 -> 228 10.29/10.38 c learnt constraints deletion: 442 -> 221 10.39/10.47 c learnt constraints deletion: 462 -> 239 10.49/10.56 c learnt constraints deletion: 478 -> 240 10.59/10.63 c learnt constraints deletion: 435 -> 223 10.68/10.73 c learnt constraints deletion: 467 -> 236 10.78/10.81 c learnt constraints deletion: 436 -> 219 10.78/10.89 c learnt constraints deletion: 454 -> 230 10.89/10.97 c learnt constraints deletion: 440 -> 224 10.99/11.05 c learnt constraints deletion: 444 -> 222 11.09/11.13 c learnt constraints deletion: 468 -> 238 11.19/11.21 c learnt constraints deletion: 460 -> 232 11.19/11.29 c learnt constraints deletion: 475 -> 242 11.29/11.38 c learnt constraints deletion: 492 -> 252 11.39/11.44 c learnt constraints deletion: 443 -> 222 11.49/11.55 c learnt constraints deletion: 444 -> 222 11.59/11.65 c learnt constraints deletion: 491 -> 250 11.69/11.73 c learnt constraints deletion: 482 -> 250 11.79/11.83 c learnt constraints deletion: 505 -> 256 11.89/11.91 c learnt constraints deletion: 478 -> 239 11.89/12.00 c learnt constraints deletion: 506 -> 257 11.99/12.08 c learnt constraints deletion: 469 -> 238 12.09/12.19 c learnt constraints deletion: 505 -> 254 12.19/12.28 c learnt constraints deletion: 501 -> 258 12.29/12.37 c learnt constraints deletion: 502 -> 254 12.38/12.46 c learnt constraints deletion: 463 -> 232 12.48/12.55 c learnt constraints deletion: 474 -> 242 12.58/12.64 c learnt constraints deletion: 498 -> 256 12.68/12.72 c learnt constraints deletion: 460 -> 230 12.78/12.83 c learnt constraints deletion: 472 -> 238 12.89/12.93 c learnt constraints deletion: 490 -> 247 12.99/13.04 c learnt constraints deletion: 506 -> 257 13.10/13.11 c learnt constraints deletion: 435 -> 218 13.20/13.22 c learnt constraints deletion: 481 -> 247 13.29/13.32 c learnt constraints deletion: 464 -> 237 13.39/13.42 c learnt constraints deletion: 478 -> 248 13.49/13.51 c learnt constraints deletion: 466 -> 245 13.59/13.62 c learnt constraints deletion: 512 -> 256 13.68/13.71 c learnt constraints deletion: 517 -> 259 13.78/13.81 c learnt constraints deletion: 495 -> 249 13.88/13.91 c learnt constraints deletion: 523 -> 266 13.98/14.01 c learnt constraints deletion: 533 -> 275 14.08/14.11 c learnt constraints deletion: 520 -> 266 14.19/14.21 c learnt constraints deletion: 527 -> 270 14.19/14.29 c learnt constraints deletion: 505 -> 255 14.29/14.38 c learnt constraints deletion: 503 -> 263 14.38/14.49 c learnt constraints deletion: 527 -> 268 14.48/14.58 c learnt constraints deletion: 516 -> 262 14.58/14.69 c learnt constraints deletion: 545 -> 275 14.68/14.79 c learnt constraints deletion: 529 -> 275 14.79/14.86 c learnt constraints deletion: 475 -> 240 14.89/14.96 c learnt constraints deletion: 500 -> 257 14.99/15.06 c learnt constraints deletion: 526 -> 268 15.09/15.15 c learnt constraints deletion: 518 -> 263 15.19/15.25 c learnt constraints deletion: 475 -> 242 15.29/15.34 c learnt constraints deletion: 476 -> 243 15.39/15.46 c learnt constraints deletion: 532 -> 274 15.49/15.55 c learnt constraints deletion: 506 -> 263 15.59/15.65 c learnt constraints deletion: 511 -> 265 15.69/15.75 c learnt constraints deletion: 527 -> 271 15.78/15.85 c learnt constraints deletion: 538 -> 280 15.88/15.94 c learnt constraints deletion: 519 -> 274 15.98/16.05 c learnt constraints deletion: 514 -> 258 16.08/16.15 c learnt constraints deletion: 511 -> 259 16.18/16.25 c learnt constraints deletion: 515 -> 261 16.28/16.34 c learnt constraints deletion: 524 -> 267 16.39/16.42 c learnt constraints deletion: 535 -> 270 16.49/16.53 c learnt constraints deletion: 534 -> 272 16.58/16.62 c learnt constraints deletion: 528 -> 267 16.69/16.72 c learnt constraints deletion: 535 -> 277 16.79/16.81 c solving time = 9.762s 16.79/16.81 c #decision = 57293 16.79/16.81 c #conflict = 34651 16.79/16.81 c #restart = 28 16.79/16.81 o 28 16.79/16.81 c Solving starts ... 16.79/16.81 c learnt constraints deletion: 526 -> 263 16.79/16.81 c learnt constraints deletion: 263 -> 132 16.79/16.84 c learnt constraints deletion: 231 -> 116 16.89/16.90 c learnt constraints deletion: 265 -> 133 16.89/16.98 c learnt constraints deletion: 344 -> 178 16.99/17.03 c learnt constraints deletion: 311 -> 157 16.99/17.09 c learnt constraints deletion: 337 -> 175 17.09/17.17 c learnt constraints deletion: 353 -> 185 17.19/17.23 c learnt constraints deletion: 368 -> 191 17.19/17.29 c learnt constraints deletion: 338 -> 176 17.29/17.34 c learnt constraints deletion: 338 -> 173 17.39/17.41 c learnt constraints deletion: 371 -> 193 17.39/17.47 c learnt constraints deletion: 370 -> 192 17.49/17.55 c learnt constraints deletion: 389 -> 202 17.59/17.62 c learnt constraints deletion: 385 -> 195 17.59/17.68 c learnt constraints deletion: 384 -> 196 17.68/17.74 c learnt constraints deletion: 367 -> 190 17.78/17.80 c learnt constraints deletion: 361 -> 188 17.78/17.88 c learnt constraints deletion: 375 -> 197 17.88/17.94 c learnt constraints deletion: 361 -> 181 17.88/17.98 c learnt constraints deletion: 318 -> 159 17.98/18.07 c learnt constraints deletion: 421 -> 216 18.08/18.13 c learnt constraints deletion: 383 -> 193 18.18/18.21 c learnt constraints deletion: 414 -> 209 18.18/18.28 c learnt constraints deletion: 432 -> 223 18.28/18.35 c learnt constraints deletion: 420 -> 216 18.38/18.41 c learnt constraints deletion: 404 -> 208 18.38/18.49 c learnt constraints deletion: 431 -> 225 18.48/18.56 c learnt constraints deletion: 426 -> 226 18.59/18.62 c learnt constraints deletion: 419 -> 217 18.59/18.69 c learnt constraints deletion: 442 -> 235 18.70/18.77 c learnt constraints deletion: 437 -> 229 18.79/18.85 c learnt constraints deletion: 463 -> 235 18.89/18.92 c learnt constraints deletion: 437 -> 224 18.99/19.00 c learnt constraints deletion: 438 -> 224 18.99/19.07 c learnt constraints deletion: 443 -> 226 19.09/19.15 c learnt constraints deletion: 455 -> 235 19.19/19.23 c learnt constraints deletion: 455 -> 233 19.29/19.31 c learnt constraints deletion: 450 -> 227 19.29/19.37 c learnt constraints deletion: 407 -> 207 19.38/19.45 c learnt constraints deletion: 430 -> 220 19.48/19.54 c learnt constraints deletion: 450 -> 229 19.58/19.62 c learnt constraints deletion: 445 -> 228 19.69/19.71 c learnt constraints deletion: 464 -> 232 19.69/19.80 c learnt constraints deletion: 461 -> 233 19.79/19.89 c learnt constraints deletion: 449 -> 226 19.98/20.00 c learnt constraints deletion: 478 -> 241 19.98/20.09 c learnt constraints deletion: 466 -> 236 20.08/20.18 c learnt constraints deletion: 445 -> 230 20.28/20.30 c learnt constraints deletion: 492 -> 252 20.28/20.38 c learnt constraints deletion: 478 -> 244 20.38/20.45 c learnt constraints deletion: 459 -> 235 20.48/20.53 c learnt constraints deletion: 459 -> 237 20.58/20.61 c learnt constraints deletion: 464 -> 239 20.58/20.69 c learnt constraints deletion: 480 -> 247 20.69/20.77 c learnt constraints deletion: 458 -> 236 20.79/20.85 c learnt constraints deletion: 456 -> 234 20.89/20.95 c learnt constraints deletion: 490 -> 245 20.99/21.03 c learnt constraints deletion: 471 -> 236 21.09/21.12 c learnt constraints deletion: 511 -> 262 21.19/21.21 c learnt constraints deletion: 513 -> 260 21.29/21.30 c learnt constraints deletion: 516 -> 262 21.29/21.39 c learnt constraints deletion: 480 -> 244 21.39/21.49 c learnt constraints deletion: 509 -> 260 21.48/21.57 c learnt constraints deletion: 487 -> 254 21.58/21.66 c learnt constraints deletion: 495 -> 252 21.68/21.74 c learnt constraints deletion: 500 -> 257 21.78/21.82 c learnt constraints deletion: 479 -> 249 21.89/21.91 c learnt constraints deletion: 481 -> 247 21.99/22.01 c learnt constraints deletion: 494 -> 254 21.99/22.09 c learnt constraints deletion: 438 -> 222 22.08/22.17 c learnt constraints deletion: 472 -> 240 22.18/22.27 c learnt constraints deletion: 505 -> 261 22.29/22.34 c learnt constraints deletion: 489 -> 254 22.39/22.43 c learnt constraints deletion: 479 -> 246 22.49/22.51 c learnt constraints deletion: 480 -> 246 22.49/22.59 c learnt constraints deletion: 492 -> 255 22.59/22.67 c learnt constraints deletion: 501 -> 261 22.69/22.76 c learnt constraints deletion: 500 -> 258 22.79/22.86 c learnt constraints deletion: 515 -> 266 22.89/22.95 c learnt constraints deletion: 492 -> 256 22.99/23.05 c learnt constraints deletion: 520 -> 268 23.09/23.15 c learnt constraints deletion: 542 -> 274 23.19/23.25 c learnt constraints deletion: 531 -> 273 23.28/23.33 c learnt constraints deletion: 517 -> 264 23.38/23.42 c learnt constraints deletion: 542 -> 277 23.48/23.51 c learnt constraints deletion: 521 -> 264 23.58/23.61 c learnt constraints deletion: 551 -> 278 23.68/23.70 c learnt constraints deletion: 552 -> 280 23.68/23.79 c learnt constraints deletion: 545 -> 279 23.78/23.87 c learnt constraints deletion: 531 -> 270 23.88/23.97 c learnt constraints deletion: 535 -> 274 23.98/24.06 c learnt constraints deletion: 511 -> 263 24.09/24.17 c learnt constraints deletion: 531 -> 269 24.19/24.27 c learnt constraints deletion: 548 -> 279 24.29/24.36 c learnt constraints deletion: 540 -> 276 24.38/24.45 c learnt constraints deletion: 542 -> 274 24.48/24.53 c learnt constraints deletion: 523 -> 267 24.58/24.63 c learnt constraints deletion: 554 -> 282 24.68/24.71 c learnt constraints deletion: 544 -> 277 24.78/24.80 c learnt constraints deletion: 545 -> 277 24.88/24.90 c learnt constraints deletion: 540 -> 277 24.98/25.01 c learnt constraints deletion: 552 -> 282 25.08/25.10 c learnt constraints deletion: 527 -> 278 25.08/25.18 c learnt constraints deletion: 540 -> 283 25.19/25.26 c learnt constraints deletion: 506 -> 265 25.29/25.34 c learnt constraints deletion: 511 -> 257 25.39/25.43 c learnt constraints deletion: 478 -> 239 25.49/25.54 c learnt constraints deletion: 517 -> 262 25.59/25.63 c learnt constraints deletion: 493 -> 250 25.69/25.72 c learnt constraints deletion: 512 -> 260 25.79/25.81 c learnt constraints deletion: 517 -> 265 25.79/25.89 c learnt constraints deletion: 509 -> 266 25.98/26.00 c learnt constraints deletion: 546 -> 275 26.08/26.12 c learnt constraints deletion: 571 -> 292 26.18/26.22 c learnt constraints deletion: 542 -> 273 26.29/26.32 c learnt constraints deletion: 541 -> 282 26.39/26.44 c learnt constraints deletion: 561 -> 285 26.48/26.54 c learnt constraints deletion: 558 -> 287 26.58/26.64 c learnt constraints deletion: 552 -> 284 26.68/26.74 c learnt constraints deletion: 543 -> 275 26.78/26.85 c learnt constraints deletion: 555 -> 286 26.89/26.95 c learnt constraints deletion: 542 -> 281 26.99/27.05 c learnt constraints deletion: 548 -> 280 27.09/27.16 c learnt constraints deletion: 570 -> 290 27.19/27.25 c learnt constraints deletion: 560 -> 286 27.29/27.34 c learnt constraints deletion: 545 -> 282 27.39/27.45 c learnt constraints deletion: 550 -> 283 27.49/27.55 c learnt constraints deletion: 537 -> 280 27.58/27.66 c learnt constraints deletion: 585 -> 304 27.68/27.76 c learnt constraints deletion: 561 -> 292 27.78/27.86 c learnt constraints deletion: 552 -> 290 27.88/27.96 c learnt constraints deletion: 562 -> 290 27.98/28.05 c learnt constraints deletion: 560 -> 287 28.08/28.14 c learnt constraints deletion: 531 -> 273 28.18/28.25 c learnt constraints deletion: 580 -> 300 28.28/28.35 c learnt constraints deletion: 559 -> 288 28.38/28.45 c learnt constraints deletion: 570 -> 300 28.49/28.55 c learnt constraints deletion: 564 -> 292 28.59/28.66 c learnt constraints deletion: 567 -> 299 28.68/28.77 c learnt constraints deletion: 556 -> 289 28.78/28.88 c learnt constraints deletion: 560 -> 290 28.88/28.99 c learnt constraints deletion: 556 -> 294 28.98/29.09 c learnt constraints deletion: 569 -> 300 29.08/29.19 c learnt constraints deletion: 570 -> 303 29.28/29.30 c learnt constraints deletion: 565 -> 297 29.39/29.40 c learnt constraints deletion: 579 -> 304 29.49/29.52 c learnt constraints deletion: 577 -> 306 29.59/29.64 c learnt constraints deletion: 575 -> 308 29.69/29.73 c learnt constraints deletion: 540 -> 288 29.79/29.84 c learnt constraints deletion: 564 -> 289 29.88/29.95 c learnt constraints deletion: 561 -> 281 29.98/30.08 c learnt constraints deletion: 574 -> 296 30.08/30.19 c learnt constraints deletion: 549 -> 281 30.28/30.30 c learnt constraints deletion: 565 -> 283 30.38/30.40 c learnt constraints deletion: 573 -> 289 30.48/30.51 c learnt constraints deletion: 540 -> 276 30.58/30.61 c learnt constraints deletion: 544 -> 274 30.69/30.72 c learnt constraints deletion: 568 -> 289 30.79/30.81 c learnt constraints deletion: 559 -> 287 30.88/30.91 c learnt constraints deletion: 559 -> 288 30.98/31.01 c learnt constraints deletion: 569 -> 291 31.08/31.13 c learnt constraints deletion: 625 -> 316 31.18/31.22 c learnt constraints deletion: 578 -> 293 31.28/31.33 c learnt constraints deletion: 616 -> 315 31.39/31.45 c learnt constraints deletion: 626 -> 314 31.49/31.54 c learnt constraints deletion: 586 -> 299 31.59/31.64 c learnt constraints deletion: 569 -> 288 31.69/31.75 c learnt constraints deletion: 616 -> 315 31.79/31.87 c learnt constraints deletion: 623 -> 319 31.89/31.96 c learnt constraints deletion: 572 -> 286 31.98/32.09 c learnt constraints deletion: 606 -> 307 32.18/32.22 c learnt constraints deletion: 624 -> 317 32.28/32.34 c learnt constraints deletion: 621 -> 317 32.38/32.45 c learnt constraints deletion: 570 -> 286 32.48/32.58 c learnt constraints deletion: 624 -> 314 32.58/32.68 c learnt constraints deletion: 618 -> 315 32.68/32.77 c learnt constraints deletion: 563 -> 287 32.78/32.89 c learnt constraints deletion: 607 -> 314 32.89/32.99 c learnt constraints deletion: 613 -> 314 33.08/33.10 c learnt constraints deletion: 603 -> 306 33.19/33.20 c learnt constraints deletion: 603 -> 309 33.29/33.30 c learnt constraints deletion: 607 -> 313 33.39/33.40 c learnt constraints deletion: 593 -> 299 33.49/33.52 c learnt constraints deletion: 606 -> 304 33.59/33.64 c learnt constraints deletion: 616 -> 313 33.69/33.76 c learnt constraints deletion: 617 -> 313 33.79/33.86 c learnt constraints deletion: 607 -> 308 33.89/33.97 c learnt constraints deletion: 616 -> 314 33.99/34.08 c learnt constraints deletion: 634 -> 323 34.09/34.18 c learnt constraints deletion: 617 -> 317 34.18/34.29 c learnt constraints deletion: 614 -> 321 34.38/34.40 c learnt constraints deletion: 618 -> 323 34.38/34.49 c learnt constraints deletion: 576 -> 290 34.58/34.61 c learnt constraints deletion: 595 -> 301 34.69/34.72 c learnt constraints deletion: 600 -> 305 34.79/34.83 c learnt constraints deletion: 604 -> 307 34.89/34.93 c learnt constraints deletion: 608 -> 311 34.99/35.04 c learnt constraints deletion: 631 -> 319 35.09/35.14 c learnt constraints deletion: 619 -> 314 35.19/35.27 c learnt constraints deletion: 632 -> 320 35.28/35.37 c learnt constraints deletion: 603 -> 308 35.38/35.47 c learnt constraints deletion: 619 -> 312 35.48/35.57 c learnt constraints deletion: 601 -> 309 35.58/35.67 c learnt constraints deletion: 575 -> 295 35.68/35.77 c learnt constraints deletion: 597 -> 302 35.78/35.89 c learnt constraints deletion: 611 -> 312 35.98/36.00 c learnt constraints deletion: 601 -> 305 36.08/36.10 c learnt constraints deletion: 576 -> 288 36.18/36.22 c learnt constraints deletion: 574 -> 287 36.28/36.33 c learnt constraints deletion: 613 -> 313 36.39/36.44 c learnt constraints deletion: 603 -> 312 36.49/36.56 c learnt constraints deletion: 606 -> 306 36.59/36.66 c learnt constraints deletion: 615 -> 312 36.68/36.77 c learnt constraints deletion: 618 -> 312 36.78/36.88 c learnt constraints deletion: 599 -> 301 36.88/36.99 c learnt constraints deletion: 583 -> 292 37.08/37.11 c learnt constraints deletion: 598 -> 304 37.08/37.14 c solving time = 20.331s 37.08/37.14 c #decision = 136561 37.08/37.14 c #conflict = 89808 37.08/37.14 c #restart = 41 37.08/37.14 o 25 37.08/37.14 c Solving starts ... 37.08/37.14 c learnt constraints deletion: 366 -> 183 37.08/37.14 c solving time = 0.001s 37.08/37.14 c #decision = 136577 37.08/37.14 c #conflict = 89808 37.08/37.14 c #restart = 41 37.08/37.14 o 24 37.08/37.14 c Solving starts ... 37.08/37.14 c solving time = 0.001s 37.08/37.14 c #decision = 136593 37.08/37.14 c #conflict = 89808 37.08/37.14 c #restart = 41 37.08/37.14 o 21 37.08/37.14 c Solving starts ... 37.08/37.14 c solving time = 0.000s 37.08/37.14 c #decision = 136612 37.08/37.14 c #conflict = 89808 37.08/37.14 c #restart = 41 37.08/37.14 o 2 37.08/37.14 c Solving starts ... 37.08/37.17 c learnt constraints deletion: 267 -> 134 37.18/37.21 c learnt constraints deletion: 290 -> 149 37.18/37.26 c learnt constraints deletion: 308 -> 154 37.18/37.28 c learnt constraints deletion: 227 -> 127 37.29/37.35 c learnt constraints deletion: 329 -> 169 37.29/37.39 c learnt constraints deletion: 304 -> 152 37.39/37.46 c learnt constraints deletion: 359 -> 185 37.48/37.50 c learnt constraints deletion: 323 -> 162 37.48/37.54 c learnt constraints deletion: 316 -> 158 37.58/37.61 c learnt constraints deletion: 367 -> 184 37.58/37.67 c learnt constraints deletion: 374 -> 189 37.69/37.73 c learnt constraints deletion: 399 -> 203 37.69/37.78 c learnt constraints deletion: 361 -> 181 37.79/37.85 c learnt constraints deletion: 389 -> 195 37.89/37.92 c learnt constraints deletion: 394 -> 202 37.89/37.99 c learnt constraints deletion: 397 -> 200 37.99/38.04 c learnt constraints deletion: 365 -> 186 38.09/38.10 c learnt constraints deletion: 367 -> 184 38.09/38.15 c learnt constraints deletion: 377 -> 189 38.18/38.21 c learnt constraints deletion: 404 -> 207 38.18/38.29 c learnt constraints deletion: 423 -> 214 38.28/38.34 c learnt constraints deletion: 402 -> 203 38.28/38.40 c learnt constraints deletion: 374 -> 187 38.39/38.48 c learnt constraints deletion: 430 -> 221 38.49/38.54 c learnt constraints deletion: 404 -> 208 38.58/38.61 c learnt constraints deletion: 436 -> 218 38.58/38.68 c learnt constraints deletion: 420 -> 212 38.68/38.75 c learnt constraints deletion: 423 -> 212 38.78/38.81 c learnt constraints deletion: 453 -> 229 38.78/38.87 c learnt constraints deletion: 448 -> 225 38.88/38.92 c learnt constraints deletion: 411 -> 206 38.98/39.01 c learnt constraints deletion: 443 -> 232 38.98/39.08 c learnt constraints deletion: 439 -> 226 39.08/39.14 c learnt constraints deletion: 430 -> 221 39.18/39.20 c learnt constraints deletion: 426 -> 222 39.18/39.28 c learnt constraints deletion: 439 -> 224 39.28/39.34 c learnt constraints deletion: 440 -> 224 39.38/39.41 c learnt constraints deletion: 435 -> 218 39.38/39.49 c learnt constraints deletion: 437 -> 222 39.49/39.56 c learnt constraints deletion: 474 -> 238 39.59/39.64 c learnt constraints deletion: 487 -> 247 39.68/39.71 c learnt constraints deletion: 476 -> 243 39.68/39.79 c learnt constraints deletion: 458 -> 241 39.78/39.87 c learnt constraints deletion: 477 -> 251 39.88/39.95 c learnt constraints deletion: 477 -> 239 39.98/40.02 c learnt constraints deletion: 488 -> 250 39.98/40.09 c learnt constraints deletion: 493 -> 247 40.08/40.17 c learnt constraints deletion: 481 -> 243 40.19/40.24 c learnt constraints deletion: 461 -> 235 40.29/40.31 c learnt constraints deletion: 456 -> 232 40.29/40.38 c learnt constraints deletion: 460 -> 239 40.39/40.45 c learnt constraints deletion: 482 -> 245 40.49/40.51 c learnt constraints deletion: 435 -> 223 40.49/40.58 c learnt constraints deletion: 435 -> 224 40.59/40.67 c learnt constraints deletion: 498 -> 258 40.69/40.73 c learnt constraints deletion: 452 -> 226 40.78/40.82 c learnt constraints deletion: 515 -> 268 40.78/40.87 c learnt constraints deletion: 447 -> 224 40.88/40.96 c learnt constraints deletion: 499 -> 250 40.98/41.03 c learnt constraints deletion: 458 -> 231 41.08/41.11 c learnt constraints deletion: 464 -> 237 41.08/41.18 c learnt constraints deletion: 459 -> 238 41.18/41.27 c learnt constraints deletion: 503 -> 256 41.28/41.36 c learnt constraints deletion: 514 -> 260 41.38/41.44 c learnt constraints deletion: 515 -> 271 41.48/41.51 c learnt constraints deletion: 483 -> 242 41.48/41.59 c learnt constraints deletion: 505 -> 253 41.58/41.67 c learnt constraints deletion: 519 -> 265 41.69/41.74 c learnt constraints deletion: 510 -> 257 41.78/41.82 c learnt constraints deletion: 493 -> 248 41.78/41.89 c learnt constraints deletion: 486 -> 243 41.88/41.98 c learnt constraints deletion: 515 -> 258 41.98/42.06 c learnt constraints deletion: 531 -> 268 42.09/42.14 c learnt constraints deletion: 514 -> 261 42.19/42.20 c learnt constraints deletion: 483 -> 245 42.19/42.27 c learnt constraints deletion: 485 -> 248 42.28/42.36 c learnt constraints deletion: 507 -> 262 42.38/42.44 c learnt constraints deletion: 525 -> 268 42.48/42.51 c learnt constraints deletion: 491 -> 250 42.58/42.61 c learnt constraints deletion: 524 -> 264 42.58/42.69 c learnt constraints deletion: 493 -> 247 42.68/42.79 c learnt constraints deletion: 528 -> 266 42.79/42.86 c learnt constraints deletion: 503 -> 252 42.89/42.95 c learnt constraints deletion: 534 -> 270 42.98/43.03 c learnt constraints deletion: 537 -> 271 43.08/43.11 c learnt constraints deletion: 542 -> 276 43.08/43.19 c learnt constraints deletion: 547 -> 274 43.18/43.27 c learnt constraints deletion: 536 -> 272 43.28/43.34 c learnt constraints deletion: 520 -> 263 43.38/43.42 c learnt constraints deletion: 540 -> 278 43.48/43.50 c learnt constraints deletion: 523 -> 268 43.48/43.58 c learnt constraints deletion: 514 -> 262 43.58/43.67 c learnt constraints deletion: 536 -> 277 43.68/43.75 c learnt constraints deletion: 534 -> 269 43.79/43.84 c learnt constraints deletion: 545 -> 273 43.89/43.92 c learnt constraints deletion: 523 -> 262 43.89/44.00 c learnt constraints deletion: 498 -> 249 43.99/44.09 c learnt constraints deletion: 525 -> 270 44.08/44.17 c learnt constraints deletion: 517 -> 259 44.18/44.26 c learnt constraints deletion: 564 -> 285 44.28/44.35 c learnt constraints deletion: 555 -> 280 44.38/44.43 c learnt constraints deletion: 553 -> 278 44.48/44.52 c learnt constraints deletion: 551 -> 277 44.48/44.59 c learnt constraints deletion: 525 -> 266 44.58/44.68 c learnt constraints deletion: 538 -> 271 44.68/44.76 c learnt constraints deletion: 536 -> 271 44.78/44.85 c learnt constraints deletion: 533 -> 272 44.88/44.92 c learnt constraints deletion: 514 -> 269 44.98/45.00 c learnt constraints deletion: 518 -> 271 44.98/45.09 c learnt constraints deletion: 516 -> 273 45.08/45.17 c learnt constraints deletion: 530 -> 271 45.18/45.24 c learnt constraints deletion: 523 -> 280 45.29/45.32 c learnt constraints deletion: 534 -> 292 45.39/45.41 c learnt constraints deletion: 575 -> 295 45.39/45.49 c learnt constraints deletion: 592 -> 299 45.48/45.58 c learnt constraints deletion: 584 -> 296 45.58/45.66 c learnt constraints deletion: 589 -> 301 45.68/45.74 c learnt constraints deletion: 563 -> 300 45.78/45.82 c learnt constraints deletion: 573 -> 306 45.78/45.89 c learnt constraints deletion: 560 -> 294 45.88/45.99 c learnt constraints deletion: 588 -> 298 45.98/46.08 c learnt constraints deletion: 567 -> 302 46.09/46.17 c learnt constraints deletion: 580 -> 297 46.19/46.25 c learnt constraints deletion: 589 -> 298 46.28/46.32 c learnt constraints deletion: 550 -> 298 46.38/46.41 c learnt constraints deletion: 607 -> 314 46.38/46.48 c learnt constraints deletion: 590 -> 309 46.48/46.56 c learnt constraints deletion: 542 -> 298 46.58/46.64 c learnt constraints deletion: 547 -> 301 46.69/46.72 c learnt constraints deletion: 541 -> 298 46.79/46.80 c learnt constraints deletion: 576 -> 303 46.79/46.89 c learnt constraints deletion: 608 -> 310 46.89/46.96 c learnt constraints deletion: 578 -> 298 46.99/47.04 c learnt constraints deletion: 564 -> 303 47.09/47.13 c learnt constraints deletion: 588 -> 299 47.19/47.21 c learnt constraints deletion: 565 -> 302 47.19/47.29 c learnt constraints deletion: 576 -> 302 47.29/47.36 c learnt constraints deletion: 555 -> 303 47.38/47.44 c learnt constraints deletion: 585 -> 303 47.48/47.52 c learnt constraints deletion: 558 -> 311 47.48/47.59 c learnt constraints deletion: 555 -> 304 47.58/47.68 c learnt constraints deletion: 589 -> 305 47.68/47.76 c learnt constraints deletion: 569 -> 307 47.78/47.82 c learnt constraints deletion: 541 -> 306 47.88/47.90 c learnt constraints deletion: 552 -> 304 47.88/47.97 c learnt constraints deletion: 571 -> 307 47.98/48.04 c learnt constraints deletion: 546 -> 306 48.08/48.11 c learnt constraints deletion: 572 -> 310 48.08/48.18 c learnt constraints deletion: 564 -> 313 48.18/48.25 c learnt constraints deletion: 562 -> 309 48.29/48.32 c learnt constraints deletion: 553 -> 311 48.29/48.39 c learnt constraints deletion: 565 -> 312 48.39/48.47 c learnt constraints deletion: 560 -> 308 48.48/48.54 c learnt constraints deletion: 553 -> 314 48.58/48.61 c learnt constraints deletion: 590 -> 318 48.68/48.70 c learnt constraints deletion: 579 -> 328 48.68/48.77 c learnt constraints deletion: 574 -> 329 48.78/48.85 c learnt constraints deletion: 583 -> 333 48.78/48.88 c solving time = 11.740s 48.78/48.88 c #decision = 191926 48.78/48.88 c #conflict = 127762 48.78/48.88 c #restart = 53 48.78/48.88 s OPTIMUM FOUND 48.78/48.88 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 48.78/48.88 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 48.78/48.88 v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 48.78/48.88 v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 48.78/48.88 v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 48.78/48.88 v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 48.78/48.88 v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 48.78/48.88 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 48.78/48.88 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 48.78/48.88 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 48.78/48.88 v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 48.78/48.88 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 48.78/48.88 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 48.78/48.88 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 48.78/48.88 v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 48.78/48.88 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 48.78/48.88 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 48.78/48.88 c total time = 48.879s
OK 2
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-3712044-1338185157/watcher-3712044-1338185157 -o /tmp/evaluation-result-3712044-1338185157/solver-3712044-1338185157 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712044-1338185157.wbo running on 4 cores: 1,3,5,7 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: 1.93 1.97 1.99 3/176 10307 /proc/meminfo: memFree=31371264/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 284640059 6356992 730 33554432000 4194304 8973514 140736694328544 140734019091416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 1552 730 422 1167 0 333 0 [startup+0.0325249 s] /proc/loadavg: 1.93 1.97 1.99 3/176 10307 /proc/meminfo: memFree=31371264/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=7232 CPUtime=0.02 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 988 0 0 0 2 0 0 0 20 0 1 0 284640059 7405568 908 33554432000 4194304 8973514 140736694328544 140734019091416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 1808 908 451 1167 0 589 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7232 [startup+0.100256 s] /proc/loadavg: 1.93 1.97 1.99 3/176 10307 /proc/meminfo: memFree=31371264/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=7232 CPUtime=0.09 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1126 0 0 0 9 0 0 0 20 0 1 0 284640059 7405568 1046 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 1808 1046 465 1167 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7232 [startup+0.300222 s] /proc/loadavg: 1.93 1.97 1.99 3/176 10307 /proc/meminfo: memFree=31371264/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=8256 CPUtime=0.29 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1139 0 0 0 29 0 0 0 20 0 1 0 284640059 8454144 1059 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2064 1059 465 1167 0 845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8256 [startup+0.700226 s] /proc/loadavg: 1.93 1.97 1.99 3/176 10307 /proc/meminfo: memFree=31371264/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=8256 CPUtime=0.69 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1170 0 0 0 69 0 0 0 20 0 1 0 284640059 8454144 1090 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2064 1090 465 1167 0 845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8256 [startup+1.50022 s] /proc/loadavg: 1.93 1.97 1.99 3/177 10308 /proc/meminfo: memFree=31368024/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=8256 CPUtime=1.49 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1382 0 0 0 148 1 0 0 20 0 1 0 284640059 8454144 1302 33554432000 4194304 8973514 140736694328544 140736694327808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2064 1302 465 1167 0 845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8256 [startup+3.10022 s] /proc/loadavg: 1.93 1.97 1.99 3/177 10308 /proc/meminfo: memFree=31367404/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=8256 CPUtime=3.09 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1382 0 0 0 307 2 0 0 20 0 1 0 284640059 8454144 1302 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2064 1302 465 1167 0 845 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8256 [startup+6.30023 s] /proc/loadavg: 1.93 1.97 1.99 3/177 10308 /proc/meminfo: memFree=31367172/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=8256 CPUtime=6.28 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1382 0 0 0 625 3 0 0 20 0 1 0 284640059 8454144 1302 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2064 1302 465 1167 0 845 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8256 [startup+12.7002 s] /proc/loadavg: 1.94 1.97 1.99 3/177 10308 /proc/meminfo: memFree=31365816/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=12.68 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1639 0 0 0 1261 7 0 0 20 0 1 0 284640059 9502720 1559 33554432000 4194304 8973514 140736694328544 140736694328040 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1559 465 1167 0 1101 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9280 [startup+25.5002 s] /proc/loadavg: 1.95 1.97 1.99 3/177 10308 /proc/meminfo: memFree=31366320/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=25.49 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1639 0 0 0 2534 15 0 0 20 0 1 0 284640059 9502720 1559 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1559 465 1167 0 1101 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9280 Solver just ended. Dumping a history of the last processes samples [startup+38.3002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31367244/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=38.28 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 3806 22 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 9280 [startup+44.7002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31366392/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=44.68 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 4442 26 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 9280 [startup+46.3002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31366392/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=46.28 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 4601 27 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 46.28 Current children cumulated vsize (KiB) 9280 [startup+47.9002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31366640/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=47.88 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 4760 28 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694328040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 9280 [startup+48.3002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31366640/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=48.29 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 4801 28 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694327808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 48.29 Current children cumulated vsize (KiB) 9280 [startup+48.7002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31366640/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=48.68 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 4840 28 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694327808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 48.68 Current children cumulated vsize (KiB) 9280 [startup+48.8002 s] /proc/loadavg: 1.96 1.97 1.99 3/177 10346 /proc/meminfo: memFree=31366640/32873844 swapFree=7632/7632 [pid=10307] ppid=10305 vsize=9280 CPUtime=48.78 cores=1,3,5,7 /proc/10307/stat : 10307 (toysat) R 10305 10307 7805 0 -1 4202496 1640 0 0 0 4850 28 0 0 20 0 1 0 284640059 9502720 1560 33554432000 4194304 8973514 140736694328544 140736694327808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10307/statm: 2320 1560 465 1167 0 1101 0 Current children cumulated CPU time (s) 48.78 Current children cumulated vsize (KiB) 9280 Child status: 0 Real time (s): 48.8892 CPU time (s): 48.8806 CPU user time (s): 48.5896 CPU system time (s): 0.290955 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 9280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 48.5896 system time used= 0.290955 maximum resident set size= 6256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1644 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= 3 involuntary context switches= 51 runsolver used 0.06499 second user time and 0.215967 second system time The end
Begin job on node141 at 2012-05-28 08:05:57 IDJOB=3712044 IDBENCH=78832 IDSOLVER=2291 FILE ID=node141/3712044-1338185157 RUNJOBID= node141-1338174290-9575 PBS_JOBID= 14624547 Free space on /tmp= 71536 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712044-1338185157/watcher-3712044-1338185157 -o /tmp/evaluation-result-3712044-1338185157/solver-3712044-1338185157 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712044-1338185157.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 43af695f5d89afd81852305c494200d4 RANDOM SEED=722955383 node141.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.744 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.48 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.744 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 : 5331.91 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.744 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 : 5331.93 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.744 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 : 5331.92 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.744 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 : 5331.92 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.744 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 : 5331.91 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.744 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 : 5331.92 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.744 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31371636 kB Buffers: 276452 kB Cached: 371732 kB SwapCached: 220 kB Active: 207772 kB Inactive: 457052 kB Active(anon): 6792 kB Inactive(anon): 11292 kB Active(file): 200980 kB Inactive(file): 445760 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108636 kB Dirty: 14368 kB Writeback: 0 kB AnonPages: 25064 kB Mapped: 12408 kB Shmem: 172 kB Slab: 697588 kB SReclaimable: 139632 kB SUnreclaim: 557956 kB KernelStack: 1472 kB PageTables: 3640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 130244 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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= 71528 MiB End job on node141 at 2012-05-28 08:06:46