Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 | OPT | 3971977 | 2898.22 | 2909.15 |
| 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 |
2898.15/2909.14 o 26510847 2898.15/2909.14 o 23333777 2898.15/2909.14 o 23310395 2898.15/2909.14 o 23285565 2898.15/2909.14 o 23269965 2898.15/2909.14 o 23154275 2898.15/2909.14 o 23141953 2898.15/2909.14 o 23126539 2898.15/2909.14 o 23117123 2898.15/2909.14 o 20125967 2898.15/2909.14 o 20098095 2898.15/2909.14 o 20050551 2898.15/2909.14 o 20012375 2898.15/2909.14 o 19977767 2898.15/2909.14 o 19954791 2898.15/2909.14 o 19836417 2898.15/2909.14 o 18937531 2898.15/2909.14 o 18935765 2898.15/2909.14 o 18923655 2898.15/2909.14 o 18905935 2898.15/2909.14 o 18838237 2898.15/2909.14 o 18835709 2898.15/2909.14 o 18819381 2898.15/2909.14 o 18573067 2898.15/2909.14 o 18562177 2898.15/2909.14 o 18548955 2898.15/2909.14 o 18527317 2898.15/2909.14 o 18462389 2898.15/2909.14 o 18458715 2898.15/2909.14 o 18457541 2898.15/2909.14 o 18456383 2898.15/2909.14 o 18434113 2898.15/2909.14 o 18413057 2898.15/2909.14 o 18406193 2898.15/2909.14 o 18403735 2898.15/2909.14 o 9547415 2898.15/2909.14 o 9482487 2898.15/2909.14 o 9480693 2898.15/2909.14 o 9477387 2898.15/2909.14 o 9419775 2898.15/2909.14 o 8126949 2898.15/2909.14 o 8122989 2898.15/2909.14 o 8118069 2898.15/2909.14 o 8107695 2898.15/2909.14 o 8092239 2898.15/2909.14 o 8091735 2898.15/2909.14 o 8085335 2898.15/2909.14 o 8004425 2898.15/2909.14 o 7990985 2898.15/2909.14 o 7951137 2898.15/2909.14 o 7947091 2898.15/2909.14 o 7912011 2898.15/2909.14 o 7907149 2898.15/2909.14 o 7890061 2898.15/2909.14 o 7888773 2898.15/2909.14 o 7884387 2898.15/2909.14 o 7864107 2898.15/2909.14 o 7840117 2898.15/2909.14 o 7817143 2898.15/2909.14 o 7803597 2898.15/2909.14 o 7803297 2898.15/2909.14 o 7801993 2898.15/2909.14 o 7800425 2898.15/2909.14 o 7795113 2898.15/2909.14 o 7793651 2898.15/2909.14 o 7775285 2898.15/2909.14 o 7766919 2898.15/2909.14 o 7758207 2898.15/2909.14 o 7719551 2898.15/2909.14 o 7696237 2898.15/2909.14 o 7688805 2898.15/2909.14 o 7650525 2898.15/2909.14 o 7622191 2898.15/2909.14 o 7615343 2898.15/2909.14 o 7600207 2898.15/2909.14 o 7582817 2898.15/2909.14 o 7580047 2898.15/2909.14 o 7578725 2898.15/2909.14 o 7572205 2898.15/2909.14 o 7558359 2898.15/2909.14 o 7551511 2898.15/2909.14 o 7546565 2898.15/2909.14 o 7546387 2898.15/2909.14 o 7534721 2898.15/2909.14 o 7519403 2898.15/2909.14 o 7506191 2898.15/2909.14 o 7499671 2898.15/2909.14 o 7490771 2898.15/2909.14 o 6942643 2898.15/2909.14 o 6921219 2898.15/2909.14 o 6900659 2898.15/2909.14 o 6890661 2898.15/2909.14 o 6873205 2898.15/2909.14 o 6867997 2898.15/2909.14 o 6573049 2898.15/2909.14 o 6571727 2898.15/2909.14 o 6563069 2898.15/2909.14 o 6519725 2898.15/2909.14 o 6498301 2898.15/2909.14 o 6478191 2898.15/2909.14 o 6455647 2898.15/2909.14 o 6437321 2898.15/2909.14 o 6423741 2898.15/2909.14 o 6423391 2898.15/2909.14 o 6412019 2898.15/2909.14 o 6398439 2898.15/2909.14 o 6397173 2898.15/2909.14 o 6381705 2898.15/2909.14 o 6378453 2898.15/2909.14 o 6369319 2898.15/2909.14 o 6364171 2898.15/2909.14 o 6360919 2898.15/2909.14 o 6357577 2898.15/2909.14 o 6347781 2898.15/2909.14 o 6334201 2898.15/2909.14 o 6330213 2898.15/2909.14 o 6257149 2898.15/2909.14 o 6254465 2898.15/2909.14 o 6251187 2898.15/2909.14 o 6250233 2898.15/2909.14 o 6249567 2898.15/2909.14 o 6249127 2898.15/2909.14 o 6247837 2898.15/2909.14 o 6244799 2898.15/2909.14 o 6243155 2898.15/2909.14 o 6242201 2898.15/2909.14 o 6229815 2898.15/2909.14 o 6228345 2898.15/2909.14 o 6227391 2898.15/2909.14 o 6227033 2898.15/2909.14 o 6226079 2898.15/2909.14 o 6216761 2898.15/2909.14 o 6215807 2898.15/2909.14 o 6215735 2898.15/2909.14 o 6212953 2898.15/2909.14 o 6203891 2898.15/2909.14 o 6183555 2898.15/2909.14 o 6182889 2898.15/2909.14 o 6176895 2898.15/2909.14 o 6172091 2898.15/2909.14 o 6171971 2898.15/2909.14 o 6168349 2898.15/2909.14 o 6111199 2898.15/2909.14 o 6096157 2898.15/2909.14 o 6091795 2898.15/2909.14 o 6089995 2898.15/2909.14 o 6019145 2898.15/2909.14 o 6018201 2898.15/2909.14 o 6017247 2898.15/2909.14 o 6015723 2898.15/2909.14 o 6014769 2898.15/2909.14 o 6013815 2898.15/2909.14 o 6012861 2898.15/2909.14 o 6010589 2898.15/2909.14 o 5992281 2898.15/2909.14 o 5990911 2898.15/2909.14 o 5989871 2898.15/2909.14 o 5986535 2898.15/2909.14 o 5982701 2898.15/2909.14 o 5978661 2898.15/2909.14 o 5978575 2898.15/2909.14 o 5977621 2898.15/2909.14 o 5976251 2898.15/2909.14 o 5972629 2898.15/2909.14 o 5968841 2898.15/2909.14 o 5966587 2898.15/2909.14 o 5965547 2898.15/2909.14 o 5960137 2898.15/2909.14 o 5959273 2898.15/2909.14 o 5953529 2898.15/2909.14 o 5943801 2898.15/2909.14 o 5935729 2898.15/2909.14 o 5935311 2898.15/2909.14 o 5934645 2898.15/2909.14 o 5923295 2898.15/2909.14 o 5883311 2898.15/2909.14 o 5828509 2898.15/2909.14 o 5827851 2898.15/2909.14 o 5820123 2898.15/2909.14 o 5819457 2898.15/2909.14 o 5750169 2898.15/2909.14 o 5730471 2898.15/2909.14 o 5724087 2898.15/2909.14 o 5723417 2898.15/2909.14 o 5722807 2898.15/2909.14 o 5715753 2898.15/2909.14 o 5712069 2898.15/2909.14 o 5709815 2898.15/2909.14 o 5667777 2898.15/2909.14 o 5653663 2898.15/2909.14 o 5642507 2898.15/2909.14 o 5642057 2898.15/2909.14 o 5629441 2898.15/2909.14 o 5627479 2898.15/2909.14 o 5626821 2898.15/2909.14 o 5614007 2898.15/2909.14 o 5595263 2898.15/2909.14 o 5594705 2898.15/2909.14 o 5591153 2898.15/2909.14 o 5589031 2898.15/2909.14 o 5578633 2898.15/2909.14 o 5575349 2898.15/2909.14 o 5573077 2898.15/2909.14 o 5565965 2898.15/2909.14 o 5565771 2898.15/2909.14 o 5561409 2898.15/2909.14 o 5559259 2898.15/2909.14 o 5555707 2898.15/2909.14 o 5553835 2898.15/2909.14 o 5551003 2898.15/2909.14 o 5549393 2898.15/2909.14 o 5546833 2898.15/2909.14 o 5545005 2898.15/2909.14 o 5544493 2898.15/2909.14 o 5540131 2898.15/2909.14 o 5531679 2898.15/2909.14 o 5525215 2898.15/2909.14 o 5514975 2898.15/2909.14 o 5511273 2898.15/2909.14 o 5504759 2898.15/2909.14 o 5497421 2898.15/2909.14 o 5496505 2898.15/2909.14 o 5493747 2898.15/2909.14 o 5492069 2898.15/2909.14 o 5489021 2898.15/2909.14 o 5485933 2898.15/2909.14 o 5479651 2898.15/2909.14 o 5460525 2898.15/2909.14 o 5449743 2898.15/2909.14 o 5439375 2898.15/2909.14 o 5436399 2898.15/2909.14 o 5434447 2898.15/2909.14 o 5428925 2898.15/2909.14 o 5428389 2898.15/2909.14 o 5425983 2898.15/2909.14 o 5423357 2898.15/2909.14 o 5420381 2898.15/2909.14 o 5418429 2898.15/2909.14 o 5415453 2898.15/2909.14 o 5414775 2898.15/2909.14 o 5411801 2898.15/2909.14 o 5410547 2898.15/2909.14 o 5400179 2898.15/2909.14 o 5397203 2898.15/2909.14 o 5395251 2898.15/2909.14 o 5392277 2898.15/2909.14 o 5387447 2898.15/2909.14 o 5386911 2898.15/2909.14 o 5381781 2898.15/2909.14 o 5377389 2898.15/2909.14 o 5375789 2898.15/2909.14 o 5374511 2898.15/2909.14 o 5371535 2898.15/2909.14 o 5371455 2898.15/2909.14 o 5368907 2898.15/2909.14 o 5365933 2898.15/2909.14 o 5365397 2898.15/2909.14 o 5363981 2898.15/2909.14 o 5363557 2898.15/2909.14 o 5196803 2898.15/2909.14 o 5192681 2898.15/2909.14 o 5187295 2898.15/2909.14 o 5172535 2898.15/2909.14 o 5111197 2898.15/2909.14 o 5107501 2898.15/2909.14 o 5089493 2898.15/2909.14 o 5084667 2898.15/2909.14 o 5076939 2898.15/2909.14 o 5066409 2898.15/2909.14 o 5062179 2898.15/2909.14 o 5061469 2898.15/2909.14 o 5057239 2898.15/2909.14 o 5051615 2898.15/2909.14 o 5046789 2898.15/2909.14 o 5044029 2898.15/2909.14 o 5039089 2898.15/2909.14 o 5033465 2898.15/2909.14 o 5027897 2898.15/2909.14 o 5023071 2898.15/2909.14 o 5022591 2898.15/2909.14 o 5019495 2898.15/2909.14 o 5010439 2898.15/2909.14 o 5008023 2898.15/2909.14 o 5005395 2898.15/2909.14 o 5005293 2898.15/2909.14 o 5000467 2898.15/2909.14 o 4701229 2898.15/2909.14 o 4671987 2898.15/2909.14 o 4671603 2898.15/2909.14 o 4667123 2898.15/2909.14 o 4664403 2898.15/2909.14 o 4626403 2898.15/2909.14 o 4617933 2898.15/2909.14 o 4612323 2898.15/2909.14 o 4609987 2898.15/2909.14 o 4597769 2898.15/2909.14 o 4589299 2898.15/2909.14 o 4584849 2898.15/2909.14 o 4583689 2898.15/2909.14 o 4550519 2898.15/2909.14 o 4537599 2898.15/2909.14 o 4531623 2898.15/2909.14 o 4486263 2898.15/2909.14 o 4477793 2898.15/2909.14 o 4474167 2898.15/2909.14 o 4458697 2898.15/2909.14 o 4450227 2898.15/2909.14 o 4445321 2898.15/2909.14 o 4415977 2898.15/2909.14 o 4373593 2898.15/2909.14 o 4365123 2898.15/2909.14 o 4327241 2898.15/2909.14 o 4324649 2898.15/2909.14 o 4320351 2898.15/2909.14 o 4302801 2898.15/2909.14 o 4300209 2898.15/2909.14 o 4259633 2898.15/2909.14 o 4216273 2898.15/2909.14 o 4203051 2898.15/2909.14 o 4174101 2898.15/2909.14 o 4164405 2898.15/2909.14 o 4157491 2898.15/2909.14 o 4140025 2898.15/2909.14 o 4135915 2898.15/2909.14 o 4124875 2898.15/2909.14 o 4115753 2898.15/2909.14 o 4115751 2898.15/2909.14 o 4089181 2898.15/2909.14 o 4088569 2898.15/2909.14 o 4086047 2898.15/2909.14 o 4078429 2898.15/2909.14 o 4048333 2898.15/2909.14 o 4038637 2898.15/2909.14 o 4037911 2898.15/2909.14 o 4032525 2898.15/2909.14 o 4023389 2898.15/2909.14 o 4016187 2898.15/2909.14 o 4014937 2898.15/2909.14 o 4014923 2898.15/2909.14 o 4003723 2898.15/2909.14 o 3971977 2898.15/2909.14 s OPTIMUM FOUND 2898.15/2909.14 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: 64096 MiB (55221 MiB free)
memory of node 1: 64473 MiB (60958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438507-1722966252/watcher-4438507-1722966252 -o /tmp/evaluation-result-4438507-1722966252/solver-4438507-1722966252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722959055-337209 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438507-1722966252.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=341633, runsolver pid=341630
[startup+0.100101 s]*
/proc/loadavg: 4.22 4.19 4.22 5/247 341637
/proc/meminfo: memFree=118952752/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=37380 memory=18888 CPUtime=0.09 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 4213 0 0 0 9 0 0 0 20 0 1 0 63222766 38277120 4722 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 9345 4722 782 2417 0 6447 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55972 KiB
Current children cumulated memory: 22552 KiB
[startup+0.213362 s]*
/proc/loadavg: 4.22 4.19 4.22 5/246 341637
/proc/meminfo: memFree=118925396/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=68724 memory=47572 CPUtime=0.21 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 11106 0 0 0 20 1 0 0 20 0 1 0 63222766 70373376 11893 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 17181 11893 1038 2417 0 14283 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 87316 KiB
Current children cumulated memory: 51236 KiB
[startup+0.313436 s]*
/proc/loadavg: 4.22 4.19 4.22 4/243 341654
/proc/meminfo: memFree=118943816/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=89336 memory=69964 CPUtime=0.31 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 13606 0 0 0 29 2 0 0 20 0 1 0 63222766 91480064 17491 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 22334 17491 1038 2417 0 19436 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107928 KiB
Current children cumulated memory: 73628 KiB
[startup+0.700495 s]
/proc/loadavg: 4.22 4.19 4.22 4/246 341663
/proc/meminfo: memFree=118926028/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=96900 memory=84740 CPUtime=0.68 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 17413 0 0 0 66 2 0 0 20 0 1 0 63222766 99225600 21185 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 24225 21185 2382 2417 0 21327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115492 KiB
Current children cumulated memory: 88404 KiB
[startup+1.50048 s]
/proc/loadavg: 4.22 4.19 4.22 5/251 341672
/proc/meminfo: memFree=118673996/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=384804 memory=368264 CPUtime=1.46 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 88125 0 0 0 134 12 0 0 20 0 1 0 63222766 394039296 92066 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 1 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 96201 92066 2590 2417 0 93303 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 403396 KiB
Current children cumulated memory: 371928 KiB
[startup+3.11342 s]
/proc/loadavg: 4.22 4.19 4.22 5/251 341672
/proc/meminfo: memFree=118230256/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=478564 memory=462724 CPUtime=3.07 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 111174 0 0 0 291 16 0 0 20 0 1 0 63222766 490049536 115681 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 1 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 119641 115681 2638 2417 0 116743 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 497156 KiB
Current children cumulated memory: 466388 KiB
[startup+6.30044 s]
/proc/loadavg: 4.20 4.19 4.22 5/251 341674
/proc/meminfo: memFree=118212260/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=478564 memory=463020 CPUtime=6.24 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 111252 0 0 0 608 16 0 0 20 0 1 0 63222766 490049536 115755 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 1 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 119641 115755 2654 2417 0 116743 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 497156 KiB
Current children cumulated memory: 466684 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.18 4.22 5/251 341674
/proc/meminfo: memFree=117957996/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=677536 memory=657572 CPUtime=12.62 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 153002 0 0 0 1238 24 0 0 20 0 1 0 63222766 693796864 164393 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 1 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 169384 164393 2766 2417 0 166486 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 696128 KiB
Current children cumulated memory: 661236 KiB
[startup+25.5005 s]
/proc/loadavg: 4.14 4.17 4.21 5/251 341675
/proc/meminfo: memFree=117756796/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=678944 memory=660080 CPUtime=25.38 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 153659 0 0 0 2513 25 0 0 20 0 1 0 63222766 695238656 165020 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 1 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 169736 165020 2766 2417 0 166838 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 697536 KiB
Current children cumulated memory: 663744 KiB
[startup+51.1134 s]
/proc/loadavg: 4.15 4.18 4.21 5/251 341680
/proc/meminfo: memFree=117662120/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 687 609 264 0 134 0
[pid=341636] ppid=341633 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/341636/stat : 341636 (timeout) S 341633 341636 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63222766 8867840 229 134679101440 94422202826752 94422202861768 140734384200816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94422204959184 94422204961316 94422223441920 140734384202764 140734384202909 140734384202909 140734384209895 0
/proc/341636/statm: 2165 229 205 9 0 87 0
[pid=341637] ppid=341636 vsize=683836 memory=664768 CPUtime=50.9 cores=0,2
/proc/341637/stat : 341637 (CASHWMaxSAT-Dis) R 341636 341636 337199 0 -1 4194304 154865 0 0 0 5064 26 0 0 20 0 1 0 63222766 700248064 166192 134679101440 4194304 14093885 140725175048320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 1 0 0 15976432 16051504 27418624 140725175051282 140725175051414 140725175051414 140725175058400 0
/proc/341637/statm: 170959 166192 2766 2417 0 168061 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 702428 KiB
Current children cumulated memory: 668432 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.16 4.20 5/249 341689
/proc/meminfo: memFree=117514748/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 240 100 0 0 0 0 0 0 20 0 1 0 63222765 10170368 687 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
################
# More data... #
################
/proc/342696/statm: 70889 64349 748 737 0 69977 0
Current children cumulated CPU time: 2851.5 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 261128 KiB
[startup+2909.15 s]
# the end of solver process 341633 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2897.55 s, system=0.663073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2867.2 s]
/proc/loadavg: 4.07 4.13 4.16 5/252 343508
/proc/meminfo: memFree=115608612/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=257396 CPUtime=1064.97 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41323 0 0 0 106481 16 0 0 20 0 1 0 63402567 290361344 64349 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 64349 748 737 0 69977 0
Current children cumulated CPU time: 2856.38 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 261128 KiB
[startup+2892.8 s]
/proc/loadavg: 4.22 4.16 4.18 5/252 343511
/proc/meminfo: memFree=115596208/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=269428 CPUtime=1090.48 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41358 0 0 0 109032 16 0 0 20 0 1 0 63402567 290361344 67357 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 67357 748 737 0 69977 0
Current children cumulated CPU time: 2881.89 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 273160 KiB
[startup+2899.2 s]
/proc/loadavg: 4.20 4.16 4.18 5/252 343513
/proc/meminfo: memFree=115595476/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=276208 CPUtime=1096.86 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41358 0 0 0 109670 16 0 0 20 0 1 0 63402567 290361344 69052 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 69052 748 737 0 69977 0
Current children cumulated CPU time: 2888.27 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 279940 KiB
[startup+2905.6 s]
/proc/loadavg: 4.25 4.17 4.18 5/252 343513
/proc/meminfo: memFree=115587984/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=276208 CPUtime=1103.24 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41361 0 0 0 110308 16 0 0 20 0 1 0 63402567 290361344 69052 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 69052 748 737 0 69977 0
Current children cumulated CPU time: 2894.65 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 279940 KiB
[startup+2907.2 s]
/proc/loadavg: 4.25 4.17 4.18 5/252 343515
/proc/meminfo: memFree=115587572/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=276208 CPUtime=1104.83 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41361 0 0 0 110467 16 0 0 20 0 1 0 63402567 290361344 69052 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 69052 748 737 0 69977 0
Current children cumulated CPU time: 2896.24 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 279940 KiB
[startup+2908 s]*
/proc/loadavg: 4.25 4.17 4.18 5/252 343515
/proc/meminfo: memFree=115587280/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=276208 CPUtime=1105.64 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41361 0 0 0 110548 16 0 0 20 0 1 0 63402567 290361344 69052 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 69052 748 737 0 69977 0
Current children cumulated CPU time: 2897.05 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 279940 KiB
[startup+2908.8 s]
/proc/loadavg: 4.25 4.17 4.18 5/252 343515
/proc/meminfo: memFree=115587280/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=276208 CPUtime=1106.43 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41361 0 0 0 110627 16 0 0 20 0 1 0 63402567 290361344 69052 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 69052 748 737 0 69977 0
Current children cumulated CPU time: 2897.84 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 279940 KiB
[startup+2909 s]*
/proc/loadavg: 4.25 4.17 4.18 5/252 343515
/proc/meminfo: memFree=115587120/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=283556 memory=276208 CPUtime=1106.64 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41361 0 0 0 110648 16 0 0 20 0 1 0 63402567 290361344 69052 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 70889 69052 748 737 0 69977 0
Current children cumulated CPU time: 2898.05 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 279940 KiB
[startup+2909.11 s]
/proc/loadavg: 4.25 4.17 4.18 5/252 343515
/proc/meminfo: memFree=115587120/131655788 swapFree=131071996/131071996
[pid=341633] ppid=341630 vsize=9932 memory=2812 CPUtime=1791.41 cores=0,2
/proc/341633/stat : 341633 (Hybrid-CASHWMax) S 341630 341633 337199 0 -1 4194304 272 242278 0 0 0 0 179093 48 20 0 1 0 63222765 10170368 703 134679101440 94561556062208 94561557141528 140722186301712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94561559239984 94561559287172 94561588457472 140722186306512 140722186306670 140722186306670 140722186313685 0
/proc/341633/statm: 2483 703 609 264 0 134 0
[pid=342695] ppid=341633 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/342695/stat : 342695 (timeout) S 341633 342695 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63402567 8867840 230 134679101440 94566126850048 94566126885064 140722983620608 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94566128982480 94566128984612 94566147747840 140722983625716 140722983625885 140722983625885 140722983632871 0
/proc/342695/statm: 2165 230 205 9 0 87 0
[pid=342696] ppid=342695 vsize=284396 memory=276544 CPUtime=1106.74 cores=0,2
/proc/342696/stat : 342696 (Exact) R 342695 342695 337199 0 -1 4194304 41520 0 0 0 110658 16 0 0 20 0 1 0 63402567 291221504 69136 134679101440 4194304 7210733 140732973156048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 24633344 140732973159440 140732973159590 140732973159590 140732973166576 0
/proc/342696/statm: 71099 69136 748 737 0 70187 0
Current children cumulated CPU time: 2898.15 s
Current children cumulated vsize: 302988 KiB
Current children cumulated memory: 280276 KiB
Child status: 0
Real time (s): 2909.15
CPU time (s): 2898.22
CPU user time (s): 2897.55
CPU system time (s): 0.663073
CPU usage (%): 99.6242
Max. virtual memory (cumulated for all children) (KiB): 1252004
Max. memory (cumulated for all children) (KiB): 1086808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2897.55
system time used= 0.663073
maximum resident set size= 1083144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 20295
# summary of solver processes directly reported to runsolver:
# pid: 341633
# total CPU time (s): 2898.22
# total CPU user time (s): 2897.55
# total CPU system time (s): 0.663073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9901 second user time and 31.6462 second system time
The end
Begin job on nodeC009 at 2024-08-06 19:44:12 IDJOB=4438507 IDBENCH=155602 IDSOLVER=3073 FILE ID=nodeC009/4438507-1722966252 RUNJOBID= nodeC009-1722959055-337209 SLURM_JOB_ID= 8259030 Free space on /tmp= 723708 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438507-1722966252/watcher-4438507-1722966252 -o /tmp/evaluation-result-4438507-1722966252/solver-4438507-1722966252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722959055-337209 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438507-1722966252.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52 RANDOM SEED=2047394365 nodeC009.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 : 0xb00001f cpu MHz : 3492.018 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 3491.998 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.257 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.276 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 3662.674 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 3663.311 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.453 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.339 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 118969004 kB MemAvailable: 129522820 kB Buffers: 346944 kB Cached: 11042048 kB SwapCached: 0 kB Active: 658012 kB Inactive: 11531184 kB Active(anon): 1556 kB Inactive(anon): 835696 kB Active(file): 656456 kB Inactive(file): 10695488 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18040 kB Writeback: 0 kB AnonPages: 799556 kB Mapped: 113248 kB Shmem: 37704 kB KReclaimable: 84144 kB Slab: 170752 kB SReclaimable: 84144 kB SUnreclaim: 86608 kB KernelStack: 4000 kB PageTables: 10768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1328288 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24640 kB HardwareCorrupted: 0 kB AnonHugePages: 315392 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: 314184 kB DirectMap2M: 23707648 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 723660 MiB End job on nodeC009 at 2024-08-06 20:32:41