Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 6 | 1798.11 | 1798.77 |
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 | 195.189 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876749-1245197728.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.029 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.22 c Pre-processing Time: 0.221 s 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3162 6224 21534 3 15510 19425 0 0 0.22 0.19/0.22 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.23 0.19/0.22 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.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3162 6227 21834 3 15522 19725 3 0 0.23 0.19/0.23 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.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.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3162 6230 22134 3 15543 20325 6 0 0.24 0.19/0.24 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.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.24 0.19/0.25 o 91 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3162 6233 22434 3 15573 21225 9 0 0.25 0.19/0.25 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.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.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6236 22734 3 15612 22425 12 0 0.26 0.19/0.26 o 87 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3162 6237 22834 3 15627 22892 13 0 0.26 0.19/0.26 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.27 0.19/0.26 o 85 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6239 23034 3 15660 23925 15 0 0.27 0.19/0.27 o 84 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3162 6240 23134 3 15678 24492 16 0 0.27 0.19/0.27 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.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6242 23334 3 15717 25725 18 0 0.28 0.19/0.28 o 81 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3162 6243 23434 3 15738 26392 19 0 0.28 0.19/0.28 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.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6245 23634 3 15783 27825 21 0 0.29 0.19/0.29 o 78 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3162 6246 23734 3 15807 28592 22 0 0.29 0.19/0.29 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.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6248 23934 3 15858 30225 24 0 0.30 0.29/0.30 o 75 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6249 24034 3 15885 31092 25 0 0.30 0.29/0.30 o 74 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6250 24134 3 15913 31992 26 0 0.30 0.29/0.30 o 73 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6251 24234 3 15942 32925 27 0 0.31 0.29/0.31 o 72 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6252 24334 3 15972 33892 28 0 0.31 0.29/0.31 o 71 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6253 24434 3 16003 34892 29 0 0.31 0.29/0.31 o 70 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6254 24534 3 16035 35892 30 0 0.32 0.29/0.32 o 69 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6255 24634 3 16068 36892 31 0 0.32 0.29/0.32 o 68 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6256 24734 3 16102 37892 32 0 0.32 0.29/0.32 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.33 0.29/0.33 o 66 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6258 24934 3 16173 39892 34 0 0.33 0.29/0.33 o 65 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 3162 6259 25034 3 16210 40892 35 0 0.33 0.29/0.33 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.34 0.29/0.33 o 63 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6261 25234 4 16287 42892 37 0 0.34 0.29/0.34 o 62 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6262 25334 4 16327 43892 38 0 0.34 0.29/0.34 o 61 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 3162 6263 25434 4 16368 44892 39 0 0.34 0.29/0.34 o 60 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6264 25534 4 16410 45892 40 0 0.35 0.29/0.35 o 59 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6265 25634 4 16453 46892 41 0 0.35 0.29/0.35 o 58 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 3162 6266 25734 4 16497 47892 42 0 0.35 0.29/0.35 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.36 0.29/0.36 o 56 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6268 25934 4 16588 49892 44 0 0.36 0.29/0.36 o 55 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6269 26034 4 16635 50892 45 0 0.36 0.29/0.36 o 54 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 3162 6270 26134 4 16683 51892 46 0 0.36 0.29/0.36 o 53 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6271 26234 4 16732 52892 47 0 0.37 0.29/0.37 o 52 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6272 26334 4 16782 53892 48 0 0.37 0.29/0.37 o 51 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 3162 6273 26434 4 16833 54892 49 0 0.37 0.29/0.37 o 50 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 3162 6274 26534 4 16885 55892 50 0 0.38 0.29/0.38 o 39 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 1 3162 6276 26684 4 16950 55892 52 2 0.38 0.29/0.38 o 9 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 1 3162 6277 26784 4 17043 55892 53 2 0.38 0.39/0.44 c 101 3162 6381 34843 5 17251 61482 157 232 0.43 0.39/0.44 o 8 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 101 3162 6382 34943 5 17345 55892 158 230 0.44 0.49/0.59 c 202 3162 6483 46213 7 17547 61482 259 404 0.50 0.49/0.59 o 7 348.97/349.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 348.97/349.14 c 382 3162 6666 66087 9 18006 55892 442 645 0.59 348.97/349.14 c 482 3162 6767 76843 11 18208 61482 543 740 0.65 348.97/349.14 c 733 3162 7029 101561 14 18732 67631 805 927 0.79 348.97/349.14 c 1209 3162 7520 155916 20 19714 74395 1296 1092 1.11 348.97/349.14 c 2023 3162 8352 245410 29 21466 81835 2128 1197 1.69 348.97/349.14 c 3344 3162 9716 416663 42 24419 90019 3492 1164 2.87 348.97/349.14 c 5425 3162 11901 622428 52 28980 99021 5677 1053 5.15 348.97/349.14 c 8648 3162 15313 964017 62 36408 108924 9089 820 10.54 348.97/349.14 c 13585 3162 20476 1428983 69 47227 119817 14252 638 21.26 348.97/349.14 c 21094 3162 28405 2151164 75 63697 131799 22181 464 45.39 348.97/349.14 c 32455 3162 40325 3351666 83 89520 144979 34101 328 98.91 348.97/349.14 c 49599 3162 58384 4968191 85 128389 159477 52160 239 207.10 348.97/349.14 o 6 1798.03/1798.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.03/1798.72 c 64950 3162 74778 8368049 111 163234 55892 68554 186 349.01 1798.03/1798.72 c 65052 3162 19031 3013572 158 42926 61482 12807 184 352.65 1798.03/1798.72 c 65302 3162 19295 3037291 157 43454 67631 13071 184 353.42 1798.03/1798.72 c 65778 3162 19787 3087416 156 44546 74395 13563 185 354.70 1798.03/1798.72 c 66595 3162 20622 3144699 152 46260 81835 14398 186 357.08 1798.03/1798.72 c 67915 3162 22021 3281927 149 49251 90019 15797 188 360.58 1798.03/1798.72 c 70001 3162 24264 3488780 143 53758 99021 18040 189 369.06 1798.03/1798.72 c 73224 3162 27643 3956468 143 60595 108924 21419 191 382.26 1798.03/1798.72 c 78163 3162 32836 4886052 148 71345 119817 26612 194 402.88 1798.03/1798.72 c 85674 3162 40827 5716839 140 88642 131799 34603 192 444.92 1798.03/1798.72 c 97036 3162 52877 6739358 127 114137 144979 46653 186 521.16 1798.03/1798.72 c 114180 3162 71116 8958460 125 151634 159477 64892 171 666.16 1798.03/1798.72 c 140002 3162 98343 11215400 114 208294 175425 92119 147 949.21 1798.03/1798.72 c 178836 3162 139475 16715164 119 294832 192968 133251 118 1509.54 1798.03/1798.72 c Resources Exceeded 1798.03/1798.72 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.03/1798.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.03/1798.72 c 81 196009 57418 322990 157676 19138495 151452 109 1798.06 1798.03/1798.72 c Objective: 6 1798.03/1798.72 s SATISFIABLE 1798.03/1798.72 c Total time: 1798.06 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-1876749-1245197728/watcher-1876749-1245197728 -o /tmp/evaluation-result-1876749-1245197728/solver-1876749-1245197728 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876749-1245197728.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4916 /proc/meminfo: memFree=1831552/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=18748 CPUtime=0 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 187373491 19197952 248 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 4687 248 174 640 0 3989 0 [startup+0.0218431 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4916 /proc/meminfo: memFree=1831552/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=11476 CPUtime=0.01 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 415 0 0 0 1 0 0 0 18 0 1 0 187373491 11751424 400 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 2869 400 205 640 0 2171 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11476 [startup+0.10186 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4916 /proc/meminfo: memFree=1831552/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=12256 CPUtime=0.09 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 685 0 0 0 9 0 0 0 18 0 1 0 187373491 12550144 615 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 3064 615 189 640 0 2420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301902 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4916 /proc/meminfo: memFree=1831552/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=12336 CPUtime=0.29 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 843 0 0 0 28 1 0 0 19 0 1 0 187373491 12632064 673 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 3084 673 195 640 0 2440 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12336 [startup+0.701988 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4916 /proc/meminfo: memFree=1831552/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=13224 CPUtime=0.69 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 1057 0 0 0 68 1 0 0 22 0 1 0 187373491 13541376 887 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 3306 887 197 640 0 2662 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13224 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1827960/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=15160 CPUtime=1.49 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 1541 0 0 0 147 2 0 0 25 0 1 0 187373491 15523840 1371 1992294400 134512640 137136520 4294956256 18446744073709551615 134544398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 3790 1371 197 640 0 3146 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15160 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1825464/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=18208 CPUtime=3.09 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 2303 0 0 0 306 3 0 0 25 0 1 0 187373491 18644992 2133 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 4552 2133 197 640 0 3908 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18208 [startup+6.30119 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1820600/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=21996 CPUtime=6.29 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 3255 0 0 0 625 4 0 0 25 0 1 0 187373491 22523904 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 5499 3085 197 640 0 4855 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21996 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1814592/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=27380 CPUtime=12.69 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 4603 0 0 0 1263 6 0 0 25 0 1 0 187373491 28037120 4433 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 6845 4433 197 640 0 6201 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27380 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1807232/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=34540 CPUtime=25.48 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 6383 0 0 0 2540 8 0 0 25 0 1 0 187373491 35368960 6213 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 8635 6213 197 640 0 7991 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34540 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1796928/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=44900 CPUtime=51.07 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 8987 0 0 0 5095 12 0 0 25 0 1 0 187373491 45977600 8817 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 11225 8817 197 640 0 10581 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44900 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1780864/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=60808 CPUtime=102.26 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 12952 0 0 0 10208 18 0 0 25 0 1 0 187373491 62267392 12782 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 15202 12782 197 640 0 14558 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 60808 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1766592/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=75088 CPUtime=162.23 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 16527 0 0 0 16200 23 0 0 25 0 1 0 187373491 76890112 16357 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 18772 16357 197 640 0 18128 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 75088 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1755008/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=86508 CPUtime=222.21 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 19390 0 0 0 22193 28 0 0 25 0 1 0 187373491 88584192 19220 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 21627 19220 197 640 0 20983 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 86508 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1742016/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=99636 CPUtime=282.19 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 22662 0 0 0 28186 33 0 0 25 0 1 0 187373491 102027264 22492 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 24909 22492 197 640 0 24265 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 99636 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1713024/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=128408 CPUtime=342.16 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 29839 0 0 0 34177 39 0 0 25 0 1 0 187373491 131489792 29669 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 32102 29669 197 640 0 31458 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 128408 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1711680/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=129532 CPUtime=402.14 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 30198 0 0 0 40171 43 0 0 25 0 1 0 187373491 132640768 29961 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 32383 29961 197 640 0 31739 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 129532 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1711680/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=129532 CPUtime=462.12 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 30198 0 0 0 46165 47 0 0 25 0 1 0 187373491 132640768 29961 1992294400 134512640 137136520 4294956256 18446744073709551615 134571159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 32383 29961 197 640 0 31739 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 129532 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1711680/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=129532 CPUtime=522.09 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 30198 0 0 0 52160 49 0 0 25 0 1 0 187373491 132640768 29961 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 32383 29961 197 640 0 31739 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 129532 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1711680/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=129532 CPUtime=582.08 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 30198 0 0 0 58156 52 0 0 25 0 1 0 187373491 132640768 29961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 32383 29961 197 640 0 31739 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 129532 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1706432/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=134828 CPUtime=642.05 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 31516 0 0 0 64150 55 0 0 25 0 1 0 187373491 138063872 31279 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 33707 31279 197 640 0 33063 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 134828 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1647488/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=193744 CPUtime=1061.9 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 46255 0 0 0 106111 79 0 0 25 0 1 0 187373491 198393856 46018 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 48436 46018 197 640 0 47792 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 193744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1637952/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=203188 CPUtime=1121.88 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 48596 0 0 0 112105 83 0 0 25 0 1 0 187373491 208064512 48359 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 50797 48359 197 640 0 50153 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 203188 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1630912/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=210212 CPUtime=1181.85 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 50378 0 0 0 118099 86 0 0 25 0 1 0 187373491 215257088 50141 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 52553 50141 197 640 0 51909 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 210212 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=220936 CPUtime=1241.83 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 53035 0 0 0 124093 90 0 0 25 0 1 0 187373491 226238464 52798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 55234 52798 197 640 0 54590 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 220936 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1612224/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=228604 CPUtime=1301.81 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 54981 0 0 0 130088 93 0 0 25 0 1 0 187373491 234090496 54744 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 57151 54744 197 640 0 56507 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 228604 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1606208/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=234704 CPUtime=1361.79 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 56497 0 0 0 136084 95 0 0 25 0 1 0 187373491 240336896 56260 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 58676 56260 197 640 0 58032 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 234704 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1601216/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=239640 CPUtime=1421.78 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 57734 0 0 0 142080 98 0 0 25 0 1 0 187373491 245391360 57497 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 59910 57497 197 640 0 59266 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 239640 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1596096/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=244772 CPUtime=1481.75 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 59015 0 0 0 148074 101 0 0 25 0 1 0 187373491 250646528 58778 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 61193 58778 197 640 0 60549 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 244772 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1589440/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=251412 CPUtime=1541.72 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 60660 0 0 0 154069 103 0 0 25 0 1 0 187373491 257445888 60423 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 62853 60423 197 640 0 62209 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 251412 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1581120/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=259976 CPUtime=1601.7 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 62795 0 0 0 160064 106 0 0 25 0 1 0 187373491 266215424 62558 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 64994 62558 197 640 0 64350 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 259976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1571136/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=269600 CPUtime=1661.68 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 65213 0 0 0 166060 108 0 0 25 0 1 0 187373491 276070400 64976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 67400 64976 197 640 0 66756 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 269600 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1566272/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=274512 CPUtime=1721.66 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 66441 0 0 0 172056 110 0 0 25 0 1 0 187373491 281100288 66204 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 68628 66204 197 640 0 67984 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 274512 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1561024/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=279640 CPUtime=1781.63 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 67721 0 0 0 178051 112 0 0 25 0 1 0 187373491 286351360 67484 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 69910 67484 197 640 0 69266 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 279640 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1560064/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=280584 CPUtime=1791.24 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 67954 0 0 0 179011 113 0 0 25 0 1 0 187373491 287318016 67717 1992294400 134512640 137136520 4294956256 18446744073709551615 134545113 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 70146 67717 197 640 0 69502 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 280584 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1559872/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=280716 CPUtime=1794.44 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 67998 0 0 0 179331 113 0 0 25 0 1 0 187373491 287453184 67761 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 70179 67761 197 640 0 69535 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 280716 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1559808/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=280856 CPUtime=1796.04 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 68027 0 0 0 179491 113 0 0 25 0 1 0 187373491 287596544 67790 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 70214 67790 197 640 0 69570 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (KiB) 280856 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1559680/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=280988 CPUtime=1796.83 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 68054 0 0 0 179570 113 0 0 25 0 1 0 187373491 287731712 67817 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 70247 67817 197 640 0 69603 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 280988 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1559680/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=280992 CPUtime=1797.63 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 68066 0 0 0 179650 113 0 0 25 0 1 0 187373491 287735808 67829 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 70248 67829 197 640 0 69604 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 280992 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4917 /proc/meminfo: memFree=1559616/2055920 swapFree=4192812/4192956 [pid=4916] ppid=4914 vsize=280992 CPUtime=1798.03 /proc/4916/stat : 4916 (bsolo) R 4914 4916 4520 0 -1 4194304 68069 0 0 0 179690 113 0 0 25 0 1 0 187373491 287735808 67832 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4916/statm: 70248 67832 197 640 0 69604 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 280992 Child status: 0 Real time (s): 1798.77 CPU time (s): 1798.11 CPU user time (s): 1796.93 CPU system time (s): 1.17882 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 280992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.93 system time used= 1.17882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68073 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1562 runsolver used 1.27581 second user time and 3.9474 second system time The end
Begin job on node10 at 2009-06-17 02:15:28 IDJOB=1876749 IDBENCH=48159 IDSOLVER=699 FILE ID=node10/1876749-1245197728 PBS_JOBID= 9368329 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876749-1245197728/watcher-1876749-1245197728 -o /tmp/evaluation-result-1876749-1245197728/solver-1876749-1245197728 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876749-1245197728.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1 RANDOM SEED=11851686 node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1832160 kB Buffers: 51700 kB Cached: 105448 kB SwapCached: 0 kB Active: 63692 kB Inactive: 106928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832160 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 23232 kB Slab: 39120 kB Committed_AS: 196380 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876749-1245197728.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-17 02:45:27