Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+Exact 2024-07-11 | SAT | 3971977 | 2752.27 | 2758.69 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_4.opb |
| MD5SUM | 7079e2ef0385c9f74a24551721d50a52 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3971977 |
| Best CPU time to get the best result obtained on this benchmark | 338.862 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 119095488 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 53595180278 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 119095488 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 53595180278 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2752.16/2758.67 o 26510847 2752.16/2758.67 o 23333777 2752.16/2758.67 o 23310395 2752.16/2758.67 o 23285565 2752.16/2758.67 o 23269965 2752.16/2758.67 o 23154275 2752.16/2758.67 o 23141953 2752.16/2758.67 o 23126539 2752.16/2758.67 o 23117123 2752.16/2758.67 o 20125967 2752.16/2758.67 o 20098095 2752.16/2758.67 o 20050551 2752.16/2758.67 o 20012375 2752.16/2758.67 o 19977767 2752.16/2758.67 o 19954791 2752.16/2758.67 o 19836417 2752.16/2758.67 o 18937531 2752.16/2758.67 o 18935765 2752.16/2758.67 o 18923655 2752.16/2758.67 o 18905935 2752.16/2758.67 o 18838237 2752.16/2758.67 o 18835709 2752.16/2758.67 o 18819381 2752.16/2758.67 o 18573067 2752.16/2758.67 o 18562177 2752.16/2758.67 o 18548955 2752.16/2758.67 o 18527317 2752.16/2758.67 o 18462389 2752.16/2758.67 o 18458715 2752.16/2758.67 o 18457541 2752.16/2758.67 o 18456383 2752.16/2758.67 o 18434113 2752.16/2758.67 o 18413057 2752.16/2758.67 o 18406193 2752.16/2758.67 o 18403735 2752.16/2758.67 o 9547415 2752.16/2758.67 o 9482487 2752.16/2758.67 o 9480693 2752.16/2758.67 o 9477387 2752.16/2758.67 o 9419775 2752.16/2758.67 o 8126949 2752.16/2758.67 o 8122989 2752.16/2758.67 o 8118069 2752.16/2758.67 o 8107695 2752.16/2758.67 o 8092239 2752.16/2758.67 o 8091735 2752.16/2758.67 o 8085335 2752.16/2758.67 o 8004425 2752.16/2758.67 o 7990985 2752.16/2758.67 o 7951137 2752.16/2758.67 o 7947091 2752.16/2758.67 o 7912011 2752.16/2758.67 o 7907149 2752.16/2758.67 o 7890061 2752.16/2758.67 o 7888773 2752.16/2758.67 o 7884387 2752.16/2758.67 o 7864107 2752.16/2758.67 o 7840117 2752.16/2758.67 o 7817143 2752.16/2758.67 o 7803597 2752.16/2758.67 o 7803297 2752.16/2758.67 o 7801993 2752.16/2758.67 o 7800425 2752.16/2758.67 o 7795113 2752.16/2758.67 o 7793651 2752.16/2758.67 o 7775285 2752.16/2758.67 o 7766919 2752.16/2758.67 o 7758207 2752.16/2758.67 o 7719551 2752.16/2758.67 o 7696237 2752.16/2758.67 o 7688805 2752.16/2758.67 o 7650525 2752.16/2758.67 o 7622191 2752.16/2758.67 o 7615343 2752.16/2758.67 o 7600207 2752.16/2758.67 o 7582817 2752.16/2758.67 o 7580047 2752.16/2758.67 o 7578725 2752.16/2758.67 o 7572205 2752.16/2758.67 o 7558359 2752.16/2758.67 o 7551511 2752.16/2758.67 o 7546565 2752.16/2758.67 o 7546387 2752.16/2758.67 o 7534721 2752.16/2758.67 o 7519403 2752.16/2758.67 o 7506191 2752.16/2758.67 o 7499671 2752.16/2758.67 o 7490771 2752.16/2758.67 o 6942643 2752.16/2758.67 o 6921219 2752.16/2758.67 o 6900659 2752.16/2758.67 o 6890661 2752.16/2758.67 o 6873205 2752.16/2758.67 o 6867997 2752.16/2758.67 o 6573049 2752.16/2758.67 o 6571727 2752.16/2758.67 o 6563069 2752.16/2758.67 o 6519725 2752.16/2758.67 o 6498301 2752.16/2758.67 o 6478191 2752.16/2758.67 o 6455647 2752.16/2758.67 o 6437321 2752.16/2758.67 o 6423741 2752.16/2758.67 o 6423391 2752.16/2758.67 o 6412019 2752.16/2758.67 o 6398439 2752.16/2758.67 o 6397173 2752.16/2758.67 o 6381705 2752.16/2758.67 o 6378453 2752.16/2758.67 o 6369319 2752.16/2758.67 o 6364171 2752.16/2758.67 o 6360919 2752.16/2758.67 o 6357577 2752.16/2758.67 o 6347781 2752.16/2758.67 o 6334201 2752.16/2758.67 o 6330213 2752.16/2758.67 o 6257149 2752.16/2758.67 o 6254465 2752.16/2758.67 o 6251187 2752.16/2758.67 o 6250233 2752.16/2758.67 o 6249567 2752.16/2758.67 o 6249127 2752.16/2758.67 o 6247837 2752.16/2758.67 o 6244799 2752.16/2758.67 o 6243155 2752.16/2758.67 o 6242201 2752.16/2758.67 o 6229815 2752.16/2758.67 o 6228345 2752.16/2758.67 o 6227391 2752.16/2758.67 o 6227033 2752.16/2758.67 o 6226079 2752.16/2758.67 o 6216761 2752.16/2758.67 o 6215807 2752.16/2758.67 o 6215735 2752.16/2758.67 o 6212953 2752.16/2758.67 o 6203891 2752.16/2758.67 o 6183555 2752.16/2758.67 o 6182889 2752.16/2758.67 o 6176895 2752.16/2758.67 o 6172091 2752.16/2758.67 o 6171971 2752.16/2758.67 o 6168349 2752.16/2758.67 o 6111199 2752.16/2758.67 o 6096157 2752.16/2758.67 o 6091795 2752.16/2758.67 o 6089995 2752.16/2758.67 o 6019145 2752.16/2758.67 o 6018201 2752.16/2758.67 o 6017247 2752.16/2758.67 o 6015723 2752.16/2758.67 o 6014769 2752.16/2758.67 o 6013815 2752.16/2758.67 o 6012861 2752.16/2758.67 o 6010589 2752.16/2758.67 o 5992281 2752.16/2758.67 o 5990911 2752.16/2758.67 o 5989871 2752.16/2758.67 o 5986535 2752.16/2758.67 o 5982701 2752.16/2758.67 o 5978661 2752.16/2758.67 o 5978575 2752.16/2758.67 o 5977621 2752.16/2758.67 o 5976251 2752.16/2758.67 o 5972629 2752.16/2758.67 o 5968841 2752.16/2758.67 o 5966587 2752.16/2758.67 o 5965547 2752.16/2758.67 o 5960137 2752.16/2758.67 o 5959273 2752.16/2758.67 o 5953529 2752.16/2758.67 o 5943801 2752.16/2758.67 o 5935729 2752.16/2758.67 o 5935311 2752.16/2758.67 o 5934645 2752.16/2758.67 o 5923295 2752.16/2758.67 o 5883311 2752.16/2758.67 o 5828509 2752.16/2758.67 o 5827851 2752.16/2758.67 o 5820123 2752.16/2758.67 o 5819457 2752.16/2758.67 o 5750169 2752.16/2758.67 o 5730471 2752.16/2758.67 o 5724087 2752.16/2758.68 o 5723417 2752.16/2758.68 o 5722807 2752.16/2758.68 o 5715753 2752.16/2758.68 o 5712069 2752.16/2758.68 o 5709815 2752.16/2758.68 o 5667777 2752.16/2758.68 o 5653663 2752.16/2758.68 o 5642507 2752.16/2758.68 o 5642057 2752.16/2758.68 o 5629441 2752.16/2758.68 o 5627479 2752.16/2758.68 o 5626821 2752.16/2758.68 o 5614007 2752.16/2758.68 o 5595263 2752.16/2758.68 o 5594705 2752.16/2758.68 o 5591153 2752.16/2758.68 o 5589031 2752.16/2758.68 o 5578633 2752.16/2758.68 o 5575349 2752.16/2758.68 o 5573077 2752.16/2758.68 o 5565965 2752.16/2758.68 o 5565771 2752.16/2758.68 o 5561409 2752.16/2758.68 o 5559259 2752.16/2758.68 o 5555707 2752.16/2758.68 o 5553835 2752.16/2758.68 o 5551003 2752.16/2758.68 o 5549393 2752.16/2758.68 o 5546833 2752.16/2758.68 o 5545005 2752.16/2758.68 o 5544493 2752.16/2758.68 o 5540131 2752.16/2758.68 o 5531679 2752.16/2758.68 o 5525215 2752.16/2758.68 o 5514975 2752.16/2758.68 o 5511273 2752.16/2758.68 o 5504759 2752.16/2758.68 o 5497421 2752.16/2758.68 o 5496505 2752.16/2758.68 o 5493747 2752.16/2758.68 o 5492069 2752.16/2758.68 o 5489021 2752.16/2758.68 o 5485933 2752.16/2758.68 o 5479651 2752.16/2758.68 o 5460525 2752.16/2758.68 o 5449743 2752.16/2758.68 o 5439375 2752.16/2758.68 o 5436399 2752.16/2758.68 o 5434447 2752.16/2758.68 o 5428925 2752.16/2758.68 o 5428389 2752.16/2758.68 o 5425983 2752.16/2758.68 o 5423357 2752.16/2758.68 o 5420381 2752.16/2758.68 o 5418429 2752.16/2758.68 o 5415453 2752.16/2758.68 o 5414775 2752.16/2758.68 o 5411801 2752.16/2758.68 o 5410547 2752.16/2758.68 o 5400179 2752.16/2758.68 o 5397203 2752.16/2758.68 o 5395251 2752.16/2758.68 o 5392277 2752.16/2758.68 o 5387447 2752.16/2758.68 o 5386911 2752.16/2758.68 o 5381781 2752.16/2758.68 o 5377389 2752.16/2758.68 o 5375789 2752.16/2758.68 o 5374511 2752.16/2758.68 o 5371535 2752.16/2758.68 o 5371455 2752.16/2758.68 o 5368907 2752.16/2758.68 o 5365933 2752.16/2758.68 o 5365397 2752.16/2758.68 o 5363981 2752.16/2758.68 o 5363557 2752.16/2758.68 o 5196803 2752.16/2758.68 o 5192681 2752.16/2758.68 o 5187295 2752.16/2758.68 o 5172535 2752.16/2758.68 o 5111197 2752.16/2758.68 o 5107501 2752.16/2758.68 o 5089493 2752.16/2758.68 o 5084667 2752.16/2758.68 o 5076939 2752.16/2758.68 o 5066409 2752.16/2758.68 o 5062179 2752.16/2758.68 o 5061469 2752.16/2758.68 o 5057239 2752.16/2758.68 o 5051615 2752.16/2758.68 o 5046789 2752.16/2758.68 o 5044029 2752.16/2758.68 o 5039089 2752.16/2758.68 o 5033465 2752.16/2758.68 o 5027897 2752.16/2758.68 o 5023071 2752.16/2758.68 o 5022591 2752.16/2758.68 o 5019495 2752.16/2758.68 o 5010439 2752.16/2758.68 o 5008023 2752.16/2758.68 o 5005395 2752.16/2758.68 o 5005293 2752.16/2758.68 o 5000467 2752.16/2758.68 o 4701229 2752.16/2758.68 o 4671987 2752.16/2758.68 o 4671603 2752.16/2758.68 o 4667123 2752.16/2758.68 o 4664403 2752.16/2758.68 o 4626403 2752.16/2758.68 o 4617933 2752.16/2758.68 o 4612323 2752.16/2758.68 o 4609987 2752.16/2758.68 o 4597769 2752.16/2758.68 o 4589299 2752.16/2758.68 o 4584849 2752.16/2758.68 o 4583689 2752.16/2758.68 o 4550519 2752.16/2758.68 o 4537599 2752.16/2758.68 o 4531623 2752.16/2758.68 o 4486263 2752.16/2758.68 o 4477793 2752.16/2758.68 o 4474167 2752.16/2758.68 o 4458697 2752.16/2758.68 o 4450227 2752.16/2758.68 o 4445321 2752.16/2758.68 o 4415977 2752.16/2758.68 o 4373593 2752.16/2758.68 o 4365123 2752.16/2758.68 o 4327241 2752.16/2758.68 o 4324649 2752.16/2758.68 o 4320351 2752.16/2758.68 o 4302801 2752.16/2758.68 o 4300209 2752.16/2758.68 o 4259633 2752.16/2758.68 o 4216273 2752.16/2758.68 o 4203051 2752.16/2758.68 o 4174101 2752.16/2758.68 o 4164405 2752.16/2758.68 o 4157491 2752.16/2758.68 o 4140025 2752.16/2758.68 o 4135915 2752.16/2758.68 o 4124875 2752.16/2758.68 o 4115753 2752.16/2758.68 o 4115751 2752.16/2758.68 o 4089181 2752.16/2758.68 o 4088569 2752.16/2758.68 o 4086047 2752.16/2758.68 o 4078429 2752.16/2758.68 o 4048333 2752.16/2758.68 o 4038637 2752.16/2758.68 o 4037911 2752.16/2758.68 o 4032525 2752.16/2758.68 o 4023389 2752.16/2758.68 o 4016187 2752.16/2758.68 o 4014937 2752.16/2758.68 o 4014923 2752.16/2758.68 o 4003723 2752.16/2758.68 o 3971977 2752.16/2758.68 s SATISFIABLE 2752.16/2758.68 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 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
OK 3971977
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61467 MiB free)
memory of node 1: 64510 MiB (59377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437298-1722977059/watcher-4437298-1722977059 -o /tmp/evaluation-result-4437298-1722977059/solver-4437298-1722977059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722971653-349580 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437298-1722977059.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=352885, runsolver pid=352882
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.19 4.17 5/265 352889
/proc/meminfo: memFree=123720172/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=0.1 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4924 0 0 0 9 1 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+0.20586 s]*
/proc/loadavg: 4.20 4.19 4.17 5/265 352889
/proc/meminfo: memFree=123717956/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=0.2 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4924 0 0 0 19 1 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+0.305797 s]*
/proc/loadavg: 4.20 4.19 4.17 5/265 352889
/proc/meminfo: memFree=123715740/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=0.3 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4924 0 0 0 29 1 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+0.70029 s]
/proc/loadavg: 4.20 4.19 4.17 5/265 352889
/proc/meminfo: memFree=123711476/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=0.69 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4929 0 0 0 67 2 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+1.50028 s]
/proc/loadavg: 4.20 4.19 4.17 5/265 352889
/proc/meminfo: memFree=123703192/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=1.49 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4929 0 0 0 146 3 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+3.10573 s]
/proc/loadavg: 4.20 4.19 4.17 5/265 352889
/proc/meminfo: memFree=123666196/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=3.09 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4930 0 0 0 304 5 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+6.30028 s]
/proc/loadavg: 4.26 4.20 4.18 5/265 352889
/proc/meminfo: memFree=123610288/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25564 CPUtime=6.27 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4930 0 0 0 618 9 0 0 20 0 1 0 64302964 39882752 6391 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6391 1073 2753 0 6390 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29260 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.20 4.18 5/265 352891
/proc/meminfo: memFree=123212148/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25884 CPUtime=12.66 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4972 0 0 0 1250 16 0 0 20 0 1 0 64302964 39882752 6471 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6471 1089 2753 0 6390 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29580 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.19 4.17 5/265 352893
/proc/meminfo: memFree=120205176/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25884 CPUtime=25.44 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4975 0 0 0 2513 31 0 0 20 0 1 0 64302964 39882752 6471 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6471 1089 2753 0 6390 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29580 KiB
[startup+51.1058 s]
/proc/loadavg: 4.18 4.19 4.17 5/265 352900
/proc/meminfo: memFree=118460084/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 671 591 264 0 134 0
[pid=352888] ppid=352885 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/352888/stat : 352888 (timeout) S 352885 352888 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64302964 8867840 253 134679101440 93979179319296 93979179354312 140729793039824 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93979181451728 93979181453860 93979195953152 140729793041449 140729793041565 140729793041565 140729793048551 0
/proc/352888/statm: 2165 253 229 9 0 87 0
[pid=352889] ppid=352888 vsize=38948 memory=25884 CPUtime=50.99 cores=1,3
/proc/352889/stat : 352889 (LS-MabSP) R 352888 352888 349568 0 -1 4194304 4976 0 0 0 5036 63 0 0 20 0 1 0 64302964 39882752 6471 134679101440 4194304 15467897 140731896917392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27217920 140731896919100 140731896919203 140731896919203 140731896926189 0
/proc/352889/statm: 9737 6471 1089 2753 0 6390 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29580 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/263 352967
/proc/meminfo: memFree=119376584/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64302964 10170368 671 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
################
# More data... #
################
/proc/353921/statm: 70889 61986 748 737 0 69977 0
Current children cumulated CPU time: 2556.33 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 251704 KiB
[startup+2622.3 s]
/proc/loadavg: 4.22 4.17 4.14 5/264 354463
/proc/meminfo: memFree=121795756/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248148 CPUtime=822.36 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41312 0 0 0 82222 14 0 0 20 0 1 0 64482765 290361344 62037 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62037 748 737 0 69977 0
Current children cumulated CPU time: 2616.19 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 251908 KiB
[startup+2682.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/267 354644
/proc/meminfo: memFree=121772896/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248148 CPUtime=882.22 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41342 0 0 0 88208 14 0 0 20 0 1 0 64482765 290361344 62037 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62037 748 737 0 69977 0
Current children cumulated CPU time: 2676.05 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 251908 KiB
[startup+2742.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/267 354656
/proc/meminfo: memFree=121670040/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248224 CPUtime=942.07 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41419 0 0 0 94193 14 0 0 20 0 1 0 64482765 290361344 62056 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62056 748 737 0 69977 0
Current children cumulated CPU time: 2735.9 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 251984 KiB
[startup+2758.69 s]
# the end of solver process 352885 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2730.5 s, system=21.768 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2752 s]*
/proc/loadavg: 4.16 4.15 4.14 5/267 354657
/proc/meminfo: memFree=121599896/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248420 CPUtime=951.75 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41487 0 0 0 95161 14 0 0 20 0 1 0 64482765 290361344 62105 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62105 748 737 0 69977 0
Current children cumulated CPU time: 2745.58 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 252180 KiB
[startup+2755.2 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 354657
/proc/meminfo: memFree=121571324/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248420 CPUtime=954.94 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41487 0 0 0 95480 14 0 0 20 0 1 0 64482765 290361344 62105 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62105 748 737 0 69977 0
Current children cumulated CPU time: 2748.77 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 252180 KiB
[startup+2756.8 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 354657
/proc/meminfo: memFree=121562636/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248420 CPUtime=956.54 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41487 0 0 0 95640 14 0 0 20 0 1 0 64482765 290361344 62105 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62105 748 737 0 69977 0
Current children cumulated CPU time: 2750.37 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 252180 KiB
[startup+2757.6 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 354657
/proc/meminfo: memFree=121555132/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248420 CPUtime=957.33 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41487 0 0 0 95719 14 0 0 20 0 1 0 64482765 290361344 62105 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62105 748 737 0 69977 0
Current children cumulated CPU time: 2751.16 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 252180 KiB
[startup+2758.4 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 354657
/proc/meminfo: memFree=121553956/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=283556 memory=248420 CPUtime=958.13 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41487 0 0 0 95799 14 0 0 20 0 1 0 64482765 290361344 62105 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 70889 62105 748 737 0 69977 0
Current children cumulated CPU time: 2751.96 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 252180 KiB
[startup+2758.6 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 354657
/proc/meminfo: memFree=121553956/131524592 swapFree=131071996/131071996
[pid=352885] ppid=352882 vsize=9932 memory=2724 CPUtime=1793.83 cores=1,3
/proc/352885/stat : 352885 (Hybrid-LSMabSP+) S 352882 352885 349568 0 -1 4194304 269 5231 0 0 0 0 177223 2160 20 0 1 0 64302964 10170368 681 134679101440 94169655406592 94169656485912 140730575217168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94169658584368 94169658631556 94169681940480 140730575225832 140730575225978 140730575225978 140730575232993 0
/proc/352885/statm: 2483 681 591 264 0 134 0
[pid=353920] ppid=352885 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353920/stat : 353920 (timeout) S 352885 353920 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64482765 8867840 259 134679101440 94531234762752 94531234797768 140732130520528 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94531236895184 94531236897316 94531267805184 140732130526196 140732130526365 140732130526365 140732130533351 0
/proc/353920/statm: 2165 259 234 9 0 87 0
[pid=353921] ppid=353920 vsize=284396 memory=248984 CPUtime=958.33 cores=1,3
/proc/353921/stat : 353921 (Exact) R 353920 353920 349568 0 -1 4194304 41646 0 0 0 95819 14 0 0 20 0 1 0 64482765 291221504 62246 134679101440 4194304 7210733 140732507574736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 13287424 140732507583504 140732507583654 140732507583654 140732507590640 0
/proc/353921/statm: 71099 62246 748 737 0 70187 0
Current children cumulated CPU time: 2752.16 s
Current children cumulated vsize: 302988 KiB
Current children cumulated memory: 252744 KiB
Child status: 0
Real time (s): 2758.69
CPU time (s): 2752.27
CPU user time (s): 2730.5
CPU system time (s): 21.768
CPU usage (%): 99.7671
Max. virtual memory (cumulated for all children) (KiB): 302988
Max. memory (cumulated for all children) (KiB): 252744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2730.5
system time used= 21.768
maximum resident set size= 249156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 1201
# summary of solver processes directly reported to runsolver:
# pid: 352885
# total CPU time (s): 2752.27
# total CPU user time (s): 2730.5
# total CPU system time (s): 21.768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69913 second user time and 13.4713 second system time
The end
Begin job on nodeC016 at 2024-08-06 22:44:19 IDJOB=4437298 IDBENCH=155602 IDSOLVER=3070 FILE ID=nodeC016/4437298-1722977059 RUNJOBID= nodeC016-1722971653-349580 SLURM_JOB_ID= 8259069 Free space on /tmp= 889964 MiB SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437298-1722977059/watcher-4437298-1722977059 -o /tmp/evaluation-result-4437298-1722977059/solver-4437298-1722977059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722971653-349580 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437298-1722977059.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52 RANDOM SEED=453169006 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.410 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.449 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.398 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.622 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.470 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.925 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.277 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.388 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524592 kB MemFree: 123747092 kB MemAvailable: 129304840 kB Buffers: 351464 kB Cached: 6041240 kB SwapCached: 0 kB Active: 840476 kB Inactive: 6387444 kB Active(anon): 1608 kB Inactive(anon): 871352 kB Active(file): 838868 kB Inactive(file): 5516092 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 90392 kB Writeback: 0 kB AnonPages: 835284 kB Mapped: 111308 kB Shmem: 37720 kB KReclaimable: 85180 kB Slab: 179840 kB SReclaimable: 85180 kB SUnreclaim: 94660 kB KernelStack: 4192 kB PageTables: 11124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 1130360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 30496 kB HardwareCorrupted: 0 kB AnonHugePages: 649216 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 314068 kB DirectMap2M: 9945088 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 889952 MiB End job on nodeC016 at 2024-08-06 23:30:17