Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 6 | 1798.11 | 1798.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb |
MD5SUM | 65a3c38bd8963c911b96c745ee468cb1 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 456.345 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3062 |
Sum of products size (including duplicates) | 6124 |
Number of different products | 3062 |
Sum of products size | 6124 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670886-1276710218.opb 0.00/0.00 c File size is 218884 bytes. 0.02/0.03 c Highest Coefficient sum: 100 0.02/0.03 c Parsing was ok!! 0.02/0.03 c Total parsing time: 0.036 s 0.02/0.04 c Var: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510 0.02/0.04 c Obj. Vars: 100 (3.16256 % of total variables) 0.19/0.23 c Pre-processing Time: 0.228 s 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6224 21534 3 15510 19425 0 0 0.23 0.19/0.23 c Switching off lower bounding mode. 0.19/0.23 o 99 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6225 21634 3 15513 19492 1 0 0.23 0.19/0.23 o 98 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6226 21734 3 15517 19592 2 0 0.23 0.19/0.23 o 97 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6227 21834 3 15522 19725 3 0 0.24 0.19/0.24 o 96 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6228 21934 3 15528 19892 4 0 0.24 0.19/0.24 o 95 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6229 22034 3 15535 20092 5 0 0.24 0.19/0.24 o 94 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6230 22134 3 15543 20325 6 0 0.25 0.19/0.25 o 93 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6231 22234 3 15552 20592 7 0 0.25 0.19/0.25 o 92 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6232 22334 3 15562 20892 8 0 0.25 0.19/0.25 o 91 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6233 22434 3 15573 21225 9 0 0.26 0.19/0.26 o 90 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6234 22534 3 15585 21592 10 0 0.26 0.19/0.26 o 89 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6235 22634 3 15598 21992 11 0 0.26 0.19/0.26 o 88 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6236 22734 3 15612 22425 12 0 0.27 0.19/0.27 o 87 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6237 22834 3 15627 22892 13 0 0.27 0.19/0.27 o 86 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6238 22934 3 15643 23392 14 0 0.27 0.19/0.27 o 85 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6239 23034 3 15660 23925 15 0 0.28 0.19/0.28 o 84 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6240 23134 3 15678 24492 16 0 0.28 0.19/0.28 o 83 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6241 23234 3 15697 25092 17 0 0.28 0.19/0.28 o 82 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6242 23334 3 15717 25725 18 0 0.29 0.19/0.29 o 81 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6243 23434 3 15738 26392 19 0 0.29 0.19/0.29 o 80 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6244 23534 3 15760 27092 20 0 0.29 0.19/0.29 o 79 0.19/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.30 c 0 3162 6245 23634 3 15783 27825 21 0 0.30 0.19/0.30 o 78 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6246 23734 3 15807 28592 22 0 0.30 0.29/0.30 o 77 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6247 23834 3 15832 29392 23 0 0.30 0.29/0.30 o 76 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6248 23934 3 15858 30225 24 0 0.31 0.29/0.31 o 75 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6249 24034 3 15885 31092 25 0 0.31 0.29/0.31 o 74 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6250 24134 3 15913 31992 26 0 0.31 0.29/0.31 o 73 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6251 24234 3 15942 32925 27 0 0.32 0.29/0.32 o 72 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6252 24334 3 15972 33892 28 0 0.32 0.29/0.32 o 71 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6253 24434 3 16003 34892 29 0 0.32 0.29/0.32 o 70 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6254 24534 3 16035 35892 30 0 0.33 0.29/0.33 o 69 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6255 24634 3 16068 36892 31 0 0.33 0.29/0.33 o 68 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6256 24734 3 16102 37892 32 0 0.33 0.29/0.33 o 67 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6257 24834 3 16137 38892 33 0 0.34 0.29/0.33 o 66 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6258 24934 3 16173 39892 34 0 0.34 0.29/0.34 o 65 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6259 25034 3 16210 40892 35 0 0.34 0.29/0.34 o 64 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6260 25134 4 16248 41892 36 0 0.34 0.29/0.34 o 63 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6261 25234 4 16287 42892 37 0 0.35 0.29/0.35 o 62 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6262 25334 4 16327 43892 38 0 0.35 0.29/0.35 o 61 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6263 25434 4 16368 44892 39 0 0.35 0.29/0.35 o 60 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6264 25534 4 16410 45892 40 0 0.36 0.29/0.36 o 59 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6265 25634 4 16453 46892 41 0 0.36 0.29/0.36 o 58 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6266 25734 4 16497 47892 42 0 0.36 0.29/0.36 o 57 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6267 25834 4 16542 48892 43 0 0.37 0.29/0.36 o 56 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6268 25934 4 16588 49892 44 0 0.37 0.29/0.37 o 55 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6269 26034 4 16635 50892 45 0 0.37 0.29/0.37 o 54 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6270 26134 4 16683 51892 46 0 0.37 0.29/0.37 o 53 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 3162 6271 26234 4 16732 52892 47 0 0.38 0.29/0.38 o 52 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 3162 6272 26334 4 16782 53892 48 0 0.38 0.29/0.38 o 51 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 3162 6273 26434 4 16833 54892 49 0 0.38 0.29/0.38 o 50 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 0 3162 6274 26534 4 16885 55892 50 0 0.39 0.29/0.39 o 39 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 1 3162 6276 26684 4 16950 55892 52 2 0.39 0.29/0.39 o 9 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 1 3162 6277 26784 4 17043 55892 53 2 0.39 0.39/0.43 c 101 3162 6377 34442 5 17243 61482 153 233 0.43 0.39/0.43 o 8 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 101 3162 6378 34542 5 17337 55892 154 231 0.44 0.49/0.54 c 202 3162 6479 45812 7 17539 61482 255 422 0.48 0.49/0.54 o 7 195.95/196.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 195.95/196.04 c 382 3162 6660 65393 9 17994 55892 436 707 0.54 195.95/196.04 c 482 3162 6760 75751 11 18194 61482 536 826 0.58 195.95/196.04 c 733 3162 7011 98791 14 18696 67631 787 1071 0.68 195.95/196.04 c 1209 3162 7487 150431 20 19648 74395 1263 1315 0.92 195.95/196.04 c 2023 3162 8301 237001 28 21276 81835 2077 1491 1.36 195.95/196.04 c 3344 3162 9622 400812 41 23918 90019 3398 1487 2.25 195.95/196.04 c 5425 3162 11703 594175 50 28080 99021 5479 1323 4.10 195.95/196.04 c 8648 3162 14926 919165 61 34526 108924 8702 1010 8.56 195.95/196.04 c 13584 3162 19862 1413641 71 44398 119817 13638 815 16.66 195.95/196.04 c 21093 3162 27371 2102387 76 59416 131799 21147 572 36.83 195.95/196.04 c 32456 3162 38734 3375157 87 82142 144979 32510 393 82.43 195.95/196.04 c 49601 3162 55879 5168740 92 116432 159477 49655 268 184.41 195.95/196.04 o 6 1798.05/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.05/1798.51 c 50854 3162 57133 5528791 96 119034 55892 50909 259 196.00 1798.05/1798.51 c 50954 3162 57233 5537058 96 119234 61482 51009 258 197.02 1798.05/1798.51 c 51204 3162 57483 5554397 96 119734 67631 51259 257 198.96 1798.05/1798.51 c 51679 3162 57958 5584926 96 120684 74395 51734 255 202.61 1798.05/1798.51 c 52493 3162 58772 5654157 96 122312 81835 52548 252 208.12 1798.05/1798.51 c 53818 3162 60097 5761731 95 124962 90019 53873 249 215.69 1798.05/1798.51 c 55900 3162 62179 5979610 96 129126 99021 55955 243 229.32 1798.05/1798.51 c 59125 3162 65404 6330564 96 135576 108924 59180 239 246.41 1798.05/1798.51 c 64063 3162 70342 6791994 96 145452 119817 64118 233 274.06 1798.05/1798.51 c 71569 3162 77848 9260352 118 160464 131799 71624 214 334.42 1798.05/1798.51 c 82931 3162 89210 10622973 119 183188 144979 82986 187 443.22 1798.05/1798.51 c 100075 3162 106354 13857542 130 217476 159477 100130 160 623.64 1798.05/1798.51 c 125900 3162 132179 19647418 148 269126 175425 125955 127 986.41 1798.05/1798.51 c 164732 3162 171011 23345847 136 346790 192968 164787 97 1685.58 1798.05/1798.51 c Resources Exceeded 1798.05/1798.51 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 -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 -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 1798.05/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.05/1798.51 c 81 169305 48842 278024 175584 24668370 169360 94 1798.07 1798.05/1798.51 c Objective: 6 1798.05/1798.51 s SATISFIABLE 1798.05/1798.51 c Total time: 1798.07 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670886-1276710218/watcher-2670886-1276710218 -o /tmp/evaluation-result-2670886-1276710218/solver-2670886-1276710218 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670886-1276710218.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17315 /proc/meminfo: memFree=1871024/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=11152 CPUtime=0 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12314226 11419648 280 1992294400 134512640 137138936 4286945424 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 2788 280 176 642 0 2090 0 [startup+0.024487 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17315 /proc/meminfo: memFree=1871024/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=11560 CPUtime=0.02 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 475 0 0 0 2 0 0 0 20 0 1 0 12314226 11837440 394 1992294400 134512640 137138936 4286945424 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 2890 394 200 642 0 2192 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11560 [startup+0.101494 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17315 /proc/meminfo: memFree=1871024/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=12304 CPUtime=0.09 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 748 0 0 0 9 0 0 0 20 0 1 0 12314226 12599296 613 1992294400 134512640 137138936 4286945424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 3076 613 184 642 0 2432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12304 [startup+0.301511 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17315 /proc/meminfo: memFree=1871024/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=12384 CPUtime=0.29 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 904 0 0 0 28 1 0 0 20 0 1 0 12314226 12681216 669 1992294400 134512640 137138936 4286945424 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 3096 669 188 642 0 2452 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12384 [startup+0.701546 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17315 /proc/meminfo: memFree=1871024/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=13480 CPUtime=0.69 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 1167 0 0 0 67 2 0 0 20 0 1 0 12314226 13803520 932 1992294400 134512640 137138936 4286945424 18446744073709551615 134575263 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 3370 932 191 642 0 2726 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13480 [startup+1.50162 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17316 /proc/meminfo: memFree=1867172/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=15740 CPUtime=1.49 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 1724 0 0 0 146 3 0 0 23 0 1 0 12314226 16117760 1489 1992294400 134512640 137138936 4286945424 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 3935 1489 191 642 0 3291 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15740 [startup+3.10076 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17316 /proc/meminfo: memFree=1864196/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=18908 CPUtime=3.09 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 2533 0 0 0 306 3 0 0 25 0 1 0 12314226 19361792 2298 1992294400 134512640 137138936 4286945424 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 4727 2298 191 642 0 4083 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18908 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17316 /proc/meminfo: memFree=1859484/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=22728 CPUtime=6.29 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 3479 0 0 0 624 5 0 0 25 0 1 0 12314226 23273472 3244 1992294400 134512640 137138936 4286945424 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 5682 3244 191 642 0 5038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22728 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17316 /proc/meminfo: memFree=1852796/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=28980 CPUtime=12.68 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 5037 0 0 0 1261 7 0 0 25 0 1 0 12314226 29675520 4802 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 7245 4802 191 642 0 6601 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28980 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17316 /proc/meminfo: memFree=1844488/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=36972 CPUtime=25.49 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 7050 0 0 0 2537 12 0 0 25 0 1 0 12314226 37859328 6815 1992294400 134512640 137138936 4286945424 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 9243 6815 191 642 0 8599 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36972 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17318 /proc/meminfo: memFree=1834072/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=47452 CPUtime=51.07 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 9666 0 0 0 5089 18 0 0 25 0 1 0 12314226 48590848 9431 1992294400 134512640 137138936 4286945424 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 11863 9431 191 642 0 11219 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47452 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17318 /proc/meminfo: memFree=1816464/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=64596 CPUtime=102.27 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 13956 0 0 0 10198 29 0 0 25 0 1 0 12314226 66146304 13721 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 16149 13721 191 642 0 15505 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64596 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17320 /proc/meminfo: memFree=1802452/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=78636 CPUtime=162.25 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 17460 0 0 0 16187 38 0 0 25 0 1 0 12314226 80523264 17225 1992294400 134512640 137138936 4286945424 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 19659 17225 191 642 0 19015 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 78636 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17322 /proc/meminfo: memFree=1787820/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=93072 CPUtime=222.23 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 21069 0 0 0 22178 45 0 0 25 0 1 0 12314226 95305728 20834 1992294400 134512640 137138936 4286945424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 23268 20834 191 642 0 22624 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 93072 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17324 /proc/meminfo: memFree=1773684/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=107236 CPUtime=282.23 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 24607 0 0 0 28170 53 0 0 25 0 1 0 12314226 109809664 24372 1992294400 134512640 137138936 4286945424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 26809 24372 191 642 0 26165 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 107236 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17324 /proc/meminfo: memFree=1739708/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=141116 CPUtime=342.21 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 33075 0 0 0 34158 63 0 0 25 0 1 0 12314226 144502784 32840 1992294400 134512640 137138936 4286945424 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 35279 32840 191 642 0 34635 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 141116 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17326 /proc/meminfo: memFree=1728672/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=152200 CPUtime=402.19 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 35853 0 0 0 40149 70 0 0 25 0 1 0 12314226 155852800 35618 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 38050 35618 191 642 0 37406 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 152200 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17328 /proc/meminfo: memFree=1720116/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=160504 CPUtime=462.18 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 37931 0 0 0 46143 75 0 0 25 0 1 0 12314226 164356096 37696 1992294400 134512640 137138936 4286945424 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 40126 37696 191 642 0 39482 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 160504 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17330 /proc/meminfo: memFree=1701516/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=179148 CPUtime=522.16 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 42596 0 0 0 52135 81 0 0 25 0 1 0 12314226 183447552 42361 1992294400 134512640 137138936 4286945424 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 44787 42361 191 642 0 44143 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 179148 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17332 /proc/meminfo: memFree=1685396/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=194972 CPUtime=582.15 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 46550 0 0 0 58129 86 0 0 25 0 1 0 12314226 199651328 46315 1992294400 134512640 137138936 4286945424 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 48743 46315 191 642 0 48099 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 194972 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17332 /proc/meminfo: memFree=1674484/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=205848 CPUtime=642.14 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 49258 0 0 0 64124 90 0 0 25 0 1 0 12314226 210788352 49023 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 51462 49023 191 642 0 50818 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 205848 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1593884/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=285420 CPUtime=1062.02 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 69147 0 0 0 106081 121 0 0 25 0 1 0 12314226 292270080 68912 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 71355 68912 191 642 0 70711 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 285420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17355 /proc/meminfo: memFree=1588800/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=290452 CPUtime=1122.01 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 70419 0 0 0 112076 125 0 0 25 0 1 0 12314226 297422848 70184 1992294400 134512640 137138936 4286945424 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 72613 70184 191 642 0 71969 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 290452 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17357 /proc/meminfo: memFree=1584088/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=295236 CPUtime=1182 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 71621 0 0 0 118070 130 0 0 25 0 1 0 12314226 302321664 71386 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 73809 71386 191 642 0 73165 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 295236 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17357 /proc/meminfo: memFree=1578756/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=300472 CPUtime=1241.99 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 72928 0 0 0 124065 134 0 0 25 0 1 0 12314226 307683328 72693 1992294400 134512640 137138936 4286945424 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 75118 72693 191 642 0 74474 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 300472 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17359 /proc/meminfo: memFree=1574664/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=304696 CPUtime=1301.97 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 73967 0 0 0 130061 136 0 0 25 0 1 0 12314226 312008704 73732 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 76174 73732 191 642 0 75530 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 304696 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17361 /proc/meminfo: memFree=1571068/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=308372 CPUtime=1361.96 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 74890 0 0 0 136057 139 0 0 25 0 1 0 12314226 315772928 74655 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 77093 74655 191 642 0 76449 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 308372 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17363 /proc/meminfo: memFree=1566976/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=312448 CPUtime=1421.94 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 75911 0 0 0 142053 141 0 0 25 0 1 0 12314226 319946752 75676 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 78112 75676 191 642 0 77468 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 312448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17365 /proc/meminfo: memFree=1563504/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=316024 CPUtime=1481.92 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 76799 0 0 0 148048 144 0 0 25 0 1 0 12314226 323608576 76564 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 79006 76564 191 642 0 78362 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 316024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17365 /proc/meminfo: memFree=1559536/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=319912 CPUtime=1541.91 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 77775 0 0 0 154044 147 0 0 25 0 1 0 12314226 327589888 77540 1992294400 134512640 137138936 4286945424 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 79978 77540 191 642 0 79334 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 319912 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17367 /proc/meminfo: memFree=1556188/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=323316 CPUtime=1601.89 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 78635 0 0 0 160040 149 0 0 25 0 1 0 12314226 331075584 78400 1992294400 134512640 137138936 4286945424 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 80829 78400 191 642 0 80185 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 323316 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17369 /proc/meminfo: memFree=1552840/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=326624 CPUtime=1661.88 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 79442 0 0 0 166036 152 0 0 25 0 1 0 12314226 334462976 79207 1992294400 134512640 137138936 4286945424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 81656 79207 191 642 0 81012 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 326624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17371 /proc/meminfo: memFree=1544160/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=335212 CPUtime=1721.86 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 81604 0 0 0 172032 154 0 0 25 0 1 0 12314226 343257088 81369 1992294400 134512640 137138936 4286945424 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 83803 81369 191 642 0 83159 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 335212 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1536224/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=342696 CPUtime=1781.85 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 83486 0 0 0 178028 157 0 0 25 0 1 0 12314226 350920704 83251 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 85674 83251 191 642 0 85030 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 342696 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1534488/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=344436 CPUtime=1791.45 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 83921 0 0 0 178988 157 0 0 25 0 1 0 12314226 352702464 83686 1992294400 134512640 137138936 4286945424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 86109 83686 191 642 0 85465 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 344436 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1534240/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=344728 CPUtime=1794.65 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 83983 0 0 0 179308 157 0 0 25 0 1 0 12314226 353001472 83748 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 86182 83748 191 642 0 85538 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 344728 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1534240/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=344840 CPUtime=1796.25 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 84013 0 0 0 179467 158 0 0 25 0 1 0 12314226 353116160 83778 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 86210 83778 191 642 0 85566 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 344840 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1533992/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=345032 CPUtime=1797.05 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 84045 0 0 0 179547 158 0 0 25 0 1 0 12314226 353312768 83810 1992294400 134512640 137138936 4286945424 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 86258 83810 191 642 0 85614 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 345032 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1533992/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=345032 CPUtime=1797.85 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 84065 0 0 0 179627 158 0 0 25 0 1 0 12314226 353312768 83830 1992294400 134512640 137138936 4286945424 18446744073709551615 134543025 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 86258 83830 191 642 0 85614 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 345032 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17373 /proc/meminfo: memFree=1533992/2059040 swapFree=4140140/4192956 [pid=17315] ppid=17313 vsize=345112 CPUtime=1798.05 /proc/17315/stat : 17315 (bsolo_pb10) R 17313 17315 16461 0 -1 4202496 84084 0 0 0 179647 158 0 0 25 0 1 0 12314226 353394688 83849 1992294400 134512640 137138936 4286945424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17315/statm: 86278 83849 191 642 0 85634 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 345112 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.11 CPU user time (s): 1796.49 CPU system time (s): 1.61875 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 345112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.49 system time used= 1.61875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84085 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= 1 involuntary context switches= 20891 runsolver used 3.08153 second user time and 8.37673 second system time The end
Begin job on node043 at 2010-06-16 19:43:38 IDJOB=2670886 IDBENCH=48159 IDSOLVER=1163 FILE ID=node043/2670886-1276710218 PBS_JOBID= 11174100 Free space on /tmp= 62296 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670886-1276710218/watcher-2670886-1276710218 -o /tmp/evaluation-result-2670886-1276710218/solver-2670886-1276710218 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670886-1276710218.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1 RANDOM SEED=1858871494 node043.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.241 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.241 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1872048 kB Buffers: 18316 kB Cached: 85832 kB SwapCached: 5560 kB Active: 84680 kB Inactive: 31768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1872048 kB SwapTotal: 4192956 kB SwapFree: 4140140 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 10952 kB Mapped: 13044 kB Slab: 48892 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183360 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670886-1276710218.opb Free space on /tmp at the end= 62292 MiB End job on node043 at 2010-06-16 20:13:37