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-4497748-1751398701.opb'
0.00/0.02 c read 0.56MB (9.89ms)
0.00/0.02 c [cnf: #variables 5499 #clauses 19314 #duplicates 6 #arr 49712]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2] (9.94ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 5x2, generating row predicate
0.00/0.03 c (1.58ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 41316 #edges 132430]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.00*10^0 #generators 0] (3.15ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 4 #add_vars 0]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4497748-1751398701.opb.pre'
0.00/0.04 c wrote 0.58MB (1.43ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 9.94ms 37.32% approx_orbits
0.00/0.04 c 9.89ms 37.14% parse
0.00/0.04 c 3.15ms 11.84% detect_generic
0.00/0.04 c 1.58ms 5.94% detect_special
0.00/0.04 c 1.43ms 5.39% output
0.00/0.04 c 0.46ms 1.71% other
0.00/0.04 c 0.18ms 0.66% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 26.63ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.06/0.14 c #variables 5499 #constraints 19313
0.06/0.14 c objective is ce32
0.06/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.14 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.14 c bounds - >= 0 @ 0.053353
0.16/0.28 c bounds 28 >= 0 @ 0.18574
0.16/0.29 c bounds 28 >= 6 @ 0.190305
0.16/0.29 c bounds 28 >= 7 @ 0.190637
0.16/0.29 c bounds 28 >= 8 @ 0.190637
0.16/0.30 c bounds 27 >= 8 @ 0.205929
0.16/0.30 c bounds 27 >= 9 @ 0.207489
0.16/0.30 c bounds 27 >= 10 @ 0.207576
0.16/0.31 c bounds 27 >= 11 @ 0.207584
0.26/0.32 c bounds 27 >= 12 @ 0.223284
0.36/0.45 c bounds 27 >= 13 @ 0.346435
1.75/1.81 c #Conflicts: 1000 | #Constraints: 20354
1.75/1.81 c #Conflicts: 2000 | #Constraints: 21354
1.75/1.81 c INPROCESSING
1.75/1.81 c GARBAGE COLLECT
1.75/1.81 c bounds 27 >= 14 @ 1.66226
7.13/7.29 c #Conflicts: 3000 | #Constraints: 21366
7.13/7.29 c #Conflicts: 4000 | #Constraints: 22366
7.13/7.29 c INPROCESSING
7.13/7.29 c GARBAGE COLLECT
7.13/7.29 c #Conflicts: 5000 | #Constraints: 21778
7.13/7.29 c #Conflicts: 6000 | #Constraints: 22779
7.13/7.29 c INPROCESSING
7.13/7.29 c GARBAGE COLLECT
7.13/7.29 c bounds 27 >= 15 @ 7.04203
7.43/7.53 c #Conflicts: 7000 | #Constraints: 21787
7.43/7.53 c bounds 27 >= 16 @ 7.2799
8.94/9.03 c #Conflicts: 8000 | #Constraints: 22805
8.94/9.03 c #Conflicts: 9000 | #Constraints: 23805
8.94/9.03 c INPROCESSING
8.94/9.03 c GARBAGE COLLECT
8.94/9.03 c #Conflicts: 10000 | #Constraints: 22526
8.94/9.03 c bounds 26 >= 16 @ 8.75889
9.12/9.29 c #Conflicts: 11000 | #Constraints: 23527
9.12/9.29 c bounds 26 >= 17 @ 9.01271
9.53/9.64 c #Conflicts: 12000 | #Constraints: 24542
9.53/9.64 c INPROCESSING
9.53/9.64 c GARBAGE COLLECT
9.53/9.64 c bounds 25 >= 17 @ 9.35643
13.42/13.51 c #Conflicts: 13000 | #Constraints: 23001
13.42/13.51 c #Conflicts: 14000 | #Constraints: 24002
13.42/13.51 c #Conflicts: 15000 | #Constraints: 25002
13.42/13.51 c INPROCESSING
13.42/13.51 c GARBAGE COLLECT
13.42/13.51 c rational objective 17
15.02/15.16 c bounds 25 >= 18 @ 14.7974
17.21/17.35 c #Conflicts: 16000 | #Constraints: 23250
17.21/17.35 c #Conflicts: 17000 | #Constraints: 24250
17.21/17.35 c #Conflicts: 18000 | #Constraints: 25250
17.21/17.35 c INPROCESSING
17.21/17.35 c GARBAGE COLLECT
17.21/17.35 c bounds 24 >= 18 @ 16.9534
18.81/18.93 c #Conflicts: 19000 | #Constraints: 23307
18.81/18.93 c #Conflicts: 20000 | #Constraints: 24307
18.81/18.93 c bounds 23 >= 18 @ 18.5004
21.90/22.08 c #Conflicts: 21000 | #Constraints: 25308
21.90/22.08 c INPROCESSING
21.90/22.08 c GARBAGE COLLECT
21.90/22.08 c #Conflicts: 22000 | #Constraints: 23087
21.90/22.08 c #Conflicts: 23000 | #Constraints: 24087
21.90/22.08 c #Conflicts: 24000 | #Constraints: 25087
21.90/22.08 c #Conflicts: 25000 | #Constraints: 26087
21.90/22.08 c INPROCESSING
21.90/22.08 c GARBAGE COLLECT
21.90/22.08 c rational objective 18
26.08/26.22 c #Conflicts: 26000 | #Constraints: 23683
26.08/26.22 c #Conflicts: 27000 | #Constraints: 24683
26.08/26.22 c #Conflicts: 28000 | #Constraints: 25683
26.08/26.22 c #Conflicts: 29000 | #Constraints: 26683
26.08/26.22 c INPROCESSING
26.08/26.22 c GARBAGE COLLECT
26.08/26.22 c rational objective 18
29.28/29.42 c #Conflicts: 30000 | #Constraints: 24143
29.28/29.42 c #Conflicts: 31000 | #Constraints: 25143
29.28/29.42 c #Conflicts: 32000 | #Constraints: 26143
29.28/29.42 c bounds 22 >= 18 @ 28.8265
29.67/29.88 c #Conflicts: 33000 | #Constraints: 27144
29.67/29.88 c INPROCESSING
29.67/29.88 c GARBAGE COLLECT
29.67/29.88 c rational objective 18
30.57/30.75 c bounds 22 >= 19 @ 30.1425
34.46/34.65 c #Conflicts: 34000 | #Constraints: 24379
34.46/34.65 c #Conflicts: 35000 | #Constraints: 25379
34.46/34.65 c #Conflicts: 36000 | #Constraints: 26379
34.46/34.65 c #Conflicts: 37000 | #Constraints: 27379
34.46/34.65 c INPROCESSING
34.46/34.65 c GARBAGE COLLECT
34.46/34.65 c rational objective 19
35.17/35.38 c bounds 21 >= 19 @ 34.7173
35.26/35.50 c bounds 20 >= 19 @ 34.8239
39.35/39.59 c #Conflicts: 38000 | #Constraints: 24393
39.35/39.59 c #Conflicts: 39000 | #Constraints: 25393
39.35/39.59 c #Conflicts: 40000 | #Constraints: 26393
39.35/39.59 c #Conflicts: 41000 | #Constraints: 27393
39.35/39.59 c INPROCESSING
39.35/39.59 c GARBAGE COLLECT
39.35/39.59 c rational objective 19
45.63/45.81 c #Conflicts: 42000 | #Constraints: 24226
45.63/45.81 c #Conflicts: 43000 | #Constraints: 25226
45.63/45.81 c #Conflicts: 44000 | #Constraints: 26226
45.63/45.81 c #Conflicts: 45000 | #Constraints: 27226
45.63/45.81 c #Conflicts: 46000 | #Constraints: 28226
45.63/45.81 c INPROCESSING
45.63/45.81 c GARBAGE COLLECT
45.63/45.81 c rational objective 19
51.92/52.12 c #Conflicts: 47000 | #Constraints: 24865
51.92/52.12 c #Conflicts: 48000 | #Constraints: 25865
51.92/52.12 c #Conflicts: 49000 | #Constraints: 26865
51.92/52.12 c #Conflicts: 50000 | #Constraints: 27865
51.92/52.12 c #Conflicts: 51000 | #Constraints: 28865
51.92/52.12 c INPROCESSING
51.92/52.12 c GARBAGE COLLECT
51.92/52.12 c rational objective 19
57.20/57.46 c #Conflicts: 52000 | #Constraints: 25319
57.20/57.46 c #Conflicts: 53000 | #Constraints: 26319
57.20/57.46 c #Conflicts: 54000 | #Constraints: 27319
57.20/57.46 c #Conflicts: 55000 | #Constraints: 28319
57.20/57.46 c #Conflicts: 56000 | #Constraints: 29319
57.20/57.46 c INPROCESSING
57.20/57.46 c GARBAGE COLLECT
57.20/57.46 c rational objective 19
63.99/64.27 c #Conflicts: 57000 | #Constraints: 25471
63.99/64.27 c #Conflicts: 58000 | #Constraints: 26471
63.99/64.27 c #Conflicts: 59000 | #Constraints: 27472
63.99/64.27 c #Conflicts: 60000 | #Constraints: 28472
63.99/64.27 c #Conflicts: 61000 | #Constraints: 29472
63.99/64.27 c INPROCESSING
63.99/64.27 c GARBAGE COLLECT
63.99/64.27 c rational objective 19
72.16/72.42 c #Conflicts: 62000 | #Constraints: 25487
72.16/72.42 c #Conflicts: 63000 | #Constraints: 26487
72.16/72.42 c #Conflicts: 64000 | #Constraints: 27487
72.16/72.42 c #Conflicts: 65000 | #Constraints: 28487
72.16/72.42 c #Conflicts: 66000 | #Constraints: 29488
72.16/72.42 c INPROCESSING
72.16/72.42 c GARBAGE COLLECT
72.16/72.42 c rational objective 19
77.65/78.00 c #Conflicts: 67000 | #Constraints: 25301
77.65/78.00 c #Conflicts: 68000 | #Constraints: 26301
77.65/78.00 c #Conflicts: 69000 | #Constraints: 27301
77.65/78.00 c #Conflicts: 70000 | #Constraints: 28301
77.65/78.00 c #Conflicts: 71000 | #Constraints: 29301
77.65/78.00 c #Conflicts: 72000 | #Constraints: 30301
77.65/78.00 c INPROCESSING
77.65/78.00 c GARBAGE COLLECT
77.65/78.00 c rational objective 19
85.53/85.85 c #Conflicts: 73000 | #Constraints: 24513
85.53/85.85 c #Conflicts: 74000 | #Constraints: 25514
85.53/85.85 c #Conflicts: 75000 | #Constraints: 26514
85.53/85.85 c #Conflicts: 76000 | #Constraints: 27514
85.53/85.85 c #Conflicts: 77000 | #Constraints: 28515
85.53/85.85 c #Conflicts: 78000 | #Constraints: 29517
85.53/85.85 c INPROCESSING
85.53/85.85 c GARBAGE COLLECT
85.53/85.85 c rational objective 19
96.00/96.39 c #Conflicts: 79000 | #Constraints: 25207
96.00/96.39 c #Conflicts: 80000 | #Constraints: 26207
96.00/96.39 c #Conflicts: 81000 | #Constraints: 27207
96.00/96.39 c #Conflicts: 82000 | #Constraints: 28207
96.00/96.39 c #Conflicts: 83000 | #Constraints: 29208
96.00/96.39 c #Conflicts: 84000 | #Constraints: 30209
96.00/96.39 c INPROCESSING
96.00/96.39 c GARBAGE COLLECT
96.00/96.39 c rational objective 19
100.39/100.73 c #Conflicts: 85000 | #Constraints: 25720
100.39/100.73 c #Conflicts: 86000 | #Constraints: 26720
100.39/100.73 c bounds 20 >= 20 @ 99.4341
100.39/100.73 c cpu time 99.4341 s
100.39/100.73 c deterministic time 3783910443 3.78e+09
100.39/100.73 c optimization time 0.003537 s
100.39/100.73 c total solve time 99.3773 s
100.39/100.73 c core-guided solve time 43.1956 s
100.39/100.73 c propagation time 39.4568 s
100.39/100.73 c conflict analysis time 44.1571 s
100.39/100.73 c propagations 49268485
100.39/100.73 c resolve steps 6552141
100.39/100.73 c decisions 486658
100.39/100.73 c conflicts 86852
100.39/100.73 c restarts 253
100.39/100.73 c inprocessing phases 21
100.39/100.73 c garbage collections 21 ,( 100.00 )
100.39/100.73 c input clauses 19347 ,( 99.39 )
100.39/100.73 c input cardinalities 72 ,( 0.37 )
100.39/100.73 c input general constraints 47 ,( 0.24 )
100.39/100.73 c input average constraint length 3.52
100.39/100.73 c input average constraint degree 1.44
100.39/100.73 c learned clauses 72297 ,( 83.21 )
100.39/100.73 c learned cardinalities 1217 ,( 1.40 )
100.39/100.73 c learned general constraints 13369 ,( 15.39 )
100.39/100.73 c learned average constraint length 648.80
100.39/100.73 c learned average constraint degree 27044481.69
100.39/100.73 c watched CF 32, 64, 128, Arb: 7564 , 0 , 0 , 0
100.39/100.73 c counting CF 32, 64, 128, Arb: 5853 , 0 , 0 , 0
100.39/100.73 c watched constraints 7564 ,( 56.38 )
100.39/100.73 c counting constraints 5852 ,( 43.62 )
100.39/100.73 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 60877730 , 3245430 , 134082332 ,( 51033251 , 83049081 )
100.39/100.73 c gcd simplifications 122
100.39/100.73 c detected cardinalities 2
100.39/100.73 c weakened non-implied lits 8899947
100.39/100.73 c weakened non-implying lits 5484
100.39/100.73 c original variables 5499
100.39/100.73 c clausal propagations 41720883
100.39/100.73 c cardinality propagations 1197340
100.39/100.73 c watched propagations 629153
100.39/100.73 c counting propagations 5046750
100.39/100.73 c watch lookups 702925799
100.39/100.73 c watch backjump lookups 0
100.39/100.73 c watch checks 2454645209
100.39/100.73 c propagation checks 388944353
100.39/100.73 c constraint additions 137671521
100.39/100.73 c trail pops 49839562
100.39/100.73 c formula constraints 19313
100.39/100.73 c learned constraints 86849
100.39/100.73 c bound constraints 23
100.39/100.73 c core-guided constraints 130
100.39/100.73 c encountered formula constraints 5870925
100.39/100.73 c encountered learned constraints 701856
100.39/100.73 c encountered bound constraints 63
100.39/100.73 c encountered core-guided constraints 65814
100.39/100.73 c LP total time 27.0086 s
100.39/100.73 c LP solve time 22.41 s
100.39/100.73 c LP constraints added 19385
100.39/100.73 c LP constraints removed 65
100.39/100.73 c LP pivots internal 88355
100.39/100.73 c LP pivots root 40500
100.39/100.73 c LP calls 63
100.39/100.73 c LP optimalities 43
100.39/100.73 c LP no pivot count 8
100.39/100.73 c LP infeasibilities 15
100.39/100.73 c LP valid Farkas constraints 15
100.39/100.73 c LP learned Farkas constraints 6
100.39/100.73 c LP basis resets 1
100.39/100.73 c LP cycling count 1
100.39/100.73 c LP singular count 0
100.39/100.73 c LP no primal count 0
100.39/100.73 c LP no farkas count 0
100.39/100.73 c LP other issue count 0
100.39/100.73 c LP Gomory cuts 13
100.39/100.73 c LP learned cuts 59
100.39/100.73 c LP deleted cuts 65
100.39/100.73 c LP encountered Gomory constraints 0
100.39/100.73 c LP encountered Farkas constraints 325
100.39/100.73 c LP encountered learned Farkas constraints 4
100.39/100.73 c CG auxiliary variables introduced 48
100.39/100.73 c CG solutions found 9
100.39/100.73 c CG cores constructed 14
100.39/100.73 c CG core cardinality constraints returned 0
100.39/100.73 c CG unit cores 0
100.39/100.73 c CG single cores 14
100.39/100.73 c CG blocks removed during cardinality reduction 0
100.39/100.73 c CG first core best 0
100.39/100.73 c CG decision core best 0
100.39/100.73 c CG core reduction tie 0
100.39/100.73 c CG core degree average 1.00
100.39/100.73 c CG core slack average 44.93
100.39/100.73 c CG core upper bound improvements 22
100.39/100.73 c STR number of successful calls 0
100.39/100.73 c STR number of unsuccessful calls 0
100.39/100.73 c STR number of inconclusive calls 0
100.39/100.73 c STR number of successful attempts 0
100.39/100.73 c STR number of unsuccessful attempts 0
100.39/100.73 c STR number of inconclusive attempts 0
100.39/100.73 c STR average degree increase per successful call inf
100.39/100.73 c STR average degree increase per successful attempt inf
100.39/100.73 c STR total number of conflicts for successful attempts 0
100.39/100.73 c STR total number of conflicts for unsuccessful attempts 0
100.39/100.73 c STR total number of conflicts for inconclusive attempts 0
100.39/100.73 c STR average number of conflicts per successful attempt inf
100.39/100.73 c STR average number of conflicts per unsuccessful attempt inf
100.39/100.73 c STR average number of conflicts per inconclusive attempt inf
100.39/100.73 c AVG.sumWPerc 40.20
100.39/100.73 c bigint constraints 0
100.39/100.73 o 20
100.39/100.73 s OPTIMUM FOUND
100.39/100.73 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 x4300 -x4301 -x4302 -x4303 x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 x4400 -x4401 -x4402 -x4403 x4404 x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 x4428 x4429 x4430 -x4431 -x4432 -x4433 x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 x4647 x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5367 x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 -x5483 -x5484 x5485 -x5486 x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499
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 (62817 MiB free)
memory of node 1: 64465 MiB (63833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497748-1751398701/watcher-4497748-1751398701 -o /tmp/evaluation-result-4497748-1751398701/solver-4497748-1751398701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54920 --watchdog 3760 run-opt-break.sh HOME/instance-4497748-1751398701.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54967, runsolver pid=54961
[startup+0.100071 s]*
/proc/loadavg: 0.51 0.93 1.43 5/268 54986
/proc/meminfo: memFree=129555020/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=57572 memory=11008 CPUtime=0.04 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 1100 0 0 0 3 1 0 0 20 0 1 0 55492659 58953728 2752 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 14393 2752 1920 1147 0 1820 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61764 KiB
Current children cumulated memory: 13952 KiB
[startup+0.205808 s]*
/proc/loadavg: 0.51 0.93 1.43 5/268 54987
/proc/meminfo: memFree=129546976/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=86256 memory=34832 CPUtime=0.14 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 6291 0 0 0 11 3 0 0 20 0 1 0 55492659 88326144 8708 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 21564 8708 2336 1147 0 8991 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 90448 KiB
Current children cumulated memory: 37776 KiB
[startup+0.305833 s]*
/proc/loadavg: 0.51 0.93 1.43 5/268 54987
/proc/meminfo: memFree=129503560/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=86832 memory=35216 CPUtime=0.24 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 6445 0 0 0 20 4 0 0 20 0 1 0 55492659 88915968 8804 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 21708 8804 2368 1147 0 9135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 91024 KiB
Current children cumulated memory: 38160 KiB
[startup+0.700207 s]
/proc/loadavg: 0.51 0.93 1.43 5/268 54987
/proc/meminfo: memFree=129343768/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=88424 memory=40364 CPUtime=0.63 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 7187 0 0 0 57 6 0 0 20 0 1 0 55492659 90546176 10091 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 22106 10091 2400 1147 0 9533 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 92616 KiB
Current children cumulated memory: 43308 KiB
[startup+1.50019 s]
/proc/loadavg: 0.51 0.93 1.43 5/268 54988
/proc/meminfo: memFree=129420416/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=95608 memory=44972 CPUtime=1.43 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 8345 0 0 0 135 8 0 0 20 0 1 0 55492659 97902592 11243 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 23902 11243 2400 1147 0 11329 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 99800 KiB
Current children cumulated memory: 47916 KiB
[startup+3.10548 s]
/proc/loadavg: 0.51 0.93 1.43 5/268 54988
/proc/meminfo: memFree=129034568/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=97024 memory=46252 CPUtime=3.03 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 8678 0 0 0 292 11 0 0 20 0 1 0 55492659 99352576 11563 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 24256 11563 2400 1147 0 11683 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 101216 KiB
Current children cumulated memory: 49196 KiB
[startup+6.30019 s]
/proc/loadavg: 0.79 0.98 1.44 5/269 54989
/proc/meminfo: memFree=128979388/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=105540 memory=55504 CPUtime=6.21 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 10471 0 0 0 606 15 0 0 20 0 1 0 55492659 108072960 13876 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 26385 13876 2400 1147 0 13812 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 109732 KiB
Current children cumulated memory: 58448 KiB
[startup+12.7002 s]
/proc/loadavg: 1.05 1.03 1.46 5/269 54989
/proc/meminfo: memFree=128925972/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=119324 memory=63696 CPUtime=12.59 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 12516 0 0 0 1235 24 0 0 20 0 1 0 55492659 122187776 15924 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 29831 15924 2400 1147 0 17258 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 123516 KiB
Current children cumulated memory: 66640 KiB
[startup+25.5001 s]
/proc/loadavg: 1.70 1.18 1.50 5/269 54989
/proc/meminfo: memFree=128857544/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=128472 memory=74548 CPUtime=25.37 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 14737 0 0 0 2496 41 0 0 20 0 1 0 55492659 131555328 18637 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 32118 18637 2400 1147 0 19545 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 132664 KiB
Current children cumulated memory: 77492 KiB
[startup+51.1055 s]
/proc/loadavg: 2.54 1.42 1.57 5/269 54990
/proc/meminfo: memFree=128751916/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=155004 memory=94524 CPUtime=50.91 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 18713 0 0 0 5027 64 0 0 20 0 1 0 55492659 158724096 23631 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 38751 23631 2400 1147 0 26178 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 159196 KiB
Current children cumulated memory: 97468 KiB
[startup+100.736 s]
# the end of solver process 54967 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=99.4566 s, system=0.986713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.54 1.42 1.57 5/269 54990
/proc/meminfo: memFree=128751916/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=155004 memory=94524 CPUtime=51 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 18713 0 0 0 5036 64 0 0 20 0 1 0 55492659 158724096 23631 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 38751 23631 2400 1147 0 26178 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 159196 KiB
Current children cumulated memory: 97468 KiB
[startup+76.8002 s]
/proc/loadavg: 3.04 1.63 1.64 5/269 54991
/proc/meminfo: memFree=128714120/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157644 memory=100144 CPUtime=76.53 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19601 0 0 0 7571 82 0 0 20 0 1 0 55492659 161427456 25036 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39411 25036 2400 1147 0 26838 0
Current children cumulated CPU time: 76.55 s
Current children cumulated vsize: 161836 KiB
Current children cumulated memory: 103088 KiB
[startup+89.6002 s]
/proc/loadavg: 3.19 1.71 1.66 5/269 55038
/proc/meminfo: memFree=128686344/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157644 memory=104724 CPUtime=89.3 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19612 0 0 0 8840 90 0 0 20 0 1 0 55492659 161427456 26181 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39411 26181 2400 1147 0 26838 0
Current children cumulated CPU time: 89.32 s
Current children cumulated vsize: 161836 KiB
Current children cumulated memory: 107668 KiB
[startup+96.0002 s]*
/proc/loadavg: 3.31 1.78 1.69 5/270 55039
/proc/meminfo: memFree=128682112/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157644 memory=108312 CPUtime=95.68 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19854 0 0 0 9475 93 0 0 20 0 1 0 55492659 161427456 27078 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39411 27078 2400 1147 0 26838 0
Current children cumulated CPU time: 95.7 s
Current children cumulated vsize: 161836 KiB
Current children cumulated memory: 111256 KiB
[startup+99.2002 s]
/proc/loadavg: 3.31 1.78 1.69 5/270 55039
/proc/meminfo: memFree=128682400/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157848 memory=108440 CPUtime=98.87 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19905 0 0 0 9791 96 0 0 20 0 1 0 55492659 161636352 27110 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39462 27110 2400 1147 0 26889 0
Current children cumulated CPU time: 98.89 s
Current children cumulated vsize: 162040 KiB
Current children cumulated memory: 111384 KiB
[startup+100 s]*
/proc/loadavg: 3.37 1.82 1.70 5/270 55039
/proc/meminfo: memFree=128682400/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157848 memory=108440 CPUtime=99.67 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19905 0 0 0 9871 96 0 0 20 0 1 0 55492659 161636352 27110 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39462 27110 2400 1147 0 26889 0
Current children cumulated CPU time: 99.69 s
Current children cumulated vsize: 162040 KiB
Current children cumulated memory: 111384 KiB
[startup+100.4 s]
/proc/loadavg: 3.37 1.82 1.70 5/270 55039
/proc/meminfo: memFree=128682400/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157848 memory=108440 CPUtime=100.07 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19905 0 0 0 9910 97 0 0 20 0 1 0 55492659 161636352 27110 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39462 27110 2400 1147 0 26889 0
Current children cumulated CPU time: 100.09 s
Current children cumulated vsize: 162040 KiB
Current children cumulated memory: 111384 KiB
[startup+100.6 s]
/proc/loadavg: 3.37 1.82 1.70 5/270 55039
/proc/meminfo: memFree=128682400/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157848 memory=108440 CPUtime=100.27 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19905 0 0 0 9930 97 0 0 20 0 1 0 55492659 161636352 27110 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39462 27110 2400 1147 0 26889 0
Current children cumulated CPU time: 100.29 s
Current children cumulated vsize: 162040 KiB
Current children cumulated memory: 111384 KiB
[startup+100.7 s]
/proc/loadavg: 3.37 1.82 1.70 5/270 55039
/proc/meminfo: memFree=128682400/131250000 swapFree=33010684/33010684
[pid=54967] ppid=54961 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/54967/stat : 54967 (run-opt-break.s) S 54961 54967 54907 0 -1 4194304 237 5038 0 0 0 0 1 1 20 0 1 0 55492654 4292608 736 18446744073709551615 94290597974016 94290598868549 140723855528128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290599107600 94290599155344 94290604417024 140723855534433 140723855534562 140723855534562 140723855540164 0
/proc/54967/statm: 1048 736 672 219 0 110 0
[pid=54985] ppid=54967 vsize=157848 memory=108440 CPUtime=100.37 cores=0,2
/proc/54985/stat : 54985 (roundingsat) R 54967 54967 54907 0 -1 4194304 19905 0 0 0 9940 97 0 0 20 0 1 0 55492659 161636352 27110 18446744073709551615 4227072 8923433 140734285656688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35930112 140734285658468 140734285658664 140734285658664 140734285664234 0
/proc/54985/statm: 39462 27110 2400 1147 0 26889 0
Current children cumulated CPU time: 100.39 s
Current children cumulated vsize: 162040 KiB
Current children cumulated memory: 111384 KiB
Child status: 0
Real time (s): 100.736
CPU time (s): 100.443
CPU user time (s): 99.4566
CPU system time (s): 0.986713
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 162040
Max. memory (cumulated for all children) (KiB): 111384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.4566
system time used= 0.986713
maximum resident set size= 108440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270
involuntary context switches= 162
# summary of solver processes directly reported to runsolver:
# pid: 54967
# total CPU time (s): 100.443
# total CPU user time (s): 99.4566
# total CPU system time (s): 0.986713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232692 second user time and 0.467243 second system time
The end
Begin job on nodeC028 at 2025-07-01 21:38:21
IDJOB=4497748
IDBENCH=148192
IDSOLVER=3359
FILE ID=nodeC028/4497748-1751398701
RUNJOBID= nodeC028-1751398701-54920
SLURM_JOB_ID= 9598282
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497748-1751398701/watcher-4497748-1751398701 -o /tmp/evaluation-result-4497748-1751398701/solver-4497748-1751398701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54920 --watchdog 3760 run-opt-break.sh HOME/instance-4497748-1751398701.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1664942893
nodeC028 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.065
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.16
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 : 3630.788
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.16
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 : 3604.272
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.16
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 : 3599.827
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.16
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 : 3455.433
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.16
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 : 3600.419
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.16
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.099
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.16
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.080
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129689828 kB
MemAvailable: 129703640 kB
Buffers: 3280 kB
Cached: 820412 kB
SwapCached: 0 kB
Active: 375716 kB
Inactive: 511908 kB
Active(anon): 82000 kB
Inactive(anon): 0 kB
Active(file): 293716 kB
Inactive(file): 511908 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43092 kB
Writeback: 0 kB
AnonPages: 67264 kB
Mapped: 102484 kB
Shmem: 18068 kB
KReclaimable: 94852 kB
Slab: 180852 kB
SReclaimable: 94852 kB
SUnreclaim: 86000 kB
KernelStack: 3992 kB
PageTables: 2684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC028 at 2025-07-01 21:40:02