Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -103 | 1798.21 | 1798.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb |
MD5SUM | fc8bff78845ab9a14b2d06ab749e4dc4 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -107 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -137 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12656 |
Sum of products size (including duplicates) | 25312 |
Number of different products | 6328 |
Sum of products size | 12656 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876846-1245209232.opb 0.00/0.00 c File size is 567845 bytes. 0.05/0.08 c Highest Coefficient sum: 1000 0.05/0.08 c Parsing was ok!! 0.05/0.08 c Total parsing time: 0.079 s 0.05/0.09 c Var: 7328 Constr: 14158 6828/1002/6328 Lit: 53624 Watch. Lit: 46298 0.05/0.09 c Obj. Vars: 500 (6.82314 % of total variables) 1.79/1.86 c Pre-processing Time: 1.861 s 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 0 7328 14158 53624 3 46298 93248 0 0 1.86 1.79/1.86 c Switching off lower bounding mode. 1.79/1.87 o -1 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 0 7328 14159 54124 3 46301 93581 1 0 1.88 1.89/1.91 o -2 1.89/1.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.96 c 1 7328 14162 55624 3 46310 93748 4 0 1.92 1.89/1.96 o -3 1.99/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.00 c 2 7328 14165 57138 4 46321 93914 7 1 1.96 1.99/2.00 o -4 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 3 7328 14168 58652 4 46334 94081 10 1 2.00 1.99/2.04 o -5 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 4 7328 14171 60177 4 46349 94248 13 1 2.05 1.99/2.09 o -6 2.10/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.13 c 5 7328 14174 61693 4 46366 94248 16 2 2.09 2.10/2.13 o -7 2.10/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.18 c 7 7328 14178 63233 4 46387 94248 20 3 2.14 2.10/2.18 o -8 2.20/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.22 c 8 7328 14181 64759 4 46408 94248 23 3 2.18 2.20/2.22 o -9 2.20/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.27 c 9 7328 14184 66286 4 46431 94248 26 4 2.23 2.20/2.27 o -10 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 10 7328 14187 67814 4 46456 94248 29 4 2.27 2.29/2.31 o -11 2.29/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.35 c 11 7328 14190 69343 4 46483 94248 32 4 2.31 2.29/2.35 o -12 2.29/2.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.40 c 12 7328 14193 70873 4 46512 94248 35 5 2.36 2.29/2.40 o -13 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 13 7328 14196 72404 5 46543 94248 38 5 2.40 2.39/2.44 o -14 2.39/2.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.48 c 14 7328 14199 73955 5 46576 94248 41 5 2.44 2.39/2.48 o -15 2.49/2.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.52 c 15 7328 14202 75507 5 46611 94248 44 6 2.49 2.49/2.52 o -16 2.49/2.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.56 c 16 7328 14205 77060 5 46648 94248 47 6 2.53 2.49/2.56 o -17 2.59/2.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.61 c 17 7328 14208 78613 5 46687 94248 50 6 2.57 2.59/2.61 o -18 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 18 7328 14211 80166 5 46728 94248 53 6 2.61 2.59/2.65 o -19 2.59/2.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.69 c 19 7328 14214 81720 5 46771 94248 56 7 2.65 2.59/2.69 o -20 2.69/2.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.73 c 20 7328 14217 83291 5 46816 94248 59 7 2.70 2.69/2.73 o -21 2.69/2.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.77 c 22 7328 14221 84876 5 46865 94248 63 8 2.74 2.69/2.77 o -22 2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.82 c 23 7328 14224 86459 6 46914 94248 66 8 2.78 2.79/2.82 o -23 2.79/2.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.86 c 25 7328 14228 88057 6 46967 94248 70 8 2.82 2.79/2.86 o -24 2.79/2.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.90 c 27 7328 14232 89674 6 47022 94248 74 9 2.86 2.79/2.90 o -25 2.89/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.94 c 29 7328 14236 91306 6 47079 94248 78 9 2.90 2.89/2.94 o -26 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 30 7328 14239 92949 6 47136 94248 81 10 2.94 2.89/2.98 o -27 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 33 7328 14244 94598 6 47199 94248 86 11 2.98 2.99/3.02 o -28 2.99/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.06 c 34 7328 14247 96255 6 47260 94248 89 11 3.02 2.99/3.06 o -29 3.09/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.10 c 35 7328 14250 97913 6 47323 94248 92 11 3.06 3.09/3.10 o -30 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 40 7328 14257 99584 6 47396 94248 99 12 3.10 3.09/3.14 o -31 3.09/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.17 c 41 7328 14260 101265 7 47463 94248 102 13 3.14 3.09/3.17 o -32 3.19/3.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.21 c 48 7328 14269 102972 7 47544 94248 111 15 3.18 3.19/3.21 o -33 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 49 7328 14272 104662 7 47615 94248 114 15 3.22 3.19/3.25 o -34 3.19/3.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.29 c 53 7328 14278 106366 7 47694 94248 120 16 3.25 3.19/3.29 o -35 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 61 7328 14288 108087 7 47783 94248 130 18 3.29 3.29/3.36 o -36 3.29/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.40 c 111 7328 14340 129338 9 47958 94248 182 32 3.37 3.29/3.40 o -37 3.39/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.44 c 116 7328 14347 131496 9 48045 94248 189 34 3.40 3.39/3.44 o -38 3.39/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.48 c 130 7328 14363 133225 9 48152 94248 205 37 3.44 3.39/3.48 o -39 3.49/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.51 c 143 7328 14378 134982 9 48259 94248 220 41 3.49 3.49/3.51 o -40 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 146 7328 14383 136712 9 48348 94248 225 41 3.52 3.49/3.55 o -41 3.49/3.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.58 c 147 7328 14386 138453 9 48435 94248 228 41 3.55 3.49/3.58 o -42 3.59/3.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.61 c 149 7328 14390 140207 9 48526 94248 232 41 3.58 3.59/3.61 o -43 3.59/3.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.65 c 155 7328 14398 141974 9 48627 94248 240 42 3.62 3.59/3.65 o -44 3.59/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.69 c 157 7328 14402 143731 9 48722 94248 244 42 3.65 3.59/3.69 o -45 3.69/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.72 c 160 7328 14407 145493 10 48821 94248 249 43 3.69 3.69/3.72 o -46 3.79/3.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.82 c 167 7328 14416 147271 10 48930 94248 258 44 3.73 3.79/3.82 o -47 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 236 7328 14487 178117 12 49165 94248 329 61 3.82 3.79/3.85 o -48 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 237 7328 14490 179879 12 49266 94248 332 61 3.85 3.79/3.89 o -49 3.88/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.88/3.92 c 250 7328 14505 181685 12 49393 94248 347 64 3.90 3.88/3.92 o -50 3.88/3.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.88/3.95 c 252 7328 14509 183490 12 49500 94248 351 64 3.92 3.88/3.95 o -51 3.88/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.88/3.98 c 257 7328 14516 185308 12 49615 94248 358 64 3.96 3.88/3.98 o -52 3.99/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.02 c 260 7328 14521 187131 12 49728 94248 363 65 3.99 3.99/4.02 o -53 3.99/4.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.06 c 267 7328 14530 188962 13 49851 94248 372 66 4.02 3.99/4.06 o -54 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 284 7328 14549 190827 13 49996 94248 391 69 4.06 3.99/4.09 o -55 4.09/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.14 c 294 7328 14561 192686 13 50129 94248 403 71 4.09 4.09/4.14 o -56 4.09/4.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.17 c 320 7328 14589 200793 13 50296 94248 431 77 4.14 4.09/4.17 o -57 4.09/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.19 c 324 7328 14595 202643 13 50421 94248 437 77 4.17 4.09/4.19 o -58 4.19/4.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.23 c 328 7328 14601 204494 14 50548 94248 443 78 4.20 4.19/4.23 o -59 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 338 7328 14613 206366 14 50689 94248 455 79 4.23 4.19/4.27 o -60 4.19/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.30 c 359 7328 14636 208281 14 50854 94248 478 84 4.27 4.19/4.30 o -61 4.39/4.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.49 c 374 7328 14653 210179 14 51009 94248 495 86 4.30 4.39/4.49 c 475 7328 14754 254165 17 51211 103673 596 107 4.41 4.39/4.49 o -62 4.48/4.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.58 c 557 7328 14838 282439 19 51502 94248 680 123 4.50 4.48/4.58 o -63 4.58/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.61 c 632 7328 14915 311983 20 51781 94248 757 137 4.58 4.58/4.61 o -64 4.58/4.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.63 c 634 7328 14919 313851 21 51916 94248 761 137 4.61 4.58/4.63 o -65 4.58/4.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.67 c 638 7328 14925 315725 21 52057 94248 767 137 4.64 4.58/4.67 o -66 4.58/4.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.69 c 650 7328 14939 317627 21 52216 94248 781 139 4.67 4.58/4.69 o -67 4.69/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.72 c 652 7328 14943 319507 21 52357 94248 785 138 4.70 4.69/4.72 o -68 4.69/4.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.74 c 654 7328 14947 321389 21 52500 94248 789 138 4.72 4.69/4.74 o -69 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 657 7328 14952 323275 21 52647 94248 794 138 4.74 4.69/4.77 o -70 4.79/4.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.80 c 669 7328 14966 325188 21 52814 94248 808 140 4.77 4.79/4.80 o -71 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 683 7328 14982 327106 21 52987 94248 824 142 4.81 4.79/4.84 o -72 4.98/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.03 c 693 7328 14994 329002 21 53154 94248 836 143 4.84 4.98/5.03 c 793 7328 15094 368066 24 53354 103673 936 160 4.93 4.98/5.03 o -73 4.98/5.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.06 c 864 7328 15167 395284 26 53645 94248 1009 171 5.04 4.98/5.06 o -74 4.98/5.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.09 c 873 7328 15178 397187 26 53814 94248 1020 172 5.07 4.98/5.09 o -75 5.09/5.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.11 c 875 7328 15182 399074 26 53971 94248 1024 171 5.09 5.09/5.11 o -76 5.09/5.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.14 c 877 7328 15186 400961 26 54130 94248 1028 171 5.12 5.09/5.14 o -77 5.09/5.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.17 c 879 7328 15190 402848 26 54291 94248 1032 171 5.14 5.09/5.17 o -78 5.09/5.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.19 c 885 7328 15198 404749 26 54462 94248 1040 171 5.17 5.09/5.19 o -79 5.19/5.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.22 c 892 7328 15207 406655 26 54637 94248 1049 171 5.20 5.19/5.22 o -80 5.19/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.25 c 897 7328 15214 408554 26 54810 94248 1056 171 5.22 5.19/5.25 o -81 5.19/5.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.28 c 906 7328 15225 410468 26 54993 94248 1067 172 5.25 5.19/5.28 o -82 5.39/5.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.41 c 914 7328 15235 412378 27 55176 94248 1077 173 5.28 5.39/5.41 c 1014 7328 15337 450228 29 55462 103673 1179 188 5.38 5.39/5.41 o -83 5.39/5.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.45 c 1026 7328 15350 452009 29 55571 94248 1192 189 5.41 5.39/5.45 o -84 5.39/5.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.47 c 1046 7328 15372 459351 29 55782 94248 1214 191 5.45 5.39/5.47 o -85 5.39/5.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.50 c 1052 7328 15380 461259 29 55967 94248 1222 192 5.47 5.39/5.50 o -86 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 1062 7328 15392 463186 30 56162 94248 1234 193 5.50 5.49/5.53 o -87 5.49/5.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.56 c 1075 7328 15407 465120 30 56365 94248 1249 194 5.54 5.49/5.56 o -88 5.49/5.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.59 c 1082 7328 15416 467037 30 56558 94248 1258 194 5.56 5.49/5.59 o -89 5.59/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.61 c 1091 7328 15427 468963 30 56757 94248 1269 195 5.59 5.59/5.61 o -90 5.68/5.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.68/5.72 c 1098 7328 15436 470885 30 56954 94248 1278 195 5.61 5.68/5.72 o -91 5.68/5.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.68/5.74 c 1191 7328 15531 506512 32 57325 94248 1373 208 5.72 5.68/5.74 o -92 5.68/5.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.68/5.76 c 1192 7328 15534 508415 32 57514 94248 1376 207 5.74 5.68/5.76 o -93 5.68/5.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.68/5.78 c 1194 7328 15538 510323 32 57707 94248 1380 207 5.76 5.68/5.78 o -94 66.66/66.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.66/66.78 c 1197 7328 15543 512234 32 57904 94248 1385 206 5.78 66.66/66.78 c 1297 7328 15644 529941 33 58200 103673 1486 220 5.87 66.66/66.78 c 1547 7328 15895 654942 41 58702 114041 1737 253 6.11 66.66/66.78 c 2022 7328 16373 890946 54 59658 125446 2215 308 6.54 66.66/66.78 c 2835 7328 17186 1294459 75 61284 137991 3028 388 7.31 66.66/66.78 c 4155 7328 18507 1948980 105 63926 151791 4349 483 8.60 66.66/66.78 c 6236 7328 20588 2982514 144 68088 166971 6430 572 10.90 66.66/66.78 c 9459 7328 23815 4581588 192 74542 183669 9657 597 15.84 66.66/66.78 c 14395 7328 28757 7034186 244 84426 202036 14599 537 26.78 66.66/66.78 c 21901 7328 36274 10762336 296 99460 222240 22116 477 45.84 66.66/66.78 o -95 67.06/67.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.06/67.13 c 28579 7328 42965 13919455 323 112937 94248 28807 428 66.75 67.06/67.13 c 28679 7328 43066 13938865 323 113234 103673 28908 428 66.91 67.06/67.13 o -96 121.34/121.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.34/121.49 c 28766 7328 43154 13939626 323 113506 94248 28996 428 67.11 121.34/121.49 c 28867 7328 43255 13978119 323 113708 103673 29097 428 67.32 121.34/121.49 c 29117 7328 43505 14016649 322 114208 114041 29347 430 67.66 121.34/121.49 c 29592 7328 43982 14253155 324 115162 125446 29824 432 68.49 121.34/121.49 c 30405 7328 44797 14657172 327 116792 137991 30639 435 69.76 121.34/121.49 c 31725 7328 46118 15313692 332 119434 151791 31960 441 71.89 121.34/121.49 c 33806 7328 48199 16347718 339 123596 166971 34041 448 75.40 121.34/121.49 c 37029 7328 51422 17947273 349 130042 183669 37264 456 81.12 121.34/121.49 c 41965 7328 56363 20399856 361 139924 202036 42205 463 90.47 121.34/121.49 c 49471 7328 63871 24125917 377 154940 222240 49713 467 105.79 121.34/121.49 o -97 121.43/121.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.43/121.54 c 56616 7328 71026 27608725 388 169443 94248 56868 466 121.44 121.43/121.54 o -98 121.43/121.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.43/121.59 c 56624 7328 71036 27612236 388 169658 94248 56878 466 121.50 121.43/121.59 o -99 121.53/121.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.53/121.68 c 56629 7328 71043 27614137 388 169869 94248 56885 465 121.54 121.53/121.68 o -100 121.63/121.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.63/121.75 c 56644 7328 71060 27616070 388 170102 94248 56902 465 121.63 121.63/121.75 o -101 1160.91/1161.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1160.91/1161.45 c 56658 7328 71076 27618007 388 170335 94248 56918 465 121.71 1160.91/1161.45 c 56758 7328 71177 27620198 388 170638 103673 57019 465 121.89 1160.91/1161.45 c 57008 7328 71427 27744699 388 171138 114041 57269 465 122.50 1160.91/1161.45 c 57483 7328 71902 27981699 389 172088 125446 57744 465 123.40 1160.91/1161.45 c 58296 7328 72716 28385212 390 173716 137991 58558 466 124.91 1160.91/1161.45 c 59616 7328 74036 29042224 392 176356 151791 59878 467 127.40 1160.91/1161.45 c 61697 7328 76118 30076248 395 180520 166971 61960 468 131.74 1160.91/1161.45 c 64920 7328 79342 31672737 399 186968 183669 65184 466 139.23 1160.91/1161.45 c 69856 7328 84282 34116451 404 196848 202036 70124 462 151.00 1160.91/1161.45 c 77363 7328 91794 37475046 408 211872 222240 77636 375 206.06 1160.91/1161.45 c 88724 7328 103165 43125144 418 234614 244465 89007 392 226.26 1160.91/1161.45 c 105868 7328 120320 51379684 427 268924 268912 106162 395 267.62 1160.91/1161.45 c 131688 7328 146140 64134928 438 320564 295804 131982 203 646.33 1160.91/1161.45 c 170520 7328 185073 83442422 450 412701 325385 170915 156 1089.89 1160.91/1161.45 o -102 1266.36/1266.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1266.36/1266.90 c 197278 7328 211847 96600940 455 466351 94248 197689 169 1160.97 1266.36/1266.90 o -103 1797.95/1798.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.76 c 197377 7328 26508 6009898 226 71305 94248 12350 155 1266.38 1797.95/1798.76 c 197477 7328 26609 6011985 225 71610 103673 12451 155 1266.51 1797.95/1798.76 c 197727 7328 26859 6047507 225 72110 114041 12701 156 1266.97 1797.95/1798.76 c 198202 7328 27334 6284507 229 73060 125446 13176 156 1267.71 1797.95/1798.76 c 199015 7328 28147 6689014 237 74686 137991 13989 156 1268.83 1797.95/1798.76 c 200335 7328 29467 7344028 249 77326 151791 15309 157 1270.97 1797.95/1798.76 c 202416 7328 31548 8377060 265 81488 166971 17390 158 1275.00 1797.95/1798.76 c 205639 7328 34773 9973633 286 87938 183669 20615 160 1284.92 1797.95/1798.76 c 210575 7328 39716 12421170 312 97824 202036 25558 161 1300.64 1797.95/1798.76 c 218081 7328 47230 16126230 341 112852 222240 33072 164 1324.56 1797.95/1798.76 c 229442 7328 58593 21419790 365 135578 244465 44435 168 1364.16 1797.95/1798.76 c 246586 7328 75763 29932075 395 169918 268912 61605 176 1396.53 1797.95/1798.76 c 272406 7328 101590 42572784 419 221572 295804 87432 175 1555.43 1797.95/1798.76 c 311238 7328 140451 60371947 429 299294 325385 126293 185 1680.95 1797.95/1798.76 c Resources Exceeded 1797.95/1798.76 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 x13 x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 x258 x259 x260 -x261 x262 x263 -x264 x265 -x266 x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 x338 x339 x340 -x341 x342 -x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 x631 -x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 x677 x678 x679 -x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 x775 x776 -x777 -x778 x779 -x780 -x781 x782 x783 -x784 x785 x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 x803 -x804 -x805 -x806 x807 x808 -x809 x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 x850 -x851 -x852 x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 x920 -x921 -x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 x953 -x954 -x955 x956 -x957 -x958 -x959 x960 x961 -x962 x963 -x964 -x965 x966 -x967 -x968 x969 x970 x971 -x972 -x973 x974 -x975 x976 -x977 -x978 x979 x980 -x981 x982 -x983 -x984 -x985 x986 x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 x999 -x1000 1797.95/1798.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.76 c 151 340118 7810 855702 169351 73989160 155193 189 1798.02 1797.95/1798.76 c Objective: -103 1797.95/1798.76 s SATISFIABLE 1797.95/1798.76 c Total time: 1798.02 s
OK -103
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876846-1245209232/watcher-1876846-1245209232 -o /tmp/evaluation-result-1876846-1245209232/solver-1876846-1245209232 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876846-1245209232.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7167 /proc/meminfo: memFree=1799408/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=11276 CPUtime=0 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 188523947 11546624 254 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 2819 255 175 640 0 2036 0 [startup+0.056281 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7167 /proc/meminfo: memFree=1799408/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=12644 CPUtime=0.05 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 700 0 0 0 5 0 0 0 18 0 1 0 188523947 12947456 684 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 3161 685 263 640 0 2378 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12644 [startup+0.101285 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7167 /proc/meminfo: memFree=1799408/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=14504 CPUtime=0.09 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 1348 0 0 0 9 0 0 0 18 0 1 0 188523947 14852096 1193 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 3626 1193 189 640 0 2982 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14504 [startup+0.301307 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7167 /proc/meminfo: memFree=1799408/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=14632 CPUtime=0.29 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 1353 0 0 0 29 0 0 0 19 0 1 0 188523947 14983168 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 3658 1198 189 640 0 3014 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14632 [startup+0.70135 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7167 /proc/meminfo: memFree=1799408/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=14632 CPUtime=0.69 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 1353 0 0 0 69 0 0 0 23 0 1 0 188523947 14983168 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136498222 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 3658 1198 189 640 0 3014 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14632 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1795304/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=14632 CPUtime=1.49 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 1353 0 0 0 149 0 0 0 25 0 1 0 188523947 14983168 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 3658 1198 189 640 0 3014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14632 [startup+3.10162 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1794856/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=15452 CPUtime=3.09 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 1961 0 0 0 306 3 0 0 25 0 1 0 188523947 15822848 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 3863 1424 197 640 0 3219 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15452 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1789416/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=24096 CPUtime=6.29 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 4140 0 0 0 620 9 0 0 25 0 1 0 188523947 24674304 3603 1992294400 134512640 137136520 4294956256 18446744073709551615 134600706 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 6024 3603 197 640 0 5380 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24096 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1750952/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=61752 CPUtime=12.68 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 13554 0 0 0 1253 15 0 0 25 0 1 0 188523947 63234048 13017 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 15438 13017 197 640 0 14794 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61752 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1708648/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=101804 CPUtime=25.48 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 23564 0 0 0 2525 23 0 0 25 0 1 0 188523947 104247296 23027 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 25451 23029 197 640 0 24807 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 101804 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1645288/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=165564 CPUtime=51.07 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 39503 0 0 0 5068 39 0 0 25 0 1 0 188523947 169537536 38966 1992294400 134512640 137136520 4294956256 18446744073709551615 134551664 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 41391 38966 197 640 0 40747 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 165564 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1493800/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=315604 CPUtime=102.25 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 77017 0 0 0 10153 72 0 0 25 0 1 0 188523947 323178496 76480 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 78901 76480 197 640 0 78257 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 315604 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1327656/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=482644 CPUtime=162.22 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 118772 0 0 0 16106 116 0 0 25 0 1 0 188523947 494227456 118235 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 120661 118235 197 640 0 120017 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 482644 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1250920/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=558360 CPUtime=222.2 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 137702 0 0 0 22087 133 0 0 25 0 1 0 188523947 571760640 137165 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 139590 137165 197 640 0 138946 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 558360 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1119272/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=689504 CPUtime=282.18 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 170488 0 0 0 28053 165 0 0 25 0 1 0 188523947 706052096 169951 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 172376 169951 197 640 0 171732 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 689504 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1084840/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=723512 CPUtime=342.15 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 178993 0 0 0 34041 174 0 0 25 0 1 0 188523947 740876288 178456 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 180878 178456 197 640 0 180234 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 723512 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1057000/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=751604 CPUtime=402.13 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 186014 0 0 0 40030 183 0 0 25 0 1 0 188523947 769642496 185477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 187901 185477 197 640 0 187257 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 751604 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1030504/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=777832 CPUtime=462.1 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 192572 0 0 0 46019 191 0 0 25 0 1 0 188523947 796499968 192035 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 194458 192035 197 640 0 193814 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 777832 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=1006120/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=802272 CPUtime=522.07 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 198683 0 0 0 52008 199 0 0 25 0 1 0 188523947 821526528 198146 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 200568 198146 197 640 0 199924 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 802272 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=984936/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=823336 CPUtime=582.05 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 203946 0 0 0 58001 204 0 0 25 0 1 0 188523947 843096064 203409 1992294400 134512640 137136520 4294956256 18446744073709551615 134606777 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 205834 203409 197 640 0 205190 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 823336 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=965224/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=842860 CPUtime=642.03 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 208826 0 0 0 63994 209 0 0 25 0 1 0 188523947 863088640 208289 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 210715 208289 197 640 0 210071 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 842860 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=722536/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1085288 CPUtime=1061.84 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 269433 0 0 0 105912 272 0 0 25 0 1 0 188523947 1111334912 268896 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 271322 268896 197 640 0 270678 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 1085288 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=618216/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1190304 CPUtime=1121.82 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 295680 0 0 0 111885 297 0 0 25 0 1 0 188523947 1218871296 295143 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 297576 295143 197 640 0 296932 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 1190304 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=542312/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1181.8 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 117862 318 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 1264676 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=542248/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1241.77 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 123859 318 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134540860 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 1264676 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=542248/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1301.75 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 129852 323 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134598481 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 1264676 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7168 /proc/meminfo: memFree=542184/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1361.72 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 135843 329 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 1264676 [startup+1422.31 s] /proc/loadavg: 1.06 1.01 1.00 2/65 7168 /proc/meminfo: memFree=542184/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1421.7 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 141833 337 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 1264676 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 7168 /proc/meminfo: memFree=542184/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1481.68 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 147827 341 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 1264676 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1541.65 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 153823 342 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 1264676 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1601.63 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 159815 348 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 1264676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1661.6 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 165807 353 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 1264676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1721.58 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 171799 359 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 1264676 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1781.55 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 177793 362 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 1264676 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1791.15 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 178753 362 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 1264676 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1794.35 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 179073 362 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 1264676 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1795.95 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 179233 362 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 1264676 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1797.55 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 179393 362 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 1264676 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=1264676 CPUtime=1797.95 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194304 314461 0 0 0 179433 362 0 0 25 0 1 0 188523947 1295028224 313730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 316169 313730 197 640 0 315525 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 1264676 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7170 /proc/meminfo: memFree=542056/2055920 swapFree=4191900/4192956 [pid=7167] ppid=7165 vsize=0 CPUtime=1798.15 /proc/7167/stat : 7167 (bsolo) R 7165 7167 6533 0 -1 4194308 314463 0 0 0 179439 376 0 0 25 0 1 0 188523947 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7167/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.95 CPU time (s): 1798.21 CPU user time (s): 1794.4 CPU system time (s): 3.81242 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (KiB): 1265452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.4 system time used= 3.81242 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 314463 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= 2 involuntary context switches= 5974 runsolver used 1.51577 second user time and 5.03623 second system time The end
Begin job on node9 at 2009-06-17 05:27:12 IDJOB=1876846 IDBENCH=48256 IDSOLVER=699 FILE ID=node9/1876846-1245209232 PBS_JOBID= 9368362 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876846-1245209232/watcher-1876846-1245209232 -o /tmp/evaluation-result-1876846-1245209232/solver-1876846-1245209232 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876846-1245209232.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED=865402203 node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1800272 kB Buffers: 57328 kB Cached: 130772 kB SwapCached: 260 kB Active: 103884 kB Inactive: 97044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800272 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4132 kB Writeback: 0 kB Mapped: 21996 kB Slab: 40784 kB Committed_AS: 186776 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876846-1245209232.opb Free space on /tmp at the end= 66156 MiB End job on node9 at 2009-06-17 05:57:12