0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.08 c #variables 4235 #constraints 4391
5.97/6.06 c #Conflicts: 1000 | #Constraints: 5390
5.97/6.06 c #Conflicts: 2000 | #Constraints: 6390
5.97/6.06 c INPROCESSING
5.97/6.06 c GARBAGE COLLECT
5.97/6.06 c #Conflicts: 3000 | #Constraints: 5890
5.97/6.06 c #Conflicts: 4000 | #Constraints: 6890
5.97/6.06 c INPROCESSING
5.97/6.06 c GARBAGE COLLECT
5.97/6.06 c #Conflicts: 5000 | #Constraints: 6356
5.97/6.06 c #Conflicts: 6000 | #Constraints: 7357
5.97/6.06 c INPROCESSING
5.97/6.06 c GARBAGE COLLECT
5.97/6.06 c rational objective 77
6.96/7.10 c #Conflicts: 7000 | #Constraints: 6384
6.96/7.10 c #Conflicts: 8000 | #Constraints: 7384
6.96/7.10 c #Conflicts: 9000 | #Constraints: 8384
6.96/7.10 c INPROCESSING
6.96/7.10 c GARBAGE COLLECT
6.96/7.10 c rational objective 77
8.06/8.11 c #Conflicts: 10000 | #Constraints: 7118
8.06/8.11 c #Conflicts: 11000 | #Constraints: 8118
8.06/8.11 c #Conflicts: 12000 | #Constraints: 9118
8.06/8.11 c INPROCESSING
8.06/8.11 c GARBAGE COLLECT
8.06/8.11 c rational objective 77
8.96/9.08 c #Conflicts: 13000 | #Constraints: 7612
8.96/9.08 c #Conflicts: 14000 | #Constraints: 8612
8.96/9.08 c #Conflicts: 15000 | #Constraints: 9613
8.96/9.08 c INPROCESSING
8.96/9.08 c GARBAGE COLLECT
8.96/9.08 c rational objective 77
11.14/11.23 c #Conflicts: 16000 | #Constraints: 7869
11.14/11.23 c #Conflicts: 17000 | #Constraints: 8869
11.14/11.23 c #Conflicts: 18000 | #Constraints: 9870
11.14/11.23 c INPROCESSING
11.14/11.23 c GARBAGE COLLECT
11.14/11.23 c rational objective 77
14.93/15.11 c #Conflicts: 19000 | #Constraints: 7878
14.93/15.11 c #Conflicts: 20000 | #Constraints: 8879
14.93/15.11 c #Conflicts: 21000 | #Constraints: 9879
14.93/15.11 c INPROCESSING
14.93/15.11 c GARBAGE COLLECT
14.93/15.11 c rational objective 77
17.51/17.68 c #Conflicts: 22000 | #Constraints: 7700
17.51/17.68 c #Conflicts: 23000 | #Constraints: 8700
17.51/17.68 c #Conflicts: 24000 | #Constraints: 9700
17.51/17.68 c #Conflicts: 25000 | #Constraints: 10700
17.51/17.68 c INPROCESSING
17.51/17.68 c GARBAGE COLLECT
17.51/17.68 c rational objective 77
20.02/20.18 c #Conflicts: 26000 | #Constraints: 8349
20.02/20.18 c #Conflicts: 27000 | #Constraints: 9349
20.02/20.18 c #Conflicts: 28000 | #Constraints: 10349
20.02/20.18 c #Conflicts: 29000 | #Constraints: 11349
20.02/20.18 c INPROCESSING
20.02/20.18 c GARBAGE COLLECT
20.02/20.18 c rational objective 77
23.19/23.34 c #Conflicts: 30000 | #Constraints: 8760
23.19/23.34 c #Conflicts: 31000 | #Constraints: 9760
23.19/23.34 c #Conflicts: 32000 | #Constraints: 10760
23.19/23.34 c #Conflicts: 33000 | #Constraints: 11763
23.19/23.34 c INPROCESSING
23.19/23.34 c GARBAGE COLLECT
23.19/23.34 c rational objective 77
29.88/30.06 c #Conflicts: 34000 | #Constraints: 9002
29.88/30.06 c #Conflicts: 35000 | #Constraints: 10003
29.88/30.06 c #Conflicts: 36000 | #Constraints: 11003
29.88/30.06 c #Conflicts: 37000 | #Constraints: 12003
29.88/30.06 c INPROCESSING
29.88/30.06 c GARBAGE COLLECT
29.88/30.06 c rational objective 77
39.03/39.24 c #Conflicts: 38000 | #Constraints: 9028
39.03/39.24 c #Conflicts: 39000 | #Constraints: 10028
39.03/39.24 c #Conflicts: 40000 | #Constraints: 11028
39.03/39.24 c #Conflicts: 41000 | #Constraints: 12028
39.03/39.24 c INPROCESSING
39.03/39.24 c GARBAGE COLLECT
39.03/39.24 c #Conflicts: 42000 | #Constraints: 8847
39.03/39.24 c #Conflicts: 43000 | #Constraints: 9847
39.03/39.24 c #Conflicts: 44000 | #Constraints: 10847
39.03/39.24 c #Conflicts: 45000 | #Constraints: 11847
39.03/39.24 c #Conflicts: 46000 | #Constraints: 12847
39.03/39.24 c INPROCESSING
39.03/39.24 c GARBAGE COLLECT
39.03/39.24 c #Conflicts: 47000 | #Constraints: 9437
39.03/39.24 c #Conflicts: 48000 | #Constraints: 10437
39.03/39.24 c #Conflicts: 49000 | #Constraints: 11437
39.03/39.24 c #Conflicts: 50000 | #Constraints: 12437
39.03/39.24 c #Conflicts: 51000 | #Constraints: 13437
39.03/39.24 c INPROCESSING
39.03/39.24 c GARBAGE COLLECT
39.03/39.24 c rational objective 77
41.33/41.58 c #Conflicts: 52000 | #Constraints: 9879
41.33/41.58 c #Conflicts: 53000 | #Constraints: 10879
41.33/41.58 c #Conflicts: 54000 | #Constraints: 11879
41.33/41.58 c #Conflicts: 55000 | #Constraints: 12879
41.33/41.58 c #Conflicts: 56000 | #Constraints: 13879
41.33/41.58 c INPROCESSING
41.33/41.58 c GARBAGE COLLECT
41.33/41.58 c rational objective 77
44.11/44.31 c #Conflicts: 57000 | #Constraints: 10094
44.11/44.31 c #Conflicts: 58000 | #Constraints: 11094
44.11/44.31 c #Conflicts: 59000 | #Constraints: 12094
44.11/44.31 c #Conflicts: 60000 | #Constraints: 13094
44.11/44.31 c #Conflicts: 61000 | #Constraints: 14094
44.11/44.31 c INPROCESSING
44.11/44.31 c GARBAGE COLLECT
44.11/44.31 c rational objective 77
46.91/47.18 c #Conflicts: 62000 | #Constraints: 10072
46.91/47.18 c #Conflicts: 63000 | #Constraints: 11072
46.91/47.18 c #Conflicts: 64000 | #Constraints: 12072
46.91/47.18 c #Conflicts: 65000 | #Constraints: 13072
46.91/47.18 c #Conflicts: 66000 | #Constraints: 14072
46.91/47.18 c INPROCESSING
46.91/47.18 c GARBAGE COLLECT
46.91/47.18 c rational objective 77
50.59/50.84 c #Conflicts: 67000 | #Constraints: 9872
50.59/50.84 c #Conflicts: 68000 | #Constraints: 10872
50.59/50.84 c #Conflicts: 69000 | #Constraints: 11872
50.59/50.84 c #Conflicts: 70000 | #Constraints: 12872
50.59/50.84 c #Conflicts: 71000 | #Constraints: 13872
50.59/50.84 c #Conflicts: 72000 | #Constraints: 14872
50.59/50.84 c INPROCESSING
50.59/50.84 c GARBAGE COLLECT
50.59/50.84 c rational objective 77
53.18/53.42 c #Conflicts: 73000 | #Constraints: 10516
53.18/53.42 c #Conflicts: 74000 | #Constraints: 11516
53.18/53.42 c #Conflicts: 75000 | #Constraints: 12516
53.18/53.42 c #Conflicts: 76000 | #Constraints: 13516
53.18/53.42 c #Conflicts: 77000 | #Constraints: 14516
53.18/53.42 c #Conflicts: 78000 | #Constraints: 15516
53.18/53.42 c INPROCESSING
53.18/53.42 c GARBAGE COLLECT
53.18/53.42 c rational objective 77
76.80/77.14 c #Conflicts: 79000 | #Constraints: 10896
76.80/77.14 c #Conflicts: 80000 | #Constraints: 11896
76.80/77.14 c #Conflicts: 81000 | #Constraints: 12896
76.80/77.14 c #Conflicts: 82000 | #Constraints: 13896
76.80/77.14 c #Conflicts: 83000 | #Constraints: 14897
76.80/77.14 c #Conflicts: 84000 | #Constraints: 15897
76.80/77.14 c #Conflicts: 85000 | #Constraints: 16897
76.80/77.14 c #Conflicts: 86000 | #Constraints: 17897
76.80/77.14 c #Conflicts: 87000 | #Constraints: 18897
76.80/77.14 c #Conflicts: 88000 | #Constraints: 19897
76.80/77.14 c #Conflicts: 89000 | #Constraints: 20897
76.80/77.14 c #Conflicts: 90000 | #Constraints: 21897
76.80/77.14 c #Conflicts: 91000 | #Constraints: 22897
76.80/77.14 c #Conflicts: 92000 | #Constraints: 23897
76.80/77.14 c #Conflicts: 93000 | #Constraints: 24897
76.80/77.14 c #Conflicts: 94000 | #Constraints: 25897
76.80/77.14 c #Conflicts: 95000 | #Constraints: 26897
76.80/77.14 c #Conflicts: 96000 | #Constraints: 27897
76.80/77.14 c #Conflicts: 97000 | #Constraints: 28897
76.80/77.14 c #Conflicts: 98000 | #Constraints: 29897
76.80/77.14 c #Conflicts: 99000 | #Constraints: 30897
76.80/77.14 c #Conflicts: 100000 | #Constraints: 31898
76.80/77.14 c #Conflicts: 101000 | #Constraints: 32898
76.80/77.14 c #Conflicts: 102000 | #Constraints: 33898
76.80/77.14 c INPROCESSING
76.80/77.14 c GARBAGE COLLECT
76.80/77.14 c rational objective 77
82.78/83.18 c #Conflicts: 103000 | #Constraints: 19668
82.78/83.18 c #Conflicts: 104000 | #Constraints: 20668
82.78/83.18 c #Conflicts: 105000 | #Constraints: 21668
82.78/83.18 c #Conflicts: 106000 | #Constraints: 22668
82.78/83.18 c #Conflicts: 107000 | #Constraints: 23668
82.78/83.18 c #Conflicts: 108000 | #Constraints: 24669
82.78/83.18 c #Conflicts: 109000 | #Constraints: 25669
82.78/83.18 c #Conflicts: 110000 | #Constraints: 26669
82.78/83.18 c INPROCESSING
82.78/83.18 c GARBAGE COLLECT
82.78/83.18 c rational objective 77
87.55/87.92 c #Conflicts: 111000 | #Constraints: 16540
87.55/87.92 c #Conflicts: 112000 | #Constraints: 17540
87.55/87.92 c #Conflicts: 113000 | #Constraints: 18540
87.55/87.92 c #Conflicts: 114000 | #Constraints: 19540
87.55/87.92 c #Conflicts: 115000 | #Constraints: 20541
87.55/87.92 c #Conflicts: 116000 | #Constraints: 21541
87.55/87.92 c #Conflicts: 117000 | #Constraints: 22541
87.55/87.92 c INPROCESSING
87.55/87.92 c GARBAGE COLLECT
87.55/87.92 c rational objective 77
92.43/92.87 c #Conflicts: 118000 | #Constraints: 14356
92.43/92.87 c #Conflicts: 119000 | #Constraints: 15356
92.43/92.87 c #Conflicts: 120000 | #Constraints: 16356
92.43/92.87 c #Conflicts: 121000 | #Constraints: 17356
92.43/92.87 c #Conflicts: 122000 | #Constraints: 18356
92.43/92.87 c #Conflicts: 123000 | #Constraints: 19356
92.43/92.87 c #Conflicts: 124000 | #Constraints: 20356
92.43/92.87 c INPROCESSING
92.43/92.87 c GARBAGE COLLECT
92.43/92.87 c rational objective 77
98.40/98.86 c #Conflicts: 125000 | #Constraints: 13023
98.40/98.86 c #Conflicts: 126000 | #Constraints: 14023
98.40/98.86 c #Conflicts: 127000 | #Constraints: 15023
98.40/98.86 c #Conflicts: 128000 | #Constraints: 16023
98.40/98.86 c #Conflicts: 129000 | #Constraints: 17023
98.40/98.86 c #Conflicts: 130000 | #Constraints: 18023
98.40/98.86 c #Conflicts: 131000 | #Constraints: 19024
98.40/98.86 c #Conflicts: 132000 | #Constraints: 20024
98.40/98.86 c INPROCESSING
98.40/98.86 c GARBAGE COLLECT
98.40/98.86 c rational objective 77
103.19/103.68 c #Conflicts: 133000 | #Constraints: 12961
103.19/103.68 c #Conflicts: 134000 | #Constraints: 13961
103.19/103.68 c #Conflicts: 135000 | #Constraints: 14962
103.19/103.68 c #Conflicts: 136000 | #Constraints: 15962
103.19/103.68 c #Conflicts: 137000 | #Constraints: 16962
103.19/103.68 c #Conflicts: 138000 | #Constraints: 17962
103.19/103.68 c #Conflicts: 139000 | #Constraints: 18962
103.19/103.68 c #Conflicts: 140000 | #Constraints: 19962
103.19/103.68 c INPROCESSING
103.19/103.68 c GARBAGE COLLECT
103.19/103.68 c rational objective 77
124.62/125.16 c #Conflicts: 141000 | #Constraints: 12974
124.62/125.16 c #Conflicts: 142000 | #Constraints: 13975
124.62/125.16 c #Conflicts: 143000 | #Constraints: 14975
124.62/125.16 c #Conflicts: 144000 | #Constraints: 15975
124.62/125.16 c #Conflicts: 145000 | #Constraints: 16975
124.62/125.16 c #Conflicts: 146000 | #Constraints: 17975
124.62/125.16 c #Conflicts: 147000 | #Constraints: 18975
124.62/125.16 c #Conflicts: 148000 | #Constraints: 19975
124.62/125.16 c #Conflicts: 149000 | #Constraints: 20976
124.62/125.16 c #Conflicts: 150000 | #Constraints: 21976
124.62/125.16 c #Conflicts: 151000 | #Constraints: 22976
124.62/125.16 c #Conflicts: 152000 | #Constraints: 23976
124.62/125.16 c #Conflicts: 153000 | #Constraints: 24976
124.62/125.16 c #Conflicts: 154000 | #Constraints: 25976
124.62/125.16 c #Conflicts: 155000 | #Constraints: 26976
124.62/125.16 c #Conflicts: 156000 | #Constraints: 27976
124.62/125.16 c #Conflicts: 157000 | #Constraints: 28976
124.62/125.16 c #Conflicts: 158000 | #Constraints: 29976
124.62/125.16 c #Conflicts: 159000 | #Constraints: 30976
124.62/125.16 c #Conflicts: 160000 | #Constraints: 31977
124.62/125.16 c #Conflicts: 161000 | #Constraints: 32977
124.62/125.16 c #Conflicts: 162000 | #Constraints: 33977
124.62/125.16 c #Conflicts: 163000 | #Constraints: 34977
124.62/125.16 c #Conflicts: 164000 | #Constraints: 35977
124.62/125.16 c cpu time 121.808 s
124.62/125.16 c deterministic time 9433930062 9.43e+09
124.62/125.16 c optimization time 6.5e-05 s
124.62/125.16 c total solve time 121.758 s
124.62/125.16 c core-guided solve time 0 s
124.62/125.16 c propagation time 75.6684 s
124.62/125.16 c conflict analysis time 30.3235 s
124.62/125.16 c propagations 47561273
124.62/125.16 c resolve steps 4640480
124.62/125.16 c decisions 1121057
124.62/125.16 c conflicts 164331
124.62/125.16 c restarts 444
124.62/125.16 c inprocessing phases 26
124.62/125.16 c input clauses 4314
124.62/125.16 c input cardinalities 77
124.62/125.16 c input general constraints 0
124.62/125.16 c input average constraint length 6.01
124.62/125.16 c input average constraint degree 1.93
124.62/125.16 c learned clauses 106900
124.62/125.16 c learned cardinalities 6664
124.62/125.16 c learned general constraints 50787
124.62/125.16 c learned average constraint length 416.56
124.62/125.16 c learned average constraint degree 13224840.52
124.62/125.16 c watched constraints 38368
124.62/125.16 c counting constraints 12419
124.62/125.16 c gcd simplifications 320
124.62/125.16 c detected cardinalities 708
124.62/125.16 c weakened non-implied lits 16719585
124.62/125.16 c weakened non-implying lits 19338
124.62/125.16 c original variables 4235
124.62/125.16 c clausal propagations 20287992
124.62/125.16 c cardinality propagations 17166305
124.62/125.16 c watched propagations 2371947
124.62/125.16 c counting propagations 7113990
124.62/125.16 c watch lookups 787254841
124.62/125.16 c watch backjump lookups 609532120
124.62/125.16 c watch checks 5829173458
124.62/125.16 c propagation checks 1904754302
124.62/125.16 c constraint additions 205467299
124.62/125.16 c trail pops 48846038
124.62/125.16 c formula constraints 4391
124.62/125.16 c learned constraints 164311
124.62/125.16 c bound constraints 0
124.62/125.16 c core-guided constraints 0
124.62/125.16 c encountered formula constraints 3151125
124.62/125.16 c encountered learned constraints 1653543
124.62/125.16 c encountered bound constraints 0
124.62/125.16 c encountered core-guided constraints 0
124.62/125.16 c LP total time 42.3547 s
124.62/125.16 c LP solve time 41.98 s
124.62/125.16 c LP constraints added 5120
124.62/125.16 c LP constraints removed 704
124.62/125.16 c LP pivots internal 166592
124.62/125.16 c LP pivots root 53081
124.62/125.16 c LP calls 89
124.62/125.16 c LP optimalities 65
124.62/125.16 c LP no pivot count 7
124.62/125.16 c LP infeasibilities 20
124.62/125.16 c LP valid Farkas constraints 20
124.62/125.16 c LP learned Farkas constraints 20
124.62/125.16 c LP basis resets 0
124.62/125.16 c LP cycling count 0
124.62/125.16 c LP singular count 0
124.62/125.16 c LP no primal count 0
124.62/125.16 c LP no farkas count 0
124.62/125.16 c LP other issue count 0
124.62/125.16 c LP Gomory cuts 0
124.62/125.16 c LP learned cuts 729
124.62/125.16 c LP deleted cuts 704
124.62/125.16 c LP encountered Gomory constraints 0
124.62/125.16 c LP encountered Farkas constraints 92
124.62/125.16 c LP encountered learned Farkas constraints 31
124.62/125.16 c CG auxiliary variables introduced 0
124.62/125.16 c CG solutions found 0
124.62/125.16 c CG cores constructed 0
124.62/125.16 c CG core cardinality constraints returned 0
124.62/125.16 c CG unit cores 0
124.62/125.16 c CG single cores 0
124.62/125.16 c CG blocks removed during cardinality reduction 0
124.62/125.16 c CG first core best 0
124.62/125.16 c CG decision core best 0
124.62/125.16 c CG core reduction tie 0
124.62/125.16 c CG core degree average 0.00
124.62/125.16 c CG core slack average 0.00
124.62/125.16 s SATISFIABLE
124.62/125.16 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 (20857 MiB free)
memory of node 1: 64473 MiB (7387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460660-1722070044/watcher-4460660-1722070044 -o /tmp/evaluation-result-4460660-1722070044/solver-4460660-1722070044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722064837-315453 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460660-1722070044 --lp-cut-gomory=0 HOME/instance-4460660-1722070044.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=319074, runsolver pid=319071
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.20 4.16 4.17 5/261 319075
/proc/meminfo: memFree=28905540/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=44332 memory=13560 CPUtime=0.09 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 2274 0 0 0 7 2 0 0 20 0 1 0 42993325 45395968 3390 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 11083 3390 1700 992 0 2941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44332 KiB
Current children cumulated memory: 13560 KiB
[startup+0.207156 s]*
/proc/loadavg: 4.20 4.16 4.17 5/261 319075
/proc/meminfo: memFree=28896972/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=46144 memory=14880 CPUtime=0.19 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 2609 0 0 0 17 2 0 0 20 0 1 0 42993325 47251456 3720 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 11536 3720 1700 992 0 3394 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 14880 KiB
[startup+0.307032 s]*
/proc/loadavg: 4.20 4.16 4.17 7/261 319075
/proc/meminfo: memFree=28884608/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=46144 memory=14880 CPUtime=0.29 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 2623 0 0 0 27 2 0 0 20 0 1 0 42993325 47251456 3720 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 11536 3720 1700 992 0 3394 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 14880 KiB
[startup+0.70035 s]
/proc/loadavg: 4.20 4.16 4.17 7/261 319075
/proc/meminfo: memFree=28873640/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=46144 memory=15144 CPUtime=0.68 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 2713 0 0 0 65 3 0 0 20 0 1 0 42993325 47251456 3786 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 11536 3786 1700 992 0 3394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 15144 KiB
[startup+1.50034 s]
/proc/loadavg: 4.20 4.16 4.17 5/261 319075
/proc/meminfo: memFree=28851540/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=47320 memory=18624 CPUtime=1.47 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 3016 0 0 0 139 8 0 0 20 0 1 0 42993325 48455680 4656 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 11830 4656 1730 992 0 3688 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47320 KiB
Current children cumulated memory: 18624 KiB
[startup+3.1142 s]
/proc/loadavg: 4.18 4.16 4.17 5/261 319075
/proc/meminfo: memFree=28760004/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=48592 memory=20328 CPUtime=3.08 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 3326 0 0 0 295 13 0 0 20 0 1 0 42993325 49758208 5082 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 12148 5082 1835 992 0 4006 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48592 KiB
Current children cumulated memory: 20328 KiB
[startup+6.30032 s]
/proc/loadavg: 4.18 4.16 4.17 9/261 319075
/proc/meminfo: memFree=28549484/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=49928 memory=22968 CPUtime=6.26 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 3987 0 0 0 604 22 0 0 20 0 1 0 42993325 51126272 5742 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 12482 5742 1835 992 0 4340 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 22968 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.15 4.17 5/271 319087
/proc/meminfo: memFree=28076376/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=56868 memory=29920 CPUtime=12.63 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 5868 0 0 0 1225 38 0 0 20 0 1 0 42993325 58232832 7480 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 14217 7480 1835 992 0 6075 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 56868 KiB
Current children cumulated memory: 29920 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.16 5/271 319088
/proc/meminfo: memFree=27330160/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=63340 memory=36068 CPUtime=25.39 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 6954 0 0 0 2463 76 0 0 20 0 1 0 42993325 64860160 9017 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 15835 9017 1835 992 0 7693 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 63340 KiB
Current children cumulated memory: 36068 KiB
[startup+51.1148 s]
/proc/loadavg: 4.20 4.16 4.17 5/271 319093
/proc/meminfo: memFree=25777548/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=73168 memory=42580 CPUtime=50.9 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 8079 0 0 0 4950 140 0 0 20 0 1 0 42993325 74924032 10645 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 18292 10645 1835 992 0 10150 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 73168 KiB
Current children cumulated memory: 42580 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.17 4.17 5/272 319104
/proc/meminfo: memFree=22788024/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=195868 memory=129444 CPUtime=101.89 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 12916 0 0 0 9944 245 0 0 20 0 1 0 42993325 200568832 32361 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 48967 32361 1835 992 0 40825 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 129444 KiB
[startup+125.245 s]
# the end of solver process 319074 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=121.816 s, system=2.88522 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.21 4.17 4.17 5/272 319104
/proc/meminfo: memFree=22788024/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=195868 memory=129444 CPUtime=101.99 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 12916 0 0 0 9954 245 0 0 20 0 1 0 42993325 200568832 32361 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 48967 32361 1835 992 0 40825 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 129444 KiB
[startup+115.2 s]
/proc/loadavg: 4.23 4.18 4.18 5/272 319106
/proc/meminfo: memFree=22089892/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=197460 memory=130764 CPUtime=114.74 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 13255 0 0 0 11204 270 0 0 20 0 1 0 42993325 202199040 32691 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 49365 32691 1835 992 0 41223 0
Current children cumulated CPU time: 114.74 s
Current children cumulated vsize: 197460 KiB
Current children cumulated memory: 130764 KiB
[startup+121.6 s]
/proc/loadavg: 4.22 4.17 4.18 5/272 319108
/proc/meminfo: memFree=21756240/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=199376 memory=132868 CPUtime=121.12 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 13755 0 0 0 11830 282 0 0 20 0 1 0 42993325 204161024 33217 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 49844 33217 1835 992 0 41702 0
Current children cumulated CPU time: 121.12 s
Current children cumulated vsize: 199376 KiB
Current children cumulated memory: 132868 KiB
[startup+123.2 s]
/proc/loadavg: 4.20 4.17 4.17 5/272 319108
/proc/meminfo: memFree=21632328/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=200260 memory=133392 CPUtime=122.72 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 13911 0 0 0 11988 284 0 0 20 0 1 0 42993325 205066240 33348 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 50065 33348 1835 992 0 41923 0
Current children cumulated CPU time: 122.72 s
Current children cumulated vsize: 200260 KiB
Current children cumulated memory: 133392 KiB
[startup+124 s]*
/proc/loadavg: 4.20 4.17 4.17 5/272 319108
/proc/meminfo: memFree=21556976/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=200260 memory=133392 CPUtime=123.52 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 13921 0 0 0 12067 285 0 0 20 0 1 0 42993325 205066240 33348 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 50065 33348 1835 992 0 41923 0
Current children cumulated CPU time: 123.52 s
Current children cumulated vsize: 200260 KiB
Current children cumulated memory: 133392 KiB
[startup+124.8 s]
/proc/loadavg: 4.20 4.17 4.17 5/272 319108
/proc/meminfo: memFree=21556976/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=200396 memory=133644 CPUtime=124.3 cores=0,2
/proc/319074/stat : 319074 (roundingsat) R 319071 319074 315438 0 -1 4194304 14001 0 0 0 12144 286 0 0 20 0 1 0 42993325 205205504 33411 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 50099 33411 1835 992 0 41957 0
Current children cumulated CPU time: 124.3 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 133644 KiB
[startup+125.2 s]
/proc/loadavg: 4.20 4.17 4.17 5/272 319108
/proc/meminfo: memFree=21507432/131655788 swapFree=131066328/131071996
[pid=319074] ppid=319071 vsize=200528 memory=133908 CPUtime=124.68 cores=0,2
/proc/319074/stat : 319074 (roundingsat) D 319071 319074 315438 0 -1 4194304 14059 0 0 0 12181 287 0 0 20 0 1 0 42993325 205340672 33477 134679101440 4194304 8254357 140726313052624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 3 0 0 9037040 9046032 40808448 140726313059163 140726313059425 140726313059425 140726313066441 0
/proc/319074/statm: 50132 33477 1835 992 0 41990 0
Current children cumulated CPU time: 124.68 s
Current children cumulated vsize: 200528 KiB
Current children cumulated memory: 133908 KiB
Child status: 0
Real time (s): 125.245
CPU time (s): 124.701
CPU user time (s): 121.816
CPU system time (s): 2.88522
CPU usage (%): 99.5657
Max. virtual memory (cumulated for all children) (KiB): 200528
Max. memory (cumulated for all children) (KiB): 133908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.816
system time used= 2.88522
maximum resident set size= 133908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14067
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= 3591
involuntary context switches= 882
# summary of solver processes directly reported to runsolver:
# pid: 319074
# total CPU time (s): 124.701
# total CPU user time (s): 121.816
# total CPU system time (s): 2.88522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.634927 second user time and 1.49477 second system time
The end
Begin job on nodeC004 at 2024-07-27 10:47:24
IDJOB=4460660
IDBENCH=158374
IDSOLVER=3086
FILE ID=nodeC004/4460660-1722070044
RUNJOBID= nodeC004-1722064837-315453
SLURM_JOB_ID= 8248106
Free space on /tmp= 723616 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-4460660-1722070044/watcher-4460660-1722070044 -o /tmp/evaluation-result-4460660-1722070044/solver-4460660-1722070044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722064837-315453 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460660-1722070044 --lp-cut-gomory=0 HOME/instance-4460660-1722070044.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1befa42a441a3881696e6fa0e11864f5
RANDOM SEED=1560775470
nodeC004.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 : 1197.287
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 : 6984.13
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 : 3522.621
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.36
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 : 2793.660
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 : 6984.13
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.483
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.36
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 : 3568.498
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 : 6984.13
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 : 3625.272
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.36
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.526
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 : 6984.13
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.390
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 28926152 kB
MemAvailable: 110410252 kB
Buffers: 373644 kB
Cached: 81830560 kB
SwapCached: 60 kB
Active: 2918456 kB
Inactive: 98935584 kB
Active(anon): 2376 kB
Inactive(anon): 19701188 kB
Active(file): 2916080 kB
Inactive(file): 79234396 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131066328 kB
Dirty: 1792088 kB
Writeback: 0 kB
AnonPages: 19645600 kB
Mapped: 126560 kB
Shmem: 53652 kB
KReclaimable: 351740 kB
Slab: 522152 kB
SReclaimable: 351740 kB
SUnreclaim: 170412 kB
KernelStack: 4256 kB
PageTables: 48700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 23185492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7800832 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: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723612 MiB
End job on nodeC004 at 2024-07-27 10:49:29