0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
298.88/300.12 c [STEP] preprocessing done, loading into solver
298.88/300.12 c [STEP] solving
298.88/300.12 c #variables 817 #constraints 472
298.88/300.12 c SMALL=int, LARGE=long long
298.88/300.12 d SCIPUB -31
298.88/300.12 c bounds - >= -400 @ 298.786
298.88/300.12 c stratification level: 0
302.65/303.98 c #Conflicts: 1000 | #Constraints: 1496
302.65/303.98 c #Conflicts: 2000 | #Constraints: 2496
302.65/303.98 c INPROCESSING
302.65/303.98 c GARBAGE COLLECT
302.65/303.98 c #Conflicts: 3000 | #Constraints: 2514
302.65/303.98 c #Conflicts: 4000 | #Constraints: 3514
302.65/303.98 c INPROCESSING
302.65/303.98 c GARBAGE COLLECT
302.65/303.98 c #Conflicts: 5000 | #Constraints: 2922
302.65/303.98 c #Conflicts: 6000 | #Constraints: 3922
302.65/303.98 c INPROCESSING
302.65/303.98 c GARBAGE COLLECT
302.65/303.98 c #Conflicts: 7000 | #Constraints: 2929
302.65/303.98 c #Conflicts: 8000 | #Constraints: 3929
302.65/303.98 c #Conflicts: 9000 | #Constraints: 4929
302.65/303.98 c INPROCESSING
302.65/303.98 c GARBAGE COLLECT
302.65/303.98 c bounds - >= -39 @ 302.511
302.65/303.98 c finalizing WCE round: reformulating cores
542.51/544.66 c #Conflicts: 10000 | #Constraints: 3646
542.51/544.66 c bounds -32 >= -39 @ 302.707
542.51/544.66 c #Conflicts: 11000 | #Constraints: 4646
542.51/544.66 c #Conflicts: 12000 | #Constraints: 5646
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 13000 | #Constraints: 4089
542.51/544.66 c #Conflicts: 14000 | #Constraints: 5089
542.51/544.66 c #Conflicts: 15000 | #Constraints: 6089
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 16000 | #Constraints: 4311
542.51/544.66 c #Conflicts: 17000 | #Constraints: 5311
542.51/544.66 c #Conflicts: 18000 | #Constraints: 6311
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 19000 | #Constraints: 4323
542.51/544.66 c #Conflicts: 20000 | #Constraints: 5323
542.51/544.66 c #Conflicts: 21000 | #Constraints: 6323
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 22000 | #Constraints: 4129
542.51/544.66 c #Conflicts: 23000 | #Constraints: 5129
542.51/544.66 c #Conflicts: 24000 | #Constraints: 6129
542.51/544.66 c #Conflicts: 25000 | #Constraints: 7129
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 26000 | #Constraints: 4729
542.51/544.66 c #Conflicts: 27000 | #Constraints: 5729
542.51/544.66 c #Conflicts: 28000 | #Constraints: 6729
542.51/544.66 c #Conflicts: 29000 | #Constraints: 7729
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 30000 | #Constraints: 5128
542.51/544.66 c #Conflicts: 31000 | #Constraints: 6128
542.51/544.66 c #Conflicts: 32000 | #Constraints: 7128
542.51/544.66 c #Conflicts: 33000 | #Constraints: 8128
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 34000 | #Constraints: 5330
542.51/544.66 c #Conflicts: 35000 | #Constraints: 6330
542.51/544.66 c #Conflicts: 36000 | #Constraints: 7330
542.51/544.66 c #Conflicts: 37000 | #Constraints: 8330
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 38000 | #Constraints: 5339
542.51/544.66 c #Conflicts: 39000 | #Constraints: 6339
542.51/544.66 c #Conflicts: 40000 | #Constraints: 7339
542.51/544.66 c #Conflicts: 41000 | #Constraints: 8339
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 42000 | #Constraints: 5145
542.51/544.66 c #Conflicts: 43000 | #Constraints: 6145
542.51/544.66 c #Conflicts: 44000 | #Constraints: 7145
542.51/544.66 c #Conflicts: 45000 | #Constraints: 8145
542.51/544.66 c #Conflicts: 46000 | #Constraints: 9145
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 47000 | #Constraints: 5741
542.51/544.66 c #Conflicts: 48000 | #Constraints: 6741
542.51/544.66 c #Conflicts: 49000 | #Constraints: 7741
542.51/544.66 c #Conflicts: 50000 | #Constraints: 8741
542.51/544.66 c #Conflicts: 51000 | #Constraints: 9741
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 52000 | #Constraints: 6142
542.51/544.66 c #Conflicts: 53000 | #Constraints: 7142
542.51/544.66 c #Conflicts: 54000 | #Constraints: 8142
542.51/544.66 c #Conflicts: 55000 | #Constraints: 9142
542.51/544.66 c #Conflicts: 56000 | #Constraints: 10142
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 57000 | #Constraints: 6344
542.51/544.66 c #Conflicts: 58000 | #Constraints: 7344
542.51/544.66 c #Conflicts: 59000 | #Constraints: 8344
542.51/544.66 c #Conflicts: 60000 | #Constraints: 9344
542.51/544.66 c #Conflicts: 61000 | #Constraints: 10344
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 62000 | #Constraints: 6342
542.51/544.66 c #Conflicts: 63000 | #Constraints: 7342
542.51/544.66 c #Conflicts: 64000 | #Constraints: 8342
542.51/544.66 c #Conflicts: 65000 | #Constraints: 9342
542.51/544.66 c #Conflicts: 66000 | #Constraints: 10342
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 67000 | #Constraints: 6144
542.51/544.66 c #Conflicts: 68000 | #Constraints: 7144
542.51/544.66 c #Conflicts: 69000 | #Constraints: 8144
542.51/544.66 c #Conflicts: 70000 | #Constraints: 9144
542.51/544.66 c #Conflicts: 71000 | #Constraints: 10144
542.51/544.66 c #Conflicts: 72000 | #Constraints: 11144
542.51/544.66 c INPROCESSING
542.51/544.66 c GARBAGE COLLECT
542.51/544.66 c #Conflicts: 73000 | #Constraints: 7209
542.51/544.66 c #Conflicts: 74000 | #Constraints: 8209
542.51/544.66 c #Conflicts: 75000 | #Constraints: 9209
542.51/544.66 c #Conflicts: 76000 | #Constraints: 10209
542.51/544.66 c #Conflicts: 77000 | #Constraints: 11209
542.51/544.66 c #Conflicts: 78000 | #Constraints: 12209
3600.04/3611.72 c #Conflicts: 79000 | #Constraints: 13209
3600.04/3611.72 c #Conflicts: 80000 | #Constraints: 14209
3600.04/3611.72 c #Conflicts: 81000 | #Constraints: 15209
3600.04/3611.72 c #Conflicts: 82000 | #Constraints: 16209
3600.04/3611.72 c #Conflicts: 83000 | #Constraints: 17209
3600.04/3611.72 c #Conflicts: 84000 | #Constraints: 18209
3600.04/3611.72 c #Conflicts: 85000 | #Constraints: 19209
3600.04/3611.72 c #Conflicts: 86000 | #Constraints: 20209
3600.04/3611.72 c #Conflicts: 87000 | #Constraints: 21209
3600.04/3611.72 c #Conflicts: 88000 | #Constraints: 22209
3600.04/3611.72 c #Conflicts: 89000 | #Constraints: 23209
3600.04/3611.72 c #Conflicts: 90000 | #Constraints: 24209
3600.04/3611.72 c #Conflicts: 91000 | #Constraints: 25209
3600.04/3611.72 c #Conflicts: 92000 | #Constraints: 26209
3600.04/3611.72 c #Conflicts: 93000 | #Constraints: 27209
3600.04/3611.72 c #Conflicts: 94000 | #Constraints: 28209
3600.04/3611.72 c #Conflicts: 95000 | #Constraints: 29209
3600.04/3611.72 c #Conflicts: 96000 | #Constraints: 30209
3600.04/3611.72 c INPROCESSING
3600.04/3611.72 c GARBAGE COLLECT
3600.04/3611.72 c #Conflicts: 97000 | #Constraints: 16586
3600.04/3611.72 c #Conflicts: 98000 | #Constraints: 17586
3600.04/3611.72 c #Conflicts: 99000 | #Constraints: 18586
3600.04/3611.72 c #Conflicts: 100000 | #Constraints: 19586
3600.04/3611.72 c #Conflicts: 101000 | #Constraints: 20586
3600.04/3611.72 c #Conflicts: 102000 | #Constraints: 21586
3600.04/3611.72 c #Conflicts: 103000 | #Constraints: 22586
3600.04/3611.72 c #Conflicts: 104000 | #Constraints: 23586
3600.04/3611.72 c #Conflicts: 105000 | #Constraints: 24586
3600.04/3611.72 c #Conflicts: 106000 | #Constraints: 25586
3600.04/3611.72 c #Conflicts: 107000 | #Constraints: 26586
3600.04/3611.72 c #Conflicts: 108000 | #Constraints: 27586
3600.04/3611.72 c #Conflicts: 109000 | #Constraints: 28586
3600.04/3611.72 c #Conflicts: 110000 | #Constraints: 29586
3600.04/3611.72 c #Conflicts: 111000 | #Constraints: 30586
3600.04/3611.72 c #Conflicts: 112000 | #Constraints: 31586
3600.04/3611.72 c #Conflicts: 113000 | #Constraints: 32586
3600.04/3611.72 c #Conflicts: 114000 | #Constraints: 33586
3600.04/3611.72 c #Conflicts: 115000 | #Constraints: 34586
3600.04/3611.72 c #Conflicts: 116000 | #Constraints: 35586
3600.04/3611.72 c #Conflicts: 117000 | #Constraints: 36586
3600.04/3611.72 c #Conflicts: 118000 | #Constraints: 37586
3600.04/3611.72 c #Conflicts: 119000 | #Constraints: 38586
3600.04/3611.72 c #Conflicts: 120000 | #Constraints: 39586
3600.04/3611.72 c #Conflicts: 121000 | #Constraints: 40586
3600.04/3611.72 c INPROCESSING
3600.04/3611.72 c GARBAGE COLLECT
3600.04/3611.72 c #Conflicts: 122000 | #Constraints: 29371
3600.04/3611.72 c #Conflicts: 123000 | #Constraints: 30371
3600.04/3611.72 c #Conflicts: 124000 | #Constraints: 31371
3600.04/3611.72 c #Conflicts: 125000 | #Constraints: 32371
3600.04/3611.72 c #Conflicts: 126000 | #Constraints: 33371
3600.04/3611.72 c #Conflicts: 127000 | #Constraints: 34371
3600.04/3611.72 c #Conflicts: 128000 | #Constraints: 35371
3600.04/3611.72 c #Conflicts: 129000 | #Constraints: 36371
3600.04/3611.72 c #Conflicts: 130000 | #Constraints: 37371
3600.04/3611.72 c #Conflicts: 131000 | #Constraints: 38371
3600.04/3611.72 c #Conflicts: 132000 | #Constraints: 39371
3600.04/3611.72 c #Conflicts: 133000 | #Constraints: 40371
3600.04/3611.72 c #Conflicts: 134000 | #Constraints: 41371
3600.04/3611.72 c #Conflicts: 135000 | #Constraints: 42371
3600.04/3611.72 c #Conflicts: 136000 | #Constraints: 43371
3600.04/3611.72 c Program interrupted by user.
3600.04/3611.72 c cpu time 3592.94 s
3600.04/3611.72 c deterministic time 163539024920 1.64e+11
3600.04/3611.72 c optimization time 1133.16 s
3600.04/3611.72 c total solve time 2161 s
3600.04/3611.72 c core-guided solve time 2161 s
3600.04/3611.72 c propagation time 3195.56 s
3600.04/3611.72 c conflict analysis time 90.0612 s
3600.04/3611.72 c propagations 24712478
3600.04/3611.72 c resolve steps 944628
3600.04/3611.72 c decisions 5046010
3600.04/3611.72 c conflicts 136393
3600.04/3611.72 c restarts 379
3600.04/3611.72 c inprocessing phases 21
3600.04/3611.72 c input clauses 456
3600.04/3611.72 c input cardinalities 28
3600.04/3611.72 c input general constraints 17
3600.04/3611.72 c input average constraint length 7.80
3600.04/3611.72 c input average constraint degree 3.03
3600.04/3611.72 c learned clauses 19718
3600.04/3611.72 c learned cardinalities 188
3600.04/3611.72 c learned general constraints 116487
3600.04/3611.72 c learned average constraint length 182.37
3600.04/3611.72 c learned average constraint degree 128103.06
3600.04/3611.72 c watched constraints 102757
3600.04/3611.72 c counting constraints 13747
3600.04/3611.72 c gcd simplifications 249
3600.04/3611.72 c detected cardinalities 2
3600.04/3611.72 c weakened non-implied lits 2058873
3600.04/3611.72 c weakened non-implying lits 2601
3600.04/3611.72 c original variables 1056
3600.04/3611.72 c clausal propagations 7369317
3600.04/3611.72 c cardinality propagations 5692042
3600.04/3611.72 c watched propagations 4115511
3600.04/3611.72 c counting propagations 7444129
3600.04/3611.72 c watch lookups 62232491989
3600.04/3611.72 c watch backjump lookups 61758771285
3600.04/3611.72 c watch checks 36010666660
3600.04/3611.72 c propagation checks 3427008260
3600.04/3611.72 c constraint additions 50433413
3600.04/3611.72 c trail pops 29894824
3600.04/3611.72 c formula constraints 472
3600.04/3611.72 c learned constraints 136393
3600.04/3611.72 c bound constraints 3
3600.04/3611.72 c core-guided constraints 26
3600.04/3611.72 c encountered formula constraints 731847
3600.04/3611.72 c encountered learned constraints 345364
3600.04/3611.72 c encountered bound constraints 1
3600.04/3611.72 c encountered core-guided constraints 3809
3600.04/3611.72 c LP total time 0 s
3600.04/3611.72 c LP solve time 0 s
3600.04/3611.72 c LP constraints added 0
3600.04/3611.72 c LP constraints removed 0
3600.04/3611.72 c LP pivots internal 0
3600.04/3611.72 c LP pivots root 0
3600.04/3611.72 c LP calls 0
3600.04/3611.72 c LP optimalities 0
3600.04/3611.72 c LP no pivot count 0
3600.04/3611.72 c LP infeasibilities 0
3600.04/3611.72 c LP valid Farkas constraints 0
3600.04/3611.72 c LP learned Farkas constraints 0
3600.04/3611.72 c LP basis resets 0
3600.04/3611.72 c LP cycling count 0
3600.04/3611.72 c LP singular count 0
3600.04/3611.72 c LP no primal count 0
3600.04/3611.72 c LP no farkas count 0
3600.04/3611.72 c LP other issue count 0
3600.04/3611.72 c LP Gomory cuts 0
3600.04/3611.72 c LP learned cuts 0
3600.04/3611.72 c LP deleted cuts 0
3600.04/3611.72 c LP encountered Gomory constraints 0
3600.04/3611.72 c LP encountered Farkas constraints 0
3600.04/3611.72 c LP encountered learned Farkas constraints 0
3600.04/3611.72 c CG auxiliary variables introduced 25
3600.04/3611.72 c CG solutions found 1
3600.04/3611.72 c CG cores constructed 1
3600.04/3611.72 c CG core cardinality constraints returned 0
3600.04/3611.72 c CG unit cores 0
3600.04/3611.72 c CG single cores 1
3600.04/3611.72 c CG blocks removed during cardinality reduction 0
3600.04/3611.72 c CG first core best 0
3600.04/3611.72 c CG decision core best 0
3600.04/3611.72 c CG core reduction tie 0
3600.04/3611.72 c CG core degree average 1.00
3600.04/3611.72 c CG core slack average 20.00
3600.04/3611.72 c CG exhausted 0
3600.04/3611.72 c CG exhaust time 0.154347 s
3600.04/3611.72 c CG trimmed 0
3600.04/3611.72 c CG trim time 5.5e-05 s
3600.04/3611.72 c CG minimized 0
3600.04/3611.72 c CG minimize time 0 s
3600.04/3611.72 c CG am1 prop time 0.000816 s
3600.04/3611.72 c CG # am1s reformulated 24
3600.04/3611.72 c CG lower bound derived from am1s 360
3600.04/3611.72 c CG # clausal cores 1
3600.04/3611.72 c CG # cardinality cores 0
3600.04/3611.72 c CG # pb cores 0
3600.04/3611.72 c CG # pb reforms 0
3600.04/3611.72 c CG # cores discarded because of pb reform 0
3600.04/3611.72 d LOWERBOUND -39
3600.04/3611.72 d NCORES 1
3600.04/3611.72 d NPBCORES 0
3600.04/3611.72 d NPBREFORM 0
3600.04/3611.72 d NTRIMMED 0
3600.04/3611.72 d NEXHAUSTED 0
3600.04/3611.72 d NAM1S 24
3600.04/3611.72 d AM1LB 360
3600.04/3611.72 c [Papilo Statistics]
3600.04/3611.72 c prepro time 0.00280964s
3600.04/3611.72 c # tsx applied 256
3600.04/3611.72 c # tsx conflicts 1680
3600.04/3611.72 c # bound changes 240
3600.04/3611.72 c # side changes 0
3600.04/3611.72 c # coef changes 16
3600.04/3611.72 c # rounds 3
3600.04/3611.72 c # deted vars 240
3600.04/3611.72 c # deted constrs 16
3600.04/3611.72 c # consecutive rounds of only bound changes 0
3600.04/3611.72 c [STEP] postprocessing with Papilo
3600.04/3611.72 o -32
3600.04/3611.72 s SATISFIABLE
3600.04/3611.72 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
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: 64059 MiB (50742 MiB free)
memory of node 1: 64510 MiB (56020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458478-1721876265/watcher-4458478-1721876265 -o /tmp/evaluation-result-4458478-1721876265/solver-4458478-1721876265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265037 --watchdog 3760 mixed-bag HOME/instance-4458478-1721876265.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=266559, runsolver pid=266556
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.15 4.19 4.17 5/243 266560
/proc/meminfo: memFree=109307316/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=102852 memory=33636 CPUtime=0.1 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 4786 0 0 0 10 0 0 0 20 0 1 0 23615836 105320448 8409 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 25713 8409 4088 3002 0 9462 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102852 KiB
Current children cumulated memory: 33636 KiB
[startup+0.21348 s]*
/proc/loadavg: 4.15 4.19 4.17 5/243 266560
/proc/meminfo: memFree=109301868/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=107684 memory=38644 CPUtime=0.21 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 6614 0 0 0 21 0 0 0 20 0 1 0 23615836 110268416 9661 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 26921 9661 4119 3002 0 10670 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107684 KiB
Current children cumulated memory: 38644 KiB
[startup+0.313327 s]*
/proc/loadavg: 4.15 4.19 4.17 5/243 266560
/proc/meminfo: memFree=109301868/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=107684 memory=38644 CPUtime=0.31 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 6615 0 0 0 31 0 0 0 20 0 1 0 23615836 110268416 9661 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 26921 9661 4119 3002 0 10670 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107684 KiB
Current children cumulated memory: 38644 KiB
[startup+0.700282 s]
/proc/loadavg: 4.15 4.19 4.17 5/243 266560
/proc/meminfo: memFree=109300080/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=110844 memory=41544 CPUtime=0.68 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 7379 0 0 0 68 0 0 0 20 0 1 0 23615836 113504256 10386 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 27711 10386 4119 3002 0 11460 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110844 KiB
Current children cumulated memory: 41544 KiB
[startup+1.50029 s]
/proc/loadavg: 4.15 4.19 4.17 5/243 266560
/proc/meminfo: memFree=109291660/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=120084 memory=49844 CPUtime=1.48 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 9644 0 0 0 147 1 0 0 20 0 1 0 23615836 122966016 12461 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 30021 12461 4119 3002 0 13770 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 49844 KiB
[startup+3.1129 s]
/proc/loadavg: 4.15 4.19 4.17 5/243 266560
/proc/meminfo: memFree=109281528/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=123724 memory=53272 CPUtime=3.08 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 10559 0 0 0 307 1 0 0 20 0 1 0 23615836 126693376 13318 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 30931 13318 4119 3002 0 14680 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123724 KiB
Current children cumulated memory: 53272 KiB
[startup+6.3003 s]
/proc/loadavg: 4.22 4.21 4.17 5/243 266560
/proc/meminfo: memFree=109266544/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=132040 memory=61980 CPUtime=6.27 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 12685 0 0 0 625 2 0 0 20 0 1 0 23615836 135208960 15495 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 33010 15495 4119 3002 0 16759 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132040 KiB
Current children cumulated memory: 61980 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.20 4.17 5/243 266562
/proc/meminfo: memFree=109244680/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=139760 memory=70684 CPUtime=12.64 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 17803 0 0 0 1261 3 0 0 20 0 1 0 23615836 143114240 17671 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 34940 17671 4119 3002 0 18689 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 139760 KiB
Current children cumulated memory: 70684 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.19 4.17 5/243 266564
/proc/meminfo: memFree=109219580/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=153856 memory=83780 CPUtime=25.39 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 24570 0 0 0 2535 4 0 0 20 0 1 0 23615836 157548544 20945 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 38464 20945 4119 3002 0 22213 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 153856 KiB
Current children cumulated memory: 83780 KiB
[startup+51.1136 s]
/proc/loadavg: 4.18 4.19 4.17 5/245 266738
/proc/meminfo: memFree=109188608/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=167212 memory=97400 CPUtime=50.91 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 29457 0 0 0 5086 5 0 0 20 0 1 0 23615836 171225088 24350 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 41803 24350 4119 3002 0 25552 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 167212 KiB
Current children cumulated memory: 97400 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/245 266747
/proc/meminfo: memFree=109134888/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=193472 memory=124416 CPUtime=101.89 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 38658 0 0 0 10182 7 0 0 20 0 1 0 23615836 198115328 31104 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 48368 31104 4119 3002 0 32117 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 193472 KiB
Current children cumulated memory: 124416 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 266758
/proc/meminfo: memFree=109105716/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=214952 memory=144512 CPUtime=161.64 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 44248 0 0 0 16156 8 0 0 20 0 1 0 23615836 220110848 36128 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 53738 36128 4119 3002 0 37487 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 214952 KiB
Current children cumulated memory: 144512 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/243 266782
/proc/meminfo: memFree=109055764/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=230372 memory=160164 CPUtime=221.39 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 48730 0 0 0 22130 9 0 0 20 0 1 0 23615836 235900928 40041 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 57593 40041 4119 3002 0 41342 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 160164 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/243 266792
/proc/meminfo: memFree=109027512/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=242672 memory=173628 CPUtime=281.14 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 52544 0 1 0 28104 10 0 0 20 0 1 0 23615836 248496128 43407 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 60668 43407 4119 3002 0 44417 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 242672 KiB
Current children cumulated memory: 173628 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/243 266803
/proc/meminfo: memFree=109002384/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=248436 memory=188484 CPUtime=340.93 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 58201 0 1 0 34010 83 0 0 20 0 1 0 23615836 254398464 47121 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 62109 47121 4375 3002 0 45858 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 248436 KiB
Current children cumulated memory: 188484 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/241 266813
/proc/meminfo: memFree=108955176/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=255616 memory=192648 CPUtime=400.72 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 58777 0 1 0 39927 145 0 0 20 0 1 0 23615836 261750784 48162 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 63904 48162 4375 3002 0 47653 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 255616 KiB
Current children cumulated memory: 192648 KiB
[startup+462.3 s]
/proc/loadavg: 4.67 4.29 4.20 5/241 266823
/proc/meminfo: memFree=108931776/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=255616 memory=195356 CPUtime=460.5 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 58812 0 1 0 45861 189 0 0 20 0 1 0 23615836 261750784 48839 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
################
# More data... #
################
Current children cumulated memory: 242608 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/241 268240
/proc/meminfo: memFree=108187436/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=2912.72 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 63522 0 1 0 290630 642 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/241 268250
/proc/meminfo: memFree=108176664/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=2972.53 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 63613 0 1 0 296605 648 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 2972.53 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/242 268261
/proc/meminfo: memFree=108158672/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3032.35 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 63703 0 1 0 302579 656 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3032.35 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/242 268271
/proc/meminfo: memFree=108150308/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3092.17 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 63794 0 1 0 308555 662 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/242 268282
/proc/meminfo: memFree=108142512/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3151.99 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 63888 0 1 0 314531 668 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.20 4.15 5/245 268298
/proc/meminfo: memFree=108132640/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3211.81 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 63981 0 1 0 320508 673 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3211.81 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.53 4.28 4.18 5/245 268354
/proc/meminfo: memFree=108420732/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3271.62 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64075 0 1 0 326483 679 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.25 4.18 5/245 268365
/proc/meminfo: memFree=107278684/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3331.44 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64170 0 1 0 332459 685 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3331.44 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/246 268379
/proc/meminfo: memFree=107274584/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=242608 CPUtime=3391.26 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64261 0 1 0 338435 691 0 0 20 0 1 0 23615836 324689920 60652 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 60652 4375 3002 0 63019 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 242608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/246 268389
/proc/meminfo: memFree=107271716/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=244656 CPUtime=3451.08 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64362 0 1 0 344413 695 0 0 20 0 1 0 23615836 324689920 61164 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 61164 4375 3002 0 63019 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 244656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/247 268785
/proc/meminfo: memFree=107262640/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=244656 CPUtime=3510.91 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64457 0 1 0 350389 702 0 0 20 0 1 0 23615836 324689920 61164 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 61164 4375 3002 0 63019 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 244656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.16 5/247 268795
/proc/meminfo: memFree=107250332/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=246704 CPUtime=3570.73 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64553 0 1 0 356365 708 0 0 20 0 1 0 23615836 324689920 61676 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 61676 4375 3002 0 63019 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 246704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.09 4.16 4.16 6/247 268846
/proc/meminfo: memFree=106896324/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=246704 CPUtime=3600.04 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64554 0 1 0 359292 712 0 0 20 0 1 0 23615836 324689920 61676 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 61676 4375 3002 0 63019 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 246704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.72 s]
# the end of solver process 266559 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.95 s, system=7.12223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.09 4.16 4.16 6/247 268846
/proc/meminfo: memFree=106896324/131655788 swapFree=131070704/131071996
[pid=266559] ppid=266556 vsize=317080 memory=246704 CPUtime=3600.04 cores=0,2
/proc/266559/stat : 266559 (mixed-bag) R 266556 266559 265027 0 -1 4194304 64554 0 1 0 359292 712 0 0 20 0 1 0 23615836 324689920 61676 134679101440 4194304 16488053 140721993698560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 43921408 140721993704471 140721993704548 140721993704548 140721993711563 0
/proc/266559/statm: 79270 61676 4375 3002 0 63019 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 317080 KiB
Current children cumulated memory: 246704 KiB
Child status: 0
Real time (s): 3611.72
CPU time (s): 3600.07
CPU user time (s): 3592.95
CPU system time (s): 7.12223
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 317080
Max. memory (cumulated for all children) (KiB): 246704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.95
system time used= 7.12223
maximum resident set size= 247084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64576
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 24661
# summary of solver processes directly reported to runsolver:
# pid: 266559
# total CPU time (s): 3600.07
# total CPU user time (s): 3592.95
# total CPU system time (s): 7.12223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2963 second user time and 36.5416 second system time
The end
Begin job on nodeC008 at 2024-07-25 04:57:45
IDJOB=4458478
IDBENCH=177485
IDSOLVER=3083
FILE ID=nodeC008/4458478-1721876265
RUNJOBID= nodeC008-1721875931-265037
SLURM_JOB_ID= 8089228
Free space on /tmp= 723720 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458478-1721876265/watcher-4458478-1721876265 -o /tmp/evaluation-result-4458478-1721876265/solver-4458478-1721876265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265037 --watchdog 3760 mixed-bag HOME/instance-4458478-1721876265.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=1936121471
nodeC008.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 : 2593.781
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.19
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 : 3670.915
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.33
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.121
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.19
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.233
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.33
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 : 3658.122
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.19
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 : 3549.826
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.33
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.139
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.19
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.322
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109325484 kB
MemAvailable: 129351772 kB
Buffers: 296844 kB
Cached: 20491028 kB
SwapCached: 732 kB
Active: 2726752 kB
Inactive: 18897020 kB
Active(anon): 1644 kB
Inactive(anon): 888124 kB
Active(file): 2725108 kB
Inactive(file): 18008896 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 33244 kB
Writeback: 36 kB
AnonPages: 834992 kB
Mapped: 135708 kB
Shmem: 53860 kB
KReclaimable: 264628 kB
Slab: 384456 kB
SReclaimable: 264628 kB
SUnreclaim: 119828 kB
KernelStack: 3856 kB
PageTables: 11092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1287904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723688 MiB
End job on nodeC008 at 2024-07-25 05:57:57