0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.07 c #variables 4235 #constraints 4391
5.87/6.00 c #Conflicts: 1000 | #Constraints: 5390
5.87/6.00 c #Conflicts: 2000 | #Constraints: 6390
5.87/6.00 c INPROCESSING
5.87/6.00 c GARBAGE COLLECT
5.87/6.00 c #Conflicts: 3000 | #Constraints: 5890
5.87/6.00 c #Conflicts: 4000 | #Constraints: 6890
5.87/6.00 c INPROCESSING
5.87/6.00 c GARBAGE COLLECT
5.87/6.00 c #Conflicts: 5000 | #Constraints: 6356
5.87/6.00 c #Conflicts: 6000 | #Constraints: 7357
5.87/6.00 c INPROCESSING
5.87/6.00 c GARBAGE COLLECT
5.87/6.00 c rational objective 77
6.97/7.05 c #Conflicts: 7000 | #Constraints: 6384
6.97/7.05 c #Conflicts: 8000 | #Constraints: 7384
6.97/7.05 c #Conflicts: 9000 | #Constraints: 8384
6.97/7.05 c INPROCESSING
6.97/7.05 c GARBAGE COLLECT
6.97/7.05 c rational objective 77
7.96/8.06 c #Conflicts: 10000 | #Constraints: 7118
7.96/8.06 c #Conflicts: 11000 | #Constraints: 8118
7.96/8.06 c #Conflicts: 12000 | #Constraints: 9118
7.96/8.06 c INPROCESSING
7.96/8.06 c GARBAGE COLLECT
7.96/8.06 c rational objective 77
8.97/9.04 c #Conflicts: 13000 | #Constraints: 7612
8.97/9.04 c #Conflicts: 14000 | #Constraints: 8612
8.97/9.04 c #Conflicts: 15000 | #Constraints: 9613
8.97/9.04 c INPROCESSING
8.97/9.04 c GARBAGE COLLECT
8.97/9.04 c rational objective 77
11.06/11.19 c #Conflicts: 16000 | #Constraints: 7869
11.06/11.19 c #Conflicts: 17000 | #Constraints: 8869
11.06/11.19 c #Conflicts: 18000 | #Constraints: 9870
11.06/11.19 c INPROCESSING
11.06/11.19 c GARBAGE COLLECT
11.06/11.19 c rational objective 77
14.94/15.08 c #Conflicts: 19000 | #Constraints: 7878
14.94/15.08 c #Conflicts: 20000 | #Constraints: 8879
14.94/15.08 c #Conflicts: 21000 | #Constraints: 9879
14.94/15.08 c INPROCESSING
14.94/15.08 c GARBAGE COLLECT
14.94/15.08 c rational objective 77
17.52/17.63 c #Conflicts: 22000 | #Constraints: 7700
17.52/17.63 c #Conflicts: 23000 | #Constraints: 8700
17.52/17.63 c #Conflicts: 24000 | #Constraints: 9700
17.52/17.63 c #Conflicts: 25000 | #Constraints: 10700
17.52/17.63 c INPROCESSING
17.52/17.63 c GARBAGE COLLECT
17.52/17.63 c rational objective 77
19.93/20.09 c #Conflicts: 26000 | #Constraints: 8349
19.93/20.09 c #Conflicts: 27000 | #Constraints: 9349
19.93/20.09 c #Conflicts: 28000 | #Constraints: 10349
19.93/20.09 c #Conflicts: 29000 | #Constraints: 11349
19.93/20.09 c INPROCESSING
19.93/20.09 c GARBAGE COLLECT
19.93/20.09 c rational objective 77
23.11/23.22 c #Conflicts: 30000 | #Constraints: 8760
23.11/23.22 c #Conflicts: 31000 | #Constraints: 9760
23.11/23.22 c #Conflicts: 32000 | #Constraints: 10760
23.11/23.22 c #Conflicts: 33000 | #Constraints: 11763
23.11/23.22 c INPROCESSING
23.11/23.22 c GARBAGE COLLECT
23.11/23.22 c rational objective 77
29.68/29.87 c #Conflicts: 34000 | #Constraints: 9002
29.68/29.87 c #Conflicts: 35000 | #Constraints: 10003
29.68/29.87 c #Conflicts: 36000 | #Constraints: 11003
29.68/29.87 c #Conflicts: 37000 | #Constraints: 12003
29.68/29.87 c INPROCESSING
29.68/29.87 c GARBAGE COLLECT
29.68/29.87 c rational objective 77
38.75/38.91 c #Conflicts: 38000 | #Constraints: 9028
38.75/38.91 c #Conflicts: 39000 | #Constraints: 10028
38.75/38.91 c #Conflicts: 40000 | #Constraints: 11028
38.75/38.91 c #Conflicts: 41000 | #Constraints: 12028
38.75/38.91 c INPROCESSING
38.75/38.91 c GARBAGE COLLECT
38.75/38.91 c #Conflicts: 42000 | #Constraints: 8847
38.75/38.91 c #Conflicts: 43000 | #Constraints: 9847
38.75/38.91 c #Conflicts: 44000 | #Constraints: 10847
38.75/38.91 c #Conflicts: 45000 | #Constraints: 11847
38.75/38.91 c #Conflicts: 46000 | #Constraints: 12847
38.75/38.91 c INPROCESSING
38.75/38.91 c GARBAGE COLLECT
38.75/38.91 c #Conflicts: 47000 | #Constraints: 9437
38.75/38.91 c #Conflicts: 48000 | #Constraints: 10437
38.75/38.91 c #Conflicts: 49000 | #Constraints: 11437
38.75/38.91 c #Conflicts: 50000 | #Constraints: 12437
38.75/38.91 c #Conflicts: 51000 | #Constraints: 13437
38.75/38.91 c INPROCESSING
38.75/38.91 c GARBAGE COLLECT
38.75/38.91 c rational objective 77
41.04/41.21 c #Conflicts: 52000 | #Constraints: 9879
41.04/41.21 c #Conflicts: 53000 | #Constraints: 10879
41.04/41.21 c #Conflicts: 54000 | #Constraints: 11879
41.04/41.21 c #Conflicts: 55000 | #Constraints: 12879
41.04/41.21 c #Conflicts: 56000 | #Constraints: 13879
41.04/41.21 c INPROCESSING
41.04/41.21 c GARBAGE COLLECT
41.04/41.21 c rational objective 77
43.63/43.89 c #Conflicts: 57000 | #Constraints: 10094
43.63/43.89 c #Conflicts: 58000 | #Constraints: 11094
43.63/43.89 c #Conflicts: 59000 | #Constraints: 12094
43.63/43.89 c #Conflicts: 60000 | #Constraints: 13094
43.63/43.89 c #Conflicts: 61000 | #Constraints: 14094
43.63/43.89 c INPROCESSING
43.63/43.89 c GARBAGE COLLECT
43.63/43.89 c rational objective 77
46.52/46.72 c #Conflicts: 62000 | #Constraints: 10072
46.52/46.72 c #Conflicts: 63000 | #Constraints: 11072
46.52/46.72 c #Conflicts: 64000 | #Constraints: 12072
46.52/46.72 c #Conflicts: 65000 | #Constraints: 13072
46.52/46.72 c #Conflicts: 66000 | #Constraints: 14072
46.52/46.72 c INPROCESSING
46.52/46.72 c GARBAGE COLLECT
46.52/46.72 c rational objective 77
50.11/50.34 c #Conflicts: 67000 | #Constraints: 9872
50.11/50.34 c #Conflicts: 68000 | #Constraints: 10872
50.11/50.34 c #Conflicts: 69000 | #Constraints: 11872
50.11/50.34 c #Conflicts: 70000 | #Constraints: 12872
50.11/50.34 c #Conflicts: 71000 | #Constraints: 13872
50.11/50.34 c #Conflicts: 72000 | #Constraints: 14872
50.11/50.34 c INPROCESSING
50.11/50.34 c GARBAGE COLLECT
50.11/50.34 c rational objective 77
52.60/52.86 c #Conflicts: 73000 | #Constraints: 10516
52.60/52.86 c #Conflicts: 74000 | #Constraints: 11516
52.60/52.86 c #Conflicts: 75000 | #Constraints: 12516
52.60/52.86 c #Conflicts: 76000 | #Constraints: 13516
52.60/52.86 c #Conflicts: 77000 | #Constraints: 14516
52.60/52.86 c #Conflicts: 78000 | #Constraints: 15516
52.60/52.86 c INPROCESSING
52.60/52.86 c GARBAGE COLLECT
52.60/52.86 c rational objective 77
77.11/77.41 c #Conflicts: 79000 | #Constraints: 10896
77.11/77.41 c #Conflicts: 80000 | #Constraints: 11896
77.11/77.41 c #Conflicts: 81000 | #Constraints: 12896
77.11/77.41 c #Conflicts: 82000 | #Constraints: 13896
77.11/77.41 c #Conflicts: 83000 | #Constraints: 14897
77.11/77.41 c #Conflicts: 84000 | #Constraints: 15897
77.11/77.41 c #Conflicts: 85000 | #Constraints: 16897
77.11/77.41 c #Conflicts: 86000 | #Constraints: 17897
77.11/77.41 c #Conflicts: 87000 | #Constraints: 18897
77.11/77.41 c #Conflicts: 88000 | #Constraints: 19897
77.11/77.41 c #Conflicts: 89000 | #Constraints: 20897
77.11/77.41 c #Conflicts: 90000 | #Constraints: 21897
77.11/77.41 c #Conflicts: 91000 | #Constraints: 22897
77.11/77.41 c #Conflicts: 92000 | #Constraints: 23897
77.11/77.41 c #Conflicts: 93000 | #Constraints: 24897
77.11/77.41 c #Conflicts: 94000 | #Constraints: 25897
77.11/77.41 c #Conflicts: 95000 | #Constraints: 26897
77.11/77.41 c #Conflicts: 96000 | #Constraints: 27897
77.11/77.41 c #Conflicts: 97000 | #Constraints: 28897
77.11/77.41 c #Conflicts: 98000 | #Constraints: 29897
77.11/77.41 c #Conflicts: 99000 | #Constraints: 30897
77.11/77.41 c #Conflicts: 100000 | #Constraints: 31898
77.11/77.41 c #Conflicts: 101000 | #Constraints: 32898
77.11/77.41 c #Conflicts: 102000 | #Constraints: 33898
77.11/77.41 c INPROCESSING
77.11/77.41 c GARBAGE COLLECT
77.11/77.41 c rational objective 77
83.39/83.78 c #Conflicts: 103000 | #Constraints: 19668
83.39/83.78 c #Conflicts: 104000 | #Constraints: 20668
83.39/83.78 c #Conflicts: 105000 | #Constraints: 21668
83.39/83.78 c #Conflicts: 106000 | #Constraints: 22668
83.39/83.78 c #Conflicts: 107000 | #Constraints: 23668
83.39/83.78 c #Conflicts: 108000 | #Constraints: 24669
83.39/83.78 c #Conflicts: 109000 | #Constraints: 25669
83.39/83.78 c #Conflicts: 110000 | #Constraints: 26669
83.39/83.78 c INPROCESSING
83.39/83.78 c GARBAGE COLLECT
83.39/83.78 c rational objective 77
88.27/88.63 c #Conflicts: 111000 | #Constraints: 16540
88.27/88.63 c #Conflicts: 112000 | #Constraints: 17540
88.27/88.63 c #Conflicts: 113000 | #Constraints: 18540
88.27/88.63 c #Conflicts: 114000 | #Constraints: 19540
88.27/88.63 c #Conflicts: 115000 | #Constraints: 20541
88.27/88.63 c #Conflicts: 116000 | #Constraints: 21541
88.27/88.63 c #Conflicts: 117000 | #Constraints: 22541
88.27/88.63 c INPROCESSING
88.27/88.63 c GARBAGE COLLECT
88.27/88.63 c rational objective 77
93.24/93.69 c #Conflicts: 118000 | #Constraints: 14356
93.24/93.69 c #Conflicts: 119000 | #Constraints: 15356
93.24/93.69 c #Conflicts: 120000 | #Constraints: 16356
93.24/93.69 c #Conflicts: 121000 | #Constraints: 17356
93.24/93.69 c #Conflicts: 122000 | #Constraints: 18356
93.24/93.69 c #Conflicts: 123000 | #Constraints: 19356
93.24/93.69 c #Conflicts: 124000 | #Constraints: 20356
93.24/93.69 c INPROCESSING
93.24/93.69 c GARBAGE COLLECT
93.24/93.69 c rational objective 77
99.33/99.79 c #Conflicts: 125000 | #Constraints: 13023
99.33/99.79 c #Conflicts: 126000 | #Constraints: 14023
99.33/99.79 c #Conflicts: 127000 | #Constraints: 15023
99.33/99.79 c #Conflicts: 128000 | #Constraints: 16023
99.33/99.79 c #Conflicts: 129000 | #Constraints: 17023
99.33/99.79 c #Conflicts: 130000 | #Constraints: 18023
99.33/99.79 c #Conflicts: 131000 | #Constraints: 19024
99.33/99.79 c #Conflicts: 132000 | #Constraints: 20024
99.33/99.79 c INPROCESSING
99.33/99.79 c GARBAGE COLLECT
99.33/99.79 c rational objective 77
104.31/104.71 c #Conflicts: 133000 | #Constraints: 12961
104.31/104.71 c #Conflicts: 134000 | #Constraints: 13961
104.31/104.71 c #Conflicts: 135000 | #Constraints: 14962
104.31/104.71 c #Conflicts: 136000 | #Constraints: 15962
104.31/104.71 c #Conflicts: 137000 | #Constraints: 16962
104.31/104.71 c #Conflicts: 138000 | #Constraints: 17962
104.31/104.71 c #Conflicts: 139000 | #Constraints: 18962
104.31/104.71 c #Conflicts: 140000 | #Constraints: 19962
104.31/104.71 c INPROCESSING
104.31/104.71 c GARBAGE COLLECT
104.31/104.71 c rational objective 77
126.23/126.70 c #Conflicts: 141000 | #Constraints: 12974
126.23/126.70 c #Conflicts: 142000 | #Constraints: 13975
126.23/126.70 c #Conflicts: 143000 | #Constraints: 14975
126.23/126.70 c #Conflicts: 144000 | #Constraints: 15975
126.23/126.70 c #Conflicts: 145000 | #Constraints: 16975
126.23/126.70 c #Conflicts: 146000 | #Constraints: 17975
126.23/126.70 c #Conflicts: 147000 | #Constraints: 18975
126.23/126.70 c #Conflicts: 148000 | #Constraints: 19975
126.23/126.70 c #Conflicts: 149000 | #Constraints: 20976
126.23/126.70 c #Conflicts: 150000 | #Constraints: 21976
126.23/126.70 c #Conflicts: 151000 | #Constraints: 22976
126.23/126.70 c #Conflicts: 152000 | #Constraints: 23976
126.23/126.70 c #Conflicts: 153000 | #Constraints: 24976
126.23/126.70 c #Conflicts: 154000 | #Constraints: 25976
126.23/126.70 c #Conflicts: 155000 | #Constraints: 26976
126.23/126.70 c #Conflicts: 156000 | #Constraints: 27976
126.23/126.70 c #Conflicts: 157000 | #Constraints: 28976
126.23/126.70 c #Conflicts: 158000 | #Constraints: 29976
126.23/126.70 c #Conflicts: 159000 | #Constraints: 30976
126.23/126.70 c #Conflicts: 160000 | #Constraints: 31977
126.23/126.70 c #Conflicts: 161000 | #Constraints: 32977
126.23/126.70 c #Conflicts: 162000 | #Constraints: 33977
126.23/126.70 c #Conflicts: 163000 | #Constraints: 34977
126.23/126.70 c #Conflicts: 164000 | #Constraints: 35977
126.23/126.70 c cpu time 123.389 s
126.23/126.70 c deterministic time 9433930062 9.43e+09
126.23/126.70 c optimization time 6.1e-05 s
126.23/126.70 c total solve time 123.337 s
126.23/126.70 c core-guided solve time 0 s
126.23/126.70 c propagation time 77.2269 s
126.23/126.70 c conflict analysis time 30.4058 s
126.23/126.70 c propagations 47561273
126.23/126.70 c resolve steps 4640480
126.23/126.70 c decisions 1121057
126.23/126.70 c conflicts 164331
126.23/126.70 c restarts 444
126.23/126.70 c inprocessing phases 26
126.23/126.70 c input clauses 4314
126.23/126.70 c input cardinalities 77
126.23/126.70 c input general constraints 0
126.23/126.70 c input average constraint length 6.01
126.23/126.70 c input average constraint degree 1.93
126.23/126.70 c learned clauses 106900
126.23/126.70 c learned cardinalities 6664
126.23/126.70 c learned general constraints 50787
126.23/126.70 c learned average constraint length 416.56
126.23/126.70 c learned average constraint degree 13224840.52
126.23/126.70 c watched constraints 38368
126.23/126.70 c counting constraints 12419
126.23/126.70 c gcd simplifications 320
126.23/126.70 c detected cardinalities 708
126.23/126.70 c weakened non-implied lits 16719585
126.23/126.70 c weakened non-implying lits 19338
126.23/126.70 c original variables 4235
126.23/126.70 c clausal propagations 20287992
126.23/126.70 c cardinality propagations 17166305
126.23/126.70 c watched propagations 2371947
126.23/126.70 c counting propagations 7113990
126.23/126.70 c watch lookups 787254841
126.23/126.70 c watch backjump lookups 609532120
126.23/126.70 c watch checks 5829173458
126.23/126.70 c propagation checks 1904754302
126.23/126.70 c constraint additions 205467299
126.23/126.70 c trail pops 48846038
126.23/126.70 c formula constraints 4391
126.23/126.70 c learned constraints 164311
126.23/126.70 c bound constraints 0
126.23/126.70 c core-guided constraints 0
126.23/126.70 c encountered formula constraints 3151125
126.23/126.70 c encountered learned constraints 1653543
126.23/126.70 c encountered bound constraints 0
126.23/126.70 c encountered core-guided constraints 0
126.23/126.70 c LP total time 42.1949 s
126.23/126.70 c LP solve time 41.82 s
126.23/126.70 c LP constraints added 5120
126.23/126.70 c LP constraints removed 704
126.23/126.70 c LP pivots internal 166592
126.23/126.70 c LP pivots root 53081
126.23/126.70 c LP calls 89
126.23/126.70 c LP optimalities 65
126.23/126.70 c LP no pivot count 7
126.23/126.70 c LP infeasibilities 20
126.23/126.70 c LP valid Farkas constraints 20
126.23/126.70 c LP learned Farkas constraints 20
126.23/126.70 c LP basis resets 0
126.23/126.70 c LP cycling count 0
126.23/126.70 c LP singular count 0
126.23/126.70 c LP no primal count 0
126.23/126.70 c LP no farkas count 0
126.23/126.70 c LP other issue count 0
126.23/126.70 c LP Gomory cuts 0
126.23/126.70 c LP learned cuts 729
126.23/126.70 c LP deleted cuts 704
126.23/126.70 c LP encountered Gomory constraints 0
126.23/126.70 c LP encountered Farkas constraints 92
126.23/126.70 c LP encountered learned Farkas constraints 31
126.23/126.70 c CG auxiliary variables introduced 0
126.23/126.70 c CG solutions found 0
126.23/126.70 c CG cores constructed 0
126.23/126.70 c CG core cardinality constraints returned 0
126.23/126.70 c CG unit cores 0
126.23/126.70 c CG single cores 0
126.23/126.70 c CG blocks removed during cardinality reduction 0
126.23/126.70 c CG first core best 0
126.23/126.70 c CG decision core best 0
126.23/126.70 c CG core reduction tie 0
126.23/126.70 c CG core degree average 0.00
126.23/126.70 c CG core slack average 0.00
126.23/126.70 s SATISFIABLE
126.23/126.70 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (55376 MiB free)
memory of node 1: 64473 MiB (46906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463050-1722345731/watcher-4463050-1722345731 -o /tmp/evaluation-result-4463050-1722345731/solver-4463050-1722345731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6755 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463050-1722345731 --lp-cut-gomory=0 HOME/instance-4463050-1722345731.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9697, runsolver pid=9694
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.42 4.30 4.22 5/263 9698
/proc/meminfo: memFree=104728612/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=45052 memory=13948 CPUtime=0.09 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 2344 0 0 0 8 1 0 0 20 0 1 0 1169623 46133248 3487 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 11263 3487 1732 992 0 3121 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 13948 KiB
[startup+0.213936 s]*
/proc/loadavg: 4.42 4.30 4.22 5/263 9698
/proc/meminfo: memFree=104723056/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=46144 memory=15004 CPUtime=0.21 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 2620 0 0 0 19 2 0 0 20 0 1 0 1169623 47251456 3751 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 11536 3751 1732 992 0 3394 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 15004 KiB
[startup+0.314064 s]*
/proc/loadavg: 4.42 4.30 4.22 5/263 9698
/proc/meminfo: memFree=104719648/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=46144 memory=15004 CPUtime=0.31 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 2626 0 0 0 29 2 0 0 20 0 1 0 1169623 47251456 3751 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 11536 3751 1732 992 0 3394 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 15004 KiB
[startup+0.700281 s]
/proc/loadavg: 4.42 4.30 4.22 5/263 9698
/proc/meminfo: memFree=104709256/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=46144 memory=15268 CPUtime=0.68 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 2717 0 0 0 65 3 0 0 20 0 1 0 1169623 47251456 3817 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 11536 3817 1732 992 0 3394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 15268 KiB
[startup+1.50024 s]
/proc/loadavg: 4.42 4.30 4.22 5/263 9698
/proc/meminfo: memFree=104688136/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=47320 memory=17284 CPUtime=1.47 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 3178 0 0 0 141 6 0 0 20 0 1 0 1169623 48455680 4321 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 11830 4321 1777 992 0 3688 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47320 KiB
Current children cumulated memory: 17284 KiB
[startup+3.11394 s]
/proc/loadavg: 4.38 4.29 4.22 5/263 9698
/proc/meminfo: memFree=104627144/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=48592 memory=21492 CPUtime=3.09 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 3621 0 0 0 298 11 0 0 20 0 1 0 1169623 49758208 5373 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 12148 5373 1863 992 0 4006 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48592 KiB
Current children cumulated memory: 21492 KiB
[startup+6.30031 s]
/proc/loadavg: 4.38 4.29 4.22 5/263 9698
/proc/meminfo: memFree=104415996/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=49928 memory=23076 CPUtime=6.26 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 3990 0 0 0 606 20 0 0 20 0 1 0 1169623 51126272 5769 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 12482 5769 1863 992 0 4340 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 23076 KiB
[startup+12.7003 s]
/proc/loadavg: 4.32 4.28 4.21 5/263 9700
/proc/meminfo: memFree=104036736/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=56868 memory=29988 CPUtime=12.64 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 5361 0 0 0 1223 41 0 0 20 0 1 0 1169623 58232832 7497 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 14217 7497 1863 992 0 6075 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56868 KiB
Current children cumulated memory: 29988 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.29 4.22 5/263 9702
/proc/meminfo: memFree=103223080/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=70520 memory=39276 CPUtime=25.39 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 6685 0 0 0 2463 76 0 0 20 0 1 0 1169623 72212480 9819 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 17630 9819 1863 992 0 9488 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70520 KiB
Current children cumulated memory: 39276 KiB
[startup+51.1139 s]
/proc/loadavg: 4.30 4.28 4.21 5/263 9707
/proc/meminfo: memFree=102438336/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=73168 memory=41892 CPUtime=50.92 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 7355 0 0 0 4953 139 0 0 20 0 1 0 1169623 74924032 10473 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 18292 10473 1863 992 0 10150 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 73168 KiB
Current children cumulated memory: 41892 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.26 4.21 4/254 9716
/proc/meminfo: memFree=100463944/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=195868 memory=130620 CPUtime=101.92 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 12180 0 0 0 9952 240 0 0 20 0 1 0 1169623 200568832 32655 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 48967 32655 1863 992 0 40825 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 130620 KiB
[startup+126.719 s]
# the end of solver process 9697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=123.396 s, system=2.8555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.24 4.26 4.21 4/254 9716
/proc/meminfo: memFree=100463944/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=195868 memory=130620 CPUtime=102.02 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 12180 0 0 0 9962 240 0 0 20 0 1 0 1169623 200568832 32655 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 48967 32655 1863 992 0 40825 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 130620 KiB
[startup+115.2 s]
/proc/loadavg: 4.21 4.25 4.21 5/254 9718
/proc/meminfo: memFree=99960428/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=197160 memory=131676 CPUtime=114.77 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 12459 0 0 0 11209 268 0 0 20 0 1 0 1169623 201891840 32919 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 49290 32919 1863 992 0 41148 0
Current children cumulated CPU time: 114.77 s
Current children cumulated vsize: 197160 KiB
Current children cumulated memory: 131676 KiB
[startup+121.6 s]
/proc/loadavg: 4.19 4.25 4.20 4/254 9720
/proc/meminfo: memFree=99745316/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=198968 memory=133524 CPUtime=121.14 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 12901 0 0 0 11836 278 0 0 20 0 1 0 1169623 203743232 33381 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 49742 33381 1863 992 0 41600 0
Current children cumulated CPU time: 121.14 s
Current children cumulated vsize: 198968 KiB
Current children cumulated memory: 133524 KiB
[startup+124.8 s]
/proc/loadavg: 4.17 4.25 4.20 5/254 9720
/proc/meminfo: memFree=99588236/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=200260 memory=134568 CPUtime=124.33 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 13174 0 0 0 12151 282 0 0 20 0 1 0 1169623 205066240 33642 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 50065 33642 1863 992 0 41923 0
Current children cumulated CPU time: 124.33 s
Current children cumulated vsize: 200260 KiB
Current children cumulated memory: 134568 KiB
[startup+125.6 s]
/proc/loadavg: 4.17 4.25 4.20 5/254 9720
/proc/meminfo: memFree=99527256/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=200260 memory=134568 CPUtime=125.13 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 13185 0 0 0 12229 284 0 0 20 0 1 0 1169623 205066240 33642 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 50065 33642 1863 992 0 41923 0
Current children cumulated CPU time: 125.13 s
Current children cumulated vsize: 200260 KiB
Current children cumulated memory: 134568 KiB
[startup+126.4 s]
/proc/loadavg: 4.17 4.25 4.20 5/254 9720
/proc/meminfo: memFree=99495448/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=200396 memory=135084 CPUtime=125.92 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 13270 0 0 0 12308 284 0 0 20 0 1 0 1169623 205205504 33771 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 50099 33771 1863 992 0 41957 0
Current children cumulated CPU time: 125.92 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 135084 KiB
[startup+126.6 s]
/proc/loadavg: 4.17 4.25 4.20 5/254 9720
/proc/meminfo: memFree=99495448/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=200396 memory=135084 CPUtime=126.13 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 13283 0 0 0 12328 285 0 0 20 0 1 0 1169623 205205504 33771 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 50099 33771 1863 992 0 41957 0
Current children cumulated CPU time: 126.13 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 135084 KiB
[startup+126.7 s]
/proc/loadavg: 4.17 4.25 4.20 5/254 9720
/proc/meminfo: memFree=99495448/131655788 swapFree=131071996/131071996
[pid=9697] ppid=9694 vsize=200528 memory=135084 CPUtime=126.23 cores=0,2
/proc/9697/stat : 9697 (roundingsat) R 9694 9697 6745 0 -1 4194304 13303 0 0 0 12338 285 0 0 20 0 1 0 1169623 205340672 33771 134679101440 4194304 8255733 140732738653616 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21749760 140732738655070 140732738655332 140732738655332 140732738662345 0
/proc/9697/statm: 50132 33771 1863 992 0 41990 0
Current children cumulated CPU time: 126.23 s
Current children cumulated vsize: 200528 KiB
Current children cumulated memory: 135084 KiB
Child status: 0
Real time (s): 126.719
CPU time (s): 126.251
CPU user time (s): 123.396
CPU system time (s): 2.8555
CPU usage (%): 99.6311
Max. virtual memory (cumulated for all children) (KiB): 200528
Max. memory (cumulated for all children) (KiB): 135084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.396
system time used= 2.8555
maximum resident set size= 135084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 551352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 890
# summary of solver processes directly reported to runsolver:
# pid: 9697
# total CPU time (s): 126.251
# total CPU user time (s): 123.396
# total CPU system time (s): 2.8555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.692918 second user time and 1.32876 second system time
The end
Begin job on nodeC006 at 2024-07-30 15:22:11
IDJOB=4463050
IDBENCH=158374
IDSOLVER=3089
FILE ID=nodeC006/4463050-1722345731
RUNJOBID= nodeC006-1722340763-6755
SLURM_JOB_ID= 8248986
Free space on /tmp= 723688 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463050-1722345731/watcher-4463050-1722345731 -o /tmp/evaluation-result-4463050-1722345731/solver-4463050-1722345731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6755 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463050-1722345731 --lp-cut-gomory=0 HOME/instance-4463050-1722345731.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1befa42a441a3881696e6fa0e11864f5
RANDOM SEED=768974306
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1223.262
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1664.516
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3643.954
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3614.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 104739036 kB
MemAvailable: 125815664 kB
Buffers: 50868 kB
Cached: 21827428 kB
SwapCached: 0 kB
Active: 241628 kB
Inactive: 26140200 kB
Active(anon): 1404 kB
Inactive(anon): 4523908 kB
Active(file): 240224 kB
Inactive(file): 21616292 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 838212 kB
Writeback: 64 kB
AnonPages: 4499456 kB
Mapped: 94844 kB
Shmem: 21320 kB
KReclaimable: 120624 kB
Slab: 226512 kB
SReclaimable: 120624 kB
SUnreclaim: 105888 kB
KernelStack: 4220 kB
PageTables: 18216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5219424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2222080 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: 215880 kB
DirectMap2M: 13320192 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723684 MiB
End job on nodeC006 at 2024-07-30 15:24:18