Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 6 | 1798.04 | 1798.53 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670885-1276710152.opb 0.00/0.00 c File size is 218884 bytes. 0.01/0.03 c Highest Coefficient sum: 100 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.034 s 0.01/0.03 c Var: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510 0.01/0.03 c Obj. Vars: 100 (3.16256 % of total variables) 0.19/0.21 c Pre-processing Time: 0.215 s 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3162 6224 21534 3 15510 19425 0 0 0.21 0.19/0.21 c Switching off lower bounding mode. 0.19/0.22 o 99 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3162 6225 21634 3 15513 19492 1 0 0.22 0.19/0.22 o 98 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3162 6226 21734 3 15517 19592 2 0 0.22 0.19/0.22 o 97 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3162 6227 21834 3 15522 19725 3 0 0.23 0.19/0.22 o 96 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6228 21934 3 15528 19892 4 0 0.23 0.19/0.23 o 95 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6229 22034 3 15535 20092 5 0 0.23 0.19/0.23 o 94 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6230 22134 3 15543 20325 6 0 0.23 0.19/0.23 o 93 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6231 22234 3 15552 20592 7 0 0.24 0.19/0.24 o 92 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6232 22334 3 15562 20892 8 0 0.24 0.19/0.24 o 91 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6233 22434 3 15573 21225 9 0 0.24 0.19/0.24 o 90 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6234 22534 3 15585 21592 10 0 0.25 0.19/0.25 o 89 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6235 22634 3 15598 21992 11 0 0.25 0.19/0.25 o 88 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6236 22734 3 15612 22425 12 0 0.25 0.19/0.25 o 87 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6237 22834 3 15627 22892 13 0 0.26 0.19/0.25 o 86 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6238 22934 3 15643 23392 14 0 0.26 0.19/0.26 o 85 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6239 23034 3 15660 23925 15 0 0.26 0.19/0.26 o 84 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6240 23134 3 15678 24492 16 0 0.26 0.19/0.26 o 83 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6241 23234 3 15697 25092 17 0 0.27 0.19/0.27 o 82 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6242 23334 3 15717 25725 18 0 0.27 0.19/0.27 o 81 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6243 23434 3 15738 26392 19 0 0.27 0.19/0.27 o 80 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6244 23534 3 15760 27092 20 0 0.28 0.19/0.28 o 79 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6245 23634 3 15783 27825 21 0 0.28 0.19/0.28 o 78 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6246 23734 3 15807 28592 22 0 0.28 0.19/0.28 o 77 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6247 23834 3 15832 29392 23 0 0.29 0.19/0.29 o 76 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6248 23934 3 15858 30225 24 0 0.29 0.19/0.29 o 75 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6249 24034 3 15885 31092 25 0 0.29 0.19/0.29 o 74 0.19/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.30 c 0 3162 6250 24134 3 15913 31992 26 0 0.30 0.19/0.30 o 73 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6251 24234 3 15942 32925 27 0 0.30 0.29/0.30 o 72 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6252 24334 3 15972 33892 28 0 0.30 0.29/0.30 o 71 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6253 24434 3 16003 34892 29 0 0.30 0.29/0.30 o 70 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6254 24534 3 16035 35892 30 0 0.31 0.29/0.31 o 69 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6255 24634 3 16068 36892 31 0 0.31 0.29/0.31 o 68 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6256 24734 3 16102 37892 32 0 0.31 0.29/0.31 o 67 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6257 24834 3 16137 38892 33 0 0.32 0.29/0.32 o 66 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6258 24934 3 16173 39892 34 0 0.32 0.29/0.32 o 65 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6259 25034 3 16210 40892 35 0 0.32 0.29/0.32 o 64 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6260 25134 4 16248 41892 36 0 0.33 0.29/0.33 o 63 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6261 25234 4 16287 42892 37 0 0.33 0.29/0.33 o 62 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6262 25334 4 16327 43892 38 0 0.33 0.29/0.33 o 61 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6263 25434 4 16368 44892 39 0 0.34 0.29/0.33 o 60 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6264 25534 4 16410 45892 40 0 0.34 0.29/0.34 o 59 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6265 25634 4 16453 46892 41 0 0.34 0.29/0.34 o 58 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6266 25734 4 16497 47892 42 0 0.34 0.29/0.34 o 57 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6267 25834 4 16542 48892 43 0 0.35 0.29/0.35 o 56 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6268 25934 4 16588 49892 44 0 0.35 0.29/0.35 o 55 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6269 26034 4 16635 50892 45 0 0.35 0.29/0.35 o 54 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6270 26134 4 16683 51892 46 0 0.35 0.29/0.35 o 53 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6271 26234 4 16732 52892 47 0 0.36 0.29/0.36 o 52 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6272 26334 4 16782 53892 48 0 0.36 0.29/0.36 o 51 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6273 26434 4 16833 54892 49 0 0.36 0.29/0.36 o 50 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6274 26534 4 16885 55892 50 0 0.37 0.29/0.37 o 39 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 1 3162 6276 26684 4 16950 55892 52 2 0.37 0.29/0.37 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.37 0.39/0.43 c 101 3162 6383 35078 5 17255 61482 159 236 0.43 0.39/0.43 o 8 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 101 3162 6384 35178 5 17349 55892 160 234 0.43 0.59/0.60 c 203 3162 6497 50728 7 17754 61482 273 408 0.50 0.59/0.60 o 7 24.58/24.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.58/24.69 c 376 3162 6681 72334 10 18215 55892 457 618 0.61 24.58/24.69 c 477 3162 6785 86725 12 18423 61482 561 703 0.68 24.58/24.69 c 730 3162 7059 116535 16 18971 67631 835 856 0.85 24.58/24.69 c 1207 3162 7581 163378 21 20015 74395 1357 1034 1.17 24.58/24.69 c 2021 3162 8477 268607 31 22153 81835 2253 1051 1.92 24.58/24.69 c 3341 3162 9929 484728 48 25635 90019 3705 1000 3.34 24.58/24.69 c 5422 3162 12241 812377 66 30674 99021 6017 835 6.49 24.58/24.69 c 8646 3162 15929 1594479 100 39130 108924 9705 581 14.86 24.58/24.69 o 6 1797.91/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.48 c 11677 3162 19501 2466208 126 47121 55892 13277 473 24.68 1797.91/1798.48 c 11778 3162 19621 2495022 127 47361 61482 13397 469 25.11 1797.91/1798.48 c 12029 3162 19941 2686524 134 48003 67631 13717 452 26.57 1797.91/1798.48 c 12504 3162 20551 2874082 139 51230 74395 14327 418 29.88 1797.91/1798.48 c 13317 3162 21620 3304222 152 54906 81835 15396 375 35.48 1797.91/1798.48 c 14639 3162 23254 3984123 171 59964 90019 17030 326 44.86 1797.91/1798.48 c 16720 3162 25842 4954017 191 69282 99021 19618 271 61.49 1797.91/1798.48 c 19943 3162 29785 6015122 201 87794 108924 23561 226 87.96 1797.91/1798.48 c 24879 3162 35647 7444152 208 104088 119817 29423 187 132.59 1797.91/1798.48 c 32385 3162 44704 9439950 211 126102 131799 38480 154 209.56 1797.91/1798.48 c 43753 3162 58185 12836062 220 156264 144979 51961 119 367.21 1797.91/1798.48 c 60898 3162 78841 17747368 225 204280 159477 72617 89 677.87 1797.91/1798.48 c 86719 3162 109293 23144176 211 269398 175425 103069 69 1240.00 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 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 1797.91/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 76 105974 34488 227236 132291 27259354 126067 58 1798.00 1797.91/1798.48 c Objective: 6 1797.91/1798.48 s SATISFIABLE 1797.91/1798.48 c Total time: 1798 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-2670885-1276710152/watcher-2670885-1276710152 -o /tmp/evaluation-result-2670885-1276710152/solver-2670885-1276710152 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670885-1276710152.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/105 19084 /proc/meminfo: memFree=1887272/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=11152 CPUtime=0 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 12308910 11419648 283 1992294400 134512640 137138936 4289998240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 2788 283 176 642 0 2090 0 [startup+0.0136889 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19084 /proc/meminfo: memFree=1887272/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=11288 CPUtime=0.01 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 406 0 0 0 1 0 0 0 25 0 1 0 12308910 11558912 324 1992294400 134512640 137138936 4289998240 18446744073709551615 134517481 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 2822 325 185 642 0 2124 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11288 [startup+0.100698 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19084 /proc/meminfo: memFree=1887272/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=12304 CPUtime=0.09 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 748 0 0 0 9 0 0 0 25 0 1 0 12308910 12599296 612 1992294400 134512640 137138936 4289998240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 3076 612 184 642 0 2432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12304 [startup+0.30072 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19084 /proc/meminfo: memFree=1887272/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=12384 CPUtime=0.29 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 904 0 0 0 28 1 0 0 25 0 1 0 12308910 12681216 668 1992294400 134512640 137138936 4289998240 18446744073709551615 134580625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 3096 668 188 642 0 2452 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12384 [startup+0.700764 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19084 /proc/meminfo: memFree=1887272/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=13384 CPUtime=0.69 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 1133 0 0 0 67 2 0 0 25 0 1 0 12308910 13705216 897 1992294400 134512640 137138936 4289998240 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 3346 897 192 642 0 2702 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13384 [startup+1.50085 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19085 /proc/meminfo: memFree=1883792/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=15028 CPUtime=1.49 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 1545 0 0 0 147 2 0 0 25 0 1 0 12308910 15388672 1309 1992294400 134512640 137138936 4289998240 18446744073709551615 134606973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 3757 1309 192 642 0 3113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15028 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19085 /proc/meminfo: memFree=1881560/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=18288 CPUtime=3.09 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 2377 0 0 0 305 4 0 0 25 0 1 0 12308910 18726912 2141 1992294400 134512640 137138936 4289998240 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 4572 2141 192 642 0 3928 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18288 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19085 /proc/meminfo: memFree=1875484/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=22908 CPUtime=6.29 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 3531 0 0 0 624 5 0 0 25 0 1 0 12308910 23457792 3295 1992294400 134512640 137138936 4289998240 18446744073709551615 134575920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 5727 3295 192 642 0 5083 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22908 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19085 /proc/meminfo: memFree=1866556/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=31724 CPUtime=12.69 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 5737 0 0 0 1261 8 0 0 25 0 1 0 12308910 32485376 5501 1992294400 134512640 137138936 4289998240 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 7931 5501 192 642 0 7287 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31724 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19087 /proc/meminfo: memFree=1851800/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=46100 CPUtime=25.48 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 9337 0 0 0 2538 10 0 0 25 0 1 0 12308910 47206400 9101 1992294400 134512640 137138936 4289998240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 11525 9101 192 642 0 10881 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46100 [startup+51.1003 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19087 /proc/meminfo: memFree=1827124/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=70720 CPUtime=51.08 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 15480 0 0 0 5093 15 0 0 25 0 1 0 12308910 72417280 15244 1992294400 134512640 137138936 4289998240 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 17680 15244 192 642 0 17036 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70720 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19089 /proc/meminfo: memFree=1795132/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=102160 CPUtime=102.27 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 23323 0 0 0 10204 23 0 0 25 0 1 0 12308910 104611840 23087 1992294400 134512640 137138936 4289998240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 25540 23087 192 642 0 24896 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 102160 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19089 /proc/meminfo: memFree=1775912/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=121396 CPUtime=162.24 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 28141 0 0 0 16193 31 0 0 25 0 1 0 12308910 124309504 27905 1992294400 134512640 137138936 4289998240 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 30349 27905 192 642 0 29705 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 121396 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19091 /proc/meminfo: memFree=1755948/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=141020 CPUtime=222.24 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 33065 0 0 0 22187 37 0 0 25 0 1 0 12308910 144404480 32829 1992294400 134512640 137138936 4289998240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 35255 32829 192 642 0 34611 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 141020 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19093 /proc/meminfo: memFree=1738216/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=158964 CPUtime=282.22 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 37546 0 0 0 28181 41 0 0 25 0 1 0 12308910 162779136 37310 1992294400 134512640 137138936 4289998240 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 39741 37310 192 642 0 39097 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 158964 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19095 /proc/meminfo: memFree=1721352/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=175688 CPUtime=342.2 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 41718 0 0 0 34175 45 0 0 25 0 1 0 12308910 179904512 41482 1992294400 134512640 137138936 4289998240 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 43922 41482 192 642 0 43278 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 175688 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19097 /proc/meminfo: memFree=1706348/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=190740 CPUtime=402.19 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 45486 0 0 0 40169 50 0 0 25 0 1 0 12308910 195317760 45250 1992294400 134512640 137138936 4289998240 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 47685 45250 192 642 0 47041 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 190740 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19097 /proc/meminfo: memFree=1690352/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=206812 CPUtime=462.16 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 49502 0 0 0 46163 53 0 0 25 0 1 0 12308910 211775488 49266 1992294400 134512640 137138936 4289998240 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 51703 49266 192 642 0 51059 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 206812 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19099 /proc/meminfo: memFree=1678696/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=218336 CPUtime=522.15 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 52371 0 0 0 52158 57 0 0 25 0 1 0 12308910 223576064 52135 1992294400 134512640 137138936 4289998240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 54584 52135 192 642 0 53940 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 218336 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19101 /proc/meminfo: memFree=1667536/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=229396 CPUtime=582.14 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 55154 0 0 0 58151 63 0 0 25 0 1 0 12308910 234901504 54918 1992294400 134512640 137138936 4289998240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 57349 54918 192 642 0 56705 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 229396 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19103 /proc/meminfo: memFree=1654392/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=242244 CPUtime=642.12 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 58371 0 0 0 64146 66 0 0 25 0 1 0 12308910 248057856 58135 1992294400 134512640 137138936 4289998240 18446744073709551615 134542014 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 60561 58135 192 642 0 59917 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 242244 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1596112/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=300132 CPUtime=1062.01 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 72835 0 0 0 106113 88 0 0 25 0 1 0 12308910 307335168 72599 1992294400 134512640 137138936 4289998240 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 75033 72599 192 642 0 74389 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 300132 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19124 /proc/meminfo: memFree=1589168/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=306664 CPUtime=1121.98 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 74453 0 0 0 112108 90 0 0 25 0 1 0 12308910 314023936 74217 1992294400 134512640 137138936 4289998240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 76666 74217 192 642 0 76022 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 306664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19126 /proc/meminfo: memFree=1582224/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=313636 CPUtime=1181.97 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 76207 0 0 0 118105 92 0 0 25 0 1 0 12308910 321163264 75971 1992294400 134512640 137138936 4289998240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 78409 75971 192 642 0 77765 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 313636 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19128 /proc/meminfo: memFree=1576272/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=319564 CPUtime=1241.96 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 77698 0 0 0 124102 94 0 0 25 0 1 0 12308910 327233536 77462 1992294400 134512640 137138936 4289998240 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 79891 77462 192 642 0 79247 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 319564 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19130 /proc/meminfo: memFree=1571064/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=324740 CPUtime=1301.95 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 78979 0 0 0 130098 97 0 0 25 0 1 0 12308910 332533760 78743 1992294400 134512640 137138936 4289998240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 81185 78743 192 642 0 80541 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 324740 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19130 /proc/meminfo: memFree=1564988/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=330768 CPUtime=1361.92 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 80494 0 0 0 136093 99 0 0 25 0 1 0 12308910 338706432 80258 1992294400 134512640 137138936 4289998240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 82692 80258 192 642 0 82048 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 330768 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/106 19132 /proc/meminfo: memFree=1558540/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=337192 CPUtime=1421.91 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 82103 0 0 0 142089 102 0 0 25 0 1 0 12308910 345284608 81867 1992294400 134512640 137138936 4289998240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 84298 81867 192 642 0 83654 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 337192 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 19134 /proc/meminfo: memFree=1550232/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=345604 CPUtime=1481.89 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 84211 0 0 0 148085 104 0 0 25 0 1 0 12308910 353898496 83975 1992294400 134512640 137138936 4289998240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 86401 83975 192 642 0 85757 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 345604 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/106 19136 /proc/meminfo: memFree=1545148/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=350708 CPUtime=1541.88 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 85473 0 0 0 154082 106 0 0 25 0 1 0 12308910 359124992 85237 1992294400 134512640 137138936 4289998240 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 87677 85237 192 642 0 87033 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 350708 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19138 /proc/meminfo: memFree=1539072/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=356768 CPUtime=1601.86 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 86982 0 0 0 160077 109 0 0 25 0 1 0 12308910 365330432 86746 1992294400 134512640 137138936 4289998240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 89192 86746 192 642 0 88548 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 356768 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19138 /proc/meminfo: memFree=1534112/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=361628 CPUtime=1661.84 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 88215 0 0 0 166074 110 0 0 25 0 1 0 12308910 370307072 87979 1992294400 134512640 137138936 4289998240 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 90407 87979 192 642 0 89763 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 361628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19140 /proc/meminfo: memFree=1529276/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=366380 CPUtime=1721.83 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 89403 0 0 0 172070 113 0 0 25 0 1 0 12308910 375173120 89167 1992294400 134512640 137138936 4289998240 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 91595 89167 192 642 0 90951 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 366380 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1522332/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=373120 CPUtime=1781.81 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 91091 0 0 0 178066 115 0 0 25 0 1 0 12308910 382074880 90855 1992294400 134512640 137138936 4289998240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 93280 90855 192 642 0 92636 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 373120 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1521340/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=374032 CPUtime=1791.41 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 91308 0 0 0 179026 115 0 0 25 0 1 0 12308910 383008768 91072 1992294400 134512640 137138936 4289998240 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 93508 91072 192 642 0 92864 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 374032 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1521092/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=374256 CPUtime=1794.61 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 91372 0 0 0 179346 115 0 0 25 0 1 0 12308910 383238144 91136 1992294400 134512640 137138936 4289998240 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 93564 91136 192 642 0 92920 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 374256 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1521092/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=374384 CPUtime=1796.2 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 91402 0 0 0 179505 115 0 0 25 0 1 0 12308910 383369216 91166 1992294400 134512640 137138936 4289998240 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 93596 91166 192 642 0 92952 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 374384 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1520968/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=374484 CPUtime=1797 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 91425 0 0 0 179585 115 0 0 25 0 1 0 12308910 383471616 91189 1992294400 134512640 137138936 4289998240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 93621 91189 192 642 0 92977 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 374484 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1520968/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=374604 CPUtime=1797.8 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202496 91447 0 0 0 179665 115 0 0 25 0 1 0 12308910 383594496 91211 1992294400 134512640 137138936 4289998240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19084/statm: 93651 91211 192 642 0 93007 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 374604 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19142 /proc/meminfo: memFree=1520844/2059040 swapFree=4136376/4192956 [pid=19084] ppid=19082 vsize=0 CPUtime=1798.01 /proc/19084/stat : 19084 (bsolo_pb10) R 19082 19084 18230 0 -1 4202500 91448 0 0 0 179684 117 0 0 25 0 1 0 12308910 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/19084/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.04 CPU user time (s): 1796.84 CPU system time (s): 1.19682 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 374604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.84 system time used= 1.19682 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91448 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= 4864 runsolver used 2.89656 second user time and 8.5677 second system time The end
Begin job on node086 at 2010-06-16 19:42:32 IDJOB=2670885 IDBENCH=48159 IDSOLVER=1162 FILE ID=node086/2670885-1276710152 PBS_JOBID= 11174080 Free space on /tmp= 62576 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670885-1276710152/watcher-2670885-1276710152 -o /tmp/evaluation-result-2670885-1276710152/solver-2670885-1276710152 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670885-1276710152.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1 RANDOM SEED=1001228313 node086.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.244 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.244 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1888048 kB Buffers: 16016 kB Cached: 90220 kB SwapCached: 10456 kB Active: 85640 kB Inactive: 33856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1888048 kB SwapTotal: 4192956 kB SwapFree: 4136376 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 10860 kB Mapped: 9216 kB Slab: 29752 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182024 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-2670885-1276710152.opb Free space on /tmp at the end= 62572 MiB End job on node086 at 2010-06-16 20:12:31