0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/1.07 c #variables 906 #constraints 1039
0.53/1.66 c bounds - >= -553 @ 0.003623
0.53/1.66 c bounds 74 >= -553 @ 0.037677
0.53/1.66 c bounds 74 >= -549 @ 0.037956
0.53/1.66 c bounds 73 >= -549 @ 0.0923
0.53/1.66 c bounds 72 >= -549 @ 0.101956
0.53/1.66 c bounds 71 >= -549 @ 0.109427
0.53/1.66 c bounds 69 >= -549 @ 0.117819
0.53/1.66 c bounds 69 >= -546 @ 0.117819
0.53/1.66 c bounds 69 >= -543 @ 0.117819
0.53/1.66 c bounds 69 >= -540 @ 0.117824
0.53/1.66 c bounds 69 >= -537 @ 0.117824
0.53/1.66 c bounds 69 >= -534 @ 0.117824
0.53/1.66 c bounds 69 >= -531 @ 0.117829
0.53/1.66 c bounds 69 >= -528 @ 0.117829
0.53/1.66 c bounds 69 >= -525 @ 0.117861
0.53/1.66 c bounds 69 >= -522 @ 0.118268
0.53/1.66 c bounds 69 >= -519 @ 0.118665
0.53/1.66 c bounds 69 >= -516 @ 0.118832
0.53/1.66 c bounds 68 >= -516 @ 0.12793
0.53/1.66 c bounds 68 >= -513 @ 0.128407
0.53/1.66 c bounds 68 >= -510 @ 0.12898
0.53/1.66 c bounds 68 >= -507 @ 0.130439
0.53/1.66 c bounds 61 >= -507 @ 0.133957
0.53/1.66 c bounds 60 >= -507 @ 0.134809
0.53/1.66 c bounds 60 >= -505 @ 0.134813
0.53/1.66 c bounds 60 >= -503 @ 0.134813
0.53/1.66 c bounds 60 >= -501 @ 0.134813
0.53/1.66 c bounds 60 >= -495 @ 0.134813
0.53/1.66 c bounds 60 >= -493 @ 0.134813
0.53/1.66 c bounds 60 >= -491 @ 0.134813
0.53/1.66 c bounds 60 >= -489 @ 0.135037
0.53/1.66 c bounds 60 >= -487 @ 0.135405
0.53/1.66 c bounds 60 >= -485 @ 0.13577
0.53/1.66 c bounds 60 >= -483 @ 0.136126
0.53/1.66 c bounds 60 >= -481 @ 0.136481
0.53/1.66 c bounds 60 >= -479 @ 0.136839
0.53/1.66 c bounds 60 >= -477 @ 0.137203
0.53/1.66 c bounds 60 >= -475 @ 0.137551
0.53/1.66 c bounds 60 >= -473 @ 0.137808
0.53/1.66 c bounds 60 >= -471 @ 0.137808
0.53/1.66 c bounds 60 >= -469 @ 0.137808
0.53/1.66 c bounds 60 >= -467 @ 0.137813
0.53/1.66 c bounds 60 >= -465 @ 0.137813
0.53/1.66 c bounds 60 >= -461 @ 0.137813
0.53/1.66 c bounds 59 >= -461 @ 0.139211
0.53/1.66 c bounds 59 >= -457 @ 0.139515
0.53/1.66 c bounds 59 >= -453 @ 0.139831
0.53/1.66 c bounds 59 >= -451 @ 0.140183
0.53/1.66 c bounds 59 >= -447 @ 0.140541
0.53/1.66 c bounds 59 >= -445 @ 0.140812
0.53/1.66 c bounds 59 >= -441 @ 0.140812
0.53/1.66 c bounds 59 >= -439 @ 0.140812
0.53/1.66 c bounds 59 >= -435 @ 0.140817
0.53/1.66 c bounds 59 >= -433 @ 0.140817
0.53/1.66 c bounds 59 >= -431 @ 0.140817
0.53/1.66 c bounds 59 >= -427 @ 0.140821
0.53/1.66 c bounds 59 >= -425 @ 0.140821
0.53/1.66 c bounds 59 >= -423 @ 0.140821
0.53/1.66 c bounds 59 >= -421 @ 0.140824
0.53/1.66 c bounds 59 >= -417 @ 0.140824
0.53/1.66 c bounds 59 >= -415 @ 0.140824
0.53/1.66 c bounds 59 >= -413 @ 0.14121
0.53/1.66 c bounds 59 >= -411 @ 0.141553
0.53/1.66 c bounds 59 >= -409 @ 0.141877
0.53/1.66 c bounds 59 >= -407 @ 0.142221
0.53/1.66 c bounds 59 >= -405 @ 0.142557
0.53/1.66 c bounds 59 >= -403 @ 0.142887
0.53/1.66 c bounds 59 >= -401 @ 0.143215
0.53/1.66 c bounds 59 >= -399 @ 0.143538
0.53/1.66 c bounds 59 >= -397 @ 0.143859
0.53/1.66 c bounds 58 >= -397 @ 0.145238
0.53/1.66 c bounds 58 >= -395 @ 0.145568
0.53/1.66 c bounds 58 >= -393 @ 0.145888
0.53/1.66 c bounds 58 >= -389 @ 0.146256
0.53/1.66 c bounds 58 >= -387 @ 0.146603
0.53/1.66 c bounds 58 >= -385 @ 0.146815
0.53/1.66 c bounds 58 >= -383 @ 0.146815
0.53/1.66 c bounds 58 >= -381 @ 0.146815
0.53/1.66 c bounds 58 >= -379 @ 0.146818
0.53/1.66 c bounds 58 >= -377 @ 0.146818
0.53/1.66 c bounds 58 >= -375 @ 0.147016
0.53/1.66 c bounds 58 >= -373 @ 0.147376
0.53/1.66 c bounds 58 >= -371 @ 0.147744
0.53/1.66 c bounds 58 >= -369 @ 0.148618
0.53/1.66 c bounds 56 >= -369 @ 0.152316
0.53/1.66 c bounds 56 >= -367 @ 0.152857
0.53/1.66 c bounds 56 >= -365 @ 0.153842
0.53/1.66 c bounds 56 >= -363 @ 0.154654
0.53/1.66 c bounds 56 >= -361 @ 0.154803
0.53/1.66 c bounds 56 >= -359 @ 0.155851
0.53/1.66 c bounds 54 >= -359 @ 0.181292
0.53/1.66 c bounds 54 >= -357 @ 0.182166
0.53/1.66 c bounds 54 >= -355 @ 0.18262
0.53/1.66 c bounds 54 >= -353 @ 0.182732
0.53/1.66 c bounds 54 >= -351 @ 0.184736
0.53/1.66 c bounds 54 >= -349 @ 0.191789
0.53/1.66 c bounds 54 >= -347 @ 0.196804
0.53/1.66 c bounds 53 >= -347 @ 0.214827
0.53/1.66 c bounds 53 >= -345 @ 0.215312
0.53/1.66 c bounds 53 >= -343 @ 0.224533
0.53/1.66 c bounds 53 >= -341 @ 0.238826
0.53/1.66 c bounds 52 >= -341 @ 0.244706
0.53/1.66 c bounds 51 >= -341 @ 0.256589
0.53/1.66 c #Conflicts: 1000 | #Constraints: 2521
0.53/1.66 c bounds 50 >= -341 @ 0.265874
0.53/1.66 c bounds 50 >= -339 @ 0.266498
0.53/1.66 c bounds 50 >= -337 @ 0.268626
0.53/1.66 c bounds 50 >= -335 @ 0.351148
0.53/1.66 c bounds 48 >= -335 @ 0.364591
0.53/1.66 c bounds 46 >= -335 @ 0.379688
0.53/1.66 c bounds 45 >= -335 @ 0.387152
0.53/1.66 c bounds 44 >= -335 @ 0.407266
0.53/1.66 c bounds 43 >= -335 @ 0.419312
0.53/1.66 c bounds 42 >= -335 @ 0.428543
0.53/1.66 c #Conflicts: 2000 | #Constraints: 3583
0.53/1.66 c INPROCESSING
0.53/1.66 c GARBAGE COLLECT
0.53/1.66 c rational objective 2
1.22/2.31 c bounds 40 >= -335 @ 0.540561
1.22/2.31 c bounds 39 >= -335 @ 0.554626
1.22/2.31 c bounds 38 >= -335 @ 0.568677
1.22/2.31 c bounds 37 >= -335 @ 0.579995
1.22/2.31 c bounds 36 >= -335 @ 0.605473
1.22/2.31 c bounds 35 >= -335 @ 0.622726
1.22/2.31 c bounds 34 >= -335 @ 0.629855
1.22/2.31 c bounds 33 >= -335 @ 0.650645
1.22/2.31 c bounds 32 >= -335 @ 0.715178
1.22/2.31 c bounds 32 >= -332 @ 0.715412
1.22/2.31 c bounds 32 >= -329 @ 0.715604
1.22/2.31 c bounds 32 >= -328 @ 0.715769
1.22/2.31 c bounds 32 >= -327 @ 0.71605
1.22/2.31 c bounds 32 >= -326 @ 0.716477
1.22/2.31 c bounds 32 >= -325 @ 0.716881
1.22/2.31 c bounds 32 >= -324 @ 0.717284
1.22/2.31 c bounds 32 >= -323 @ 0.717366
1.22/2.31 c bounds 32 >= -321 @ 0.717366
1.22/2.31 c bounds 32 >= -320 @ 0.717409
1.22/2.31 c bounds 32 >= -319 @ 0.717799
1.22/2.31 c bounds 32 >= -318 @ 0.718182
1.22/2.31 c bounds 32 >= -317 @ 0.71866
1.22/2.31 c bounds 32 >= -316 @ 0.719035
1.22/2.31 c bounds 32 >= -313 @ 0.71937
1.22/2.31 c bounds 32 >= -310 @ 0.719829
1.22/2.31 c bounds 32 >= -309 @ 0.720265
1.22/2.31 c bounds 32 >= -308 @ 0.720361
1.22/2.31 c bounds 32 >= -307 @ 0.720361
1.22/2.31 c bounds 32 >= -304 @ 0.720521
1.22/2.31 c bounds 32 >= -303 @ 0.720997
1.22/2.31 c bounds 32 >= -301 @ 0.721373
1.22/2.31 c bounds 32 >= -300 @ 0.721777
1.22/2.31 c bounds 32 >= -299 @ 0.722118
1.22/2.31 c bounds 32 >= -298 @ 0.722357
1.22/2.31 c bounds 32 >= -297 @ 0.722357
1.22/2.31 c bounds 32 >= -294 @ 0.722465
1.22/2.31 c bounds 32 >= -293 @ 0.722989
1.22/2.31 c bounds 32 >= -292 @ 0.723599
1.22/2.31 c bounds 32 >= -291 @ 0.724185
1.22/2.31 c bounds 32 >= -290 @ 0.724352
1.22/2.31 c bounds 32 >= -289 @ 0.724506
1.22/2.31 c bounds 32 >= -287 @ 0.724974
1.22/2.31 c bounds 32 >= -284 @ 0.725446
1.22/2.31 c bounds 32 >= -283 @ 0.726031
1.22/2.31 c bounds 32 >= -282 @ 0.726348
1.22/2.31 c bounds 32 >= -281 @ 0.726348
1.22/2.31 c bounds 32 >= -280 @ 0.726602
1.22/2.31 c bounds 32 >= -277 @ 0.727194
1.22/2.31 c bounds 32 >= -276 @ 0.727346
1.22/2.31 c bounds 32 >= -275 @ 0.72765
1.22/2.31 c bounds 32 >= -274 @ 0.728433
1.22/2.31 c bounds 32 >= -273 @ 0.729054
1.22/2.31 c bounds 32 >= -272 @ 0.729664
1.22/2.31 c bounds 32 >= -271 @ 0.73027
1.22/2.31 c bounds 32 >= -270 @ 0.730339
1.22/2.31 c bounds 32 >= -269 @ 0.730621
1.22/2.31 c bounds 32 >= -268 @ 0.731114
1.22/2.31 c bounds 32 >= -267 @ 0.731538
1.22/2.31 c bounds 32 >= -265 @ 0.73208
1.22/2.31 c bounds 32 >= -264 @ 0.73256
1.22/2.31 c bounds 32 >= -263 @ 0.733191
1.22/2.31 c bounds 32 >= -262 @ 0.733333
1.22/2.31 c bounds 32 >= -261 @ 0.733333
1.22/2.31 c bounds 32 >= -260 @ 0.733334
1.22/2.31 c bounds 32 >= -259 @ 0.733458
1.22/2.31 c bounds 32 >= -258 @ 0.734072
1.22/2.31 c bounds 32 >= -257 @ 0.734331
1.22/2.31 c bounds 32 >= -256 @ 0.734469
1.22/2.31 c bounds 32 >= -253 @ 0.735128
1.22/2.31 c bounds 32 >= -252 @ 0.735616
1.22/2.31 c bounds 32 >= -250 @ 0.736119
1.22/2.31 c bounds 32 >= -249 @ 0.736647
1.22/2.31 c bounds 32 >= -248 @ 0.737166
1.22/2.31 c bounds 31 >= -248 @ 0.802008
1.22/2.31 c bounds 31 >= -247 @ 0.80216
1.22/2.31 c bounds 31 >= -245 @ 0.802419
1.22/2.31 c bounds 31 >= -244 @ 0.80298
1.22/2.31 c bounds 31 >= -243 @ 0.803461
1.22/2.31 c bounds 31 >= -242 @ 0.804056
1.22/2.31 c bounds 31 >= -241 @ 0.804925
1.22/2.31 c bounds 31 >= -240 @ 0.805153
1.22/2.31 c bounds 31 >= -239 @ 0.805154
1.22/2.31 c bounds 31 >= -238 @ 0.805154
1.22/2.31 c bounds 31 >= -237 @ 0.805643
1.22/2.31 c bounds 31 >= -236 @ 0.806379
1.22/2.31 c bounds 31 >= -235 @ 0.807146
1.22/2.31 c bounds 31 >= -234 @ 0.807146
1.22/2.31 c bounds 31 >= -233 @ 0.807969
1.22/2.31 c bounds 31 >= -232 @ 0.808144
1.22/2.31 c bounds 31 >= -231 @ 0.80857
1.22/2.31 c bounds 31 >= -230 @ 0.809783
1.22/2.31 c bounds 31 >= -229 @ 0.810393
1.22/2.31 c bounds 31 >= -228 @ 0.848134
1.22/2.31 c bounds 31 >= -227 @ 0.853665
1.22/2.31 c #Conflicts: 3000 | #Constraints: 4002
1.22/2.31 c bounds 31 >= -226 @ 0.861742
1.22/2.31 c bounds 31 >= -225 @ 0.874628
1.22/2.31 c bounds 31 >= -224 @ 0.903888
1.22/2.31 c bounds 30 >= -224 @ 1.01233
1.22/2.31 c bounds 30 >= -223 @ 1.01265
1.22/2.31 c bounds 30 >= -222 @ 1.01284
1.22/2.31 c bounds 30 >= -221 @ 1.01353
1.22/2.31 c bounds 30 >= -220 @ 1.01364
1.22/2.31 c bounds 30 >= -219 @ 1.01364
1.22/2.31 c bounds 30 >= -218 @ 1.01365
1.22/2.31 c bounds 30 >= -217 @ 1.01399
1.22/2.31 c bounds 30 >= -216 @ 1.01515
1.22/2.31 c bounds 30 >= -215 @ 1.01643
1.22/2.31 c bounds 30 >= -214 @ 1.01664
1.22/2.31 c bounds 30 >= -213 @ 1.01753
1.22/2.31 c bounds 30 >= -212 @ 1.02241
1.22/2.31 c bounds 30 >= -211 @ 1.02529
1.22/2.31 c bounds 30 >= -210 @ 1.02777
1.22/2.31 c bounds 30 >= -209 @ 1.03735
1.22/2.31 c bounds 30 >= -208 @ 1.03884
1.22/2.31 c #Conflicts: 4000 | #Constraints: 5289
1.22/2.31 c bounds 30 >= -207 @ 1.08703
1.22/2.31 c INPROCESSING
1.22/2.31 c GARBAGE COLLECT
1.22/2.31 c rational objective 2
1.72/2.87 c bounds 30 >= -206 @ 1.13303
1.72/2.87 c bounds 29 >= -206 @ 1.21114
1.72/2.87 c bounds 29 >= -205 @ 1.21118
1.72/2.87 c bounds 29 >= -204 @ 1.21118
1.72/2.87 c bounds 29 >= -203 @ 1.2116
1.72/2.87 c bounds 29 >= -202 @ 1.21237
1.72/2.87 c bounds 29 >= -201 @ 1.21394
1.72/2.87 c bounds 29 >= -200 @ 1.21596
1.72/2.87 c bounds 29 >= -199 @ 1.21617
1.72/2.87 c bounds 29 >= -198 @ 1.21617
1.72/2.87 c bounds 29 >= -197 @ 1.21642
1.72/2.87 c bounds 29 >= -196 @ 1.21955
1.72/2.87 c bounds 29 >= -195 @ 1.22215
1.72/2.87 c #Conflicts: 5000 | #Constraints: 4793
1.72/2.87 c bounds 29 >= -194 @ 1.22766
1.72/2.87 c bounds 29 >= -193 @ 1.23938
1.72/2.87 c bounds 29 >= -192 @ 1.30223
1.72/2.87 c #Conflicts: 6000 | #Constraints: 5862
1.72/2.87 c bounds 28 >= -192 @ 1.55863
1.72/2.87 c bounds 28 >= -191 @ 1.56349
1.72/2.87 c bounds 28 >= -190 @ 1.56434
1.72/2.87 c bounds 28 >= -189 @ 1.56658
1.72/2.87 c bounds 28 >= -188 @ 1.57289
1.72/2.87 c INPROCESSING
1.72/2.87 c GARBAGE COLLECT
1.72/2.87 c rational objective 2
2.32/3.48 c bounds 28 >= -187 @ 1.63218
2.32/3.48 c bounds 28 >= -186 @ 1.66921
2.32/3.48 c #Conflicts: 7000 | #Constraints: 4946
2.32/3.48 c bounds 28 >= -185 @ 1.70341
2.32/3.48 c bounds 28 >= -184 @ 1.8293
2.32/3.48 c #Conflicts: 8000 | #Constraints: 6010
2.32/3.48 c bounds 28 >= -183 @ 2.08491
2.32/3.48 c #Conflicts: 9000 | #Constraints: 7059
2.32/3.48 c INPROCESSING
2.32/3.48 c GARBAGE COLLECT
2.32/3.48 c rational objective 2
3.02/4.13 c bounds 27 >= -183 @ 2.29149
3.02/4.13 c bounds 27 >= -182 @ 2.3068
3.02/4.13 c bounds 27 >= -181 @ 2.32668
3.02/4.13 c #Conflicts: 10000 | #Constraints: 5803
3.02/4.13 c bounds 27 >= -180 @ 2.3574
3.02/4.13 c bounds 25 >= -180 @ 2.42675
3.02/4.13 c bounds 25 >= -179 @ 2.46055
3.02/4.13 c #Conflicts: 11000 | #Constraints: 6850
3.02/4.13 c bounds 25 >= -178 @ 2.61258
3.02/4.13 c bounds 24 >= -178 @ 2.66863
3.02/4.13 c bounds 23 >= -178 @ 2.73465
3.02/4.13 c #Conflicts: 12000 | #Constraints: 7916
3.02/4.13 c INPROCESSING
3.02/4.13 c GARBAGE COLLECT
3.02/4.13 c rational objective 2
5.92/7.10 c bounds 22 >= -178 @ 2.82866
5.92/7.10 c bounds 21 >= -178 @ 3.01172
5.92/7.10 c bounds 21 >= -177 @ 3.02119
5.92/7.10 c bounds 21 >= -176 @ 3.02417
5.92/7.10 c bounds 21 >= -175 @ 3.02916
5.92/7.10 c #Conflicts: 13000 | #Constraints: 6418
5.92/7.10 c bounds 21 >= -174 @ 3.06081
5.92/7.10 c bounds 21 >= -173 @ 3.1
5.92/7.10 c bounds 21 >= -172 @ 3.15043
5.92/7.10 c #Conflicts: 14000 | #Constraints: 7487
5.92/7.10 c bounds 20 >= -172 @ 3.24032
5.92/7.10 c bounds 20 >= -171 @ 3.29014
5.92/7.10 c #Conflicts: 15000 | #Constraints: 8512
5.92/7.10 c bounds 20 >= -170 @ 3.53589
5.92/7.10 c #Conflicts: 16000 | #Constraints: 9555
5.92/7.10 c #Conflicts: 17000 | #Constraints: 10584
5.92/7.10 c bounds 19 >= -170 @ 4.235
5.92/7.10 c bounds 19 >= -169 @ 4.3154
5.92/7.10 c #Conflicts: 18000 | #Constraints: 11615
5.92/7.10 c bounds 19 >= -168 @ 4.64265
5.92/7.10 c #Conflicts: 19000 | #Constraints: 12644
5.92/7.10 c #Conflicts: 20000 | #Constraints: 13644
5.92/7.10 c bounds 19 >= -167 @ 5.48857
5.92/7.10 c INPROCESSING
5.92/7.10 c GARBAGE COLLECT
5.92/7.10 c rational objective 2
7.91/9.02 c #Conflicts: 21000 | #Constraints: 9186
7.91/9.02 c #Conflicts: 22000 | #Constraints: 10204
7.91/9.02 c #Conflicts: 23000 | #Constraints: 11221
7.91/9.02 c bounds 18 >= -167 @ 7.26211
7.91/9.02 c #Conflicts: 24000 | #Constraints: 12241
7.91/9.02 c INPROCESSING
7.91/9.02 c GARBAGE COLLECT
7.91/9.02 c rational objective 2
8.81/9.97 c #Conflicts: 25000 | #Constraints: 8434
8.81/9.97 c #Conflicts: 26000 | #Constraints: 9434
8.81/9.97 c bounds 18 >= -166 @ 7.78334
8.81/9.97 c #Conflicts: 27000 | #Constraints: 10463
8.81/9.97 c #Conflicts: 28000 | #Constraints: 11463
8.81/9.97 c bounds 18 >= -165 @ 8.21065
8.81/9.97 c INPROCESSING
8.81/9.97 c GARBAGE COLLECT
8.81/9.97 c rational objective 2
13.90/15.07 c #Conflicts: 29000 | #Constraints: 7953
13.90/15.07 c #Conflicts: 30000 | #Constraints: 8953
13.90/15.07 c #Conflicts: 31000 | #Constraints: 9953
13.90/15.07 c #Conflicts: 32000 | #Constraints: 10953
13.90/15.07 c #Conflicts: 33000 | #Constraints: 11953
13.90/15.07 c bounds 18 >= -164 @ 9.34486
13.90/15.07 c #Conflicts: 34000 | #Constraints: 13016
13.90/15.07 c #Conflicts: 35000 | #Constraints: 14032
13.90/15.07 c bounds 17 >= -164 @ 10.7022
13.90/15.07 c #Conflicts: 36000 | #Constraints: 15068
13.90/15.07 c #Conflicts: 37000 | #Constraints: 16068
13.90/15.07 c #Conflicts: 38000 | #Constraints: 17068
13.90/15.07 c bounds 17 >= -163 @ 11.8444
13.90/15.07 c #Conflicts: 39000 | #Constraints: 18089
13.90/15.07 c #Conflicts: 40000 | #Constraints: 19089
13.90/15.07 c #Conflicts: 41000 | #Constraints: 20089
13.90/15.07 c INPROCESSING
13.90/15.07 c GARBAGE COLLECT
13.90/15.07 c rational objective 2
16.99/18.17 c #Conflicts: 42000 | #Constraints: 12513
16.99/18.17 c #Conflicts: 43000 | #Constraints: 13525
16.99/18.17 c #Conflicts: 44000 | #Constraints: 14540
16.99/18.17 c #Conflicts: 45000 | #Constraints: 15556
16.99/18.17 c #Conflicts: 46000 | #Constraints: 16601
16.99/18.17 c #Conflicts: 47000 | #Constraints: 17639
16.99/18.17 c INPROCESSING
16.99/18.17 c GARBAGE COLLECT
16.99/18.17 c rational objective 2
22.47/23.67 c bounds 17 >= -162 @ 16.3738
22.47/23.67 c #Conflicts: 48000 | #Constraints: 11474
22.47/23.67 c bounds 17 >= -161 @ 16.5406
22.47/23.67 c #Conflicts: 49000 | #Constraints: 12494
22.47/23.67 c #Conflicts: 50000 | #Constraints: 13494
22.47/23.67 c bounds 17 >= -160 @ 16.8386
22.47/23.67 c #Conflicts: 51000 | #Constraints: 14526
22.47/23.67 c #Conflicts: 52000 | #Constraints: 15526
22.47/23.67 c bounds 17 >= -159 @ 17.4641
22.47/23.67 c #Conflicts: 53000 | #Constraints: 16552
22.47/23.67 c #Conflicts: 54000 | #Constraints: 17552
22.47/23.67 c #Conflicts: 55000 | #Constraints: 18552
22.47/23.67 c #Conflicts: 56000 | #Constraints: 19552
22.47/23.67 c bounds 17 >= -158 @ 18.9508
22.47/23.67 c #Conflicts: 57000 | #Constraints: 20581
22.47/23.67 c #Conflicts: 58000 | #Constraints: 21581
22.47/23.67 c #Conflicts: 59000 | #Constraints: 22581
22.47/23.67 c #Conflicts: 60000 | #Constraints: 23581
22.47/23.67 c #Conflicts: 61000 | #Constraints: 24581
22.47/23.67 c #Conflicts: 62000 | #Constraints: 25581
22.47/23.67 c INPROCESSING
22.47/23.67 c GARBAGE COLLECT
22.47/23.67 c rational objective 2
26.96/28.17 c #Conflicts: 63000 | #Constraints: 15156
26.96/28.17 c bounds 16 >= -158 @ 22.0781
26.96/28.17 c #Conflicts: 64000 | #Constraints: 16179
26.96/28.17 c bounds 15 >= -158 @ 22.228
26.96/28.17 c bounds 14 >= -158 @ 22.3254
26.96/28.17 c bounds 13 >= -158 @ 22.4012
26.96/28.17 c bounds 11 >= -158 @ 22.5091
26.96/28.17 c #Conflicts: 65000 | #Constraints: 17298
26.96/28.17 c bounds 10 >= -158 @ 22.6857
26.96/28.17 c bounds 9 >= -158 @ 22.8704
26.96/28.17 c bounds 8 >= -158 @ 23.0478
26.96/28.17 c #Conflicts: 66000 | #Constraints: 18397
26.96/28.17 c bounds 7 >= -158 @ 23.3523
26.96/28.17 c bounds 6 >= -158 @ 23.628
26.96/28.17 c #Conflicts: 67000 | #Constraints: 19466
26.96/28.17 c bounds 5 >= -158 @ 24.0911
26.96/28.17 c bounds 4 >= -158 @ 24.4516
26.96/28.17 c #Conflicts: 68000 | #Constraints: 20557
26.96/28.17 c #Conflicts: 69000 | #Constraints: 21575
26.96/28.17 c INPROCESSING
26.96/28.17 c GARBAGE COLLECT
26.96/28.17 c rational objective 2
30.15/31.35 c #Conflicts: 70000 | #Constraints: 13197
30.15/31.35 c #Conflicts: 71000 | #Constraints: 14197
30.15/31.35 c #Conflicts: 72000 | #Constraints: 15199
30.15/31.35 c bounds 4 >= -157 @ 26.7265
30.15/31.35 c #Conflicts: 73000 | #Constraints: 16247
30.15/31.35 c #Conflicts: 74000 | #Constraints: 17247
30.15/31.35 c bounds 4 >= -156 @ 27.2021
30.15/31.35 c #Conflicts: 75000 | #Constraints: 18271
30.15/31.35 c bounds 4 >= -155 @ 27.8178
30.15/31.35 c #Conflicts: 76000 | #Constraints: 19292
30.15/31.35 c bounds 3 >= -155 @ 28.0408
30.15/31.35 c #Conflicts: 77000 | #Constraints: 20302
30.15/31.35 c bounds 2 >= -155 @ 28.232
30.15/31.35 c #Conflicts: 78000 | #Constraints: 21359
30.15/31.35 c #Conflicts: 79000 | #Constraints: 22363
30.15/31.35 c bounds 2 >= -155 @ 29.0061
30.15/31.35 c cpu time 29.0064 s
30.15/31.35 c deterministic time 2413930972 2.41e+09
30.15/31.35 c optimization time 0.026605 s
30.15/31.35 c total solve time 28.9763 s
30.15/31.35 c core-guided solve time 14.9112 s
30.15/31.35 c propagation time 21.6343 s
30.15/31.35 c conflict analysis time 5.4409 s
30.15/31.35 c propagations 6341936
30.15/31.35 c resolve steps 656831
30.15/31.35 c decisions 618167
30.15/31.35 c conflicts 79081
30.15/31.35 c restarts 251
30.15/31.35 c inprocessing phases 12
30.15/31.35 c input clauses 1527
30.15/31.35 c input cardinalities 432
30.15/31.35 c input general constraints 1403
30.15/31.35 c input average constraint length 22.56
30.15/31.35 c input average constraint degree 27.54
30.15/31.35 c learned clauses 30381
30.15/31.35 c learned cardinalities 132
30.15/31.35 c learned general constraints 49668
30.15/31.35 c learned average constraint length 184.53
30.15/31.35 c learned average constraint degree 2960669130.57
30.15/31.35 c watched constraints 27313
30.15/31.35 c counting constraints 23758
30.15/31.35 c gcd simplifications 2291
30.15/31.35 c detected cardinalities 7
30.15/31.35 c weakened non-implied lits 2200125
30.15/31.35 c weakened non-implying lits 6376
30.15/31.35 c original variables 906
30.15/31.35 c clausal propagations 1743410
30.15/31.35 c cardinality propagations 320940
30.15/31.35 c watched propagations 522950
30.15/31.35 c counting propagations 3630257
30.15/31.35 c watch lookups 596776903
30.15/31.35 c watch backjump lookups 543914685
30.15/31.35 c watch checks 941205830
30.15/31.35 c propagation checks 286341289
30.15/31.35 c constraint additions 31609075
30.15/31.35 c trail pops 7038044
30.15/31.35 c formula constraints 1039
30.15/31.35 c learned constraints 78259
30.15/31.35 c bound constraints 59
30.15/31.35 c core-guided constraints 2264
30.15/31.35 c encountered formula constraints 183495
30.15/31.35 c encountered learned constraints 367737
30.15/31.35 c encountered bound constraints 179
30.15/31.35 c encountered core-guided constraints 167902
30.15/31.35 c LP total time 5.28392 s
30.15/31.35 c LP solve time 4.67 s
30.15/31.35 c LP constraints added 1039
30.15/31.35 c LP constraints removed 0
30.15/31.35 c LP pivots internal 79111
30.15/31.35 c LP pivots root 5931
30.15/31.35 c LP calls 2469
30.15/31.35 c LP optimalities 1507
30.15/31.35 c LP no pivot count 648
30.15/31.35 c LP infeasibilities 961
30.15/31.35 c LP valid Farkas constraints 961
30.15/31.35 c LP learned Farkas constraints 961
30.15/31.35 c LP basis resets 0
30.15/31.35 c LP cycling count 0
30.15/31.35 c LP singular count 0
30.15/31.35 c LP no primal count 0
30.15/31.35 c LP no farkas count 0
30.15/31.35 c LP other issue count 0
30.15/31.35 c LP Gomory cuts 0
30.15/31.35 c LP learned cuts 0
30.15/31.35 c LP deleted cuts 0
30.15/31.35 c LP encountered Gomory constraints 0
30.15/31.35 c LP encountered Farkas constraints 10730
30.15/31.35 c LP encountered learned Farkas constraints 4908
30.15/31.35 c CG auxiliary variables introduced 838
30.15/31.35 c CG solutions found 59
30.15/31.35 c CG cores constructed 246
30.15/31.35 c CG core cardinality constraints returned 25
30.15/31.35 c CG unit cores 0
30.15/31.35 c CG single cores 181
30.15/31.35 c CG blocks removed during cardinality reduction 0
30.15/31.35 c CG first core best 0
30.15/31.35 c CG decision core best 15
30.15/31.35 c CG core reduction tie 50
30.15/31.35 c CG core degree average 1.14
30.15/31.35 c CG core slack average 7.25
30.15/31.35 o 2
30.15/31.35 s OPTIMUM FOUND
30.15/31.35 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
VeriPB
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 2 <= obj <= 2
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 2 <= obj <= 2
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 2 <= obj <= 2
--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: 63968 MiB (63307 MiB free)
memory of node 1: 64473 MiB (64052 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462640-1722340763/watcher-4462640-1722340763 -o /tmp/evaluation-result-4462640-1722340763/solver-4462640-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6840 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462640-1722340763 --lp-cut-gomory=0 HOME/instance-4462640-1722340763.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=6875, runsolver pid=6868
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 0.08 0.08 0.09 2/255 6888
/proc/meminfo: memFree=130406780/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6875/stat : 6875 (roundingsat) D 6868 6875 6828 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 675349 38273024 637 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.206459 s]*
/proc/loadavg: 0.08 0.08 0.09 2/255 6888
/proc/meminfo: memFree=130406456/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6875/stat : 6875 (roundingsat) D 6868 6875 6828 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 675349 38273024 637 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.305105 s]*
/proc/loadavg: 0.08 0.08 0.09 3/258 6897
/proc/meminfo: memFree=130398552/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6875/stat : 6875 (roundingsat) D 6868 6875 6828 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 675349 38273024 637 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.700147 s]
/proc/loadavg: 0.08 0.08 0.09 2/261 6903
/proc/meminfo: memFree=130380884/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6875/stat : 6875 (roundingsat) D 6868 6875 6828 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 675349 38273024 637 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+1.5002 s]
/proc/loadavg: 0.08 0.08 0.09 3/261 6903
/proc/meminfo: memFree=130366260/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=50896 memory=22888 CPUtime=0.43 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 3573 0 0 0 38 5 0 0 20 0 1 0 675349 52117504 5722 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 12724 5722 1893 992 0 4582 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 22888 KiB
[startup+3.10598 s]
/proc/loadavg: 0.40 0.15 0.11 6/256 6911
/proc/meminfo: memFree=130261360/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=60956 memory=31192 CPUtime=2.02 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 5638 0 0 0 184 18 0 0 20 0 1 0 675349 62418944 7798 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 15239 7798 1893 992 0 7097 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 31192 KiB
heavy processes:
[startup+6.30021 s]
/proc/loadavg: 0.40 0.15 0.11 6/262 6953
/proc/meminfo: memFree=130126768/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=75112 memory=42472 CPUtime=5.21 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 7956 0 0 0 483 38 0 0 20 0 1 0 675349 76914688 10618 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 18778 10618 1893 992 0 10636 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 75112 KiB
Current children cumulated memory: 42472 KiB
[startup+12.7002 s]
/proc/loadavg: 0.68 0.21 0.13 6/262 6953
/proc/meminfo: memFree=129918216/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=79944 memory=49792 CPUtime=11.6 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 9335 0 0 0 1095 65 0 0 20 0 1 0 675349 81862656 12448 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 19986 12448 1893 992 0 11844 0
Current children cumulated CPU time: 11.6 s
Current children cumulated vsize: 79944 KiB
Current children cumulated memory: 49792 KiB
[startup+25.5002 s]
/proc/loadavg: 1.50 0.41 0.20 6/262 6956
/proc/meminfo: memFree=129588544/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=99944 memory=63452 CPUtime=24.36 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 11959 0 0 0 2334 102 0 0 20 0 1 0 675349 102342656 15863 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 24986 15863 1893 992 0 16844 0
Current children cumulated CPU time: 24.36 s
Current children cumulated vsize: 99944 KiB
Current children cumulated memory: 63452 KiB
[startup+31.7183 s]
# the end of solver process 6875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=29.01 s, system=1.22242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 1.50 0.41 0.20 6/262 6956
/proc/meminfo: memFree=129588544/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=101276 memory=64244 CPUtime=24.47 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 12166 0 0 0 2344 103 0 0 20 0 1 0 675349 103706624 16061 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 25319 16061 1893 992 0 17177 0
Current children cumulated CPU time: 24.47 s
Current children cumulated vsize: 101276 KiB
Current children cumulated memory: 64244 KiB
[startup+28.8002 s]
/proc/loadavg: 1.70 0.47 0.22 6/262 6956
/proc/meminfo: memFree=129531236/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=109672 memory=78212 CPUtime=27.66 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 14182 0 0 0 2654 112 0 0 20 0 1 0 675349 112304128 19553 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 27418 19553 1893 992 0 19276 0
Current children cumulated CPU time: 27.66 s
Current children cumulated vsize: 109672 KiB
Current children cumulated memory: 78212 KiB
[startup+30.4002 s]
/proc/loadavg: 1.70 0.47 0.22 6/262 6956
/proc/meminfo: memFree=129505788/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=109852 memory=78212 CPUtime=29.25 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 14214 0 0 0 2808 117 0 0 20 0 1 0 675349 112488448 19553 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 27463 19553 1893 992 0 19321 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 109852 KiB
Current children cumulated memory: 78212 KiB
[startup+31.2002 s]
/proc/loadavg: 1.70 0.47 0.22 6/262 6956
/proc/meminfo: memFree=129491196/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=109852 memory=78212 CPUtime=30.05 cores=4,6
/proc/6875/stat : 6875 (roundingsat) R 6868 6875 6828 0 -1 4194304 14214 0 0 0 2885 120 0 0 20 0 1 0 675349 112488448 19553 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 27463 19553 1893 992 0 19321 0
Current children cumulated CPU time: 30.05 s
Current children cumulated vsize: 109852 KiB
Current children cumulated memory: 78212 KiB
[startup+31.6002 s]
/proc/loadavg: 1.70 0.47 0.22 6/262 6956
/proc/meminfo: memFree=129491196/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=109852 memory=78212 CPUtime=30.21 cores=4,6
/proc/6875/stat : 6875 (roundingsat) D 6868 6875 6828 0 -1 4194304 14214 0 0 0 2900 121 0 0 20 0 1 0 675349 112488448 19553 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 6 0 0 38 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 27463 19553 1893 992 0 19321 0
Current children cumulated CPU time: 30.21 s
Current children cumulated vsize: 109852 KiB
Current children cumulated memory: 78212 KiB
[startup+31.7002 s]
/proc/loadavg: 1.70 0.47 0.22 6/262 6956
/proc/meminfo: memFree=129491196/131524600 swapFree=131071996/131071996
[pid=6875] ppid=6868 vsize=109852 memory=78212 CPUtime=30.22 cores=4,6
/proc/6875/stat : 6875 (roundingsat) D 6868 6875 6828 0 -1 4194304 14214 0 0 0 2901 121 0 0 20 0 1 0 675349 112488448 19553 134679101440 4194304 8255733 140721470691808 0 0 0 0 0 25182210 0 0 0 17 6 0 0 47 0 0 9037040 9046032 14983168 140721470698334 140721470698596 140721470698596 140721470705609 0
/proc/6875/statm: 27463 19553 1893 992 0 19321 0
Current children cumulated CPU time: 30.22 s
Current children cumulated vsize: 109852 KiB
Current children cumulated memory: 78212 KiB
Child status: 0
Real time (s): 31.7183
CPU time (s): 30.2324
CPU user time (s): 29.01
CPU system time (s): 1.22242
CPU usage (%): 95.3154
Max. virtual memory (cumulated for all children) (KiB): 109852
Max. memory (cumulated for all children) (KiB): 78212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.01
system time used= 1.22242
maximum resident set size= 78556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 270664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2321
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 6875
# total CPU time (s): 30.2324
# total CPU user time (s): 29.01
# total CPU system time (s): 1.22242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074925 second user time and 0.181773 second system time
The end
Begin job on nodeC024 at 2024-07-30 13:59:23
IDJOB=4462640
IDBENCH=146658
IDSOLVER=3089
FILE ID=nodeC024/4462640-1722340763
RUNJOBID= nodeC024-1722340763-6840
SLURM_JOB_ID= 8248997
Free space on /tmp= 890076 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.95:98.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-4462640-1722340763/watcher-4462640-1722340763 -o /tmp/evaluation-result-4462640-1722340763/solver-4462640-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6840 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462640-1722340763 --lp-cut-gomory=0 HOME/instance-4462640-1722340763.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=727532140
nodeC024.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 : 3463.349
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 : 6999.90
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 : 2416.796
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 : 7005.73
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 : 3203.701
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 : 6999.90
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 : 3462.447
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 : 7005.73
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 : 3543.105
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 : 6999.90
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 : 3355.661
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 : 7005.73
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 : 3542.638
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 : 6999.90
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 : 3510.033
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 : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130417912 kB
MemAvailable: 129972952 kB
Buffers: 37496 kB
Cached: 288248 kB
SwapCached: 0 kB
Active: 124408 kB
Inactive: 527776 kB
Active(anon): 1448 kB
Inactive(anon): 346356 kB
Active(file): 122960 kB
Inactive(file): 181420 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11616 kB
Writeback: 8 kB
AnonPages: 324300 kB
Mapped: 87284 kB
Shmem: 21336 kB
KReclaimable: 42176 kB
Slab: 115628 kB
SReclaimable: 42176 kB
SUnreclaim: 73452 kB
KernelStack: 3848 kB
PageTables: 9132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 676356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 160468 kB
DirectMap2M: 5904384 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC024 at 2024-07-30 13:59:55