0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.02	c [STEP] solving
0.00/0.02	c #variables 3435 #constraints 7436
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= -15 @ 0.015404
0.00/0.02	c stratification level: 60698457
0.00/0.03	c bounds 106025762 >= -15 @ 0.027186
0.00/0.03	c stratification level: 58863869
0.00/0.03	c bounds 101839932 >= -15 @ 0.028161
0.00/0.03	c stratification level: 58411072
0.00/0.03	c bounds 91563810 >= -15 @ 0.028318
0.00/0.03	c stratification level: 55306341
0.00/0.04	c bounds 44573694 >= -15 @ 0.029517
0.00/0.04	c stratification level: 44361864
0.00/0.04	c bounds 39534830 >= -15 @ 0.030455
0.00/0.04	c stratification level: 34012224
0.00/0.04	c bounds 38630994 >= -15 @ 0.033441
0.00/0.04	c stratification level: 29791000
0.00/0.04	c bounds 37717398 >= -15 @ 0.03457
0.00/0.04	c stratification level: 29218112
0.00/0.04	c bounds 37418630 >= -15 @ 0.035437
0.00/0.04	c stratification level: 28934443
0.00/0.04	c bounds 37358742 >= -15 @ 0.036879
0.00/0.04	c stratification level: 28652616
0.00/0.05	c bounds 37346096 >= -15 @ 0.040857
0.00/0.05	c stratification level: 28094464
0.00/0.05	c bounds 37089244 >= -15 @ 0.042021
0.00/0.05	c stratification level: 27000000
0.00/0.05	c bounds 36801502 >= -15 @ 0.04305
0.00/0.05	c stratification level: 25934336
0.00/0.05	c bounds 36658210 >= -15 @ 0.047046
0.00/0.05	c stratification level: 25672375
0.00/0.06	c bounds 34419048 >= -15 @ 0.051196
0.00/0.06	c stratification level: 25153757
0.00/0.06	c bounds 34240272 >= -15 @ 0.052139
0.00/0.06	c stratification level: 24389000
0.00/0.07	c bounds 34076296 >= -15 @ 0.059695
0.00/0.07	c stratification level: 23639903
0.00/0.07	c bounds 34060252 >= -15 @ 0.061817
0.00/0.07	c stratification level: 21717639
0.00/0.07	c bounds 33421912 >= -15 @ 0.065466
0.00/0.07	c stratification level: 20796875
0.00/0.07	c bounds 33392402 >= -15 @ 0.067924
0.00/0.07	c stratification level: 19902511
0.00/0.08	c bounds 33336904 >= -15 @ 0.071609
0.00/0.08	c stratification level: 18399744
0.00/0.08	c bounds 33243624 >= -15 @ 0.07336
0.00/0.08	c stratification level: 17984728
0.00/0.09	c bounds 33077502 >= -15 @ 0.082564
0.00/0.09	c stratification level: 16777216
0.10/0.12	c bounds 32592720 >= -15 @ 0.10504
0.10/0.12	c stratification level: 16194277
0.10/0.12	c bounds 32233878 >= -15 @ 0.10712
0.10/0.12	c stratification level: 16003008
0.10/0.16	c bounds 32052228 >= -15 @ 0.141998
0.10/0.16	c stratification level: 15069223
0.10/0.17	c bounds 32012980 >= -15 @ 0.160289
0.10/0.17	c stratification level: 13824000
0.10/0.18	c bounds 31744192 >= -15 @ 0.162847
0.10/0.18	c stratification level: 13481272
0.10/0.18	c bounds 31743472 >= -15 @ 0.16532
0.10/0.18	c stratification level: 12649337
0.10/0.18	c bounds 31627048 >= -15 @ 0.166906
0.10/0.18	c stratification level: 12326391
0.20/0.26	c bounds 28778514 >= -15 @ 0.241794
0.20/0.26	c stratification level: 12008989
0.20/0.28	c bounds 28717270 >= -15 @ 0.261228
0.20/0.28	c stratification level: 11239424
0.20/0.28	c bounds 28420640 >= -15 @ 0.264947
0.20/0.28	c stratification level: 10941048
0.20/0.29	c bounds 16439300 >= -15 @ 0.276566
0.20/0.29	c stratification level: 10503459
0.20/0.29	c bounds 12997484 >= -15 @ 0.278036
0.20/0.29	c stratification level: 10077696
0.20/0.30	c bounds 12965924 >= -15 @ 0.282934
0.20/0.30	c stratification level: 9663597
0.30/0.31	c bounds 12923414 >= -15 @ 0.292401
0.30/0.31	c stratification level: 8869743
0.30/0.31	c #Conflicts:       1000 | #Constraints:       8471
0.30/0.31	c bounds 12875718 >= -15 @ 0.298271
0.30/0.31	c stratification level: 8741816
0.30/0.32	c bounds 12401934 >= -15 @ 0.300301
0.30/0.32	c stratification level: 8615125
0.30/0.32	c bounds 11982400 >= -15 @ 0.307444
0.30/0.32	c stratification level: 7414875
0.39/0.43	c bounds 11886228 >= -15 @ 0.409719
0.39/0.43	c stratification level: 6859000
0.39/0.43	c bounds 11479442 >= -15 @ 0.412028
0.39/0.43	c stratification level: 6644672
0.39/0.45	c bounds 11056460 >= -15 @ 0.429904
0.39/0.45	c stratification level: 6229504
0.39/0.48	c bounds 10640876 >= -15 @ 0.459897
0.39/0.48	c stratification level: 6028568
0.39/0.49	c bounds 10387220 >= -15 @ 0.468595
0.39/0.49	c stratification level: 5359375
0.39/0.49	c bounds 10315202 >= -15 @ 0.471268
0.39/0.49	c stratification level: 5268024
0.49/0.51	c bounds 10249942 >= -15 @ 0.492625
0.49/0.51	c stratification level: 4913000
0.58/0.65	c bounds 10087594 >= -15 @ 0.624589
0.58/0.65	c stratification level: 4657463
0.58/0.66	c bounds 9896176 >= -15 @ 0.640454
0.58/0.66	c stratification level: 4574296
0.58/0.67	c bounds 9884386 >= -15 @ 0.643858
0.58/0.67	c stratification level: 4251528
0.69/0.70	c bounds 9842318 >= -15 @ 0.675237
0.69/0.70	c stratification level: 4173281
0.69/0.70	c bounds 9813104 >= -15 @ 0.678524
0.69/0.70	c stratification level: 3723875
0.78/0.80	c bounds 9537602 >= -15 @ 0.770719
0.78/0.80	c stratification level: 3511808
0.78/0.80	c bounds 9508388 >= -15 @ 0.774048
0.78/0.80	c stratification level: 3442951
0.78/0.81	c bounds 9340052 >= -15 @ 0.783436
0.78/0.81	c stratification level: 3241792
0.88/0.90	c #Conflicts:       2000 | #Constraints:       9489
0.88/0.90	c INPROCESSING
0.88/0.90	c GARBAGE COLLECT
0.88/0.90	c bounds 9192110 >= -15 @ 0.865945
0.88/0.90	c stratification level: 3112136
0.88/0.90	c bounds 9180320 >= -15 @ 0.869642
0.88/0.90	c stratification level: 3048625
0.88/0.91	c bounds 9143516 >= -15 @ 0.8789
0.88/0.91	c stratification level: 2744000
0.88/0.91	c bounds 9131726 >= -15 @ 0.882271
0.88/0.91	c stratification level: 2685619
0.88/0.92	c bounds 9078980 >= -15 @ 0.888642
0.88/0.92	c stratification level: 2406104
0.88/0.92	c bounds 8697164 >= -15 @ 0.891307
0.88/0.92	c stratification level: 1953125
0.88/0.93	c bounds 8413250 >= -15 @ 0.893907
0.88/0.93	c stratification level: 1771561
0.88/0.94	c bounds 8270028 >= -15 @ 0.905911
0.88/0.94	c stratification level: 1685159
0.88/0.94	c bounds 6329430 >= -15 @ 0.908803
0.88/0.94	c stratification level: 1601613
0.88/0.94	c bounds 5806166 >= -14 @ 0.910695
0.88/0.94	c stratification level: 1092727
0.88/0.94	c bounds 5169034 >= -14 @ 0.912907
0.88/0.94	c stratification level: 1000000
0.88/0.95	c bounds 5106000 >= -14 @ 0.916151
0.88/0.95	c stratification level: 970299
0.88/0.95	c bounds 4814612 >= -14 @ 0.917223
0.88/0.95	c stratification level: 941192
0.88/0.95	c bounds 4582736 >= -14 @ 0.918991
0.88/0.95	c stratification level: 884736
0.88/0.98	c bounds 4393304 >= -14 @ 0.943958
0.88/0.98	c stratification level: 830584
0.88/0.98	c bounds 4374794 >= -14 @ 0.946181
0.88/0.98	c stratification level: 592704
0.88/0.98	c bounds 4267328 >= -14 @ 0.947952
0.88/0.98	c stratification level: 482403
0.88/0.98	c bounds 3661138 >= -14 @ 0.949725
0.88/0.98	c stratification level: 463347
0.88/0.99	c bounds 3534472 >= -14 @ 0.952945
0.88/0.99	c stratification level: 453963
0.88/0.99	c bounds 3438544 >= -14 @ 0.954676
0.88/0.99	c stratification level: 451632
0.88/0.99	c bounds 3173410 >= -13 @ 0.958697
0.88/0.99	c stratification level: 435483
0.88/1.00	c bounds 3154900 >= -13 @ 0.962232
0.88/1.00	c stratification level: 410700
0.98/1.00	c bounds 3094034 >= -13 @ 0.969089
0.98/1.00	c stratification level: 384492
0.98/1.00	c bounds 2998106 >= -13 @ 0.971162
0.98/1.00	c stratification level: 375948
0.98/1.06	c bounds 2935598 >= -13 @ 1.03148
0.98/1.06	c stratification level: 373248
1.08/1.11	c bounds 2931200 >= -13 @ 1.076
1.08/1.11	c stratification level: 369603
1.19/1.22	c bounds 2839512 >= -13 @ 1.18229
1.19/1.22	c stratification level: 314928
1.19/1.29	c #Conflicts:       3000 | #Constraints:       9221
1.19/1.29	c bounds 2801274 >= -13 @ 1.2499
1.19/1.29	c stratification level: 288300
1.28/1.32	c bounds 2666830 >= -13 @ 1.27953
1.28/1.32	c stratification level: 284592
1.68/1.77	c #Conflicts:       4000 | #Constraints:      10223
1.68/1.77	c INPROCESSING
1.68/1.77	c GARBAGE COLLECT
1.68/1.77	c bounds 2624620 >= -13 @ 1.73184
1.68/1.77	c stratification level: 282747
2.47/2.51	c #Conflicts:       5000 | #Constraints:       9240
2.47/2.51	c bounds 2624620 >= 282734 @ 2.14341
2.47/2.51	c #Conflicts:       6000 | #Constraints:      10241
2.47/2.51	c bounds 2624620 >= 592691 @ 2.4286
2.47/2.51	c bounds 2624620 >= 884723 @ 2.44619
2.47/2.51	c bounds 2624620 >= 1601600 @ 2.44901
2.47/2.51	d SOLVEDBY oll
2.47/2.51	c cpu time 2.44921 s
2.47/2.51	c deterministic time 229259762 2.29e+08
2.47/2.51	c optimization time 0.014264 s
2.47/2.51	c total solve time 2.41961 s
2.47/2.51	c core-guided solve time 2.41961 s
2.47/2.51	c propagation time 1.44149 s
2.47/2.51	c conflict analysis time 0.82654 s
2.47/2.51	c propagations 2694400
2.47/2.51	c resolve steps 96972
2.47/2.51	c decisions 24345
2.47/2.51	c conflicts 6166
2.47/2.51	c restarts 29
2.47/2.51	c inprocessing phases 2
2.47/2.51	c input clauses 4337
2.47/2.51	c input cardinalities 10
2.47/2.51	c input general constraints 3178
2.47/2.51	c input average constraint length 10.26
2.47/2.51	c input average constraint degree 10319346.51
2.47/2.51	c learned clauses 1605
2.47/2.51	c learned cardinalities 82
2.47/2.51	c learned general constraints 4478
2.47/2.51	c learned average constraint length 207.69
2.47/2.51	c learned average constraint degree 416452354.29
2.47/2.51	c watched constraints 1668
2.47/2.51	c counting constraints 5988
2.47/2.51	c gcd simplifications 438
2.47/2.51	c detected cardinalities 3
2.47/2.51	c weakened non-implied lits 935677
2.47/2.51	c weakened non-implying lits 12556
2.47/2.51	c original variables 3435
2.47/2.51	c clausal propagations 415887
2.47/2.51	c cardinality propagations 15331
2.47/2.51	c watched propagations 5865
2.47/2.51	c counting propagations 2240245
2.47/2.51	c watch lookups 45206519
2.47/2.51	c watch backjump lookups 43456951
2.47/2.51	c watch checks 43465179
2.47/2.51	c propagation checks 85194765
2.47/2.51	c constraint additions 6492963
2.47/2.51	c trail pops 2724639
2.47/2.51	c formula constraints 7436
2.47/2.51	c learned constraints 6165
2.47/2.51	c bound constraints 89
2.47/2.51	c core-guided constraints 0
2.47/2.51	c encountered formula constraints 85172
2.47/2.51	c encountered learned constraints 15329
2.47/2.51	c encountered bound constraints 2637
2.47/2.51	c encountered core-guided constraints 0
2.47/2.51	c LP total time 0 s
2.47/2.51	c LP solve time 0 s
2.47/2.51	c LP constraints added 0
2.47/2.51	c LP constraints removed 0
2.47/2.51	c LP pivots internal 0
2.47/2.51	c LP pivots root 0
2.47/2.51	c LP calls 0
2.47/2.51	c LP optimalities 0
2.47/2.51	c LP no pivot count 0
2.47/2.51	c LP infeasibilities 0
2.47/2.51	c LP valid Farkas constraints 0
2.47/2.51	c LP learned Farkas constraints 0
2.47/2.51	c LP basis resets 0
2.47/2.51	c LP cycling count 0
2.47/2.51	c LP singular count 0
2.47/2.51	c LP no primal count 0
2.47/2.51	c LP no farkas count 0
2.47/2.51	c LP other issue count 0
2.47/2.51	c LP Gomory cuts 0
2.47/2.51	c LP learned cuts 0
2.47/2.51	c LP deleted cuts 0
2.47/2.51	c LP encountered Gomory constraints 0
2.47/2.51	c LP encountered Farkas constraints 0
2.47/2.51	c LP encountered learned Farkas constraints 0
2.47/2.51	c CG auxiliary variables introduced 0
2.47/2.51	c CG solutions found 84
2.47/2.51	c CG cores constructed 5
2.47/2.51	c CG core cardinality constraints returned 0
2.47/2.51	c CG unit cores 0
2.47/2.51	c CG single cores 4
2.47/2.51	c CG blocks removed during cardinality reduction 0
2.47/2.51	c CG first core best 0
2.47/2.51	c CG decision core best 0
2.47/2.51	c CG core reduction tie 0
2.47/2.51	c CG core degree average 0.80
2.47/2.51	c CG core slack average 20.00
2.47/2.51	c CG exhausted 0
2.47/2.51	c CG exhaust time 0 s
2.47/2.51	c CG trimmed 8
2.47/2.51	c CG trim time 0.001656 s
2.47/2.51	c CG minimized 0
2.47/2.51	c CG minimize time 0 s
2.47/2.51	c CG am1 prop time 0.000763 s
2.47/2.51	c CG # am1s reformulated 0
2.47/2.51	c CG lower bound derived from am1s 0
2.47/2.51	c CG # clausal cores 4
2.47/2.51	c CG # cardinality cores 0
2.47/2.51	c CG # pb cores 0
2.47/2.51	c CG # pb reforms 0
2.47/2.51	c CG # cores discarded because of pb reform 0
2.47/2.51	d LOWERBOUND 1601600
2.47/2.51	d NCORES 5
2.47/2.51	d NPBCORES 0
2.47/2.51	d NPBREFORM 0
2.47/2.51	d NTRIMMED 8
2.47/2.51	d NEXHAUSTED 0
2.47/2.51	d NAM1S 0
2.47/2.51	d AM1LB 0
2.47/2.51	o 2624620
2.47/2.51	s OPTIMUM FOUND
2.47/2.51	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

OK	2624620

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59831 MiB free)
  memory of node 1: 64510 MiB (59015 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436097-1721147059/watcher-4436097-1721147059 -o /tmp/evaluation-result-4436097-1721147059/solver-4436097-1721147059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721143459-887479 --watchdog 3760 pb-oll-rs HOME/instance-4436097-1721147059.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=889508, runsolver pid=889505

[startup+0.100886 s]*
/proc/loadavg: 4.13 4.12 4.07 5/253 889509
/proc/meminfo: memFree=121693388/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=41152 memory=11464 CPUtime=0.1 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 1103 0 0 0 9 1 0 0 20 0 1 0 166871262 42139648 2866 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 10288 2866 1423 291 0 1822 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41152 KiB
Current children cumulated memory: 11464 KiB

[startup+0.205525 s]*
/proc/loadavg: 4.13 4.12 4.07 5/253 889509
/proc/meminfo: memFree=121691900/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=42464 memory=12820 CPUtime=0.2 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 1437 0 0 0 19 1 0 0 20 0 1 0 166871262 43483136 3205 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 10616 3205 1423 291 0 2150 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42464 KiB
Current children cumulated memory: 12820 KiB

[startup+0.305571 s]*
/proc/loadavg: 4.13 4.12 4.07 5/253 889509
/proc/meminfo: memFree=121690752/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=43492 memory=13736 CPUtime=0.3 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 1693 0 0 0 29 1 0 0 20 0 1 0 166871262 44535808 3434 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 10873 3434 1423 291 0 2407 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43492 KiB
Current children cumulated memory: 13736 KiB

[startup+0.700225 s]
/proc/loadavg: 4.13 4.12 4.07 5/253 889509
/proc/meminfo: memFree=121688604/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=49032 memory=17928 CPUtime=0.69 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 2773 0 0 0 67 2 0 0 20 0 1 0 166871262 50208768 4482 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 12258 4482 1423 291 0 3792 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 17928 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.12 4.07 5/251 889530
/proc/meminfo: memFree=121700204/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=49944 memory=19512 CPUtime=1.48 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 3156 0 0 0 145 3 0 0 20 0 1 0 166871262 51142656 4878 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 12486 4878 1423 291 0 4020 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49944 KiB
Current children cumulated memory: 19512 KiB

[startup+2.5131 s]
# the end of solver process 889508 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2.45109 s, system=0.050834 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60024 s]
/proc/loadavg: 4.13 4.12 4.07 5/251 889530
/proc/meminfo: memFree=121700204/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=50088 memory=19512 CPUtime=1.58 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 3173 0 0 0 155 3 0 0 20 0 1 0 166871262 51290112 4878 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 12522 4878 1423 291 0 4056 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 50088 KiB
Current children cumulated memory: 19512 KiB

[startup+2.00016 s]*
/proc/loadavg: 4.12 4.12 4.07 5/248 889536
/proc/meminfo: memFree=121487888/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=50376 memory=20220 CPUtime=1.98 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 3295 0 0 0 195 3 0 0 20 0 1 0 166871262 51585024 5055 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 12594 5055 1423 291 0 4128 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 50376 KiB
Current children cumulated memory: 20220 KiB

[startup+2.40016 s]
/proc/loadavg: 4.12 4.12 4.07 5/248 889536
/proc/meminfo: memFree=121487888/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=50376 memory=20220 CPUtime=2.38 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 3295 0 0 0 234 4 0 0 20 0 1 0 166871262 51585024 5055 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 12594 5055 1423 291 0 4128 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 50376 KiB
Current children cumulated memory: 20220 KiB

[startup+2.50021 s]
/proc/loadavg: 4.12 4.12 4.07 5/248 889536
/proc/meminfo: memFree=121487888/131524600 swapFree=131071996/131071996
[pid=889508] ppid=889505 vsize=50376 memory=20220 CPUtime=2.47 cores=4,6
/proc/889508/stat : 889508 (pb-oll-rs) R 889505 889508 887468 0 -1 4194304 3303 0 0 0 243 4 0 0 20 0 1 0 166871262 51585024 5055 134679101440 4194304 5384005 140730213238608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31490048 140730213245975 140730213246052 140730213246052 140730213253067 0
/proc/889508/statm: 12594 5055 1423 291 0 4128 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 50376 KiB
Current children cumulated memory: 20220 KiB

Child status: 0

Real time (s): 2.51313
CPU time (s): 2.50193
CPU user time (s): 2.45109
CPU system time (s): 0.050834
CPU usage (%): 99.5541
Max. virtual memory (cumulated for all children) (KiB): 50376
Max. memory (cumulated for all children) (KiB): 20220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45109
system time used= 0.050834
maximum resident set size= 20376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 889508
#   total CPU time (s): 2.50193
#   total CPU user time (s): 2.45109
#   total CPU system time (s): 0.050834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018915 second user time and 0.039916 second system time

The end

Begin job on nodeC025 at 2024-07-16 18:24:32
IDJOB=4436097
IDBENCH=155734
IDSOLVER=3067
FILE ID=nodeC025/4436097-1721147059
RUNJOBID= nodeC025-1721143459-887479
SLURM_JOB_ID= 7505732
Free space on /tmp= 889968 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436097-1721147059/watcher-4436097-1721147059 -o /tmp/evaluation-result-4436097-1721147059/solver-4436097-1721147059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721143459-887479 --watchdog 3760  pb-oll-rs HOME/instance-4436097-1721147059.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 790079d8dde4a901ca091da054907adb
RANDOM SEED=2016177362

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.322
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3686.128
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3661.954
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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.200
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3649.555
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3686.174
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3652.976
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3599.873
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121700060 kB
MemAvailable:   127348788 kB
Buffers:          434100 kB
Cached:          5982124 kB
SwapCached:            0 kB
Active:           863196 kB
Inactive:        8206392 kB
Active(anon):       1504 kB
Inactive(anon):  2689572 kB
Active(file):     861692 kB
Inactive(file):  5516820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6228 kB
Writeback:             0 kB
AnonPages:       2651388 kB
Mapped:           105852 kB
Shmem:             37720 kB
KReclaimable:     219728 kB
Slab:             341044 kB
SReclaimable:     219728 kB
SUnreclaim:       121316 kB
KernelStack:        4096 kB
PageTables:        14784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3704824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64256 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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:      289492 kB
DirectMap2M:    41426944 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 889732 MiB
End job on nodeC025 at 2024-07-16 18:24:34