Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -106 | 1798.86 | 1799.44 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb |
MD5SUM | 162153f0f0e5f8f2e587b9d579ee09dc |
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 | -99 |
Best CPU time to get the best result obtained on this benchmark | 1800.62 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -136 |
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) | 12636 |
Sum of products size (including duplicates) | 25272 |
Number of different products | 6318 |
Sum of products size | 12636 |
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: Generic Pseudo-Boolean 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-1879708-1245247290.opb 0.00/0.00 c File size is 566997 bytes. 0.02/0.08 c Highest Coefficient sum: 1000 0.02/0.08 c Parsing was ok!! 0.02/0.08 c Total parsing time: 0.084 s 0.02/0.09 c Var: 7318 Constr: 14138 6818/1002/6318 Lit: 53544 Watch. Lit: 46228 0.02/0.09 c Obj. Vars: 500 (6.83247 % of total variables) 1.89/1.99 c Pre-processing Time: 1.994 s 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 0 7318 14138 53544 3 46228 93231 0 0 1.99 1.89/1.99 c Switching off lower bounding mode. 1.99/2.01 o -1 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 7318 14139 54044 3 46231 93564 1 0 2.01 1.99/2.08 o -2 2.09/2.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.15 c 1 7318 14142 55544 3 46240 93731 4 0 2.08 2.09/2.15 o -3 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 2 7318 14145 57059 4 46251 93898 7 0 2.15 2.19/2.22 o -4 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 3 7318 14148 58574 4 46264 94064 10 1 2.23 2.19/2.29 o -5 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 4 7318 14151 60102 4 46279 94231 13 1 2.30 2.29/2.37 o -6 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 5 7318 14154 61630 4 46296 94231 16 2 2.37 2.39/2.44 o -7 2.49/2.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.51 c 6 7318 14157 63169 4 46315 94231 19 2 2.44 2.49/2.51 o -8 2.49/2.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.58 c 7 7318 14160 64719 4 46336 94231 22 2 2.51 2.49/2.58 o -9 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 8 7318 14163 66273 4 46359 94231 25 3 2.58 2.59/2.65 o -10 2.69/2.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.72 c 9 7318 14166 67847 4 46384 94231 28 3 2.65 2.69/2.72 o -11 2.69/2.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.78 c 10 7318 14169 69420 4 46411 94231 31 3 2.72 2.69/2.78 o -12 2.79/2.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.85 c 11 7318 14172 71008 5 46440 94231 34 3 2.79 2.79/2.85 o -13 2.89/2.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.92 c 14 7318 14179 72630 5 46501 94231 41 4 2.86 2.89/2.92 o -14 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 16 7318 14184 74259 5 46551 94231 46 5 2.92 2.89/2.98 o -15 2.98/3.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.05 c 24 7318 14201 75995 5 46699 94231 63 8 2.99 2.98/3.05 o -16 3.08/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.11 c 25 7318 14204 77605 5 46736 94231 66 8 3.05 3.08/3.11 o -17 3.08/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.18 c 27 7318 14209 79230 5 46787 94231 71 8 3.12 3.08/3.18 o -18 3.19/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.24 c 30 7318 14216 82823 5 46886 94231 78 9 3.18 3.19/3.24 o -19 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 33 7318 14223 85443 6 46976 94231 85 10 3.25 3.29/3.31 o -20 3.29/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.37 c 35 7318 14228 88052 6 47052 94231 90 10 3.31 3.29/3.37 o -21 3.39/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.43 c 37 7318 14233 90661 6 47131 94231 95 10 3.37 3.39/3.43 o -22 3.39/3.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.49 c 39 7318 14238 93284 6 47213 94231 100 11 3.43 3.39/3.49 o -23 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 41 7318 14243 95917 6 47298 94231 105 11 3.49 3.49/3.55 o -24 3.59/3.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.61 c 47 7318 14256 98627 6 47455 94231 118 13 3.55 3.59/3.61 o -25 3.59/3.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.67 c 50 7318 14263 102240 7 47582 94231 125 13 3.62 3.59/3.67 o -26 3.69/3.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.74 c 53 7318 14270 105860 7 47713 94231 132 14 3.68 3.69/3.74 o -27 3.69/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.79 c 56 7318 14277 109479 7 47848 94231 139 14 3.74 3.69/3.79 o -28 3.79/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.86 c 59 7318 14284 113102 7 47987 94231 146 15 3.80 3.79/3.86 o -29 3.89/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.92 c 67 7318 14301 116815 8 48206 94231 163 17 3.86 3.89/3.92 o -30 3.89/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.98 c 75 7318 14318 121479 8 48454 94231 180 19 3.92 3.89/3.98 o -31 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 83 7318 14335 126154 8 48703 94231 197 20 3.98 3.99/4.05 o -32 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 101 7318 14372 131014 9 49109 94231 234 24 4.05 4.09/4.11 o -33 4.09/4.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.17 c 109 7318 14389 135705 9 49377 94231 251 26 4.11 4.09/4.17 o -34 4.18/4.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.22 c 120 7318 14412 140435 9 49681 94231 274 28 4.17 4.18/4.22 o -35 4.18/4.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.28 c 124 7318 14421 145067 10 49894 94231 283 29 4.23 4.18/4.28 o -36 4.29/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.34 c 129 7318 14432 149712 10 50125 94231 294 30 4.28 4.29/4.34 o -37 4.29/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.39 c 139 7318 14453 154430 10 50422 94231 315 32 4.34 4.29/4.39 o -38 4.39/4.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.45 c 145 7318 14466 159097 10 50683 94231 328 32 4.40 4.39/4.45 o -39 4.49/4.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.50 c 151 7318 14479 163760 11 50948 94231 341 33 4.45 4.49/4.50 o -40 4.49/4.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.55 c 156 7318 14490 168413 11 51203 94231 352 34 4.50 4.49/4.55 o -41 4.59/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.61 c 160 7318 14499 173045 11 51446 94231 361 35 4.56 4.59/4.61 o -42 4.59/4.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.67 c 171 7318 14522 177802 12 51803 94231 384 37 4.61 4.59/4.67 o -43 4.69/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.72 c 180 7318 14541 182515 12 52127 94231 403 38 4.67 4.69/4.72 o -44 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 185 7318 14552 187174 12 52403 94231 414 39 4.72 4.69/4.77 o -45 4.79/4.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.82 c 197 7318 14577 191956 13 52788 94231 439 41 4.77 4.79/4.82 o -46 4.79/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.87 c 207 7318 14598 196712 13 53151 94231 460 42 4.83 4.79/4.87 o -47 4.89/4.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.93 c 216 7318 14617 201453 13 53502 94231 479 44 4.88 4.89/4.93 o -48 4.89/4.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.98 c 228 7318 14642 206241 14 53905 94231 504 46 4.93 4.89/4.98 o -49 4.98/5.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.02 c 233 7318 14653 210913 14 54201 94231 515 46 4.98 4.98/5.02 o -50 4.98/5.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.07 c 237 7318 14662 215576 14 54489 94231 524 47 5.03 4.98/5.07 o -51 5.08/5.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.12 c 242 7318 14673 220259 15 54800 94231 535 47 5.07 5.08/5.12 o -52 5.08/5.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.16 c 247 7318 14684 224942 15 55114 94231 546 48 5.12 5.08/5.16 o -53 5.18/5.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.20 c 252 7318 14695 229624 15 55432 94231 557 48 5.16 5.18/5.20 o -54 5.18/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.25 c 258 7318 14708 234335 15 55773 94231 570 49 5.21 5.18/5.25 o -55 5.18/5.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.29 c 266 7318 14725 239075 16 56144 94231 587 50 5.25 5.18/5.29 o -56 5.29/5.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.34 c 271 7318 14736 243760 16 56475 94231 598 51 5.30 5.29/5.34 o -57 5.29/5.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.39 c 282 7318 14759 248551 16 56904 94231 621 52 5.34 5.29/5.39 o -58 5.39/5.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.44 c 294 7318 14784 253345 17 57340 94231 646 54 5.39 5.39/5.44 o -59 5.39/5.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.49 c 302 7318 14801 259930 17 57844 94231 663 55 5.44 5.39/5.49 o -60 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 316 7318 14830 265690 17 58388 94231 692 57 5.49 5.49/5.53 o -61 5.49/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.58 c 324 7318 14847 271351 18 58847 94231 709 58 5.53 5.49/5.58 o -62 5.59/5.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.62 c 333 7318 14866 277021 18 59324 94231 728 59 5.58 5.59/5.62 o -63 5.59/5.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.66 c 339 7318 14879 282641 18 59763 94231 741 60 5.62 5.59/5.66 o -64 5.69/5.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.71 c 348 7318 14898 288314 19 60258 94231 760 61 5.67 5.69/5.71 o -65 5.69/5.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.75 c 361 7318 14925 294036 19 60804 94231 787 63 5.71 5.69/5.75 o -66 5.78/5.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.78/5.81 c 372 7318 14948 299723 20 61329 94231 810 64 5.76 5.78/5.81 o -67 5.78/5.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.78/5.86 c 392 7318 14989 305589 20 62020 94231 851 67 5.81 5.78/5.86 o -68 5.88/5.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.91 c 408 7318 15022 311383 20 62657 94231 884 69 5.86 5.88/5.91 o -69 5.88/5.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.96 c 424 7318 15055 317153 21 63280 94231 917 71 5.91 5.88/5.96 o -70 5.99/6.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.00 c 436 7318 15080 322857 21 63852 94231 942 73 5.96 5.99/6.00 o -71 5.99/6.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.03 c 444 7318 15097 328494 21 64370 94231 959 73 6.00 5.99/6.03 o -72 5.99/6.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.08 c 449 7318 15108 334084 22 64851 94231 970 74 6.04 5.99/6.08 o -73 6.09/6.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.13 c 465 7318 15141 339861 22 65508 94231 1003 76 6.08 6.09/6.13 o -74 6.09/6.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.17 c 477 7318 15166 345561 22 66096 94231 1028 77 6.13 6.09/6.17 o -75 6.18/6.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.20 c 485 7318 15183 351192 23 66636 94231 1045 78 6.17 6.18/6.20 o -76 6.18/6.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.24 c 492 7318 15198 356810 23 67169 94231 1060 79 6.21 6.18/6.24 o -77 6.18/6.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.28 c 501 7318 15217 362460 23 67739 94231 1079 80 6.25 6.18/6.28 o -78 6.29/6.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.32 c 509 7318 15234 368093 24 68303 94231 1096 81 6.28 6.29/6.32 o -79 6.29/6.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.36 c 516 7318 15249 373703 24 68855 94231 1111 81 6.32 6.29/6.36 o -80 6.39/6.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.40 c 527 7318 15272 379374 24 69467 94231 1134 82 6.36 6.39/6.40 o -81 6.39/6.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.44 c 538 7318 15295 385064 25 70103 94231 1157 84 6.40 6.39/6.44 o -82 6.39/6.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.48 c 549 7318 15318 390734 25 70728 94231 1180 85 6.44 6.39/6.48 o -83 6.49/6.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.52 c 562 7318 15345 396445 25 71397 94231 1207 86 6.48 6.49/6.52 o -84 6.49/6.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.56 c 576 7318 15374 402163 26 72078 94231 1236 88 6.53 6.49/6.56 o -85 6.49/6.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.60 c 588 7318 15399 407847 26 72735 94231 1261 89 6.57 6.49/6.60 o -86 6.59/6.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.64 c 598 7318 15420 413509 26 73379 94231 1282 90 6.61 6.59/6.64 o -87 6.59/6.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.67 c 604 7318 15433 419093 27 73964 94231 1295 90 6.64 6.59/6.67 o -88 6.68/6.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.71 c 618 7318 15462 424810 27 74675 94231 1324 92 6.68 6.68/6.71 o -89 6.68/6.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.74 c 625 7318 15477 430404 27 75286 94231 1339 93 6.71 6.68/6.74 o -90 6.68/6.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.78 c 633 7318 15494 436011 28 75917 94231 1356 93 6.75 6.68/6.78 o -91 6.78/6.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.78/6.82 c 644 7318 15517 441659 28 76591 94231 1379 94 6.78 6.78/6.82 o -92 35.77/35.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.77/35.85 c 653 7318 15536 447278 28 77250 94231 1398 95 6.82 35.77/35.85 c 753 7318 15736 492724 31 87381 103655 1598 108 6.95 35.77/35.85 c 1007 7318 16244 854491 52 215135 114021 2106 119 8.46 35.77/35.85 c 1483 7318 17196 1240439 72 348866 125424 3058 96 15.42 35.77/35.85 c 2299 7318 18828 2422998 128 912798 137967 4690 80 28.59 35.77/35.85 o -93 36.67/36.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.67/36.70 c 2691 7318 19613 2919423 148 1108935 94231 5475 75 35.84 36.67/36.70 o -94 37.57/37.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.57/37.65 c 2742 7318 19716 2934294 148 1105561 94231 5578 74 36.69 37.57/37.65 o -95 37.87/37.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.87/37.99 c 2773 7318 19779 2942170 148 1101714 94231 5641 73 37.64 37.87/37.99 o -96 38.77/38.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.77/38.89 c 2786 7318 19806 2947869 148 1100564 94231 5668 73 37.98 38.77/38.89 o -97 39.27/39.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.27/39.37 c 2817 7318 19868 2955615 148 1099126 94231 5730 72 38.88 39.27/39.37 o -98 40.17/40.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.17/40.21 c 2827 7318 19889 2958542 148 1098791 94231 5751 71 39.36 40.17/40.21 o -99 67.36/67.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.36/67.41 c 2835 7318 19906 2961441 148 1098164 94231 5768 70 40.20 67.36/67.41 c 2935 7318 20106 2974396 147 1076548 103655 5968 71 41.28 67.36/67.41 c 3189 7318 20614 3339252 161 1222392 114021 6476 68 46.80 67.36/67.41 c 3664 7318 21564 3777643 175 1348830 125424 7426 64 56.97 67.36/67.41 o -100 68.56/68.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.56/68.65 c 4083 7318 22402 4214938 188 1499384 94231 8264 60 67.39 68.56/68.65 o -101 110.25/110.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 110.25/110.32 c 4117 7318 22471 4230700 188 1499319 94231 8333 59 68.63 110.25/110.32 c 4217 7318 22671 4241449 187 1480744 103655 8533 60 70.13 110.25/110.32 c 4467 7318 23170 4305408 185 1468033 114021 9032 57 77.69 110.25/110.32 c 4942 7318 24120 4844761 200 1718907 125424 9982 53 93.21 110.25/110.32 o -102 110.55/110.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 110.55/110.65 c 5594 7318 25425 5625578 221 2015572 94231 11287 50 110.29 110.55/110.65 o -103 110.85/110.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 110.85/110.98 c 5610 7318 25458 5635470 221 2017210 94231 11320 50 110.62 110.85/110.98 o -104 111.45/111.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 111.45/111.56 c 5618 7318 25475 5640178 221 2017334 94231 11337 50 110.95 111.45/111.56 o -105 111.95/112.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 111.95/112.04 c 5633 7318 25506 5643200 221 2015045 94231 11368 50 111.53 111.95/112.04 o -106 1798.71/1799.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.71/1799.37 c 5639 7318 25519 5651073 221 2016364 94231 11381 50 112.01 1798.71/1799.37 c 5739 7318 25719 5661784 220 1975596 103655 11581 50 113.58 1798.71/1799.37 c 5989 7318 26219 5977533 227 2186703 114021 12081 48 123.52 1798.71/1799.37 c 6465 7318 27171 6504761 239 2375070 125424 13033 47 135.93 1798.71/1799.37 c 7279 7318 28799 7392625 256 2640231 137967 14661 45 161.35 1798.71/1799.37 c 8601 7318 31439 8644749 274 3020592 151764 17301 40 214.95 1798.71/1799.37 c 10684 7318 35601 12517080 351 3818763 166941 21463 29 358.58 1798.71/1799.37 c 13907 7318 42028 18074997 430 4886099 183636 27890 17 787.65 1798.71/1799.37 c Resources Exceeded 1798.71/1799.37 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 -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 1798.71/1799.37 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.71/1799.37 c 123 17312 6838 229112 48814 22847522 34676 9 1798.79 1798.71/1799.37 c Objective: -106 1798.71/1799.37 s SATISFIABLE 1798.71/1799.37 c Total time: 1798.79 s
OK -106
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879708-1245247290/watcher-1879708-1245247290 -o /tmp/evaluation-result-1879708-1245247290/solver-1879708-1245247290 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879708-1245247290.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.01 0.94 3/64 7065 /proc/meminfo: memFree=1581248/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=11276 CPUtime=0 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 192324814 11546624 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 2819 248 174 640 0 2036 0 [startup+0.0235449 s] /proc/loadavg: 1.00 1.01 0.94 3/64 7065 /proc/meminfo: memFree=1581248/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=11812 CPUtime=0.02 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 404 0 0 0 2 0 0 0 18 0 1 0 192324814 12095488 388 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 2953 388 199 640 0 2170 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11812 [startup+0.101557 s] /proc/loadavg: 1.00 1.01 0.94 3/64 7065 /proc/meminfo: memFree=1581248/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=14500 CPUtime=0.09 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 1347 0 0 0 9 0 0 0 18 0 1 0 192324814 14848000 1192 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 3625 1192 189 640 0 2981 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14500 [startup+0.301589 s] /proc/loadavg: 1.00 1.01 0.94 3/64 7065 /proc/meminfo: memFree=1581248/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=14624 CPUtime=0.29 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 1351 0 0 0 29 0 0 0 19 0 1 0 192324814 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14624 [startup+0.701657 s] /proc/loadavg: 1.00 1.01 0.94 3/64 7065 /proc/meminfo: memFree=1581248/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=14624 CPUtime=0.69 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 1351 0 0 0 69 0 0 0 22 0 1 0 192324814 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14624 [startup+1.50179 s] /proc/loadavg: 1.00 1.01 0.94 2/65 7066 /proc/meminfo: memFree=1577272/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=14624 CPUtime=1.49 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 1351 0 0 0 149 0 0 0 25 0 1 0 192324814 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14624 [startup+3.10106 s] /proc/loadavg: 1.00 1.01 0.94 2/65 7066 /proc/meminfo: memFree=1576824/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=15144 CPUtime=3.08 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 1885 0 0 0 306 2 0 0 25 0 1 0 192324814 15507456 1347 1992294400 134512640 137136520 4294956256 18446744073709551615 134574390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 3786 1347 197 640 0 3142 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15144 [startup+6.30159 s] /proc/loadavg: 1.00 1.01 0.94 2/65 7066 /proc/meminfo: memFree=1573824/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=19388 CPUtime=6.29 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 2946 0 0 0 622 7 0 0 25 0 1 0 192324814 19853312 2408 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 4847 2408 197 640 0 4203 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19388 [startup+12.7017 s] /proc/loadavg: 1.00 1.01 0.94 2/65 7066 /proc/meminfo: memFree=1557248/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=34376 CPUtime=12.68 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 6682 0 0 0 1258 10 0 0 25 0 1 0 192324814 35201024 6144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 8594 6144 197 640 0 7950 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34376 [startup+25.5018 s] /proc/loadavg: 1.00 1.01 0.94 2/65 7066 /proc/meminfo: memFree=1535424/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=56488 CPUtime=25.48 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 12208 0 0 0 2534 14 0 0 25 0 1 0 192324814 57843712 11670 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 14122 11670 197 640 0 13478 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56488 [startup+51.1011 s] /proc/loadavg: 1.00 1.01 0.94 2/65 7066 /proc/meminfo: memFree=1504256/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=87504 CPUtime=51.06 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 19994 0 0 0 5086 20 0 0 25 0 1 0 192324814 89604096 19456 1992294400 134512640 137136520 4294956256 18446744073709551615 134576714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 21876 19456 197 640 0 21232 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 87504 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.94 2/65 7066 /proc/meminfo: memFree=1466944/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=124520 CPUtime=102.25 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 29243 0 0 0 10197 28 0 0 25 0 1 0 192324814 127508480 28705 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 31130 28705 197 640 0 30486 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 124520 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 7066 /proc/meminfo: memFree=1420864/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=170264 CPUtime=162.23 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 40671 0 0 0 16187 36 0 0 25 0 1 0 192324814 174350336 40133 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 42566 40133 197 640 0 41922 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 170264 [startup+222.302 s] /proc/loadavg: 1.06 1.02 0.95 2/65 7066 /proc/meminfo: memFree=1394560/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=196688 CPUtime=222.21 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 47275 0 0 0 22178 43 0 0 25 0 1 0 192324814 201408512 46737 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 49172 46737 197 640 0 48528 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 196688 [startup+282.302 s] /proc/loadavg: 1.08 1.03 0.95 2/65 7066 /proc/meminfo: memFree=1358656/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=232776 CPUtime=282.19 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 56293 0 0 0 28171 48 0 0 25 0 1 0 192324814 238362624 55755 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 58194 55755 197 640 0 57550 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 232776 [startup+342.302 s] /proc/loadavg: 1.03 1.02 0.95 2/65 7066 /proc/meminfo: memFree=1332928/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=258032 CPUtime=342.17 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 62612 0 0 0 34165 52 0 0 25 0 1 0 192324814 264224768 62074 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 64508 62074 198 640 0 63864 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 258032 [startup+402.302 s] /proc/loadavg: 1.01 1.01 0.95 2/65 7066 /proc/meminfo: memFree=1311552/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=279596 CPUtime=402.15 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 68008 0 0 0 40159 56 0 0 25 0 1 0 192324814 286306304 67470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 69899 67470 198 640 0 69255 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 279596 [startup+462.302 s] /proc/loadavg: 1.00 1.01 0.95 2/65 7066 /proc/meminfo: memFree=1294464/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=296468 CPUtime=462.14 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 72229 0 0 0 46155 59 0 0 25 0 1 0 192324814 303583232 71691 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 74117 71691 198 640 0 73473 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 296468 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1277376/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=313460 CPUtime=522.11 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 76473 0 0 0 52150 61 0 0 25 0 1 0 192324814 320983040 75935 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 78365 75935 198 640 0 77721 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 313460 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1265216/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=325500 CPUtime=582.09 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 79477 0 0 0 58146 63 0 0 25 0 1 0 192324814 333312000 78939 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 81375 78939 198 640 0 80731 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 325500 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1253376/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=337248 CPUtime=642.08 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 82418 0 0 0 64143 65 0 0 25 0 1 0 192324814 345341952 81880 1992294400 134512640 137136520 4294956256 18446744073709551615 134598574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 84312 81880 198 640 0 83668 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 337248 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1189696/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=400904 CPUtime=1121.92 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 98330 0 0 0 112117 75 0 0 25 0 1 0 192324814 410525696 97792 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 100226 97792 198 640 0 99582 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 400904 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1183104/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=407412 CPUtime=1181.9 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 99967 0 0 0 118114 76 0 0 25 0 1 0 192324814 417189888 99420 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 101853 99420 198 640 0 101209 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 407412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1179904/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=410352 CPUtime=1241.88 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 100698 0 0 0 124112 76 0 0 25 0 1 0 192324814 420200448 100151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 102588 100151 198 640 0 101944 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 410352 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1176704/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=413384 CPUtime=1301.87 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 101468 0 0 0 130110 77 0 0 25 0 1 0 192324814 423305216 100921 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 103346 100921 198 640 0 102702 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 413384 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1171776/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=418272 CPUtime=1361.85 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 102680 0 0 0 136107 78 0 0 25 0 1 0 192324814 428310528 102133 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 104568 102133 198 640 0 103924 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 418272 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1168832/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=421180 CPUtime=1421.83 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 103406 0 0 0 142105 78 0 0 25 0 1 0 192324814 431288320 102859 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 105295 102859 198 640 0 104651 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 421180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1165184/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=424824 CPUtime=1481.81 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 104317 0 0 0 148102 79 0 0 25 0 1 0 192324814 435019776 103770 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 106206 103770 198 640 0 105562 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 424824 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1163008/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=426996 CPUtime=1541.79 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 104864 0 0 0 154100 79 0 0 25 0 1 0 192324814 437243904 104317 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 106749 104317 198 640 0 106105 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 426996 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1160512/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=429444 CPUtime=1601.77 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 105487 0 0 0 160097 80 0 0 25 0 1 0 192324814 439750656 104940 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 107361 104940 198 640 0 106717 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 429444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1157120/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=432940 CPUtime=1661.75 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 106337 0 0 0 166095 80 0 0 25 0 1 0 192324814 443330560 105790 1992294400 134512640 137136520 4294956256 18446744073709551615 134544138 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 108235 105790 198 640 0 107591 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 432940 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1152448/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=437548 CPUtime=1721.73 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 107500 0 0 0 172092 81 0 0 25 0 1 0 192324814 448049152 106953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 109387 106953 198 640 0 108743 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 437548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1148288/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=441536 CPUtime=1781.72 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108495 0 0 0 178090 82 0 0 25 0 1 0 192324814 452132864 107948 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110384 107948 198 640 0 109740 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 441536 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147776/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=442052 CPUtime=1791.31 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108623 0 0 0 179049 82 0 0 25 0 1 0 192324814 452661248 108076 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110513 108076 198 640 0 109869 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 442052 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147712/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=442052 CPUtime=1794.51 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108638 0 0 0 179369 82 0 0 25 0 1 0 192324814 452661248 108091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110513 108091 198 640 0 109869 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 442052 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147648/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=442156 CPUtime=1796.11 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108650 0 0 0 179529 82 0 0 25 0 1 0 192324814 452767744 108103 1992294400 134512640 137136520 4294956256 18446744073709551615 134573581 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110539 108103 198 640 0 109895 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 442156 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147648/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=442156 CPUtime=1797.71 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108655 0 0 0 179689 82 0 0 25 0 1 0 192324814 452767744 108108 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110539 108108 198 640 0 109895 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 442156 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147648/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=442156 CPUtime=1798.51 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108659 0 0 0 179769 82 0 0 25 0 1 0 192324814 452767744 108112 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110539 108112 198 640 0 109895 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (KiB) 442156 [startup+1799.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147648/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=442156 CPUtime=1798.71 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194304 108659 0 0 0 179789 82 0 0 25 0 1 0 192324814 452767744 108112 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 110539 108112 198 640 0 109895 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (KiB) 442156 [startup+1799.4 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7066 /proc/meminfo: memFree=1147648/2055920 swapFree=4192952/4192956 [pid=7065] ppid=7063 vsize=0 CPUtime=1798.81 /proc/7065/stat : 7065 (bsolo) R 7063 7065 6214 0 -1 4194308 108673 0 0 0 179796 85 0 0 25 0 1 0 192324814 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7065/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.81 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1799.44 CPU time (s): 1798.86 CPU user time (s): 1797.96 CPU system time (s): 0.896863 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 442156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.96 system time used= 0.896863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108673 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= 2900 runsolver used 1.37579 second user time and 3.64844 second system time The end
Begin job on node57 at 2009-06-17 16:01:30 IDJOB=1879708 IDBENCH=48258 IDSOLVER=701 FILE ID=node57/1879708-1245247290 PBS_JOBID= 9372286 Free space on /tmp= 66456 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879708-1245247290/watcher-1879708-1245247290 -o /tmp/evaluation-result-1879708-1245247290/solver-1879708-1245247290 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879708-1245247290.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED=1160356525 node57.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.263 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.263 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: 1582944 kB Buffers: 37040 kB Cached: 344776 kB SwapCached: 4 kB Active: 35332 kB Inactive: 359412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1582944 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 4240 kB Writeback: 0 kB Mapped: 22712 kB Slab: 64328 kB Committed_AS: 90784 kB PageTables: 1392 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-1879708-1245247290.opb Free space on /tmp at the end= 66452 MiB End job on node57 at 2009-06-17 16:31:30