Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | OPTIMUM | 73.3818 | 73.3952 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo |
MD5SUM | 477adc333907175569d22a28ba04c3fe |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.805877 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1192 |
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-28T08:05:59+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-3712055-1338185159.wbo"] 0.00/0.00 c #vars 169 0.00/0.00 c #constraints 101 0.00/0.00 c Solving starts ... 0.04/0.06 c solving time = 0.053s 0.04/0.06 c #decision = 373 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 1050 0.04/0.06 c Solving starts ... 0.04/0.06 c learnt constraints deletion: 132 -> 66 0.04/0.06 c solving time = 0.001s 0.04/0.06 c #decision = 430 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 981 0.04/0.06 c Solving starts ... 0.04/0.06 c solving time = 0.000s 0.04/0.06 c #decision = 482 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 901 0.04/0.06 c Solving starts ... 0.04/0.06 c solving time = 0.000s 0.04/0.06 c #decision = 507 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 897 0.04/0.06 c Solving starts ... 0.04/0.06 c solving time = 0.001s 0.04/0.06 c #decision = 550 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 843 0.04/0.06 c Solving starts ... 0.04/0.06 c solving time = 0.001s 0.04/0.06 c #decision = 571 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 837 0.04/0.06 c Solving starts ... 0.04/0.06 c solving time = 0.001s 0.04/0.06 c #decision = 615 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 781 0.04/0.06 c Solving starts ... 0.04/0.06 c solving time = 0.001s 0.04/0.06 c #decision = 638 0.04/0.06 c #conflict = 133 0.04/0.06 c #restart = 1 0.04/0.06 o 766 0.04/0.06 c Solving starts ... 0.04/0.07 c solving time = 0.004s 0.04/0.07 c #decision = 681 0.04/0.07 c #conflict = 134 0.04/0.07 c #restart = 1 0.04/0.07 o 720 0.04/0.07 c Solving starts ... 0.04/0.07 c solving time = 0.001s 0.04/0.07 c #decision = 727 0.04/0.07 c #conflict = 134 0.04/0.07 c #restart = 1 0.04/0.07 o 660 0.04/0.07 c Solving starts ... 0.04/0.07 c solving time = 0.004s 0.04/0.07 c #decision = 752 0.04/0.07 c #conflict = 135 0.04/0.07 c #restart = 1 0.04/0.07 o 643 0.04/0.07 c Solving starts ... 0.04/0.08 c solving time = 0.005s 0.04/0.08 c #decision = 783 0.04/0.08 c #conflict = 137 0.04/0.08 c #restart = 1 0.04/0.08 o 616 0.04/0.08 c Solving starts ... 0.04/0.08 c solving time = 0.005s 0.04/0.08 c #decision = 796 0.04/0.08 c #conflict = 138 0.04/0.08 c #restart = 1 0.04/0.08 o 613 0.04/0.08 c Solving starts ... 0.04/0.08 c solving time = 0.001s 0.04/0.08 c #decision = 833 0.04/0.08 c #conflict = 138 0.04/0.08 c #restart = 1 0.04/0.08 o 557 0.04/0.08 c Solving starts ... 0.09/0.10 c solving time = 0.016s 0.09/0.10 c #decision = 878 0.09/0.10 c #conflict = 147 0.09/0.10 c #restart = 1 0.09/0.10 o 526 0.09/0.10 c Solving starts ... 0.09/0.10 c solving time = 0.001s 0.09/0.10 c #decision = 890 0.09/0.10 c #conflict = 147 0.09/0.10 c #restart = 1 0.09/0.10 o 525 0.09/0.10 c Solving starts ... 0.09/0.10 c solving time = 0.001s 0.09/0.10 c #decision = 913 0.09/0.10 c #conflict = 147 0.09/0.10 c #restart = 1 0.09/0.10 o 507 0.09/0.10 c Solving starts ... 0.09/0.14 c solving time = 0.036s 0.09/0.14 c #decision = 1014 0.09/0.14 c #conflict = 195 0.09/0.14 c #restart = 1 0.09/0.14 o 502 0.09/0.14 c Solving starts ... 0.09/0.14 c learnt constraints deletion: 128 -> 64 0.09/0.14 c solving time = 0.001s 0.09/0.14 c #decision = 1029 0.09/0.14 c #conflict = 195 0.09/0.14 c #restart = 1 0.09/0.14 o 501 0.09/0.14 c Solving starts ... 0.09/0.14 c solving time = 0.001s 0.09/0.14 c #decision = 1047 0.09/0.14 c #conflict = 195 0.09/0.14 c #restart = 1 0.09/0.14 o 494 0.09/0.14 c Solving starts ... 0.09/0.14 c solving time = 0.001s 0.09/0.14 c #decision = 1080 0.09/0.14 c #conflict = 195 0.09/0.14 c #restart = 1 0.09/0.14 o 458 0.09/0.14 c Solving starts ... 0.09/0.15 c solving time = 0.005s 0.09/0.15 c #decision = 1095 0.09/0.15 c #conflict = 197 0.09/0.15 c #restart = 1 0.09/0.15 o 455 0.09/0.15 c Solving starts ... 0.09/0.16 c solving time = 0.013s 0.09/0.16 c #decision = 1121 0.09/0.16 c #conflict = 203 0.09/0.16 c #restart = 1 0.09/0.16 o 446 0.09/0.16 c Solving starts ... 0.09/0.16 c solving time = 0.001s 0.09/0.16 c #decision = 1164 0.09/0.16 c #conflict = 203 0.09/0.16 c #restart = 1 0.09/0.16 o 380 0.09/0.16 c Solving starts ... 0.09/0.18 c solving time = 0.020s 0.09/0.18 c #decision = 1229 0.09/0.18 c #conflict = 221 0.09/0.18 c #restart = 1 0.09/0.18 o 347 0.09/0.18 c Solving starts ... 0.09/0.18 c solving time = 0.002s 0.09/0.18 c #decision = 1245 0.09/0.18 c #conflict = 221 0.09/0.18 c #restart = 1 0.09/0.18 o 346 0.09/0.18 c Solving starts ... 0.19/0.26 c learnt constraints deletion: 189 -> 95 0.29/0.31 c learnt constraints deletion: 199 -> 101 0.29/0.35 c learnt constraints deletion: 146 -> 73 0.39/0.42 c learnt constraints deletion: 216 -> 110 0.39/0.46 c learnt constraints deletion: 191 -> 96 0.49/0.55 c learnt constraints deletion: 225 -> 116 0.59/0.62 c learnt constraints deletion: 238 -> 125 0.59/0.67 c learnt constraints deletion: 211 -> 106 0.69/0.76 c learnt constraints deletion: 231 -> 117 0.79/0.86 c learnt constraints deletion: 258 -> 131 0.89/0.95 c learnt constraints deletion: 248 -> 127 0.99/1.00 c learnt constraints deletion: 250 -> 125 0.99/1.10 c solving time = 0.915s 0.99/1.10 c #decision = 3987 0.99/1.10 c #conflict = 1685 0.99/1.10 c #restart = 6 0.99/1.10 o 343 0.99/1.10 c Solving starts ... 0.99/1.10 c learnt constraints deletion: 269 -> 135 0.99/1.10 c learnt constraints deletion: 135 -> 68 0.99/1.10 c solving time = 0.001s 0.99/1.10 c #decision = 4004 0.99/1.10 c #conflict = 1685 0.99/1.10 c #restart = 6 0.99/1.10 o 342 0.99/1.10 c Solving starts ... 0.99/1.10 c solving time = 0.001s 0.99/1.10 c #decision = 4024 0.99/1.10 c #conflict = 1685 0.99/1.10 c #restart = 6 0.99/1.10 o 335 0.99/1.10 c Solving starts ... 1.09/1.10 c solving time = 0.001s 1.09/1.10 c #decision = 4043 1.09/1.10 c #conflict = 1685 1.09/1.10 c #restart = 6 1.09/1.10 o 328 1.09/1.10 c Solving starts ... 1.09/1.11 c solving time = 0.004s 1.09/1.11 c #decision = 4060 1.09/1.11 c #conflict = 1686 1.09/1.11 c #restart = 6 1.09/1.11 o 325 1.09/1.11 c Solving starts ... 1.09/1.14 c solving time = 0.032s 1.09/1.14 c #decision = 4139 1.09/1.14 c #conflict = 1710 1.09/1.14 c #restart = 6 1.09/1.14 o 290 1.09/1.14 c Solving starts ... 1.09/1.14 c solving time = 0.002s 1.09/1.14 c #decision = 4155 1.09/1.14 c #conflict = 1710 1.09/1.14 c #restart = 6 1.09/1.14 o 286 1.09/1.14 c Solving starts ... 1.18/1.21 c learnt constraints deletion: 192 -> 96 1.18/1.29 c learnt constraints deletion: 229 -> 116 1.28/1.35 c learnt constraints deletion: 212 -> 108 1.39/1.42 c learnt constraints deletion: 222 -> 117 1.39/1.48 c learnt constraints deletion: 239 -> 123 1.49/1.55 c learnt constraints deletion: 247 -> 129 1.59/1.65 c learnt constraints deletion: 246 -> 127 1.69/1.72 c learnt constraints deletion: 279 -> 146 1.89/1.91 c learnt constraints deletion: 260 -> 137 1.89/1.91 c learnt constraints deletion: 234 -> 119 1.89/1.96 c learnt constraints deletion: 253 -> 134 1.99/2.05 c learnt constraints deletion: 281 -> 146 2.09/2.14 c learnt constraints deletion: 279 -> 148 2.19/2.20 c learnt constraints deletion: 271 -> 142 2.19/2.28 c learnt constraints deletion: 261 -> 139 2.29/2.37 c learnt constraints deletion: 285 -> 149 2.39/2.44 c learnt constraints deletion: 254 -> 127 2.49/2.54 c learnt constraints deletion: 295 -> 150 2.59/2.60 c learnt constraints deletion: 278 -> 145 2.59/2.68 c learnt constraints deletion: 287 -> 145 2.69/2.75 c learnt constraints deletion: 266 -> 135 2.79/2.83 c learnt constraints deletion: 280 -> 143 2.88/2.91 c learnt constraints deletion: 299 -> 154 2.88/2.99 c learnt constraints deletion: 310 -> 162 2.98/3.06 c learnt constraints deletion: 287 -> 144 3.09/3.15 c learnt constraints deletion: 320 -> 166 3.20/3.24 c learnt constraints deletion: 324 -> 166 3.30/3.30 c learnt constraints deletion: 307 -> 163 3.30/3.38 c learnt constraints deletion: 313 -> 160 3.39/3.46 c learnt constraints deletion: 310 -> 163 3.49/3.54 c learnt constraints deletion: 301 -> 156 3.59/3.64 c learnt constraints deletion: 316 -> 162 3.69/3.74 c learnt constraints deletion: 332 -> 167 3.79/3.84 c learnt constraints deletion: 324 -> 164 3.88/3.94 c learnt constraints deletion: 303 -> 156 3.98/4.01 c learnt constraints deletion: 279 -> 147 3.98/4.08 c solving time = 2.942s 3.98/4.08 c #decision = 12761 3.98/4.08 c #conflict = 6678 3.98/4.08 c #restart = 14 3.98/4.08 o 282 3.98/4.08 c Solving starts ... 3.98/4.08 c learnt constraints deletion: 229 -> 115 3.98/4.09 c solving time = 0.002s 3.98/4.09 c #decision = 12789 3.98/4.09 c #conflict = 6678 3.98/4.09 c #restart = 14 3.98/4.09 o 275 3.98/4.09 c Solving starts ... 3.98/4.09 c solving time = 0.002s 3.98/4.09 c #decision = 12820 3.98/4.09 c #conflict = 6678 3.98/4.09 c #restart = 14 3.98/4.09 o 260 3.98/4.09 c Solving starts ... 3.98/4.09 c solving time = 0.007s 3.98/4.09 c #decision = 12849 3.98/4.09 c #conflict = 6680 3.98/4.09 c #restart = 14 3.98/4.09 o 252 3.98/4.09 c Solving starts ... 4.08/4.10 c solving time = 0.001s 4.08/4.10 c #decision = 12879 4.08/4.10 c #conflict = 6680 4.08/4.10 c #restart = 14 4.08/4.10 o 232 4.08/4.10 c Solving starts ... 4.08/4.19 c learnt constraints deletion: 209 -> 109 4.18/4.27 c solving time = 0.177s 4.18/4.27 c #decision = 13225 4.18/4.27 c #conflict = 6859 4.18/4.27 c #restart = 15 4.18/4.27 o 220 4.18/4.27 c Solving starts ... 4.18/4.27 c learnt constraints deletion: 195 -> 98 4.18/4.27 c solving time = 0.002s 4.18/4.27 c #decision = 13239 4.18/4.27 c #conflict = 6859 4.18/4.27 c #restart = 15 4.18/4.27 o 213 4.18/4.28 c Solving starts ... 4.18/4.28 c solving time = 0.001s 4.18/4.28 c #decision = 13266 4.18/4.28 c #conflict = 6859 4.18/4.28 c #restart = 15 4.18/4.28 o 183 4.18/4.28 c Solving starts ... 4.29/4.36 c learnt constraints deletion: 181 -> 95 4.39/4.44 c learnt constraints deletion: 191 -> 106 4.48/4.50 c learnt constraints deletion: 175 -> 88 4.58/4.64 c learnt constraints deletion: 235 -> 119 4.68/4.71 c learnt constraints deletion: 187 -> 95 4.78/4.81 c learnt constraints deletion: 220 -> 115 4.89/4.93 c learnt constraints deletion: 234 -> 121 4.99/5.00 c learnt constraints deletion: 207 -> 109 5.09/5.10 c learnt constraints deletion: 241 -> 130 5.09/5.19 c learnt constraints deletion: 223 -> 114 5.29/5.30 c learnt constraints deletion: 265 -> 136 5.40/5.40 c learnt constraints deletion: 253 -> 134 5.50/5.52 c learnt constraints deletion: 275 -> 146 5.59/5.62 c learnt constraints deletion: 253 -> 131 5.69/5.73 c learnt constraints deletion: 268 -> 139 5.79/5.83 c learnt constraints deletion: 281 -> 148 5.89/5.92 c learnt constraints deletion: 264 -> 141 5.89/5.98 c learnt constraints deletion: 238 -> 126 6.08/6.10 c learnt constraints deletion: 271 -> 141 6.18/6.20 c learnt constraints deletion: 253 -> 130 6.29/6.31 c learnt constraints deletion: 294 -> 151 6.29/6.39 c learnt constraints deletion: 288 -> 149 6.39/6.49 c learnt constraints deletion: 288 -> 153 6.60/6.61 c learnt constraints deletion: 306 -> 161 6.69/6.72 c learnt constraints deletion: 281 -> 151 6.79/6.85 c learnt constraints deletion: 327 -> 168 6.89/6.94 c learnt constraints deletion: 287 -> 150 6.99/7.04 c learnt constraints deletion: 298 -> 157 7.18/7.20 c learnt constraints deletion: 318 -> 165 7.29/7.31 c learnt constraints deletion: 313 -> 164 7.39/7.41 c learnt constraints deletion: 296 -> 161 7.49/7.50 c learnt constraints deletion: 305 -> 162 7.59/7.62 c learnt constraints deletion: 291 -> 154 7.69/7.73 c learnt constraints deletion: 293 -> 154 7.79/7.86 c learnt constraints deletion: 286 -> 154 7.88/7.97 c learnt constraints deletion: 291 -> 154 7.98/8.02 c solving time = 3.739s 7.98/8.02 c #decision = 21804 7.98/8.02 c #conflict = 11468 7.98/8.02 c #restart = 22 7.98/8.02 o 152 7.98/8.02 c Solving starts ... 7.98/8.02 c learnt constraints deletion: 195 -> 98 7.98/8.03 c solving time = 0.018s 7.98/8.03 c #decision = 21841 7.98/8.03 c #conflict = 11480 7.98/8.03 c #restart = 22 7.98/8.03 o 141 7.98/8.03 c Solving starts ... 7.98/8.04 c solving time = 0.001s 7.98/8.04 c #decision = 21851 7.98/8.04 c #conflict = 11480 7.98/8.04 c #restart = 22 7.98/8.04 o 137 7.98/8.04 c Solving starts ... 7.98/8.06 c solving time = 0.028s 7.98/8.06 c #decision = 21905 7.98/8.06 c #conflict = 11504 7.98/8.06 c #restart = 22 7.98/8.06 o 132 7.98/8.06 c Solving starts ... 7.98/8.06 c learnt constraints deletion: 134 -> 67 7.98/8.07 c solving time = 0.002s 7.98/8.07 c #decision = 21928 7.98/8.07 c #conflict = 11504 7.98/8.07 c #restart = 22 7.98/8.07 o 119 7.98/8.07 c Solving starts ... 8.09/8.14 c learnt constraints deletion: 148 -> 76 8.19/8.21 c learnt constraints deletion: 168 -> 90 8.19/8.25 c learnt constraints deletion: 164 -> 84 8.29/8.32 c learnt constraints deletion: 180 -> 97 8.29/8.36 c learnt constraints deletion: 158 -> 81 8.39/8.46 c learnt constraints deletion: 185 -> 96 8.49/8.56 c learnt constraints deletion: 256 -> 132 8.59/8.65 c learnt constraints deletion: 248 -> 129 8.69/8.72 c learnt constraints deletion: 228 -> 120 8.79/8.83 c learnt constraints deletion: 260 -> 141 8.89/8.90 c learnt constraints deletion: 236 -> 128 8.99/9.01 c learnt constraints deletion: 254 -> 138 8.99/9.06 c learnt constraints deletion: 209 -> 105 9.09/9.15 c learnt constraints deletion: 252 -> 128 9.19/9.24 c learnt constraints deletion: 264 -> 139 9.29/9.34 c learnt constraints deletion: 243 -> 123 9.38/9.42 c learnt constraints deletion: 246 -> 129 9.48/9.52 c learnt constraints deletion: 264 -> 136 9.48/9.59 c learnt constraints deletion: 251 -> 126 9.69/9.72 c learnt constraints deletion: 294 -> 152 9.80/9.80 c learnt constraints deletion: 263 -> 141 9.90/9.91 c learnt constraints deletion: 288 -> 151 9.90/9.98 c learnt constraints deletion: 255 -> 131 9.99/10.08 c learnt constraints deletion: 288 -> 151 10.09/10.19 c learnt constraints deletion: 282 -> 145 10.19/10.29 c learnt constraints deletion: 307 -> 161 10.29/10.38 c learnt constraints deletion: 283 -> 146 10.49/10.50 c learnt constraints deletion: 315 -> 163 10.59/10.61 c learnt constraints deletion: 326 -> 171 10.69/10.72 c learnt constraints deletion: 320 -> 167 10.79/10.80 c learnt constraints deletion: 297 -> 160 10.89/10.91 c learnt constraints deletion: 319 -> 168 10.89/10.99 c learnt constraints deletion: 279 -> 150 10.99/11.08 c learnt constraints deletion: 284 -> 153 11.08/11.18 c learnt constraints deletion: 321 -> 169 11.28/11.30 c learnt constraints deletion: 361 -> 185 11.28/11.38 c learnt constraints deletion: 347 -> 181 11.38/11.46 c learnt constraints deletion: 331 -> 170 11.49/11.56 c learnt constraints deletion: 382 -> 195 11.59/11.66 c learnt constraints deletion: 380 -> 198 11.69/11.75 c learnt constraints deletion: 393 -> 201 11.79/11.81 c learnt constraints deletion: 308 -> 155 11.89/11.91 c learnt constraints deletion: 337 -> 172 12.00/12.02 c learnt constraints deletion: 341 -> 175 12.10/12.11 c learnt constraints deletion: 336 -> 176 12.10/12.18 c solving time = 4.114s 12.10/12.18 c #decision = 33224 12.10/12.18 c #conflict = 17693 12.10/12.18 c #restart = 30 12.10/12.18 o 97 12.10/12.18 c Solving starts ... 12.10/12.18 c learnt constraints deletion: 282 -> 141 12.19/12.21 c learnt constraints deletion: 197 -> 101 12.19/12.24 c learnt constraints deletion: 144 -> 72 12.29/12.32 c learnt constraints deletion: 221 -> 111 12.39/12.40 c learnt constraints deletion: 230 -> 117 12.39/12.46 c learnt constraints deletion: 215 -> 111 12.49/12.54 c learnt constraints deletion: 249 -> 127 12.59/12.60 c learnt constraints deletion: 232 -> 123 12.59/12.66 c learnt constraints deletion: 224 -> 112 12.69/12.74 c learnt constraints deletion: 252 -> 129 12.79/12.81 c learnt constraints deletion: 251 -> 131 12.79/12.89 c learnt constraints deletion: 267 -> 139 12.89/12.96 c learnt constraints deletion: 247 -> 124 12.99/13.06 c learnt constraints deletion: 284 -> 147 13.09/13.13 c learnt constraints deletion: 270 -> 136 13.19/13.22 c learnt constraints deletion: 266 -> 137 13.28/13.32 c learnt constraints deletion: 281 -> 145 13.28/13.40 c learnt constraints deletion: 285 -> 148 13.39/13.49 c learnt constraints deletion: 289 -> 151 13.49/13.58 c learnt constraints deletion: 307 -> 163 13.59/13.67 c learnt constraints deletion: 310 -> 163 13.69/13.75 c learnt constraints deletion: 286 -> 144 13.79/13.85 c learnt constraints deletion: 323 -> 170 13.89/13.93 c learnt constraints deletion: 282 -> 146 13.98/14.02 c learnt constraints deletion: 311 -> 164 14.08/14.10 c learnt constraints deletion: 296 -> 158 14.08/14.19 c learnt constraints deletion: 292 -> 153 14.19/14.30 c learnt constraints deletion: 325 -> 177 14.29/14.38 c learnt constraints deletion: 316 -> 167 14.38/14.46 c learnt constraints deletion: 297 -> 151 14.48/14.57 c learnt constraints deletion: 340 -> 177 14.58/14.67 c learnt constraints deletion: 334 -> 175 14.68/14.76 c learnt constraints deletion: 358 -> 188 14.78/14.83 c learnt constraints deletion: 318 -> 165 14.88/14.94 c learnt constraints deletion: 344 -> 179 14.99/15.01 c learnt constraints deletion: 288 -> 147 15.09/15.13 c learnt constraints deletion: 326 -> 168 15.19/15.23 c learnt constraints deletion: 343 -> 178 15.30/15.32 c learnt constraints deletion: 331 -> 176 15.39/15.42 c learnt constraints deletion: 335 -> 175 15.49/15.51 c learnt constraints deletion: 335 -> 179 15.49/15.58 c learnt constraints deletion: 340 -> 184 15.59/15.68 c learnt constraints deletion: 339 -> 184 15.68/15.76 c learnt constraints deletion: 314 -> 165 15.78/15.85 c learnt constraints deletion: 336 -> 180 15.88/15.95 c learnt constraints deletion: 359 -> 191 15.98/16.03 c learnt constraints deletion: 325 -> 174 16.08/16.14 c learnt constraints deletion: 364 -> 195 16.19/16.24 c learnt constraints deletion: 346 -> 189 16.29/16.33 c learnt constraints deletion: 329 -> 182 16.39/16.43 c learnt constraints deletion: 334 -> 181 16.49/16.55 c learnt constraints deletion: 368 -> 194 16.59/16.65 c learnt constraints deletion: 363 -> 200 16.69/16.76 c learnt constraints deletion: 371 -> 205 16.88/16.90 c learnt constraints deletion: 372 -> 187 16.98/17.03 c learnt constraints deletion: 377 -> 192 17.08/17.14 c learnt constraints deletion: 388 -> 201 17.18/17.24 c learnt constraints deletion: 368 -> 186 17.28/17.36 c learnt constraints deletion: 357 -> 181 17.39/17.47 c learnt constraints deletion: 355 -> 183 17.60/17.60 c learnt constraints deletion: 354 -> 181 17.69/17.75 c learnt constraints deletion: 392 -> 206 17.78/17.86 c learnt constraints deletion: 370 -> 195 17.88/17.97 c learnt constraints deletion: 372 -> 190 17.98/18.08 c learnt constraints deletion: 344 -> 175 18.18/18.21 c learnt constraints deletion: 385 -> 202 18.28/18.31 c learnt constraints deletion: 362 -> 189 18.38/18.44 c learnt constraints deletion: 404 -> 217 18.48/18.56 c learnt constraints deletion: 404 -> 207 18.59/18.66 c learnt constraints deletion: 361 -> 191 18.70/18.77 c learnt constraints deletion: 356 -> 186 18.79/18.89 c learnt constraints deletion: 378 -> 196 18.99/19.03 c learnt constraints deletion: 384 -> 201 19.09/19.12 c learnt constraints deletion: 355 -> 191 19.19/19.23 c learnt constraints deletion: 370 -> 185 19.28/19.38 c learnt constraints deletion: 422 -> 216 19.38/19.49 c learnt constraints deletion: 399 -> 206 19.58/19.60 c learnt constraints deletion: 392 -> 201 19.70/19.73 c learnt constraints deletion: 400 -> 209 19.79/19.86 c learnt constraints deletion: 412 -> 213 19.89/19.98 c learnt constraints deletion: 399 -> 203 20.09/20.11 c learnt constraints deletion: 407 -> 211 20.19/20.23 c learnt constraints deletion: 424 -> 221 20.29/20.36 c learnt constraints deletion: 463 -> 239 20.39/20.46 c learnt constraints deletion: 407 -> 213 20.49/20.58 c learnt constraints deletion: 408 -> 217 20.68/20.71 c learnt constraints deletion: 418 -> 220 20.79/20.82 c learnt constraints deletion: 386 -> 197 20.89/20.93 c learnt constraints deletion: 361 -> 185 20.98/21.07 c learnt constraints deletion: 395 -> 201 21.18/21.24 c learnt constraints deletion: 421 -> 217 21.28/21.34 c learnt constraints deletion: 391 -> 207 21.38/21.44 c learnt constraints deletion: 387 -> 207 21.48/21.56 c learnt constraints deletion: 400 -> 204 21.59/21.69 c learnt constraints deletion: 407 -> 219 21.79/21.81 c learnt constraints deletion: 388 -> 204 21.89/21.96 c learnt constraints deletion: 415 -> 216 21.99/22.05 c learnt constraints deletion: 365 -> 188 22.08/22.19 c learnt constraints deletion: 406 -> 209 22.28/22.31 c learnt constraints deletion: 413 -> 219 22.38/22.44 c learnt constraints deletion: 436 -> 227 22.49/22.55 c learnt constraints deletion: 391 -> 205 22.59/22.69 c learnt constraints deletion: 412 -> 216 22.79/22.81 c learnt constraints deletion: 387 -> 206 22.89/22.95 c learnt constraints deletion: 410 -> 215 22.99/23.09 c learnt constraints deletion: 452 -> 235 23.09/23.19 c learnt constraints deletion: 431 -> 226 23.29/23.31 c learnt constraints deletion: 410 -> 219 23.38/23.44 c learnt constraints deletion: 442 -> 237 23.59/23.60 c learnt constraints deletion: 479 -> 242 23.69/23.73 c learnt constraints deletion: 438 -> 223 23.79/23.86 c learnt constraints deletion: 439 -> 226 23.99/24.00 c learnt constraints deletion: 440 -> 227 24.09/24.11 c learnt constraints deletion: 429 -> 227 24.19/24.22 c learnt constraints deletion: 417 -> 218 24.29/24.36 c learnt constraints deletion: 446 -> 230 24.39/24.49 c learnt constraints deletion: 458 -> 235 24.59/24.61 c learnt constraints deletion: 429 -> 224 24.69/24.74 c learnt constraints deletion: 450 -> 241 24.88/24.90 c learnt constraints deletion: 441 -> 235 24.98/25.04 c learnt constraints deletion: 448 -> 234 25.08/25.17 c learnt constraints deletion: 427 -> 222 25.19/25.29 c learnt constraints deletion: 416 -> 219 25.38/25.42 c learnt constraints deletion: 420 -> 223 25.48/25.56 c learnt constraints deletion: 445 -> 242 25.58/25.68 c learnt constraints deletion: 435 -> 234 25.78/25.81 c learnt constraints deletion: 451 -> 244 25.88/25.92 c learnt constraints deletion: 442 -> 231 25.99/26.04 c learnt constraints deletion: 442 -> 228 26.09/26.18 c learnt constraints deletion: 462 -> 242 26.19/26.28 c learnt constraints deletion: 407 -> 209 26.39/26.42 c learnt constraints deletion: 421 -> 219 26.49/26.52 c learnt constraints deletion: 406 -> 215 26.59/26.69 c learnt constraints deletion: 498 -> 256 26.68/26.79 c learnt constraints deletion: 409 -> 214 26.88/26.92 c learnt constraints deletion: 421 -> 220 26.98/27.04 c learnt constraints deletion: 403 -> 208 27.08/27.16 c learnt constraints deletion: 398 -> 209 27.18/27.28 c learnt constraints deletion: 388 -> 202 27.39/27.43 c learnt constraints deletion: 435 -> 227 27.49/27.58 c learnt constraints deletion: 458 -> 243 27.59/27.69 c learnt constraints deletion: 431 -> 232 27.79/27.85 c learnt constraints deletion: 472 -> 256 27.89/27.97 c learnt constraints deletion: 472 -> 250 28.08/28.12 c learnt constraints deletion: 505 -> 268 28.18/28.28 c learnt constraints deletion: 503 -> 264 28.38/28.40 c learnt constraints deletion: 482 -> 247 28.49/28.54 c learnt constraints deletion: 497 -> 254 28.49/28.55 c solving time = 16.370s 28.49/28.55 c #decision = 81525 28.49/28.55 c #conflict = 43996 28.49/28.55 c #restart = 42 28.49/28.55 o 76 28.49/28.55 c Solving starts ... 28.49/28.55 c learnt constraints deletion: 276 -> 138 28.49/28.56 c solving time = 0.002s 28.49/28.56 c #decision = 81540 28.49/28.56 c #conflict = 43996 28.49/28.56 c #restart = 42 28.49/28.56 o 75 28.49/28.56 c Solving starts ... 28.59/28.61 c learnt constraints deletion: 237 -> 119 28.59/28.69 c learnt constraints deletion: 243 -> 128 28.69/28.76 c learnt constraints deletion: 268 -> 137 28.79/28.83 c learnt constraints deletion: 246 -> 123 28.79/28.89 c learnt constraints deletion: 241 -> 122 28.89/28.98 c learnt constraints deletion: 269 -> 139 28.99/29.02 c learnt constraints deletion: 211 -> 106 29.09/29.13 c learnt constraints deletion: 306 -> 159 29.18/29.20 c learnt constraints deletion: 291 -> 155 29.18/29.27 c learnt constraints deletion: 283 -> 144 29.28/29.34 c learnt constraints deletion: 280 -> 142 29.38/29.42 c learnt constraints deletion: 287 -> 148 29.38/29.48 c learnt constraints deletion: 271 -> 143 29.48/29.56 c learnt constraints deletion: 309 -> 156 29.59/29.65 c learnt constraints deletion: 312 -> 162 29.69/29.72 c learnt constraints deletion: 279 -> 142 29.78/29.82 c learnt constraints deletion: 294 -> 152 29.78/29.88 c learnt constraints deletion: 277 -> 144 29.89/29.97 c learnt constraints deletion: 311 -> 159 29.99/30.07 c learnt constraints deletion: 314 -> 170 30.09/30.15 c learnt constraints deletion: 296 -> 153 30.19/30.25 c learnt constraints deletion: 328 -> 167 30.29/30.32 c learnt constraints deletion: 275 -> 144 30.39/30.43 c learnt constraints deletion: 324 -> 165 30.49/30.52 c learnt constraints deletion: 305 -> 157 30.58/30.61 c learnt constraints deletion: 318 -> 163 30.58/30.69 c learnt constraints deletion: 284 -> 146 30.69/30.79 c learnt constraints deletion: 314 -> 164 30.79/30.86 c learnt constraints deletion: 293 -> 159 30.88/30.94 c learnt constraints deletion: 300 -> 155 30.98/31.05 c learnt constraints deletion: 355 -> 186 31.08/31.11 c learnt constraints deletion: 323 -> 168 31.19/31.21 c learnt constraints deletion: 332 -> 175 31.29/31.30 c learnt constraints deletion: 316 -> 171 31.29/31.37 c learnt constraints deletion: 297 -> 149 31.39/31.49 c learnt constraints deletion: 359 -> 181 31.59/31.62 c learnt constraints deletion: 398 -> 203 31.68/31.73 c learnt constraints deletion: 396 -> 204 31.79/31.83 c learnt constraints deletion: 396 -> 201 31.89/31.93 c learnt constraints deletion: 392 -> 201 31.98/32.03 c learnt constraints deletion: 386 -> 202 32.08/32.13 c learnt constraints deletion: 386 -> 202 32.18/32.23 c learnt constraints deletion: 373 -> 195 32.28/32.31 c learnt constraints deletion: 361 -> 191 32.38/32.40 c learnt constraints deletion: 372 -> 204 32.38/32.48 c learnt constraints deletion: 374 -> 189 32.48/32.59 c learnt constraints deletion: 360 -> 185 32.58/32.68 c learnt constraints deletion: 361 -> 189 32.69/32.79 c learnt constraints deletion: 351 -> 176 32.89/32.91 c learnt constraints deletion: 380 -> 195 32.99/33.04 c learnt constraints deletion: 386 -> 203 33.09/33.13 c learnt constraints deletion: 378 -> 199 33.19/33.24 c learnt constraints deletion: 387 -> 194 33.29/33.37 c learnt constraints deletion: 388 -> 195 33.38/33.49 c learnt constraints deletion: 420 -> 212 33.58/33.61 c learnt constraints deletion: 412 -> 212 33.68/33.70 c learnt constraints deletion: 368 -> 187 33.78/33.81 c learnt constraints deletion: 386 -> 197 33.88/33.93 c learnt constraints deletion: 391 -> 200 33.99/34.03 c learnt constraints deletion: 379 -> 197 34.09/34.13 c learnt constraints deletion: 342 -> 176 34.18/34.26 c learnt constraints deletion: 392 -> 201 34.28/34.37 c learnt constraints deletion: 394 -> 209 34.38/34.48 c learnt constraints deletion: 375 -> 198 34.58/34.60 c learnt constraints deletion: 374 -> 196 34.68/34.72 c learnt constraints deletion: 384 -> 206 34.78/34.84 c learnt constraints deletion: 399 -> 211 34.88/34.94 c learnt constraints deletion: 379 -> 201 34.98/35.05 c learnt constraints deletion: 414 -> 212 35.08/35.15 c learnt constraints deletion: 425 -> 219 35.19/35.25 c learnt constraints deletion: 399 -> 203 35.29/35.36 c learnt constraints deletion: 389 -> 197 35.39/35.47 c learnt constraints deletion: 410 -> 212 35.48/35.57 c learnt constraints deletion: 421 -> 214 35.58/35.69 c learnt constraints deletion: 460 -> 238 35.68/35.70 c solving time = 7.146s 35.68/35.70 c #decision = 104944 35.68/35.70 c #conflict = 56534 35.68/35.70 c #restart = 52 35.68/35.70 o 74 35.68/35.70 c Solving starts ... 35.68/35.70 c learnt constraints deletion: 259 -> 130 35.68/35.70 c solving time = 0.001s 35.68/35.70 c #decision = 104964 35.68/35.70 c #conflict = 56534 35.68/35.70 c #restart = 52 35.68/35.70 o 70 35.68/35.70 c Solving starts ... 35.68/35.71 c solving time = 0.001s 35.68/35.71 c #decision = 104979 35.68/35.71 c #conflict = 56534 35.68/35.71 c #restart = 52 35.68/35.71 o 69 35.68/35.71 c Solving starts ... 35.68/35.76 c learnt constraints deletion: 229 -> 115 35.78/35.81 c learnt constraints deletion: 225 -> 114 35.78/35.88 c learnt constraints deletion: 250 -> 127 35.88/35.95 c learnt constraints deletion: 254 -> 127 35.99/36.02 c learnt constraints deletion: 247 -> 127 35.99/36.09 c learnt constraints deletion: 259 -> 133 36.09/36.13 c learnt constraints deletion: 218 -> 109 36.19/36.22 c learnt constraints deletion: 288 -> 148 36.19/36.29 c learnt constraints deletion: 281 -> 144 36.29/36.34 c learnt constraints deletion: 237 -> 120 36.29/36.39 c learnt constraints deletion: 221 -> 111 36.39/36.48 c learnt constraints deletion: 282 -> 145 36.49/36.55 c learnt constraints deletion: 294 -> 152 36.58/36.62 c learnt constraints deletion: 292 -> 153 36.58/36.69 c learnt constraints deletion: 307 -> 166 36.68/36.74 c learnt constraints deletion: 263 -> 141 36.78/36.83 c learnt constraints deletion: 312 -> 163 36.88/36.91 c learnt constraints deletion: 309 -> 160 36.98/37.01 c learnt constraints deletion: 319 -> 166 36.98/37.08 c learnt constraints deletion: 295 -> 154 37.18/37.20 c learnt constraints deletion: 334 -> 179 37.18/37.28 c learnt constraints deletion: 312 -> 161 37.38/37.41 c learnt constraints deletion: 378 -> 195 37.38/37.48 c learnt constraints deletion: 308 -> 155 37.49/37.56 c learnt constraints deletion: 312 -> 164 37.59/37.64 c learnt constraints deletion: 302 -> 154 37.69/37.76 c learnt constraints deletion: 343 -> 181 37.78/37.85 c learnt constraints deletion: 331 -> 178 37.88/37.94 c learnt constraints deletion: 329 -> 173 37.98/38.03 c learnt constraints deletion: 358 -> 180 38.08/38.13 c learnt constraints deletion: 373 -> 190 38.18/38.21 c learnt constraints deletion: 367 -> 192 38.18/38.28 c solving time = 2.575s 38.18/38.28 c #decision = 113679 38.18/38.28 c #conflict = 61290 38.18/38.28 c #restart = 59 38.18/38.28 o 68 38.18/38.28 c Solving starts ... 38.18/38.28 c learnt constraints deletion: 327 -> 164 38.18/38.28 c learnt constraints deletion: 164 -> 82 38.18/38.28 c solving time = 0.001s 38.18/38.28 c #decision = 113689 38.18/38.28 c #conflict = 61290 38.18/38.28 c #restart = 59 38.18/38.28 o 67 38.18/38.28 c Solving starts ... 38.18/38.29 c solving time = 0.005s 38.18/38.29 c #decision = 113723 38.18/38.29 c #conflict = 61293 38.18/38.29 c #restart = 59 38.18/38.29 o 35 38.18/38.29 c Solving starts ... 38.18/38.29 c solving time = 0.002s 38.18/38.29 c #decision = 113735 38.18/38.29 c #conflict = 61294 38.18/38.29 c #restart = 59 38.18/38.29 o 32 38.18/38.29 c Solving starts ... 38.28/38.33 c learnt constraints deletion: 185 -> 93 38.28/38.38 c learnt constraints deletion: 242 -> 121 38.39/38.43 c learnt constraints deletion: 266 -> 135 38.39/38.46 c learnt constraints deletion: 214 -> 107 38.49/38.56 c learnt constraints deletion: 341 -> 174 38.58/38.60 c learnt constraints deletion: 277 -> 139 38.58/38.66 c learnt constraints deletion: 287 -> 145 38.68/38.73 c learnt constraints deletion: 303 -> 155 38.78/38.81 c learnt constraints deletion: 327 -> 168 38.78/38.89 c learnt constraints deletion: 342 -> 174 38.88/38.95 c learnt constraints deletion: 318 -> 161 38.98/39.01 c learnt constraints deletion: 285 -> 143 38.98/39.09 c learnt constraints deletion: 338 -> 173 39.09/39.14 c learnt constraints deletion: 324 -> 162 39.19/39.23 c learnt constraints deletion: 358 -> 180 39.29/39.31 c learnt constraints deletion: 371 -> 186 39.29/39.38 c learnt constraints deletion: 348 -> 177 39.39/39.46 c learnt constraints deletion: 360 -> 189 39.49/39.54 c learnt constraints deletion: 357 -> 182 39.59/39.60 c learnt constraints deletion: 336 -> 168 39.69/39.71 c learnt constraints deletion: 375 -> 191 39.69/39.78 c learnt constraints deletion: 364 -> 183 39.78/39.87 c learnt constraints deletion: 388 -> 196 39.88/39.95 c learnt constraints deletion: 386 -> 195 39.98/40.04 c learnt constraints deletion: 360 -> 180 40.08/40.13 c learnt constraints deletion: 373 -> 187 40.18/40.20 c learnt constraints deletion: 340 -> 170 40.18/40.29 c learnt constraints deletion: 416 -> 211 40.28/40.37 c learnt constraints deletion: 407 -> 208 40.38/40.45 c learnt constraints deletion: 419 -> 210 40.48/40.52 c learnt constraints deletion: 416 -> 219 40.58/40.60 c learnt constraints deletion: 420 -> 215 40.58/40.69 c learnt constraints deletion: 435 -> 227 40.68/40.77 c learnt constraints deletion: 431 -> 218 40.78/40.86 c learnt constraints deletion: 439 -> 221 40.89/40.94 c learnt constraints deletion: 416 -> 212 40.99/41.02 c learnt constraints deletion: 430 -> 227 40.99/41.09 c learnt constraints deletion: 435 -> 219 41.08/41.17 c learnt constraints deletion: 411 -> 211 41.18/41.25 c learnt constraints deletion: 397 -> 200 41.28/41.34 c learnt constraints deletion: 415 -> 211 41.38/41.41 c learnt constraints deletion: 373 -> 187 41.48/41.50 c learnt constraints deletion: 448 -> 225 41.48/41.58 c learnt constraints deletion: 446 -> 228 41.58/41.64 c learnt constraints deletion: 426 -> 223 41.68/41.73 c learnt constraints deletion: 471 -> 242 41.78/41.81 c learnt constraints deletion: 454 -> 231 41.78/41.87 c learnt constraints deletion: 451 -> 230 41.88/41.96 c learnt constraints deletion: 460 -> 235 41.98/42.03 c learnt constraints deletion: 434 -> 221 42.08/42.12 c learnt constraints deletion: 464 -> 238 42.08/42.19 c learnt constraints deletion: 424 -> 219 42.18/42.27 c learnt constraints deletion: 447 -> 236 42.28/42.35 c learnt constraints deletion: 444 -> 232 42.38/42.43 c learnt constraints deletion: 434 -> 223 42.48/42.52 c learnt constraints deletion: 458 -> 238 42.48/42.59 c learnt constraints deletion: 415 -> 209 42.58/42.69 c learnt constraints deletion: 439 -> 222 42.68/42.79 c learnt constraints deletion: 469 -> 241 42.78/42.90 c learnt constraints deletion: 478 -> 246 42.98/43.01 c learnt constraints deletion: 488 -> 246 43.09/43.10 c learnt constraints deletion: 471 -> 239 43.19/43.20 c learnt constraints deletion: 474 -> 241 43.19/43.29 c learnt constraints deletion: 476 -> 248 43.29/43.39 c learnt constraints deletion: 498 -> 256 43.38/43.48 c learnt constraints deletion: 468 -> 237 43.48/43.59 c learnt constraints deletion: 490 -> 250 43.58/43.68 c learnt constraints deletion: 484 -> 251 43.68/43.78 c learnt constraints deletion: 493 -> 249 43.78/43.88 c learnt constraints deletion: 489 -> 252 43.88/43.98 c learnt constraints deletion: 502 -> 259 43.99/44.06 c learnt constraints deletion: 475 -> 249 44.09/44.15 c solving time = 5.852s 44.09/44.15 c #decision = 137831 44.09/44.15 c #conflict = 75813 44.09/44.15 c #restart = 69 44.09/44.15 o 15 44.09/44.15 c Solving starts ... 44.09/44.15 c learnt constraints deletion: 444 -> 222 44.09/44.15 c learnt constraints deletion: 222 -> 111 44.09/44.18 c learnt constraints deletion: 210 -> 105 44.18/44.23 c learnt constraints deletion: 254 -> 127 44.28/44.31 c learnt constraints deletion: 334 -> 175 44.28/44.36 c solving time = 0.211s 44.28/44.36 c #decision = 138788 44.28/44.36 c #conflict = 76422 44.28/44.36 c #restart = 72 44.28/44.36 o 12 44.28/44.36 c Solving starts ... 44.28/44.36 c learnt constraints deletion: 326 -> 163 44.28/44.39 c learnt constraints deletion: 262 -> 131 44.38/44.44 c learnt constraints deletion: 280 -> 140 44.38/44.49 c learnt constraints deletion: 291 -> 150 44.48/44.51 c learnt constraints deletion: 223 -> 112 44.48/44.58 c learnt constraints deletion: 329 -> 168 44.58/44.63 c learnt constraints deletion: 288 -> 144 44.68/44.70 c learnt constraints deletion: 360 -> 185 44.68/44.76 c learnt constraints deletion: 346 -> 174 44.78/44.81 c learnt constraints deletion: 303 -> 152 44.88/44.90 c learnt constraints deletion: 365 -> 186 44.88/44.97 c learnt constraints deletion: 365 -> 189 44.99/45.03 c learnt constraints deletion: 365 -> 187 44.99/45.10 c learnt constraints deletion: 376 -> 190 45.09/45.16 c learnt constraints deletion: 382 -> 198 45.18/45.23 c learnt constraints deletion: 375 -> 196 45.28/45.31 c learnt constraints deletion: 394 -> 205 45.28/45.38 c learnt constraints deletion: 400 -> 206 45.38/45.43 c learnt constraints deletion: 357 -> 179 45.48/45.51 c learnt constraints deletion: 410 -> 205 45.48/45.59 c learnt constraints deletion: 424 -> 214 45.59/45.67 c learnt constraints deletion: 430 -> 225 45.69/45.74 c learnt constraints deletion: 423 -> 220 45.78/45.80 c learnt constraints deletion: 415 -> 218 45.78/45.88 c learnt constraints deletion: 419 -> 222 45.88/45.96 c learnt constraints deletion: 434 -> 219 45.98/46.03 c learnt constraints deletion: 404 -> 206 46.09/46.11 c learnt constraints deletion: 426 -> 221 46.09/46.18 c learnt constraints deletion: 446 -> 226 46.19/46.25 c learnt constraints deletion: 442 -> 226 46.28/46.31 c learnt constraints deletion: 428 -> 221 46.28/46.38 c learnt constraints deletion: 444 -> 227 46.38/46.45 c learnt constraints deletion: 436 -> 226 46.48/46.52 c learnt constraints deletion: 439 -> 224 46.58/46.61 c learnt constraints deletion: 445 -> 227 46.58/46.67 c learnt constraints deletion: 400 -> 202 46.68/46.76 c learnt constraints deletion: 439 -> 223 46.78/46.85 c learnt constraints deletion: 439 -> 225 46.88/46.92 c learnt constraints deletion: 421 -> 219 46.98/47.01 c learnt constraints deletion: 454 -> 233 47.08/47.10 c learnt constraints deletion: 479 -> 242 47.08/47.18 c learnt constraints deletion: 466 -> 238 47.19/47.26 c learnt constraints deletion: 462 -> 237 47.29/47.36 c learnt constraints deletion: 474 -> 237 47.38/47.43 c learnt constraints deletion: 444 -> 225 47.48/47.51 c learnt constraints deletion: 439 -> 220 47.48/47.59 c learnt constraints deletion: 472 -> 241 47.58/47.68 c learnt constraints deletion: 484 -> 245 47.68/47.76 c learnt constraints deletion: 464 -> 234 47.78/47.82 c learnt constraints deletion: 449 -> 228 47.88/47.92 c learnt constraints deletion: 456 -> 232 47.98/48.00 c learnt constraints deletion: 443 -> 225 47.98/48.08 c learnt constraints deletion: 414 -> 207 48.08/48.17 c learnt constraints deletion: 470 -> 240 48.18/48.24 c learnt constraints deletion: 455 -> 235 48.28/48.31 c learnt constraints deletion: 441 -> 222 48.28/48.40 c learnt constraints deletion: 474 -> 242 48.38/48.48 c learnt constraints deletion: 486 -> 247 48.48/48.57 c learnt constraints deletion: 514 -> 259 48.58/48.65 c learnt constraints deletion: 504 -> 258 48.68/48.73 c learnt constraints deletion: 497 -> 256 48.78/48.82 c learnt constraints deletion: 494 -> 250 48.88/48.90 c learnt constraints deletion: 484 -> 246 48.88/48.98 c learnt constraints deletion: 478 -> 242 48.98/49.07 c learnt constraints deletion: 502 -> 257 49.08/49.14 c learnt constraints deletion: 485 -> 243 49.18/49.22 c learnt constraints deletion: 456 -> 232 49.28/49.31 c learnt constraints deletion: 516 -> 262 49.28/49.39 c learnt constraints deletion: 508 -> 254 49.38/49.47 c learnt constraints deletion: 496 -> 251 49.48/49.55 c learnt constraints deletion: 514 -> 266 49.58/49.63 c learnt constraints deletion: 509 -> 260 49.68/49.70 c learnt constraints deletion: 510 -> 262 49.68/49.78 c learnt constraints deletion: 518 -> 263 49.78/49.86 c learnt constraints deletion: 491 -> 249 49.88/49.95 c learnt constraints deletion: 519 -> 269 49.98/50.03 c learnt constraints deletion: 531 -> 279 50.08/50.10 c learnt constraints deletion: 509 -> 261 50.08/50.17 c learnt constraints deletion: 498 -> 253 50.18/50.27 c learnt constraints deletion: 504 -> 254 50.28/50.33 c learnt constraints deletion: 450 -> 225 50.38/50.42 c learnt constraints deletion: 550 -> 282 50.48/50.50 c learnt constraints deletion: 536 -> 271 50.48/50.58 c learnt constraints deletion: 502 -> 253 50.58/50.68 c learnt constraints deletion: 543 -> 277 50.68/50.75 c learnt constraints deletion: 528 -> 274 50.78/50.83 c learnt constraints deletion: 530 -> 277 50.88/50.91 c learnt constraints deletion: 520 -> 264 50.98/51.01 c learnt constraints deletion: 558 -> 279 51.08/51.10 c learnt constraints deletion: 519 -> 269 51.08/51.19 c learnt constraints deletion: 553 -> 283 51.18/51.27 c learnt constraints deletion: 532 -> 272 51.28/51.35 c learnt constraints deletion: 500 -> 252 51.38/51.47 c learnt constraints deletion: 531 -> 271 51.48/51.56 c learnt constraints deletion: 542 -> 280 51.59/51.63 c learnt constraints deletion: 534 -> 274 51.69/51.71 c learnt constraints deletion: 497 -> 258 51.78/51.82 c learnt constraints deletion: 563 -> 299 51.88/51.90 c learnt constraints deletion: 536 -> 290 51.88/51.98 c learnt constraints deletion: 510 -> 261 51.98/52.08 c learnt constraints deletion: 539 -> 273 52.08/52.13 c learnt constraints deletion: 438 -> 219 52.08/52.15 c solving time = 7.797s 52.08/52.15 c #decision = 172107 52.08/52.15 c #conflict = 98987 52.08/52.15 c #restart = 83 52.08/52.15 o 11 52.08/52.15 c Solving starts ... 52.08/52.15 c learnt constraints deletion: 262 -> 131 52.08/52.20 c learnt constraints deletion: 230 -> 115 52.18/52.25 c learnt constraints deletion: 264 -> 132 52.28/52.33 c learnt constraints deletion: 319 -> 169 52.28/52.39 c learnt constraints deletion: 333 -> 174 52.38/52.45 c learnt constraints deletion: 312 -> 161 52.48/52.54 c learnt constraints deletion: 354 -> 182 52.58/52.60 c learnt constraints deletion: 333 -> 168 52.58/52.68 c learnt constraints deletion: 346 -> 183 52.68/52.76 c learnt constraints deletion: 379 -> 194 52.78/52.81 c learnt constraints deletion: 352 -> 179 52.78/52.88 c learnt constraints deletion: 347 -> 175 52.88/52.95 c learnt constraints deletion: 344 -> 175 52.88/53.00 c learnt constraints deletion: 300 -> 150 52.98/53.08 c learnt constraints deletion: 354 -> 181 53.08/53.15 c learnt constraints deletion: 359 -> 187 53.18/53.22 c learnt constraints deletion: 392 -> 206 53.28/53.30 c learnt constraints deletion: 411 -> 212 53.28/53.36 c learnt constraints deletion: 372 -> 186 53.38/53.45 c learnt constraints deletion: 375 -> 188 53.48/53.55 c learnt constraints deletion: 412 -> 210 53.58/53.63 c learnt constraints deletion: 412 -> 211 53.58/53.69 c learnt constraints deletion: 366 -> 187 53.68/53.77 c learnt constraints deletion: 359 -> 187 53.79/53.86 c learnt constraints deletion: 408 -> 211 53.89/53.93 c learnt constraints deletion: 375 -> 189 53.98/54.03 c learnt constraints deletion: 423 -> 217 53.98/54.09 c learnt constraints deletion: 413 -> 215 54.08/54.14 c learnt constraints deletion: 358 -> 179 54.18/54.24 c learnt constraints deletion: 460 -> 231 54.28/54.31 c learnt constraints deletion: 449 -> 225 54.28/54.38 c learnt constraints deletion: 467 -> 242 54.38/54.45 c learnt constraints deletion: 452 -> 232 54.48/54.51 c learnt constraints deletion: 431 -> 218 54.58/54.60 c learnt constraints deletion: 448 -> 228 54.58/54.66 c learnt constraints deletion: 415 -> 208 54.67/54.74 c learnt constraints deletion: 459 -> 232 54.78/54.80 c learnt constraints deletion: 420 -> 214 54.78/54.87 c learnt constraints deletion: 432 -> 225 54.89/54.95 c learnt constraints deletion: 480 -> 242 54.99/55.03 c learnt constraints deletion: 478 -> 240 55.08/55.10 c learnt constraints deletion: 463 -> 239 55.08/55.19 c learnt constraints deletion: 477 -> 246 55.18/55.27 c learnt constraints deletion: 476 -> 238 55.28/55.34 c learnt constraints deletion: 454 -> 228 55.38/55.42 c learnt constraints deletion: 458 -> 234 55.48/55.50 c learnt constraints deletion: 482 -> 241 55.48/55.58 c learnt constraints deletion: 465 -> 234 55.58/55.66 c learnt constraints deletion: 440 -> 226 55.68/55.74 c learnt constraints deletion: 448 -> 224 55.78/55.82 c learnt constraints deletion: 459 -> 237 55.78/55.89 c learnt constraints deletion: 446 -> 225 55.88/55.98 c learnt constraints deletion: 477 -> 246 55.98/56.05 c learnt constraints deletion: 471 -> 237 56.08/56.13 c learnt constraints deletion: 486 -> 250 56.18/56.22 c learnt constraints deletion: 490 -> 249 56.18/56.29 c learnt constraints deletion: 434 -> 217 56.28/56.39 c learnt constraints deletion: 504 -> 259 56.38/56.46 c learnt constraints deletion: 474 -> 239 56.48/56.54 c learnt constraints deletion: 456 -> 231 56.58/56.62 c learnt constraints deletion: 505 -> 261 56.68/56.71 c learnt constraints deletion: 479 -> 250 56.78/56.80 c learnt constraints deletion: 485 -> 256 56.78/56.89 c learnt constraints deletion: 487 -> 244 56.88/56.96 c learnt constraints deletion: 473 -> 237 56.98/57.06 c learnt constraints deletion: 498 -> 253 57.08/57.15 c learnt constraints deletion: 487 -> 244 57.18/57.25 c learnt constraints deletion: 505 -> 256 57.28/57.34 c learnt constraints deletion: 513 -> 260 57.38/57.42 c learnt constraints deletion: 497 -> 252 57.38/57.49 c solving time = 5.336s 57.38/57.49 c #decision = 194289 57.38/57.49 c #conflict = 113649 57.38/57.49 c #restart = 93 57.38/57.49 o 10 57.38/57.49 c Solving starts ... 57.38/57.49 c learnt constraints deletion: 470 -> 235 57.38/57.49 c learnt constraints deletion: 235 -> 165 57.48/57.53 c learnt constraints deletion: 264 -> 165 57.48/57.58 c learnt constraints deletion: 314 -> 165 57.58/57.63 c learnt constraints deletion: 323 -> 169 57.58/57.66 c learnt constraints deletion: 235 -> 165 57.68/57.72 c learnt constraints deletion: 351 -> 181 57.68/57.77 c learnt constraints deletion: 314 -> 167 57.77/57.83 c learnt constraints deletion: 341 -> 176 57.88/57.90 c learnt constraints deletion: 359 -> 192 57.88/57.96 c learnt constraints deletion: 347 -> 178 57.98/58.02 c learnt constraints deletion: 349 -> 180 57.98/58.08 c learnt constraints deletion: 357 -> 183 58.08/58.15 c learnt constraints deletion: 402 -> 205 58.19/58.21 c learnt constraints deletion: 371 -> 189 58.19/58.22 c solving time = 0.729s 58.19/58.22 c #decision = 197446 58.19/58.22 c #conflict = 115725 58.19/58.22 c #restart = 98 58.19/58.22 o 9 58.19/58.22 c Solving starts ... 58.19/58.22 c learnt constraints deletion: 224 -> 169 58.19/58.26 c learnt constraints deletion: 268 -> 169 58.19/58.30 c learnt constraints deletion: 315 -> 170 58.29/58.35 c learnt constraints deletion: 319 -> 177 58.29/58.38 c learnt constraints deletion: 255 -> 169 58.38/58.43 c learnt constraints deletion: 322 -> 174 58.38/58.48 c learnt constraints deletion: 328 -> 172 58.48/58.55 c learnt constraints deletion: 362 -> 181 58.58/58.60 c learnt constraints deletion: 348 -> 180 58.58/58.65 c learnt constraints deletion: 322 -> 173 58.68/58.72 c learnt constraints deletion: 378 -> 190 58.68/58.77 c learnt constraints deletion: 350 -> 178 58.78/58.84 c learnt constraints deletion: 380 -> 201 58.78/58.88 c learnt constraints deletion: 321 -> 174 58.88/58.96 c learnt constraints deletion: 386 -> 193 58.98/59.04 c learnt constraints deletion: 404 -> 206 58.98/59.09 c learnt constraints deletion: 371 -> 189 59.08/59.16 c learnt constraints deletion: 397 -> 212 59.18/59.20 c learnt constraints deletion: 340 -> 176 59.18/59.29 c learnt constraints deletion: 389 -> 196 59.29/59.36 c learnt constraints deletion: 396 -> 202 59.39/59.43 c learnt constraints deletion: 376 -> 189 59.48/59.50 c learnt constraints deletion: 415 -> 212 59.48/59.56 c learnt constraints deletion: 395 -> 200 59.58/59.63 c learnt constraints deletion: 428 -> 223 59.58/59.68 c learnt constraints deletion: 392 -> 200 59.68/59.75 c learnt constraints deletion: 417 -> 216 59.78/59.80 c learnt constraints deletion: 386 -> 199 59.78/59.88 c learnt constraints deletion: 424 -> 220 59.87/59.95 c learnt constraints deletion: 447 -> 229 59.98/60.00 c learnt constraints deletion: 398 -> 204 59.98/60.06 c learnt constraints deletion: 403 -> 203 60.08/60.13 c learnt constraints deletion: 438 -> 224 60.18/60.20 c learnt constraints deletion: 420 -> 215 60.18/60.26 c learnt constraints deletion: 426 -> 218 60.28/60.34 c learnt constraints deletion: 465 -> 242 60.28/60.40 c learnt constraints deletion: 429 -> 221 60.39/60.47 c learnt constraints deletion: 451 -> 228 60.49/60.52 c learnt constraints deletion: 385 -> 194 60.58/60.60 c learnt constraints deletion: 450 -> 229 60.58/60.67 c learnt constraints deletion: 427 -> 222 60.68/60.75 c learnt constraints deletion: 476 -> 238 60.78/60.81 c learnt constraints deletion: 465 -> 234 60.78/60.88 c learnt constraints deletion: 438 -> 225 60.88/60.96 c learnt constraints deletion: 475 -> 246 60.98/61.02 c learnt constraints deletion: 461 -> 238 60.98/61.09 c learnt constraints deletion: 473 -> 241 61.08/61.16 c learnt constraints deletion: 469 -> 240 61.18/61.24 c learnt constraints deletion: 469 -> 236 61.28/61.32 c learnt constraints deletion: 494 -> 250 61.38/61.40 c learnt constraints deletion: 462 -> 231 61.38/61.48 c learnt constraints deletion: 497 -> 253 61.48/61.55 c learnt constraints deletion: 471 -> 244 61.58/61.62 c learnt constraints deletion: 443 -> 222 61.58/61.69 c learnt constraints deletion: 446 -> 223 61.68/61.77 c learnt constraints deletion: 453 -> 228 61.78/61.85 c learnt constraints deletion: 466 -> 236 61.87/61.96 c learnt constraints deletion: 487 -> 244 61.97/62.04 c learnt constraints deletion: 498 -> 252 62.07/62.12 c learnt constraints deletion: 493 -> 254 62.18/62.21 c learnt constraints deletion: 515 -> 262 62.28/62.30 c learnt constraints deletion: 523 -> 267 62.28/62.37 c learnt constraints deletion: 468 -> 241 62.38/62.47 c learnt constraints deletion: 526 -> 279 62.48/62.57 c learnt constraints deletion: 505 -> 270 62.58/62.65 c learnt constraints deletion: 521 -> 279 62.68/62.73 c learnt constraints deletion: 516 -> 258 62.78/62.83 c learnt constraints deletion: 514 -> 260 62.88/62.91 c learnt constraints deletion: 507 -> 258 62.98/63.00 c learnt constraints deletion: 482 -> 241 62.98/63.08 c learnt constraints deletion: 473 -> 237 63.08/63.17 c learnt constraints deletion: 510 -> 260 63.18/63.25 c learnt constraints deletion: 496 -> 251 63.28/63.33 c learnt constraints deletion: 490 -> 252 63.38/63.42 c learnt constraints deletion: 518 -> 265 63.47/63.50 c learnt constraints deletion: 486 -> 247 63.47/63.59 c learnt constraints deletion: 521 -> 262 63.57/63.66 c learnt constraints deletion: 491 -> 249 63.69/63.74 c learnt constraints deletion: 480 -> 240 63.79/63.81 c learnt constraints deletion: 493 -> 248 63.88/63.91 c learnt constraints deletion: 500 -> 255 63.88/63.98 c learnt constraints deletion: 524 -> 264 63.98/64.06 c learnt constraints deletion: 541 -> 275 64.08/64.16 c learnt constraints deletion: 555 -> 281 64.18/64.23 c learnt constraints deletion: 504 -> 252 64.28/64.33 c learnt constraints deletion: 531 -> 269 64.38/64.42 c learnt constraints deletion: 528 -> 268 64.48/64.52 c learnt constraints deletion: 534 -> 275 64.58/64.60 c learnt constraints deletion: 507 -> 264 64.58/64.69 c learnt constraints deletion: 537 -> 275 64.68/64.78 c learnt constraints deletion: 514 -> 264 64.79/64.88 c learnt constraints deletion: 518 -> 259 64.89/64.95 c learnt constraints deletion: 542 -> 274 64.98/65.05 c learnt constraints deletion: 539 -> 280 65.08/65.13 c learnt constraints deletion: 539 -> 270 65.18/65.21 c learnt constraints deletion: 534 -> 269 65.18/65.30 c learnt constraints deletion: 542 -> 276 65.28/65.37 c learnt constraints deletion: 512 -> 259 65.38/65.45 c learnt constraints deletion: 550 -> 282 65.48/65.53 c learnt constraints deletion: 549 -> 276 65.58/65.61 c learnt constraints deletion: 554 -> 282 65.58/65.69 c learnt constraints deletion: 538 -> 275 65.68/65.78 c learnt constraints deletion: 549 -> 277 65.78/65.87 c learnt constraints deletion: 541 -> 275 65.88/65.95 c learnt constraints deletion: 562 -> 285 65.98/66.03 c learnt constraints deletion: 514 -> 265 66.08/66.12 c learnt constraints deletion: 557 -> 280 66.17/66.20 c learnt constraints deletion: 559 -> 285 66.17/66.28 c learnt constraints deletion: 534 -> 273 66.28/66.37 c learnt constraints deletion: 545 -> 280 66.38/66.45 c learnt constraints deletion: 569 -> 294 66.48/66.52 c learnt constraints deletion: 536 -> 268 66.58/66.60 c learnt constraints deletion: 541 -> 276 66.68/66.70 c learnt constraints deletion: 593 -> 301 66.68/66.78 c learnt constraints deletion: 559 -> 284 66.78/66.88 c learnt constraints deletion: 596 -> 298 66.87/66.97 c learnt constraints deletion: 574 -> 288 66.98/67.05 c learnt constraints deletion: 547 -> 276 67.08/67.15 c learnt constraints deletion: 587 -> 299 67.17/67.24 c learnt constraints deletion: 584 -> 294 67.27/67.34 c learnt constraints deletion: 593 -> 304 67.37/67.43 c learnt constraints deletion: 556 -> 286 67.48/67.51 c learnt constraints deletion: 559 -> 280 67.48/67.60 c learnt constraints deletion: 538 -> 284 67.58/67.69 c learnt constraints deletion: 564 -> 293 67.68/67.79 c learnt constraints deletion: 561 -> 293 67.78/67.89 c learnt constraints deletion: 588 -> 294 67.88/67.98 c learnt constraints deletion: 596 -> 303 67.98/68.07 c learnt constraints deletion: 576 -> 292 68.08/68.16 c learnt constraints deletion: 576 -> 295 68.18/68.25 c learnt constraints deletion: 585 -> 298 68.28/68.34 c learnt constraints deletion: 594 -> 302 68.38/68.43 c learnt constraints deletion: 600 -> 303 68.48/68.51 c learnt constraints deletion: 545 -> 304 68.58/68.60 c learnt constraints deletion: 566 -> 313 68.58/68.67 c learnt constraints deletion: 537 -> 309 68.68/68.76 c learnt constraints deletion: 591 -> 312 68.77/68.85 c learnt constraints deletion: 592 -> 319 68.87/68.94 c learnt constraints deletion: 574 -> 315 68.97/69.03 c learnt constraints deletion: 552 -> 321 69.07/69.10 c learnt constraints deletion: 552 -> 327 69.07/69.18 c learnt constraints deletion: 582 -> 328 69.19/69.25 c learnt constraints deletion: 535 -> 332 69.29/69.34 c learnt constraints deletion: 586 -> 335 69.38/69.42 c learnt constraints deletion: 589 -> 334 69.48/69.50 c learnt constraints deletion: 598 -> 338 69.48/69.58 c learnt constraints deletion: 593 -> 345 69.58/69.65 c learnt constraints deletion: 580 -> 346 69.68/69.72 c learnt constraints deletion: 544 -> 349 69.78/69.80 c learnt constraints deletion: 598 -> 349 69.78/69.87 c learnt constraints deletion: 570 -> 347 69.88/69.93 c learnt constraints deletion: 556 -> 360 69.88/69.99 c learnt constraints deletion: 550 -> 358 69.97/70.05 c learnt constraints deletion: 553 -> 359 70.07/70.11 c learnt constraints deletion: 554 -> 362 70.07/70.18 c learnt constraints deletion: 580 -> 368 70.18/70.25 c learnt constraints deletion: 606 -> 365 70.18/70.30 c learnt constraints deletion: 517 -> 364 70.29/70.38 c learnt constraints deletion: 592 -> 366 70.38/70.45 c learnt constraints deletion: 559 -> 365 70.48/70.50 c learnt constraints deletion: 528 -> 372 70.48/70.56 c learnt constraints deletion: 589 -> 376 70.58/70.62 c learnt constraints deletion: 585 -> 378 70.58/70.68 c learnt constraints deletion: 579 -> 376 70.68/70.75 c learnt constraints deletion: 593 -> 380 70.78/70.83 c learnt constraints deletion: 632 -> 378 70.88/70.90 c learnt constraints deletion: 605 -> 375 70.98/71.00 c learnt constraints deletion: 650 -> 381 70.98/71.07 c learnt constraints deletion: 646 -> 381 71.07/71.16 c learnt constraints deletion: 638 -> 385 71.17/71.24 c learnt constraints deletion: 624 -> 387 71.27/71.32 c learnt constraints deletion: 640 -> 388 71.27/71.38 c learnt constraints deletion: 620 -> 397 71.38/71.44 c learnt constraints deletion: 603 -> 401 71.48/71.51 c learnt constraints deletion: 621 -> 399 71.48/71.56 c learnt constraints deletion: 585 -> 399 71.57/71.63 c learnt constraints deletion: 611 -> 402 71.68/71.70 c learnt constraints deletion: 620 -> 402 71.68/71.76 c learnt constraints deletion: 609 -> 403 71.78/71.82 c learnt constraints deletion: 614 -> 407 71.78/71.89 c learnt constraints deletion: 607 -> 408 71.88/71.95 c learnt constraints deletion: 633 -> 411 71.98/72.01 c learnt constraints deletion: 597 -> 416 71.98/72.08 c learnt constraints deletion: 603 -> 419 72.08/72.14 c learnt constraints deletion: 614 -> 422 72.08/72.19 c learnt constraints deletion: 573 -> 425 72.18/72.25 c learnt constraints deletion: 641 -> 430 72.28/72.31 c learnt constraints deletion: 620 -> 428 72.28/72.37 c learnt constraints deletion: 637 -> 426 72.38/72.44 c learnt constraints deletion: 647 -> 434 72.38/72.49 c learnt constraints deletion: 614 -> 435 72.48/72.55 c learnt constraints deletion: 624 -> 442 72.58/72.60 c learnt constraints deletion: 637 -> 438 72.58/72.67 c learnt constraints deletion: 644 -> 445 72.68/72.73 c learnt constraints deletion: 626 -> 447 72.68/72.79 c learnt constraints deletion: 631 -> 457 72.78/72.85 c learnt constraints deletion: 636 -> 460 72.87/72.91 c learnt constraints deletion: 656 -> 460 72.87/72.96 c learnt constraints deletion: 630 -> 469 72.97/73.01 c learnt constraints deletion: 655 -> 464 72.97/73.06 c learnt constraints deletion: 612 -> 464 73.07/73.11 c learnt constraints deletion: 630 -> 470 73.07/73.15 c learnt constraints deletion: 625 -> 472 73.17/73.20 c learnt constraints deletion: 625 -> 485 73.17/73.25 c learnt constraints deletion: 618 -> 492 73.17/73.28 c learnt constraints deletion: 592 -> 494 73.27/73.33 c learnt constraints deletion: 643 -> 497 73.27/73.37 c learnt constraints deletion: 626 -> 498 73.27/73.39 c solving time = 15.166s 73.27/73.39 c #decision = 265716 73.27/73.39 c #conflict = 162685 73.27/73.39 c #restart = 111 73.27/73.39 s OPTIMUM FOUND 73.27/73.39 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 73.27/73.39 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 73.27/73.39 v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 73.27/73.39 v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 73.27/73.39 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 73.27/73.39 v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 73.27/73.39 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 73.27/73.39 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 73.27/73.39 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 73.27/73.39 v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 73.27/73.39 v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 73.27/73.39 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 73.27/73.39 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 73.27/73.39 v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 73.27/73.39 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 73.27/73.39 v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 73.27/73.39 v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 73.27/73.39 c total time = 73.381s
OK 9
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-3712055-1338185159/watcher-3712055-1338185159 -o /tmp/evaluation-result-3712055-1338185159/solver-3712055-1338185159 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712055-1338185159.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.00 2.00 2.00 3/178 21207 /proc/meminfo: memFree=31103704/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 284641219 6356992 743 33554432000 4194304 8973514 140735151242288 140736456803240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 1552 743 423 1167 0 333 0 [startup+0.047109 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21207 /proc/meminfo: memFree=31103704/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=7232 CPUtime=0.04 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1084 0 0 0 4 0 0 0 20 0 1 0 284641219 7405568 1006 33554432000 4194304 8973514 140735151242288 140736456803240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 1808 1006 452 1167 0 589 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7232 [startup+0.100253 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21207 /proc/meminfo: memFree=31103704/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=7232 CPUtime=0.09 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1123 0 0 0 9 0 0 0 20 0 1 0 284641219 7405568 1045 33554432000 4194304 8973514 140735151242288 140736456803240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 1808 1045 464 1167 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7232 [startup+0.300219 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21207 /proc/meminfo: memFree=31103704/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=8256 CPUtime=0.29 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1183 0 0 0 29 0 0 0 20 0 1 0 284641219 8454144 1105 33554432000 4194304 8973514 140735151242288 140736456803240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2064 1105 466 1167 0 845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8256 [startup+0.700223 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21207 /proc/meminfo: memFree=31103704/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=8256 CPUtime=0.69 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1208 0 0 0 69 0 0 0 20 0 1 0 284641219 8454144 1130 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2064 1130 466 1167 0 845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8256 [startup+1.50022 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21208 /proc/meminfo: memFree=31100976/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=8256 CPUtime=1.49 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1240 0 0 0 148 1 0 0 20 0 1 0 284641219 8454144 1162 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2064 1162 466 1167 0 845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8256 [startup+3.10025 s] /proc/loadavg: 2.08 2.02 2.01 3/179 21208 /proc/meminfo: memFree=31100108/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=8256 CPUtime=3.09 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1381 0 0 0 307 2 0 0 20 0 1 0 284641219 8454144 1303 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2064 1303 466 1167 0 845 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8256 [startup+6.30022 s] /proc/loadavg: 2.08 2.02 2.01 3/179 21208 /proc/meminfo: memFree=31099612/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=8256 CPUtime=6.29 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1381 0 0 0 625 4 0 0 20 0 1 0 284641219 8454144 1303 33554432000 4194304 8973514 140735151242288 140735151241784 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2064 1303 466 1167 0 845 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8256 [startup+12.7002 s] /proc/loadavg: 2.07 2.02 2.00 3/179 21208 /proc/meminfo: memFree=31098512/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=12.69 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1637 0 0 0 1261 8 0 0 20 0 1 0 284641219 9502720 1559 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1559 466 1167 0 1101 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9280 [startup+25.5002 s] /proc/loadavg: 2.06 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098636/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=25.48 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1637 0 0 0 2531 17 0 0 20 0 1 0 284641219 9502720 1559 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1559 466 1167 0 1101 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9280 [startup+51.1002 s] /proc/loadavg: 2.04 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098324/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=51.08 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1639 0 0 0 5072 36 0 0 20 0 1 0 284641219 9502720 1560 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1560 466 1167 0 1101 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9280 Solver just ended. Dumping a history of the last processes samples [startup+63.9003 s] /proc/loadavg: 2.03 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098448/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=63.88 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1639 0 0 0 6345 43 0 0 20 0 1 0 284641219 9502720 1560 33554432000 4194304 8973514 140735151242288 140735151241784 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1560 466 1167 0 1101 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 9280 [startup+70.3002 s] /proc/loadavg: 2.02 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098448/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=70.29 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1639 0 0 0 6982 47 0 0 20 0 1 0 284641219 9502720 1560 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1560 466 1167 0 1101 0 Current children cumulated CPU time (s) 70.29 Current children cumulated vsize (KiB) 9280 [startup+71.9002 s] /proc/loadavg: 2.02 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098448/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=71.88 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1640 0 0 0 7140 48 0 0 20 0 1 0 284641219 9502720 1561 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1561 466 1167 0 1101 0 Current children cumulated CPU time (s) 71.88 Current children cumulated vsize (KiB) 9280 [startup+72.7002 s] /proc/loadavg: 2.02 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098448/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=72.68 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1640 0 0 0 7220 48 0 0 20 0 1 0 284641219 9502720 1561 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1561 466 1167 0 1101 0 Current children cumulated CPU time (s) 72.68 Current children cumulated vsize (KiB) 9280 [startup+73.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098448/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=73.07 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1640 0 0 0 7259 48 0 0 20 0 1 0 284641219 9502720 1561 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1561 466 1167 0 1101 0 Current children cumulated CPU time (s) 73.07 Current children cumulated vsize (KiB) 9280 [startup+73.3002 s] /proc/loadavg: 2.02 2.01 2.00 3/179 21208 /proc/meminfo: memFree=31098448/32873844 swapFree=7112/7112 [pid=21207] ppid=21205 vsize=9280 CPUtime=73.27 cores=0,2,4,6 /proc/21207/stat : 21207 (toysat) R 21205 21207 18402 0 -1 4202496 1640 0 0 0 7279 48 0 0 20 0 1 0 284641219 9502720 1561 33554432000 4194304 8973514 140735151242288 140735151241784 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21207/statm: 2320 1561 466 1167 0 1101 0 Current children cumulated CPU time (s) 73.27 Current children cumulated vsize (KiB) 9280 Child status: 0 Real time (s): 73.3952 CPU time (s): 73.3818 CPU user time (s): 72.8939 CPU system time (s): 0.487925 CPU usage (%): 99.9818 Max. virtual memory (cumulated for all children) (KiB): 9280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.8939 system time used= 0.487925 maximum resident set size= 6260 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= 4 involuntary context switches= 76 runsolver used 0.098984 second user time and 0.32395 second system time The end
Begin job on node132 at 2012-05-28 08:05:59 IDJOB=3712055 IDBENCH=78838 IDSOLVER=2291 FILE ID=node132/3712055-1338185159 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.1111222539--soft-33-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712055-1338185159/watcher-3712055-1338185159 -o /tmp/evaluation-result-3712055-1338185159/solver-3712055-1338185159 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712055-1338185159.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 477adc333907175569d22a28ba04c3fe RANDOM SEED=1736252433 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: 31104332 kB Buffers: 453016 kB Cached: 192392 kB SwapCached: 2284 kB Active: 728232 kB Inactive: 151788 kB Active(anon): 227064 kB Inactive(anon): 8148 kB Active(file): 501168 kB Inactive(file): 143640 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67103740 kB Dirty: 7416 kB Writeback: 0 kB AnonPages: 238096 kB Mapped: 12788 kB Shmem: 8 kB Slab: 749552 kB SReclaimable: 191352 kB SUnreclaim: 558200 kB KernelStack: 1488 kB PageTables: 4892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 349320 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 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:07:12