0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507629-1751177738.opb'
0.00/0.02 c read 0.25MB (3.69ms)
0.00/0.02 c [cnf: #variables 4125 #clauses 4277 #duplicates 0 #arr 25697]
0.00/0.02 c output proof to 'PROOFDIR/proof-4507629-1751177738'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 750] (4.97ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (0.75ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 20777 #edges 76144]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 8.00*10^0 #generators 3] (4.17ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.01ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 3 generators (0.01ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 84 #add_vars 27]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507629-1751177738.opb.pre'
0.00/0.03 c wrote 0.26MB (0.65ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 4.97ms 29.89% approx_orbits
0.00/0.03 c 4.17ms 25.10% detect_generic
0.00/0.03 c 3.68ms 22.16% parse
0.00/0.03 c 2.24ms 13.47% other
0.00/0.03 c 0.75ms 4.49% detect_special
0.00/0.03 c 0.65ms 3.92% output
0.00/0.03 c 0.13ms 0.81% finalize_order
0.00/0.03 c 0.01ms 0.09% break_generic
0.00/0.03 c 0.01ms 0.07% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 16.63ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.07 c #variables 4152 #constraints 4344
26.99/27.15 c #Conflicts: 1000 | #Constraints: 5343
26.99/27.15 c #Conflicts: 2000 | #Constraints: 6343
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 3000 | #Constraints: 5804
26.99/27.15 c #Conflicts: 4000 | #Constraints: 6804
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 5000 | #Constraints: 6253
26.99/27.15 c #Conflicts: 6000 | #Constraints: 7253
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 7000 | #Constraints: 6294
26.99/27.15 c #Conflicts: 8000 | #Constraints: 7294
26.99/27.15 c #Conflicts: 9000 | #Constraints: 8294
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 10000 | #Constraints: 7031
26.99/27.15 c #Conflicts: 11000 | #Constraints: 8031
26.99/27.15 c #Conflicts: 12000 | #Constraints: 9031
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 13000 | #Constraints: 7517
26.99/27.15 c #Conflicts: 14000 | #Constraints: 8517
26.99/27.15 c #Conflicts: 15000 | #Constraints: 9517
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 16000 | #Constraints: 7763
26.99/27.15 c #Conflicts: 17000 | #Constraints: 8763
26.99/27.15 c #Conflicts: 18000 | #Constraints: 9763
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 19000 | #Constraints: 7805
26.99/27.15 c #Conflicts: 20000 | #Constraints: 8805
26.99/27.15 c #Conflicts: 21000 | #Constraints: 9805
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 22000 | #Constraints: 7612
26.99/27.15 c #Conflicts: 23000 | #Constraints: 8612
26.99/27.15 c #Conflicts: 24000 | #Constraints: 9612
26.99/27.15 c #Conflicts: 25000 | #Constraints: 10612
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 26000 | #Constraints: 8255
26.99/27.15 c #Conflicts: 27000 | #Constraints: 9255
26.99/27.15 c #Conflicts: 28000 | #Constraints: 10255
26.99/27.15 c #Conflicts: 29000 | #Constraints: 11255
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 30000 | #Constraints: 8651
26.99/27.15 c #Conflicts: 31000 | #Constraints: 9651
26.99/27.15 c #Conflicts: 32000 | #Constraints: 10651
26.99/27.15 c #Conflicts: 33000 | #Constraints: 11651
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 34000 | #Constraints: 8861
26.99/27.15 c #Conflicts: 35000 | #Constraints: 9861
26.99/27.15 c #Conflicts: 36000 | #Constraints: 10861
26.99/27.15 c #Conflicts: 37000 | #Constraints: 11861
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 38000 | #Constraints: 8885
26.99/27.15 c #Conflicts: 39000 | #Constraints: 9885
26.99/27.15 c #Conflicts: 40000 | #Constraints: 10885
26.99/27.15 c #Conflicts: 41000 | #Constraints: 11885
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 42000 | #Constraints: 8704
26.99/27.15 c #Conflicts: 43000 | #Constraints: 9704
26.99/27.15 c #Conflicts: 44000 | #Constraints: 10704
26.99/27.15 c #Conflicts: 45000 | #Constraints: 11704
26.99/27.15 c #Conflicts: 46000 | #Constraints: 12704
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c #Conflicts: 47000 | #Constraints: 9303
26.99/27.15 c #Conflicts: 48000 | #Constraints: 10303
26.99/27.15 c #Conflicts: 49000 | #Constraints: 11303
26.99/27.15 c #Conflicts: 50000 | #Constraints: 12303
26.99/27.15 c #Conflicts: 51000 | #Constraints: 13303
26.99/27.15 c INPROCESSING
26.99/27.15 c GARBAGE COLLECT
26.99/27.15 c rational objective 76
37.01/37.32 c #Conflicts: 52000 | #Constraints: 9720
37.01/37.32 c #Conflicts: 53000 | #Constraints: 10720
37.01/37.32 c #Conflicts: 54000 | #Constraints: 11720
37.01/37.32 c #Conflicts: 55000 | #Constraints: 12720
37.01/37.32 c #Conflicts: 56000 | #Constraints: 13720
37.01/37.32 c INPROCESSING
37.01/37.32 c GARBAGE COLLECT
37.01/37.32 c #Conflicts: 57000 | #Constraints: 9940
37.01/37.32 c #Conflicts: 58000 | #Constraints: 10940
37.01/37.32 c #Conflicts: 59000 | #Constraints: 11940
37.01/37.32 c #Conflicts: 60000 | #Constraints: 12940
37.01/37.32 c #Conflicts: 61000 | #Constraints: 13940
37.01/37.32 c INPROCESSING
37.01/37.32 c GARBAGE COLLECT
37.01/37.32 c #Conflicts: 62000 | #Constraints: 9934
37.01/37.32 c #Conflicts: 63000 | #Constraints: 10934
37.01/37.32 c #Conflicts: 64000 | #Constraints: 11934
37.01/37.32 c #Conflicts: 65000 | #Constraints: 12934
37.01/37.32 c #Conflicts: 66000 | #Constraints: 13934
37.01/37.32 c INPROCESSING
37.01/37.32 c GARBAGE COLLECT
37.01/37.32 c #Conflicts: 67000 | #Constraints: 9717
37.01/37.32 c #Conflicts: 68000 | #Constraints: 10717
37.01/37.32 c cpu time 36.3056 s
37.01/37.32 c deterministic time 1487206508 1.49e+09
37.01/37.32 c optimization time 0.000245 s
37.01/37.32 c total solve time 36.277 s
37.01/37.32 c core-guided solve time 0 s
37.01/37.32 c propagation time 14.059 s
37.01/37.32 c conflict analysis time 12.9476 s
37.01/37.32 c propagations 21904309
37.01/37.32 c resolve steps 2233658
37.01/37.32 c decisions 511510
37.01/37.32 c conflicts 68507
37.01/37.32 c restarts 211
37.01/37.32 c inprocessing phases 18
37.01/37.32 c garbage collections 18 ,( 100.00 )
37.01/37.32 c input clauses 4269 ,( 98.27 )
37.01/37.32 c input cardinalities 75 ,( 1.73 )
37.01/37.32 c input general constraints 0 ,( 0.00 )
37.01/37.32 c input average constraint length 5.96
37.01/37.32 c input average constraint degree 1.92
37.01/37.32 c learned clauses 47143 ,( 68.81 )
37.01/37.32 c learned cardinalities 3796 ,( 5.54 )
37.01/37.32 c learned general constraints 17569 ,( 25.65 )
37.01/37.32 c learned average constraint length 279.81
37.01/37.32 c learned average constraint degree 724150.60
37.01/37.32 c watched CF 32, 64, 128, Arb: 4765 , 0 , 0 , 0
37.01/37.32 c counting CF 32, 64, 128, Arb: 12804 , 0 , 0 , 0
37.01/37.32 c watched constraints 4765 ,( 27.12 )
37.01/37.32 c counting constraints 12804 ,( 72.88 )
37.01/37.32 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 20115559 , 10945778 , 14108839 ,( 1480817 , 12628022 )
37.01/37.32 c gcd simplifications 34
37.01/37.32 c detected cardinalities 330
37.01/37.32 c weakened non-implied lits 8210381
37.01/37.32 c weakened non-implying lits 2980
37.01/37.32 c original variables 4152
37.01/37.32 c clausal propagations 10334778
37.01/37.32 c cardinality propagations 8317177
37.01/37.32 c watched propagations 90382
37.01/37.32 c counting propagations 2835100
37.01/37.32 c watch lookups 391642491
37.01/37.32 c watch backjump lookups 0
37.01/37.32 c watch checks 365420815
37.01/37.32 c propagation checks 620106007
37.01/37.32 c constraint additions 65113285
37.01/37.32 c trail pops 22483715
37.01/37.32 c formula constraints 4344
37.01/37.32 c learned constraints 68507
37.01/37.32 c bound constraints 0
37.01/37.32 c core-guided constraints 0
37.01/37.32 c encountered formula constraints 1734134
37.01/37.32 c encountered learned constraints 568031
37.01/37.32 c encountered bound constraints 0
37.01/37.32 c encountered core-guided constraints 0
37.01/37.32 c LP total time 7.05711 s
37.01/37.32 c LP solve time 5.71 s
37.01/37.32 c LP constraints added 4344
37.01/37.32 c LP constraints removed 0
37.01/37.32 c LP pivots internal 10000
37.01/37.32 c LP pivots root 14375
37.01/37.32 c LP calls 5
37.01/37.32 c LP optimalities 1
37.01/37.32 c LP no pivot count 0
37.01/37.32 c LP infeasibilities 0
37.01/37.32 c LP valid Farkas constraints 0
37.01/37.32 c LP learned Farkas constraints 0
37.01/37.32 c LP basis resets 0
37.01/37.32 c LP cycling count 0
37.01/37.32 c LP singular count 0
37.01/37.32 c LP no primal count 0
37.01/37.32 c LP no farkas count 0
37.01/37.32 c LP other issue count 0
37.01/37.32 c LP Gomory cuts 1
37.01/37.32 c LP learned cuts 49
37.01/37.32 c LP deleted cuts 0
37.01/37.32 c LP encountered Gomory constraints 0
37.01/37.32 c LP encountered Farkas constraints 0
37.01/37.32 c LP encountered learned Farkas constraints 0
37.01/37.32 c CG auxiliary variables introduced 0
37.01/37.32 c CG solutions found 0
37.01/37.32 c CG cores constructed 0
37.01/37.32 c CG core cardinality constraints returned 0
37.01/37.32 c CG unit cores 0
37.01/37.32 c CG single cores 0
37.01/37.32 c CG blocks removed during cardinality reduction 0
37.01/37.32 c CG first core best 0
37.01/37.32 c CG decision core best 0
37.01/37.32 c CG core reduction tie 0
37.01/37.32 c CG core degree average 0.00
37.01/37.32 c CG core slack average 0.00
37.01/37.32 c CG core upper bound improvements 0
37.01/37.32 c STR number of successful calls 0
37.01/37.32 c STR number of unsuccessful calls 0
37.01/37.32 c STR number of inconclusive calls 0
37.01/37.32 c STR number of successful attempts 0
37.01/37.32 c STR number of unsuccessful attempts 0
37.01/37.32 c STR number of inconclusive attempts 0
37.01/37.32 c STR average degree increase per successful call inf
37.01/37.32 c STR average degree increase per successful attempt inf
37.01/37.32 c STR total number of conflicts for successful attempts 0
37.01/37.32 c STR total number of conflicts for unsuccessful attempts 0
37.01/37.32 c STR total number of conflicts for inconclusive attempts 0
37.01/37.32 c STR average number of conflicts per successful attempt inf
37.01/37.32 c STR average number of conflicts per unsuccessful attempt inf
37.01/37.32 c STR average number of conflicts per inconclusive attempt inf
37.01/37.32 c AVG.sumWPerc 62.81
37.01/37.32 c bigint constraints 0
37.01/37.32 s SATISFIABLE
37.01/37.32 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
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: 63708 MiB (57871 MiB free)
memory of node 1: 64465 MiB (63875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507629-1751177738/watcher-4507629-1751177738 -o /tmp/evaluation-result-4507629-1751177738/solver-4507629-1751177738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20383 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507629-1751177738.opb PROOFDIR/proof-4507629-1751177738
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21224, runsolver pid=21221
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.09 4.09 5/269 21227
/proc/meminfo: memFree=124656552/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=69200 memory=23964 CPUtime=0.05 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 4077 0 0 0 4 1 0 0 20 0 1 0 33451246 70860800 5991 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 17300 5991 2272 1147 0 4727 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 26908 KiB
[startup+0.205512 s]*
/proc/loadavg: 4.11 4.09 4.09 5/269 21227
/proc/meminfo: memFree=124654536/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=69200 memory=24348 CPUtime=0.15 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 4151 0 0 0 14 1 0 0 20 0 1 0 33451246 70860800 6087 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 17300 6087 2304 1147 0 4727 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 27292 KiB
[startup+0.305339 s]*
/proc/loadavg: 4.11 4.09 4.09 5/269 21227
/proc/meminfo: memFree=124654696/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=69200 memory=24348 CPUtime=0.25 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 4151 0 0 0 24 1 0 0 20 0 1 0 33451246 70860800 6087 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 17300 6087 2304 1147 0 4727 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 27292 KiB
[startup+0.700169 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 21227
/proc/meminfo: memFree=124654640/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=70728 memory=25756 CPUtime=0.64 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 4525 0 0 0 63 1 0 0 20 0 1 0 33451246 72425472 6439 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 17682 6439 2304 1147 0 5109 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 74920 KiB
Current children cumulated memory: 28700 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 21227
/proc/meminfo: memFree=124652876/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=73104 memory=28444 CPUtime=1.44 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 5180 0 0 0 139 5 0 0 20 0 1 0 33451246 74858496 7111 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 18276 7111 2336 1147 0 5703 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77296 KiB
Current children cumulated memory: 31388 KiB
[startup+3.10528 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 21227
/proc/meminfo: memFree=124607768/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=75664 memory=33148 CPUtime=3.04 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 5822 0 0 0 295 9 0 0 20 0 1 0 33451246 77479936 8287 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 18916 8287 2336 1147 0 6343 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 79856 KiB
Current children cumulated memory: 36092 KiB
[startup+6.30013 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 21229
/proc/meminfo: memFree=124582804/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=81876 memory=36220 CPUtime=6.23 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 6608 0 0 0 607 16 0 0 20 0 1 0 33451246 83841024 9055 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 20469 9055 2336 1147 0 7896 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 86068 KiB
Current children cumulated memory: 39164 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 21229
/proc/meminfo: memFree=124501280/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=83492 memory=40060 CPUtime=12.61 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 7050 0 0 0 1233 28 0 0 20 0 1 0 33451246 85495808 10015 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 20873 10015 2336 1147 0 8300 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 43004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 21230
/proc/meminfo: memFree=124348300/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=92756 memory=48080 CPUtime=25.38 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 8555 0 0 0 2485 53 0 0 20 0 1 0 33451246 94982144 12020 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 23189 12020 2336 1147 0 10616 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 96948 KiB
Current children cumulated memory: 51024 KiB
[startup+37.3483 s]
# the end of solver process 21224 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=36.3223 s, system=0.736996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 21230
/proc/meminfo: memFree=124348300/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=92756 memory=48080 CPUtime=25.48 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 8556 0 0 0 2495 53 0 0 20 0 1 0 33451246 94982144 12020 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 23189 12020 2336 1147 0 10616 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 96948 KiB
Current children cumulated memory: 51024 KiB
[startup+32.0001 s]*
/proc/loadavg: 4.15 4.10 4.09 5/272 21230
/proc/meminfo: memFree=124193312/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=107328 memory=62928 CPUtime=31.87 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 12226 0 0 0 3124 63 0 0 20 0 1 0 33451246 109903872 15732 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 26832 15732 2368 1147 0 14259 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 111520 KiB
Current children cumulated memory: 65872 KiB
[startup+35.2001 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 21231
/proc/meminfo: memFree=124173800/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=107328 memory=64464 CPUtime=34.9 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 12620 0 0 0 3422 68 0 0 20 0 1 0 33451246 109903872 16116 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 26832 16116 2368 1147 0 14259 0
Current children cumulated CPU time: 34.91 s
Current children cumulated vsize: 111520 KiB
Current children cumulated memory: 67408 KiB
[startup+36.0001 s]*
/proc/loadavg: 4.13 4.10 4.09 5/272 21231
/proc/meminfo: memFree=124162808/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=114508 memory=67320 CPUtime=35.71 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 12808 0 0 0 3501 70 0 0 20 0 1 0 33451246 117256192 16830 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 28627 16830 2368 1147 0 16054 0
Current children cumulated CPU time: 35.72 s
Current children cumulated vsize: 118700 KiB
Current children cumulated memory: 70264 KiB
[startup+36.8001 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 21231
/proc/meminfo: memFree=124162808/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=114508 memory=69368 CPUtime=36.5 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 12810 0 0 0 3579 71 0 0 20 0 1 0 33451246 117256192 17342 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 28627 17342 2368 1147 0 16054 0
Current children cumulated CPU time: 36.51 s
Current children cumulated vsize: 118700 KiB
Current children cumulated memory: 72312 KiB
[startup+37.2001 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 21231
/proc/meminfo: memFree=124147688/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=114508 memory=69368 CPUtime=36.9 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 12810 0 0 0 3618 72 0 0 20 0 1 0 33451246 117256192 17342 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 28627 17342 2368 1147 0 16054 0
Current children cumulated CPU time: 36.91 s
Current children cumulated vsize: 118700 KiB
Current children cumulated memory: 72312 KiB
[startup+37.3001 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 21231
/proc/meminfo: memFree=124147688/131249996 swapFree=33010684/33010684
[pid=21224] ppid=21221 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/21224/stat : 21224 (run-dec-break-l) S 21221 21224 20370 0 -1 4194304 239 2919 0 0 0 0 1 0 20 0 1 0 33451242 4292608 736 18446744073709551615 94045022453760 94045023348293 140736331872368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94045023587344 94045023635088 94045046263808 140736331880725 140736331880926 140736331880926 140736331886528 0
/proc/21224/statm: 1048 736 672 219 0 110 0
[pid=21227] ppid=21224 vsize=114508 memory=69368 CPUtime=37 cores=5,7
/proc/21227/stat : 21227 (roundingsat) R 21224 21224 20370 0 -1 4194304 12810 0 0 0 3628 72 0 0 20 0 1 0 33451246 117256192 17342 18446744073709551615 4227072 8923433 140736015612272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10113024 140736015620340 140736015620648 140736015620648 140736015626218 0
/proc/21227/statm: 28627 17342 2368 1147 0 16054 0
Current children cumulated CPU time: 37.01 s
Current children cumulated vsize: 118700 KiB
Current children cumulated memory: 72312 KiB
Child status: 0
Real time (s): 37.3483
CPU time (s): 37.0593
CPU user time (s): 36.3223
CPU system time (s): 0.736996
CPU usage (%): 99.226
Max. virtual memory (cumulated for all children) (KiB): 118700
Max. memory (cumulated for all children) (KiB): 72312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3223
system time used= 0.736996
maximum resident set size= 69368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 286584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 381
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 21224
# total CPU time (s): 37.0593
# total CPU user time (s): 36.3223
# total CPU system time (s): 0.736996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079015 second user time and 0.18398 second system time
The end
Begin job on nodeC015 at 2025-06-29 08:15:38
IDJOB=4507629
IDBENCH=158373
IDSOLVER=3358
FILE ID=nodeC015/4507629-1751177738
RUNJOBID= nodeC015-1751170426-20383
SLURM_JOB_ID= 9587528
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507629-1751177738/watcher-4507629-1751177738 -o /tmp/evaluation-result-4507629-1751177738/solver-4507629-1751177738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20383 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507629-1751177738.opb PROOFDIR/proof-4507629-1751177738
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20bd7084da444bf6829119f4b61cf926
RANDOM SEED=909302959
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.079
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.089
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.535
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.888
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.081
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3313.051
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.618
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.086
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 124669040 kB
MemAvailable: 128921140 kB
Buffers: 3280 kB
Cached: 5057100 kB
SwapCached: 0 kB
Active: 1150940 kB
Inactive: 4838036 kB
Active(anon): 946756 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 4838036 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 165644 kB
Writeback: 0 kB
AnonPages: 930540 kB
Mapped: 116132 kB
Shmem: 18076 kB
KReclaimable: 98236 kB
Slab: 188284 kB
SReclaimable: 98236 kB
SUnreclaim: 90048 kB
KernelStack: 4384 kB
PageTables: 5076 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1454112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 636928 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC015 at 2025-06-29 08:16:15