0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/1.35 c #variables 776 #constraints 867
0.65/2.06 c bounds - >= -474 @ 0.002531
0.65/2.06 c bounds 37 >= -474 @ 0.060643
0.65/2.06 c bounds 37 >= -470 @ 0.0608
0.65/2.06 c bounds 37 >= -466 @ 0.06089
0.65/2.06 c bounds 37 >= -462 @ 0.061388
0.65/2.06 c bounds 37 >= -458 @ 0.061512
0.65/2.06 c bounds 37 >= -454 @ 0.06167
0.65/2.06 c bounds 36 >= -454 @ 0.166204
0.65/2.06 c bounds 35 >= -454 @ 0.167692
0.65/2.06 c bounds 34 >= -454 @ 0.174702
0.65/2.06 c bounds 33 >= -454 @ 0.180071
0.65/2.06 c bounds 32 >= -454 @ 0.191448
0.65/2.06 c bounds 30 >= -454 @ 0.202454
0.65/2.06 c bounds 29 >= -454 @ 0.211389
0.65/2.06 c bounds 27 >= -454 @ 0.218646
0.65/2.06 c bounds 26 >= -454 @ 0.228852
0.65/2.06 c bounds 24 >= -454 @ 0.238465
0.65/2.06 c bounds 24 >= -451 @ 0.238559
0.65/2.06 c bounds 24 >= -448 @ 0.238716
0.65/2.06 c bounds 24 >= -442 @ 0.238919
0.65/2.06 c bounds 24 >= -436 @ 0.239111
0.65/2.06 c bounds 23 >= -436 @ 0.272818
0.65/2.06 c bounds 23 >= -433 @ 0.273028
0.65/2.06 c bounds 23 >= -430 @ 0.273203
0.65/2.06 c bounds 23 >= -427 @ 0.273492
0.65/2.06 c bounds 23 >= -424 @ 0.273784
0.65/2.06 c bounds 23 >= -418 @ 0.274107
0.65/2.06 c bounds 23 >= -412 @ 0.274603
0.65/2.06 c bounds 23 >= -409 @ 0.274939
0.65/2.06 c bounds 23 >= -406 @ 0.275301
0.65/2.06 c bounds 23 >= -403 @ 0.275371
0.65/2.06 c bounds 23 >= -400 @ 0.275371
0.65/2.06 c bounds 23 >= -397 @ 0.275371
0.65/2.06 c bounds 23 >= -394 @ 0.275728
0.65/2.06 c bounds 23 >= -391 @ 0.276141
0.65/2.06 c bounds 23 >= -388 @ 0.27654
0.65/2.06 c bounds 23 >= -385 @ 0.277071
0.65/2.06 c bounds 23 >= -382 @ 0.277609
0.65/2.06 c bounds 23 >= -379 @ 0.278173
0.65/2.06 c bounds 23 >= -376 @ 0.278368
0.65/2.06 c bounds 23 >= -373 @ 0.279652
0.65/2.06 c bounds 23 >= -370 @ 0.28173
0.65/2.06 c bounds 23 >= -367 @ 0.299128
0.65/2.06 c #Conflicts: 1000 | #Constraints: 2038
0.65/2.06 c bounds 22 >= -367 @ 0.341875
0.65/2.06 c bounds 22 >= -364 @ 0.362052
0.65/2.06 c bounds 21 >= -364 @ 0.370828
0.65/2.06 c bounds 19 >= -364 @ 0.381306
0.65/2.06 c bounds 18 >= -364 @ 0.435466
0.65/2.06 c bounds 17 >= -364 @ 0.483482
0.65/2.06 c bounds 16 >= -364 @ 0.517663
0.65/2.06 c bounds 16 >= -360 @ 0.517775
0.65/2.06 c bounds 16 >= -358 @ 0.517775
0.65/2.06 c bounds 16 >= -354 @ 0.517775
0.65/2.06 c bounds 16 >= -352 @ 0.517928
0.65/2.06 c bounds 16 >= -348 @ 0.518659
0.65/2.06 c bounds 16 >= -346 @ 0.518773
0.65/2.06 c bounds 16 >= -344 @ 0.518773
0.65/2.06 c bounds 16 >= -342 @ 0.518773
0.65/2.06 c bounds 16 >= -340 @ 0.51898
0.65/2.06 c bounds 16 >= -336 @ 0.51944
0.65/2.06 c bounds 16 >= -334 @ 0.519822
0.65/2.06 c bounds 16 >= -332 @ 0.520305
0.65/2.06 c bounds 16 >= -330 @ 0.520682
0.65/2.06 c bounds 16 >= -328 @ 0.520765
0.65/2.06 c bounds 16 >= -326 @ 0.520765
0.65/2.06 c bounds 16 >= -324 @ 0.521179
0.65/2.06 c bounds 16 >= -322 @ 0.521598
0.65/2.06 c bounds 16 >= -320 @ 0.52213
0.65/2.06 c bounds 16 >= -318 @ 0.522675
0.65/2.06 c bounds 16 >= -316 @ 0.52276
0.65/2.06 c bounds 16 >= -314 @ 0.522969
0.65/2.06 c bounds 16 >= -312 @ 0.523403
0.65/2.06 c bounds 16 >= -310 @ 0.523781
0.65/2.06 c bounds 16 >= -308 @ 0.52427
0.65/2.06 c bounds 16 >= -306 @ 0.525182
0.65/2.06 c bounds 16 >= -302 @ 0.525912
0.65/2.06 c bounds 16 >= -300 @ 0.526572
0.65/2.06 c bounds 16 >= -298 @ 0.527467
0.65/2.06 c bounds 16 >= -296 @ 0.527748
0.65/2.06 c bounds 16 >= -294 @ 0.528097
0.65/2.06 c bounds 16 >= -292 @ 0.528772
0.65/2.06 c bounds 16 >= -290 @ 0.529444
0.65/2.06 c bounds 16 >= -288 @ 0.530547
0.65/2.06 c bounds 16 >= -286 @ 0.542805
0.65/2.06 c bounds 15 >= -286 @ 0.558441
0.65/2.06 c bounds 15 >= -284 @ 0.568214
0.65/2.06 c #Conflicts: 2000 | #Constraints: 3247
0.65/2.06 c INPROCESSING
0.65/2.06 c GARBAGE COLLECT
0.65/2.06 c rational objective 0
1.23/2.61 c bounds 15 >= -282 @ 0.678006
1.23/2.61 c bounds 15 >= -280 @ 0.679719
1.23/2.61 c bounds 15 >= -278 @ 0.680506
1.23/2.61 c bounds 15 >= -276 @ 0.681523
1.23/2.61 c bounds 15 >= -274 @ 0.685527
1.23/2.61 c bounds 15 >= -272 @ 0.719589
1.23/2.61 c bounds 14 >= -272 @ 0.731047
1.23/2.61 c bounds 13 >= -272 @ 0.747259
1.23/2.61 c bounds 13 >= -270 @ 0.813863
1.23/2.61 c bounds 11 >= -270 @ 0.830103
1.23/2.61 c #Conflicts: 3000 | #Constraints: 3268
1.23/2.61 c bounds 10 >= -270 @ 0.946901
1.23/2.61 c bounds 10 >= -268 @ 1.09039
1.23/2.61 c #Conflicts: 4000 | #Constraints: 4302
1.23/2.61 c INPROCESSING
1.23/2.61 c GARBAGE COLLECT
1.23/2.61 c rational objective 0
1.74/3.11 c #Conflicts: 5000 | #Constraints: 3675
1.74/3.11 c bounds 10 >= -266 @ 1.47958
1.74/3.11 c #Conflicts: 6000 | #Constraints: 4698
1.74/3.11 c bounds 9 >= -266 @ 1.60665
1.74/3.11 c INPROCESSING
1.74/3.11 c GARBAGE COLLECT
1.74/3.11 c rational objective 0
2.33/3.79 c #Conflicts: 7000 | #Constraints: 3711
2.33/3.79 c bounds 8 >= -266 @ 1.92997
2.33/3.79 c #Conflicts: 8000 | #Constraints: 4740
2.33/3.79 c #Conflicts: 9000 | #Constraints: 5740
2.33/3.79 c INPROCESSING
2.33/3.79 c GARBAGE COLLECT
2.33/3.79 c rational objective 0
3.23/4.60 c bounds 7 >= -266 @ 2.33532
3.23/4.60 c bounds 6 >= -266 @ 2.39906
3.23/4.60 c bounds 5 >= -266 @ 2.43739
3.23/4.60 c #Conflicts: 10000 | #Constraints: 4489
3.23/4.60 c bounds 4 >= -266 @ 2.50262
3.23/4.60 c #Conflicts: 11000 | #Constraints: 5502
3.23/4.60 c #Conflicts: 12000 | #Constraints: 6511
3.23/4.60 c INPROCESSING
3.23/4.60 c GARBAGE COLLECT
3.23/4.60 c rational objective 0
3.83/5.25 c bounds 4 >= -263 @ 3.0837
3.83/5.25 c bounds 4 >= -260 @ 3.08392
3.83/5.25 c bounds 4 >= -258 @ 3.08392
3.83/5.25 c bounds 4 >= -255 @ 3.08392
3.83/5.25 c bounds 4 >= -254 @ 3.08392
3.83/5.25 c bounds 4 >= -253 @ 3.0842
3.83/5.25 c bounds 4 >= -252 @ 3.08447
3.83/5.25 c bounds 4 >= -251 @ 3.08476
3.83/5.25 c bounds 4 >= -248 @ 3.08492
3.83/5.25 c bounds 4 >= -247 @ 3.08492
3.83/5.25 c bounds 4 >= -244 @ 3.08492
3.83/5.25 c bounds 4 >= -241 @ 3.08495
3.83/5.25 c bounds 4 >= -240 @ 3.08529
3.83/5.25 c bounds 4 >= -239 @ 3.0856
3.83/5.25 c bounds 4 >= -236 @ 3.0859
3.83/5.25 c bounds 4 >= -235 @ 3.08625
3.83/5.25 c bounds 4 >= -234 @ 3.08664
3.83/5.25 c bounds 4 >= -232 @ 3.08694
3.83/5.25 c bounds 4 >= -231 @ 3.08729
3.83/5.25 c bounds 4 >= -230 @ 3.08766
3.83/5.25 c bounds 4 >= -229 @ 3.08803
3.83/5.25 c bounds 4 >= -228 @ 3.08839
3.83/5.25 c bounds 4 >= -227 @ 3.08875
3.83/5.25 c bounds 4 >= -226 @ 3.08891
3.83/5.25 c bounds 4 >= -225 @ 3.08891
3.83/5.25 c bounds 4 >= -224 @ 3.08891
3.83/5.25 c bounds 4 >= -222 @ 3.08891
3.83/5.25 c bounds 4 >= -221 @ 3.08891
3.83/5.25 c bounds 4 >= -220 @ 3.08899
3.83/5.25 c bounds 4 >= -219 @ 3.08934
3.83/5.25 c bounds 4 >= -216 @ 3.0897
3.83/5.25 c bounds 4 >= -213 @ 3.0899
3.83/5.25 c bounds 4 >= -211 @ 3.0899
3.83/5.25 c bounds 4 >= -208 @ 3.0899
3.83/5.25 c bounds 4 >= -205 @ 3.09022
3.83/5.25 c bounds 4 >= -204 @ 3.09062
3.83/5.25 c bounds 4 >= -203 @ 3.09102
3.83/5.25 c bounds 4 >= -202 @ 3.0914
3.83/5.25 c bounds 4 >= -199 @ 3.09179
3.83/5.25 c bounds 4 >= -196 @ 3.09217
3.83/5.25 c bounds 4 >= -195 @ 3.09262
3.83/5.25 c bounds 4 >= -193 @ 3.0929
3.83/5.25 c bounds 4 >= -192 @ 3.0929
3.83/5.25 c bounds 4 >= -191 @ 3.0929
3.83/5.25 c bounds 4 >= -190 @ 3.0929
3.83/5.25 c bounds 4 >= -188 @ 3.0929
3.83/5.25 c bounds 4 >= -186 @ 3.0929
3.83/5.25 c bounds 4 >= -185 @ 3.0929
3.83/5.25 c bounds 4 >= -184 @ 3.0929
3.83/5.25 c bounds 4 >= -183 @ 3.0929
3.83/5.25 c bounds 4 >= -181 @ 3.0929
3.83/5.25 c bounds 4 >= -180 @ 3.09295
3.83/5.25 c bounds 4 >= -178 @ 3.09334
3.83/5.25 c bounds 4 >= -177 @ 3.09369
3.83/5.25 c bounds 4 >= -176 @ 3.09402
3.83/5.25 c bounds 4 >= -175 @ 3.09436
3.83/5.25 c bounds 4 >= -173 @ 3.09468
3.83/5.25 c bounds 4 >= -172 @ 3.09489
3.83/5.25 c bounds 4 >= -171 @ 3.09489
3.83/5.25 c bounds 4 >= -170 @ 3.09489
3.83/5.25 c bounds 4 >= -169 @ 3.09495
3.83/5.25 c bounds 4 >= -168 @ 3.09529
3.83/5.25 c bounds 4 >= -167 @ 3.09565
3.83/5.25 c bounds 4 >= -166 @ 3.09602
3.83/5.25 c bounds 4 >= -165 @ 3.09635
3.83/5.25 c bounds 4 >= -164 @ 3.09667
3.83/5.25 c bounds 4 >= -163 @ 3.09699
3.83/5.25 c bounds 4 >= -162 @ 3.09742
3.83/5.25 c bounds 4 >= -161 @ 3.09786
3.83/5.25 c bounds 4 >= -160 @ 3.09792
3.83/5.25 c bounds 4 >= -159 @ 3.0986
3.83/5.25 c bounds 4 >= -158 @ 3.09888
3.83/5.25 c bounds 4 >= -157 @ 3.09915
3.83/5.25 c bounds 4 >= -156 @ 3.10017
3.83/5.25 c bounds 4 >= -155 @ 3.10066
3.83/5.25 c bounds 4 >= -154 @ 3.10117
3.83/5.25 c bounds 4 >= -153 @ 3.10189
3.83/5.25 c bounds 4 >= -152 @ 3.1154
3.83/5.25 c bounds 4 >= -151 @ 3.11739
3.83/5.25 c bounds 4 >= -150 @ 3.11782
3.83/5.25 c bounds 4 >= -149 @ 3.11843
3.83/5.25 c bounds 4 >= -148 @ 3.1193
3.83/5.25 c bounds 4 >= -147 @ 3.1212
3.83/5.25 c bounds 4 >= -146 @ 3.12422
3.83/5.25 c bounds 4 >= -145 @ 3.14262
3.83/5.25 c bounds 4 >= -144 @ 3.15466
3.83/5.25 c bounds 4 >= -143 @ 3.15472
3.83/5.25 c bounds 4 >= -142 @ 3.15474
3.83/5.25 c bounds 4 >= -141 @ 3.15624
3.83/5.25 c bounds 4 >= -140 @ 3.16074
3.83/5.25 c bounds 4 >= -139 @ 3.16139
3.83/5.25 c bounds 4 >= -138 @ 3.16231
3.83/5.25 c bounds 4 >= -137 @ 3.16341
3.83/5.25 c bounds 4 >= -136 @ 3.167
3.83/5.25 c bounds 4 >= -135 @ 3.18962
3.83/5.25 c bounds 4 >= -134 @ 3.23184
3.83/5.25 c #Conflicts: 13000 | #Constraints: 5494
3.83/5.25 c bounds 4 >= -133 @ 3.31355
3.83/5.25 c #Conflicts: 14000 | #Constraints: 6535
3.83/5.25 c bounds 4 >= -132 @ 3.49956
3.83/5.25 c bounds 4 >= -131 @ 3.64141
3.83/5.25 c #Conflicts: 15000 | #Constraints: 7590
3.83/5.25 c INPROCESSING
3.83/5.25 c GARBAGE COLLECT
3.83/5.25 c rational objective 0
4.82/6.27 c #Conflicts: 16000 | #Constraints: 5786
4.82/6.27 c #Conflicts: 17000 | #Constraints: 6801
4.82/6.27 c #Conflicts: 18000 | #Constraints: 7820
4.82/6.27 c INPROCESSING
4.82/6.27 c GARBAGE COLLECT
4.82/6.27 c rational objective 0
5.53/7.00 c bounds 4 >= -130 @ 4.68998
5.53/7.00 c bounds 4 >= -129 @ 4.70769
5.53/7.00 c bounds 4 >= -128 @ 4.73841
5.53/7.00 c bounds 4 >= -127 @ 4.76789
5.53/7.00 c #Conflicts: 19000 | #Constraints: 5896
5.53/7.00 c bounds 4 >= -126 @ 4.86313
5.53/7.00 c #Conflicts: 20000 | #Constraints: 6922
5.53/7.00 c bounds 4 >= -125 @ 5.14939
5.53/7.00 c #Conflicts: 21000 | #Constraints: 7948
5.53/7.00 c bounds 4 >= -124 @ 5.28332
5.53/7.00 c INPROCESSING
5.53/7.00 c GARBAGE COLLECT
5.53/7.00 c rational objective 0
9.32/10.75 c #Conflicts: 22000 | #Constraints: 5794
9.32/10.75 c bounds 4 >= -123 @ 5.62316
9.32/10.75 c #Conflicts: 23000 | #Constraints: 6820
9.32/10.75 c #Conflicts: 24000 | #Constraints: 7820
9.32/10.75 c #Conflicts: 25000 | #Constraints: 8820
9.32/10.75 c #Conflicts: 26000 | #Constraints: 9820
9.32/10.75 c bounds 4 >= -122 @ 6.87672
9.32/10.75 c #Conflicts: 27000 | #Constraints: 10852
9.32/10.75 c #Conflicts: 28000 | #Constraints: 11871
9.32/10.75 c #Conflicts: 29000 | #Constraints: 12887
9.32/10.75 c bounds 3 >= -122 @ 7.89994
9.32/10.75 c #Conflicts: 30000 | #Constraints: 13905
9.32/10.75 c bounds 3 >= -121 @ 7.97871
9.32/10.75 c #Conflicts: 31000 | #Constraints: 14931
9.32/10.75 c #Conflicts: 32000 | #Constraints: 15931
9.32/10.75 c bounds 3 >= -120 @ 8.53113
9.32/10.75 c #Conflicts: 33000 | #Constraints: 16964
9.32/10.75 c INPROCESSING
9.32/10.75 c GARBAGE COLLECT
9.32/10.75 c rational objective 0
11.21/12.64 c #Conflicts: 34000 | #Constraints: 10463
11.21/12.64 c #Conflicts: 35000 | #Constraints: 11463
11.21/12.64 c #Conflicts: 36000 | #Constraints: 12463
11.21/12.64 c #Conflicts: 37000 | #Constraints: 13463
11.21/12.64 c bounds 3 >= -119 @ 10.5755
11.21/12.64 c bounds 2 >= -119 @ 10.6599
11.21/12.64 c #Conflicts: 38000 | #Constraints: 14513
11.21/12.64 c INPROCESSING
11.21/12.64 c GARBAGE COLLECT
11.21/12.64 c rational objective 0
14.49/15.99 c #Conflicts: 39000 | #Constraints: 9428
14.49/15.99 c bounds 1 >= -119 @ 11.0381
14.49/15.99 c #Conflicts: 40000 | #Constraints: 10459
14.49/15.99 c #Conflicts: 41000 | #Constraints: 11474
14.49/15.99 c #Conflicts: 42000 | #Constraints: 12480
14.49/15.99 c bounds 0 >= -119 @ 12.1081
14.49/15.99 c #Conflicts: 43000 | #Constraints: 13495
14.49/15.99 c #Conflicts: 44000 | #Constraints: 14509
14.49/15.99 c #Conflicts: 45000 | #Constraints: 15517
14.49/15.99 c #Conflicts: 46000 | #Constraints: 16524
14.49/15.99 c bounds 0 >= -119 @ 13.9682
14.49/15.99 c cpu time 13.9684 s
14.49/15.99 c deterministic time 1291072696 1.29e+09
14.49/15.99 c optimization time 0.015298 s
14.49/15.99 c total solve time 13.9506 s
14.49/15.99 c core-guided solve time 6.26527 s
14.49/15.99 c propagation time 10.4191 s
14.49/15.99 c conflict analysis time 2.64226 s
14.49/15.99 c propagations 3602157
14.49/15.99 c resolve steps 320791
14.49/15.99 c decisions 334438
14.49/15.99 c conflicts 46214
14.49/15.99 c restarts 136
14.49/15.99 c inprocessing phases 10
14.49/15.99 c input clauses 1086
14.49/15.99 c input cardinalities 351
14.49/15.99 c input general constraints 747
14.49/15.99 c input average constraint length 18.46
14.49/15.99 c input average constraint degree 20.77
14.49/15.99 c learned clauses 14740
14.49/15.99 c learned cardinalities 340
14.49/15.99 c learned general constraints 31722
14.49/15.99 c learned average constraint length 147.37
14.49/15.99 c learned average constraint degree 1923185180.89
14.49/15.99 c watched constraints 18906
14.49/15.99 c counting constraints 13563
14.49/15.99 c gcd simplifications 1547
14.49/15.99 c detected cardinalities 9
14.49/15.99 c weakened non-implied lits 1384975
14.49/15.99 c weakened non-implying lits 3874
14.49/15.99 c original variables 776
14.49/15.99 c clausal propagations 936584
14.49/15.99 c cardinality propagations 249779
14.49/15.99 c watched propagations 321145
14.49/15.99 c counting propagations 2012963
14.49/15.99 c watch lookups 289811263
14.49/15.99 c watch backjump lookups 257495242
14.49/15.99 c watch checks 574243858
14.49/15.99 c propagation checks 145789906
14.49/15.99 c constraint additions 15762784
14.49/15.99 c trail pops 3982255
14.49/15.99 c formula constraints 867
14.49/15.99 c learned constraints 45850
14.49/15.99 c bound constraints 33
14.49/15.99 c core-guided constraints 1284
14.49/15.99 c encountered formula constraints 110439
14.49/15.99 c encountered learned constraints 181700
14.49/15.99 c encountered bound constraints 283
14.49/15.99 c encountered core-guided constraints 62207
14.49/15.99 c LP total time 2.72828 s
14.49/15.99 c LP solve time 2.32 s
14.49/15.99 c LP constraints added 867
14.49/15.99 c LP constraints removed 0
14.49/15.99 c LP pivots internal 46286
14.49/15.99 c LP pivots root 4506
14.49/15.99 c LP calls 1218
14.49/15.99 c LP optimalities 741
14.49/15.99 c LP no pivot count 342
14.49/15.99 c LP infeasibilities 476
14.49/15.99 c LP valid Farkas constraints 476
14.49/15.99 c LP learned Farkas constraints 476
14.49/15.99 c LP basis resets 0
14.49/15.99 c LP cycling count 0
14.49/15.99 c LP singular count 0
14.49/15.99 c LP no primal count 0
14.49/15.99 c LP no farkas count 0
14.49/15.99 c LP other issue count 0
14.49/15.99 c LP Gomory cuts 0
14.49/15.99 c LP learned cuts 0
14.49/15.99 c LP deleted cuts 0
14.49/15.99 c LP encountered Gomory constraints 0
14.49/15.99 c LP encountered Farkas constraints 9439
14.49/15.99 c LP encountered learned Farkas constraints 2461
14.49/15.99 c CG auxiliary variables introduced 490
14.49/15.99 c CG solutions found 33
14.49/15.99 c CG cores constructed 186
14.49/15.99 c CG core cardinality constraints returned 32
14.49/15.99 c CG unit cores 0
14.49/15.99 c CG single cores 130
14.49/15.99 c CG blocks removed during cardinality reduction 0
14.49/15.99 c CG first core best 1
14.49/15.99 c CG decision core best 15
14.49/15.99 c CG core reduction tie 40
14.49/15.99 c CG core degree average 1.24
14.49/15.99 c CG core slack average 7.01
14.49/15.99 o 0
14.49/15.99 s OPTIMUM FOUND
14.49/15.99 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
VeriPB
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 0 <= obj <= 0
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 0 <= obj <= 0
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 0 <= obj <= 0
--summary--
ALL OK
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (63455 MiB free)
memory of node 1: 64510 MiB (63836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462638-1722340763/watcher-4462638-1722340763 -o /tmp/evaluation-result-4462638-1722340763/solver-4462638-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6759 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462638-1722340763 --lp-cut-gomory=0 HOME/instance-4462638-1722340763.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=6774, runsolver pid=6771
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 0.13 0.09 0.09 2/243 6779
/proc/meminfo: memFree=130332852/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=37376 memory=2536 CPUtime=0 cores=1,3
/proc/6774/stat : 6774 (roundingsat) D 6771 6774 6746 0 -1 1078198272 211 0 1 0 0 0 0 0 20 0 1 0 671950 38273024 634 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 9344 634 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2536 KiB
[startup+0.205209 s]*
/proc/loadavg: 0.13 0.09 0.09 2/248 6797
/proc/meminfo: memFree=130326644/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=37376 memory=2536 CPUtime=0 cores=1,3
/proc/6774/stat : 6774 (roundingsat) D 6771 6774 6746 0 -1 1078198272 211 0 1 0 0 0 0 0 20 0 1 0 671950 38273024 634 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 9344 634 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2536 KiB
[startup+0.305092 s]*
/proc/loadavg: 0.13 0.09 0.09 1/259 6820
/proc/meminfo: memFree=130313880/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=37376 memory=2536 CPUtime=0 cores=1,3
/proc/6774/stat : 6774 (roundingsat) D 6771 6774 6746 0 -1 1078198272 211 0 1 0 0 0 0 0 20 0 1 0 671950 38273024 634 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 9344 634 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2536 KiB
[startup+0.700132 s]
/proc/loadavg: 0.13 0.09 0.09 1/259 6820
/proc/meminfo: memFree=130312984/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=37376 memory=2536 CPUtime=0 cores=1,3
/proc/6774/stat : 6774 (roundingsat) D 6771 6774 6746 0 -1 1078198272 211 0 1 0 0 0 0 0 20 0 1 0 671950 38273024 634 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 9344 634 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2536 KiB
[startup+1.50021 s]
/proc/loadavg: 0.13 0.09 0.09 1/259 6820
/proc/meminfo: memFree=130312480/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=40504 memory=12416 CPUtime=0.14 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 1001 0 1 0 13 1 0 0 20 0 1 0 671950 41476096 3104 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 10126 3104 1808 992 0 1984 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 12416 KiB
[startup+3.1054 s]
/proc/loadavg: 0.44 0.16 0.11 4/254 6828
/proc/meminfo: memFree=130067996/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=52432 memory=26276 CPUtime=1.74 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 3867 0 1 0 165 9 0 0 20 0 1 0 671950 53690368 6569 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 13108 6569 1882 992 0 4966 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 52432 KiB
Current children cumulated memory: 26276 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 0.44 0.16 0.11 5/259 6869
/proc/meminfo: memFree=129764240/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=68128 memory=38236 CPUtime=4.92 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 6869 0 1 0 467 25 0 0 20 0 1 0 671950 69763072 9559 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 17032 9559 1882 992 0 8890 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 68128 KiB
Current children cumulated memory: 38236 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 0.99 0.28 0.15 5/262 6872
/proc/meminfo: memFree=129199804/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=69696 memory=42460 CPUtime=11.3 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 7470 0 1 0 1077 53 0 0 20 0 1 0 671950 71368704 10615 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 17424 10615 1882 992 0 9282 0
Current children cumulated CPU time: 11.3 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 42460 KiB
[startup+16.1884 s]
# the end of solver process 6774 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=13.972 s, system=0.638337 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 0.99 0.28 0.15 5/262 6872
/proc/meminfo: memFree=129199804/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=69696 memory=42460 CPUtime=11.41 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 7470 0 1 0 1087 54 0 0 20 0 1 0 671950 71368704 10615 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 17424 10615 1882 992 0 9282 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 42460 KiB
[startup+14.4002 s]
/proc/loadavg: 0.99 0.28 0.15 6/262 6872
/proc/meminfo: memFree=129038176/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=71512 memory=43804 CPUtime=13.01 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 7863 0 1 0 1240 61 0 0 20 0 1 0 671950 73228288 10951 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 17878 10951 1882 992 0 9736 0
Current children cumulated CPU time: 13.01 s
Current children cumulated vsize: 71512 KiB
Current children cumulated memory: 43804 KiB
[startup+15.2002 s]
/proc/loadavg: 0.99 0.28 0.15 5/262 6873
/proc/meminfo: memFree=128971500/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=71888 memory=44340 CPUtime=13.8 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 7962 0 1 0 1319 61 0 0 20 0 1 0 671950 73613312 11085 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 17972 11085 1882 992 0 9830 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 71888 KiB
Current children cumulated memory: 44340 KiB
[startup+15.6002 s]
/proc/loadavg: 0.99 0.28 0.15 5/262 6873
/proc/meminfo: memFree=128971500/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=72376 memory=45048 CPUtime=14.2 cores=1,3
/proc/6774/stat : 6774 (roundingsat) R 6771 6774 6746 0 -1 4194304 8163 0 1 0 1358 62 0 0 20 0 1 0 671950 74113024 11262 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 18094 11262 1882 992 0 9952 0
Current children cumulated CPU time: 14.2 s
Current children cumulated vsize: 72376 KiB
Current children cumulated memory: 45048 KiB
[startup+16.0002 s]*
/proc/loadavg: 0.99 0.28 0.15 4/262 6873
/proc/meminfo: memFree=128925200/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=73000 memory=45840 CPUtime=14.6 cores=1,3
/proc/6774/stat : 6774 (roundingsat) D 6771 6774 6746 0 -1 4194304 8330 0 1 0 1397 63 0 0 20 0 1 0 671950 74752000 11460 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 1 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 18250 11460 1882 992 0 10108 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 73000 KiB
Current children cumulated memory: 45840 KiB
[startup+16.1056 s]
/proc/loadavg: 0.99 0.28 0.15 4/262 6873
/proc/meminfo: memFree=128925200/131524600 swapFree=131071996/131071996
[pid=6774] ppid=6771 vsize=73000 memory=45840 CPUtime=14.6 cores=1,3
/proc/6774/stat : 6774 (roundingsat) D 6771 6774 6746 0 -1 4194304 8330 0 1 0 1397 63 0 0 20 0 1 0 671950 74752000 11460 134679101440 4194304 8255733 140732468281680 0 0 0 0 0 25182210 0 0 0 17 1 0 0 20 0 0 9037040 9046032 16044032 140732468286302 140732468286564 140732468286564 140732468293577 0
/proc/6774/statm: 18250 11460 1882 992 0 10108 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 73000 KiB
Current children cumulated memory: 45840 KiB
Child status: 0
Real time (s): 16.1884
CPU time (s): 14.6103
CPU user time (s): 13.972
CPU system time (s): 0.638337
CPU usage (%): 90.2516
Max. virtual memory (cumulated for all children) (KiB): 73000
Max. memory (cumulated for all children) (KiB): 45840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.972
system time used= 0.638337
maximum resident set size= 45840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8338
page faults= 1
swaps= 0
block input operations= 264
block output operations= 141048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 819
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 6774
# total CPU time (s): 14.6103
# total CPU user time (s): 13.972
# total CPU system time (s): 0.638337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044708 second user time and 0.102596 second system time
The end
Begin job on nodeC014 at 2024-07-30 13:59:23
IDJOB=4462638
IDBENCH=146660
IDSOLVER=3089
FILE ID=nodeC014/4462638-1722340763
RUNJOBID= nodeC014-1722340763-6759
SLURM_JOB_ID= 8248977
Free space on /tmp= 890084 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.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-4462638-1722340763/watcher-4462638-1722340763 -o /tmp/evaluation-result-4462638-1722340763/solver-4462638-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6759 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462638-1722340763 --lp-cut-gomory=0 HOME/instance-4462638-1722340763.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=727532140
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3461.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3227.021
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3192.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.432
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2692.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3577.669
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2996.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3409.608
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130347656 kB
MemAvailable: 129928756 kB
Buffers: 45600 kB
Cached: 330088 kB
SwapCached: 0 kB
Active: 127824 kB
Inactive: 594808 kB
Active(anon): 1404 kB
Inactive(anon): 366868 kB
Active(file): 126420 kB
Inactive(file): 227940 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5740 kB
Writeback: 0 kB
AnonPages: 347264 kB
Mapped: 87840 kB
Shmem: 21336 kB
KReclaimable: 43964 kB
Slab: 117668 kB
SReclaimable: 43964 kB
SUnreclaim: 73704 kB
KernelStack: 3828 kB
PageTables: 9264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 750936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 174804 kB
DirectMap2M: 10084352 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC014 at 2024-07-30 13:59:40